diff --git a/research/session-receipt-20261022/README.md b/research/session-receipt-20261022/README.md
new file mode 100644
index 0000000000..03c669da6c
--- /dev/null
+++ b/research/session-receipt-20261022/README.md
@@ -0,0 +1,81 @@
+# Navigation receipt: pinterbanget's 37 PRs of 2026-10-22 (#4513–#4591)
+
+**Task:** overlap-receipt (consolidation). **Base:** canonical main `f626db5c`. **No new κ. No closures recommended.**
+
+This maps the 37 open PRs I opened in one donated session (03:03–11:03 UTC) up to 08:45 UTC. It gives each PR's subject, type and head, and the edges that matter when merging. Exact heads and packages are in `RECEIPT.json`. Every PR is a single-purpose `research/` addition, except the #4547 repair.
+
+## Merge-relevant edges
+
+- **Rank chain for #4535 (same κ).** #4563 (13× smaller frozen rank) → #4564 (outer slack `d = 10^−12`, 34×) → #4565 (retuned majorant, 85×). #4565's verifier reproduces #4563's and #4564's ranks as controls, and #4564 reproduces #4563's. If only one is wanted, #4565 carries all three numbers.
+- **#4568 (hexapode, κ = 0.00302016597)** builds on #4564. #4570 checks #4568's arithmetic and uses #4565's witness for a 6.9× smaller rank at #4568's κ.
+- **#4554 (Dugongue).** Every constructive component has an independent check: #4556, #4557, #4558, #4559, #4560, #4561, #4562 and #4566.
+- **#4567 and #4581 (mihir-s-05).** They agree exactly. #4581's all-length terminal profile sets equal #4567's length-≤6 sets in all 128 windows. #4567 additionally covers nonadjacent pairs, coefficients up to ±3 and retiming.
+- **#4532.** #4537 (finite figures) and #4569 (written proof, §1.1, §2.2–2.3, §3) are complementary. #4591 checks the #4483 Chernoff layer that #4532 inherits.
+
+## All PRs
+
+| PR | type | subject group | what |
+|---|---|---|---|
+| #4529 | check | #4483 adaptive-height compiler (zxv) | finite gates and arbitrary-height flow |
+| #4533 | extension | #4483 adaptive-height compiler (zxv) | sharper certified witnesses, same kappa |
+| #4551 | check | #4483 adaptive-height compiler (zxv) | of #4544's audit of #4483's cancellation step |
+| #4591 | check | #4483 adaptive-height compiler (zxv) | identity (2) and Chernoff bounds (7)-(9) on actual flows |
+| #4537 | check | #4532 critical-root theorem (Dillon) | finite figures |
+| #4569 | check | #4532 critical-root theorem (Dillon) | written proof of sections 1.1, 2.2-2.3, 3 |
+| #4536 | check | #4535 / #4568 conditional kappa (hexapode) | #4535 arithmetic |
+| #4563 | rank | #4535 / #4568 conditional kappa (hexapode) | 13x smaller frozen rank, same parameters |
+| #4564 | rank | #4535 / #4568 conditional kappa (hexapode) | outer slack d=1e-12, 34x smaller rank |
+| #4565 | rank | #4535 / #4568 conditional kappa (hexapode) | retuned majorant, 85x smaller rank; controls reproduce #4563/#4564 |
+| #4570 | check | #4535 / #4568 conditional kappa (hexapode) | #4568 arithmetic; 6.9x smaller rank with #4565 |
+| #4516 | check | #4470 p16 supplier (Cinna Davis) | controller replay |
+| #4567 | negative | #4470 p16 supplier (Cinna Davis) | local improvements closed: 128 windows, 88 nonadjacent, |c|<=3, retiming; agrees with #4581 |
+| #4539 | check | #4534 noncommuting controller (Dugongue) | free-algebra replay |
+| #4540 | extension | #4534 noncommuting controller (Dugongue) | all p <= 14 via support-injectivity lemma |
+| #4549 | extension | #4534 noncommuting controller (Dugongue) | all-p descending-support invariant |
+| #4556 | check | #4554 native Gaussian adapters (Dugongue) | banded inverse |
+| #4557 | check | #4554 native Gaussian adapters (Dugongue) | native FFT multiplier |
+| #4558 | check | #4554 native Gaussian adapters (Dugongue) | root seeds and recovery |
+| #4559 | check | #4554 native Gaussian adapters (Dugongue) | phase and exp tables |
+| #4560 | check | #4554 native Gaussian adapters (Dugongue) | Gaussian chirp blocks |
+| #4561 | check | #4554 native Gaussian adapters (Dugongue) | outer assembly and recount |
+| #4562 | check | #4554 native Gaussian adapters (Dugongue) | native stability lowering |
+| #4566 | check | #4554 native Gaussian adapters (Dugongue) | linear-program lowering |
+| #4552 | check | #4538 / #4541 Word RAM transfer (Dugongue) | #4541 parameters and macro steps |
+| #4553 | check | #4538 / #4541 Word RAM transfer (Dugongue) | #4541 packed IO codec |
+| #4555 | check | #4538 / #4541 Word RAM transfer (Dugongue) | #4538 cost theorems 1-4 |
+| #4513 | check | #4505 / #4510 / #4518 native splices and gauges (Dugongue) | #4505 adapter recount |
+| #4514 | check | #4505 / #4510 / #4518 native splices and gauges (Dugongue) | #4510 suffix bounds |
+| #4522 | check | #4505 / #4510 / #4518 native splices and gauges (Dugongue) | #4518 Levi gauges |
+| #4519 | check | #4507 / #4586 batch widths (mihir-s-05) | #4507 widths |
+| #4588 | check | #4507 / #4586 batch widths (mihir-s-05) | #4586 growth lemmas |
+| #4589 | check | Other independent checks | #4580 p3 H-branch budget (Matarener) |
+| #4590 | check | Other independent checks | #4583 union header (mihir-s-05) |
+| #4517 | extension | HALO chain | core-row operator lift answering #4515 |
+| #4550 | receipt | HALO chain | jwr404's 13-PR chain |
+| #4547 | repair | Repairs | portable replay of 21 earlier packages |
+
+## Verify
+
+```text
+python3 -B research/session-receipt-20261022/verify.py
+```
+
+The verifier checks internal consistency only:
+- full-SHA heads and distinct PRs;
+- distinct packages across PRs;
+- a fixed type vocabulary;
+- internal edges among listed PRs, pointing back in the rank chain;
+- the #4554 coverage set equal to its group.
+
+It makes no working-tree or network checks, so it replays after any of these PRs merges.
+
+## Limitations
+
+- This is navigation only. It does not re-review any listed PR's mathematics; each PR's own package does that.
+- Heads are recorded at 08:45 UTC. Later pushes to a PR supersede the recorded head, and PRs opened after that time are not listed.
+
+## Open next questions
+
+- None. Each listed PR records its own open questions.
+
+Prepared by Ryanson Jonathan with substantial Claude Code (Claude Opus 5.5) assistance.
diff --git a/research/session-receipt-20261022/RECEIPT.json b/research/session-receipt-20261022/RECEIPT.json
new file mode 100644
index 0000000000..e64ed0f4c4
--- /dev/null
+++ b/research/session-receipt-20261022/RECEIPT.json
@@ -0,0 +1,448 @@
+{
+ "schema": "session-receipt/1",
+ "author": "pinterbanget (Ryanson Jonathan)",
+ "window": "2026-10-22T03:03Z to 11:03Z",
+ "recorded_against_main": "f626db5c3a3d781d8f7695038776c621651f75e1",
+ "prs": [
+  {
+   "pr": 4529,
+   "head": "a1b836c56b4cd40cdad8ca84691e0e59e5d19a45",
+   "packages": [
+    "rank-convergence-gates"
+   ],
+   "group": "#4483 adaptive-height compiler (zxv)",
+   "type": "check",
+   "what": "finite gates and arbitrary-height flow"
+  },
+  {
+   "pr": 4533,
+   "head": "e9e9f244108ab4c21f0293cbfca9cfc3206e772a",
+   "packages": [
+    "adaptive-witness-retune"
+   ],
+   "group": "#4483 adaptive-height compiler (zxv)",
+   "type": "extension",
+   "what": "sharper certified witnesses, same kappa"
+  },
+  {
+   "pr": 4551,
+   "head": "3c5f6a8ba707371ff2def3d102592e932c560679",
+   "packages": [
+    "pr4544-cancellation-check"
+   ],
+   "group": "#4483 adaptive-height compiler (zxv)",
+   "type": "check",
+   "what": "of #4544's audit of #4483's cancellation step"
+  },
+  {
+   "pr": 4591,
+   "head": "2a60ff2c097624e493a6a88b18a713deada7e4c8",
+   "packages": [
+    "pr4483-chernoff-check"
+   ],
+   "group": "#4483 adaptive-height compiler (zxv)",
+   "type": "check",
+   "what": "identity (2) and Chernoff bounds (7)-(9) on actual flows"
+  },
+  {
+   "pr": 4537,
+   "head": "530a5b6d2ae7ee0a1eccc88975a170cf39b60b94",
+   "packages": [
+    "gate-existence-check"
+   ],
+   "group": "#4532 critical-root theorem (Dillon)",
+   "type": "check",
+   "what": "finite figures"
+  },
+  {
+   "pr": 4569,
+   "head": "c4607e578e09a7cc7fe60ee0b7685b941822135d",
+   "packages": [
+    "pr4532-proof-check"
+   ],
+   "group": "#4532 critical-root theorem (Dillon)",
+   "type": "check",
+   "what": "written proof of sections 1.1, 2.2-2.3, 3"
+  },
+  {
+   "pr": 4536,
+   "head": "4617b96cb4020dd6f36ccff3f0832381b62ba512",
+   "packages": [
+    "pr4535-arithmetic-check"
+   ],
+   "group": "#4535 / #4568 conditional kappa (hexapode)",
+   "type": "check",
+   "what": "#4535 arithmetic"
+  },
+  {
+   "pr": 4563,
+   "head": "7db8ee8d97d456f120cb534d8cf356a1b8b02ca8",
+   "packages": [
+    "pr4535-smaller-rank"
+   ],
+   "group": "#4535 / #4568 conditional kappa (hexapode)",
+   "type": "rank",
+   "what": "13x smaller frozen rank, same parameters"
+  },
+  {
+   "pr": 4564,
+   "head": "fbcc9d63446cd4fc8eade8fc29b149fb60fa79ce",
+   "packages": [
+    "pr4535-outer-slack-rank"
+   ],
+   "group": "#4535 / #4568 conditional kappa (hexapode)",
+   "type": "rank",
+   "what": "outer slack d=1e-12, 34x smaller rank"
+  },
+  {
+   "pr": 4565,
+   "head": "d6a9a75bf48b047927bc4103def6f821909bb835",
+   "packages": [
+    "pr4532-retuned-majorant"
+   ],
+   "group": "#4535 / #4568 conditional kappa (hexapode)",
+   "type": "rank",
+   "what": "retuned majorant, 85x smaller rank; controls reproduce #4563/#4564"
+  },
+  {
+   "pr": 4570,
+   "head": "b5e119c1760203f10a2c2245bd8a50fa47b7013a",
+   "packages": [
+    "pr4568-arithmetic-check"
+   ],
+   "group": "#4535 / #4568 conditional kappa (hexapode)",
+   "type": "check",
+   "what": "#4568 arithmetic; 6.9x smaller rank with #4565"
+  },
+  {
+   "pr": 4516,
+   "head": "0a63873be8bb6a6e1ee682f46fb48be97447b2db",
+   "packages": [
+    "pr4470-controller-replay"
+   ],
+   "group": "#4470 p16 supplier (Cinna Davis)",
+   "type": "check",
+   "what": "controller replay"
+  },
+  {
+   "pr": 4567,
+   "head": "f529a3acaad9729c98fb8bf73437a238ced1480c",
+   "packages": [
+    "pr4546-extended-ceilings"
+   ],
+   "group": "#4470 p16 supplier (Cinna Davis)",
+   "type": "negative",
+   "what": "local improvements closed: 128 windows, 88 nonadjacent, |c|<=3, retiming; agrees with #4581"
+  },
+  {
+   "pr": 4539,
+   "head": "84c19218bca3b2c963e98a545481f32d78e77b17",
+   "packages": [
+    "free-controller-replay"
+   ],
+   "group": "#4534 noncommuting controller (Dugongue)",
+   "type": "check",
+   "what": "free-algebra replay"
+  },
+  {
+   "pr": 4540,
+   "head": "ba4b1121ccabe3234e65c9325bf6a5b46ab34598",
+   "packages": [
+    "free-identity-allp"
+   ],
+   "group": "#4534 noncommuting controller (Dugongue)",
+   "type": "extension",
+   "what": "all p <= 14 via support-injectivity lemma"
+  },
+  {
+   "pr": 4549,
+   "head": "dd3a84d471ea337bab232f39fb9a2d408a6254a9",
+   "packages": [
+    "descending-invariant-allp"
+   ],
+   "group": "#4534 noncommuting controller (Dugongue)",
+   "type": "extension",
+   "what": "all-p descending-support invariant"
+  },
+  {
+   "pr": 4556,
+   "head": "5193f368a77a1533abcf8e8bafc97486f85fcb02",
+   "packages": [
+    "pr4554-banded-inverse-check"
+   ],
+   "group": "#4554 native Gaussian adapters (Dugongue)",
+   "type": "check",
+   "what": "banded inverse"
+  },
+  {
+   "pr": 4557,
+   "head": "ebc09ef98f107da49b78b450642fd00ca1a93a74",
+   "packages": [
+    "pr4554-native-fft-check"
+   ],
+   "group": "#4554 native Gaussian adapters (Dugongue)",
+   "type": "check",
+   "what": "native FFT multiplier"
+  },
+  {
+   "pr": 4558,
+   "head": "870b86cbd3840dfd0fcd1c8bdab96b699be54159",
+   "packages": [
+    "pr4554-roots-recovery-check"
+   ],
+   "group": "#4554 native Gaussian adapters (Dugongue)",
+   "type": "check",
+   "what": "root seeds and recovery"
+  },
+  {
+   "pr": 4559,
+   "head": "4ed34481357b2331be54da8b2661e38638658438",
+   "packages": [
+    "pr4554-native-tables-check"
+   ],
+   "group": "#4554 native Gaussian adapters (Dugongue)",
+   "type": "check",
+   "what": "phase and exp tables"
+  },
+  {
+   "pr": 4560,
+   "head": "4ee0d1ed4ffd202adb745c65835c89b5f6317bcf",
+   "packages": [
+    "pr4554-gaussian-chirp-check"
+   ],
+   "group": "#4554 native Gaussian adapters (Dugongue)",
+   "type": "check",
+   "what": "Gaussian chirp blocks"
+  },
+  {
+   "pr": 4561,
+   "head": "30ce22be2dd737791d40318bd90928042db40ee3",
+   "packages": [
+    "pr4554-outer-recount-check"
+   ],
+   "group": "#4554 native Gaussian adapters (Dugongue)",
+   "type": "check",
+   "what": "outer assembly and recount"
+  },
+  {
+   "pr": 4562,
+   "head": "754e8c6849a152b4a7531ee7f2e8d8cee2d69b5a",
+   "packages": [
+    "pr4554-native-stability-check"
+   ],
+   "group": "#4554 native Gaussian adapters (Dugongue)",
+   "type": "check",
+   "what": "native stability lowering"
+  },
+  {
+   "pr": 4566,
+   "head": "d1f2fa275dbd3388190e6ff30499b7ea90562575",
+   "packages": [
+    "pr4554-lowering-check"
+   ],
+   "group": "#4554 native Gaussian adapters (Dugongue)",
+   "type": "check",
+   "what": "linear-program lowering"
+  },
+  {
+   "pr": 4552,
+   "head": "a821e926e3d7eaeae8b12be974dc5083360f6494",
+   "packages": [
+    "pr4541-packed-transfer-check"
+   ],
+   "group": "#4538 / #4541 Word RAM transfer (Dugongue)",
+   "type": "check",
+   "what": "#4541 parameters and macro steps"
+  },
+  {
+   "pr": 4553,
+   "head": "cf88c6f65b668c3e848f8ac9f7818152cf7b9860",
+   "packages": [
+    "pr4541-packed-io-check"
+   ],
+   "group": "#4538 / #4541 Word RAM transfer (Dugongue)",
+   "type": "check",
+   "what": "#4541 packed IO codec"
+  },
+  {
+   "pr": 4555,
+   "head": "a73b063b6970ecb6730211508969b05b306f4f80",
+   "packages": [
+    "pr4538-cost-theorems-check"
+   ],
+   "group": "#4538 / #4541 Word RAM transfer (Dugongue)",
+   "type": "check",
+   "what": "#4538 cost theorems 1-4"
+  },
+  {
+   "pr": 4513,
+   "head": "eb80ed386cd3b6442d2cca012ea24c47768b5d7e",
+   "packages": [
+    "native-splice-recount"
+   ],
+   "group": "#4505 / #4510 / #4518 native splices and gauges (Dugongue)",
+   "type": "check",
+   "what": "#4505 adapter recount"
+  },
+  {
+   "pr": 4514,
+   "head": "c8c010c7392cd7c17a1c17a908c08bc11293c20a",
+   "packages": [
+    "suffix-error-recount"
+   ],
+   "group": "#4505 / #4510 / #4518 native splices and gauges (Dugongue)",
+   "type": "check",
+   "what": "#4510 suffix bounds"
+  },
+  {
+   "pr": 4522,
+   "head": "2b255adbf8fb8f4bac69fec5f24355f3af4ee3d4",
+   "packages": [
+    "levi-gauge-recount"
+   ],
+   "group": "#4505 / #4510 / #4518 native splices and gauges (Dugongue)",
+   "type": "check",
+   "what": "#4518 Levi gauges"
+  },
+  {
+   "pr": 4519,
+   "head": "915b94b890cde927fba98e02db32ae2864f6bf05",
+   "packages": [
+    "batch-width-recount"
+   ],
+   "group": "#4507 / #4586 batch widths (mihir-s-05)",
+   "type": "check",
+   "what": "#4507 widths"
+  },
+  {
+   "pr": 4588,
+   "head": "2f6578907b7f8718a13921552cc3069d3908e936",
+   "packages": [
+    "pr4586-width-growth-check"
+   ],
+   "group": "#4507 / #4586 batch widths (mihir-s-05)",
+   "type": "check",
+   "what": "#4586 growth lemmas"
+  },
+  {
+   "pr": 4589,
+   "head": "fd9f28beff7d03464d5a07cbdb00c38f431a1613",
+   "packages": [
+    "pr4580-budget-check"
+   ],
+   "group": "Other independent checks",
+   "type": "check",
+   "what": "#4580 p3 H-branch budget (Matarener)"
+  },
+  {
+   "pr": 4590,
+   "head": "e7538ae03738d903d1fb6bfde970573c31bda71b",
+   "packages": [
+    "pr4583-header-check"
+   ],
+   "group": "Other independent checks",
+   "type": "check",
+   "what": "#4583 union header (mihir-s-05)"
+  },
+  {
+   "pr": 4517,
+   "head": "2280cd7a4c8238232f641cc0249280dfcae6e8c7",
+   "packages": [
+    "core-row-operator-lift"
+   ],
+   "group": "HALO chain",
+   "type": "extension",
+   "what": "core-row operator lift answering #4515"
+  },
+  {
+   "pr": 4550,
+   "head": "a96f701475e6c5c73944a65e4bdc44b2ae2e7851",
+   "packages": [
+    "jwr-chain-receipt"
+   ],
+   "group": "HALO chain",
+   "type": "receipt",
+   "what": "jwr404's 13-PR chain"
+  },
+  {
+   "pr": 4547,
+   "head": "02920a630738c5b89f615cf859b40020f02c498f",
+   "packages": [
+    "column-cut-check",
+    "cross-rounding-check",
+    "delta-cross-cell-transfer",
+    "delta-halo-exponent-check",
+    "direct-flow-chain-receipt",
+    "eps-halo-exponent-check",
+    "gauge-column-check",
+    "halo-chain-receipt",
+    "p17-chain-receipt",
+    "pr4100-bit-moment-enclosure",
+    "pr4100-chirp-odometer-tariff",
+    "pr4100-crt-repair-tariff",
+    "pr4100-guard-coloring",
+    "pr4100-proof-composition-audit",
+    "pr4100-union-head-travel",
+    "pr4270-outer-exponent-check",
+    "pr4326-bit-root-check",
+    "pr4338-b2-chain-check",
+    "pr4470-arithmetic-check",
+    "stage-zero-forced-translation",
+    "three-base-census-recount"
+   ],
+   "group": "Repairs",
+   "type": "repair",
+   "what": "portable replay of 21 earlier packages"
+  }
+ ],
+ "edges": [
+  {
+   "from": 4565,
+   "to": 4563,
+   "kind": "controls reproduce"
+  },
+  {
+   "from": 4565,
+   "to": 4564,
+   "kind": "controls reproduce"
+  },
+  {
+   "from": 4564,
+   "to": 4563,
+   "kind": "controls reproduce"
+  },
+  {
+   "from": 4570,
+   "to": 4565,
+   "kind": "uses witness"
+  },
+  {
+   "from": 4569,
+   "to": 4565,
+   "kind": "also checks witness"
+  }
+ ],
+ "external_edges": [
+  {
+   "external": 4568,
+   "uses": 4564
+  },
+  {
+   "external": 4581,
+   "agrees_with": 4567
+  },
+  {
+   "external": 4554,
+   "covered_by": [
+    4556,
+    4557,
+    4558,
+    4559,
+    4560,
+    4561,
+    4562,
+    4566
+   ]
+  }
+ ]
+}
diff --git a/research/session-receipt-20261022/SOURCES.json b/research/session-receipt-20261022/SOURCES.json
new file mode 100644
index 0000000000..a2a5ea8bbd
--- /dev/null
+++ b/research/session-receipt-20261022/SOURCES.json
@@ -0,0 +1,18 @@
+{
+  "schema_version": 1,
+  "base_commit": "f626db5c3a3d781d8f7695038776c621651f75e1",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "ed33caef5c5827693e9572d252a66f99cbb73d40",
+      "sha256": "5732707cc1e460b090b53f2463162749ad860de878a18f7408938671d295a9d9"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "64bfc5af6709ed9811171e0a2108f05e1219cb65",
+      "sha256": "352a6184713b8843d96fd2c2071eb7aeaa655906b7c51d45ad444912666c8a96"
+    }
+  ]
+}
diff --git a/research/session-receipt-20261022/TASK.json b/research/session-receipt-20261022/TASK.json
new file mode 100644
index 0000000000..7294d473ae
--- /dev/null
+++ b/research/session-receipt-20261022/TASK.json
@@ -0,0 +1,60 @@
+{
+  "schema_version": 1,
+  "task_id": "overlap-receipt",
+  "priority_revision": 7,
+  "base_commit": "f626db5c3a3d781d8f7695038776c621651f75e1",
+  "original_card": {
+    "id": "overlap-receipt",
+    "question": "What exact content and credit of a small named PR set has already been retained?",
+    "starting_points": [
+      "docs/research/pr-ledger.md",
+      "CONTRIBUTORS.md"
+    ],
+    "methods": [
+      "Compare exact heads and retained artifacts to write a source-bound disposition receipt.",
+      "Audit an existing receipt for missing content or predecessor attribution."
+    ],
+    "acceptance_gate": "Separate complete integration, partial retention and changed heads; make no autonomous closures.",
+    "first_step": {
+      "command": [
+        "python3",
+        "-B",
+        "scripts/research_baseline.py"
+      ],
+      "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY",
+      "inspect": "Read one small PR set in the ledger and identify exact reviewed heads and unresolved content.",
+      "scope": "Positive control / source-bound orientation only; this is not a new construction or full cold replay."
+    },
+    "first_experiment": "Compare that set to retained artifacts; produce a complete or explicitly partial disposition receipt.",
+    "bottleneck_link": "Reliable overlap evidence preserves credit and prevents repeated review of already-retained material.",
+    "allowed_variations": [
+      "One small related PR family or one existing integration receipt."
+    ],
+    "scope_change_triggers": [
+      "Treating matching titles or one shared blob as proof of full incorporation."
+    ],
+    "overlap_terms": [
+      "overlap receipt",
+      "partial integration",
+      "attribution"
+    ]
+  },
+  "scope_status": "unchanged",
+  "actual_scope": "What exact content and credit of a small named PR set has already been retained?",
+  "scope_change_reason": null,
+  "bottleneck_link": "Consolidation: intake navigation over 37 open PRs, with the subsumption and coverage edges that matter for merging.",
+  "budget_minutes": 20,
+  "stop_rule": "Stop at the 37 PRs of this session.",
+  "outcome": "completed",
+  "evidence": "37 PRs recorded with heads, packages (57), subjects, types and merge-relevant edges; internal consistency verified.",
+  "author": "Ryanson Jonathan, with Claude Code (Claude Opus 5.5) assistance",
+  "ai_assistance": "Substantial Claude Code (Claude Opus 5.5) assistance; no independent human review.",
+  "open_questions": [
+    {
+      "question": "None; see each PR.",
+      "why_it_matters": "Navigation only.",
+      "first_step": "Maintainer intake.",
+      "blocked_by": "None."
+    }
+  ]
+}
diff --git a/research/session-receipt-20261022/VERIFY.json b/research/session-receipt-20261022/VERIFY.json
new file mode 100644
index 0000000000..e6a96d6692
--- /dev/null
+++ b/research/session-receipt-20261022/VERIFY.json
@@ -0,0 +1,18 @@
+{
+  "schema_version": 1,
+  "status": "ready",
+  "python": "3.12",
+  "requirements": [],
+  "inputs": [],
+  "commands": [
+    {
+      "argv": [
+        "{python}",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "timeout_seconds": 60,
+      "checks": "Navigation receipt consistency: 37 distinct PRs, full-SHA heads, distinct packages, type vocabulary, internal edges, #4554 coverage set."
+    }
+  ]
+}
diff --git a/research/session-receipt-20261022/verify.py b/research/session-receipt-20261022/verify.py
new file mode 100644
index 0000000000..6fd68b5467
--- /dev/null
+++ b/research/session-receipt-20261022/verify.py
@@ -0,0 +1,50 @@
+#!/usr/bin/env python3
+"""Navigation receipt for pinterbanget's 37 open PRs of 2026-10-22 (03:03-11:03 UTC), #4513-#4591.
+
+Checks internal consistency of the recorded facts only (no working-tree or network checks, so it replays after any
+of these PRs merges): every head is a full SHA, PR numbers are distinct, every PR has at least one research package
+and packages are distinct across PRs, types come from a fixed vocabulary, every internal edge joins listed PRs and the
+internal "controls reproduce" relation is acyclic, and the recorded #4554 coverage set is exactly the listed #4554 group.
+Ryanson Jonathan with Claude Code (Claude Opus 5.5) assistance. Apache-2.0.
+"""
+import json
+from pathlib import Path
+import re
+import sys
+
+HERE = Path(__file__).resolve().parent
+TYPES = {"check", "extension", "rank", "negative", "receipt", "repair"}
+
+
+def need(condition, message):
+    if not condition:
+        raise AssertionError(message)
+
+
+def main():
+    rec = json.loads((HERE / "RECEIPT.json").read_text(encoding="utf-8"))
+    rows = rec["prs"]
+    nums = [r["pr"] for r in rows]
+    need(len(rows) == 37 and len(set(nums)) == 37 and min(nums) == 4513 and max(nums) == 4591, "37 distinct PRs")
+    seen = set()
+    for r in rows:
+        need(re.fullmatch(r"[0-9a-f]{40}", r["head"]), f"#{r['pr']}: head")
+        need(r["packages"] and not (set(r["packages"]) & seen), f"#{r['pr']}: distinct packages")
+        seen |= set(r["packages"])
+        need(r["type"] in TYPES and r["group"] and r["what"], f"#{r['pr']}: type and description")
+    listed = set(nums)
+    for e in rec["edges"]:
+        need(e["from"] in listed and e["to"] in listed, "internal edge endpoints")
+    reproduce = {(e["from"], e["to"]) for e in rec["edges"] if e["kind"] == "controls reproduce"}
+    order = {4563: 0, 4564: 1, 4565: 2}
+    need(all(order[a] > order[b] for a, b in reproduce), "controls-reproduce edges point back in the rank chain")
+    cover = next(x["covered_by"] for x in rec["external_edges"] if x.get("external") == 4554)
+    group = sorted(r["pr"] for r in rows if r["group"].startswith("#4554"))
+    need(sorted(cover) == group, "#4554 coverage set equals its group")
+    counts = {t: sum(1 for r in rows if r["type"] == t) for t in sorted(TYPES)}
+    print(json.dumps({"status": "PASS_SESSION_RECEIPT", "prs": len(rows), "packages": len(seen), "types": counts,
+                      "groups": len({r["group"] for r in rows}), "new_kappa_claimed": False}, indent=1))
+
+
+if __name__ == "__main__":
+    sys.exit(main())