Technical paper

How OpenAdapt compiles, verifies, and halts.

The paper describes the governed workflow compiler: how a bounded demonstration becomes a deterministic local program, how the deterministic ladder re-resolves interface drift without per-run model calls, how effects are checked against an independent oracle, and how the loop halts for a person when configured verification cannot be established.

The typeset PDF is available to read above. The complete LaTeX source, figures, and evidence live in the openadapt-flow paper directory, and the research overview walks through the same method. For measured benchmark results, see the comparison page.