chore(state): echo ET-audit issues #13–#19 into STATE.a2ml (#20)

One-file PR per the audit protocol: the seven `[ET-*]` issues filed
today (#13–#19, each citing ET-n IDs from systemet's
`docs/theory/OBLIGATIONS.adoc`) are echoed into `[blockers-and-issues]`
so STATE stays the single navigable index.

No code changes. Audit notes: findings were re-baselined against
`origin/main` (the local checkout's stale main initially produced three
false findings — kernel-unmerged, missing pin, doc drift — all
disproven; the pin exists but points at pre-ledger `ba5930dc`, which is
issue #13).

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-authored-by: Claude Fable 5 <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/6a2/STATE.a2ml

@@ -31,6 +31,16 @@ milestones = [
 
 [blockers-and-issues]
 # 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" },
+  { id = 17, title = "[ET-L4] ET-8/ET-9: Polarity Gate / blame absent" },
+  { id = 18, title = "[TROPE] ET-12/ET-13: tropes named but no machine" },
+  { id = 19, title = "[ET-L2] ET-15: AFFIRMATION anchor unfilled; no escape-hatch registry; residue" },
+]
 
 [critical-next-actions]
 actions = [