Repository navigation
Record the full sanity check and correct the reader handoff - #10
Merged
Merged
Conversation
No mathematical correction found in scoped A-D scrutiny. Pin the full argument in the reader packet and make its existing fixed-margin range explicit. Preserve all protected inputs, A-D proofs, code and comparison policy. Fresh local verification passes 272 original controls and 60 supplementary checks; only Python-version metadata differs from saved JSON.
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.
Findings and changes
The separate-reader packet still pinned a revision before the completed A–D expansions. It now identifies the full assessed argument, explicitly lists the four notes and the consolidated assessment, and distinguishes dated historical next steps from CURRENT. The proof summary and packet also make the already stated 0 < delta <= 1 range explicit. No coefficient, observable or intended domain changes.
The audit records skeptical internal readings of A–D and their composition. No concrete mathematical defect was found in those passages. This is author-side scrutiny, not independent review. The original priority, significance and implementation gaps and the manuscript/release/outreach hold remain.
Four documentary files changed. All 27 protected inputs, four A–D proof files, scientific scripts/references, dependencies, workflow and comparison policy remain byte-preserved. Local and remote candidate trees match exactly: 7471a6fb06b072abe8f12bbf6047db7e76e940e7.
Completed verification
Fresh frozen base 66a7d71 passed all 5 original suites, 28 groups and 272 controls, plus all 60 supplementary checks. All numerical values and solver-work counters exactly match references. Full JSON bytes differ solely in Python metadata: 3.13.5 versus local 3.12.14, with all four dependency pins matching. No failed or timed-out numerical run. Two failed offline environment setup attempts are retained. All 67 base tracked file hashes remained unchanged; Git integrity and protected-input checks pass.
Original-suite report SHA-256: f12d3cf581156d046d7a8c0a28fb021541bcfd97cee8bd7e30abab790055ccf9. Final documentary candidate integrity passes with 27 protected inputs and 133 valid local links; whitespace and scope checks pass.
Assessed-main hosted run 37255809939 and artifact 11322712416 were actually inspected: all 67 source files match, reports pass the unchanged policy, and recomputed comparisons exactly reproduce the saved 518 floating differences and 8 reviewed work counters. Hosted byte equality is not claimed.
This PR's actual workflow/source artifact and any post-merge main run require their own inspection before reporting success. No success is inferred prospectively from the baseline.
Completed hosted and merge record
PR run 37265995438 completed successfully. Artifact 11326905260 (SHA-256 6208c42d3180b5f3f88f671a0f96ada1ccf1c758bb9cfce0e689c76eb63af475) matches all 68 candidate files and reconstructs tree 7471a6fb06b072abe8f12bbf6047db7e76e940e7. Its actual checkout was synthetic merge 77c3016. All 60 supplementary tests and 272 original controls passed; every original result file was byte-identical to its reference. Comparisons were recomputed from the downloaded observations.
Merged as eb2ff98. The actual post-merge main run 37266359934 also completed successfully. Artifact 11327100429 (SHA-256 c96298057e2982b6ec10c1d4546d34ca860565a17ce809a0fe1393ec9c44f914) identifies that exact checkout and matches all 68 files. All original assertions/counts and the unchanged comparison policy pass. These main outputs are not byte-identical: 518 floating differences and 8 reviewed suite-07 solver-work counters remain explicit. Suite 07's raw comparison failure is preserved rather than relabeled; the policy pass uses only the existing source-inspected workload rule. Recomputed comparisons exactly match the retained records. All 60 supplementary checks pass.
No new tolerance, reference, scientific source or workload classification was introduced. The local baseline, PR run and post-merge run are separate completed observations, not outcomes inferred from one another.