Term label cleanup: simpler framework, label-agnostic term equality - #3884

Draft

unp1 wants to merge 14 commits into

mainfrom

termlabel-cleanup

Commits on Jul 3, 2026

Remove unused ChildTermLabelPolicy hook family from term label framework
unp1
committed
Make term equality label-agnostic; add equalsIncludingLabels for strict cases
unp1
committed
Add term-label equivalence regression harness
unp1
committed
Merge LabeledTermImpl into TermImpl
unp1
committed
Intern labeled terms via a label-sensitive cache key
unp1
committed
Update TestLinkedHashMapWrapper for label-agnostic term equality
unp1
committed
Short-circuit labelsEqualRecursive on reference-identical subterms
unp1
committed
Pack TermImpl lazy tri-state caches into a single int
unp1
committed
Collapse TERM_LABELS_PROPERTY comparisons to plain term equality
unp1
committed
Remove unused APPLICATION_DIRECT_CHILDREN refactoring scope

unp1
and
claude
committed
Correct label-coverage note: postCondition/undef/selfComposedExecution are infflow-attached

unp1
and
claude
committed
Rewrite term-label API documentation for the reworked framework

unp1
and
claude
committed
Introduce TermLabelContext parameter object for term label hooks

unp1
and
claude
committed
Avoid rebuilding an identical term per node in SyntacticalReplaceVisitor

unp1
and
claude
committed