Repository navigation
Conversation
… a correct producer and a re-absorbing consumer produce together The class was found by review 59831 on gunbc#10146 and diagnosed by swift-otter-365, whose repair is the instance recorded here: carried_structural_type_name was fixed to return empty at its depth-16 ceiling -- correct in isolation -- while its parent frame converted that empty back to `here`, so declared_alias_target_matches_produced kept receiving a fabricated shallow identity and alias admission kept succeeding. The first fix was itself an instance of the class it was fixing. Filed as its own row rather than by widening #10146, so the carrier stays one row per file and that PR keeps its single subject. Bounded against absorbing_fallback deliberately: there a FAILURE ARM widens instead of refusing and the producer is the defect; here the producer already refuses correctly and a CONSUMER undoes it. No single capability retires both. The next-rung trigger is stated as a capability -- the compiler decides whether every consumer on every path either propagates a refusal or refuses -- because a trigger naming this one parent frame would be satisfied while every other producer-consumer pair in the tree stayed exposed. The projection docs/design-failure-modes.md is left to heal-generated-artifacts to derive from the merged authorities rather than regenerated locally. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WgiDD3VoavwLrcu832nJ2V
…8-refusal-reabsorbed # Conflicts: # dag/gunbc/recurring_failure_mode/roster.dag
# Conflicts: # dag/gunbc/recurring_failure_mode/roster.dag # docs/design-failure-modes.md
Contributor
|
Closing as a stray: this branch |
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
1 participant
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.
Auto-opened by session-dashboard for session
bright-ram-778.Pushing to
rr375advances this PR.Worker attestation
Before flipping this PR to ready for review, confirm each item:
npm test,cargo test) and the result.Closes #Ndirective.Summary
TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.
Test plan