Repository navigation

The .dag acceptance harness: staged front end, typed per-stage evidence, one named acceptance contract - #8821

Merged

briansrls merged 8 commits into

mainfrom

session/fierce-newt-478

Aug 22, 2026

Commits on Aug 21, 2026
- .dag acceptance harness: staged front end, typed per-stage evidence, named acceptance contract
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d31095a
- Drop the diagnostic probes; record the measured chain depth on the carrier
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  02c9b7d
- Reuse the existing TargetCompileVerdict authority; carry frontier acceptance distinctly
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2cdffb2
- Declare the Eval end-to-end coverage obligation on the claim carrier
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5ce3416
- Record the callee-position silence as an OPEN question with both halves
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  37e5fbd
- Carry verifier-budget durations as std.measure Millisecond, not bare Int
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7af4cac
- Delete the producerless invocation-refusal arm; record why the rustc transport is shell
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  df6c78d
Commits on Aug 22, 2026
- Fix the import list; pin the floor direction; record the per-path measurement
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6408c11