Repository navigation
Conversation
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 mathematical scope
Retiming one ADD and delaying its peer MOVE lets two paid P104 moves fuse. The complete 18-LOCAL caller now makes 117,504 paid requests, down from 117,522. The target profile and rank-mass surplus are preserved.
The new conditional saving is κ = 363206219/100000000000 = 0.00363206219, up 39227/100000000000 = 0.00000039227 over #7003. The independent rational crossing interval is (0.00363206219577303624414255882815714, 0.00363206219577303624414255882815715). The claimed rational is strictly above #7003’s certified upper endpoint 0.00363166992015115785886325297974981.
Task and overlap
This PR is stacked on #7003 at ec30476 so its exact source pins are available to the hosted replay. The incremental diff adds one package, research/peer-move-retiming/. The p104-side-correction scope changes to a contact-free peer MOVE delay after the fixed-cut screen on #7003 found no remaining stop. Related #6932 retiming retains this particular two-hop stop.
Validation
The registered local replay passed in 104.58 seconds from the exact #7003 checkout with the successor patch applied. It reproduced the frozen certificate, independently certified the complete price, and passed the finite physical replay on all 400 main and 1,080 helper outputs. It rejected a scalar mutation, wrong phase, insufficient grid, and the new claim at the old invoice. Expected output includes PASS_PEER_MOVE_RETIMING 0.00363206219 3.9227E-7 and PASS_REGISTERED_RESEARCH_PACKAGE. The predecessor’s hosted replay passed.
Credit and open questions
See the construction proof, credits, and next questions. The same five framework assumptions and broader #7003 contracts apply. Full fixed-tape and rounded provider admission and the #6998 physical tariff bridge remain open. Prepared with substantial OpenAI Codex assistance.