Theory/axis8 deferred sweep - #94

Merged

hyperpolymath merged 3 commits into

mainfrom

theory/axis8-deferred-sweep

May 20, 2026

Commits on May 20, 2026

theory: Axis 8 sweep extension — join + composition trio

hyperpolymath
and
claude
committed
fix(EchoAccess): correct ≤a-⊔a-univ constructor RHS where c1 ⊔a c2 = c2

hyperpolymath
and
claude
committed
Merge remote-tracking branch 'origin/main' into theory/axis8-deferred-sweep
hyperpolymath
committed