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]