Skip to content

Exclude three and four simultaneous Type B phase transfers (0% κ change) - #7356

Open
ToikY wants to merge 3 commits into
CrocSwap:mainfrom
ToikY:codex/p104-three-four-type-b-phase-transfers
Open

ToikY wants to merge 3 commits into
CrocSwap:mainfrom
ToikY:codex/p104-three-four-type-b-phase-transfers

Conversation

@ToikY

@ToikY ToikY commented Nov 12, 2026

Copy link
Copy Markdown
Contributor

Change and scope

NO VERIFIED GAIN. Exact conditional κ change 0%. On exact signed #7113, all 10,400 triple and 14,950 quadruple Type B phase-transfer choices change the arbitrary-input endpoint at q = −1 and unit body. The modular reflection and independent exact rational causal-impulse checks agree on all 25,350 keys. Both exhaust the scope with zero survivors or unresolved cases.

The four singleton odd idles and 26 larger even idles are the only sites. All original clocks, roles, body masks and J blocks stay fixed. The entire four-transfer stock has gross upper 0.22541521474570153 raw before ancillary costs. One added paid rank-one position defeats that bound. The exact compatible saving is zero.

Replay

Exact #7334 comparator aaeec8c0acf01e99a5f331ef363a698d9c084ace, κ 0.00364665195644, exact #7113 07a76c5e2738882c0cb322278e56f6cae3c9885d. Use CPython 3.12 from a clean checkout:

python3.12 -I -B research/p104-three-four-type-b-phase-transfers/replay.py
python3.12 -B scripts/research_package.py --package research/p104-three-four-type-b-phase-transfers
python3.12 -B scripts/check_research_commit.py --package research/p104-three-four-type-b-phase-transfers --check-modes --check-source-history

Local registered, committed source and mode, navigation and official Git-free checks passed. Replay regenerates five pinned receipts, reconciles every key and rejects changed caller bytes. No stronger phase or physical gate was needed. The branch carries #7257's exact shared planner repair.

Credit and next question

#7317 and #7323 supply the one- and two-transfer precedents, #7315 the signed decoder, #7113 the caller, #7334 the comparison, #7298 the directed tariff and #7342 the derivative helper. OpenAI Codex and subagents materially assisted. A funded change of clock or surrounding signed interval remains open.

Clear1nsight and others added 3 commits November 11, 2026 15:39
This is the exact documentation prerequisite retained by CrocSwap#7156. It points the onboarding check to the selected CrocSwap#7000/CrocSwap#7001 review. Credit to Rohan Arun and the source authors.
The PR CrocSwap#6292 rejection census and package plan are statements about 2485805. Load its exact sources and planner in a private sparse checkout, keeping all source hashes, 19 expected rejections, nine package selections and the empty-plan control. Subsequent edits to the live Makefile and CI guide no longer invalidate this historical check.

The original audit is by unpaidmoon, building on Dennis’s historical replay gate. The pinned repository view follows the precedent of Matarener’s PR CrocSwap#5434. Repair prepared with substantial OpenAI Codex assistance.
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