Ten candidates nobody could ask are not ten candidates that said no - #848
Merged
Conversation
The census now reads 48 of 62 adjudicated and 33 confirmed violable, which
divides two ways and the difference is 17 points:
33 / 50 66% over everything adjudicated
33 / 40 83% over the candidates whose violability could be assessed
The gap is agent-control-plane's ten, disposed because its suite gives different
answers to the same question. Those are not candidates whose wrong path was
blocked. They are candidates nobody could ask, and putting them in the
denominator reads as evidence against violability that was never gathered.
Both numbers are reported, labelled, in the generated result. The second is the
more flattering one and it is stated as such rather than quietly substituted --
which is the whole reason for printing both rather than picking.
The rest is the census continuing. agent-operator-score finished at 17 of 17
with 16 violable; gitseed stands at 21 of 22 with 17. Twelve candidates were
adjudicated through the rebuilt split engine, all twelve produced a revival that
passed the registered acceptance, and the blind semantic pass then found nine
violations, two boundaries it could not settle, and one patch that passes without
doing what the ruling forbade. That last one is not a negative: its search is
unfinished and it goes back for more shapes.
Record-Id: r-v5censusdenominators
Provenance: authored
Certainty: firm
Blast: system
Undo: easy
Ruled-out: replacing the all-adjudicated rate with the assessable one | it is the number that favours the study, and a reader given only it cannot see that a quarter of the corpus was excluded by a broken instrument
Ruled-out: keeping only the all-adjudicated rate | it counts ten unasked questions as answers, and the answer it counts them as is the one this study would be accused of wanting to avoid
Ruled-out: closing the not-a-violation candidate as a bounded negative | a passing revival that does not violate the ruling means the search found working code rather than a wrong path, so the search has not finished and three distinct shapes have not failed
Limit: the assessable denominator excludes candidates for reasons that are themselves study findings. A repository disqualified for instrument instability leaves the remaining corpus more homogeneous than the corpus that was sampled
Limit: gitseed has one candidate outstanding and logic-pro-mcp has thirteen, so the descriptive rate will move
Verified: 110 tests pass, both tsconfigs clean, ratchet at 57 bound with a new mutation that folds the unassessable candidates back into the assessable count and fails its test; the ledger's earlier rows are byte-identical with 11 appended
CommitLore — record lintTrailers: clean — 1 commit in Active constraints for the paths this PR touchesLimits (63)
Ruled out (88)
Trailer violations fail this check. Active constraints are informational — they are what the repository already decided, not a verdict on this PR. |
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.
The census now reads 48 of 62 adjudicated and 33 confirmed violable, which
divides two ways and the difference is 17 points:
The gap is agent-control-plane's ten, disposed because its suite gives different
answers to the same question. Those are not candidates whose wrong path was
blocked. They are candidates nobody could ask, and putting them in the
denominator reads as evidence against violability that was never gathered.
Both numbers are reported, labelled, in the generated result. The second is the
more flattering one and it is stated as such rather than quietly substituted --
which is the whole reason for printing both rather than picking.
The rest is the census continuing. agent-operator-score finished at 17 of 17
with 16 violable; gitseed stands at 21 of 22 with 17. Twelve candidates were
adjudicated through the rebuilt split engine, all twelve produced a revival that
passed the registered acceptance, and the blind semantic pass then found nine
violations, two boundaries it could not settle, and one patch that passes without
doing what the ruling forbade. That last one is not a negative: its search is
unfinished and it goes back for more shapes.