Papers · Preprint
Audited Operational Realisability: A Closure-Completion Reflection for Carriers with Audit Data
A meta theory for frameworks that carry their own audit records.
In plain words
Many formal frameworks come with more than their main objects. They come with ledgers, registries, budgets, status notes and lists of what they do not claim. AOR treats that audit data as part of the object.
A carrier is audited when every obligation it declares is discharged inside its own scope. The main result: any carrier with audit data can be completed to an audited one in a canonical way, by a fixed point construction on a lattice.
The defects are classified into eight strata and thirteen residual types. The paper shows how discharges cascade and when the cascade is stable.
What it shows
- A reflection from carriers with audit data to fully audited carriers.
- A thirteen type atlas of residuals.
- A hierarchy of stability grades for audited carriers.
What it does not claim
It is pure meta theory with no worked physical example. One confluence step uses Newman's lemma as a classical input.
Cite
Tsiokos, I. (2026). Audited Operational Realisability: A Closure-Completion Reflection for Carriers with Audit Data. Zenodo. https://doi.org/10.5281/zenodo.20713664