chore(anchor): re-pin systemet upstream to mainline 0af1a2f6 - #28
Conversation
The ANCHOR pinned ba5930dc (2026-07-18), a superseded side lineage from before the ET ledger existed. Its content was rescued into systemet mainline (PR #17 mechanization, #24/#27 ET-2 closure), so the pin pointed at history nothing implements anymore. New pin 0af1a2f6 = systemet main 2026-07-28, which contains: the citable ET-1..ET-15 obligation ledger, the mechanized L1/L2 core with ET-2 (conversion decidability) PROVEN and axiom-audit clean, and accepted ADR-0002 (ET-16 adopted narrowly - the parametric L0Observation interface this kernel will eventually instantiate for its real target). Drops the corresponding [blockers-and-issues] entry from STATE.a2ml. Closes #13. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
|
CI failed: CI failures caused by repository policy violations: a banned Nix file was detected, root directory shape validation failed due to unallowlisted files, and K9 contract files failed validation due to missing required metadata and magic numbers.Overview3 unique tool validation failures were encountered in CI, spanning policy enforcement checks on package managers, root directory layout, and K9 contract definitions. FailuresNix File Policy Violation (confidence: high)
Root Shape Allowlist Failure (confidence: high)
K9 Contract Validation Failure (confidence: high)
Summary
Code Review ✅ ApprovedRe-pins the ANCHOR upstream dependency to mainline commit 0af1a2f6 to incorporate the ET ledger, ET-2, and accepted ADR-0002. No issues found.
Tip Comment OptionsAuto-apply is off → Gitar will not commit updates to this branch. Comment with these commands to change the behavior for this request:
Was this helpful? React with 👍 / 👎 | Gitar |
|
|



Re-pins the ANCHOR off the dead
ba5930dcside lineage onto systemet mainline — which now actually contains the ET ledger, the proven ET-2, and accepted ADR-0002. This was the standing "come back down" step; it costs nothing (the old lineage's content was rescued via anytype PR #12 + systemet #17/#24/#27).Closes #13.