LiO v0.1: Deterministic Permission Composition Across Indispensable Inferential Bridges

Abstract

This paper introduces LiO v0.1, a minimal computational primitive for constraining downstream assertions in multi-stage derivations. For a declared derivation and a supplied nonempty set of indispensable inferential bridges, LiO composes upstream-adjudicated permission sets by intersection while preserving unresolved bridge state.

At the target level, an assertion class is unauthorized if any resolved indispensable bridge excludes it, authorized if every indispensable bridge is resolved and permits it, and unresolved otherwise. A separate model reimplementation reproduced the seven public cases and matched creator-frozen held-out results on all twelve tested cases for the two implemented target fields.

The result supports cross-implementation reproducibility of the tested composition behavior. It does not establish full output-contract conformance, domain-specific validity, universal correctness, independent human validation, or novelty of the underlying set-theoretic operation. Representation and upstream adjudication remain separate, unresolved research problems.