Repository navigation

test: fold .ald format edges + simulate EDD-07 coverage - #5588

Closed

noahgift wants to merge 8 commits into

mainfrom

batch/test-fold-ald-sim

Closed

test: fold .ald format edges + simulate EDD-07 coverage#5588
noahgift wants to merge 8 commits into
mainfrom
batch/test-fold-ald-sim

Commits on Oct 18, 2026
- test(data): .ald format public-API edge cases + FALSIFY-BIN-ALIMENTAR-009
  
  noahgift
  and
  claude
  committed
  7cbdba9
- test(aprender-simulate): cover validate_verification_tests (EDD-07) + contract
  
  noahgift
  and
  claude
  committed
  c71bf93
- fold: EDD-07 contract Σ-declared formals, regen nt/witness/README
  
  noahgift
  and
  claude
  committed
  6d46095
- fix(fold): renumber FALSIFY-BIN-ALIMENTAR-009 to 007 (next free id on main)
  
  noahgift
  and
  claude
  committed
  22bee2d
- fix(fold): renumber FALSIFY-BIN-ALIMENTAR-007 to 008 (queue order: #5585 takes 007)
  
  noahgift
  and
  claude
  committed
  4514d35
Commits on Oct 19, 2026
- Merge remote-tracking branch 'origin/main' into HEAD
  noahgift
  committed
  54fe8f6
- merge origin/main; regen derived files
  
  noahgift
  and
  claude
  committed
  5a93648
- merge remote batch tip; regen derived files
  
  noahgift
  and
  claude
  committed
  1af902b