Repository navigation
history(#1007): land research/substate-1 history to 8af2d904 with no file change (G2) - #1200
Merged
Merged
Conversation
Exact probe of the lattice wave map with infinitely many sub-states per site, for #1007. Real-type sub-states (torus): the single-site observable never returns at a common time and its rooted family is P-divisible, though every trajectory recurs pointwise. Observables blind to the parabolic (non-recurring) modes return exactly at multiples of L and are P-indivisible. p-adic-type sub-states preserve finite recurrence exactly but are inert under linear dynamics. Controls: SM Theorem A.1 orders, M^2 = 0, and exact counts on a finite subgroup. Research-only; no manuscript or status change. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…L wave cancellation
… rooted nonpermutation obstruction
… microscopic vs observer-level carrier
…hout deprecated simp
…t quantum-vs-classical controls
…negative controls
…tration and controls
…native sourcing blockers
…t Wilson action inference
… selection countercontrol
… N counterexample
…t review Independent review of 54ee14d (ACCEPT WITH CHANGES): - remove the unsupported "four mutation classes" sentence (the probe has no mutation harness); - the verdict rests on the native geometry checks and the written 42-key proof; the fixture is bookkeeping only: it is now a hard control (need comparison==0), the impossible REVIEW branch is removed, and the field is renamed fixture_joint_setting_TV, with a verdict_basis field; - the actuator and terminal-count controls are described as comparator and bookkeeping self-tests (field renamed comparator_self_test_min_TV); - the probe now asserts the 25 ready balls and 17 named exceptions the note cites; - the joint product prior is named a hypothesis, as in the parent; "all 42". Normal and -O runs exit 0 with byte-identical PASS output. No change to the science or the verdict. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…tion) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…eview Independent review of 93590f5 (REVISE), applied before any execution: - decision rule made total and well-typed: TV_win and TV_acc defined on unnormalized A-pushforwards per k0; EQUAL/DIFFERENT/UNDETERMINED exhaustive; hidden_only flag reported separately; - stop rules are functions of A(X)-prefixes only, never R.A (STOP-COUNTER); - P2 covers every pre-cut record (cell, time) with dist > time; - k0 ranges over the terminal value as well (16 terminal contexts); - informativeness flag UNKNOWN under UNDETERMINED; INFO and INFO-COUNTER fixtures added; - a bounded exact witness search (at most six triples, derived joint law) is the preregistered DIFFERENT route; the EQUAL/DIFFERENT asymmetry is stated; - every mutant mapped to its catching control (LEAK, SUPPORT, BREAKPOINT, READSET added); - PRIOR fixture correlates the setting key b5; ACCESS fixture has a c-dependent background reaching the padded port; - replay compares against the committed expected JSON; exit codes stated; - cite history_v11 116-124 and 87-89; P6 split into exhaustive P6a and the mechanism control P6b; G_(H*) exclusion stated; the write-nothing stipulation kept only inside H-access; full pinned hashes. No probe written or run. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
Delta re-review of ff80c06 (REVISE), applied before any execution: - the witness search runs only on a P1 failure, with Y the reached Tail triple; any P2-P6b failure is LA-UNDETERMINED with no search (P6b is not VOID); - S is Y's whole backward cone, D' included, with its joint law with (c, K0) derived from the preparation law and H-prior as unnormalized masses; Y's law is averaged over S, so a fixed-background difference is not a witness; SEARCH-COUNTER (Y=c XOR d) and CP-SEARCH added; - mutants are mutations of the probe's code, each with its catching control; the first execution writes the expected JSON; - the six-triple bound's practical reach is stated. No probe written or run. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…eregistration Check of 45e925b: CONFIRM FOR EXECUTION with two nits, closed before any execution: an early arrival of f_i(t) at another port p_j is searched at (p_j, t') as well, with the informativeness flag INFORMATIVE only for a Tail witness; GEO-COUNTER carries an exact-cone fixture (dist = time) so the `>=` mutant is caught. No probe written or run. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
Adds native_later_access_probe.py, its committed structured output later-access-result.json and the result note later-access-result.md, implementing later-access-preregistration.md as frozen at b532472 (unchanged). Token: LA-EQUAL, hidden_only false, informativeness EMPTY; search not triggered. Conditional on H-prior, H-inventory, H-access, H-rule and H-torus. P1-P6b all hold (P1 min 0 at the 2->5 and 3->5 edges, P2 min 1, P3 0 intersections and ball margin 6, P4 edges {2->5,3->5}, P5 holds, P6a/P6b hold over 162 worlds). Controls: all 22 in-JSON control checkpoints green before the token (CP-GATE), CP-PIN green, CP-REPLAY green (normal and -O byte-identical to the committed JSON). Mutation suite: all 14 preregistered mutants (row 4 in both variants, 15 runs) exit 2 VOID naming their catching checkpoint in both normal and -O mode. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
Independent result review of 1a584d6: ACCEPT WITH CHANGES (no blocker). - Result note: the flag/timing-cell choice can affect P2 (measured margin >= 1 over 80 entries), so the "cannot change the token" sentence is removed; BRANCH masses described as the fixture's assigned masses. - Probe: EMPTY under LA-EQUAL labelled proof-derived and the dead branch removed; any exception in a control or in execution ends as VOID (exit 2); an absent expected JSON exits 3 unless --write-expected is given. Token, flags, controls and the committed JSON are unchanged: normal and -O replays are byte-identical to it, and the mutation suite catches all 15 runs in both modes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…ile change History-only merge (owner decision #1007 c.6719788955, G2 option A). The tree is main's tree exactly; no file from the branch is added or changed, and the NC-1 preregistration is not adopted. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
Owner
Author
Merge record: #1200 (owner-approved, chat, 2026-11-08)The owner (amaybaum) approved this in chat with the coordinating session on 2026-11-08:
Merged as Checks before the merge:
Checks after the merge:
Scope. This landing adds history only. It changes no file and no scientific status, and it does not import the NC-1 definition, which stays rejected (#1009). Main's push CI is running and will be reported here. Generated by Claude Code |
5 tasks
amaybaum
added a commit
that referenced
this pull request
Nov 8, 2026
…come (N) Owner-approved (chat, 2026-11-08): "#1202 — A5 Q3 — Approve merge after #1200 — Normal merge preserving the preregistration, amendments and reviewed assessment." Scope: none of E1–E3 has established independent justification as the extension of A6 to affine offsets within the reviewed scope; this does not prove that no valid extension exists.
This was referenced Nov 8, 2026
A5-Q3: does any A6 extension to affine offsets (E1–E3) have independent justification? (#1049)
#1202
Merged
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.
History-only landing, with no file changes. Independent review: ACCEPT WITH CHANGES. The PR-body changes are applied; CI is waiting for the Lean installer outage to clear.
main's file tree remains unchanged. Independently review and CI-check that PR before requesting its separate merge approval. … The history landing must not include the full Research (WIP): SUBSTATE-1 — internal sub-states and visible recurrence #1009 head or silently adopt its rejected NC-1 definition."3daf5fde247d04053aedd50bc379ae5a2d40ebb0, a merge commit made withgit merge -s ours.9c201475.8af2d904cba527d89c800d809b753bfb32d07712, fromresearch/substate-1.06ad084a…), so the merge adds and changes no files.What it does
After landing, the 80 commits of
8af2d904 ^mainbecome reachable frommain, plus this one merge commit. Four files onmaincite their order and identity as chronology. These are rows 7, 16 and 24 of the §A.42 item 8 trace in #1007 c.6719401889:continuous-substates/later-access-result.md:3–5continuous-substates/later-access-preregistration.md:8continuous-substates/LA-EQUAL-REVIEW.md:280–282recursive-substates/README.md:50The order of the cited commits is a direct single-parent chain,
b532472a→1a584d6d→8af2d904, and7c4e45f7is an ancestor of8af2d904. All 35 commit ids the packet lists for rows 6–7, 12, 15–16 and 18–25 become reachable.This follows the #1098 precedent for the #1011 history.
What it does not do
77482a8c, or any of the 8 commits after8af2d904(the NC-1 work and the label maintenance). None of them is an ancestor of this branch.4522e6e2is unreachable from this head's history.Merge method: only "Create a merge commit"
The repository allows squash and rebase merges. Either one would drop the second parent and defeat this landing.
Checks
41ac4d05is identical at all three commits and onmain; push and trigger safety; and that 80 commits is the minimum landing (§A.42 item 5).v3_verifier --receipts, 53 receipts, all hold;legacy_records_check, 303 records intact.9c201475(42466942962) fails at the same steps. A re-run follows once the hosts recover. Merge approval will be requested only after an all-green run at3daf5fde.Not authorized: merge. That needs a separate owner approval after green CI.
🤖 Generated with Claude Code
https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb