Home Project Architecture Roadmap Audit Trail Verification Proof Systems Verification ABI Reference Contributing Glossary FAQ Live state STATE.a2ml AI manifest 0-AI-MANIFEST.a2ml