Structural-Verification

Posts tagged with structural-verification.

Posts

  • The Axionic Agency Sequence - This meta-post serves as a comprehensive roadmap and overview of the entire Axionic Agency research
  • Beyond Vingean Reflection - This post reframes the Vingean Reflection problem—that predicting strictly smarter successors would
  • A Note on Verifiable Causal Agency - This post documents the first successful implementation of Axio’s core claim: that causal agency can
  • Minimal Causal Interfaces - This post documents a second milestone in Axio’s verifiable agency prototype (v0.3): successfully de
  • On Kernel Boundaries - This post addresses a recurring objection to Axio’s kernel approach: that enforcing hard boundaries