tml-2956: PSL attribute-spec kit + @relation migration (1/3)#891

Open

SevInf wants to merge 26 commits into

mainfrom

tml-2956-typed-attribute-parsers

Commits on Jun 29, 2026

test(psl-parser): specify the declarative attribute-spec engine and inference
SevInf
committed
feat(psl-parser): add declarative attribute-spec engine and core types
SevInf
committed
feat(psl-parser): thread the active attribute diagnostic code to leaves
SevInf
committed
feat(psl-parser): add the str/enumOf/fieldRef/list argument combinators
SevInf
committed
feat(psl-parser): add identifierName leaf and unblock InferAttr on refine specs
SevInf
committed
refactor(sql-contract-psl): lower @relation through the declarative attribute spec
SevInf
committed

Commits on Jun 30, 2026

docs(typed-attribute-parsers): project + slice-1 artifacts (spec, plan, review, briefs)
SevInf
committed
fix(psl-parser): reject duplicate attribute arguments unconditionally
SevInf
committed
perf(psl-parser): drop the redundant list element copy
SevInf
committed
fix(sql-contract-psl): reject duplicate columns in @relation fields/references
SevInf
committed
refactor(sql-contract-psl): validate referential actions via enumOf
SevInf
committed
feat(psl-parser): resolve fieldRef against the scoped symbol table
SevInf
committed
docs(typed-attribute-parsers): record D4 review-round-1 dispatch + parity flags
SevInf
committed
refactor(psl-parser): restrict enumOf to bare identifiers and number literals
SevInf
committed
docs(typed-attribute-parsers): record D5 enumOf restriction + slice-3 string-set follow-up
SevInf
committed
Replace enumOf with composable oneOf + identifier combinators
SevInf
committed
docs(typed-attribute-parsers): record D6 enumOf->oneOf+identifier; flag ADR 231 reconcile at close-out
SevInf
committed
docs(adr-231): reconcile with shipped oneOf/identifier design
SevInf
committed
docs(typed-attribute-parsers): record D7 ADR 231 reconciliation dispatch
SevInf
committed
refactor(utils): centralize Simplify/UnionToIntersection type helpers
SevInf
committed
refactor(psl-parser): require oneOf to have at least one alternative
SevInf
committed
refactor(psl-parser): remove variadic positional support
SevInf
committed
refactor(psl-parser): model optional params as a flavoured ArgType
SevInf
committed
refactor(psl-parser): interpret attributes in a single pass
SevInf
committed
refactor(sql-contract-psl): consume the relation spec output directly
SevInf
committed
docs(typed-attribute-parsers): record D8 review-round-2 (engine simplification)
SevInf
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

tml-2956: PSL attribute-spec kit + @relation migration (1/3)#891

tml-2956: PSL attribute-spec kit + @relation migration (1/3)#891
SevInf wants to merge 26 commits into
mainfrom
tml-2956-typed-attribute-parsers

Commits on Jun 29, 2026

test(psl-parser): specify the declarative attribute-spec engine and inference

feat(psl-parser): add declarative attribute-spec engine and core types

feat(psl-parser): thread the active attribute diagnostic code to leaves

feat(psl-parser): add the str/enumOf/fieldRef/list argument combinators

feat(psl-parser): add identifierName leaf and unblock InferAttr on refine specs

refactor(sql-contract-psl): lower @relation through the declarative attribute spec

Commits on Jun 30, 2026

docs(typed-attribute-parsers): project + slice-1 artifacts (spec, plan, review, briefs)

fix(psl-parser): reject duplicate attribute arguments unconditionally

perf(psl-parser): drop the redundant list element copy

fix(sql-contract-psl): reject duplicate columns in @relation fields/references

refactor(sql-contract-psl): validate referential actions via enumOf

feat(psl-parser): resolve fieldRef against the scoped symbol table

docs(typed-attribute-parsers): record D4 review-round-1 dispatch + parity flags

refactor(psl-parser): restrict enumOf to bare identifiers and number literals

docs(typed-attribute-parsers): record D5 enumOf restriction + slice-3 string-set follow-up

Replace enumOf with composable oneOf + identifier combinators

docs(typed-attribute-parsers): record D6 enumOf->oneOf+identifier; flag ADR 231 reconcile at close-out

docs(adr-231): reconcile with shipped oneOf/identifier design

docs(typed-attribute-parsers): record D7 ADR 231 reconciliation dispatch

refactor(utils): centralize Simplify/UnionToIntersection type helpers

refactor(psl-parser): require oneOf to have at least one alternative

refactor(psl-parser): remove variadic positional support

refactor(psl-parser): model optional params as a flavoured ArgType

refactor(psl-parser): interpret attributes in a single pass

refactor(sql-contract-psl): consume the relation spec output directly

docs(typed-attribute-parsers): record D8 review-round-2 (engine simplification)