Repository navigation

Measure the fan decoder's execution identity, and refuse to call it bound - #9536

Merged

briansrls merged 7 commits into

mainfrom

session/wise-eagle-112-decoder-identity

Aug 28, 2026

Merged

Measure the fan decoder's execution identity, and refuse to call it bound#9536
briansrls merged 7 commits into
mainfrom
session/wise-eagle-112-decoder-identity

Commits on Aug 28, 2026
- Instrument the decoder's execution identity by composing two things that already existed
  gunbc-ci-auto-heal
  committed
  97fa2b1
- Report the identity as measured-but-unbound, because nothing here proves the decoder ran on this vector
  gunbc-ci-auto-heal
  committed
  97b7776
- Sharpen the binding trigger to name the missing host capability
  gunbc-ci-auto-heal
  committed
  a77eff9
- Merge remote-tracking branch 'origin/main' into session/wise-eagle-112-decoder-identity
  gunbc-ci-auto-heal
  committed
  b4fd347
- Consume the decoder declaration instead of re-minting it (review 57069)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  626d527
- Say that the typed_module_key grain claim is an argument, not a measurement
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  72e2193
- Delete three commentary String rows and the digests they transcribed (review 57083)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c5b9f9c