TML-3037: contract infer output round-trips through contract emit - #998

Closed

wmadden-electric wants to merge 25 commits into

mainfrom

tml-3037-contract-infer-output-round-trips-through-contract-emit

Commits on Jul 16, 2026

docs(infer-roundtrip): shape the infer→emit round-trip fix
wmadden-electric
committed
2322884
test(infer-roundtrip): reproduce every infer -> emit fidelity defect against a live database
wmadden-electric
committed
06a0bf5
docs(infer-roundtrip): correct defect 5 — Decimal is unusable on postgres
wmadden-electric
committed
178f669
fix(psl-infer): pluralize via the maintained `pluralize` library
wmadden-electric
committed
88c0974
fix(contract-psl): accept the 1:1 back-relation and list storage defaults infer prints
wmadden-electric
committed
ddee746
fix(contract-psl): reject autoincrement() on a list field
wmadden-electric
committed
c956825
fix(target-postgres): postgres codec set covers unbounded numeric and date
wmadden-electric
committed
fb6b86f
fix(target-postgres): register built-in index types; explain dropped dangling FKs
wmadden-electric
committed
38c4ab2
fix(sql-schema-ir): identity columns round-trip as autoincrement() on both sides
wmadden-electric
committed
82fcdfa
docs(infer-roundtrip): defect 8 is a class, not a jsonb bug
wmadden-electric
committed
4ff2c86
fix(target-postgres): authoring-side dbgenerated resolves literal defaults, not just function text
wmadden-electric
committed
5f9b5d1
fix(extension-supabase): delete the fixed-defect workarounds, regenerate contract
wmadden-electric
committed
ca3a0c8
docs(upgrade): record TML-3037 breaking changes for 0.15-to-0.16
wmadden-electric
committed
3bdc1e0
fix(framework-components): keep DefaultFunctionLoweringContext family-blind
wmadden-electric
committed
4f849b6
test(infer-roundtrip): drop dispatch/test-case IDs from test names and comments
wmadden-electric
committed
23cb5d7
fix(contract-psl): revert list-default relaxation, restore function-default rejection
wmadden-electric
committed
9061bf1
fix(contract-psl): recognize a named singular field as a back relation too
wmadden-electric
committed
4a1952f
fix(target-postgres): dbgenerated adopts literal resolutions only, not function rewrites
wmadden-electric
committed
eb8acb4
test(infer-roundtrip): assert the exact decoded date through include(), not just no-throw
wmadden-electric
committed
1648ca2
docs(infer-roundtrip): defect 7 has no fix of its own — it is defect 8
wmadden-electric
committed
f103431

Navigation Menu

Uh oh!

TML-3037: contract infer output round-trips through contract emit - #998

TML-3037: contract infer output round-trips through contract emit#998
wmadden-electric wants to merge 25 commits into
mainfrom
tml-3037-contract-infer-output-round-trips-through-contract-emit

Commits on Jul 16, 2026

docs(infer-roundtrip): shape the infer→emit round-trip fix

test(infer-roundtrip): reproduce every infer -> emit fidelity defect against a live database

docs(infer-roundtrip): correct defect 5 — Decimal is unusable on postgres

fix(psl-infer): pluralize via the maintained `pluralize` library

fix(contract-psl): accept the 1:1 back-relation and list storage defaults infer prints

fix(contract-psl): reject autoincrement() on a list field

fix(target-postgres): postgres codec set covers unbounded numeric and date

fix(target-postgres): register built-in index types; explain dropped dangling FKs

fix(sql-schema-ir): identity columns round-trip as autoincrement() on both sides

docs(infer-roundtrip): defect 8 is a class, not a jsonb bug

fix(target-postgres): authoring-side dbgenerated resolves literal defaults, not just function text

fix(extension-supabase): delete the fixed-defect workarounds, regenerate contract

docs(upgrade): record TML-3037 breaking changes for 0.15-to-0.16

fix(framework-components): keep DefaultFunctionLoweringContext family-blind

test(infer-roundtrip): drop dispatch/test-case IDs from test names and comments

fix(contract-psl): revert list-default relaxation, restore function-default rejection

fix(contract-psl): recognize a named singular field as a back relation too

fix(target-postgres): dbgenerated adopts literal resolutions only, not function rewrites

test(infer-roundtrip): assert the exact decoded date through include(), not just no-throw

docs(infer-roundtrip): defect 7 has no fix of its own — it is defect 8

Commits on Jul 17, 2026

fix(sql-schema-ir): delete identity from SqlColumnIR, compensate once at introspection

fix(framework-components): delete fieldContext, normalize defaults once at SchemaIR construction

fix(contract-psl): source db.Date codec id from the target, not a 2-sql literal

fix(target-postgres): infer prints literal list defaults from resolvedDefault

Merge remote-tracking branch 'origin/main' into tml-3037-contract-infer-output-round-trips-through-contract-emit