Repository navigation
fix(ci): bind native candidates to frozen contributing prefixes - #2187
Closed
schlessera wants to merge 6 commits into
Closed
schlessera wants to merge 6 commits into
schlessera wants to merge 6 commits into
Conversation
…date-prefix-07f4f991
3 of 5 tasks
schlessera
marked this pull request as ready for review
October 17, 2026 08:52
3 of 5 tasks
schlessera
marked this pull request as draft
October 17, 2026 08:55
schlessera
marked this pull request as ready for review
October 17, 2026 09:50
schlessera
marked this pull request as draft
October 17, 2026 10:02
schlessera
marked this pull request as ready for review
October 17, 2026 10:02
schlessera
marked this pull request as draft
October 17, 2026 10:07
…date-prefix-07f4f991
…date-prefix-07f4f991
8 tasks done
Owner
Author
|
Closing as stale (maintainer ruling, 2026-10-22). The contract-comparison part of #2141 ships in #2660, rebuilt on current main as a run-time lookup of the PR's declared base. The native-candidate remainder (frozen prefix, |
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.
Native confirmation now supports the maintainer-approved exact own-parent checkout as well as the original synthetic merge chain. Both bind the frozen ordered prefix, exact live refs, run checkout and immutable Git evidence; own-parent support independently proves ancestry from the exact frozen trunk through every member and reconstructs the actual ORT tree. Contract checks use the immediate parent, while proof selection includes the complete contributing prefix.
Refs #2141. Source
c0968dbdf7beddce011236eaa70ce1ae3acb5636preserves implementation7f5e56a0832da61cf1802ba67a214dbc28bf909dand merges main throughdcc09e9c8601f6513eec907cfbf7d3ffbc01bf16. No shipped package or integration-contract change; no changeset needed for internal CI/process tooling.Validation:
Blocked by #2279 for complete native proof. All owned qualification PRs are draft. Refresh fixture heads/requests from preserved source, obtain complete selected native and ordinary proof with exact current identities, then verify actual release merge/main. No current full hosted pass, completed issue or merge is claimed. No waiver or unrelated worker-stack change.