Repository navigation
Conversation
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.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Change and result
NO VERIFIED GAIN. On exact #7334 aaeec8c and #7113 07a76c5, the proposed exchange trades productive ranks 5,9 for 6,8 with paid ranks fixed. Its optimistic gross is below 0.026750025281436337 raw. One extra rank-one paid position defeats it.
The inherited census has 20,455 cut incidences. It excludes 3,961 for lack of a four-role coframe and partitions 16,494 into 15 eligible banks. Exact per-case solving excludes all 15, and an independent sparse forward check tests every one of the 16,494 eligible cuts. No case remains in scope. Other endpoint pairs, donors and changed paid itineraries remain open. The next test is to price a different endpoint pair before building it.
Reproduction
Run python3.12 -I -B research/p104-four-role-endpoint-exchange-bound/replay.py from a clean POSIX checkout. It authenticates the native word and path-keyed inputs, regenerates eight receipts and checks corrupt-witness and duplicate-key controls. The shared input and per-case methods both resolve the same seven continuation cases covering 478 cuts. Total-effort timing is inconclusive, so the per-case method stays the default. Registered, Git-free export and all 27 onboarding checks passed locally. The branch includes two #7257 CI prerequisites.
Credit
#7391 supplies the endpoint ranges, #7395 the exact three-role parent, fourth role and directed quote, and #7334 and #7113 the construction and signed caller. R151 introduced role 1251 and the first eight prefix exclusions. R175 closes the seven remaining banks and independently replays every eligible cut. OpenAI Codex and subagents materially assisted.