Preprint / scholarly article
A Typed, Dynamic, No-Meta Theory of Autonomous Research Claim Certification and Release
- Published
- DOI
- 10.5281/zenodo.19427818
Abstract
This preprint develops a first-principles typed dynamic theory for certifying and releasing research claims produced by autonomous research systems under finite verification capacity and public accountability constraints. It formalizes public state, authority algebra, typed transcripts, fail-closed certification memory, and a release layer with versioned units and support-ledger accounting under observable-only and no-meta governance.
Keywords
- autonomous research systems
- claim certification
- claim release
- no-meta governance
- observable-only governance
- public accountability
- typed transcripts
- certification pipelines
- fail-closed verification
- provenance records
- replay outcomes
- finite verification capacity