Repository navigation
VC: consolidate current verification and preserve semantic guarantees - #35
Merged
Merged
Conversation
Owner instruction: 批准整合计划,启动 VC-01 Owner instruction time: 2026-10-02T02:54:10Z Approved plan SHA256: a94b59a0bfdbde3c70c7286fd48c5e0cbdb4a538afeb094ba97dce718bd7d11d Accepted base: 2413a29 Add only the approved plan, one-time consolidation map and VC-01 handoff. Map 550 original test identities across 211 functions and 13 files; retain the other 3413 identities and all 207 inherited blobs and modes. Keep every replacement explicitly pending and permit no retirement here. Recheck original same-head four-profile artifacts and exact 3963-node collection. Ten representative historical checks passed in the local CPython 3.12 probe; that probe is not a new hosted matrix or equivalence proof. Product, tests, workflow, dependencies and budgets are unchanged. VC-02 through VC-06, implementation PR, final owner acceptance and merge remain subsequent work. No public/report/native/release claim is added. SIT-Verification-Unit: VC SIT-Verification-Step: VC-01
SIT-Verification-Unit: VC Add accepted-anchor, exact scope, checkout, source-effect, post-anchor history, external context, workflow and collection/JUnit controls alongside all legacy checks. Validated: 251 targeted tests and 91 subtests passed; all 3963 original identities retained, 121 added. The retained W04 old guard hash oracle fails in the approved intermediate bootstrap state. Full suite and four-profile acceptance remain pending. Exact audited tree: 4db010d No product, dependency or workflow bytes changed; no tests retired.
Retain all 118 wrapper identities, remove historical test source execution, and bind mixed helpers to current controls. Record 535 affected tests and 91 subtests passed; final consolidation acceptance remains pending. SIT-Verification-Unit: VC
Replace pre-acceptance stage replay and identity quotas with current controls. Retain installed, evidence-semantics and source-extension witnesses. Record 422 retirements, 30 new direct cases, 650 distinct local tests and 91 subtests. VC-05 integration and VC-06 four-profile acceptance remain pending. SIT-Verification-Unit: VC
SIT-Verification-Unit: VC
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.
Verification consolidation preserves the accepted Phase 3 product while replacing historical verification machinery with current direct controls. This PR implements the owner-approved plan. VC-06 technical verification and explicit project-owner acceptance are complete.
The frozen, directly tested candidate is
ce05c5dda9368182dbee074253d3a7c829af7719, treef6fbb8965520f33a09ca38cf413e11ca561110dd, against accepted base2413a29b839b7e1de8f76a449762f031de19d52b. No repository file or commit changed during VC-06. This PR description is the external VC-06 supplement permitted by plan section 7; the repository completion document and README retain their VC-05 checkpoint wording.Changes covered by this PR:
Run 38128491330, attempt 1 succeeded on all four profiles of the exact candidate. Original artifact ZIP digests/sizes, all 216 uploaded members, GitHub run/job metadata and raw decoded job logs were independently cross-checked. Every canonical job step succeeded.
Each profile has zero failures, errors or skipped tests. The 3,724 unique collected identities reconcile with JUnit, whose aggregate is 4,155 including 431 subtest events. Collection accounting is 3,963 original - 424 mapped retirements + 185 current controls = 3,724, across 73 files. All 118 former-wrapper identities and 3,413 original identities outside the one-time map remain present.
Independent scope review checked all five post-anchor commits and every parent edge. The 20 changed paths remain within the literal approved scope; 191 inherited paths outside it remain unchanged. All 48 product modules, frozen specifications/fixtures/goldens, dependencies, Action pins, permissions and budgets are unchanged. Each profile preserves six build inventories and both W08/W14 installed-runtime receipts, with clean offline installs, 48 installed module hashes, private witnesses and public refusals checked.
Efficiency evidence on the same local Linux/Python 3.12.14/pinned-tool environment:
Evidence limits retained in the review:
The raw records and review scripts are delivered as
Source-Integrity-Toolkit-VC-06-Review-Evidence.zip. The unchanged original Phase 3 evidence ZIP retains SHA25681d7e9b02f71405ff0f3c13a7dd2fc198d9ae1e05762a94390582f49c6a63267.Plan section 9 gates 1-11 have been verified within the disclosed evidence scope. Gate 12 was satisfied on 2026-10-11 (America/Los_Angeles): the project owner replied “批准” in the task conversation to the explicit question whether to accept this VC consolidation, after receiving the four-profile results, PR review record and evidence package. Acceptance applies to candidate
ce05c5dda9368182dbee074253d3a7c829af7719and the disclosed evidence limits. VC-01 through VC-06 are now accepted.This records owner acceptance from the task conversation; it does not create a GitHub review submission. At the time of acceptance, the PR was draft and unmerged. The later explicit merge authorization and completed merge are recorded below. Release and starting a new implementation phase still require their own authorization. No source, test, workflow, candidate commit or raw evidence was changed to record acceptance, so the directly tested head and its run remain unchanged.
The delivered
Source-Integrity-Toolkit-VC-06-Review-Evidence.zipremains the original pre-acceptance review snapshot, SHA2566c87183e0556326a3fafb8477993b28fa4c1065c756b8e5c8740a27363cea9b2. Its pending-owner wording is superseded by this later acceptance event; the package and original execution records have not been rewritten. The separate frozen P1-W02 workflow was expectedly skipped by its original PR #3 gate; all four canonical profiles were verified.Merge completion, 2026-10-11: the project owner explicitly requested “合并 PR #35” in the task conversation. After rechecking the accepted candidate, owner acceptance and four successful canonical checks, this PR was marked ready and merged using a normal merge commit, preserving all five VC checkpoints. GitHub confirms merge commit
fdad8c3449d2d223420c5d52bb9b4c1e863a9e3conmain, with parents2413a29b839b7e1de8f76a449762f031de19d52bandce05c5dda9368182dbee074253d3a7c829af7719. Its tree is exactly the acceptedf6fbb8965520f33a09ca38cf413e11ca561110dd. The merge occurred at 2026-10-11T18:29:29Z. The automatic main-push verification is run 38164028893; its live outcome is separate from the accepted candidate run above. No release or next implementation phase was started by this merge.SIT-Verification-Unit: VC