Integrate reviewed window C1–C5 and inverse-separation results; retain open C6–C8

.github/workflows/remote-distance-moments-review.yml

@@ -0,0 +1,60 @@
+name: Remote distance-moments nonauthor review checks
+
+'on':
+  pull_request:
+    paths:
+      - 'reviews/remote_distance_moments_claude_20260929/**'
+      - '.github/workflows/remote-distance-moments-review.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  exact-and-probe:
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+    steps:
+      - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
+        with:
+          python-version: '3.11.16'
+      - name: Verify sources, replay both modes, reject mutants
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+        run: |
+          set -euo pipefail
+          python -B -S - <<'PY'
+          import hashlib, json, pathlib, subprocess, sys
+          root = pathlib.Path('reviews/remote_distance_moments_claude_20260929').resolve()
+          manifest = json.loads((root / 'SOURCE_FILES.json').read_text())['files']
+          present = sorted(p.name for p in root.iterdir())
+          expected_names = sorted([e['path'] for e in manifest] + ['SOURCE_FILES.json'])
+          if present != expected_names:
+              raise ValueError('packet tree differs from manifest: ' + repr(present))
+          for entry in manifest:
+              path = root / entry['path']
+              if pathlib.PurePosixPath(entry['path']).name != entry['path'] or path.is_symlink():
+                  raise ValueError('flat regular source required: ' + entry['path'])
+              data = path.read_bytes()
+              if len(data) != entry['bytes'] or hashlib.sha256(data).hexdigest() != entry['sha256']:
+                  raise ValueError('source identity mismatch: ' + entry['path'])
+          script = str(root / 'distance_review_check.py')
+          expected = (root / 'RESULTS.json').read_bytes()
+          mutants = ['block-det', 'peano-slope', 'envelope-power', 'middle-cutoff', 'tail-sixth',
+                     'a1-constant', 'diagonal-order']
+          for flags in (['-B', '-S'], ['-B', '-O', '-S']):
+              out = subprocess.run([sys.executable, *flags, script],
+                                   check=True, capture_output=True, timeout=300).stdout
+              if out != expected:
+                  raise RuntimeError('output differs from RESULTS.json under ' + ' '.join(flags))
+              for m in mutants:
+                  rc = subprocess.run([sys.executable, *flags, script, '--mutant', m],
+                                      capture_output=True, timeout=300).returncode
+                  if rc != 1:
+                      raise RuntimeError('mutant ' + m + ' not rejected')
+          print(json.dumps({'scientific_effect': 'NONE', 'mathematical_acceptance': False}))
+          PY
+          git diff --exit-code

.github/workflows/remote-height-marks-review.yml

@@ -0,0 +1,59 @@
+name: Remote height-marks nonauthor review checks
+
+'on':
+  pull_request:
+    paths:
+      - 'reviews/remote_height_marks_claude_20260929/**'
+      - '.github/workflows/remote-height-marks-review.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  exact-and-probe:
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+    steps:
+      - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
+        with:
+          python-version: '3.11.16'
+      - name: Verify sources, replay both modes, reject mutants
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+        run: |
+          set -euo pipefail
+          python -B -S - <<'PY'
+          import hashlib, json, pathlib, subprocess, sys
+          root = pathlib.Path('reviews/remote_height_marks_claude_20260929').resolve()
+          manifest = json.loads((root / 'SOURCE_FILES.json').read_text())['files']
+          present = sorted(p.name for p in root.iterdir())
+          expected_names = sorted([e['path'] for e in manifest] + ['SOURCE_FILES.json'])
+          if present != expected_names:
+              raise ValueError('packet tree differs from manifest: ' + repr(present))
+          for entry in manifest:
+              path = root / entry['path']
+              if pathlib.PurePosixPath(entry['path']).name != entry['path'] or path.is_symlink():
+                  raise ValueError('flat regular source required: ' + entry['path'])
+              data = path.read_bytes()
+              if len(data) != entry['bytes'] or hashlib.sha256(data).hexdigest() != entry['sha256']:
+                  raise ValueError('source identity mismatch: ' + entry['path'])
+          script = str(root / 'height_marks_review_check.py')
+          expected = (root / 'RESULTS.json').read_bytes()
+          mutants = ['jacobian-r', 'drop-mass-term', 'a-le-half-q', 'full-variation']
+          for flags in (['-B', '-S'], ['-B', '-O', '-S']):
+              out = subprocess.run([sys.executable, *flags, script],
+                                   check=True, capture_output=True, timeout=300).stdout
+              if out != expected:
+                  raise RuntimeError('output differs from RESULTS.json under ' + ' '.join(flags))
+              for m in mutants:
+                  rc = subprocess.run([sys.executable, *flags, script, '--mutant', m],
+                                      capture_output=True, timeout=300).returncode
+                  if rc != 1:
+                      raise RuntimeError('mutant ' + m + ' not rejected')
+          print(json.dumps({'scientific_effect': 'NONE', 'mathematical_acceptance': False}))
+          PY
+          git diff --exit-code

.github/workflows/remote-inverse-separation-review.yml

@@ -0,0 +1,60 @@
+name: Remote inverse-separation nonauthor review checks
+
+'on':
+  pull_request:
+    paths:
+      - 'reviews/remote_inverse_separation_claude_20260929/**'
+      - '.github/workflows/remote-inverse-separation-review.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  exact-and-probe:
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+    steps:
+      - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
+        with:
+          python-version: '3.11.16'
+      - name: Verify sources, replay both modes, reject mutants
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+        run: |
+          set -euo pipefail
+          python -B -S - <<'PY'
+          import hashlib, json, pathlib, subprocess, sys
+          root = pathlib.Path('reviews/remote_inverse_separation_claude_20260929').resolve()
+          manifest = json.loads((root / 'SOURCE_FILES.json').read_text())['files']
+          present = sorted(p.name for p in root.iterdir())
+          expected_names = sorted([e['path'] for e in manifest] + ['SOURCE_FILES.json'])
+          if present != expected_names:
+              raise ValueError('packet tree differs from manifest: ' + repr(present))
+          for entry in manifest:
+              path = root / entry['path']
+              if pathlib.PurePosixPath(entry['path']).name != entry['path'] or path.is_symlink():
+                  raise ValueError('flat regular source required: ' + entry['path'])
+              data = path.read_bytes()
+              if len(data) != entry['bytes'] or hashlib.sha256(data).hexdigest() != entry['sha256']:
+                  raise ValueError('source identity mismatch: ' + entry['path'])
+          script = str(root / 'inverse_review_check.py')
+          expected = (root / 'RESULTS.json').read_bytes()
+          mutants = ['height-jacobian', 'envelope-endpoint', 'overlap-three', 'contact-quarter',
+                     'merge-rate', 'jet-duplicate', 'cdf-half']
+          for flags in (['-B', '-S'], ['-B', '-O', '-S']):
+              out = subprocess.run([sys.executable, *flags, script],
+                                   check=True, capture_output=True, timeout=300).stdout
+              if out != expected:
+                  raise RuntimeError('output differs from RESULTS.json under ' + ' '.join(flags))
+              for m in mutants:
+                  rc = subprocess.run([sys.executable, *flags, script, '--mutant', m],
+                                      capture_output=True, timeout=300).returncode
+                  if rc != 1:
+                      raise RuntimeError('mutant ' + m + ' not rejected')
+          print(json.dumps({'scientific_effect': 'NONE', 'mathematical_acceptance': False}))
+          PY
+          git diff --exit-code

.github/workflows/remote-inverse-separation.yml

@@ -0,0 +1,33 @@
+name: Remote inverse-separation finite controls
+
+'on':
+  pull_request:
+    paths:
+      - 'frontiers/remote_inverse_separation_20260928/**'
+      - '.github/workflows/remote-inverse-separation.yml'
+  push:
+    branches: [main]
+    paths:
+      - 'frontiers/remote_inverse_separation_20260928/**'
+      - '.github/workflows/remote-inverse-separation.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  exact-inverse-separation:
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+    steps:
+      - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
+        with:
+          python-version: '3.11.16'
+      - name: Verify exact packet and both-mode intended negatives
+        run: |
+          set -euo pipefail
+          python -B -S frontiers/remote_inverse_separation_20260928/verify.py --output "${RUNNER_TEMP}/inverse-separation-${GITHUB_RUN_ID}-${GITHUB_RUN_ATTEMPT}"
+          git diff --exit-code

docs/integration/2026-09-29-reviewed-window-and-inverse.md

