Repository navigation

The live merge policy was unrepresentable, so no witness could go red on it: model ReportedContextsAtMergeInstant and declare the rung - #10280

Merged

gunbai-bot[bot] merged 11 commits into

mainfrom

session/eager-bear-107

Sep 4, 2026

Merged

The live merge policy was unrepresentable, so no witness could go red on it: model ReportedContextsAtMergeInstant and declare the rung#10280
gunbai-bot[bot] merged 11 commits into
mainfrom
session/eager-bear-107

Commits on Sep 3, 2026
- The live merge policy was unrepresentable, so no witness could go red on it: model ReportedContextsAtMergeInstant and declare the rung
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7ea8e34
- Review 59477: delete the predicate rather than dispose of it — one admission decision, total over an optional receipt
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2bcccce
- Merge origin/main; resolve the recurring_failure_mode conflict by keeping only this branch's new row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0cb43d4
- Retract the event-conditional half, re-ground the trigger on the measured interval, and fix two quoting defects of my own
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4d78b4b
- Reclassify as a §4b(2) GUARANTEE STALL, not a §4b(3) rung drop: nothing regressed, so there is no rung to drop from
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fcd3a59
- Evidence for the standing floor-cost row: a second srv4 failure, the closure warrant, and a buildability constraint on missing item (b)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0b3cd6e
- Merge origin/main: migrate the failure-mode row into #10206's one-file-per-row shape, and record the same-head control that decides claim 1's subject
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9ec5b3f
- Merge origin/main: keep BOTH stall rows where two lanes prepended at the same roster point
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  30b5fff
- Merge origin/main: keep both roster additions, and regenerate the projection rather than picking a side
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8a354b1
Commits on Sep 4, 2026
- Merge remote-tracking branch 'origin/main' into session/eager-bear-107
  gunbc-ci-auto-heal
  committed
  d89424c
- Merge remote-tracking branch 'origin/main' into session/eager-bear-107
  gunbc-ci-auto-heal
  committed
  d1a8391

Commits

Commits on Sep 3, 2026

Commits on Sep 4, 2026