Skip to content

verify-1.6.0-done: the parity verdict judges every owed cell, not one; ledger sync keeps a gone scope with open findings (L-R23) (stacked on #918) - #950

Merged
MattJackson merged 1 commit into
predevfrom
lane-proof-verify-floor
Oct 15, 2026
Merged

MattJackson merged 1 commit into
predevfrom
lane-proof-verify-floor

Commits

  1. Commits on Oct 14, 2026