D1 component III second pass: the cap implication G_r ⇒ S is the global elder partner, line by line, with finite maximin controls (audit response; ACCEPT unchanged; scientific effect NONE)

.github/workflows/d1-cap-elder-partner-second-pass.yml

@@ -0,0 +1,78 @@
+name: D1 cap elder-partner second pass
+
+'on':
+  pull_request:
+    paths:
+      - 'reviews/d1_cap_elder_partner_second_pass_claude_20260930/**'
+      - '.github/workflows/d1-cap-elder-partner-second-pass.yml'
+      - 'imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md'
+      - 'imports/lifetime_parent_20260925/UNIFORM_MATRIX_CAP_AND_LIFETIME.md'
+      - 'imports/lifetime_parent_20260925/ERRATUM_CONGRUENCE.md'
+      - 'reviews/d1_theorem_a_nonauthor_20260928/REVIEW.md'
+      - 'reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  exact-and-finite-controls:
+    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 and pins, 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_cap_elder_partner_second_pass_claude_20260930').resolve()
+          manifest_doc = json.loads((root / 'SOURCE_FILES.json').read_text())
+          manifest = manifest_doc['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'])
+          for pin in manifest_doc['pins_on_main']:
+              if not pin.get('workflow_checked'):
+                  continue
+              p = pathlib.Path(pin['path'])
+              if p.is_symlink() or not p.is_file():
+                  raise ValueError('pinned source missing: ' + pin['path'])
+              data = p.read_bytes()
+              blob = hashlib.sha1(b'blob %d\0' % len(data) + data).hexdigest()
+              if blob != pin['git_blob']:
+                  raise ValueError('pinned source drifted: ' + pin['path'] + ' ' + blob)
+          script = str(root / 'cap_maximin_check.py')
+          expected = (root / 'RESULTS.json').read_bytes()
+          mutants = ['kernel-mass', 'depth-four', 'coefficient-two', 'drop-cross-terms', 'no-depth', 'gap-sign', 'm4-over']
+          for flags in (['-B', '-S'], ['-B', '-O', '-S']):
+              out = subprocess.run([sys.executable, *flags, script],
+                                   check=True, capture_output=True, timeout=600).stdout
+              if out != expected:
+                  raise RuntimeError('output differs from RESULTS.json under ' + ' '.join(flags))
+              doc = json.loads(out)
+              if not (doc['passed'] and len(doc['checks']) == 6 and all(doc['checks'].values())):
+                  raise RuntimeError('controls did not pass under ' + ' '.join(flags))
+              for m in mutants:
+                  rc = subprocess.run([sys.executable, *flags, script, '--mutant', m],
+                                      capture_output=True, timeout=600).returncode
+                  if rc != 1:
+                      raise RuntimeError('mutant ' + m + ' not rejected under ' + ' '.join(flags))
+          print(json.dumps({'scientific_effect': 'NONE', 'mathematical_acceptance': False, 'review_verdict': 'ACCEPT_UNCHANGED'}))
+          PY
+          git diff --exit-code

reviews/d1_cap_elder_partner_second_pass_claude_20260930/RESULTS.json

