Repository navigation

Witness evidence lifecycle: signed modeling decision + typed direct-rust-door observation (steps 1-2) - #7778

Merged

briansrls merged 13 commits into

mainfrom

session/wise-ram-22

Aug 4, 2026

Merged

Witness evidence lifecycle: signed modeling decision + typed direct-rust-door observation (steps 1-2)#7778
briansrls merged 13 commits into
mainfrom
session/wise-ram-22

Commits on Aug 4, 2026
- WIP: falsifier is red again
  Brian Searls
  committed
  201eaf5
- Witness evidence lifecycle: design note + doc bind row
  
  Brian Searls
  and
  claude
  committed
  9ee6033
- Locate the state-space defect in the seed: typed EvalBudgetExceeded flattened to a string and recovered by substring
  
  Brian Searls
  and
  claude
  committed
  4eb6f03
- WIP: falsifier is red again
  Brian Searls
  committed
  d60d4b8
- Remove scratch forensic probe from the branch
  
  Brian Searls
  and
  claude
  committed
  29f73b8
- Add live budget receipt: 3582ms WithinBasis on main, 5314ms over on a one-module diff
  
  Brian Searls
  and
  claude
  committed
  094459f
- WIP: falsifier is red again
  Brian Searls
  committed
  fecb8fe
- Restore #7778 to design-note scope: remove in-progress PR A module
  
  Brian Searls
  and
  claude
  committed
  6ee1004
- WIP: falsifier is red again
  Brian Searls
  committed
  4823255
- PR A: typed observation for the direct v2 Rust door source path
  
  Brian Searls
  and
  claude
  committed
  191e860
- Address review: remove double enrollment, fix unreachable WrongProducer arm
  
  Brian Searls
  and
  claude
  committed
  d2bc5ca
- Fix unterminated string literal introduced by the prior commit
  
  Brian Searls
  and
  claude
  committed
  c6bc987
- Record the operator sign and the step-5 deletion ruling
  
  Brian Searls
  and
  claude
  committed
  6c13aca