fix(l3): @entry defines the formals, so dataflow seeding is semantic instead of textual - #205

Merged

rahlk merged 7 commits into

mainfrom

fix/issue-204-entry-defs

Aug 30, 2026

Commits on Aug 29, 2026

fix(l3): define a callable's formals at @entry so dataflow can root at a parameter
rahlk
committed
228f270
docs(l3): record what entry defs buy the summary pass
rahlk
committed
e3ebccf
docs(spec): correct D7 — the reference analyzer has no hammock regions
rahlk
committed
61e4336
docs: correct D7 — remove false comparative claim, align terminology to Python pilot
rahlk
committed
0ce7c44
fix(l4): seed a parameter at the use end of its @entry ddg edge
rahlk
committed
6a8590e
docs(l4): correct @entry-scoping rationale's false counterexample
rahlk
committed
f318e3b
test(l3): rebuild differential gate's AST oracle with formals
rahlk
committed
6d203bf