Skip to content

M1a union base-choice: sized dispatch walks the smaller map into the larger spine (probe 1.48→1.40 GB, fingerprints byte-identical) + inductive-field base-case guard - #6534

Merged
briansrls merged 19 commits into
mainfrom
session/sleek-deer-172
Jul 13, 2026
Merged

M1a union base-choice: sized dispatch walks the smaller map into the larger spine (probe 1.48→1.40 GB, fingerprints byte-identical) + inductive-field base-case guard#6534
briansrls merged 19 commits into
mainfrom
session/sleek-deer-172

M1a receipt: sized union dispatch controlled pair (probe 1.481→1.401 …

5af4ea1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar