Register execution readiness: the Math-#167/#160/#173 checkers accept the installed register (no proposal changes; scientific effect NONE)

.github/workflows/c6-residual-closure.yml

@@ -34,7 +34,7 @@ jobs:
       - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
         with:
           python-version: '3.11.16'
-      - name: Verify sources, replay both modes, reject mutants
+      - name: Verify sources, replay both modes (baseline or installed register), reject mutants
         env:
           PYTHONDONTWRITEBYTECODE: '1'
         run: |
@@ -55,13 +55,16 @@ jobs:
               if len(data) != entry['bytes'] or hashlib.sha256(data).hexdigest() != entry['sha256']:
                   raise ValueError('source identity mismatch: ' + entry['path'])
           script = str(root / 'residual_check.py')
-          expected = (root / 'RESULTS.json').read_bytes()
-          mutants = ['allow-symlink', 'no-hash', 'stale-fingerprint', 'drop-required-edge', 'executed-flag', 'controlling-true', 'tail-reversed', 'pair-identity-broken', 'route-c-broken', 'drop-review-needle', 'installed-drift', 'snapshot-omitted', 'record-unreviewed', 'reviewed-text-drift']
+          mutants = ['partial-install', 'allow-symlink', 'no-hash', 'stale-fingerprint', 'drop-required-edge', 'executed-flag', 'controlling-true', 'tail-reversed', 'pair-identity-broken', 'route-c-broken', 'drop-review-needle', 'installed-drift', 'snapshot-omitted', 'record-unreviewed', 'reviewed-text-drift']
           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))
+              state = json.loads(out).get('register_state')
+              if state not in ('baseline', 'installed'):
+                  raise RuntimeError('checker reports register_state ' + repr(state))
+              pinned = 'RESULTS.json' if state == 'baseline' else 'RESULTS_INSTALLED.json'
+              if out != (root / pinned).read_bytes():
+                  raise RuntimeError('output differs from ' + pinned + ' under ' + ' '.join(flags))
               for m in mutants:
                   rc = subprocess.run([sys.executable, *flags, script, '--mutant', m],
                                       capture_output=True, timeout=300).returncode

.github/workflows/c6-witness-collision-reconciliation.yml

@@ -36,7 +36,7 @@ jobs:
       - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
         with:
           python-version: '3.11.16'
-      - name: Verify sources, replay both modes, reject mutants
+      - name: Verify sources, replay both modes (baseline or installed register), reject mutants
         env:
           PYTHONDONTWRITEBYTECODE: '1'
         run: |
@@ -57,13 +57,16 @@ jobs:
               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-symlink', 'no-hash', 'drop-edge', 'stale-fingerprint', 'executed-flag', 'close-residual', 'drop-lower-bound', 'regional-strict', 'clone-live-node', 'open-cell-left']
+          mutants = ['allow-symlink', 'no-hash', 'drop-edge', 'stale-fingerprint', 'executed-flag', 'close-residual', 'drop-lower-bound', 'regional-strict', 'clone-live-node', 'open-cell-left', 'installed-drift', 'partial-install', 'selector-ahead', 'witness-edges-partial']
           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))
+              state = json.loads(out).get('register_state')
+              if state not in ('baseline', 'installed'):
+                  raise RuntimeError('checker reports register_state ' + repr(state))
+              pinned = 'RESULTS.json' if state == 'baseline' else 'RESULTS_INSTALLED.json'
+              if out != (root / pinned).read_bytes():
+                  raise RuntimeError('output differs from ' + pinned + ' under ' + ' '.join(flags))
               for m in mutants:
                   rc = subprocess.run([sys.executable, *flags, script, '--mutant', m],
                                       capture_output=True, timeout=300).returncode

.github/workflows/register-alignment.yml

@@ -37,7 +37,7 @@ jobs:
       - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
         with:
           python-version: '3.11.16'
-      - name: Verify sources, replay both modes, reject mutants
+      - name: Verify sources, replay both modes (baseline or installed register), reject mutants
         env:
           PYTHONDONTWRITEBYTECODE: '1'
         run: |
@@ -58,13 +58,16 @@ jobs:
               if len(data) != entry['bytes'] or hashlib.sha256(data).hexdigest() != entry['sha256']:
                   raise ValueError('source identity mismatch: ' + entry['path'])
           script = str(root / 'alignment_check.py')
-          expected = (root / 'RESULTS.json').read_bytes()
-          mutants = ['allow-symlink', 'no-hash', 'stale-fingerprint', 'drop-review-source', 'controlling-true', 'executed-flag', 'skip-interface-premise', 'holder-reversed', 'baseline-drift', 'duplicate-drift', 'region-unlinked', 'review-metadata-only']
+          mutants = ['allow-symlink', 'no-hash', 'stale-fingerprint', 'drop-review-source', 'controlling-true', 'executed-flag', 'skip-interface-premise', 'holder-reversed', 'baseline-drift', 'duplicate-drift', 'region-unlinked', 'review-metadata-only', 'installed-drift', 'partial-install', 'text-preinstalled']
           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))
+              state = json.loads(out).get('register_state')
+              if state not in ('baseline', 'installed'):
+                  raise RuntimeError('checker reports register_state ' + repr(state))
+              pinned = 'RESULTS.json' if state == 'baseline' else 'RESULTS_INSTALLED.json'
+              if out != (root / pinned).read_bytes():
+                  raise RuntimeError('output differs from ' + pinned + ' under ' + ' '.join(flags))
               for m in mutants:
                   rc = subprocess.run([sys.executable, *flags, script, '--mutant', m],
                                       capture_output=True, timeout=300).returncode

.github/workflows/register-execution-readiness.yml

@@ -0,0 +1,38 @@
+name: Register execution readiness
+
+'on':
+  pull_request:
+    paths:
+      - 'reviews/register_execution_readiness_20260930/**'
+      - '.github/workflows/register-execution-readiness.yml'
+      - 'reviews/register_alignment_20260930/**'
+      - 'reviews/c6_witness_collision_reconciliation_20260929/**'
+      - 'reviews/c6_residual_closure_20260930/**'
+      - 'frontiers/downstream_gate_20260925/GRAPH.json'
+      - 'frontiers/downstream_gate_20260925/SELECTOR_REGION.json'
+      - 'frontiers/downstream_gate_20260925/hard_gate.py'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  compose-and-check:
+    runs-on: ubuntu-latest
+    timeout-minutes: 15
+    steps:
+      - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
+        with:
+          python-version: '3.11.16'
+      - name: Compose the three proposals on a scratch copy; run the three checkers and their mutants in the installed state
+        env:
+          PYTHONDONTWRITEBYTECODE: '1'
+        run: |
+          set -euo pipefail
+          python -B -S reviews/register_execution_readiness_20260930/execution_dryrun.py --mutants
+          python -B -S reviews/register_execution_readiness_20260930/execution_dryrun.py --skip-old-node-move
+          python -B -S reviews/register_execution_readiness_20260930/execution_dryrun.py --selector-node-only
+          git diff --exit-code

reviews/c6_residual_closure_20260930/PROPOSED_TRANSITIONS.json

@@ -278,7 +278,7 @@
       "component_of": "math.rn-region.witness-collision.leading-mass-localization",
       "component_role": "reading_rule_record",
       "author_provider": "Anthropic Claude (this session; source-exposed, see section 0)",
-      "fingerprint": "b647a186d0cfd1662fc69e9d31dfd447dbb1b2f6ef4364bbd59c4956f18aed25",
+      "fingerprint": "60ed9ca2df666bc31cf50dc1fc7f3f8e8527d5efe4b16c265c205e1e9d1e6b34",
       "source": "reviews/c6_residual_closure_20260930/RECONCILIATION.md",
       "scope": "section 3: the corollary (D1) + steps 1-3 (Route A) and Route B, read by 5360645884 at b3fac79 and preserved verbatim in REVIEWED_SECTION_3_b3fac79.md; Route C (OpenAI-authored, checked 5902616692)",
       "review_basis": [

reviews/c6_residual_closure_20260930/RECONCILIATION.md

@@ -19,7 +19,15 @@ review 5360227991; v1.3 at `fe2c3ff` answers Math-#173's reviews: this record's
 path (OpenAI / GPT-5.6 Sol 5360645884, a non-Claude bounded read of §3 at head `b3fac79`, whose paragraphs are preserved
 verbatim in `REVIEWED_SECTION_3_b3fac79.md` and checked unchanged), the two evidence paths are modelled separately, and
 the checker accepts the installed state and replays the hard gate with source snapshots (Codex 5360636576); v1.4 at
-`8d48d02` re-verifies after Math-#160 merged (no content change); v1.5 at `02772ec` applies the direct-statement amendment
+`8d48d02` re-verifies after Math-#160 merged (no content change); v1.6 at `dda8991` (register execution readiness,
+`reviews/register_execution_readiness_20260930`) keeps the installed-state simulation and its `installed-drift` mutant active on the installed
+register too (before, the mutant was a no-op once the residual was live `PROVED_REVIEWED`, so the workflow's mutant rule
+would have failed after execution), prints `register_state`, and the workflow compares the checker's output with
+`RESULTS.json` in the baseline state and with `RESULTS_INSTALLED.json` in the installed state (the per-stage gate report
+differs between the two by construction); after Codex review 5365065925 on Math-#183 (thread 4143661501) `LIVE` accepts
+exactly two register states, baseline (residual absent or `OPEN_ACTIVE`, none of this record's edges, no component but
+the cross-record palm node) and installed, so partial installs fail and the interim shape is a replay, not an accepted
+live state (mutant `partial-install`); no other content changes; v1.5 at `02772ec` applies the direct-statement amendment
 of review 5360751376 (the diagonal argument; no fixed-`R` substitution into (L1)) and records that review's ACCEPT of
 Route C. Pickup:
 Math-#160 comment 5902470285; delivery 5902585446.
