[P3] Doctor/Linux ARM64: prove physical-host gates and real distribution provisioning

[wsdt]

[P3] Doctor/Linux ARM64: prove physical-host gates and real distribution provisioning

Review baseline and scope

Reviewed source: c9d32008e98d0e1711f47cb739f61c42376b884e on main, 22 September 2026.
Classification: ARM64 HOST / PROVISIONING EVIDENCE.
Predecessors: #279.
This replaces their remaining work; closing a predecessor during backlog migration is not a claim that its original scope was completed.

Already delivered — do not rebuild

The ARM64 tracking driver and prior local evidence exist. ab3ec58 changes two historically excluded real-distribution fixtures into explicit absent-provisioning probes with exact missing-bundle/selector diagnostics. Correctly observing missing provisioning is not a successful real-distribution lifecycle run or hosted promotion.

Remaining implementation / execution

• Select and provision the real ARM64 Linux host/runner and exact distribution bundles required by the owning gate; retain it as a separate architecture track.
• Run both the expected-absence negative controls and the genuinely provisioned real-distribution lifecycles, repairing architecture-specific failures without weakening confinement.
• Retain the complete physical/hosted result and obtain the explicit architecture-support decision if promotion is intended.

Acceptance evidence

• Every required real-distribution case actually executes when provisioned; missing-bundle probes are labelled negative evidence, not success substitutes.
• Host architecture, kernel/capabilities, bundle digests, exact SHA and nonzero test counts are recorded.
• Linux x86_64 results are not borrowed as ARM64 proof, and ARM64 work does not block or redefine the x86_64 ticket.

Boundaries

No automatic hosted dispatch or claim of ARM64 support follows from updating the tracker. A task description is not an authorization for provider spend, signing, publication, remote deployment or a change to support policy. Preserve existing stable identities, explicit profile limits, source authority and non-vacuous acceptance gates.

Evidence and implementation entry points

• Issue #279 update

Test results described above are retained repository evidence, not a fresh full test run performed by this backlog review. Re-run the owning gates for the implementation being accepted.

[wsdt]

Coordinator update (2026-09-23)

Status: blocked on a native Linux AArch64 host and real distribution inputs.

The current tracker runs 24 cases and treats two absent real-bundle fixtures only as negative controls. This macOS arm64 host and prior local VM history cannot establish physical/hosted evidence.

Next step: provision a native Linux AArch64 physical/hosted runner, exact signed release and real carrier bundles, execute all 26 cases, and obtain any intended architecture-support decision. The issue remains open.

[wsdt]

Coordinator update (2026-09-27, branch wavect/v070, not merged to main)

Status: blocked. Needs an ARM64 Linux host. No code change.

Evidence is local (macOS arm64) only; no hosted run exists because Actions credits are exhausted. Tracked in PR #314 (wavect/v070 at b27f9cb2; full --lib 5061 passed, 0 failed locally). Handoff: semaprax-codex-execution-kit/HANDOFF-v070.md.

[wsdt]

Superseded by wavect/semaprax#334 (remaining work from #300), which contains only the remaining work after review of wavect/v070 at 1ae35afe83f62f405b979f57ac90772cfec9daca (PR #314).

Already delivered: The ARM64 tracker and 24-case path exist. Two absent real-bundle fixtures were treated as negative controls, which is not execution of those positive carrier cases.

Remaining: The complete real-distribution/native-host acceptance is not established. This is more than relocating a completed local result to hosted CI.

This closure is a backlog migration, not a claim that the remaining work is completed or abandoned. The replacement remains open. Hosted-evidence-only gaps have not been carried forward.

This review did not rerun the repository's test suite, and closure does not merge the branch or authorize a release.