Literal types for column defaults: codecs name the literals they accept (ADR 254) - #30350

Open

wmadden-electric wants to merge 32 commits into

mainfrom

remove-dbgenerated-literal-types

Commits on Sep 17, 2026

docs(adr): ADR 253, column defaults have a literal type that codecs declare

wmadden-electric
and
claude
committed
b0b24d3

Commits on Sep 18, 2026

docs(adr-253): codecs name literal types and gain no methods

wmadden-electric
and
claude
committed
523ab3b
docs(projects): implementation brief for literal types for column defaults

wmadden-electric
and
claude
committed
823df7e
Merge remote-tracking branch 'origin/remove-dbgenerated-adr-253' into worktree/literal-types-column-defaults-852235
wmadden-electric
committed
7b9b17c
docs(projects): rewrite slice B spec for literal types with numeric types by size

wmadden-electric
and
claude
committed
1ca4a46
docs(projects): slice B dispatch plan

wmadden-electric
and
claude
committed
14b707d
feat(framework-components): literal types for column defaults

wmadden-electric
and
claude
committed
4b9375b
feat(framework-components): codec descriptors declare their literal types

wmadden-electric
and
claude
committed
b5039c6
feat(framework-components): a default literal tag may name a literal type

wmadden-electric
and
claude
committed
b54ebd5
docs(projects): slice B spec amendments from dispatch 1

wmadden-electric
and
claude
committed
12b63c2
fix(framework-components): review findings on the literal types

wmadden-electric
and
claude
committed
e6ca2df
feat(codecs): every production codec names the literal types it accepts

wmadden-electric
and
claude
committed
2a81142
feat(codecs): decodeJson reads the value shape of every literal type named

wmadden-electric
and
claude
committed
452549d
docs(projects): slice B spec amendments from dispatch 2 review

wmadden-electric
and
claude
committed
bb2006f
fix(codecs): one definition of the text a number literal is written as

wmadden-electric
and
claude
committed
995427d
feat(psl): a column default is a literal of a type its codec accepts

wmadden-electric
and
claude
committed
6f309aa
docs(projects): slice B spec amendments from dispatch 3

wmadden-electric
and
claude
committed
0f44d08
fix(psl): review findings on the literal default path

wmadden-electric
and
claude
committed
0c4fde8
feat(prisma7): a Prisma 7 default is read as a literal of a type too

wmadden-electric
and
claude
committed
cde06d9
test(prisma7): a Json default whose text is not a JSON document

wmadden-electric
and
claude
committed
7479ddf
feat(infer): a printed default is the literal its codec reads back

wmadden-electric
and
claude
committed
234cbd4
docs(projects): slice B spec amendments from dispatch 5

wmadden-electric
and
claude
committed
b67751b
fix(infer): a printed default has to read back, not just be writable

wmadden-electric
and
claude
committed
206c528
test(journeys): every literal default against a real database

wmadden-electric
and
claude
committed
d4ee2ee
docs(projects): slice B spec amendments and follow-ups from dispatch 6

wmadden-electric
and
claude
committed
1de71e7
docs(projects): slice B spec amendment from dispatch 6 review

wmadden-electric
and
claude
committed
c760688
fix(contract): the column-default path is the only one that needs params

wmadden-electric
and
claude
committed
107c954
docs: literal types for column defaults

wmadden-electric
and
claude
committed
ed943f4
docs: ADR 253 reads as one decision, and the json escaping example emits

wmadden-electric
and
claude
committed
b1c9dad
Merge remote-tracking branch 'origin/main' into worktree/literal-types-column-defaults-852235
wmadden-electric
committed
f26ae0b
docs: this ADR is 254; 253 is taken by PSL red-root source ownership

wmadden-electric
and
claude
committed
94a37b8
docs(adr-184): ADR 254 is no longer proposed

wmadden-electric
and
claude
committed
4c40666

Navigation Menu

Literal types for column defaults: codecs name the literals they accept (ADR 254) - #30350

Literal types for column defaults: codecs name the literals they accept (ADR 254)#30350
wmadden-electric wants to merge 32 commits into
mainfrom
remove-dbgenerated-literal-types

Commits on Sep 17, 2026

docs(adr): ADR 253, column defaults have a literal type that codecs declare

Commits on Sep 18, 2026

docs(adr-253): codecs name literal types and gain no methods

docs(projects): implementation brief for literal types for column defaults

Merge remote-tracking branch 'origin/remove-dbgenerated-adr-253' into worktree/literal-types-column-defaults-852235

docs(projects): rewrite slice B spec for literal types with numeric types by size

docs(projects): slice B dispatch plan

feat(framework-components): literal types for column defaults

feat(framework-components): codec descriptors declare their literal types

feat(framework-components): a default literal tag may name a literal type

docs(projects): slice B spec amendments from dispatch 1

fix(framework-components): review findings on the literal types

feat(codecs): every production codec names the literal types it accepts

feat(codecs): decodeJson reads the value shape of every literal type named

docs(projects): slice B spec amendments from dispatch 2 review

fix(codecs): one definition of the text a number literal is written as

feat(psl): a column default is a literal of a type its codec accepts

docs(projects): slice B spec amendments from dispatch 3

fix(psl): review findings on the literal default path

feat(prisma7): a Prisma 7 default is read as a literal of a type too

test(prisma7): a Json default whose text is not a JSON document

feat(infer): a printed default is the literal its codec reads back

docs(projects): slice B spec amendments from dispatch 5

fix(infer): a printed default has to read back, not just be writable

test(journeys): every literal default against a real database

docs(projects): slice B spec amendments and follow-ups from dispatch 6

docs(projects): slice B spec amendment from dispatch 6 review

fix(contract): the column-default path is the only one that needs params

docs: literal types for column defaults

docs: ADR 253 reads as one decision, and the json escaping example emits

Merge remote-tracking branch 'origin/main' into worktree/literal-types-column-defaults-852235

docs: this ADR is 254; 253 is taken by PSL red-root source ownership

docs(adr-184): ADR 254 is no longer proposed