Repository navigation

Record the observed judge-source revision on every admission receipt, and refuse to actuate when it cannot be observed - #8797

Merged

briansrls merged 8 commits into

mainfrom

session/nimble-fox-671-judge-receipt

Aug 21, 2026

Merged

Record the observed judge-source revision on every admission receipt, and refuse to actuate when it cannot be observed#8797
briansrls merged 8 commits into
mainfrom
session/nimble-fox-671-judge-receipt

Commits on Aug 21, 2026
- Record which code adjudicated the advance, and refuse to actuate when it cannot be observed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5adbcaf
- Name what the judge operand is NOT, before pinning makes its absence misleading
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d744296
- The judge field is caller-coupled: name the condition it holds under
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  89889dc
- Name the field judge-source-observed, because "judge" outruns what the run establishes
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1a46f12
- Merge main into session/nimble-fox-671-judge-receipt: re-resolve before merge-readiness (main advanced 10 commits since CI)
  gunbc-ci-auto-heal
  committed
  d7af673
- Merge remote-tracking branch 'origin/main' into session/nimble-fox-671-judge-receipt
  gunbc-ci-auto-heal
  committed
  105ac15
- Narrow the judge claim to what the run establishes: judge-source-observed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  69f5851
- Merge the two fleet_desired_observe import clauses into one
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4b2e91d