Result: done
Batch: none (landing)
Figure: after p12 (ae09d77, local, suite running at landing): off 1,544/2,677 indexes (57.7 %), 923/1,633 operations (56.5 %), left 1,846; prove-through-loops:on 1,576/2,677, 929/1,633 (56.9 %), left 1,808
Owner: none
Issues: filed #1103 (ADR-385 D2, brief p13 written, unqueued), #1104 (certificate checker and the 2 panics at zero), #1105 (catch-all re-split by form); #1053 status comment, wip removed; #388 comment (parameter case works by assert, fill case open, stays decision). Unfiled defects in p1-p12 reports: none (p6 -> #1074, p9 -> #1081, p10 -> #1090 built by p11).
Docs: formal-verification.md §2 (where the bounds walk stops), §4 figure; builder-facts.md traps (probe outside a project, prover work, script forms, pre-flight by subject; scratch recipe gets src/main.nika); supervisor.md (empty RED and old qa-input.txt are not a red); state.md rewritten with the restart steps; batch.txt empty.
