Repository navigation

equivalence: model the oracle's MOVE of a non-digit zoned item to a binary item (#4652) - #4663

Merged

squid-protocol merged 7 commits into

mainfrom

fix/4652-spaces-to-binary

Oct 8, 2026

Merged

equivalence: model the oracle's MOVE of a non-digit zoned item to a binary item (#4652)#4663
squid-protocol merged 7 commits into
mainfrom
fix/4652-spaces-to-binary

Commits on Oct 8, 2026
- equivalence: cases for GenApp's front-end and test programs (#4270)
  
  squid-protocol
  and
  claude
  committed
  8398005
- equivalence: coverage ledger and evidence report for the GenApp front-end cases (#4270)
  
  squid-protocol
  and
  claude
  committed
  a35058b
- equivalence: refresh the det-sweep coverage ledger after rebasing onto #4647 (#4270)
  
  squid-protocol
  and
  claude
  committed
  f5f9ecd
- equivalence: model the oracle's MOVE of a non-digit zoned item to a binary item (#4652)
  
  squid-protocol
  and
  claude
  committed
  24dfc16
- evidence: refresh committed reports (#4652)
  
  squid-protocol
  and
  claude
  committed
  c883099
- Merge origin/main into fix/4652-spaces-to-binary (#4653 squash)
  
  squid-protocol
  and
  claude
  committed
  2ebe98c
- equivalence: regenerate the det-sweep ledger and evidence reports after merging main (#4652)
  
  squid-protocol
  and
  claude
  committed
  4d6274e