fix(search)!: fan out a qualified edge into one entry per tuple - #801

Merged

ddeboer merged 8 commits into

mainfrom

worktree-weld-fanout

Sep 4, 2026

Commits on Sep 4, 2026

fix(search)!: fan out a qualified edge into one entry per tuple
ddeboer
committed
7c95ebd
fix(search): type a nested identity companion by the arity of its path
ddeboer
committed
81d4a6b
docs(search): record what a companion's declared type follows, and the arity 30.2 will not weld
ddeboer
committed
9dd2a23
fix(search): decide nesting from where a node is projected, not from its type
ddeboer
committed
5e01aa1
fix(search): spend the fan-out budget only on what fans out, and on what survives
ddeboer
committed
c56bdae
refactor(search): drop the entry cap, which guarded the wrong end
ddeboer
committed
2edf409
fix(search): treat an inline reference's identity field as a tuple position
ddeboer
committed
a98a345
fix(search): dedupe fanned entries, and say what a single-valued edge drops
ddeboer
committed
dd63297