Repository navigation
Conversation
Reuse the exact documentation blob carried by CrocSwap#7161 at bb36fc6, following CrocSwap#7147 and CrocSwap#7156.
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
NO VERIFIED GAIN (0% κ change). The comparable witness is #7161 at κ = 0.003644890067940. At the fixed target 0.0040075385047236 this proof excludes 1,105 of 3,925 contiguous serial MOVE blocks. It preserves the original normalized read at its literal clock and chart, while granting arbitrary coframed scalar changes, free caches and restoration, and every compatible hypothetical fused arc at every clock. The 1,024-read cap leaves 760 reads unvisited and a positive optimistic upper of about +70.73831217726558, down from +127.33653408096442.
Task and overlap
Changed selected-packing scope at canonical e545235. Exact #7161 e3f8d39, #7113 07a76c5 and the #7165 normalized replay are pinned. This uses a chart-level time-ordered input support bound to preserve live reads. Clear1nsight’s same-head carrier and final-basis work, #7003 contact slides and #5376 fixed two-hop retiming are adjacent. The exact shared event coverage of the same-head work is unverified.
Validation
CPython 3.12.14. The registered check authenticates the complete signed invoice and reproduces the temporal screen, the one-read cap, the original-MOVE predecessor, and the three alternative paid deliveries that fail at role 738. Clean independent public-input replay and an independent rational price calculation agree. The changed input control is rejected. The separate docs-only selected replay navigation prerequisite is included.
Credit and next question
Clear1nsight #7161 supplied the native word, Rohan Arun #7113 supplied the signed caller and interval arithmetic, and #7165 supplied the exact paid recount and normalized replay. Codex and subagents materially assisted. Resume at role 85, read 40874, retaining every unvisited read and unexcluded block in the directed upper. A surviving fusion still needs exact signed phase, literal ownership return and full price.