Reconcile the D1 Theorem A selection chain (Theorems A, B, C at existential scope) and unblock D2/D3

.github/workflows/d1-chain-reconciliation.yml

@@ -0,0 +1,65 @@
+name: D1 chain reconciliation checks
+
+'on':
+  pull_request:
+    paths:
+      - 'reviews/d1_chain_reconciliation_20260928/**'
+      - '.github/workflows/d1-chain-reconciliation.yml'
+      - 'imports/lifetime_parent_20260925/**'
+      - 'reviews/d1_section9_borel_repair_20260925/**'
+      - 'reviews/d1_theorem_a_nonauthor_20260928/**'
+      - 'frontiers/downstream_gate_20260925/GRAPH.json'
+  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/d1_chain_reconciliation_20260928').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 / 'reconciliation_check.py')
+          expected = (root / 'RESULTS.json').read_bytes()
+          mutants = ['allow-author-review', 'skip-coverage', 'displayed-congruence', 'drop-mixed-square',
+                     'drop-far-branch', 'embedding-radius', 'difference-exponent', 'gamma-24',
+                     'unbind-component']
+          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({'check': 'd1-chain-reconciliation', 'custody_graph_ledger_math': 'PASS', 'analytic_acceptance_by_this_check': False}))
+          PY
+          git diff --exit-code

.github/workflows/downstream-gate.yml

@@ -56,7 +56,7 @@ jobs:
               raise RuntimeError('actual Python 3.11 required')
           verify()
           out = pathlib.Path(os.environ['RUNNER_TEMP']) / 'downstream-gate-results'
