Repository navigation
Close the resource-scope blind spot across 384 dispatch vectors - #337
Merged
Merged
Conversation
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.
Finding and change
The earlier 192-vector matrix caught six of seven selected source mutations. Weakening exact resource matching changed none because every rule was exact or absent. This adds an
otherresource-rule scope across the full existing cross-product while keeping the first 192 indices stable. All 192 new rows block before approval and callback in the reference boundary; the resource-wildcard mutant now changes all 192 new rows.The separate Python state oracle verifies every receipt, resource binding, digest, callback, claim, and local write across 384 rows. The mutation report detects all seven selected source substitutions. The dispatch atlas now has side-by-side resource lanes, a resource filter, and proposal/rule binding details; the homepage points to the expanded atlas.
Verification
node pilots/action-boundary/dispatch-matrix.mjs --checkpython3 pilots/action-boundary/verify_dispatch_matrix.py docs/action-dispatch-matrix.jsonnode pilots/action-boundary/dispatch-mutants.mjs --checkScope remains finite, project-authored, and local. No provider delivery, authenticated human approval, or formal production-safety proof.