ANCHOR.a2ml pins pinned-commit = "ba5930dc478c80b1f968eea4ca28acd0f9d67966" ("sweep4: add C-A-G-M files"). systemet has since landed the formal spec + the citable obligation ledger ET-1..ET-15 (docs/theory/OBLIGATIONS.adoc, systemet PR #15) and the Lean mechanization gate (systemet PR #17). The pin should move to a post-ledger systemet commit, and anytype's obligation tracking should cite ET-n IDs rather than free prose (see also the tag-convention issue). Evidence: .machine_readable/6a2/anchors/ANCHOR.a2ml (pin block); systemet docs/theory/OBLIGATIONS.adoc. Cites: all ET (semantic authority).
🤖 Generated with Claude Code
ANCHOR.a2mlpinspinned-commit = "ba5930dc478c80b1f968eea4ca28acd0f9d67966"("sweep4: add C-A-G-M files"). systemet has since landed the formal spec + the citable obligation ledger ET-1..ET-15 (docs/theory/OBLIGATIONS.adoc, systemet PR #15) and the Lean mechanization gate (systemet PR #17). The pin should move to a post-ledger systemet commit, and anytype's obligation tracking should cite ET-n IDs rather than free prose (see also the tag-convention issue). Evidence:.machine_readable/6a2/anchors/ANCHOR.a2ml(pin block); systemetdocs/theory/OBLIGATIONS.adoc. Cites: all ET (semantic authority).🤖 Generated with Claude Code