Skip to content

Page the dark-streak history past cancelled runs - #2062

Merged
ppXD merged 1 commit into
mainfrom
fix/page-census-history-past-cancelled-runs
Sep 30, 2026
Merged

ppXD merged 1 commit into
mainfrom
fix/page-census-history-past-cancelled-runs

Conversation

@ppXD

@ppXD ppXD commented Sep 30, 2026

Copy link
Copy Markdown
Owner

Summary

  • The real-model lane's consecutive-dark check read a single page of 12 completed main runs. After a burst of pushes most of that page is cancelled runs with no census, so it found too few census-bearing predecessors, read a short streak, and the lane went green while measuring nothing: main run 36565851194 concluded success with two UNMEASURED clauses in the middle of a 69-run dark streak.
  • The run listing is now paged (page=1,2,…, 12 per page) until every unmeasured clause is settled, meaning its streak was cut by a run that measured it or already reached DARK_RUNS_TO_RED, or until DARK_HISTORY_RUNS_CAP=60 runs have been scanned (most dark streaks settle on page 1 or 2). Runs without a census are still stepped over and never count as a reset, evidence is counted per clause (a census-bearing run that never mentions the clause says nothing about it), and a run listed on two pages is read once.
  • A scan that ends unsettled now warns that the check is INCONCLUSIVE and names how many census-bearing runs it found in how many it scanned, instead of reporting the short streak as the answer; the step summary's Streaks read from X of the Y predecessor runs scanned line carries the same paged numbers. DARK_RUNS_TO_RED, the census header, the branch rule and the summary table are unchanged.

Test plan

  • bash .github/scripts/assert-every-filter-clause-ran.test.sh: 64 checks pass, the 43 existing ones unchanged plus 21 covering paging, early stop on a measuring run, the cap (runs, not pages), the INCONCLUSIVE warning, de-duplication across pages, per-clause evidence, and the pinned cap constant
  • The new cases fail against the previous guard (the regression case exits 0 where it must exit 1)
  • Mutations each fail the suite: single page, no cap (outer, inner, both), a measuring run no longer settling a clause, a count-based stop, no de-duplication, no INCONCLUSIVE warning, a red-length streak no longer settling, no scanned count in the no-census message, and removing the end-of-history break
  • On the next real-model run on main, check that a dark clause's guard step reports its streak over the paged scan

The consecutive-dark check reads a clause's streak out of predecessor
runs' own logs and steps over runs that recorded no census (cancelled
by concurrency, or red before the guard). It fetched a single page of
12 completed runs, so after a burst of pushes, each cancelling the run
before it, it found too few census-bearing predecessors, read a short
streak, and the lane stayed green while measuring nothing. Main run
36565851194 concluded success with two UNMEASURED clauses in the middle
of a 69-run dark streak.

Page the run listing instead and stop as soon as every unmeasured
clause is settled: its streak cut by a run that measured it, or
already long enough to red the lane. Evidence is counted per clause,
because a census-bearing run that never mentions a clause says nothing
about it. A run listed on two pages (the boundary moves while runs
finish) is read once.

Paging stops at DARK_HISTORY_RUNS_CAP=60 runs. A scan that ends still
unsettled now warns that the check is INCONCLUSIVE, naming how many
census-bearing runs it found in how many it scanned, instead of
passing a short streak off as the answer.
@ppXD
ppXD merged commit 0c058ef into main Sep 30, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant