Repository navigation
evidence(PE-01): land the reviewed PE-01 records and replay pin (#1088) - #1094
Merged
Merged
Conversation
Adds 16 records under verification/programmes/oi-qm/reconstruction/ oi-pseudoentropy-20261025/pe01_bounded_tests_v1/, byte-identical to PR #923 at cd40648 (111,294 bytes): PLAN.md, amendments A1-A3, REPORT.md and review/results/ with the independent reviewer's scripts and search_out.json. Adds REPLAY.json, a replay pin under option (a): it states the previously verified values from review/results/REVIEW.md, gives instructions for future reproduction with the three standard-library scripts (not run at landing), labels A1-A3 as historical decision records, maps the records' corpus line numbers (at c37700a) to main, and marks the run, shard and results/ statements as provenance only. Owner decision: amaybaum, recorded in #1088 comment 6628737033 (2026-11-04). Once merged, the support for the existence sentence at book/ch18-beyond.md:106 (FULL.md:4919) is re-establishable from main. Everything else on the #923 branch stays there as provenance, among it results/ (with shards/), pe01/, run.py, verdict.py, review/code/, review/literature/, review/plan/, the thread README.md and review/REVIEW.md, and pe05_charged_tables_v1/ (#934). No scientific status changes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
Brings in #1093 so the branch is up to date with main. Ordinary merge; the reviewed commit a355513 is kept unchanged. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
amaybaum
marked this pull request as ready for review
November 4, 2026 11:43
amaybaum
pushed a commit
that referenced
this pull request
Nov 4, 2026
REPLAY.json is the mutable landing pin of #1094 (AGENTS.md §A.42 item 6). It listed the run, results/, the shards, verdict.py, pe01/, review/code/ and review/literature/ as provenance only, not in this directory. They are now on main, and the run head is in main's ancestry, so: - provenance_only.statements keeps only CI run 40271434371; - a new landed_with_the_run section lists the statements those files now support, with the four sha256 prefixes REVIEW.md states (all match); - the seven PE-01 commits reachable through the run head move from cited_commits_off_main to cited_commits_on_main; cd40648, the copy source, stays off main; - unresolved_relative_paths and two historical-readings entries now say the cited paths resolve on main. No record of the 16 is edited, and no command was run. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
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.
Guiding draft PR for the PE-01 evidence landing recorded in #1088 (comment 6628737033). Merge is not authorized: it needs the owner's explicit approval of the reviewed head, scope and CI results.
What lands. 16 records, byte-identical to #923 at
cd4064818fe2cff1ee4b147a9761ed157bcf990c(111,294 bytes), plus one new file,REPLAY.json. All are underverification/programmes/oi-qm/reconstruction/oi-pseudoentropy-20261025/pe01_bounded_tests_v1/:PLAN.md;amendments/A1–A3, which are historical decision records;REPORT.md;review/results/(README, REVIEW, SHA256SUMS and the reviewer'smine/scripts withsearch_out.json), treee48ad997.Why.
book/ch18-beyond.md:106(FULL:4919), merged via #933 (687e885b), states that an embedded observer whose actions reach the hidden state of a deterministic source can, for some sources, predict its output better than chance. Its only recorded support is PE-01's witness and its independent recomputation, which until this lands are on #923's branch only. Under §A.42 items 1–2, that support belongs onmain.The pin,
REPLAY.json(option (a), owner decision of 2026-11-04).review/results/REVIEW.md, each cited by line.indep.py,witness.pyandmech.py(standard library only) re-establish the statement.search.py(byte-exactsearch_out.json) and the numpy scripts support the broader scope, and the numpy version is not recorded. No script was run for this PR.results/and the off-main commits these records cite. They resolve atrefs/pull/923/head.c37700ad, and the pin maps the moved ones tomain(for example,Main.md:560is now:582andch18-beyond.md:114is now:106).What does not land. Everything else on the #923 branch, which stays there as provenance (
cd406481,refs/pull/923/head). Among it:results/(includingshards/),pe01/,run.pyandverdict.py;review/code/,review/literature/andreview/plan/;README.mdand threadreview/REVIEW.md;pe05_charged_tables_v1/(PE-05: separate active from passive observers and charged from uncharged lookup tables (OI-PE-1 follow-up) #934).PE-05 needs the PE-01 package only if it is executed.
Until this merges, the evidence for
book/ch18-beyond.md:106is on #923's branch only. No scientific status changes, and no new computation, conclusion or reclassification is made.Review and checks. Commit
a355513e(single parent27dc3443) was independently reviewed twice: ACCEPT WITH CHANGES atcf12f8ca, then CONFIRMED WITH NITS ata355513e. Static checks pass (artifact_placement_check,claims_check,duplicate_check,voice_check); secret and closing-keyword scans of the commit message are clean.legacy_records_checkneeds full history and is left to CI.Generated by Claude Code