Skip to content

Commit c3cc751

Browse files
hyperpolymathclaude
andcommitted
chore(state): echo the ET-obligation audit issues (#13-#19) into blockers-and-issues
Audit run 2026-07-21 against systemet's citable ET-1..ET-15 ledger (systemet docs/theory/OBLIGATIONS.adoc, PR #15) and the mechanization gate (systemet PR #17). Findings measured against origin/main only. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
1 parent e32ae12 commit c3cc751

1 file changed

Lines changed: 10 additions & 0 deletions

File tree

.machine_readable/6a2/STATE.a2ml

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,16 @@ milestones = [
3131

3232
[blockers-and-issues]
3333
# L4/TEA work is gated on systemet's open TEA-erasure result (not a code blocker yet).
34+
# ET-obligation audit vs systemet's citable ledger (docs/theory/OBLIGATIONS.adoc), 2026-07-21:
35+
issues = [
36+
{ id = 13, title = "[ET-L2] refresh systemet pin past the ET ledger (pin = ba5930dc, pre-ledger)" },
37+
{ id = 14, title = "[ET-L2] ET-2/ET-3: conversion is a decision procedure, not a proven decision" },
38+
{ id = 15, title = "[ET-L2] ET-5: only 2 of the named grade disciplines have instances" },
39+
{ id = 16, title = "[ET-L2] ET-6/ET-7: Structural Gate absent" },
40+
{ id = 17, title = "[ET-L4] ET-8/ET-9: Polarity Gate / blame absent" },
41+
{ id = 18, title = "[TROPE] ET-12/ET-13: tropes named but no machine" },
42+
{ id = 19, title = "[ET-L2] ET-15: AFFIRMATION anchor unfilled; no escape-hatch registry; residue" },
43+
]
3444

3545
[critical-next-actions]
3646
actions = [

0 commit comments

Comments
 (0)