Repository navigation
recurring_failure_mode: re-scope the native-route row to the package-pattern residue - #13328
Closed
gunbai-bot[bot] wants to merge 1 commit into
Closed
gunbai-bot[bot] wants to merge 1 commit into
gunbai-bot[bot] wants to merge 1 commit into
Conversation
…pattern residue The set-form ':all' invocation's universe_underived refusal is real on every head tried, but the predecessor's diagnosis -- a universe- derivation break entering main in a window -- is withdrawn: at one head, one build, one seed emit, the recursive form derives universe=13 population=13 and the package form derives universe=0. The residue is the silent zero: a package pattern over a namespace prefix cannot match (packages match by exact equality) and the lane reports a derivation failure instead of the typed operand refusal. The predecessor row is deleted; this row carries the correction receipt, the recorded-not-chased qualification refusals, and a next-rung trigger naming the capability.
Contributor
Author
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.
Correction of the row merged in #13236, per the A/B receipt in one dispatch (remote job ja878eb10, pristine main
ed68b5573b): the recursive form//v2/test/claim/match_binder/...derives universe=13 population=13 while the set-form//v2/test/claim/match_binder:allin the same build derives universe=0 population=0 and refuses universe_underived. The lane is not broken; the:alloperand cannot match a prefix (packages match by exact package equality).Re-scoped mode: a package pattern over a namespace prefix silently returns an empty universe (typed exit, success-shaped silence) where the correct behavior is a typed refusal naming the operand mismatch. The predecessor row is deleted; the new row carries the correction receipt, the next-rung trigger naming the capability, and the same evidence declarations (module namespaces, not file paths).
Recorded, not chased here (per the managing session): the recursive run's lane qualification refuses on main with
required_native_pass_regressed,unattributed_exclusions_present, andpositive_population_empty— the qualification gates beside the pattern operand; a separate row owns them if they recur. Full receipt: driver rows persisted and byte-for-byte verified (target/v2-native-lane/driver-rows.jsonl, 5.2 MB recursive / 6.9 KB set-form), telemetry wall_s=1022/802.Dependency note: none — this is corpus-only (one recurring_failure_mode row swapped for its corrected successor).