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)
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
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)
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.hypatia-scanadvisory-vs-required (always-green by design).Longer migrations (multi-month, background)
.affine, 144.js— convert per policy; the 7th TS filemcp-bridge/main.d.tsis outside the 6 approved exemptions..md→.adoc(16 ADRs indocs/decisions/);README.mddup ofREADME.adoc; thinCONTRIBUTING.md..machine_readable/6-file A2ML layout buried in a6a2/subdir — move to root.deno.jsonthough rootpackage.jsonasserts Node.Filed via Claude Code · https://claude.ai/code/session_019tMcRS1Dm1nWjjYP4WvbJa