chore(verify): parallel trace-core replaces the serial lane; trim the compatibility matrix (#236 C4, #227 E2#1-3) - #247
Merged
Merged
Conversation
…bility matrix C4: `--full` no longer runs the ordinary suite single-process. It runs the identical selection at `-n 16 --dist load` under the default trace core, so the trace-vs-sysmon coverage-core cross-check the lane also carried survives intact while its unevidenced isolation claim (lever F, §2 of docs/research/2026-09-01-release-train-wall-clock.md) is given up. `--full` therefore gains a `coverage-combine` lane: xdist workers write their own `.coverage.*` files, which the previous single data file made unnecessary. E2: the 36 pairwise compatibility rows run against the source distribution only — pairwise interaction between two packages' managed blocks is distribution-independent, and source/wheel parity stays proven per package by the single-package, full-set, and partial-migration rows — and the 21 legacy pairwise rows are dropped as redundant with the 14 partial-migration rows and the `all-namespace-legacy` full-set row. Collected compatibility rows: 150 → 129. Repository tooling only; no package, payload, or consumer-visible bytes move. Refs #236, #227
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
Owner decisions D2/D3 ("Both", 2026-09-01):
scripts/verify.sh --fullno longer runs the ordinary selection serially; it runs the same selection at-n 16 --dist loadand adds an explicitcoverage-combinelane so the coverage-core cross-check survives xdist. The compatibility matrix runs its 36 fresh pair rows source-only and drops the 21 legacy pair rows (150 → 129 collected); single-package, full-set, partial-migration, and correction-transition rows keep dual-distribution parity. The record was searched for any red only the wheel arm produced: none exists.Governing work
Supporting: #236
Acceptance coverage
tests/test_repository_test_gate.pypins the new lane order and the fail-fast skip ofcoverage-combine(16 passed).Verification
Trimmed compatibility lane run once remotely at 16 workers: 129 rows green (123 in the first run plus the 6 rows blocked on an unprovisioned
npm ci, re-run green after provisioning); ruff, basedpyright on touched tests, prettier + markdownlint — exit 0.--fullend-to-end is exercised by the integrated battery before release.