4-Slide Mini Deck · LiO v0.1
LiO v0.1, in four slides
Micheal Charles Preble · SSRN 7424499 · Working paper with cross-model tests
Slide 1 of 4
The Problem
A derivation written as a sequence of steps does not by itself establish that every downstream assertion remains authorized by what its indispensable steps actually permit.
Slide 2 of 4
The LiO Contribution
A minimal, deterministic, non-compensatory composition primitive: given upstream-adjudicated permissions for a declared derivation's indispensable bridges, LiO composes them by intersection and preserves unresolved state explicitly. Separates Representation, Adjudication, and Composition — and addresses only the third.
Slide 3 of 4
How It Works · Evidence Status
E12 Review Cycle 1: a separate model blind-reimplemented LiO from the frozen spec — 7/7 public cases and 12/12 held-out cases matched exactly on two core fields.
Evidence status: Working paper with cross-model implementation tests; not independently or humanly validated.
Slide 4 of 4
Why It Matters · Limits · Open Questions
Separating composition from representation and adjudication keeps the mechanism small and checkable while making the harder upstream research questions easier to locate.
Limits: cannot detect a missing indispensable dependency or an unstable upstream adjudication. Open: three named residual research questions (RQ-001–003).
Preble, Micheal Charles. “LiO v0.1: Deterministic Permission Composition Across Indispensable Inferential Bridges” Available at SSRN 7424499, 2026. CC BY 4.0.