Repository navigation

warm==cold cache purity detective (§2 P1) - #5429

Merged

briansrls merged 5 commits into

mainfrom

session/stern-otter-43

Jun 21, 2026

Merged

warm==cold cache purity detective (§2 P1)#5429
briansrls merged 5 commits into
mainfrom
session/stern-otter-43

Commits on Jun 21, 2026
- WIP: warm==cold cache purity detective (§2 P1->P3)
  briansrls
  committed
  4a67a2e
- warm==cold cache purity detective: executable §5 oracle over the realize kernel
  
  briansrls
  and
  claude
  committed
  c3529a5
- cache purity: address review — dissolve is_pure predicate; add §7 Rust-shrinkage receipt
  
  briansrls
  and
  claude
  committed
  d3bde56
- cache purity test: make pure-under-probes test hermetic (isolate cache dir)
  
  briansrls
  and
  claude
  committed
  af3500a
- Merge branch 'main' into session/stern-otter-43
  briansrls
  authored
  f66c26b