Repository navigation

Integrate #1972 #1976 - #1982

Closed

trissim wants to merge 10 commits into

mainfrom

integrate/clean-batch-8

Closed

Integrate #1972 #1976 #1982
trissim wants to merge 10 commits into
mainfrom
integrate/clean-batch-8

Commits on Oct 19, 2026
- P248 count an unjudged backlog as one judging slice
  trissim
  committed
  b72c7e7
- P248 confirm backlog weighting and nine-fork coverage
  trissim
  committed
  d01c8f6
- P724: resume only unindexed bus bytes and seal each committed chunk
  trissim
  committed
  1ee5c43
- P724: name missing-prefix failures and verify saved chunk progress
  trissim
  committed
  ea95a24
- P724: share seal recovery through its existing base and file revision
  trissim
  committed
  12c386a
- P724: format the pending-prefix failure without adding lint
  trissim
  committed
  e15dc20
- Merge remote-tracking branch 'origin/main' into fix/p724-sealed-prefix-repair
  trissim
  committed
  1c7cd83
- Merge remote-tracking branch 'origin/main' into HEAD
  trissim
  committed
  2def2ff
- P253: delete commander overload refusal and fork-now standing rule
  trissim
  committed
  cad44fe
- Merge #1976
  trissim
  committed
  4d34fdc