Views
No views yet
verify() names the exact broken line. Named non-proofs: truncation-without-witness, truth of content, authorship.export_bundle (EU AI Act Art. 12, obligations phase in from Dec 2027).pip install arcaeon-ledger
python -m arcaeon_ledger.selftest
python -m arcaeon_ledger.mutation_harnessverify() names your line. If anything here fails your check, say so publicly.