feat(psl): bind AST nodes to symbols with an eager per-snapshot binder - #30349

Open

StevenMcClankerton wants to merge 59 commits into

mainfrom

Commits on Sep 18, 2026

chore(drive): symbol-table-resolve project artifacts (spec, plan, slice binder-core)

SevInf
and
claude
committed
1b8a2b2
feat(psl-parser): cache red child wrappers so tree positions have stable identity

SevInf
and
claude
committed
4966e51
refactor(psl-parser): drop the childAt doc block

SevInf
and
claude
committed
ec7d854
feat(psl-parser): add the eager binder's declaration and type-reference pass

SevInf
and
claude
committed
a5df024
refactor(psl-parser): pin the unresolved-reference code to the contributed-code shape

SevInf
and
claude
committed
26c0161
feat(psl-parser): resolve attribute names and reference arguments in the binder

SevInf
and
claude
committed
b6efbca
fix(psl-parser): stay silent for a referenced-field slot with no declaring field

SevInf
and
claude
committed
27aad93
feat(psl-parser): export the binder and build attribute contexts from it

SevInf
and
claude
committed
0e95772
chore(drive): binder-core slice artifacts through D4

SevInf
and
claude
committed
bd19fc2
chore(drive): record base-merge rebase and gate updates

SevInf
and
claude
committed
780bcf4
feat(psl-parser): let the reference combinators speak with the binder's voice

SevInf
and
claude
committed
384c030
docs(psl-parser): state the binder-on-context snapshot precondition

SevInf
and
claude
committed
84f8d10
chore(drive): binder-core D5 amendments and trace

SevInf
and
claude
committed
247e897
feat(psl-parser): make the binder the only resolution path for reference arguments

SevInf
and
claude
committed
7b634d2
feat(sql,mongo): build a binder per interpretation and let it voice resolution

SevInf
and
claude
committed
2ffef45
fix(mongo,psl-parser): leave one voice per resolution failure in Mongo

SevInf
and
claude
committed
c016197
chore(drive): binder-core D6 artifacts through slice close

SevInf
and
claude
committed
47f003a

Commits on Sep 21, 2026

refactor(psl-parser): name the reason oneOf can withhold its own diagnostic

SevInf
and
claude
committed
e32ded8
refactor(mongo): look attribute-spec factories up without casting

SevInf
and
claude
committed
b0eb349
refactor(psl-parser): give the attribute-context inputs a shared base

SevInf
and
claude
committed
5316740
perf(psl-parser): fill red child slots one index at a time

SevInf
and
claude
committed
bc196d9
fix(sql): let the uncomposed-namespace diagnostic speak alone

SevInf
and
claude
committed
49a0456
refactor(psl-parser): say why a parse can fail without complaining, once

SevInf
and
claude
committed
6c402a7
fix(psl-parser): make a binder from the wrong snapshot fail loudly

SevInf
and
claude
committed
a4370db
refactor(utils,psl-parser): accumulate parse failures by conjunction

SevInf
and
claude
committed
36668a6
refactor(utils,psl-parser): fold oneOf's alternatives by disjunction

SevInf
and
claude
committed
44523d4
docs(psl-parser): say where the universe scope gets its name

SevInf
and
claude
committed
475034a
chore(drive): review-round records — 10(B) correction, confinement note, carried findings

SevInf
and
claude
committed
f16c274

Commits on Sep 22, 2026

refactor(psl-parser): name the third scope for what it holds

SevInf
and
claude
committed
1020a3e
refactor(utils): drop the doc blocks added with and/or

SevInf
and
claude
committed
67dba09
refactor(psl-parser): seed oneOf's fold with its first alternative

SevInf
and
claude
committed
b754cfc
test(utils): pin the conjunction and disjunction laws

SevInf
and
claude
committed
67c5287
chore(drive): rename contributed-type scope across project records

SevInf
and
claude
committed
b7e0e7a
refactor(psl-parser): let the binder take the real attribute-spec namespaces

SevInf
and
claude
committed
59ac75f
refactor(sql,mongo): pass the attribute specs straight to the binder

SevInf
and
claude
committed
337502c
feat(psl): let the binder voice unsupported attribute names through a callback
SevInf
committed
87633b0
refactor(sql,mongo): voice unsupported attributes from the binder callback
SevInf
committed
224aff3
chore(drive): record callback-inversion decision and round learnings

SevInf
and
claude
committed
52c669a
refactor(psl): name the binder walk set entities, not owners
SevInf
committed
236e05d
chore(drive): align spec pseudo-code with entity vocabulary

SevInf
and
claude
committed
f585e50
fix(psl): build every symbol-table record without a prototype
SevInf
committed
6c1651e
chore(drive): record kind-blind scoping decree (decision 12)

SevInf
and
claude
committed
37b88f1
fix(psl): assemble a spec named-parameter record without a prototype
SevInf
committed
a9c5ad9
refactor(psl): resolve every reference through one kind-blind scope chain
SevInf
committed
14f7f28

Commits on Sep 24, 2026

fix(sql): give the binder the contributed model-attribute specs
SevInf
committed
3dd04e4
Merge origin/main into binder-core
SevInf
committed
6ec863c
refactor(psl): one entity resolver behind main selector surface
SevInf
committed
c4d8907
test(mongo): bring the interpreter fixtures onto the merged surfaces
SevInf
committed
ec84964
chore(drive): record convergence reconciliation rulings (decision 13)

SevInf
and
claude
committed
6b4d2de
refactor(psl): name the pre-binder entity lookup after its symbols
SevInf
committed
6498de8
Merge origin/main into binder-core (round 2)
SevInf
committed
5fbd04a
test(mongo): hand the single-voice harness a document list
SevInf
committed
a1f90bb
refactor(psl): read an entity reference the way a field reference reads
SevInf
committed
1c6fd83
refactor(psl): scopes hold their parent and answer a lookup themselves
SevInf
committed
66bb206
chore(drive): record scope-class blueprint supersession (decision 12)

SevInf
and
claude
committed
570d5ea
refactor(psl): an entity reference is resolved only by the binder
SevInf
committed
221daf3
chore(drive): record pre-binder path amputation (decision 13)

SevInf
and
claude
committed
2267508
refactor(psl): the binder pushes and pops the scope it stands in
SevInf
committed
c1899f3
chore(drive): record the explicit-stack correction (decision 12)

SevInf
and
claude
committed
93c71da