Signatures reach across packs, and direction is judged by range too - #233
Merged
Conversation
Closes #222 Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
WaylandYang
force-pushed
the
fix/cross-pack-domains-and-range-direction
branch
from
September 2, 2026 21:43
b3de7fb to
4283831
Compare
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
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.
Closes #222.
Three things, all found through the same reversed fact (
Project Aurora head_of Li Ting):install_packsruns a secondrelink_domains_rangespass once every pack is in, soorg:headOfgets itsfoaf:Agentdomain no matter which pack came first.judge_directionlooks at the range as well as the domain: Keep only when neither declared end is violated, Swap when the reverse reading satisfies both, Neither otherwise. Untyped entities do not count as violating the range.signature_breaksand any violation is queued under Review > Axioms immediately, instead of waiting for someone to press Run check.🤖 Generated with Claude Code