What assertion classes and semantic distinctions belong in the universe. Upstream of LiO; not addressed by this paper.
Research Brief · LiO v0.1
Once every relevant judgment has been made upstream, what actually survives to the conclusion?
Micheal Charles Preble · Independent Researcher · Working paper
The Question
Once a derivation has been declared and the permissions of its indispensable inferential bridges have been adjudicated upstream, how should those permissions be composed so that a downstream assertion cannot exceed what every indispensable bridge permits?
The Problem
Scientific and technical arguments routinely depend on chains of inferential transitions — a premise is interpreted, mapped, transformed, or generalized before a downstream claim is stated. That a derivation can be written as a sequence does not by itself establish that every class of downstream assertion remains authorized at the end of it. A later claim can be stronger in scope, causality, modality, or evidential status than what the indispensable steps actually permit.
The Contribution
LiO v0.1: a minimal, deterministic, non-compensatory composition primitive. Given a declared derivation, an explicitly supplied nonempty set of indispensable inferential bridges, and an upstream-adjudicated permission set for each, LiO composes those permissions by intersection and preserves unresolved bridge state explicitly rather than converting it to approval or rejection. The weakest-link principle: authorization cannot exceed what every indispensable bridge permits, and support elsewhere in the derivation cannot compensate for an explicit restriction imposed by one bridge.
How the Argument Works
What each indispensable bridge permits, excludes, or leaves unresolved. Upstream of LiO; not addressed by this paper.
Given those supplied inputs, what authorization deterministically survives every indispensable bridge. This is what LiO v0.1 addresses.
Why It Matters
LiO separates a small, precisely specified problem (composition) from two much harder upstream problems (representation and adjudication) that it does not attempt to solve. That separation lets the composition mechanism stay small and formally checkable while making the larger, harder research questions more precise and easier to locate.
Evidence Status
Evidence status: Working paper with cross-model implementation tests. In E12 Review Cycle 1, a separate model (Mistral Medium 3.5) blind-reimplemented LiO from the frozen specification, without access to the creator's reference implementation or held-out expected outputs, and reproduced all 7 public cases exactly; after implementation freeze it matched all 12 creator-frozen held-out cases exactly on the two implemented core fields.
What This Does Not Claim
- Does not claim novelty of set intersection, lattice meet, three-valued conjunction, or dependency tracking as general ideas — these substantially predate LiO.
- Does not claim universal correctness, full output-contract conformance, domain-specific validity, or independent human or laboratory validation.
- Does not determine which semantic distinctions belong in the assertion universe, whether the declared derivation and indispensable bridges are correct, or how bridge permissions should be adjudicated from evidence — those are explicitly upstream, unvalidated dependencies (see the claim ledger).
- A real process discrepancy was disclosed rather than hidden: the reviewer-reported hash for its raw output file did not match the bytes the creator actually received; this was preserved as a documented discrepancy and did not change the semantic 12/12 match.
Open Questions
The paper names three residual research questions directly: which semantic distinctions an assertion representation must preserve so composition cannot “launder” a stronger successor claim through coarse encoding (RQ-001); whether evidence and semantic transformation can be mapped reproducibly to bridge-level permissions (RQ-002); and when bridge-wise powerset permission is sufficient versus when relational or higher-order permission structures are required (RQ-003).
Read / Cite the Research
Read the canonical paper record → · Full paper PDF · View on SSRN
Suggested citation
Preble, Micheal Charles. “LiO v0.1: Deterministic Permission Composition Across Indispensable Inferential Bridges” Available at SSRN 7424499, 2026. CC BY 4.0.
Preble, Micheal Charles. “LiO v0.1: Deterministic Permission Composition Across Indispensable Inferential Bridges” Available at SSRN 7424499, 2026. CC BY 4.0.