@@ -0,0 +1,139 @@
+{
+  "checks": {
+    "EXACT_CONSTANTS": true,
+    "HYPOTHESIS_LOAD_BEARING": true,
+    "MAXIMIN_D2": true,
+    "MAXIMIN_D3": true,
+    "MAXIMIN_M4_INSIDE_H2": true,
+    "RIDGE_IDENTITY_M3": true
+  },
+  "detail": {
+    "EXACT_CONSTANTS": {
+      "F_second_derivative_lower_bound": "2184415/7086244",
+      "adverse": "2554128/1771561",
+      "excess_over_gap": "11/96",
+      "exterior_integral": "0.28125",
+      "forced_average_f_xxx": "2",
+      "k_min": "11",
+      "kappa_scaled_at_kappa_1_over_7": {
+        "F_second_derivative": "3/14",
+        "excess": "11/112",
+        "longitudinal_drop": "27/112",
+        "transverse_drop": "2400/77"
+      },
+      "kernel_mass": "1/6",
+      "m_u": "48/121",
+      "transverse_drop": "400/11",
+      "u": "24/121"
+    },
+    "HYPOTHESIS_LOAD_BEARING": {
+      "activated_before_merge": 24860,
+      "analytic_rim_pass_level": "1.199999375",
+      "cells": 25921,
+      "f_at_M": "1.2",
+      "f_at_S": "1.19999866667",
+      "gap_kappa_r3": "1.33333e-06",
+      "grid_maximin_level": "1.19999938667",
+      "hypotheses_hold": false,
+      "hypothesis_data": {
+        "M3": "96000",
+        "M4": "2400000",
+        "depth_rhs_8rM3sq": "1474560000",
+        "lambda": "1",
+        "rM4": "48000"
+      },
+      "merge_cell_offset_from_S_in_steps": 42,
+      "rim_inside_D": true,
+      "rim_pass_above_s": true,
+      "s": "1.19999866667"
+    },
+    "MAXIMIN_D2": {
+      "activated_before_merge": 243,
+      "cells": 6561,
+      "f_at_M": "1.2",
+      "f_at_S": "1.19999866667",
+      "grid_maximin_level": "1.19999866667",
+      "hypotheses_hold": true,
+      "hypothesis_data": {
+        "M3": "2",
+        "M4": "0",
+        "depth_rhs_8rM3sq": "16/25",
+        "lambda": "1",
+        "rM4": "0"
+      },
+      "kind": "good",
+      "merge_cell_offset_from_S_in_steps": 0,
+      "s": "1.19999866667",
+      "tolerance": "1.33e-09"
+    },
+    "MAXIMIN_D3": {
+      "activated_before_merge": 260,
+      "cells": 87857,
+      "f_at_M": "1.2",
+      "f_at_S": "1.19999866667",
+      "grid_maximin_level": "1.19999866667",
+      "hypotheses_hold": true,
+      "hypothesis_data": {
+        "M3": "2",
+        "M4": "0",
+        "depth_rhs_8rM3sq": "16/25",
+        "lambda": "1",
+        "rM4": "0"
+      },
+      "kind": "good",
+      "merge_cell_offset_from_S_in_steps": 0,
+      "s": "1.19999866667",
+      "tolerance": "1.33e-09"
+    },
+    "MAXIMIN_M4_INSIDE_H2": {
+      "d2": {
+        "activated_before_merge": 245,
+        "cells": 6561,
+        "f_at_M": "1.2",
+        "f_at_S": "1.19999866667",
+        "grid_maximin_level": "1.19999866667",
+        "hypotheses_hold": true,
+        "hypothesis_data": {
+          "M3": "262/125",
+          "M4": "12/5",
+          "depth_rhs_8rM3sq": "274576/390625",
+          "lambda": "1",
+          "rM4": "6/125"
+        },
+        "kind": "quartic",
+        "merge_cell_offset_from_S_in_steps": 0,
+        "s": "1.19999866667",
+        "tolerance": "1.33e-09"
+      },
+      "d3": {
+        "activated_before_merge": 262,
+        "cells": 87857,
+        "f_at_M": "1.2",
+        "f_at_S": "1.19999866667",
+        "grid_maximin_level": "1.19999866667",
+        "hypotheses_hold": true,
+        "hypothesis_data": {
+          "M3": "262/125",
+          "M4": "12/5",
+          "depth_rhs_8rM3sq": "274576/390625",
+          "lambda": "1",
+          "rM4": "6/125"
+        },
+        "kind": "quartic",
+        "merge_cell_offset_from_S_in_steps": 0,
+        "s": "1.19999866667",
+        "tolerance": "1.33e-09"
+      }
+    },
+    "RIDGE_IDENTITY_M3": {
+      "correction_terms_live": true,
+      "g_equals_p": true,
+      "identity_holds": true,
+      "lhs_degree": 1,
+      "ridge_gradient_vanishes": true
+    }
+  },
+  "object": "D1-CAP-ELDER-PARTNER-SECOND-PASS-20260930-v1",
+  "passed": true,
+  "scope": "finite controls for the deterministic cap theorem and identity (11); the theorem itself is the written derivation in REVIEW.md; not a proof about random fields; scientific effect NONE"
+}