(TML-2397) M1 — Contract spaces: framework mechanism#434

Merged

wmadden merged 36 commits intomainfrom

tml-2397-contract-spaces-first-class-schema-contributions-from

May 9, 2026

Commits on May 9, 2026

Extension contract spaces project plan
wmadden
committed
docs(extension-contract-spaces): refine spec with design discussion outcomes
wmadden
committed
Pin extension contract.json + head ref on disk in the user repo
wmadden
committed
Finalise plan: drop arktype-json, draft sub-specs, lock decisions
wmadden
committed
Assign reviewer (William Madden); remove TBD
wmadden
committed
feat(family-sql): add contractSpace descriptor field (T1.2)
wmadden
committed
feat(extension-test-contract-space): scaffold synthetic test extension (T1.10)
wmadden
committed
fix(extension-test-contract-space): use brand helpers instead of as-casts (F1)
wmadden
committed
feat(framework-sql): per-space marker schema migration (T1.1)
wmadden
committed
test(sql-runtime): align mock marker SQL with per-space schema (F2)
wmadden
committed
feat(migration-tools): producer-side per-space helpers (T1.3, T1.6, T1.7)
wmadden
committed
test(migration-tools): assert planAllSpaces rejects duplicates before any callback (F3)
wmadden
committed
feat(migration-tools): per-space pinned artefacts, runner ordering, and verifier helpers (T1.4 + T1.5 + T1.8 + T1.10b)
wmadden
committed
docs(extension-contract-spaces): mark T1.4 + T1.5 + T1.8 + T1.10b as completed
wmadden
committed
feat(migration-tools): drift detection helpers for per-space migrate (T1.9)
wmadden
committed
docs(extension-contract-spaces): mark T1.9 completed; M1 SATISFIED-candidate
wmadden
committed
docs(extension-contract-spaces): close M1 sub-spec doc-pass — reflect shipped helper APIs
wmadden
committed
docs(test-contract-space): point README at durable reference
wmadden
committed
refactor(migration-tools): brand ValidSpaceId for compile-time tracking
wmadden
committed
test(migration-tools): drop redundant dynamic mkdir import
wmadden
committed
refactor(migration-tools): export MANIFEST_FILE for cross-helper use
wmadden
committed
refactor(migration-tools): detect migration dirs by manifest presence, not name shape
wmadden
committed
refactor(extension-contract-spaces): relocate test-contract-space fixture to integration-tests workspace (M1-cleanup T-cleanup.1)
wmadden
committed
docs(extension-contract-spaces): add M1-cleanup milestone; reflect T-cleanup.0/1/2 closure
wmadden
committed
refactor(framework-components): canonicalize APP_SPACE_ID under control-spaces (M1-cleanup F3)
wmadden
committed
refactor(framework-components): hoist contract-space identity types to control plane (M1-cleanup F4)
wmadden
committed
docs(extension-contract-spaces): reflect F3/F4 closure in plan + spec
wmadden
committed
refactor(target-postgres,target-sqlite): replace transitional marker-shape migration with structured detection (M1-cleanup F2)
wmadden
committed
docs(extension-contract-spaces): close M1-cleanup milestone — SATISFIED at 15e0534e1
wmadden
committed
docs(extension-contract-spaces): reopen M1-cleanup for F6 (Authored* prefix removal)
wmadden
committed
refactor(framework-components,migration-tools): flatten contract-space typology (M1-cleanup F6)
wmadden
committed
docs(extension-contract-spaces): close T-cleanup.5; spec rename pickups (M1-cleanup R4 SATISFIED-candidate)
wmadden
committed
docs(extension-contract-spaces): M1-cleanup re-SATISFIED at R4 (F6 closed)
wmadden
committed
refactor(sql): require explicit space on marker writes and migration plans
wmadden
committed
feat(migration): make materialiseMigrationPackage overwrite-idempotent
wmadden
committed
fix(migration): normalize OnDiskMigrationPackage.dirPath to absolute
wmadden
committed