[k] Gate enforcement + remaining release-readiness tracks

[hyperpolymath]

Big track (scope k): make the gates actually enforce, then the longer migrations. Deferred items from the release-readiness audit — hand to other threads/agents.

Gate enforcement (after the proofs + truthfulness land)

• Add to required_status_checks (.github/settings.yml): e2e, zig-test, abi-drift, proofs, truthfulness (new in Truthful catalogue: available:true ⇒ built + verified-real (+ CI gate) #196), backend-assurance.
• Set squash-only merge (settings currently allow merge + rebase).
• Resolve hypatia-scan advisory-vs-required (always-green by design).

Longer migrations (multi-month, background)

• AffineScript migration: 0 .affine, 144 .js — convert per policy; the 7th TS file mcp-bridge/main.d.ts is outside the 6 approved exemptions.
• coord-tui / tray into CI; SPARK/Ada hardening.
• Docs: 77 .md → .adoc (16 ADRs in docs/decisions/); README.md dup of README.adoc; thin CONTRIBUTING.md.
• .machine_readable/ 6-file A2ML layout buried in a 6a2/ subdir — move to root.
• No root deno.json though root package.json asserts Node.

---

Filed via Claude Code · https://claude.ai/code/session_019tMcRS1Dm1nWjjYP4WvbJa