@@ -0,0 +1,87 @@
+# Reviewed window modules and inverse separation — integration receipt
+
+Integrator: OpenAI / ChatGPT, 29 September 2026.
+Scientific effect NONE: this integration changes no existing proof, review verdict,
+scientific register, graph, premise, lemma flag or prize. Source integration and a
+later scoped register transition are different acts.
+
+## Exact inputs
+
+Base: `e7f8aca41c308f8ad8614b587f75916943c86f27`.
+
+- Original #116 document packet: head `0507e3a1dbd3dede84cbeb805947c70aa16ebc36`,
+  tree `88d63cc679305641a8b8901bc1fbcad53fba2c42`. Its ten original documents are
+  now assembled together. The prior C1/C2/C3/source-map bytes are unchanged.
+- Original #128 inverse-separation packet: head `b3880006df94573b4d99d05c37b3254e063035fb`,
+  tree `68b0a79e6b33cbde6afbe1d4385d43bc9b9e842e`, plus its original workflow.
+- Anthropic #130 review packets: head `d7d0207773688961ef66b640e233c818c40d9436`.
+  The three records concern #128, #116 C4, and #116 C5. They carry actual analytic
+  ACCEPTs with dependency exposure, not automatic acceptance from finite tests.
+
+All three heads are retained as ancestors. The original author-side headers and
+PUBLICATION.json in #116 remain historical records; this receipt supplies the
+later review crosswalk, rather than modifying frozen evidence.
+
+## Written-module review crosswalk
+
+- C1/C2: `reviews/d1_elder_lower_claude_20260928/`, integrated by #124.
+- C3: `reviews/remote_pair_law_claude_20260928/`, integrated by #129.
+- C4: `reviews/remote_distance_moments_claude_20260929/`, amended #130.
+- C5: `reviews/remote_height_marks_claude_20260929/`, #130.
+- Inverse separation: `reviews/remote_inverse_separation_claude_20260929/`, #130.
+
+C4 is for p>=0: microscopic r^(5+p) below p=1; r^6(A1+B1) at p=1; r^6 Bp above.
+Its limiting scaled-distance law has the upper tail s^-8. Its negative moment
+boundary is NOT inferred from that upper tail or from a merely bounded equal-height
+kernel. The real limiting moment interval (-2,7) additionally uses the positive
+small-distance coefficient in the inverse-separation result. The finite-r
+microscopic moment interval is (-2,1). These are expected ordered-pair laws,
+not pair-event-conditioned field sampling or persistence lifetimes.
+
+C5 compares the singleton joint mark with the limiting contact location/index
+profile times a uniform height at O(r), including deterministic varying positive-
+volume E_r. It does not replace #120's stronger O(r^2) height/own-marginal result,
+and neither asserts independence between location and index.
+
+Inverse separation has sharp fixed-r inverse power threshold two and a positive
+collision coefficient. Its fixed-r cutoff equivalences do not include a bounded
+remainder at power two, an arbitrary coupled cutoff, or a same-index threshold.
+
+All remote statements retain fixed positive rho, fixed d/L, compact marks,
+original pins and full W/Z. Fixed-Borel pair limits do not cover oscillating E_r.
+
+## Open questions and unavailable historical execution
+
+Completing the five written modules does NOT solve C6's torus-wide factorial upper
+bound/optimal order, C7's unrestricted selection-difference rate, or C8's numerical
+constants. Those open questions are described in the historical
+`reviews/candidates_pending_20260928/CANDIDATES.md`; C6 has no proof in #116.
+The validated local lower obstruction excludes a global O(r^5) factorial upper
+bound but supplies no matching global upper estimate.
+
+The original #116 algebra.py remains absent and its publication remains blocked.
+It is not retried, reconstructed or treated as runnable by this integration.
+PUBLICATION.json preserves the historical local execution claim with that explicit
+limitation. Current published reviewer checkers are distinct new programs; they do
+not recover or certify that unavailable execution. No local execution of the
+reviewer programs by this integrator is claimed.
+
+## Verification and review lineage
+
+The #128 author runner was freshly replayed locally in this continuation: twelve
+finite tests and eight intended semantic negatives in each Python mode, identical
+paired outputs, exact source membership and identities intact. The reviewer
+programs and the combined actual formal/downstream jobs are evaluated by the
+current integration PR workflows. Older separate-head successes are not substitutes.
+Existing scalar Lean execution does not formalize these full Gaussian proofs.
+
+OpenAI's review of #130 is source-exposed integration review5351523587, not another
+nonauthor-provider mathematical discharge. Claude authored RC and reviewed RP and
+#120, so these records check use of those inputs, not their independent truth.
+All agents use one GitHub account; no organizational independence or invented
+approval identity is claimed. The two C4 wording corrections changed only review
+text and its manifest, preserving the checking program, results and scoped verdict.
+
+Before an ordinary expected-head merge, inspect fresh refs, full discussions,
+combined targeted suites and the required current-commit aggregate. Preserve a
+readback and post-merge check; never bypass protection for an empty queue.