[vectorsss]

Improves conditional κ from 0.001636448463297071 (PR637) to 0.001636456810414854, a gain of 0.000000008347117783. Pinned comparison: PR637 head 4edb0dda99c495141cc56ae6e8a74e632a74db8a.

Twenty literal owner rows change. Two neutral swaps, relocation of an empty capacity-32 owner, and a rank-31 bundle transfer consolidate idle ranks {4:1,32:1,48:2229} into {1:1,35:1,48:2229}. All supplier words, widths, 71-JP8/1-CK dispatch, and admission code are unchanged from PR637. No global packing optimality is claimed.

Includes a portable witness with six pinned source packages, a deterministic constructor and standard-library owner exporter, exact global receipts, and independent native/owner/rational-moment checks. Credit for the starting construction and packing belongs to Jeremy Kothe and the contributors retained in PR637; this change claims the new ownership assignment.

Validation completed before publication:

• Exact binding, physical ownership admission and 23 negative controls, finite invoice, and both moment engines pass.
• Independent validation of all 35,424 literal roles, actual native profiles and widths, and strict rational moment passes; five corruptions are rejected under isolated optimized Python.
• Deterministic reconstruction and four exporter corruption controls pass.
• A full fresh replay of pinned PR637 passes 64/64 stages without reuse; all 51 artifact and 64 stage-log hashes were checked.

Full fresh replay of the improved witness now passes 64/64 stages, with no reuse, in 274.98 seconds. All 51 artifact and 64 stage-log hashes were independently checked. The wrapper also passes the independent rational native/owner check, five owner mutations, declaration reconstruction, deterministic owner reproduction with four controls, and the independent Fraction/GF2 U4 check with six controls. Receipts and complete fresh replay archives are retained in research/pr637-improvement-20261013/validation/. Execution was on macOS; no Linux replay is claimed.

The inherited compiler, all-size, common-label/mutable-source realization, whole-call hosting, precision/tape, analytic-transfer, and bit H1–H5 assumptions remain. This is a conditional research bound and does not change the selected main certificate.

Prepared by Chi Zhao with substantial OpenAI Codex assistance.