Skip to content

VC: consolidate current verification and preserve semantic guarantees - #35

Merged
DavidWallstructurallaw merged 5 commits into
mainfrom
verification/consolidation
Oct 11, 2026
Merged

DavidWallstructurallaw merged 5 commits into
mainfrom
verification/consolidation

Conversation

@DavidWallstructurallaw

@DavidWallstructurallaw DavidWallstructurallaw commented Oct 11, 2026 •

Copy link
Copy Markdown
Owner

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, tree f6fbb8965520f33a09ca38cf413e11ca561110dd, against accepted base 2413a29b839b7e1de8f76a449762f031de19d52b. 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:

  • Materialize the six former historical loaders as direct current tests.
  • Retire mapped inverse-patch reconstruction, old-method fidelity chains, pre-anchor stage replay and historical identity floors.
  • Check actual checkout, every post-anchor commit, frozen bytes and exact authorized paths; preserve semantic/security mutation controls.
  • Reconcile all five test directories, exact JUnit identities and observed subtests; retain pinned tools, finite budgets, failure evidence and package/installed witnesses.

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.

Profile Actual Python Tests passed Separate subtests passed Pytest seconds
ubuntu-24.04 3.11.17 3724 431 1447.51
ubuntu-24.04 3.13.16 3724 431 1272.91
windows-2025 3.11.9 3724 431 998.21
windows-2025 3.13.15 3724 431 1650.22

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:

  • Full collection: original 3.673 seconds and 6 Git children; current 1.291 seconds and 0 Git children.
  • Bounded historical controls: 10 nodes, 17.123 seconds, 257 Git children. Current mapped controls: 42 nodes, 45.793 seconds, 338 Git children, including additional real-history counterexamples.
  • Default historical blob execution, inverse/old-method reconstruction, pre-anchor stage replay and 194/1650 identity floors are zero. Current anchor-forward history checks remain.
  • These are single-sample observations with different control workloads and uncontrolled cache/load variation. They do not establish a general speedup or causal whole-CI performance percentage.

Evidence limits retained in the review:

  • Uploaded artifacts contain build/member inventories and installation receipts; raw wheel/sdist bytes are not uploaded. W08 cleans its temporary archives, so its receipt is corroborated by corresponding member hashes rather than a second scan of those exact archive bytes. Whole-archive byte reproducibility is not asserted.
  • Original event payloads are not uploaded. Their recorded SHA256 values differ between runner groups, and the cause cannot be determined from these records. Same head/base/run/attempt/event semantics and each job's internally consistent stage bindings were independently verified against GitHub metadata and logs.
  • Historical W01-W07 raw ZIPs and three old W08 profiles remain missing. Earlier failures and incomplete attempts remain documented as such. Original hero resource interruptions remain distinct from completed finite cases.

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 SHA256 81d7e9b02f71405ff0f3c13a7dd2fc198d9ae1e05762a94390582f49c6a63267.

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 ce05c5dda9368182dbee074253d3a7c829af7719 and 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.zip remains the original pre-acceptance review snapshot, SHA256 6c87183e0556326a3fafb8477993b28fa4c1065c756b8e5c8740a27363cea9b2. 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 fdad8c3449d2d223420c5d52bb9b4c1e863a9e3c on main, with parents 2413a29b839b7e1de8f76a449762f031de19d52b and ce05c5dda9368182dbee074253d3a7c829af7719. Its tree is exactly the accepted f6fbb8965520f33a09ca38cf413e11ca561110dd. 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

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
@DavidWallstructurallaw
DavidWallstructurallaw marked this pull request as ready for review October 11, 2026 18:29
@DavidWallstructurallaw
DavidWallstructurallaw merged commit fdad8c3 into main Oct 11, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant