Repository navigation

Lower and verify Edict compare-and-set operations with recovery evidence - #776

Merged

flyingrobots merged 20 commits into

mainfrom

feature/edict-projected-cas

Oct 12, 2026

Merged

Lower and verify Edict compare-and-set operations with recovery evidence#776
flyingrobots merged 20 commits into
mainfrom
feature/edict-projected-cas

Commits on Oct 8, 2026
Commits on Oct 12, 2026
- Merge main retained strands and WAL prefix work into compare-and-set support
  
  flyingrobots
  and
  claude
  committed
  6ee2089
- Run compare-and-set recovery witnesses in hosted CI
  
  flyingrobots
  and
  claude
  committed
  1453c12
- Require runtime features for compare-and-set recovery witnesses
  
  flyingrobots
  and
  claude
  committed
  2ebb665
- Correct provider component identities and compare-and-set documentation
  
  flyingrobots
  and
  claude
  committed
  4f40c33
- Refuse unusable expected-digest paths and expose projected compare-and-set constructors
  
  flyingrobots
  and
  claude
  committed
  2e8bdc2
- Check compare-and-set lowering against the independent runtime package model
  
  flyingrobots
  and
  claude
  committed
  5f4e095