Pathspace antichain oracles, sealed against prefix_subsumption - #99
Open
MesTTo wants to merge 2 commits into
Open
Pathspace antichain oracles, sealed against prefix_subsumption#99MesTTo wants to merge 2 commits into
MesTTo wants to merge 2 commits into
Conversation
The oracles now do oracle work: a differential test seals prefix_minimal_values against the in-tree Space::prefix_subsumption, whose self-representatives are exactly the prefix-minimal antichain, on fixed shapes plus 80 deterministic random pathsets. The module moves behind a pathspace_oracles feature so the default build carries no unconditional reference API, and the doc comments now name the real in-tree counterpart instead of archive-only operations (the maximal/shared-prefix oracles are marked as pinning semantics ahead of an implementation).
MesTTo
changed the title
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.
Finite pathspace reference oracles, behind a
pathspace_oraclesfeature:prefix_minimal_values(the prefix-minimal antichain),prefix_maximal_values(its dual), andshared_prefix_witnesses(prefix-maximal common prefixes), all deliberately materializing sorted path lists as the simplest correct semantics.The minimal oracle is differentially sealed against the in-tree
Space::prefix_subsumption: its self-representatives (out[i] == i) are exactly this antichain, verified on fixed shapes plus 80 deterministic random pathsets. The maximal and shared-prefix oracles pin semantics ahead of an implementation (no in-tree counterpart yet), which their docs now say plainly.