Skip to content

Exclude funded P104 donor source banks (0% κ change) - #7336

Open
ToikY wants to merge 3 commits into
CrocSwap:mainfrom
ToikY:codex/p104-funded-donor-source-span
Open

ToikY wants to merge 3 commits into
CrocSwap:mainfrom
ToikY:codex/p104-funded-donor-source-span

Conversation

@ToikY

@ToikY ToikY commented Nov 11, 2026

Copy link
Copy Markdown
Contributor

Change and mathematical scope

NO VERIFIED GAIN. Exact conditional κ change 0%. The tested route would replace role 1355’s chart-240 split with a direct rank-six MOVE and source its missing −2 x863 correction immediately before or after the direct route. At the first boundary, the chart-739 source bank is empty. At the second, all 673 eligible chart-127 fields have exact zero x863 coefficient. An independent literal fused-prefix replay confirms the same bank and that the missing correction is exactly −2 x863. The coordinate functional excludes every rational source combination in either bank. Zero cases remain unresolved.

The unchanged complete 17-copy invoice and the optimistic fusion credit of 0.16685897749686654 raw are pinned through #7335. Adding a paid rank-one position would erase that credit. After the source gate, compatible saving is zero. #7335 addresses output response through chart-240 recipients and uses a different separator. The distinct helper-319 construction in #7334 is a peer claim with its own verification.

Reproduce

python3.12 -I -B research/p104-funded-donor-source-span/replay.py
python3.12 -B scripts/research_package.py --package research/p104-funded-donor-source-span
python3.12 -B scripts/check_research_commit.py --package research/p104-funded-donor-source-span --check-modes --check-source-history

Both exact replay engines, registered checks, committed bytes/modes/source history, Git-free export and six navigation tests passed locally. The original capped solver receipt is preserved, and the bounded coordinate continuation resolves the second bank. Changed caller and stale price are rejected. Earlier source banks and altered chronology remain open. Exact comparator #7314 at 9d0119e, with the exact #7113 caller. The branch retains the #7257 replay prerequisites.

Credit

#7314 supplies the funded route and cache, #7277 the original direct lift, #7113 the caller, #7298 the tariff, #7308 the related separating-coordinate method, and #7335 the exact price and complementary recipient-side exclusion. OpenAI Codex and subagents materially assisted.

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