-          subprocess.run([sys.executable, '-B', '-S', str(root / 'run_validation.py'), '--output', str(out)], check=True, timeout=240)
+          subprocess.run([sys.executable, '-B', '-S', str(root / 'run_validation.py'), '--output', str(out)], check=True, timeout=480)
           subprocess.run([
               sys.executable, '-B', '-S', str(root / 'git_transition_audit.py'),
               '--repo', str(pathlib.Path.cwd()), '--base', os.environ['BASE_SHA'],
@@ -81,13 +81,13 @@ jobs:
                       raise RuntimeError('regression failed: ' + folder)
           verify()
           report = json.loads((out / 'REPORT.json').read_text())
-          if not report['passed'] or report['distinct_tests'] != 67 or report['distinct_semantic_mutations'] != 24:
+          if not report['passed'] or report['distinct_tests'] != 71 or report['distinct_semantic_mutations'] != 24:
               raise RuntimeError('unexpected new-test scope')
           (out / 'GITHUB_CONTEXT.json').write_text(json.dumps({
               'run': os.environ['GITHUB_RUN_ID'], 'tested_commit': os.environ['GITHUB_SHA'],
               'base_commit': os.environ['BASE_SHA'], 'event': os.environ['GITHUB_EVENT_NAME'],
-              'python': sys.version, 'gate_distinct_tests': 67,
-              'regression_distinct_tests': 177, 'total_distinct_tests': 244,
+              'python': sys.version, 'gate_distinct_tests': 71,
+              'regression_distinct_tests': 177, 'total_distinct_tests': 248,
               'semantic_mutations': 24, 'source_files_verified': len(pins),
               'lemma_closed': False, 'scientific_effect': 'NONE',
               'meaning': 'same-author software verification; no independent theorem acceptance',

PROOF_INDEX.md

@@ -15,7 +15,8 @@ The shared [public inventory](https://github.com/d6g8k5htny-coder/main/tree/main
 
 ## Reviewed scoped results
 
-- D2 lifetime remainder: proof [frontiers/three_fronts_20260924/LIFETIME_REMAINDER.md](frontiers/three_fronts_20260924/LIFETIME_REMAINDER.md); [R1–R4 review](https://github.com/d6g8k5htny-coder/main/issues/67#issuecomment-5841270276) and [R5/R6 delta review](https://github.com/d6g8k5htny-coder/main/issues/67#issuecomment-5841782206) record ACCEPT for Theorem R at its stated existential `O(1)`-remainder scope. The delta identifies its exact parent imports and does not consume the still-open Theorem A cubic selection bound. Numerical constants/radii, a second coefficient, and RN/24-jet closure are outside this verdict. [main #67](https://github.com/d6g8k5htny-coder/main/issues/67) remains open for other bundled fronts.
+- D2 lifetime remainder: proof [frontiers/three_fronts_20260924/LIFETIME_REMAINDER.md](frontiers/three_fronts_20260924/LIFETIME_REMAINDER.md); [R1–R4 review](https://github.com/d6g8k5htny-coder/main/issues/67#issuecomment-5841270276) and [R5/R6 delta review](https://github.com/d6g8k5htny-coder/main/issues/67#issuecomment-5841782206) record ACCEPT for Theorem R at its stated existential `O(1)`-remainder scope. The delta identifies its exact parent imports (the D1-A–E interfaces) and does not consume Theorem A's cubic bound (1.1); those imports are now reconciled in [reviews/d1_chain_reconciliation_20260928/](reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md). Numerical constants/radii, a second coefficient, and RN/24-jet closure are outside this verdict. [main #67](https://github.com/d6g8k5htny-coder/main/issues/67) remains open for other bundled fronts.
+- D1 parent lifetime theorem (Theorems A, B, C): proof [imports/lifetime_parent_20260925/UNIFORM_MATRIX_CAP_AND_LIFETIME.md](imports/lifetime_parent_20260925/UNIFORM_MATRIX_CAP_AND_LIFETIME.md) read with the [congruence erratum](imports/lifetime_parent_20260925/ERRATUM_CONGRUENCE.md), the [Section 9 replacement v1.1](reviews/d1_section9_borel_repair_20260925/REPAIR.md), wording W1 and the embedding radius `r < L/(4√2)`; deterministic support [imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md](imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md). [Reconciliation](reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md) binds the [D1-A–E review](https://github.com/d6g8k5htny-coder/main/issues/63#issuecomment-5841570965) (xAI/Grok, Sections 8–15), the [A1–A7, cap and Section 9 review](reviews/d1_theorem_a_nonauthor_20260928/REVIEW.md) (Anthropic/Claude), the [Section 9 Grok/Lucas record](reviews/d1_section9_borel_grok_lucas_20260928/REVIEW.md), and its own review of the previously unreviewed Sections 11–12, and records ACCEPT for Theorems A, B and C at existential scope: fixed `d>=2` and `L`, compact births and positive gap marks for A and B (with `B` and `K` of positive length for B's positive constant), all frames, leading term only for C. No numerical `C`, `r_*`, `z_*` or coefficient; no lower bound for `d>=3` (the planar lower bound is [ELDER_LOWER_AND_DENSITY_GAP.md](frontiers/window_multiplicity_laws_20260928/ELDER_LOWER_AND_DENSITY_GAP.md) (E2)); no unrestricted difference rate; no RN/24-jet certificate. The immutable parent bytes are unchanged.
 - D3 SIDE24 coefficient: proof [coefficients/side24_v1/PROOF.md](coefficients/side24_v1/PROOF.md); [C1–C6 review](https://github.com/d6g8k5htny-coder/main/issues/65#issuecomment-5841269490) verifies the coefficient calculation; [reconciliation](https://github.com/d6g8k5htny-coder/main/issues/65#issuecomment-5841779222) closes the coefficient-review work package. Interpretation as the parent lifetime law retains the parent's separate dependency and review boundaries.
 - D4 fixed-remote RN theorem: proof [frontiers/remote_window_20260924/PROOF.md](frontiers/remote_window_20260924/PROOF.md); [source-bound review](https://github.com/d6g8k5htny-coder/main/issues/76#issuecomment-5841783172) and [scoped reconciliation](https://github.com/d6g8k5htny-coder/main/issues/76#issuecomment-5841861362) record ACCEPT on the seven fixed-rho/fixed-eta interfaces. Shrinking spatial cutoffs, pin/intermediate regions, and shrinking witness separation are outside that review.
 - D5 all-height fixed annulus: proof [frontiers/rn_annulus_bridge_20260925/PROOF.md](frontiers/rn_annulus_bridge_20260925/PROOF.md); review [reviews/pr28_annulus_bridge_nonauthor_20260925/REVIEW.md](reviews/pr28_annulus_bridge_nonauthor_20260925/REVIEW.md) records R1–R7 ACCEPT at fixed `d=2`, fixed `L`, compact positive-gap marks, and fixed annulus `1<A<B<infinity`. Pin, intermediate, and witness-collision complements remain open. This is the full reviewed candidate body, not a global D5/RN theorem.
@@ -29,8 +30,6 @@ The shared [public inventory](https://github.com/d6g8k5htny-coder/main/tree/main
 
 ## Open or conditional results with complete proof text in GitHub
 
-- D1 parent lifetime theorem: full proof [imports/lifetime_parent_20260925/UNIFORM_MATRIX_CAP_AND_LIFETIME.md](imports/lifetime_parent_20260925/UNIFORM_MATRIX_CAP_AND_LIFETIME.md); support [imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md](imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md). [D1-A–E review](https://github.com/d6g8k5htny-coder/main/issues/63#issuecomment-5841570965) accepts its exact Sections 8–15 interfaces. [main #63 was reopened](https://github.com/d6g8k5htny-coder/main/issues/63#issuecomment-5841830743): Theorem A's Sections 2–7 quantitative selection chain still awaits A1–A7 review. Its A3 target must include the additive [full congruence erratum](imports/lifetime_parent_20260925/ERRATUM_CONGRUENCE.md), landed on Math- default by [PR64](https://github.com/d6g8k5htny-coder/Math-/pull/64) at `d8f55054270532f2f95ae7cc7f5c613643d47e13`; the immutable parent bytes remain unchanged. Pairing identities for the cap import are recorded in [CAP_PAIRING_IDENTITIES.md](imports/lifetime_parent_20260925/CAP_PAIRING_IDENTITIES.md).
-- D1 Section 9 Borel elder-mark repair: [reviews/d1_section9_borel_repair_20260925/REPAIR.md](reviews/d1_section9_borel_repair_20260925/REPAIR.md). Author-side amendment; nonauthor re-review required. The parent mirror is unchanged.
 - D4 RN count interface: [frontiers/three_fronts_20260924/RN_COUNT_INTERFACE.md](frontiers/three_fronts_20260924/RN_COUNT_INTERFACE.md).
 - D5 thin-tube candidate: [frontiers/rn_thin_tube_20260925/PROOF.md](frontiers/rn_thin_tube_20260925/PROOF.md). Independent review is open. This file is distinct from the reviewed two-scale addendum and the reviewed fixed-annulus candidate.
 - D5 contact-kernel tail note: [frontiers/contact_kernel_tail_20260925/NOTE.md](frontiers/contact_kernel_tail_20260925/NOTE.md). Author-side. Distinct from [reviews/contact_kernel_tail_20260925/](reviews/contact_kernel_tail_20260925/).

README.md

@@ -8,8 +8,8 @@
 
 | Topic | Proof or entry point | Review and scope |
 |---|---|---|
-| Gaussian lifetime coefficient | [SIDE24 dimensions 2 and 3](coefficients/side24_v1/PROOF.md) | [main #65](https://github.com/d6g8k5htny-coder/main/issues/65); conditional on the parent lifetime formula |
-| Quantitative lifetime density | [Bounded unrestricted remainder](frontiers/three_fronts_20260924/LIFETIME_REMAINDER.md) | [main #67](https://github.com/d6g8k5htny-coder/main/issues/67); parent interfaces remain under review |
+| Gaussian lifetime coefficient | [SIDE24 dimensions 2 and 3](coefficients/side24_v1/PROOF.md) | [main #65](https://github.com/d6g8k5htny-coder/main/issues/65) verifies the calculation; its reading as the parent Theorem C coefficient is [reconciled](reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md) at existential scope; no finite-radius band |
+| Quantitative lifetime density | [Bounded unrestricted remainder](frontiers/three_fronts_20260924/LIFETIME_REMAINDER.md) | [main #67](https://github.com/d6g8k5htny-coder/main/issues/67) accepts Theorem R at its existential `O(1)` scope; its parent interfaces are [reconciled](reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md); no numerical constants |
 | RN critical-point counting | [Probability-to-count interface](frontiers/three_fronts_20260924/RN_COUNT_INTERFACE.md) | Exact implications and counterexamples; the Gaussian triple integral is not evaluated |
 | RN fixed-remote height window | [Cubic count and contact kernel](frontiers/remote_window_20260924/PROOF.md) | Actual count bound on a fixed remote region; shrinking spatial cutoffs and witness collisions remain outside scope |
 | RN reviewed fixed-annulus height window | [Fixed scaled-annulus theorem](frontiers/rn_thin_tube_20260925/FIXED_ANNULUS_CANDIDATE.md) | [Source-bound nonauthor review](reviews/pr22_fixed_annulus_nonauthor_20260925/REVIEW.md) accepts the fixed d=2 annulus / compact positive-gap / between-pin-window scope only; no global D5/RN/JETMOD closure |
@@ -19,7 +19,7 @@
 | P15 full probability range | [Full transformed-price budget and sharp constant](frontiers/full_price_20260924/PROOF.md) | Demands at least 2; every independent probability vector; same palette; sharp uniform factor 1/[3-log(3e-2)] |
 | Downstream hard gate | [Fail-closed promotion control](frontiers/downstream_gate_20260925/README.md) | [main #90](https://github.com/d6g8k5htny-coder/main/issues/90) / [#86](https://github.com/d6g8k5htny-coder/main/issues/86); integrity only; `lemma_closed` stays false |
 
-Each row is governed by its exact statement, source identity, domain, dependencies, and review object in [claims/LANDING_CLAIMS.json](claims/LANDING_CLAIMS.json). Some rows remain author-side or fail-closed; the fixed-annulus height-window row has a scoped nonauthor technical review. A merge or green test never broadens a claim beyond that recorded scope. The counterexample and the restricted successor concern different hypotheses. The full-range successor removes the probability cutoff, not the demand or realized-family hypotheses; the older 16/27 factor remains better on its smaller domain.
+Each row is governed by its exact statement, source identity, domain, dependencies, and review object in [claims/LANDING_CLAIMS.json](claims/LANDING_CLAIMS.json). Some rows remain author-side; the two lifetime rows and the fixed-annulus height-window row have scoped nonauthor reviews. A merge or green test never broadens a claim beyond that recorded scope. The counterexample and the restricted successor concern different hypotheses. The full-range successor removes the probability cutoff, not the demand or realized-family hypotheses; the older 16/27 factor remains better on its smaller domain.
 
 ## Run a calculation
 

claims/LANDING_CLAIMS.json

@@ -8,7 +8,7 @@
     "repo": "d6g8k5htny-coder/main",
     "issue": 86,
     "url": "https://github.com/d6g8k5htny-coder/main/issues/86",
-    "required_state": "open"
+    "required_state": "closed"
   },
   "allowed_dispositions": [
     "HOLD_WITH_DOMAIN",
@@ -43,7 +43,12 @@
             "kind": "github_issue",
             "repo": "d6g8k5htny-coder/main",
             "number": 63,
-            "url": "https://github.com/d6g8k5htny-coder/main/issues/63"
+            "url": "https://github.com/d6g8k5htny-coder/main/issues/63",
+            "comments": [
+              "https://github.com/d6g8k5htny-coder/main/issues/63#issuecomment-5841570965",
+              "https://github.com/d6g8k5htny-coder/main/issues/63#issuecomment-5873873903"
+            ],
+            "reconciliation": "reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md"
           },
           "required_for": "persistence interpretation"
         }
@@ -54,8 +59,8 @@
         "number": 65,
         "url": "https://github.com/d6g8k5htny-coder/main/issues/65"
       },
-      "disposition": "HOLD_WITH_DOMAIN",
-      "disposition_reason": "parent source is now byte-bound in-tree; persistence interpretation remains conditional on open analytic review #63"
+      "disposition": "REVIEWED_SCOPED",
+      "disposition_reason": "Coefficient calculation verified (xAI/Grok C1-C6, main#65); its persistence interpretation as the leading coefficient of the parent Theorem C (eq. 15.2) is reconciled in reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md. Arithmetic enclosure of the stated expression only; no finite-radius band."
     },
     {
       "claim_id": "lifetime-remainder",
@@ -82,7 +87,12 @@
             "kind": "github_issue",
             "repo": "d6g8k5htny-coder/main",
             "number": 63,
-            "url": "https://github.com/d6g8k5htny-coder/main/issues/63"
+            "url": "https://github.com/d6g8k5htny-coder/main/issues/63",
+            "comments": [
+              "https://github.com/d6g8k5htny-coder/main/issues/63#issuecomment-5841570965",
+              "https://github.com/d6g8k5htny-coder/main/issues/63#issuecomment-5873873903"
+            ],
+            "reconciliation": "reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md"
           },
           "required_for": "marked Kac-Rice, global elder, regression and parent coefficient interfaces"
         },
@@ -98,7 +108,12 @@
             "kind": "github_issue",
             "repo": "d6g8k5htny-coder/main",
             "number": 63,
-            "url": "https://github.com/d6g8k5htny-coder/main/issues/63"
+            "url": "https://github.com/d6g8k5htny-coder/main/issues/63",
+            "comments": [
+              "https://github.com/d6g8k5htny-coder/main/issues/63#issuecomment-5841570965",
+              "https://github.com/d6g8k5htny-coder/main/issues/63#issuecomment-5873873903"
+            ],
+            "reconciliation": "reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md"
           },
           "required_for": "deterministic sufficient pairing event"
         }
@@ -109,8 +124,8 @@
         "number": 67,
         "url": "https://github.com/d6g8k5htny-coder/main/issues/67"
       },
-      "disposition": "FAIL_CLOSED",
-      "disposition_reason": "all named parent source bytes are now in-tree; theorem remains fail-closed because parent/global elder/Kac-Rice interfaces are still analytically open on #63"
+      "disposition": "REVIEWED_SCOPED",
+      "disposition_reason": "Theorem R accepted at its stated existential O(1)-remainder scope (xAI/Grok R1-R6, main#67); its parent imports (D1-A-E: section 8 comparison, section 9 as replaced by v1.1, section 10, (14.1), (15.2)) are reconciled in reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md. Theorem R does not consume Theorem A's cubic bound (1.1). No numerical constants, radii, second coefficient, or RN/24-jet closure."
     },
     {
       "claim_id": "rn-count-interface",
@@ -342,8 +357,8 @@
       "statement_path": "frontiers/downstream_gate_20260925/README.md",
       "statement_heading": "What it enforces",
       "source": {
-        "commit": "760340e921ac4ceda296b8118da936f1133e956e",
-        "blob": "7f07316b733ab32aceeb982051c049d62fb1ef6f"
+        "commit": "2e0a7b37d18277c5965e9a65adabcb26c7e44234",
+        "blob": "6ff49b966ab41dc4db771d48e547cc60da11764f"
       },
       "domain": "machine dependency graph and repository-source transitions",
       "measure": "not a mathematical measure; loss-only revalidation/control state",