Skip to content

Research: exact composition for a distinct zero-static gauge pair - #1388

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
1337isnot1337:research/seed28-complex-temporal-pair-20261013
Oct 14, 2026
Merged

Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
1337isnot1337:research/seed28-complex-temporal-pair-20261013

Conversation

@1337isnot1337

Copy link
Copy Markdown
Contributor

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:

python3 -I -O -B research/complex-temporal-pair-seed28/verify.py

Expected:

PASS_COMPLEX_TEMPORAL_PAIR seed=28 helpers=348,359 shared_add=24336 cross=+3real saving=800complex/orientation controls=3 no_new_kappa

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 --check pass. The package contains source hashes/blob pins and a machine-readable RESULT.json.

Exact base: bce54fb3f895cbe5cd4c0eb477c3afeed100190f. Selected kappa stays 836330098538459/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.

@Mister-Meeseeks
Mister-Meeseeks merged commit 62d99a7 into CrocSwap:main Oct 14, 2026
61 checks passed
@Mister-Meeseeks

Copy link
Copy Markdown
Contributor

100-PR batch review at 3545a0268b049c6bae5a751c2eb9189187aed469.

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

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants