Repository navigation
roadmap_authority: project the accepted node id set from the frontier plan (#11310 successor) - #12426
Merged
Merged
Conversation
… plan (#11310 successor) accepted_node_ids_projection(history) is the accepted half of frontier_sets_projection, beside withheld_node_ids_projection. It restores a public accepted-set projection for the private strategy witness's capability-evidence join (public_accepted_roadmap_set) without restoring the receipts-only wrapper #11310 deleted: a revoked, superseded or unreplayable history refuses here exactly as it does for the active frontier. Co-Authored-By: Claude Opus 5.5 (1M context) <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
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.
Summary
gunbc.roadmap_authorityaccepted_node_ids_projection(history)→AcceptedNodeIdsProjected { ids } | AcceptedNodeIdsProjectionRefused { detail }. It is the accepted half offrontier_sets_projectionand sits besidewithheld_node_ids_projection.accepted_roadmap_node_ids_projection, which Add a Superseded revocation disposition; revoke the stranded entry-graph-union-construction receipt #11310 deleted. The difference is the reason for that deletion: the new projection reads the frontier plan, so a revoked, superseded or unreplayable history refuses. The old wrapper read the receipts alone and would not have refused.Consumer (§3c)
gunb-ai/gunbc-privatetest.claim.strategy_witnesspublic_accepted_roadmap_setis currentlyAcceptedSetUnavailable, and it names this deletion as its missing authority. That makeswitness_capability_evidence_consistent_with_public_authorityrefuse by construction (second cause of the known-red row instrategy.private_witness_workflow). Its restoration trigger is "a public authority again projects the accepted roadmap node id set". This PR supplies that authority. Repointing the private witness is a follow-up in gunbc-private.Evidence
Executed with
gunbc run --claim-runon thetest.claim.roadmap_receipt_continuity_acceptanceentry:witness_accepted_projection_refuses_when_history_load_refuses: PASS. A refused load refuses with the same detail.witness_accepted_projection_matches_authority_projection_on_fixture_history: PASS. The set is nonempty and equalsRoadmapAuthorityProjected.acceptedover the same history.withheldin place ofacceptedmakes the second witness FAIL. The mutation was then reverted.🤖 Generated with Claude Code