Scoped negative: PR589 A-triple fixed single-move options (210 cases)

[1337isnot1337]

Scoped negative result

This is an exact census of the Cartesian product of three fixed, individually legal single-move option lists for the seed-selected simultaneous A-operation triple (927, 928, 930) in the selected PR589 v=111, R=439 word. It covers exactly 7 × 6 × 5 = 210 combinations from those lists; it does not claim completeness over jointly enabled frames, commutation options, or every legal triple placement.

The three operations write register 325 at frame 282 from sources 256, 442 and 392. Of the 210 combinations, 46 fail full register-chain nesting, 100 valid assignments preserve the baseline paid profile, and 64 valid assignments yield the same strictly higher-cost profile. There are no improvements or unresolved cases. This is a scoped negative result; it claims no new κ or supplier admission.

Commit 948f8f5 restricts the census claim to precisely these fixed option lists and the verified 210 combinations.

Reproduction

From the repository root (verified with CPython 3.14.7):

python3 -I -B research/bit589-shared-register-triple-seed05/verify.py

Expected output:

PASS_PR589_A_TRIPLE_TRANSPORT seed=5 ops=927,928,930 assignments=210 valid=164 ties=100 losses=64 incompatible=46 controls=3 no_new_kappa

The package pins base bce54fb3f895cbe5cd4c0eb477c3afeed100190f, the selected PR589 word and bit cost, and PR1345 atlas head b54a856aa79857d91cd5d65f8f7144e26c8c084f. The PR1345 transport atlas is credited and vendored under its repository license. PR #1382 is a distinct A/B cross-section pair census.

The census concerns only this triple and these fixed option lists. Other triples, larger move sets, structural changes, and alternate suppliers remain outside its conclusion; the inherited compiler, realization, hosting, precision/tape, and analytic assumptions remain. Prepared by Cinna Davis with substantial OpenAI Codex assistance for task selection, enumeration, verification, and writing. No independent human review or subagents are claimed.

[Mister-Meeseeks]

100-PR batch review at 6294a110530807dcbd8252440f191e2020b67a71.

This remains open after scoped triage. Next review step: The census uses a product of fixed single-move option lists. State that precise scope in the headline/result, or establish completeness for jointly enabled frames/commutation options. Full replay certifies the enumerated 210 combinations, not every legal triple placement.

This is a specific continuation point, not a rejection or a request to redo already recorded checks. Completed local evidence is retained separately from outstanding whole-head obligations.

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

[1337isnot1337]

@Mister-Meeseeks Thanks for pointing out the scope gap in the headline/result. Commit 948f8f5 restricts the claim to the Cartesian product of three fixed, individually legal single-move option lists, exactly 210 combinations. The census classifies those combinations as 46 incompatible, 100 ties, and 64 losses; it does not assert completeness over jointly enabled frames, commutation options, or every legal triple placement. I updated the title and description to make that boundary explicit.