[RossRichardson]

The twelve-query signed 3×3 connector has a known four-transfer construction, but that witness leaves open whether rearrangement can move expensive child operators to cheaper root ports. This package proves the ports are forced when the four transfers are unit shears in the named direction z += +/-w: B0/B1/A2 use w and B2/A0/A1 use z. Every valid word therefore pays the same complete fixed-port tariff. Status: scoped negative result and exact finite census; no new κ.

A short structural proof reduces the obstruction to PR944's freshly replayed 720 signed paths and a transpose argument. Two separately written exact enumerators corroborate it across all 7,257,600 source traces: 3,343,680 restore, 80 admit all reader rows, exclusively mask 35. The 80 counts source traces, not all reader placements. Six full sensitivity domains include deliberately omitting dirty cancellation, which admits false masks.

Only research/signed-connector-port-frontier/ is added. Reproduce with Python 3.12 and a C++17 compiler:

python3.12 scripts/research_package.py --package research/signed-connector-port-frontier

Expected: PASS_SIGNED_CONNECTOR_PORT_RIGIDITY, PASS_PORT_PACKAGE_CONTROLS, then PASS_REGISTERED_RESEARCH_PACKAGE. Local evidence includes noncommutative identities/inverses, 38 symbolic mutations, independent dense recursive expansion on 110 dirty basis columns, 39 matrix/factor-order/restoration mutations, exact tape invoices, seven actual corruption rejections and full optimized read-only relocation. Registered replay, selected-record check and binding-only baseline pass. The dense invoice equals the predecessor's; no physical saving is claimed. Hosted CI and full selected native cold replay are separate gates.

Base 418e40eb2572d930b58c1cf9b82b41c0fc7ee08d, OS assignment seed 31, complex-supplier track. Final overlap refresh fully paginated 409 open PRs and 329 Discussion records without warnings. Fetched main d78fe4bbb6f6b769e39586f8bb3ba8c31a31fd3a retains identical selected/assembly blobs. No pinned coordination issue existed; the claim and result are recorded locally. Selected frontier, frozen predecessors and upstream/ remain unchanged.

Credit Ross Richardson PR944/PR1651, Charles Bethin PR1637, martinxxx9 PR1088, and the original notices. Concurrent Cinna Davis PR1675 establishes a different bidirectional short-transfer exclusion and explicitly leaves four-pass pricing open. This adds port rigidity and complete four-unit coverage; it does not claim priority for the target, twelve-query construction or four-pass word. Source commits, original hashes and retained notices are included.

Prepared for Ross Richardson with substantial OpenAI Codex assistance, including three scoped subagents. No independent human or proof-assistant review is claimed. The result fixes the named direction and unit coefficients; opposite direction, nonunit/bidirectional transfers, more queries, native hosting/precision/tape integration and outer assembly remain outside scope. The README and TASK.json give concrete next questions and blockers. Apache-2.0.

[Mister-Meeseeks]

Batch review at faa9bc8e85c6b505fc61424e6357b7d80e88e922.

Merged to main, preserving the original contributor commits and package attribution.

Reviewed scope: Exact twelve-query/four-unit one-way-shear connector port rigidity, structural transpose/support proof and complete7,257,600-trace census with independent interval engine. Forced port tariff, not optimality for nonunit/bidirectional or extra-query alphabets.

The pinned scoped command passed; the batch ledger contains its command, input hashes, environment and log. This incorporates the research/tooling contribution and does not change the selected κ or discharge the inherited multiplication-theorem assumptions.

Batch review, attribution and evidence. Thank you for the contribution.