Repository navigation

File the class: a doctrine's safety claim stated wider than the census that delivers it - #11173

Merged

gunbai-bot[bot] merged 9 commits into

mainfrom

session/smart-swift-109

Sep 13, 2026

Merged

File the class: a doctrine's safety claim stated wider than the census that delivers it#11173
gunbai-bot[bot] merged 9 commits into
mainfrom
session/smart-swift-109

Commits on Sep 12, 2026
- File the class: a doctrine's safety claim stated wider than the census that delivers it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e3d012c
- Second and third head: the same non-resolving corpus went green three times
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5e093fd
- The discriminator is enrolment, not error kind: add the positive control
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4a23ec7
- Second positive control: the gate evaluates semantically, and the blind spot is a class of MODULE
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ee8e133
- The mechanism is now MEASURED on the instance, not inferred
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9b25051
Commits on Sep 13, 2026
- Replace the row's contradictory receipts at their sites instead of appending corrections
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  dcd82a7
- Record the failing second-branch head by its blocker and dispositions, not by its conclusion
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2ffe220
- Fold the duplicated rejected-reading receipts into one (review 64936)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  807e118
- Stop treating two decline dispositions as the whole decline vocabulary
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  26a02ca