R1 section-review completion: all 128 sections validated, the ledger's structural corruption repaired and gated, 36 prose amendments to measurement

[O6lvl4]

The R1 line item 未レビュー節 → 0, done the honest way: a four-agent
adversarial review (one agent per chapter group; contracts cross-checked,
fixtures read, 100+ live probes against 0.59.1) whose findings landed BEFORE
any stamp was placed.

What the review caught (and this PR fixes):

• Ledger structural corruption the line-oriented gates never saw:
  C-274/C-275's evidence arrays were never closed, an entire contract (the
  ALS-I3 test-mode re-init rule) had lost its [[contract]]/id header and
  sat id-less inside C-275's block, and C-220 carried two statement lines.
  Repaired; the swallowed contract is restored as C-321 (retroactive
  ceiling 131 → 132 in its own dated commit — a repair, not a new claim).
• check-contracts gains a structural-integrity clause (one id per
  block, closed evidence arrays, single statement key), negative-tested in
  all three directions — and the demonstration caught the clause's own
  first draft as a silent no-op (double-escaped regex), which is why the
  three-direction demo is recorded in the gate-verification row.
• 36 stale or wrong section claims amended to measurement: the fan
  revival (race/timeout live since 0.47.0 vs R3's tombstone text), the
  UInt64 lane landing, guard-let/break/continue landings, E047 escape
  rejection, negative-index list doctrine, sized-field E024 vs the claimed
  wrap, fold-init unification, argv[0] reality, base64 positionless errors,
  wrap-family totality, lone-surrogate leniency, mod-256 bytes wrap, the
  C-066 TCO carve-out, and eleven wrong contract citations.
• 16 new e07x-bounded fixture families (2-3 per code) completing the
  three-families floor the implementation's diagnostic-coverage gate
  demands, each verified against the bounded-profile checker build.

Then the stamps: all 124 previously-unvalidated sections carry
hash-bound rows (verdict accurate, independent=no, the four-agent review
named); unvalidated ceiling 124 → 0.

validated 128 (independent 0), unvalidated 0 (ceiling 0) — independence
stays honestly zero until als#14's verifier exists.

Author: Claude agent (session als/r1-review). Verifier: gates only — no
independent human review (QUALIFICATION.md limitation 1).

🤖 Generated with Claude Code