Repository navigation
Retain the 03_ingest emission board at the first main SHA whose floor reports failed=0 - #9015
Merged
Merged
Conversation
… reports failed=0 The board has been unmeasurable for most of today: a §4c annotation inside a match body refused the compiler at strict preparation from 04:30 until #8989 landed, so every measurement taken in that window carries no information about anything downstream. Main is now repaired -- #8998, #8987 and #8992 partitioned the eight width failures disjointly -- and run 32633501354 at 907f19c is the first floor run reporting failed=0, so that SHA is the pinned subject. The log is retained rather than the counts alone. Classification over a board is repartitioned many times; rebuilding the compiler and re-emitting for each pass pays the expensive transaction once per iteration instead of once. With the log in the tree, every later classification is offline analysis over a fixed artifact, and the artifact carries the SHA that produced it so a count can never drift from its subject. 316 coded errors, identical to the certified board at 98b18cd, histogram identical position for position. That identity is the shape this fleet has learned to distrust first, so it is recorded with its discriminators: the binary was rebuilt from this tree (PROV_BIN_BEFORE=0), the row carries this SHA, and the log bytes differ across all three runs taken today (234165 / 234279 / 234163, three distinct digests) while the error population does not. A run that did not execute cannot produce a byte-different log with the same population. The README states which of four available counts answers which question. 503 is the emitter's diagnostics including warnings; 316 is coded rustc errors by direct grep; 330 and 331 are the probe's histogram sums. Quoting one where another was measured is the unit error that made two separate boards unsound earlier in this program. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Pins and retains the emission board at
907f19c2cc7— the firstmainSHA whose required floor reportsfailed=0(run32633501354,planned=10672 executed=10672 terminal=10672).Why now, and why the log rather than the counts
The board has been unmeasurable for most of today. A §4c annotation inside a match body refused the compiler at strict preparation from ~04:30 until #8989 landed, so anything measured in that window carries no information about emission — and, being a refusal upstream of the fold, it produced clean-looking output rather than obviously broken output. Main is now repaired: #8998, #8987 and #8992 partitioned the eight width failures disjointly, and nothing had verified they compose until that run.
The log is retained, not just the histogram. A board gets repartitioned many times; without the artifact each pass rebuilds the compiler and re-emits, paying the expensive transaction once per iteration instead of once. With it in the tree, later classification is offline analysis over a fixed artifact — and the artifact carries the SHA that produced it, so a count cannot drift from its subject.
The board
The identical result, and why it is not a false green
This matches the certified board at
98b18cdc— same 316, same histogram position for position. That is the shape this program has learned to distrust first, so the discriminators are recorded rather than the conclusion asserted:PROV_BIN_BEFORE=0— the compiler was rebuilt from this tree, not reused. A cached binary reporting a new SHA is precisely how a stale board reads as a fresh one.The merges between those SHAs were witness, fleet, roster and prose work; none touched the emitter. So an unchanged
03_ingestemission is the expected result, and it is now measured rather than assumed.Units
The README states which of four available counts answers which question:
503is the emitter's diagnostics including warnings and notes; 316 is coded rustc errors and is the board number;330/331are the probe's histogram sums folding in the uncoded rows. Quoting one where another was measured is the unit error that made two earlier boards in this program unsound.What it is for
Classification transfers onto this log. A prior classification carries forward only where the load-bearing identity still joins — emitted module, enclosing declaration, callee or field identity, error code or a declared successor code, normalized expected/found. Generated line and column are evidence, not identity. A historical row absent from this log gets no further analysis, which is what makes board-first cheaper than finishing the old partition rather than more expensive.
Docs only: one log and one README. No code, no carrier changes.
— sent from smart-ram-730