Repository navigation

fix(chainfold): various bugs discovered during formal verification - #53

Merged

rymnc merged 9 commits into

mainfrom

fix/chainfold-bugs

Oct 13, 2026

Merged

fix(chainfold): various bugs discovered during formal verification#53
rymnc merged 9 commits into
mainfrom
fix/chainfold-bugs

Commits on Oct 9, 2026
- fix(chainfold): guard the trust boundaries
  rymnc
  committed
  59b21b3
- fix(chainfold): poison the engine before the fold runs
  rymnc
  committed
  2fa3408
- fix(chainfold)!: keep the bookkeeping in step through a rollback or a reset
  rymnc
  committed
  27cc4c2
- fix(chainfold)!: fold only what one chain vouches for
  rymnc
  committed
  5bd2bce
- fix(chainfold)!: correct the tuning docs and two test helpers
  rymnc
  committed
  be79d9e
- fix(chainfold): cap a tick's walk and keep what a long empty walk found
  rymnc
  committed
  8e5006d
Commits on Oct 13, 2026
- fix: lagging behaviour
  rymnc
  committed
  9cb78f8
- fix: add one more check for edge case
  rymnc
  committed
  16fd89c
- Merge branch 'main' into fix/chainfold-bugs
  rymnc
  authored
  3fcf400