Repository navigation
Research: exact composition for a distinct zero-static gauge pair - #1388
Conversation
|
100-PR batch review at Merged to Reviewed scope: Full L348/L359 temporal composition on the pinned static background with the shared ADD charged once. Saves 800 complex primitives per orientation after a three-real-primitive coupling penalty; feasible composition, not a joint optimum or supplier admission. 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. |
Result
This is an additional exact pair certificate for the selected PR1263 static word. It composes the separately optimized PR1369 zero-static temporal schedules for L348 and L359, which meet at ADD 24336. Their separate schedule deltas sum to -403 real; pricing the shared coefficient jointly adds back exactly 3 real, for a complete -400 real / 800 complex saving per orientation over the PR1263 word.
The full invoice charges all 54 inserted scales, preserves the paid profile and 192-bit local charge, and replays all 712 columns in both orientations. This is finite scalar evidence only: it makes no joint-optimality, supplier-admission, or new-kappa claim.
Distinction from concurrent work
PR #1376 composes disjoint-support L248/L253 schedules. The newer PR #1380 certifies a different shared-ADD pair set: its 16 listed pairs all contain L225 (including L225/L348), and its certificate does not include L348/L359. This package adds a distinct pair from PR1369's exact 19-helper zero-static domain. It composes the pinned individual minima and prices their interaction; it does not reproduce PR #1380's joint two-coordinate optimization or its strict-coupling result.
Reproduce
From the repository root:
Expected:
The verifier replays the pinned PR1369 certificate and all 19 one-coordinate DP rows, screens all 171 pairs, recomputes both invoices, and checks identity, missing-scale, and shared-coefficient negative controls. Python 3.14.7 replay and
git diff --checkpass. The package contains source hashes/blob pins and a machine-readableRESULT.json.Exact base:
bce54fb3f895cbe5cd4c0eb477c3afeed100190f. Selected kappa stays836330098538459/500000000000000000. The contribution is Apache-2.0 and credits PR1369, PR1310, PR1376, PR1380, PR1263, PR1259 and PR1161 in its notice and package. Prepared by Cinna Davis with substantial OpenAI Codex assistance; no independent human review is claimed.