Skip to content

Census colour as TSV; newly-red is a lockstep identity join - #11346

Merged
briansrls merged 1 commit into
mainfrom
session/stern-cat-726-census
Sep 14, 2026
Merged

briansrls merged 1 commit into
mainfrom
session/stern-cat-726-census

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Sep 14, 2026 •

Copy link
Copy Markdown
Contributor

Summary

  • Durable instrument for the arrow-form accumulator-copy census: census_tsv_line_for_path returns a TSV String (not a wrapping exit code); newly_red_difference joins two arms at path identity.
  • Newly red = scanned-suspect after and scanned-zero before. Unmeasured (not-established / timeout / OOM) is listed and is not red. A file already red on main is not newly red even if the count rose.
  • Constructed-row witnesses in accumulator_copy_corpus_path_test.dag (no ingest). Consumer of the join is the two-arm census receipt.

The srv1 batch shell stays on origin/relay/arrow-census (not for merge). The census receipt (runs.tsv, join, newly-red set) attaches to #11315 as a comment when the live batch finishes.

Cherry-picked from 5f931fc onto current main after those commits were reset off #11315.

Test plan

  • Constructed-row witnesses: newly-red / already-red-on-main / unmeasured-before / path-mismatch (same file as the existing coverage join, no ingest)
  • Live srv1 batch 1 runs.tsv fed through newly_red_difference (in flight; not blocking this PR)

A suspect total in the process exit code wraps; unmeasured before-arm rows must not mint a repair finding. The batch on a cgroup host reads the printed line and this lockstep join.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot gunbai-bot Bot changed the title Census the ~538 arrow-form fold files the repair made visible: the newly-red set is still unknown Census colour as TSV; newly-red is a lockstep identity join Sep 14, 2026
@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review September 14, 2026 06:12
@briansrls
briansrls added this pull request to the merge queue Sep 14, 2026
Merged via the queue into main with commit 268be55 Sep 14, 2026
4 checks passed
@briansrls
briansrls deleted the session/stern-cat-726-census branch September 14, 2026 13:28
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