Conversation
…xample — needs-feature
examples-nightly is one of five red scheduled lanes. Its verdict is currently not a
trustworthy signal about whether examples work, which is the exact property
APR-RELEASE-001 §4.2 and T-1 want to depend on.
Run 34826552378, 980 example targets:
summary pass=602 fail=22 timeout=6 needs-args=30 needs-hardware=2 needs-data=318
The 28 fail+timeout rows, classified by what the output actually says:
6 the example is not built with the feature it needs <- NOT broken
2 needs a network peer (192.168.50.100:9000) <- NOT broken
1 needs a TTY ("No such device or address") <- NOT broken
6 timeout at 180 s (buggy_server, brick_computer ...) <- servers by design?
13 remainder
So a quarter of the lane's red is a MISSING LABEL, not a defect. This commit takes the
6:
aprender-db::compressed_kv This example requires the 'compression' feature.
aprender-rag::compressed_index This example requires the 'compression' feature.
aprender-rag::semantic_embeddings This example requires the 'embeddings' feature.
aprender-distribute::tensor_example Error: This example requires the 'tensor' feature.
...
and cargo's own refusal, which says it differently:
target `gpu_info` in package `aprender-zram-core` requires the features: cuda
This follows the precedent this file set for `needs-data` on 2026-09-12 (173 rows), and
obeys the rule its own header states: "one turns a real defect into a skip, so each
addition belongs in the selftest."
LIKE needs-hardware, NOT like needs-args. A needs-feature row is a SKIP that must be
re-run WITH the feature before a release verdict. A green lane on a default-feature
host must never be readable as "the compression example works" — which is why the row
cites the line that classified it.
THE REGEX SHIPS BOTH POLARITIES, because a skip class can only ever turn a `fail` into
a non-failure:
MUST match This example requires the 'compression' feature.
Error: This example requires the 'tensor' feature.
... requires the features: cuda
MUST NOT match thread 'main' panicked at src/main.rs:11:39
error[E0432]: unresolved import `trueno_gpu::driver::PinnedBuffer`
Error: Os { code: 6, kind: Uncategorized }
assertion failed: left == right
feature is required for this operation <- the deciding near-miss
Mutation, both directions:
regex matching nothing -> selftest RED
regex widened to "feature" -> selftest RED
shipped regex -> green
The harness caught its own staleness too: a completeness assertion hardcoded "one of the
six classes" and went red on the seventh. Updated rather than widened — the assertion is
what stops a row being written with no class at all.
NOT touched here, because they are separate causes and deserve their own triage: the 2
network rows, the 1 TTY row, the 6 timeouts, and the 13 remaining. One of those 13,
`aprender-zram-core::gpu_info`, is already owned by #3267 — which found that
`trueno_gpu::driver::PinnedBuffer` "does not exist and never did in this monorepo".
bashrs 7.4.1: 0 errors. selftest: all rows passed.
ont-delta: none — a classification fix in a CI harness; it adds no entity, shape,
verdict reason or resolves target of its own.
Pmat-Ticket: PMAT-3235
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
|
§13.11 rung 1 — quorum shadow verdict Shadow mode: this records a verdict and merges nothing. A refusal |
Third time tonight. My insertion helper rejoins entry blocks with an added newline, re-serialising the entry ABOVE the insertion without any field changing — PMAT-980 (#2874). The remedy is the one check_roadmap_diff_additive.sh names. Pmat-Ticket: PMAT-3235 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Contributor
Author
|
Superseded by #3295, which carries this change unmodified along with eight other Not abandoned and not rejected: the commits are merged into Why: a successful |
Merged
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.
examples-nightlyis one of five red scheduled lanes. Its verdict is currently not atrustworthy signal about whether examples work — which is the exact property
APR-RELEASE-001 §4.2 and T-1 want to depend on.
Run 34826552378, 980 example targets
The 28
fail+timeoutrows, classified by what the output actually says:A quarter of the lane's red is a missing label, not a defect. This PR takes the 6:
plus cargo's own refusal, which phrases it differently:
Like
needs-hardware, not likeneeds-argsA
needs-featurerow is a SKIP that must be re-run WITH the feature before a releaseverdict. A green lane on a default-feature host must never be readable as "the compression
example works" — which is why the row cites the line that classified it.
This follows the precedent the file set for
needs-dataon 2026-09-12 (173 rows), and obeysthe rule its own header states: "one turns a real defect into a skip, so each addition belongs
in the selftest."
The regex ships both polarities
A skip class can only ever turn a
failinto a non-failure, so the dangerous direction istested explicitly:
Mutation, both directions:
The harness caught its own staleness: a completeness assertion hardcoded "one of the six
classes" and went red on the seventh. Updated rather than relaxed — that assertion is what
stops a row being written with no class at all.
Deliberately not swept in
The 2 network rows, the 1 TTY row, the 6 timeouts and the 13 remaining are separate causes and
deserve their own triage. One of the 13,
aprender-zram-core::gpu_info, is already owned by#3267, which found that
trueno_gpu::driver::PinnedBuffer"does not exist and never did inthis monorepo".
bashrs 7.4.1: 0 errors. selftest: all rows passed.
no-close: the measurement this implements is #3182 (open, 0.68.0), which counted 9
of 44 non-pass rows as feature refusals miscalled
fail. This PR adds theneeds-featureclass for exactly those rows; #3182 also covers the 20 long-running-by-design
timeoutrows and the needs-data surface, so it stays open. The four other red nightlies
(
Coverage Nightly,Silicon Nightly,CUDA Nightly, and the rest ofexamples-nightly)are separate causes.
ont-delta: none — a classification fix in a CI harness; it adds no entity, shape, verdict
reason or resolves target of its own.
🤖 Generated with Claude Code