Repository navigation
Conversation
Main §2.3, continuous-time extension: P-indivisibility now follows from a stated hypothesis, near-total return at a common time. That return is the counterpart of Γ_L = I for a bijection of finite order. Poincaré recurrence does not supply it, since a mixing flow has T_ii(t) → μ(cell) < 1, so the general-flow case is open. Main :174 now says "finite-recurrence argument". Main §2.3, fast-bath remark: the JC and Davies–Merkli examples lie outside the finite-recurrence hypothesis, and (C2) is not necessary for recurrence-cycle P-indivisibility. The §3.4 theorem bounds conditional memory under the mixing hypothesis, not P-divisibility. Main §4.4 and GR §6.3: no type II algebra, no entropy identification (G_sub is undefined in the corpus), and no dS phase computation are derived. Reproducing the cancellation is open. The HUZ dimension is a finite partition count, and the AAIL scaling is not derived. The evidential self-assessment is removed. The GR §6 heading is kept per the documented decision at 9ff2771. SM §7.5 gap (ii) Part A: uniqueness of the φ-invariant distribution needs a single cycle, and P-indivisibility does not give it. ρ∘T = ρ is now conditional on the cycle ergodicity of gap (i). The nonexistent "Main Theorem 4" citation is dropped. Bridge (c) now says "a stationary distribution". Mirrors corrected: SM §8.5 and the Explainer FAQ (self-assessment), and book ch01 §1.5, ch07 §7.7 and ch18 §18.7, each with its FULL.md copy. Regenerated Main, GR, SM, Explainer and the book. Checks: the release gate passes except lean-axioms, which has no lake toolchain locally. edge_rigidity_probe passes. The added-lines register scan has 0 hits. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Y87wExth9RoUb3dtbumhTb
…ecurrence terms Owner decisions and the ACCEPT WITH CHANGES review of 42bc405. - Main §4.4, GR §6.3, ch07 §7.7 (+FULL), R1: the finite-dimensional statement is scoped to each finite region. The quasilocal C*-completion (GR §3.3) is cited, with no state or representation selected. No von Neumann closure, relation to CLPW or entropy identification is derived. Whether the construction reproduces CLPW's algebra and its entropy is open. - GR §6.3, R2: the horizon entropy is σ per boundary mode over the N_modes of §5. It recovers S_dS under the §3 calibration. - SM §7.5 gap (ii), (6b) and R4: the whole gap is labelled conditional on cycle ergodicity. The φ-invariance of ρ∘T is unconditional. The form E(a,b) = a·a + b·b − a·Nb of the §4.2 rule is conserved and even under T, so its level sets are φ- and T-invariant. Both parts carry gap (i)'s residual. Dropped "does not bear on this". - SM §4.2 :294, (6a): the diagnostics show chaos numerically, within the sizes, ensembles and protocols sampled. No single-cycle theorem is established. "chat-track" is removed there and at Structure :1115. - Main :176: the theorem uses no form of (C2), and (C2-structural) holds by reversibility. Adds the range condition ε ≤ 1 − 1/n_V. - Main :706: Slagle-Preskill comparison narrowed to the proved equivalence. The continuous-time law is additional structure, and operational QM needs the quantum-complete extension. - ch18 §18.7 (+FULL): the route needs Γ_n = I. The SM §4.2 rule fixes the zero configuration, so no single cycle covers S. Exact finite-bijection recurrence is now named "finite recurrence" or "exact recurrence" at ch18 :174 and :193, ch09 :106 and ch02 :32. - Record: corrected the G_sub reason, the survivor counts and the provenance of the heading decision. Rebuilt Main, GR, SM, Structure and the book. Release gate: every step passes except lean-axioms (no lake locally). edge_rigidity_probe passes. The added-lines register scan and the secrets scan are clean. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Y87wExth9RoUb3dtbumhTb
…e, integrability - SM §7.5 gap (ii) Part A (Q1): dropped the E-level-set derivation. The integrable linear rule conserves a whole family of E_p, so its level sets are not single cycles. TφT = φ⁻¹ is now credited to the update form (a,b) ↦ (R(a) − b, a) with T(a,b) = (b,a), which holds for every R. T maps cycles to cycles, and ρ uniform on a cycle C has ρ∘T = ρ exactly when T(C) = C. Part A's label, the bold heading and the closing sentence now read "cycle ergodicity of the realized bijection on a T-invariant set carrying ρ". - Main §4.4, GR §6.3, ch07 §7.7 (+FULL) (Q2): the disclaimer is scoped to "no identification of CLPW's entropy with a substratum quantity". - SM §4.2 :294 (Q3): "Breaking the integrability of the linear rule is necessary for full-shell sampling; chaos does not establish full-shell sampling". - Main :706 (optional): "exact finite operational quantum mechanics". - Record rows updated to match. Rebuilt Main, GR, SM and the book. Release gate: every step passes except lean-axioms (no lake locally). edge_rigidity_probe passes. The register, secrets and model-id scans are clean. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Y87wExth9RoUb3dtbumhTb
…requirement Two phrases in the :294 paragraph still made chaos the requirement for full-shell sampling, against the sentence below them. Way out (i) now reads "breaking the linear rule's integrability, which full-shell sampling needs". The closing sentence now reads that the chaos "shows that the rounding breaks the linear rule's integrability as the ergodicity interpretation requires". Rebuilt SM. Release gate: every step passes except lean-axioms (no lake locally). The register and secrets scans are clean. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Y87wExth9RoUb3dtbumhTb
This was referenced Oct 27, 2026
…haos (SM :294) (#946) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Y87wExth9RoUb3dtbumhTb
This was referenced Oct 27, 2026
Closed
Owner
Author
|
Closing without merge: fully absorbed into All 9 SC-28 corrections are on
The branch and history are kept. Generated by Claude Code |
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.
Source-correction unit SC-28 of the #942 audit (gate #946). Base:
main0d917665. Head:c43347f4.Review history:
42bc4050df061d64c43347f4Sites
Kept as is, with reasons:
Introduction dependency: none. #918 cites only the finite bijection's recurrence, and GR §6.3 only for the dimensional identity.
Stacked work: SC-31 (
corpus/sc31-period-growth) is built on this branch.Checks (local, at
c43347f4):lean-axioms, which runs in CI.edge_rigidity_probe: all checks pass.Merge: after #918, by owner decision, and only at an exact SHA the owner approves.
Links: #942, #946.
Generated by Claude Code