A Typed, Dynamic, No-Meta Theory of Autonomous Research Claim Certification and Release

This paper 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. The framework is built under two explicit restrictions: observable-only governance and no-meta governance. Decisions may depend only on public claim content, declared schemas, public histories, released artifacts, provenance records, replay outcomes, and declared inferential traces. Hidden evaluators, latent truth labels, and opaque semantic judgments are excluded unless they are externalized as declared public checks or admissible proof-carrying public maps. The paper introduces a measurable…