From b1249c37f178772a2a12e26eca4956d10d2961b4 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Tue, 28 Jul 2026 06:49:54 +0100 Subject: [PATCH] chore(anchor): re-pin systemet upstream to mainline 0af1a2f6 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 --- .machine_readable/6a2/STATE.a2ml | 1 - .machine_readable/6a2/anchors/ANCHOR.a2ml | 12 ++++++++---- 2 files changed, 8 insertions(+), 5 deletions(-) diff --git a/.machine_readable/6a2/STATE.a2ml b/.machine_readable/6a2/STATE.a2ml index c32f147..408e5cc 100644 --- a/.machine_readable/6a2/STATE.a2ml +++ b/.machine_readable/6a2/STATE.a2ml @@ -33,7 +33,6 @@ milestones = [ # L4/TEA work is gated on systemet's open TEA-erasure result (not a code blocker yet). # ET-obligation audit vs systemet's citable ledger (docs/theory/OBLIGATIONS.adoc), 2026-07-21: issues = [ - { id = 13, title = "[ET-L2] refresh systemet pin past the ET ledger (pin = ba5930dc, pre-ledger)" }, { id = 14, title = "[ET-L2] ET-2/ET-3: conversion is a decision procedure, not a proven decision" }, { id = 15, title = "[ET-L2] ET-5: only 2 of the named grade disciplines have instances" }, { id = 16, title = "[ET-L2] ET-6/ET-7: Structural Gate absent" }, diff --git a/.machine_readable/6a2/anchors/ANCHOR.a2ml b/.machine_readable/6a2/anchors/ANCHOR.a2ml index 65bd644..78f0903 100644 --- a/.machine_readable/6a2/anchors/ANCHOR.a2ml +++ b/.machine_readable/6a2/anchors/ANCHOR.a2ml @@ -5,7 +5,7 @@ [metadata] version = "1.0.0" -last-updated = "2026-06-28" +last-updated = "2026-07-28" [anchor] schema = "hyperpolymath.anchor/1" @@ -29,9 +29,13 @@ domain = "programming-language implementation / type checkers" semantic-authority = "hyperpolymath/systemet" relationship = "implements" pin-required = true -# Discharged 2026-07-21: the systemet commit this kernel implements. -pinned-commit = "ba5930dc478c80b1f968eea4ca28acd0f9d67966" -pinned-date = "2026-07-18" +# Re-pinned 2026-07-28 to the systemet mainline: contains the citable ET-1..ET-15 +# ledger, the mechanized L1/L2 core with ET-2 (conversion decidability) PROVEN +# (axiom audit clean), and accepted ADR-0002 (ET-16, parametric L0 observation). +# The previous pin ba5930dc was a superseded side lineage whose content was +# rescued into mainline via systemet PR #17/#24/#27. +pinned-commit = "0af1a2f6a2b3a792517132cdfc3d48c82083051f" +pinned-date = "2026-07-28" extend-not-redefine = true [semantic-authority]