Repository navigation

Derive verification ledger family disposition from known_red_probe_entries - #6923

Merged

briansrls merged 3 commits into

mainfrom

session/gentle-bee-722

Jul 20, 2026

Merged

Derive verification ledger family disposition from known_red_probe_entries#6923
briansrls merged 3 commits into
mainfrom
session/gentle-bee-722

Commits on Jul 20, 2026
- WIP: Pole B — ROOT-CAUSE the verification ledger + execute the spine receipts
  briansrls
  committed
  be0f20e
- Fix v1 parse error: use id == ^symbol guards instead of match arms.
  
  briansrls
  and
  cursoragent
  committed
  b6cc866
- Tighten ledger disposition projection per review 40220.
  
  briansrls
  and
  cursoragent
  committed
  981d967