Skip to content

Row 3 (root K): emitter-attested use-line for anonymous record-literal heads — materialization_carriers 51 → 49 - #8528

Merged
briansrls merged 2 commits into
mainfrom
session/swift-moth-294
Aug 19, 2026
Merged

Row 3 (root K): emitter-attested use-line for anonymous record-literal heads — materialization_carriers 51 → 49#8528
briansrls merged 2 commits into
mainfrom
session/swift-moth-294

Shrink the Row 3 witness to its smallest crossing specimen (fixes the…

383e943
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar