Verification Bandwidth and the ACE Economy
Connects Catalini, Hui and Wu's verification-bandwidth thesis to ACE, Governed Completion Units, AARI, HEIMEL, Veritas and the wider scarcity-migration model.
Read →A versioned record of reports, working papers, technical notes, experiments and position papers from VALO Research.

Only public-safe released material appears here. Internal working documents, NDA material, partner-specific decks and patent or filing material stay outside the public library.
Connects Catalini, Hui and Wu's verification-bandwidth thesis to ACE, Governed Completion Units, AARI, HEIMEL, Veritas and the wider scarcity-migration model.
Read →A falsifiable logistic stress model for autonomous-agent proliferation, complexity-weighted failure rates and incident exposure.
Read →A general model for turning distributed people, models, tools and specialist capability into bounded, evidence-backed outcomes.
Read →Software lifetime as a runtime variable. A proposed execution model where identity, state, authority and evidence persist while task implementations may be synthesized, used, verified and decomposed.
Read →A local edge architecture for adding sensing, perception and governed action to existing buildings, machines, utilities and field assets without replacing the installed base.
Read →A bounded, non-exclusive collaboration examining governed evidence admission, persistent PEF state and the non-reversible boundary before execution authorisation.
Read →A living architecture overview of governed intelligent action. This document is not peer reviewed and may change as contracts, tests and evidence mature.
Read →A visual explanation of authorization boundaries around agent action. Published as an explanatory artifact, not as independent validation.
Open →An introductory technical surface describing authority as infrastructure for systems that act.
Open →