@@ -260,7 +268,10 @@ therefore reaches the residual through the graph, not through the fingerprint st
   classification, controlling); anything else on such a source, or anything else under a proposed id, is a mismatch. If
   the residual is live `PROVED_REVIEWED`, every component, every edge and the reading rule must be present as proposed.
   The same test runs on the executed graph built from the proposal (installed state, simulated) in every run, so that
-  execution cannot turn this check red (Codex 4140125558).
+  execution cannot turn this check red (Codex 4140125558); on the installed register that simulation is the live graph
+  itself (v1.6). The live register must be baseline (residual absent or `OPEN_ACTIVE`, none of this record's edges, no
+  component except the cross-record palm node) or installed; anything else, the interim shape included, fails; the
+  installed graph without one component is asserted partial in every run (v1.6).
 - **REVIEWED.** The record node's first review basis is Math-#173 review 5360645884 (provider OpenAI, ACCEPT, head
   `b3fac79`); `REVIEWED_SECTION_3_b3fac79.md`, after its one-line provenance comment, has the SHA256 the proposal states,
   begins at the §3 heading, contains Route A and Route B and not Route C, and is a verbatim substring of the current
@@ -288,11 +299,16 @@ therefore reaches the residual through the graph, not through the fingerprint st
   component; the deferred old-node transition is not applied (its presupposition is absent live) and is reported.
 - **NEGATIVES.** Delete, one-byte change, symlink and symlinked parent on a temporary copy of the inventory are rejected.
 
-Fourteen mutants must fail: `allow-symlink`, `no-hash`, `stale-fingerprint`, `drop-required-edge`, `executed-flag`,
+Fifteen mutants must fail: `partial-install` (partial installs labelled baseline), `allow-symlink`, `no-hash`,
+`stale-fingerprint`, `drop-required-edge`, `executed-flag`,
 `controlling-true`, `tail-reversed`, `pair-identity-broken`, `route-c-broken`, `drop-review-needle`, and since v1.3
 `installed-drift` (an installed component with another fingerprint must fail `LIVE`), `snapshot-omitted` (the
 reverse-impact replay without snapshots must fail `GATE`), `record-unreviewed` (the record node `PROVED_REVIEWED` with no
 review basis must fail `TRANSITIONS` and `REVIEWED`), `reviewed-text-drift` (a changed reviewed text must fail `REVIEWED`).
+The workflow runs the checker in the state the repository is in: it compares the output with `RESULTS.json` when the
+checker reports `register_state: baseline` and with `RESULTS_INSTALLED.json` when it reports `installed`; the mutants
+must be rejected in either state (the composition of Math-#167, #160 and #173 on a scratch copy, with every mutant, is
+replayed by `reviews/register_execution_readiness_20260930`).
 
 ## 7. Relation to other lanes
 

reviews/c6_residual_closure_20260930/RESULTS.json

@@ -224,9 +224,11 @@
     "edges_present": false,
     "mismatched": [],
     "present": [],
-    "residual": null
+    "residual": null,
+    "state": "baseline"
   },
   "object": "C6-RESIDUAL-CLOSURE-20260930-v1",
   "passed": true,
+  "register_state": "baseline",
   "scope": "identity, verdict-row, live-register (including the installed state), reviewed-text, exact finite bookkeeping of section 3, transition-shape, hard-gate replay with source snapshots in every execution shape, and filesystem-negative checks; the Gaussian limits are the sources' reviewed statements and are not re-proved; nothing is written"
 }

reviews/c6_residual_closure_20260930/RESULTS_INSTALLED.json

