Skip to content

evidence(PE-01): land the reviewed PE-01 records and replay pin (#1088) - #1094

Merged
amaybaum merged 2 commits into
mainfrom
evidence/pe01-landing-20261104
Nov 4, 2026
Merged

amaybaum merged 2 commits into
mainfrom
evidence/pe01-landing-20261104

Conversation

@amaybaum

@amaybaum amaybaum commented Nov 4, 2026

Copy link
Copy Markdown
Owner

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 under verification/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's mine/ scripts with search_out.json), tree e48ad997.

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 on main.

The pin, REPLAY.json (option (a), owner decision of 2026-11-04).

  • Previously verified results: the exact values from review/results/REVIEW.md, each cited by line.
  • Instructions for future reproduction: indep.py, witness.py and mech.py (standard library only) re-establish the statement. search.py (byte-exact search_out.json) and the numpy scripts support the broader scope, and the numpy version is not recorded. No script was run for this PR.
  • Historical records: A1–A3 are labelled historical, and the superseded readings are flagged.
  • Provenance only: the 78-job run, the shards, results/ and the off-main commits these records cite. They resolve at refs/pull/923/head.
  • Line numbers: the records cite corpus lines at c37700ad, and the pin maps the moved ones to main (for example, Main.md:560 is now :582 and ch18-beyond.md:114 is now :106).
  • Landing method: land with "Create a merge commit" only, not squash or rebase. The ruleset allows all three, so whoever merges must choose it.

What does not land. Everything else on the #923 branch, which stays there as provenance (cd406481, refs/pull/923/head). Among it:

PE-05 needs the PE-01 package only if it is executed.

Until this merges, the evidence for book/ch18-beyond.md:106 is on #923's branch only. No scientific status changes, and no new computation, conclusion or reclassification is made.

Review and checks. Commit a355513e (single parent 27dc3443) was independently reviewed twice: ACCEPT WITH CHANGES at cf12f8ca, then CONFIRMED WITH NITS at a355513e. 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_check needs full history and is left to CI.


Generated by Claude Code

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
amaybaum marked this pull request as ready for review November 4, 2026 11:43
@amaybaum
amaybaum merged commit 2a978ed into main Nov 4, 2026
26 checks passed
@amaybaum
amaybaum deleted the evidence/pe01-landing-20261104 branch 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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants