d6g8k5htny-coder · Sep 25, 2026 · Sep 25, 2026 · Sep 25, 2026 · Sep 25, 2026 · Sep 25, 2026
diff --git a/docs/DOWNSTREAM_RN_CROSSWALK_20260925.md b/docs/DOWNSTREAM_RN_CROSSWALK_20260925.md
@@ -0,0 +1,108 @@
+# Downstream closure crosswalk — historical RN route versus 2026-09-24 successors
+
+**Date:** 2026-09-25  
+**Disposition:** dependency classification only. This document changes no scientific
+Boolean, frozen object, register row, or historical theorem statement.
+
+**Placement:** `docs/DOWNSTREAM_RN_CROSSWALK_20260925.md`. It does **not** live under
+`docs/math_status/`. That packet directory is closed (`EXPECTED_NAMES`); an extra file
+there fails `tools/math_status_check.py` without discharging or promoting anything.
+This note is navigation and classification only. It also does **not** edit
+`docs/OPEN_PROBLEMS.md`, which is byte-pinned by `tools/twelve_project_check.py`.
+
+## Purpose
+
+The hardening branch still correctly records the historical D3-LEMMA-RN-UNIF route as
+OPEN: ENV-RESCOV → ALLCELL-FDZ-Q4 → LOGQ-TAIL → SYM-Fw-jet → CH-LIFT, with Piece-2,
+OBL-H5-JETMOD and FREEZE downstream. Historical objects `rnu_env.py`,
+`CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip`, and `allcell_fdz_enclosures.json` are recorded
+ABSENT. This crosswalk prevents newer author-side proofs from being mistaken for those
+absent carriers or, conversely, old route-specific walls from being silently treated as
+dependencies of every newer theorem.
+
+This page is the human D0 classification companion to the in-development Math-
+[downstream hard gate](https://github.com/d6g8k5htny-coder/Math-/pull/8)
+(`DOWNSTREAM-HARD-GATE-20260925-v1`, main [#86](https://github.com/d6g8k5htny-coder/main/issues/86) /
+[#90](https://github.com/d6g8k5htny-coder/main/issues/90)). Linking that draft has
+scientific effect NONE. As of Math- head `5887a2f8`, the gate still has a load-bearing
+own-node eligibility hole: dependency terminality alone can allow
+`AUTHOR_SIDE_CANDIDATE` → `controlling`. Do **not** read this crosswalk as evidence
+that Math- #8 already enforces every [#90](https://github.com/d6g8k5htny-coder/main/issues/90)
+semantic.
+
+## Classification rule
+
+A newer theorem can bypass a historical-route requirement only when its own statement
+and proof do not import that predicate. This does not set the old predicate TRUE.
+Distinguish historical-route requirements, mathematical interfaces rederived by a
+successor, and carrier/replay identities required only for the historical certificate.
+
+Terminal integrity labels used by the Math- gate (not theorem acceptance):
+`PROVED_REVIEWED`, `SUPERSEDED_NONBLOCKING`, `REFUTED`, `BLOCKED_ABSENT`. Green CI,
+hashes, same-author review, and navigation success are never mathematical discharge.
+
+## Crosswalk
+
+| Historical object / predicate | Math- gate node | Gate classification | Active reading |
+|---|---|---|---|
+| `rnu_env.py` | `hist.rnu_env.py` | `BLOCKED_ABSENT` | ABSENT; historical-route blocker only |
+| `CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip` | `hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip` | `BLOCKED_ABSENT` | ABSENT; historical-route blocker only |
+| `allcell_fdz_enclosures.json` | `hist.allcell_fdz_enclosures.json` | `BLOCKED_ABSENT` | ABSENT; historical-route blocker only |
+| ENV-RESCOV | `hist.ENV-RESCOV` | `OPEN_HISTORICAL` | OPEN for historical D3; rederived qualitatively where a newer route proves it |
+| ALLCELL-FDZ-Q4 | `hist.ALLCELL-FDZ-Q4` | `OPEN_HISTORICAL` | OPEN for historical D3; not a dependency of the fixed-remote theorem |
+| LOGQ-TAIL | `hist.LOGQ-TAIL` | `OPEN_HISTORICAL` | OPEN historically; replaced only inside named successors |
+| SYM-Fw-jet | `hist.SYM-Fw-jet` | `OPEN_HISTORICAL` | OPEN historically; analogous interface rederived where proved |
+| CH-LIFT | `hist.CH-LIFT` | `OPEN_ACTIVE` | OPEN and still mathematically relevant for shrinking charts |
+| Piece-2 annulus | `hist.Piece-2-annulus` | `OPEN_ACTIVE` | OPEN; active mathematical blocker for shrinking/pin-collision regions |
+| OBL-H5-JETMOD | `hist.OBL-H5-JETMOD` | `OPEN_HISTORICAL` | OPEN for historical/certificate route |
+| H5-ZBAND | _(not a separate gate node)_ | — | do not conflate with newer normalizer scopes; historical predicate unchanged |
+| H5-REMOTE-THRESHOLD | see D4/D5 region nodes | region inventory | partially bypassed on fixed-remote height/spatial region; shrinking/global complement OPEN |
+| `lemma_closed` | `hist.lemma_closed` | `FALSE` | no successor is an operator fold of D3 |
+| `certified_C_H` | _(register companion)_ | false | newer qualitative constants are not this certificate |
+
+## D4/D5 region complement (from the Math- gate)
+
+| Region | Gate node | Classification |
+|---|---|---|
+| Fixed-remote covered set | `math.rn-region.fixed-remote` | `COVERED_BY_CANDIDATE` |
+| Mesoscopic scaled annulus | `math.rn-region.mesoscopic-scaled-annulus` | `OPEN_ACTIVE` |
+| Pin-collision | `math.rn-region.pin-collision` | `OPEN_ACTIVE` |
+| Intermediate r≪\|x\|≪ρ | `math.rn-region.intermediate-r-to-rho` | `OPEN_ACTIVE` |
+| Witness collision | `math.rn-region.witness-collision` | `OPEN_ACTIVE` |
+
+## Current active proof chain
+
+1. UNIFORM-MATRIX-CAP-LIFETIME-20260924-v1 / main [#63](https://github.com/d6g8k5htny-coder/main/issues/63) / gate `math.uniform-matrix-cap-lifetime`: compact-mark global elder defect O(r³), unrestricted leading finite-bar density, full normalizer and marked Kac–Rice interfaces.
+2. LIFETIME-BOUNDED-REMAINDER-20260924-v1 / main [#67](https://github.com/d6g8k5htny-coder/main/issues/67) / gate `math.lifetime-remainder`: unrestricted cell^(-1/3)+O(1) candidate and bounded nonselected density, importing named #63 interfaces.
+3. RN-FIXED-REMOTE-WINDOW-20260924-v1 / main [#76](https://github.com/d6g8k5htny-coder/main/issues/76) / gate `math.rn-fixed-remote-window`: actual three-determinant O(r⁵) numerator and O(r³) expected count for the between-pin height window at fixed positive spatial distance.
+4. RN-MESOSCOPIC-ANNULUS-REDUCTION-20260925-v1 / [Math- PR #7](https://github.com/d6g8k5htny-coder/Math-/pull/7) (open draft) / gate `math.rn-mesoscopic-reduction`: reduction for x = r y on fixed scaled annuli; exact divided-difference determinant ledger still open.
+
+None is a replacement carrier for the historical ABSENT files. None flips
+`lemma_closed` away from false. Reading this page does not discharge
+`OBL-H5-JETMOD` or `D3-LEMMA-RN-UNIF`. The Math- hard-gate draft is intended to
+refuse CONTROLLING promotion while required dependencies stay non-terminal, but
+until its own-node eligibility repair lands it must not be cited as a complete
+[#90](https://github.com/d6g8k5htny-coder/main/issues/90) enforcer.
+
+## Downstream consequence
+
+If the goal is to reproduce/promote the historical D1/D3 certificate exactly, the
+ABSENT carriers and ordered walls remain blockers. If the goal is a new theorem by the
+2026-09-24 analytic route, those carrier identities are not dependencies unless
+explicitly imported; the live blockers are the named analytic-review interfaces plus
+shrinking-annulus/collision complement. A future operator may formally retire the
+historical route as superseded only through the applicable register/fold mechanism.
+This crosswalk does not perform that governance action.
+
+## Related reading
+
+- [RN status (historical route walls)](math_status/STATUS_RN_UNIF.md)
+- [Math status packet](math_status/README.md) — OPEN/HOLD; closed directory
+- [Open problems §A5](OPEN_PROBLEMS.md) (pinned; do not rewrite for navigation)
+- [Research index — RN counting](RESEARCH_INDEX.md)
+- Fixed-remote proof: [Math- remote_window PROOF](https://github.com/d6g8k5htny-coder/Math-/blob/main/frontiers/remote_window_20260924/PROOF.md)
+- Mesoscopic draft: [Math- PR #7](https://github.com/d6g8k5htny-coder/Math-/pull/7)
+- In-development D0–D7 hard gate (eligibility repair still open): [Math- PR #8](https://github.com/d6g8k5htny-coder/Math-/pull/8)
+- Math- #8 eligibility repair handoff (main cannot push Math-): [MATH_PR8_ELIGIBILITY_HANDOFF_20260925.md](MATH_PR8_ELIGIBILITY_HANDOFF_20260925.md)
+- Mesoscopic reduction challenge (not R17): [RN_MESOSCOPIC_REDUCTION_CHALLENGE_20260925.md](RN_MESOSCOPIC_REDUCTION_CHALLENGE_20260925.md)
+- Owner surfaces: [#86](https://github.com/d6g8k5htny-coder/main/issues/86), [#90](https://github.com/d6g8k5htny-coder/main/issues/90)
diff --git a/docs/MATH_PR8_ELIGIBILITY_HANDOFF_20260925.md b/docs/MATH_PR8_ELIGIBILITY_HANDOFF_20260925.md
@@ -0,0 +1,70 @@
+# Math- PR #8 own-node eligibility handoff
+
+**Object:** MATH-PR8-OWN-NODE-ELIGIBILITY-20260925-v1  
+**Against:** Math- head `5887a2f8aaf121760362e6e90f9974f1e0078bc5`  
+**Author:** Cursor (main write). **Scientific effect: NONE.**
+
+## Diagnosis
+
+[Math- PR #8](https://github.com/d6g8k5htny-coder/Math-/pull/8) implements the
+[#90](https://github.com/d6g8k5htny-coder/main/issues/90) / [#86](https://github.com/d6g8k5htny-coder/main/issues/86)
+downstream hard gate, but at head `5887a2f8` dependency terminality alone can
+still allow an `AUTHOR_SIDE_CANDIDATE` node to become `controlling`. That fails
+the own-node eligibility reading of #90: only a positive reviewed disposition
+(`PROVED_REVIEWED`) may become controlling, and terminal dependencies remain
+separately necessary.
+
+## Exact fix (ready to apply on Math-)
+
+Portable patch: [`patches/math_pr8_own_node_eligibility.patch`](patches/math_pr8_own_node_eligibility.patch)
+
+SHA-256 `1648237df8525276b17704d12a934cc97c12b1f1184af671ee894b65d60816f1` (8156 bytes).
+
+Applies on top of Math- `5887a2f8`:
+
+1. Add `CONTROLLING_ELIGIBLE = {PROVED_REVIEWED}` and enforce it in
+   `promotion_allowed()`.
+2. Replace fail-open `test_promote_after_all_terminal_deps` with:
+   - `test_author_side_with_terminal_deps_cannot_become_controlling` (negative)
+   - `test_proved_reviewed_with_terminal_deps_may_become_controlling` (positive)
+3. Add mutant `bypass_own_node_eligibility`; raise `EXPECTED_TESTS` to 28.
+4. Refresh `RESULTS.json` / `SOURCE_FILES.json` hashes after the gate change.
+
+Local verification (recorded in
+[`patches/math_pr8_eligibility_fix_REPORT.json`](patches/math_pr8_eligibility_fix_REPORT.json)):
+
+```text
+28 tests, 8 distinct semantic mutations, modes normal+optimized → passed
+```
+
+## Why this is filed on main
+
+Cursor Cloud Agent can write `main` but received **403 pushing to
+`d6g8k5htny-coder/Math-`** (`Permission denied to cursor[bot]`). The repair was
+prepared and locally verified in a Math- worktree; it could not be published on
+that forge tip from this session. This note + patch are the source-bound
+eligibility recipe for an agent/owner with Math- write access (or for merging
+into Math- #8).
+
+## Apply recipe
+
+```sh
+git clone --filter=blob:none https://github.com/d6g8k5htny-coder/Math-.git
+cd Math-
+git checkout 5887a2f8
+git apply /path/to/main/docs/patches/math_pr8_own_node_eligibility.patch
+python -B -S frontiers/downstream_gate_20260925/hard_gate.py
+python -B -S -m unittest discover -s frontiers/downstream_gate_20260925 -p 'test_*.py' -v
+python -B -S frontiers/downstream_gate_20260925/run_validation.py --output /tmp/downstream-gate-eligibility
+```
+
+Then push to the Math- #8 branch (or open a successor PR) from a credential that
+can write Math-.
+
+## Non-claims
+
+- Does not merge Math- #8 or main [#92](https://github.com/d6g8k5htny-coder/main/pull/92).
+- Does not flip any scientific Boolean; `lemma_closed` stays false.
+- Does not edit Math- PR #7 or award R17 independence credit.
+- Does not touch the #91 Drive vault.
+- Installing the patch does not promote mathematics; it only closes an integrity hole.
diff --git a/docs/NAVIGATION.json b/docs/NAVIGATION.json
@@ -12,7 +12,10 @@
     "docs/RESEARCH_EXECUTION.md",
     "docs/RN_SIDE24.md",
     "docs/RN_SIDE24_DENSITY.md",
-    "docs/RN_SIDE24_CELL.md"
+    "docs/RN_SIDE24_CELL.md",
+    "docs/DOWNSTREAM_RN_CROSSWALK_20260925.md",
+    "docs/RN_MESOSCOPIC_REDUCTION_CHALLENGE_20260925.md",
+    "docs/MATH_PR8_ELIGIBILITY_HANDOFF_20260925.md"
   ],
   "public_targets": [
     {

diff --git a/docs/RESEARCH_INDEX.md b/docs/RESEARCH_INDEX.md
@@ -41,7 +41,15 @@ discharge [D3-LEMMA-RN-UNIF](math_status/STATUS_RN_UNIF.md).
 On this branch, use [RN status as written](math_status/STATUS_RN_UNIF.md) and
 the [execution guide](RESEARCH_EXECUTION.md). Absent source objects, cell
 coverage, and 24-jet requirements stay open. Do not apply a local support
-inclusion to an arbitrary remote region. Do not invent a 24-jet roster.
+inclusion to an arbitrary remote region. Do not invent a 24-jet roster. The
+[downstream RN crosswalk](DOWNSTREAM_RN_CROSSWALK_20260925.md) separates those
+historical-route walls from newer fixed-remote / mesoscopic analytic work without
+retiring the historical route or flipping `lemma_closed`. Its D0 rows map to the
+in-development Math- [hard gate](https://github.com/d6g8k5htny-coder/Math-/pull/8)
+node IDs (`BLOCKED_ABSENT` / `OPEN_HISTORICAL` / `OPEN_ACTIVE`). Linking that draft
+has scientific effect NONE and does not claim the gate already enforces every
+[#90](https://github.com/d6g8k5htny-coder/main/issues/90) semantic (own-node
+eligibility repair still open on Math- #8).
 
 ## P15 combinatorics
 
@@ -67,6 +75,8 @@ proof that nothing outside that budget exists.
 | Coefficient audit | Cone truncation, image/normalization comparison, and outward arithmetic | [#65](https://github.com/d6g8k5htny-coder/main/issues/65) |
 | RN and 24-jet route | The count-weighted integral on its declared region, and the missing numerical enclosures | [RN status](math_status/STATUS_RN_UNIF.md), [execution](RESEARCH_EXECUTION.md) |
 | Local obligations | `OBL-H5-JETMOD` and `D3-LEMMA-RN-UNIF` stay OPEN | [math status](math_status/STATUS.md), [JETMOD status](math_status/STATUS_JETMOD.md) |
+| Downstream integrity gate | In-development CONTROLLING/fail-closed draft; own-node eligibility repair still open; scientific effect NONE | [Math- #8](https://github.com/d6g8k5htny-coder/Math-/pull/8), [eligibility handoff](MATH_PR8_ELIGIBILITY_HANDOFF_20260925.md), [#90](https://github.com/d6g8k5htny-coder/main/issues/90) |
+| RN mesoscopic reduction | Challenge note isolates missing `J_0` / `det S_r` ledger; not an R17 pass | [challenge](RN_MESOSCOPIC_REDUCTION_CHALLENGE_20260925.md), [Math- #7](https://github.com/d6g8k5htny-coder/Math-/pull/7) |
 | P15 scope | Audit the realized family and the restricted price theorem | [#59](https://github.com/d6g8k5htny-coder/main/issues/59), [#67](https://github.com/d6g8k5htny-coder/main/issues/67) |
 
 These are existing targets. [Campaign #61](https://github.com/d6g8k5htny-coder/main/issues/61)