Repository navigation

Fix toolchain-unresolved fabrication: reorder the cache-segment computation after setup-rust-toolchain, then refuse instead of emitting a fabricated segment - #7436

Merged

briansrls merged 12 commits into

mainfrom

session/snappy-wolf-25

Jul 30, 2026

Merged

Fix toolchain-unresolved fabrication: reorder the cache-segment computation after setup-rust-toolchain, then refuse instead of emitting a fabricated segment#7436
briansrls merged 12 commits into
mainfrom
session/snappy-wolf-25

Commits on Jul 29, 2026
- WIP: Fix toolchain-unresolved fabrication: reorder the cache-segment computat
  Brian Searls
  committed
  6d9bc1c
- Regenerate ci.yml and falsifier.yml for native-cache root reorder.
  
  Brian Searls
  and
  cursoragent
  committed
  ca2b51d
- Add discriminating witnesses for native-cache toolchain segment reorder.
  
  Brian Searls
  and
  cursoragent
  committed
  74bc2b3
- Fail closed on rustc exit status; mark native-cache shell scaffold.
  
  Brian Searls
  and
  cursoragent
  committed
  bbcdc40
- Fix rustc status check: capture without pipe, then transform.
  
  Brian Searls
  and
  cursoragent
  committed
  ae13e96
- Fix witness test parse error: replace unsupported `..` rest patterns.
  
  Brian Searls
  and
  cursoragent
  committed
  d2da7ae
- WIP: Fix toolchain-unresolved fabrication: reorder the cache-segment computat
  Brian Searls
  committed
  ed6a5e3
- Retrigger CI after release-build step cold-cache timeout.
  
  Brian Searls
  and
  cursoragent
  committed
  919d1ab
Commits on Jul 30, 2026
- Merge origin/main to clear binary/source revision skew for heal job.
  Brian Searls
  committed
  14bc815
- Replace Step-coproduct predicates with yaml bridge ordering witness.
  
  Brian Searls
  and
  cursoragent
  committed
  9ea46bb
- Document prelude-order bridge as adjacency proxy with safe-direction brittleness.
  
  Brian Searls
  and
  cursoragent
  committed
  ec5b9f0
- Merge remote-tracking branch 'origin/main' into session/snappy-wolf-25
  Brian Searls
  committed
  78bbdf7

Commits

Commits on Jul 29, 2026

Commits on Jul 30, 2026