Parent: #497 Runtime foundation: home-lang/home#170
Scope
Migrate the verification gates, corpus drivers, and structural tests catalogued in docs/.data/tool-migration-inventory-v1.json to TypeScript executed by Home.
This family contains 16 verification_gate tools, 6 corpus_driver tools, and 12 structural_test tools: 34 tools total.
Contract
- Home emits the TypeScript; zig-js is the normal engine and JSC remains an explicit differential backend.
- No Python/Node/Bun execution fallback and no wrapper that quietly delegates to the old script.
- Preserve exit codes, first-failure ordering, stdout/stderr placement, timeouts, sharding, survivor reaping, inventory schemas, and denominator checks.
- Keep corpus execution offline and retain exact pinned roots/fixtures.
- Add host capabilities in Home only where the migration proves they are necessary, with engine-neutral smoke coverage.
Acceptance criteria
- All 34 catalogued tools are TypeScript run by
home-tool. - Positive, malformed-input, and deliberate failure-path fixtures pass on zig-js.
- Engine-neutral utilities pass the same fixtures on JSC.
- Corpus drivers retain timing/reaping semantics and reject zero-file runs where the existing contract requires a denominator.
- Every caller in Build, CI, skills, settings, and docs is migrated atomically.
- Dependency and tool inventories remain self-auditing with exact runtime/script counts.
- Full affected Zig gates and targeted TSan/corpus gates pass before removing each old implementation.