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

Commits

  1. Commits on Jul 13, 2026