@@ -0,0 +1,47 @@
+{
+  "checks": {
+    "DEDUCTION": true,
+    "GATE": true,
+    "IDENTITIES": true,
+    "LIVE": true,
+    "NEGATIVES": true,
+    "REVIEWED": true,
+    "TRANSITIONS": true,
+    "VERDICTS": true
+  },
+  "component_nodes": 10,
+  "gate": {
+    "installed": {
+      "changed_nodes": [],
+      "impacted": [],
+      "old_node_transition": "deferred: presupposes Math-#160 step 3 (aggregate node absent live)",
+      "residual_classification": "PROVED_REVIEWED",
+      "residual_held": false,
+      "source_drift_reaches_residual": 10,
+      "source_snapshots_supplied": true
+    }
+  },
+  "inventory_files": 13,
+  "live_state": {
+    "edges_present": true,
+    "mismatched": [],
+    "present": [
+      "math.c6-component.palm-proof",
+      "math.c6r-component.cluster-law-acceptance",
+      "math.c6r-component.cluster-law-proof",
+      "math.c6r-component.cluster-law-source-map",
+      "math.c6r-component.residual-closure-record",
+      "math.c6r-component.spectral-closure-proof",
+      "math.c6r-component.spectral-closure-review-record",
+      "math.c6r-component.two-scale-law-proof",
+      "math.c6r-component.two-scale-review-binding",
+      "math.c6r-component.two-scale-review-record"
+    ],
+    "residual": "PROVED_REVIEWED",
+    "state": "installed"
+  },
+  "object": "C6-RESIDUAL-CLOSURE-20260930-v1",
+  "passed": true,
+  "register_state": "installed",
+  "scope": "identity, verdict-row, live-register (including the installed state), reviewed-text, exact finite bookkeeping of section 3, transition-shape, hard-gate replay with source snapshots in every execution shape, and filesystem-negative checks; the Gaussian limits are the sources' reviewed statements and are not re-proved; nothing is written"
+}

reviews/c6_residual_closure_20260930/SOURCE_FILES.json

@@ -16,32 +16,38 @@
     {
       "path": "PROPOSED_TRANSITIONS.json",
       "bytes": 31461,
-      "sha256": "78a50b82fd9cbf04899aa5ddc62875850ce68b8b5a5babfb637b7db7e2a49c5c",
-      "git_blob": "3706e8ac4e906aa1b53cdf5634abfb324c35a9e3"
+      "sha256": "7c4348b36f2024a5035cb85c8bed45f4977665f3786463ac519cb434e9869956",
+      "git_blob": "02f7a370849bace78ad29fac7ed8a449e28e08d8"
     },
     {
       "path": "RECONCILIATION.md",
-      "bytes": 34758,
-      "sha256": "b647a186d0cfd1662fc69e9d31dfd447dbb1b2f6ef4364bbd59c4956f18aed25",
-      "git_blob": "3cfd17c5ef0356dbd3e8f98a2d08cb404ddd982c"
+      "bytes": 36574,
+      "sha256": "60ed9ca2df666bc31cf50dc1fc7f3f8e8527d5efe4b16c265c205e1e9d1e6b34",
+      "git_blob": "9668d06a41e14057fe6e03ac1bf469aa1ed18580"
     },
     {
       "path": "RESULTS.json",
-      "bytes": 10376,
-      "sha256": "3c61cc49155cae7bba0fec30c0bf0a9fb085340f3a161d5898c527b87f9b5805",
-      "git_blob": "986a1320098b37238f117280b7925c683ca7c3c2"
+      "bytes": 10433,
+      "sha256": "705722ac0464ab8fdaa7882806702515ccdcb400f43647c72803e757290e9011",
+      "git_blob": "33f5f3e4ed20792ff00572caa76b75c7cf5fc225"
     },
     {
       "path": "residual_check.py",
-      "bytes": 33664,
-      "sha256": "76ebda22aef26a70ab8ef5916e64bc7c5b3b34833fa702664fa00a7b4c1c4406",
-      "git_blob": "2667d4b35baa674c74c051244febb7f08118c572"
+      "bytes": 35124,
+      "sha256": "fbe11e898e939603bd5be118e57fe6b2d361d480aaaab4dd3e88f46c436f41b2",
+      "git_blob": "e7dabcb174d5c86aadf3ae727f60623ca28f3bf4"
     },
     {
       "path": "REVIEWED_SECTION_3_b3fac79.md",
       "bytes": 3157,
       "sha256": "50daacbe7e244bc149dbf4568970d79f38a356daa1e88a850f2fc2d074db5b6c",
       "git_blob": "2fff7c277b43fa8e967ce9a8d70cf01a69e5eee4"
+    },
+    {
+      "path": "RESULTS_INSTALLED.json",
+      "bytes": 1708,
+      "sha256": "8c085f1772a8bd92f4bb1df2aadefc3f3809e5da2b5552e9f1209719451304e6",
+      "git_blob": "dba346ea742c50305f321fac9ac2063593e2f083"
     }
   ]
 }