diff --git a/research/r437-root-step-handoff/README.md b/research/r437-root-step-handoff/README.md
new file mode 100644
index 0000000000..cf42194bc1
--- /dev/null
+++ b/research/r437-root-step-handoff/README.md
@@ -0,0 +1,256 @@
+# R437 original-root STEP / capsule correspondence
+
+**Conditional metadata certificate; no new κ, supplier admission or physical cost
+claim.** Prepared by **codyw912**, with substantial **OpenAI Codex (GPT-6 Astra)**
+assistance. Apache-2.0; inherited sources and attribution remain unchanged.
+
+## Claim and evidence boundary
+
+For carrier **D**, derive the early **SOURCE87 MOVE**, stage **0**, replica **0**
+from the actual topology, use its **common** preparation matrix, and select its
+inverse modulo the named prime `q = 2^127-1` as the good GL64 low class. At the
+conditional metadata cut with original root
+
+```
+e = n = 2048, h = 0, w = 2, L = 255, I = 13,
+Q = the actual fresh catalogue code width, modulus = q^2, root unit = 1,
+B = 2, G = 3, S = 5,
+```
+
+an actual emitted GOOD residual block gives a child of width **64**, stored
+history **1**. The literal `child_program → Callback → children.extend` produces
+exactly one STEP `(GOOD, actual code, rank 2, field 0, reverse 0, half 0,
+parent 2048, child 64)` while retaining original-root size and unit. The literal
+`Machine.prepare_child` copies exactly its eight capsule ports, with unchanged
+modulus and event width/depth grants. Its rows port receives **unused**, not
+`leading = unused*B`.
+
+This is a source-bound conditional implication, **not a proof that payload
+execution reaches that cut**. The harness does not construct the giant root
+payload or directory. It starts with a genuine root-only Program (zero STEPs),
+not a descendant `Program.fixture` history. The event comes from the literal
+`residual_blocks.events`, not an invented event namespace. The parent Program
+object identity is checked separately from byte equality. The successor's
+serialized width/depth are checked independently against the emitted event and
+copied grants: the retained `prepare_child` itself does not check this equality.
+
+The implementer performed no research executions. The parent subsequently ran
+the explicit receipt-writing command successfully (exit 0, 44.086 seconds
+including environment setup), then both registered normal and optimized replays
+successfully (exit 0, 88.544 seconds combined including environment setup), on
+Python **3.12.13**, Linux **x86_64**. Both emitted
+`PASS_R437_CONDITIONAL_ROOT_STEP_HANDOFF`; the package runner emitted
+`PASS_REGISTERED_RESEARCH_PACKAGE` with outcome `completed`. `TASK.json` contains
+the actually observed receipt; default replay compares it without rewriting it.
+An independent read-only **AI code review** reported PASS with no blockers.
+These are local execution and static-review results, not hosted CI, human review,
+formal verification or verification of the full multiplication theorem.
+
+No public Discussion claim was posted. Upstream PR creation requires operator
+approval; publication status is reported in the handoff.
+Parent refreshed overlap at **2026-10-22 16:48Z**: 469 open PRs, 3624 discussion
+records and 5864 local notes (5860 tracked, complete; four from this work).
+Coverage excludes code diffs, closed remote PRs and unpublished work. Canonical
+main remained the pinned base, and #4685's cited head remained unchanged.
+
+## Source closure and historical context
+
+Base: `b58ad9ef4d4e861b0eaa5dba41742bdc072dca51`.
+[SOURCES.json](SOURCES.json) pins 191 source/provenance files by Git object and
+SHA-256. All 188 live inputs are declared in [VERIFY.json](VERIFY.json); every
+mapped temporary pathname is explicit. Package-local verifier changes are inputs
+to replay automatically. Its own SHA-256 is emitted as the adapter identity.
+
+The current selected record is pinned **as historical orientation at this base**:
+**#4470, 60403/20000000**. It is not the runtime's historical selection. Parent
+observed that importing the old carrier runtime directly against current selection
+fails `unrecognized complete selected record`; this package does not suppress or
+repeat that failure.
+
+Instead, authenticate `r437-preparation-composition/POOLED-SOURCES.json` against
+`PREDECESSORS.json`, authenticate its exact **154-file** vendor inventory
+(including exact directories and rejecting symlinks), and copy it to an isolated
+repository-shaped temporary directory. Its selected record has SHA-256
+`bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129`, already accepted
+by the unchanged archived loader. Add the pinned current carrier
+`compiler.py`, `admission.py`, `numerical.py`, carrier candidate/chunks, and pooled
+`SOURCES.json` plus **all nine retained inputs**, including `check_transport.py`.
+Overlapping mappings must be byte-identical. A fresh subprocess imports compiler
+from its normal position: `ROOT` resolves naturally inside the temporary tree.
+No loader authentication, selected-source guard or frozen/live input is changed.
+The unrelated preparation package's rank-14 fixture is never executed.
+
+## Executed versus adapted versus unexecuted
+
+| Boundary | What the verifier actually requests |
+|---|---|
+| Source construction | Retained `admission.load_certified("D")`, exact named Lucas–Lehmer certificate and fresh-source authentication. Its already-existing named-prime guard adapter is retained, not silently bypassed. |
+| Common low class | Invert the **actual common preparation** modulo q, check inverse product equals identity, encode/decode it with the exact ordinal adapter below, resolve actual Specifications and rank-two good plan. Native identity is not substituted. |
+| Regional compiler | Execute **unchanged AST** of nested `macro_code.compile_node.residual`, from a fully authenticated module. Run actual `LocalState.accept` through the selected source position and require its MOVE request equals topology lookup. Execute actual `SelectedBinding.residual` and `Cursor.take`. Record source hash, function line range and operations. This is not execution of the complete enclosing compiler or `admitted_compile_node`. |
+| Parent and child Program | Literal root record, with no invented ancestor history; actual Callback validation and literal child constructor. Independent parser uses tag/word grammar directly, not `Program.root/step`. |
+| Event | Literal GOOD block from the nested emitter; literal `residual_blocks.events` / `trace.child`, with original encoded geometry and parent identity. |
+| Handoff | Literal `Machine.prepare_child`, literal `read_prefix`, literal eight-port `append_tape`, and literal numerical grant copies. Allocate a metadata-only Machine without its infeasible `q^2+128` scratch pool. |
+| Rows/counts | **Symbolic count transport**, not binary `Count` arithmetic. A port carries a versioned JSON monomial encoded as bits. Exact symbolic quotient and local divisibility are checked independently. The numeric row payload is not allocated. |
+| Spectators | Original `Layout.__init__` and `child_extents` code objects and all geometry guards, with a private globals dictionary replacing only Count products, positivity and atom-power arithmetic by exact symbolic operations. No production module is modified. |
+| Directory | One actual serialized zero-high prefix: an independently justified member of the producer's domain. It is **not** the output of `directory.produce`. Symbolic prefix count is `q^4096`; the one-prefix metadata tape does not physically realize that multiplicity. |
+| Source port | Empty metadata-boundary tape copied literally. It represents no executed payload and is not asserted consistent with the symbolic counts. |
+| Omitted | `Machine.node/block/call/run`, complete high-field production, preceding routes, forward/payload/backward sweeps, child execution/return, physical row arithmetic, cost tariffs and supplier admission. |
+
+The retained dispatch source `macro_machine.py:253-282` calls `prepare_child`
+only for an `enter` event whose width is at least 64. The verifier checks that
+predicate on the actual event; it does **not** claim to execute `Machine.block`.
+A separate actual emitted width-two event is rejected as a recursive handoff.
+
+## Exact arithmetic and edge proof
+
+Let
+
+```
+N = product(q^64-q^i, i=0..63), H = q^4096,
+A = 28416*N*H,
+D(n) = 0 if n<64, otherwise 1+D(42*floor(n/64)).
+```
+
+The executed `numerical.check_root_domain` checks the exact original-root
+precision inequality `(w-1)^10000 < e^17 <= w^10000`, chronological bound and
+canonical L/I/Q. Prime and source admission are checked independently. No call
+to `checked_entry` is claimed: that wrapper requires a concrete integer stock.
+
+Choose the retained conservative root contract `R=(9475*A)^D(2048)`. The supplied
+symbolic `U=9475^D*A^(D-1)` satisfies **exactly** `U*A=R` and is divisible by 9475.
+This authenticates the conditional `unused` premise; `prepare_child` does not
+compute it and `SelectedBinding.check_stock` does not supply a proof of it.
+The local row divisor comes from retained `fresh_rows.quotient`; no source guard
+is weakened. Monomials `[c,a,b]` denote `c*A^a*q^b`; matching exponent/coefficient
+identities are sufficient exact equalities, not a claimed globally unique integer
+factorization.
+
+**Nick Petalas's already-main #3246** establishes the sharper sufficient stock
+`9475*A^D`. That theorem is **not new here**. The verifier keeps it separate from
+the stronger old-entry divisor: at this depth its coefficient lacks the old
+`9475^D` divisor. It does not claim that old `checked_entry` admits sharper rows.
+This package instead answers the actual Program/capsule question requested by
+**Mihir Srivastava's #4685 / #4682 arithmetic handoff**.
+
+Since `floor(2048/64)=32`, the actual good event has
+
+```
+a = 0, b = (2*64-2)*32 = 4032, c = 2*32 = 64, total = 4096.
+```
+
+There is no embedding remainder. The two selected chunks are `[0,64)` and
+`[4032,4096)`. Their complete spectators are
+
+```
+B' = 2, G' = 3*(q^2)^3968 = 3*q^7936, S' = 5.
+```
+
+All 3968 unselected atoms and the external gap appear exactly once, and
+`B'*G'*S'*(q^2)^(2*64) = 30*(q^2)^(2*2048)`. U remains a separate factor.
+With B=2, confusing `leading=2*U` and `unused=U` is observable. Doubling U remains
+locally divisible but fails **exact parent/child quotient equality**.
+
+### Bounded codec ordinal-count adapter
+
+The original GL codec enumerates `range(value)` while ranking and `range(q)`
+while unranking. Common preparation inverse entries may be `q-1`, so literal
+q127 enumeration is not feasible. Only these candidate-count loops are replaced;
+original `Constraints`, source tags, matrix/range guards, encode/decode and outer
+mixed-radix rank/unrank are retained. This is **harness count arithmetic**, not a
+claim that the original implementation runs at q127. Its identity is the emitted
+package `verify.py` hash, distinct from the unchanged catalogue identity (which
+hashes original file bytes). Exact codec results are memoized; authentication is
+not cached or bypassed by the harness.
+
+For one column let `T=q^(dimension-column-1)`, and let C(t) count admissible
+candidates with value `<t`. Summing the original `Constraints.excluded` gives:
+
+* already inconsistent: `C(t)=t*T`;
+* pivot exists: `C(t)=t*(T-q^(len(rows)-len(basis)-1))`;
+* no pivot: `C(t)=t*T - [rhs<t]*q^(len(rows)-len(basis))`.
+
+Rank adds C(value) and calls the unchanged `choose`. Unrank finds the first
+endpoint `t` with `C(t)>ordinal`, chooses `t-1`, and subtracts C(t-1). The strict
+upper bound skips zero-count plateaus. Each step checks `0<=ordinal<C(q)`;
+final rank-zero/independence guards are preserved. Thus induction over columns
+and unchanged mixed radices gives the same GL ordinal, not a new codebook.
+Permanent finite-q comparisons enumerate every independent row prefix in
+GL2(3), every candidate next row and every ordinal, including dependent rows,
+invalid endpoints and zero-count plateaus. The actual q127 low matrix also
+round-trips through encode/decode. These tests support, not replace, the formula
+proof.
+
+## Permanent rejection controls
+
+* Valid other replica with original request key; native/common mismatch; stale
+  source identity; foreign Specifications catalogue.
+* Equal-byte but distinct parent Program object, changed event source,
+  width or depth; below-cutoff false recursion from an actual emitted event.
+* Serialized rank, source code, parent/child width, field, root size, root unit
+  and history changes, including the predecessor-shaped `64→2` confusion.
+* Child-reset precision, root-index reset and changed root prime/domain.
+* Doubled child rows; leading substituted for unused with B>1.
+* Missing/doubled external gap, omitted unselected atoms, lost before or suffix.
+* Exact source SHA/Git bindings, mapped closure conflicts, links and extra/missing
+  historical inventory fail closed before imports. Receipt comparison cannot
+  authorize a mathematically rejected edge.
+
+## Reproduce
+
+Python 3.12 standard library only, no new environment files. From repository root:
+
+```sh
+# One explicit maintainer/parent action after inspecting this source:
+python3.12 -I -B research/r437-root-step-handoff/verify.py --write
+# Ordinary registered commands are read-only and compare that receipt:
+python3.12 -I -B research/r437-root-step-handoff/verify.py
+python3.12 -I -O -B research/r437-root-step-handoff/verify.py
+# Generic package integration, after the receipt is committed:
+python3.12 scripts/research_package.py --package research/r437-root-step-handoff
+```
+
+Each registered command is capped at 600 seconds (worker deadline 580 seconds),
+total 1200 seconds. Stdout is deterministic JSON followed by
+`PASS_R437_CONDITIONAL_ROOT_STEP_HANDOFF`. Default replay writes no committed
+files; `--write` stores the actually observed receipt inside TASK.json to keep
+this a five-file package. A timeout/failure is not evidence of success.
+
+The parent executed the `--write` command above and the generic package runner;
+the runner executed both listed normal/optimized commands. Its local replay log
+is `/tmp/imb-astra-carrier-registered.log` (not a committed input or portable
+artifact). The recorded timings are observations, not guaranteed runtime bounds.
+
+## Open next questions
+
+1. **Actual whole-packet producer invariant.** This would turn a conditional cut
+   into a root-reachability result. First connect complete raw-prefix production,
+   preceding routed payload operations and the unused row quotient to this exact
+   SOURCE87 cut. Blocker: the numerical directory/payload is not materialized;
+   symbolic metadata alone is insufficient.
+2. **Separately named sharper-stock entry.** Useful for applying #3246 without
+   silently changing retained admission. First specify a new source-bound root
+   certificate and prove every old local guard. Blocker: old checked_entry's
+   stronger divisor remains unchanged and is not executed here.
+
+The same questions, relevance, first steps and blockers appear in TASK.json.
+
+## Predecessors and attribution
+
+* [Nick Petalas, #3246](https://github.com/CrocSwap/integer-mult-bounds/pull/3246):
+  already-main one-factor stock theorem; `selected-runtime-guard-stock`.
+* [Mihir Srivastava, #4685](https://github.com/CrocSwap/integer-mult-bounds/pull/4685),
+  head `ca336bd72aff54e025a8ddbb1f3c8b756d9b9631`, and
+  [handoff #4682](https://github.com/CrocSwap/integer-mult-bounds/discussions/4682):
+  arithmetic descendant certificate and Program/row boundary request. Citation
+  only, no pending-head runtime dependency.
+* Chris R / Clear1nsight, #4067/#4176 and preparation composition: paid carrier,
+  compiler, numerical admission, historical closure and physical bridge.
+* unpaidmoon, #4147: reverse-row coefficient retained, not rederived.
+* Jose Manuel / jmbarrancoml, #2809; David Arias, #2753: physical/logical callers.
+* Ross Richardson, #2420: stronger dual-format stock distinction;
+  commdata2338, #3223: NODE/peel/row-return refinement.
+* Tekalign: complete spectator geometry; Rohan Arun: pooling;
+  ai-nanachi: R437/OQ4; ywz65 and inherited source/hosting lineage.
+
+The carrier's added ADDs and helper obligations remain charged by predecessor
+contracts; this package reports no paid/scalar saving or change to those costs.
diff --git a/research/r437-root-step-handoff/SOURCES.json b/research/r437-root-step-handoff/SOURCES.json
new file mode 100644
index 0000000000..b120fe49c0
--- /dev/null
+++ b/research/r437-root-step-handoff/SOURCES.json
@@ -0,0 +1,1338 @@
+{
+  "schema_version": 1,
+  "base_commit": "b58ad9ef4d4e861b0eaa5dba41742bdc072dca51",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "c35482cd9035843b15a634cc8276a7e1e40e8395",
+      "sha256": "6fe0a099b89aa2aed796a13c3a21dafc63f3388ebf397464e44e0451893b9375"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602",
+      "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72"
+    },
+    {
+      "path": "research/r437-carrier-integration/admission.py",
+      "usage": "input",
+      "mapped_path": "research/r437-carrier-integration/admission.py",
+      "git_blob": "3e7586146545ca80891c11cb8b5a34f47b0ba607",
+      "sha256": "d34f0166a936decc4de0cc07ab4f8ca8dac6ac03f83b74b85a851098c01f3eae"
+    },
+    {
+      "path": "research/r437-carrier-integration/compiler.py",
+      "usage": "input",
+      "mapped_path": "research/r437-carrier-integration/compiler.py",
+      "git_blob": "345a84013327224c5c2c96232811b59262efcfe1",
+      "sha256": "df86b31a80e1827dc20a3a34f20305b4b9cbd3582e3d26b8a05ac90e346177fb"
+    },
+    {
+      "path": "research/r437-carrier-integration/numerical.py",
+      "usage": "input",
+      "mapped_path": "research/r437-carrier-integration/numerical.py",
+      "git_blob": "d3411758be96f22f8d64e02ba278dc46b21639c5",
+      "sha256": "83f2b60a90ab2d0354c5c84f48af246ab416605c3ae4bd62368bbe5f23bb53bb"
+    },
+    {
+      "path": "research/r437-pooled-native-interface/SOURCES.json",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/SOURCES.json",
+      "git_blob": "d0987e871ac318a208bed473540ace42cbd9eaf5",
+      "sha256": "219bcca3f47aa555cc7c9e126ccbee3509fe7e4fe29b4968b4357ae9c1f0a006"
+    },
+    {
+      "path": "research/r437-pooled-native-interface/adapter.py",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/adapter.py",
+      "git_blob": "276a9a0f436ba03e2a0bb1cd95d57ebc3cc3a290",
+      "sha256": "c1c054e5a2c650cfc267117b32896073e6735b93c5fbfb1defe6e379c4afab9e"
+    },
+    {
+      "path": "research/r437-pooled-native-interface/check_transport.py",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/check_transport.py",
+      "git_blob": "5bd3c8a38aed9df3b0d4404d382268aee02dfcb3",
+      "sha256": "c1351777d8886754a172ed3f6e90586be5c664a93b66eda5e87fa9580f104ab7"
+    },
+    {
+      "path": "research/r437-pooled-native-interface/inputs/EXPECTED.json",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/inputs/EXPECTED.json",
+      "git_blob": "bc2585e1404402395a7c59ba6f6dde58b04e65a2",
+      "sha256": "67d06bcb90d2307a11975d6b25107a695be477f168f2dc289b8484ba0b7e2de0"
+    },
+    {
+      "path": "research/r437-pooled-native-interface/inputs/catalogue.py",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/inputs/catalogue.py",
+      "git_blob": "0efc0575a7623ac41c094d2e8772beda5a9fdc29",
+      "sha256": "83ea88f82d4a83c5f889774bfe3519b7ebaa24b6a0e2a969dafff012107a89bf"
+    },
+    {
+      "path": "research/r437-pooled-native-interface/inputs/geometry.json.gz",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/inputs/geometry.json.gz",
+      "git_blob": "a01a33c4753955ec4707db9515cee82a567cc1cb",
+      "sha256": "edcaebb35d313f403b2db45a2cf808617f921c83cf7a11dd5d74356570ede1a8"
+    },
+    {
+      "path": "research/r437-pooled-native-interface/inputs/moves.json",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/inputs/moves.json",
+      "git_blob": "2cdb414a38cff6f0b872445f0980f2e3bc1895eb",
+      "sha256": "0a58b239795d213743b5654c59a3e4622a0ddd4a53d8dba3fa30dedef4558dff"
+    },
+    {
+      "path": "research/r437-pooled-native-interface/inputs/template.json.gz",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/inputs/template.json.gz",
+      "git_blob": "f56efc7ca3648d2070b791d4551a3d77dd7fdde4",
+      "sha256": "6e03c76f5a4227394ea57e901eb7e93f4d1ee411ccfecd483fd44ea043550494"
+    },
+    {
+      "path": "research/r437-pooled-native-interface/inputs/word.json.gz",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/inputs/word.json.gz",
+      "git_blob": "c558a221dd44cbdaa732a401f9876de4c096d4a7",
+      "sha256": "e432182d5b62c8bbefeb871fce30317234d707e5e18d4295e65ac21f7fd8365e"
+    },
+    {
+      "path": "research/r437-pooled-native-interface/pooled_compiler.py",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/pooled_compiler.py",
+      "git_blob": "512047d8b99628b097f5a597761e6647b424c92e",
+      "sha256": "fa1c589e5809ba8223eaf070cfb299bf55d843889d360b4d089824eb675e177c"
+    },
+    {
+      "path": "research/r437-preparation-composition/POOLED-SOURCES.json",
+      "usage": "input",
+      "git_blob": "439c24dc2cbf055edae246ea8d34f57b8a73fe2b",
+      "sha256": "95635c15a09cdac656e91b3a13ad2bf481ef4ffdcf67c7dd3c27b8400b2751ef"
+    },
+    {
+      "path": "research/r437-preparation-composition/PREDECESSORS.json",
+      "usage": "input",
+      "git_blob": "7b48c3de7c5ec00971fc8d0694d363da5146afe4",
+      "sha256": "61ae906bee904905b283164a2238f3640772217ccede0b53d1f7d168a90040af"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/certificates/selected-result.json",
+      "usage": "input",
+      "mapped_path": "certificates/selected-result.json",
+      "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
+      "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/community-hyperplane599-audit/pr589/bit589/v9/hosted/GLOBAL-TEMPLATE.json.gz",
+      "usage": "input",
+      "mapped_path": "research/community-hyperplane599-audit/pr589/bit589/v9/hosted/GLOBAL-TEMPLATE.json.gz",
+      "git_blob": "9eafb8776cbf78c72124f833534469ddfa5e98ec",
+      "sha256": "0357b7cfbd7c29b4983982baf153c8a9f1e1e412690cd7fa9fc3d23d7963b20f"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/community-hyperplane599-audit/pr589/bit589/v9/nine/GEOMETRY.json",
+      "usage": "input",
+      "mapped_path": "research/community-hyperplane599-audit/pr589/bit589/v9/nine/GEOMETRY.json",
+      "git_blob": "44006542202ca6037533a754f0bcd00549d7e088",
+      "sha256": "0058c491d839142aa99ef86a5ec697ce99857632228531512ea3fa74fb24d734"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/e8-bit-p111-tuned/tune/EXPECTED.json",
+      "usage": "input",
+      "mapped_path": "research/e8-bit-p111-tuned/tune/EXPECTED.json",
+      "git_blob": "e293ddc557742637f9f679f083a1a282d87b1b13",
+      "sha256": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/e8-bit-p111-tuned/tune/bitE8mut-p111-tuned.json.gz",
+      "usage": "input",
+      "mapped_path": "research/e8-bit-p111-tuned/tune/bitE8mut-p111-tuned.json.gz",
+      "git_blob": "85a4499bf9e4911a705d50567a2c2ef6cf23739a",
+      "sha256": "e3e301e62bc2b41dbf1ceac0acf3d35824ebeab1848c5a2142d4577b109da52f"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/physical-compiler-correspondence/README.md",
+      "usage": "input",
+      "mapped_path": "research/physical-compiler-correspondence/README.md",
+      "git_blob": "1b542517f938ef64a25155f96214ba332d8ce623",
+      "sha256": "bb04d8a05f0fbda2df0dc653118524ecaace3d22dd924179574fc115524df901"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/physical-compiler-correspondence/owners.py",
+      "usage": "input",
+      "mapped_path": "research/physical-compiler-correspondence/owners.py",
+      "git_blob": "3fdf157278aa00308df706e11fc4a9e428b05e66",
+      "sha256": "220918b53e45c5992471bb2fd0a95e62f410679048f3517504c851077ee94845"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/pr589-five-helper-hosting/PROOF.md",
+      "usage": "input",
+      "mapped_path": "research/pr589-five-helper-hosting/PROOF.md",
+      "git_blob": "bbd3f12b9a32b3ad3cba85a2d5a1b3054214fa02",
+      "sha256": "59cae781bfbe1a01ed9e66a8efeeb5a2b995e5ecdf908586b23ecc39f2b8d647"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/pr589-five-helper-hosting/verify.py",
+      "usage": "input",
+      "mapped_path": "research/pr589-five-helper-hosting/verify.py",
+      "git_blob": "dbc71f56bb4205ebe378ada1f9f4ea88630d1d39",
+      "sha256": "cf90e19ae9991b0698be03d395a8cc29061ecb307eb7fea19adfb2d23c25a367"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/.gitattributes",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/.gitattributes",
+      "git_blob": "a154a13b7c8d4590e03a6949ed1e76c102fd1dbd",
+      "sha256": "a3c414970082c100e8f9cec6d96b7d5eec4c31660d670b50d46f2d8ac53a3b76"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/PROOF.md",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/PROOF.md",
+      "git_blob": "24816d8dfb5e07978c3d7ad5010d25605d3f9a03",
+      "sha256": "695c3416094ee374a6b5d5152c80ce29f18358eda21e3afb7b58c2264a6d879c"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/README.md",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/README.md",
+      "git_blob": "6187399f1c7d947cd13f3fb064fb7b65b6d93290",
+      "sha256": "be6c7a6fae80047631d926e83c73a217037cfdccdc38a5e6d0f4c38865f1ca14"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/RESULT.json",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/RESULT.json",
+      "git_blob": "4a03e803bfb3fe7af6808f655b9b6e828574d212",
+      "sha256": "27a20d575cb90c16a186a621d553e167f2bb6fd4e19541fe8d8dfc0208451658"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/SOURCES.json",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/SOURCES.json",
+      "git_blob": "d0987e871ac318a208bed473540ace42cbd9eaf5",
+      "sha256": "219bcca3f47aa555cc7c9e126ccbee3509fe7e4fe29b4968b4357ae9c1f0a006"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/TASK.json",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/TASK.json",
+      "git_blob": "31286abc91a461677a93d1c38c0895c7f00e074b",
+      "sha256": "f8348e1128757b7e42650100f24c690f368c230f7c72c3613617a1105fba2fc7"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/VALIDATION.md",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/VALIDATION.md",
+      "git_blob": "ba071214dd6ad7bfe863a35856ae2f2e1b3bd11f",
+      "sha256": "b3b4978ca4540ea1d6083f6ba77b957750afeed222e2048f046ee62b5f31a590"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/VERIFY.json",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/VERIFY.json",
+      "git_blob": "885be188550090829a166baad4cc21b581ea0515",
+      "sha256": "c23da87b8d9cb87b651b987a71fbf76811b182be474f42dc5273c7d13e4bab2b"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/adapter.py",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/adapter.py",
+      "git_blob": "276a9a0f436ba03e2a0bb1cd95d57ebc3cc3a290",
+      "sha256": "c1c054e5a2c650cfc267117b32896073e6735b93c5fbfb1defe6e379c4afab9e"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/check_interface.py",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/check_interface.py",
+      "git_blob": "d44bcf750f121ddd276f09ce94d8d898a3d52078",
+      "sha256": "b4f5fab63a262e36b5d585ad9ed6bb9436ecb8183eae233b27c8da9c448128d4"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/check_transport.py",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/check_transport.py",
+      "git_blob": "5bd3c8a38aed9df3b0d4404d382268aee02dfcb3",
+      "sha256": "c1351777d8886754a172ed3f6e90586be5c664a93b66eda5e87fa9580f104ab7"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/EXPECTED.json",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/inputs/EXPECTED.json",
+      "git_blob": "bc2585e1404402395a7c59ba6f6dde58b04e65a2",
+      "sha256": "67d06bcb90d2307a11975d6b25107a695be477f168f2dc289b8484ba0b7e2de0"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/catalogue.py",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/inputs/catalogue.py",
+      "git_blob": "0efc0575a7623ac41c094d2e8772beda5a9fdc29",
+      "sha256": "83ea88f82d4a83c5f889774bfe3519b7ebaa24b6a0e2a969dafff012107a89bf"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/geometry.json.gz",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/inputs/geometry.json.gz",
+      "git_blob": "a01a33c4753955ec4707db9515cee82a567cc1cb",
+      "sha256": "edcaebb35d313f403b2db45a2cf808617f921c83cf7a11dd5d74356570ede1a8"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/moves.json",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/inputs/moves.json",
+      "git_blob": "2cdb414a38cff6f0b872445f0980f2e3bc1895eb",
+      "sha256": "0a58b239795d213743b5654c59a3e4622a0ddd4a53d8dba3fa30dedef4558dff"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/template.json.gz",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/inputs/template.json.gz",
+      "git_blob": "f56efc7ca3648d2070b791d4551a3d77dd7fdde4",
+      "sha256": "6e03c76f5a4227394ea57e901eb7e93f4d1ee411ccfecd483fd44ea043550494"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/word.json.gz",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/inputs/word.json.gz",
+      "git_blob": "c558a221dd44cbdaa732a401f9876de4c096d4a7",
+      "sha256": "e432182d5b62c8bbefeb871fce30317234d707e5e18d4295e65ac21f7fd8365e"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/pooled_compiler.py",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/pooled_compiler.py",
+      "git_blob": "512047d8b99628b097f5a597761e6647b424c92e",
+      "sha256": "fa1c589e5809ba8223eaf070cfb299bf55d843889d360b4d089824eb675e177c"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/replica_catalogue.py",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/replica_catalogue.py",
+      "git_blob": "1fa6ea58c5193952bc6175cbb9f1a778a6502eac",
+      "sha256": "d093a5a5421596d82c6c6e9fbc7fbf3f313c803a7ba423d666b98344b1912ff3"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/verify.py",
+      "usage": "input",
+      "mapped_path": "research/r437-pooled-native-interface/verify.py",
+      "git_blob": "4a470e1e9961308c094dd167df7535b26b17e035",
+      "sha256": "dcbe8cdfee38ce0beff30c48a07a07009f4f054fd11454a80e834188547c2ffd"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/recursive-parking-boundary/README.md",
+      "usage": "input",
+      "mapped_path": "research/recursive-parking-boundary/README.md",
+      "git_blob": "251f335ebaccc11d69393ee7aeb5a2e84526d0bb",
+      "sha256": "491aa208391ee4c2936510b1a5c5c018dd5509d9a0e88687c72ab8406cd77b18"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-local-ring-sweeps/PROOF.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-local-ring-sweeps/PROOF.md",
+      "git_blob": "4330de85dd9862ed15d84ab917887d249753df99",
+      "sha256": "846c59440cc99e28bae93ad2af99525bc769de29368080071b8427141215b4f7"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/PROOF.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/PROOF.md",
+      "git_blob": "548ecff3ef79a32c14bafc7f2309781181d3c23d",
+      "sha256": "e5a827e93fe313ba9bf4a2e300bae01b58b28004aa8a8ee119cf6d950edd9f93"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/README.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/README.md",
+      "git_blob": "abd0edba96101a025609d2840c3dbdf4d3e30aa8",
+      "sha256": "989ad891ce3f866c920a25e0cdd661815f982c4c854370f8c00668eaa15d770c"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/RESULT.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/RESULT.json",
+      "git_blob": "44afaf8dca8f76b3c9f5ef58616b6d57ff7ff2f3",
+      "sha256": "de6216b9f89f22b9602867776a7fc951ec558c852e6abd4624151e95d868af56"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/SNAPSHOTS.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/SNAPSHOTS.json",
+      "git_blob": "034836cfaa3e4f984e900a980eecc986ec405b1d",
+      "sha256": "c7b3485bdae5ddf43166cd6626bd512816e179617a4234c36584f6c57c34744a"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/SOURCES.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/SOURCES.json",
+      "git_blob": "a27291a91519f9f4e074712afa3262c4d372aaaf",
+      "sha256": "94e1f55094bbd122e4ee73413650fa24072c392d53d257041cd5d38a2269e4fd"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/TASK.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/TASK.json",
+      "git_blob": "28b8d5e1cbd29824e702d384937831ddb3876da7",
+      "sha256": "84319cb2f8c7c121927123e8c3271c3ec4ec93fc9be362dcfdf7ee4366cd1a74"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/VALIDATION.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/VALIDATION.md",
+      "git_blob": "5b1a9221f35cbd637183282489e8eeaa30314ea8",
+      "sha256": "c38eaa31a9cf3489356f2e2a675e2bc6194fa41796589edc9cbd8578b5d71c0f"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/VERIFY.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/VERIFY.json",
+      "git_blob": "682809777271adfe08df6e6ba2fae89571420212",
+      "sha256": "5bb3cf67018f35de5b825c9bb4b7a6590296da85f492ba3dbff7a6ce9bdebf8e"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/continuation_checks.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/continuation_checks.py",
+      "git_blob": "f2be8aad16e279c0d1467e21d79d2dd81dcae8d8",
+      "sha256": "c6ef8fa86a7099af0eb6763a3f5bd43f8f94e1e176cfba38c0077b3e0f5fda48"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/frame_checks.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/frame_checks.py",
+      "git_blob": "4b992ffcb0a613da54ca24e31d25e61445799e10",
+      "sha256": "ced41d9244afcb5275ad5c46dc0f60265afc1e6422d29b277364e945825c4dd8"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/EVIDENCE.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/EVIDENCE.json",
+      "git_blob": "c2c347abc2b8c19bb642c4da1aad5b3e8383016f",
+      "sha256": "77b7cbefa2ca30acf2f77e23d14808ccd27848e9c76e4c5e68a045ef7891a07f"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/PREDECESSOR.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/PREDECESSOR.json",
+      "git_blob": "56d76c357b51f4fc6856923222bfca47f03334e7",
+      "sha256": "e3127475913d62dbdf1b45d9283d2db2e9b689e0f81a703189150c1e5be2bca0"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/PROOF.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/PROOF.md",
+      "git_blob": "1a08e57eac2a37764066d31baa3ecd3769759158",
+      "sha256": "552fa306d5cc228f4d8d8553f8ac5fc6a738ef2b66a2cb765ba0638cd229794d"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/README.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/README.md",
+      "git_blob": "75461632856f94d6b48ae820cf5d0b2b232305c2",
+      "sha256": "6ce41fd7e6dfbe5faecc25bd36561f0a65b6ebca6fc69d3fb72569424a405045"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/RESULT.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/RESULT.json",
+      "git_blob": "75faec7844e18fc7c44543dbab87aba2ecf32b3e",
+      "sha256": "4919655bae2e5cff051e8f2d240a8e4ebb03392a9da2fb5328daa9248fb7e88b"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/SOURCES.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/SOURCES.json",
+      "git_blob": "ff8c8e36176aa56e319d0f9e584167ac21d67f33",
+      "sha256": "7c78f539078e1bc3d893b78b5ee24cb22dc090d3763fe554e861b6c3d3e7eaf7"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/TASK.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/TASK.json",
+      "git_blob": "d70ad317275d2a517ab1294ce48ecb1f83dfedbf",
+      "sha256": "ac7d4b38da31b373e665929027fc04afb66c3e9aedaea3296e3783637912d0e8"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/VALIDATION.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/VALIDATION.md",
+      "git_blob": "d91680665a28c12c27c99336b55c3d5341dd0fe4",
+      "sha256": "ac0f2fab0ca810ce0202d31480daa8329cba0897ab015520a2bfd4b689c4086b"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/VERIFY.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/VERIFY.json",
+      "git_blob": "b6072f66c13a38b5d8dff3ca3bc5f3f3562f1b6e",
+      "sha256": "6ad0e07f68458afedece927550655b5bc5cd9861a70044fcd95bb10a2179f0a6"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/bootstrap.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/bootstrap.py",
+      "git_blob": "448c9b3a86eedb84220646ab27ff089a32ad5b9b",
+      "sha256": "eef1c418e8edbdf317d159683e30beaecd971c77cf41d6b09708576405e2141e"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_layout.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/check_layout.py",
+      "git_blob": "be59d614d25961f891e1640bf85cf5e2f474a059",
+      "sha256": "454b1587d1ed5ccaea19b621a67e2ceba999d7ede61188125faa41c4dd2ab2b1"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_nested_model.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/check_nested_model.py",
+      "git_blob": "20fed6bd389cb53fc52d0ad8389e9e7704c90265",
+      "sha256": "b1941b882b0659722c3c41994c82f020c1f7ab320dc28c43c2758029ef8a48b7"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_recursion.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/check_recursion.py",
+      "git_blob": "8f36c88e196cf5afc0d6e227ba8568a10bb23c6a",
+      "sha256": "dde82badf043e553bc635a34295e2b5505d84d6dfbaf96e0cfccb8a8c3dbb158"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_runtime.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/check_runtime.py",
+      "git_blob": "fe355a703475325bca4807b8ffedfa9f6edb74f5",
+      "sha256": "9fcf0c9a3c84a17446fafe8da50b63db296ba9465d48ddb6fdeac8742dfc98b1"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_sign.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/check_sign.py",
+      "git_blob": "50669949a1325e8c49aa0ff714c40a50077b5eb8",
+      "sha256": "ee4fd34acd49962a18d268aefeb20aa3c2673a10e7a43eee3e51a9bd3cf9106a"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_sources.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/check_sources.py",
+      "git_blob": "5c09a13943070a3bb3c0da06fd19fbc6916d1743",
+      "sha256": "1c49984ae6ee7f8a44cde16b51e486f0b3ba4ee5c973389ac8d58a82d0a0aa3b"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/consumer.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/consumer.py",
+      "git_blob": "a66d9276f829ce2c619871866816649d5f3687fd",
+      "sha256": "2f2a8604c23fb2c81f24320c71ed0142118d98dde3be6086adad28e89954a777"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/control_checks.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/control_checks.py",
+      "git_blob": "11daa0b2221c5870d19ba2eaf411a6bff3a0398d",
+      "sha256": "c09d33327932b4ffbb8acb26c8a6bb621bcca542157d22f1edf72679a9359981"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/driver.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/driver.py",
+      "git_blob": "5b7846a70aada53d87480b337e1c04217118771b",
+      "sha256": "ceaf8f75de9810a05ebf8f65780b6f8bd7599a5768401d5e4386182afe615cdf"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/NOTICE.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/evidence/NOTICE.md",
+      "git_blob": "d0318d43ed420e21dc52166a19de703aa87fbb3e",
+      "sha256": "fd7c42e89878cda6df86dde8720ece34625a337cf5edd795a421e2d3b42919e9"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-NOTICE.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-NOTICE.md",
+      "git_blob": "f2b49cdef83a4a685fad32c01fba93e12cfcb5a8",
+      "sha256": "c899fccf7bd32397f0ddd85e4af35a166cefb3e3ae3407ec40edc3ab2051b617"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-PROOF.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-PROOF.md",
+      "git_blob": "1395e1941863e40ff6d62dd91c41de2cb56edae9",
+      "sha256": "fa9bec0952468e4acb760a88d45d5be216325650e1a4080cf590e07b90c9f533"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2708-README.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2708-README.md",
+      "git_blob": "79b8742f32b4ffb991f91ddd2d3c6be693084e6d",
+      "sha256": "5906f6b7b2c8eea90e441476c4cbd60fe2ef981b690c63357bcfe67e3104aeef"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2731-README.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2731-README.md",
+      "git_blob": "ac5b826f9c34e1faadc5d5a02d5d260823112078",
+      "sha256": "19683df4394de299cbd7e1cce39bf9434ad260b1a37006587cf9aed84c9c0a03"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/layout.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/layout.py",
+      "git_blob": "aa554b14fe0f6b308d9fba0a2afc92e5a28e20cb",
+      "sha256": "3beef6534b02c3b011b741f957a7d9fb05a9ac0bba1fed53b2c71834e4ea6bc1"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/linear_sign.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/linear_sign.py",
+      "git_blob": "6a6e5c02f299fad8c4f7ab724fc36e14a22ab13c",
+      "sha256": "73e895fc701a4145cbe89d60f5775128354e7f08d0a45eacf22f423913f54e67"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/node.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/node.py",
+      "git_blob": "28c98a3573b458f7a055678d70b602b80e6e959e",
+      "sha256": "0bd4f640cafb5c8f070c161d86445910f77578a672bf5886936ed89e7f6bd21b"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/packet_engine.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/packet_engine.py",
+      "git_blob": "72543f684f38fefeacc2ee66d81661f1a2439cf7",
+      "sha256": "c80fc3aa9092f91cc309b2fb2dbc3618bf96bdb9b8498503993ea161f0ae2134"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/peel.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/peel.py",
+      "git_blob": "38502515afc928082c849cd2cda8578d33a5050a",
+      "sha256": "8b20888f74b4cd814a97b42ec72528fbfb6d2e936c5022df726f0785d0d01a2e"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/NOTICE.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/NOTICE.md",
+      "git_blob": "ef9f81510db86eaf2f0a7191d85e92a6db30ddc0",
+      "sha256": "c446b32b8a621844fb2fbe654810c8122035bdd43fed2132f1137d98cb6f9943"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/PROOF.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/PROOF.md",
+      "git_blob": "a4746d1786f41e45a36fdedf37966b80fbab3562",
+      "sha256": "88754d57bae35a2089d9de221ff32ba802b7a56b810f96271f3ea36985edfb14"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/README.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/README.md",
+      "git_blob": "988ff622029aff49d7e99deb2468684d904bc852",
+      "sha256": "15631eb826b2d8d54fbee18fb6f70ee035e172d524c2a209b6c467c3f0204f64"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/RESULT.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/RESULT.json",
+      "git_blob": "7b7dfe0eab22a7b511483f268b97a7c707fd8b90",
+      "sha256": "0d94c5e9150f3fbd603526c67ea33168d3ba45e158aaf722e848bf5c316a37a8"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/SOURCES.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/SOURCES.json",
+      "git_blob": "4fef1a4d6c2d5e2620d3506d6032f9226870ed39",
+      "sha256": "1b02a5c607a5967948988c3beaf37d9975d650ad501a99fcf74c135dc1f05fdd"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/TASK.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/TASK.json",
+      "git_blob": "eb2ce7cc00df816daf566f101d56a0330852c1d9",
+      "sha256": "a4cd54d4b09ad12a90a5feeb39a127f0f0d5a2a04f9f88554c5fc3ee0cfe77f4"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/VERIFY.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/VERIFY.json",
+      "git_blob": "69c7ad75abe494be386f73a5d51359b9053cd9be",
+      "sha256": "e1dd0ee5f267ffa515bb345054ff8637cfedb0079b0d2da29b90b7848264926e"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/cardinal_counts.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/cardinal_counts.py",
+      "git_blob": "6a14feac45094ae9156e8c2c982d6727544f180e",
+      "sha256": "59ddeac102a0cc51fa49b15aae6aeb68cd68ed217fa974ce916372a177d2ec8f"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/catalogue.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/catalogue.py",
+      "git_blob": "0efc0575a7623ac41c094d2e8772beda5a9fdc29",
+      "sha256": "83ea88f82d4a83c5f889774bfe3519b7ebaa24b6a0e2a969dafff012107a89bf"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_headers.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_headers.py",
+      "git_blob": "1c372b19e19b838a89c0e64daeda15ec6b49f079",
+      "sha256": "a41dab0c487c341eb32b34a03af74454e15e9e61e7386a1ca426d83f3b68b1ca"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_layout.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_layout.py",
+      "git_blob": "174d843716a684145f934cb55a612bca85aad725",
+      "sha256": "8f776a21dc0e31f9738d822cfda38db92f1e3672afb880d4246ec5e084a50a41"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_runtime.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_runtime.py",
+      "git_blob": "5647693b3a5c1555b65e281c6609f98b92d45542",
+      "sha256": "5357e4ff255f17c4209aaf71a3413a4148475f11180c4f829e8f0ebacd2877cb"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_sources.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_sources.py",
+      "git_blob": "9219cdf863d9f060d6e38a4f2f4760fd227af003",
+      "sha256": "6463c2724e04a313181b78e90a17cd62ee42465754902cca3e9a65c6140a15a1"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/consumer.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/consumer.py",
+      "git_blob": "24b53521fce94d3349072cf47d70e62195f4d541",
+      "sha256": "b28ec97b0873ff2be25aff4bdde268247ffcec0d21279d0ada196de19a0bdc66"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/control.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/control.py",
+      "git_blob": "4f6ac09bffab43dbccc470bd0bde2ffbe969a8b2",
+      "sha256": "d3a93e54bb7d333b73917586407d11674d38b5c3fda4fbdc436fb5293ae7786a"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/control_checks.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/control_checks.py",
+      "git_blob": "712cfddc4caaad9e788d97b0e1e3f623172c43ed",
+      "sha256": "5ea6ded8c2508fbb00d93655affdfe7907ffb60916389e0736249c003a7a5148"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/driver.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/driver.py",
+      "git_blob": "0bdee4c9e348259b470a636a98e7657770f97fae",
+      "sha256": "ee9e42fe95ab28fdd5e927c2d46fd480305aaad610eb2ca7ae514a5d22d9f0ac"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/fresh_rows.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/fresh_rows.py",
+      "git_blob": "aa3a327604308d3a5c7a27b65f5e631d430ab093",
+      "sha256": "e4ae08fbd658add630eb7754ebe0cbcb42c6f39cf4128f9cb92e27fcf5213a7d"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/layout.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/layout.py",
+      "git_blob": "267d5ab98cd013ee82ba75e6d41609f1778af25f",
+      "sha256": "7534b0166805f2ae8d11495c811d2bd272cea89c89b6bb5251fd411c89245a20"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/model.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/model.py",
+      "git_blob": "9fb82fa57d29cdf8402f91534dffed8f586ced6c",
+      "sha256": "c937ae8e46162f88fc1cd7646d3b22c99273029ad0f0e3131f46ddec230676cb"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/node.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/node.py",
+      "git_blob": "13badda6f059da2132cbe325c071307e5191baa3",
+      "sha256": "b88fc9ac0b22d939311ff4f7aff788e8c87a64fd5e866498e59bd27940ee3f28"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/packet_engine.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/packet_engine.py",
+      "git_blob": "27a0dbf82e78252beede56ff86f5933c93eb55c1",
+      "sha256": "ce7f132a6a69c802406f07c4a2119ef921e8978520ff58d5eeaeedb982c257f2"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/peel.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/peel.py",
+      "git_blob": "2ae1769a9726ab738d3981891d0b76beccac2d99",
+      "sha256": "3de018e68601566c364c7568b110f60c1bf34941b846cdffb94401bb799f85e3"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/topology.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/topology.py",
+      "git_blob": "39a2916c207d04be5efc44750d8606f5da0c2990",
+      "sha256": "384d456ddba76de137a63b50019d5bba2e9f6daa4177c91643e0565d4cf1d44b"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/binding.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/binding.py",
+      "git_blob": "21a5a21220a18ab62a19ac403a9944bc3a8665c8",
+      "sha256": "20169a8af6ed2b34069fd353a2bc1c42335ab686c58de8479baef33dd3fb493b"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/bitstream.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/bitstream.py",
+      "git_blob": "4d1fd4abb0f2aabe833e5cbc9efb51039739e7ca",
+      "sha256": "f78bac9641007dbd8824984edcac057274fe016ce78bd9cb512d0c0913274783"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/cardinality.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/cardinality.py",
+      "git_blob": "b8ba857e32c5903408e1e61ff916300848b4a208",
+      "sha256": "505d5e560c5a507e6184edcc19a87cf1fed243eb34a5cb21fbe1e4fe017e7f22"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/check_support.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/check_support.py",
+      "git_blob": "e1f961df9fa3a441fc5b600d1288a8d038eca51e",
+      "sha256": "d9977e87ddc5acdb836b8e4a4e3942da17a05b04ce67c04547d17b986b518964"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/children.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/children.py",
+      "git_blob": "ce4935f838516e2b08d13bec767cb803786fbc6b",
+      "sha256": "a78866939631214c1d1659203b2b5fc062e3c6255e9f11f975c310046b010bd6"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/controller.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/controller.py",
+      "git_blob": "c631a9e77fbcccf0e8f448adc22978728aed7b60",
+      "sha256": "fa09146991f6c04e6f4b6eb9bf0c8e103e70e90a0e402ff3d69814e6aac8ff8c"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/counts.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/counts.py",
+      "git_blob": "81b48940ce222290a40d4fb349ce827f4788469d",
+      "sha256": "00b476dbda0e8cc99886bf794439e1cb9e775f435f599a3557e99321fe084069"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/directory.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/directory.py",
+      "git_blob": "c74cacf5ce809c0561d374f137a52df0992b4226",
+      "sha256": "4270e370b2bfe38ef73aadcd97d1b3496b56bd582115d74331eb9e5ceb90bec7"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/episode.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/episode.py",
+      "git_blob": "30d11ff4f333813855d36da3eb5a1ab0e154bafe",
+      "sha256": "38f79cb2a370548471063952d5f7c74bd795a2a8496fdcf3ce0996d79e3adaff"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/forms.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/forms.py",
+      "git_blob": "6667c0b772a63f0059c7caffec63e0d919a92398",
+      "sha256": "1fdf9d31b7eb107c396e33f94dad61c9d3f2c709cae61178268a44ca80dbc0b4"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/low_codes.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/low_codes.py",
+      "git_blob": "737edfc4a10f4b7b3b97a7cef4b40864efd806e6",
+      "sha256": "f657e17f6088c840e3f7783e662257630f6d2c1e71c217721ffbca4d6ac93e87"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/matrices.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/matrices.py",
+      "git_blob": "5d497353efbb9eeaaf4facd96ab40ffb0f3aa20d",
+      "sha256": "00b687434039b54529ee092e34f9435cfcd66e0816eb3bd2a6688c73f4e01459"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/numeric.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/numeric.py",
+      "git_blob": "6d4ebca8398008375b8f4762d1a9f1514e8c2611",
+      "sha256": "7327b05c4ec3e0f6d9c352cc7de85bfd4ebe940482553e77c59a773a8c09c514"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/oracle.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/oracle.py",
+      "git_blob": "244f131466698a3ace10b657242fe1f65c07fd1f",
+      "sha256": "7bd18089e32ce48085b5e3a75159f6a82cdb2649ec682c53db05e399d97aef67"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/packet.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/packet.py",
+      "git_blob": "ebc9b616514412b80c56d523776e6ba5d6766453",
+      "sha256": "970e7fe0719e3dfe122b248941e6f21cd90d7dd62089fa6acbd0e5412ce083a5"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/plan.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/plan.py",
+      "git_blob": "48255d5454308c07635fae4e7eb4873b0bd2a4f8",
+      "sha256": "d9c8dc93762db4d3a449814aa51e2211460648694469854d89cb48cb04188cf3"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/records.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/records.py",
+      "git_blob": "4f00467a0ff580954ad2fd0c7380240c753ddef3",
+      "sha256": "0c9c4b23e998597fb877bb1a29da69ac869b68262abe635b162b4dba9c69b372"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/residual.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/residual.py",
+      "git_blob": "3d070d2539a529f3b14ecb086a92a3db056229fe",
+      "sha256": "8fd24747cae498dfb2ba333e7f8a68d7315ae4c2d7530d8ca145aab95ede21df"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/routes.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/routes.py",
+      "git_blob": "35531201dc349a811dfabc6f1f6e64697d665194",
+      "sha256": "ed7dc3679451696ab1dd841146b215c9515a3eec5e4ff3763f33c315f1696ada"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/selection.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/selection.py",
+      "git_blob": "2c28f1aaec104a75c4e6c170b3e6a60300ee6700",
+      "sha256": "bc8e371fb1fa0b41fb05ef0b34d0f4c317b2396f9833d91f44f95c2b54b4052b"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/sources.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/sources.py",
+      "git_blob": "16d5e7e6a28018f1e2d76d61efe2d54f6a6941d4",
+      "sha256": "f102edc7816d742bd89db8097254c19b843d0ef5cf6758ad42e93bcc0b214c62"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream.py",
+      "git_blob": "5e5a4bb0f98971447043e25d4dd6991bfc070389",
+      "sha256": "c7dc7da5b00f27016982ada4c0416f8328568b00df16d97012f33d4b372d79b5"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream_runner.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream_runner.py",
+      "git_blob": "efff281d4c4be5c1378e31404fbcc634fe4ade59",
+      "sha256": "751c5023ca0e477369e448583961ace6a76db2723bb6c26f81203def539f1249"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/trace.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/trace.py",
+      "git_blob": "bb845a90f5bcf006e683e581e385936208f6a1f4",
+      "sha256": "c71ba11d793dde2ac6e4cdcf468482872975c34589bf1167f2a460cb8a74e984"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/words.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/words.py",
+      "git_blob": "8d4ba37e2778acb35b34e0719df2caf138fbeb50",
+      "sha256": "5c37f57708ba3131bdcb03139f9dbc29886bee44569c09cbba51b68f75acd7f9"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/verify.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/predecessor/verify.py",
+      "git_blob": "121acc1ff15ec85a8011e96eda2eb587608413b9",
+      "sha256": "cd83797d1f420f7e5de61c1a693110b4ee0c80bac0adae4699599046b7f76f8a"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/recursive_call.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/recursive_call.py",
+      "git_blob": "6d33224145aa04f7fbaf7b6cda7c9c164311a402",
+      "sha256": "157deaa5972557893d43494a81151483bdc46373448ec677cb6a738c9b7e6f1e"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/scheduler.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/scheduler.py",
+      "git_blob": "60c2b6d065eba91dd5e0edb7a77fc087971eca3f",
+      "sha256": "0d96f7fbd6f90416167c5a52c0e3de942d1a0cae3d2968831932a9576701699f"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/stream_runner.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/stream_runner.py",
+      "git_blob": "6ba5df130bb4a0fcb06b6c630830ae3a6922921b",
+      "sha256": "b255feaf6cc6e40413ae73fe302bf8f290bf4dd89f4128b23a91cc9860601801"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/trace.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/trace.py",
+      "git_blob": "4b002201ce54cdecec9acf4e874b7f71cd75fe71",
+      "sha256": "3a664224c558244f606b603cad816d75e94a17c9b2620a06a1530e893dfceac2"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/verify.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2753/verify.py",
+      "git_blob": "96be8f5859a3f3799344d46dec1ee68170d96bfa",
+      "sha256": "65126e788eeea10e830fc583cf4afe0bfc4d67495cbf8ac21de3507dbe624d56"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/NOTICE.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2769/NOTICE.md",
+      "git_blob": "307c2da733f7f3a76e97c77e71072e811f40df02",
+      "sha256": "8640d1b52fd21e5b20e8109ce9c4957ca1e19a95e26a1c80d019a6e6f4d5f178"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/PROOF.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2769/PROOF.md",
+      "git_blob": "7207ce7dec86694f01a3d9c049dcb87cc909e380",
+      "sha256": "fc9e7dcc5b385b6e508d6a6e9524b93059fa3e9fd5fcfb5eedbd85b3a54ba55e"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/README.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2769/README.md",
+      "git_blob": "c96e0d6cec56a9a5579ae159456fc15767315bc3",
+      "sha256": "6550a466bfafff2ca11740e931ed9fce062eb488f23e74edff7e4bbae8282bb1"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/RESULT.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2769/RESULT.json",
+      "git_blob": "b2d1889d77019e06ac0326ac91b1322340cf3866",
+      "sha256": "4406fec9515bb4206c75b681f046b5441319cf1ed39a13b9b0134696b1c192a7"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/SOURCES.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2769/SOURCES.json",
+      "git_blob": "746393061c55f47412601e3d346e914762683e0c",
+      "sha256": "a6476b786632c2cbffabbe27eece790e378996c8b03eb17a01f1094f20fc4cdf"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/TASK.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2769/TASK.json",
+      "git_blob": "216dc8f8bcb33fe32d0eaccdadb0fe0383d73848",
+      "sha256": "964d3a4fbfb53fd58936840328ac4b770b324c9e78f722861b1db04663110626"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/VERIFY.json",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2769/VERIFY.json",
+      "git_blob": "6537be05745836106c753e1388ffc8b1bd23ce4c",
+      "sha256": "f9e252e8ab255b49c3b18d4db76cc09ebd9fb61d599305e0aca8bf295189028d"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/checks.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2769/checks.py",
+      "git_blob": "46630a7648b1c93530e9253872a19cce338929ff",
+      "sha256": "98ffbd58881aa138b8dbae4d5722855ece2a5fdf7585e53978069ae9b064eb09"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/codec.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2769/codec.py",
+      "git_blob": "9cd54d9417eb685dcd3f8293f01299ef9046ad31",
+      "sha256": "5b9fda8136f7e60bece54e3fcc74f4ea0bec7145fa60e1ae3a4d252741b81fd3"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/vendor/parking_machine.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2769/vendor/parking_machine.py",
+      "git_blob": "cafd614a3b7bc87b019361fcdf890ed976f26d19",
+      "sha256": "68134779debfb795468a1aaecbc2b9d321d7d4e451313ce7dc8fa7092561df4c"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/vendor/pr2753_recursive_call.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2769/vendor/pr2753_recursive_call.py",
+      "git_blob": "6d33224145aa04f7fbaf7b6cda7c9c164311a402",
+      "sha256": "157deaa5972557893d43494a81151483bdc46373448ec677cb6a738c9b7e6f1e"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/vendor/words.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2769/vendor/words.py",
+      "git_blob": "8d4ba37e2778acb35b34e0719df2caf138fbeb50",
+      "sha256": "5c37f57708ba3131bdcb03139f9dbc29886bee44569c09cbba51b68f75acd7f9"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/verify.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/inputs/pr2769/verify.py",
+      "git_blob": "6be4f94eda9c96f4e7265a294f63e39309dcb0c6",
+      "sha256": "37f9e51e6c038a2493b4550e3cf0bd52621b6c20e115f0886406fc9909a82120"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/loader.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/loader.py",
+      "git_blob": "4a0326c9af88626938645f288e559b5b97cb1787",
+      "sha256": "4d8647f520b2967a0ca7dcadeb39d6ebabbce44df4193f609fef22911d0ae67b"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_binding.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/macro_binding.py",
+      "git_blob": "c197eb6458be9374cb4684c654bfc99e619dcaf0",
+      "sha256": "9ef31765d03d2c54fad9296f2ff0707a190ce169e44de4f0f45214e3c410c01a"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_checks.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/macro_checks.py",
+      "git_blob": "6a9226a647d095419840fd9d6696ffcef9827b0b",
+      "sha256": "0631b4d6b547a76d8ea4babd3465908b9efaa058503f8330140bcc8eb22a51cb"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_code.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/macro_code.py",
+      "git_blob": "2f5f8ecfac6457171707b1b5ff02b5071954fcb7",
+      "sha256": "f626b018124747a5f17c1603bea36cd74c00a69a0647fd7b10e9c4e2964caea8"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_controls.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/macro_controls.py",
+      "git_blob": "b7c1d28dd47ff463df02ea97b5907a041c05bdde",
+      "sha256": "a5343faffadfdd9ea0e52d4c7c4ef24ba5e8d2dee86c8af27c094ad78944b845"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_local_checks.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/macro_local_checks.py",
+      "git_blob": "421f9030f91f3ab309a9873928c09ba8a2ade580",
+      "sha256": "a9be60378d1282184632066b87cb044a8510b6623acf0df4dbf2f1bcd35cb830"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_machine.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/macro_machine.py",
+      "git_blob": "5a032e8923f7f8b22bb98f3e39b804beb9906c16",
+      "sha256": "7bc6e42072a09a08ac961e05c3da01cde012d740d4b4c605f298d994f2ad7c5a"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_selected_checks.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/macro_selected_checks.py",
+      "git_blob": "14f224e975fdd1a580088baf26e23ca44091a2f7",
+      "sha256": "080e147837a4983a73e598af0cc97333e2cfb1d328f5190c9d4447a8bdbb4668"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/nested_bank_checks.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/nested_bank_checks.py",
+      "git_blob": "c48f87429773e3b80719c209b4ad3f3977e3c41e",
+      "sha256": "4c225e7d91c767b4cedcf9f9b5222875be948bf8b4ef03cedc4f46f1d570e9bb"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/numerical_frame.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/numerical_frame.py",
+      "git_blob": "dc92611dd5f131718806fa96470b8f3494e15e2a",
+      "sha256": "3fd62eda5d0b48bf31ea244708a77afdc6d16cf4fc9439d140ef422a38c7406c"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/residual_blocks.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/residual_blocks.py",
+      "git_blob": "fba75e7649cf77e352a75324495191bbd7853c22",
+      "sha256": "ab7f3df8906decd2efecfb138eac1456c106bb520b2598761f699f80680d8331"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/role_parking.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/role_parking.py",
+      "git_blob": "fc48c244eefdbaa3e320e86c75a7d187cb5765ef",
+      "sha256": "1884a3c260d81d5efbc0c33d86a810d6728e55e5764cfcd423f858cc685470f3"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/scratch_pool.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/scratch_pool.py",
+      "git_blob": "0f22807c65d1bca374b905538512bf8c43702070",
+      "sha256": "41f1eb93652b7174c3b02f95f70e1a9ce2e2aed0a729e725167c8f226e65d8db"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/verify.py",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-physical-caller/verify.py",
+      "git_blob": "fbdc87b9f98dc7722db45a42a742c5569089eeeb",
+      "sha256": "bfba14c842ea4d97bf160588abc061553d3e4eab66cd5f32b903e1a67e661aec"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/research/selected-bit-recursive-closure/PROOF.md",
+      "usage": "input",
+      "mapped_path": "research/selected-bit-recursive-closure/PROOF.md",
+      "git_blob": "6c410cab5713979214a45835091fbeb9ee9b8531",
+      "sha256": "74cc8de20f21acb5123fe2d20996fe0925ea6e51b3dec633bd5221fb719b3344"
+    },
+    {
+      "path": "research/r437-preparation-composition/vendor/upstream/build/sections/02-streams.tex",
+      "usage": "input",
+      "mapped_path": "upstream/build/sections/02-streams.tex",
+      "git_blob": "088fceea1867abc76271d7efe7532b779fee9039",
+      "sha256": "606c80db61cad13aa0c3b6060dc4b88dbbe7ac60cdd831aa93f28d908fd09dab"
+    },
+    {
+      "path": "research/r437-two-window-carrier/CANDIDATE-TEMPLATE.json",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/CANDIDATE-TEMPLATE.json",
+      "git_blob": "96e959f07eebd6330fbbf27b628e793c1cba113c",
+      "sha256": "6228ba213be5ad22c42e85afb885e96594d2b355ec1fa6c4a57767b4f80bef8e"
+    },
+    {
+      "path": "research/r437-two-window-carrier/CANDIDATE.json",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/CANDIDATE.json",
+      "git_blob": "1479f765540ce3625e4909e59b40ad6f8c3621fa",
+      "sha256": "0e4dc8bda7941b9c5bba2f7af9895544ca6f69666026e4835610b808c3d4d7f2"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-000.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-000.bin",
+      "git_blob": "7f01aa7eef382501dfbaebbe6482e944fa814d87",
+      "sha256": "8e00d476dfe58732a897ce3137f4b1a2cf49d385b1bb4789031f0ea3c5696aaf"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-001.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-001.bin",
+      "git_blob": "decd96a65dab997d67783c52b7668f758a6c115a",
+      "sha256": "32a7c61c62f418407bce7253ea86985ea189ff43e6f1aad14edb443d03885bfe"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-002.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-002.bin",
+      "git_blob": "6ce96e8a18486b1ca4467db9947a316979591dba",
+      "sha256": "aaa622ea2195cfd77e9fa2416725e4e97c035dcb0edfc82a5f3adcccf58e22ca"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-003.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-003.bin",
+      "git_blob": "e4514d27f5968bf82cb0f2ef81fd19ec1df1444a",
+      "sha256": "02305f71a9be6ebc9e5a28e07485bd174262879654f0cfd6273aac88acca56de"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-004.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-004.bin",
+      "git_blob": "4021fe43bf1748eac8b49790395a5e3f4caf3012",
+      "sha256": "0f2764045d5f041055e7adb4713df81a67204d60360633c26af85c0493edb9cc"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-005.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-005.bin",
+      "git_blob": "f1ff26b3a20cba0b1ca2b314ab3b8c1dbba54291",
+      "sha256": "5c88efd13b31b97af68ef967fc6cee1e8d2e7925f89169e67f960ad5b7c0f2d2"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-006.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-006.bin",
+      "git_blob": "35aafc44c709e257caff7eacb8dcc33ac665a1a1",
+      "sha256": "51d679fbcb5d567d8574912e5a985f941d020c4612f878db8a976cd01b39c8cb"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-007.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-007.bin",
+      "git_blob": "63e0755ffab1b56b0ea9bfad5bba51f73dc57480",
+      "sha256": "8c851cfbbc582b1f27f0d1c8ea8c32a4f48513f8e09ed0924beb643f4e3e4eb0"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-008.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-008.bin",
+      "git_blob": "9bdc1c8f54034f70fd690a7603d2d566992165e1",
+      "sha256": "25752503f390e5109e248d99fd9806e11c4a12158d99db6a5263b2a2ff2166aa"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-009.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-009.bin",
+      "git_blob": "8cdea621dccfae68a817b53ba591ec99e0202ce5",
+      "sha256": "e205f9bb6d396498a44f6cb4b1117efe4c5a22543bf83b11bafb9d1902fad992"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-010.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-010.bin",
+      "git_blob": "f2f158a0ac596eb63668545911fee6abca3a25b4",
+      "sha256": "40bd7ba4fd1d4c96b035ee8984be3e023fd8b4d5bf270b636bd3256ebef17447"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-011.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-011.bin",
+      "git_blob": "a93e192962aaa697c41a8443dd2cac27d5de6a73",
+      "sha256": "940a13dbb1c55f9acf6d28fcfd400ec615d911ae34c729604b29173cf66313f0"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-012.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-012.bin",
+      "git_blob": "db181442703c9a61e66c3ee7022b7e8a7d95416c",
+      "sha256": "1836611a68633b2db8422e20f9a4d8e16949f0c402893db2737dba4dc4f34e41"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-013.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-013.bin",
+      "git_blob": "854c9c7cea86c1251abd6c188443e359d5e75c36",
+      "sha256": "77bb5447b15aa1e4892425a23ec2737d91b336f4e73acc64d1d4e68528591c73"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-014.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-014.bin",
+      "git_blob": "aec64554648edb5f9d8c0a0e50d7d88f90b63b05",
+      "sha256": "10f6ebc9118d5d42b7df6b611ed8cd9f4e0adef0c50e99859232546737bad87f"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-015.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-015.bin",
+      "git_blob": "a1d264f85dfa54cb1ee31d306bbc75a433430161",
+      "sha256": "5672528cce227615c61ec77545199683112486ec428af6b755664da9363dfae1"
+    },
+    {
+      "path": "research/r437-two-window-carrier/candidate-template-chunks/part-016.bin",
+      "usage": "input",
+      "mapped_path": "research/r437-two-window-carrier/candidate-template-chunks/part-016.bin",
+      "git_blob": "d059e02425f35313a2d4f94f6a7ff1ed48e62171",
+      "sha256": "62eced9b9817294528a442297cde0bc880a7698e463c94e71f1ee91f7c04e2bf"
+    },
+    {
+      "path": "research/selected-runtime-guard-stock/README.md",
+      "usage": "provenance",
+      "git_blob": "8fb1101ca0d96cad8f9ff7f3b8f251e81070b4f2",
+      "sha256": "0496aeca8922282f3ed5c0e3be18a08e2e26e3fcb88c1db46819b3b53ea3a78b"
+    }
+  ]
+}
diff --git a/research/r437-root-step-handoff/TASK.json b/research/r437-root-step-handoff/TASK.json
new file mode 100644
index 0000000000..36927c0432
--- /dev/null
+++ b/research/r437-root-step-handoff/TASK.json
@@ -0,0 +1,334 @@
+{
+  "actual_scope": "One source-bound conditional original-root e=n=2048,h=0 to rank-two child64 metadata edge for carrier D early SOURCE87 MOVE stage0 replica0 common view at q=2^127-1.",
+  "ai_assistance": "Substantial OpenAI Codex (GPT-6 Astra) assistance for source tracing, implementation and proof.",
+  "author": "codyw912",
+  "base_commit": "b58ad9ef4d4e861b0eaa5dba41742bdc072dca51",
+  "bottleneck_link": "Binds one actual caller metadata boundary of the paid carrier exchange; leaves numerical payload, cost and supplier obligations separate.",
+  "budget_minutes": 60,
+  "evidence": "Local parent execution on Python 3.12.13 Linux x86_64: python3.12 -I -B research/r437-root-step-handoff/verify.py --write exited 0 in 44.086s including environment setup and recorded the actual expected_receipt. The registered package runner then executed python3.12 -I -B research/r437-root-step-handoff/verify.py and python3.12 -I -O -B research/r437-root-step-handoff/verify.py; both exited 0 with PASS_R437_CONDITIONAL_ROOT_STEP_HANDOFF, combined runner time 88.544s including environment setup. Runner emitted PASS_REGISTERED_RESEARCH_PACKAGE, outcome completed. Local log: /tmp/imb-astra-carrier-registered.log, not a committed input. Independent read-only AI code review reported PASS with no blockers. Implementer ran no research executions. No hosted CI, human review, formal verification, full payload, supplier, cost or kappa claim.",
+  "expected_receipt": {
+    "base_commit": "b58ad9ef4d4e861b0eaa5dba41742bdc072dca51",
+    "boundary": {
+      "adapted": [
+        "regional dispatch instead of complete schedule/GL expansion",
+        "symbolic count port grammar",
+        "Layout count arithmetic only; original geometric control",
+        "one zero-high raw prefix member, not produced full directory",
+        "metadata-only Machine allocation without q^2 scratch pool"
+      ],
+      "literal": [
+        "authenticated source preparation",
+        "original nested residual emitter",
+        "Cursor GOOD block",
+        "residual_blocks.events",
+        "root-only Program bytes",
+        "child_program/Callback/children.extend",
+        "independent Program parser",
+        "Machine.prepare_child eight-port copies",
+        "modulus/width/depth word copies"
+      ],
+      "unexecuted": [
+        "Machine.node/block/call/run",
+        "complete high-field directory",
+        "forward/payload/backward operations",
+        "physical integer row arithmetic",
+        "supplier admission",
+        "cost/kappa claim"
+      ]
+    },
+    "controls": [
+      "below_cutoff_false_recursion",
+      "child_reset_precision",
+      "doubled_child_rows",
+      "doubled_external_gap",
+      "equal_bytes_distinct_parent_program",
+      "event_depth",
+      "event_source",
+      "event_width",
+      "foreign_specifications_catalogue",
+      "leading_instead_of_unused_B_gt_one",
+      "missing_before",
+      "missing_external_gap",
+      "missing_suffix",
+      "missing_unselected_atoms",
+      "native_instead_of_common",
+      "root_index_reset",
+      "root_modulus_changed",
+      "serialized_child_width",
+      "serialized_history",
+      "serialized_parent_width",
+      "serialized_root_size",
+      "serialized_root_unit",
+      "serialized_step_code",
+      "serialized_step_field",
+      "serialized_step_rank",
+      "stale_source_identity",
+      "valid_other_replica"
+    ],
+    "count_adapter": {
+      "algorithm": "exact excluded-prefix sums and strict-upper-bound binary search; original Constraints and encode/decode/rank/unrank guards",
+      "finite_parity": "q3 dimension2 all independent row prefixes, all candidate rows and all ordinals; dependent rows and invalid endpoints reject",
+      "q127_roundtrip": true,
+      "source_sha256": "47b174b36195bdead5735df4dc3fd535909c71af1c33eca35b80face5bac98ca"
+    },
+    "edge": {
+      "capsule_sha256": {
+        "before": "f0b36dd94876d9289455d77edbae1b497b2e8bec273278314def1b05083193ad",
+        "gap": "7bccbdaf512b4f58e9749824f38633ddc5118fc80b4bfb72c104cdc3d5f30ed7",
+        "old_count": "d712dbab8b3910176675b363ed3292558c668a63ef99a7ed98fb47b2378e3066",
+        "old_directory": "d2e321dfb15828a25939c63c4d488cdc08403ff022cabc122ca807cce3683614",
+        "program": "41649f0420cffeaaabfcb00edd20d45f1e423e3743a408c0734149a3ac6dff2d",
+        "rows": "2348d5d89049c7e547bb0d5414ef98f2208dc36139ddeab0e7ddc283e47db89b",
+        "source": "dbc1b4c900ffe48d575b5da5c638040125f65db0fe3e24494b76ea986457d986",
+        "suffix": "65c24262b99ed4e8b1742177f113e19321d0d26839424e528377fbed3f74cf2a"
+      },
+      "child_history": 1,
+      "child_width": 64,
+      "first": 0,
+      "program_sha256": "41649f0420cffeaaabfcb00edd20d45f1e423e3743a408c0734149a3ac6dff2d",
+      "rank": 2,
+      "second": 4032
+    },
+    "emitter": {
+      "function": "compile_node.residual",
+      "lines": [
+        38,
+        47
+      ],
+      "module_sha256": "f626b018124747a5f17c1603bea36cd74c00a69a0647fd7b10e9c4e2964caea8",
+      "operation_tags": [
+        "residual_begin",
+        "block",
+        "block",
+        "block",
+        "residual_end"
+      ],
+      "stage_role": 87
+    },
+    "mapped_source_files": 176,
+    "root": {
+      "I": 13,
+      "L": 255,
+      "Q": 520213,
+      "e": 2048,
+      "h": 0,
+      "modulus": "28948022309329048855892746252171976962977213799489202546401021394546514198529",
+      "n": 2048,
+      "program_sha256": "c20d14b567d28b7f502c3c846ab552e7b762d54e42eec99ea6448099830e75fa",
+      "q": "170141183460469231731687303715884105727",
+      "unit": 1,
+      "w": 2
+    },
+    "runtime_selection": "historical bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129; not current orientation",
+    "schema": "r437-conditional-original-root-step-v1",
+    "source": {
+      "code_bits": 520213,
+      "code_sha256": "476286e1a0271b133c28661d933514c3c6761257c4b3297271709a42b161778e",
+      "common": true,
+      "identity": "bcea2a31e9001699148b6f1ff8524a0c6c4524d70ef47add027651da31389a73",
+      "key": [
+        "MOVE",
+        0,
+        0,
+        22397
+      ],
+      "low_sha256": "2bdd659e19e949e686e7d7a0b414113374da3c683fde6d002f437bfd174dae55",
+      "preparation_sha256": "f621ce3539b7dd37d0e7f7281ba75d47383412569e8dd0b930fac64c040c2941",
+      "request": 1676,
+      "variant": "D"
+    },
+    "symbolic": {
+      "A": "28416*product(q^64-q^i,i=0..63)*q^4096",
+      "D": 7,
+      "child_rows": [
+        6855743024930970819091796875,
+        6,
+        0
+      ],
+      "directory_prefix_count": [
+        1,
+        0,
+        4096
+      ],
+      "grammar": "[c,a,b] means c*A^a*q^b; NOT production binary Count",
+      "leading": [
+        13711486049861941638183593750,
+        6,
+        0
+      ],
+      "parent_rows": [
+        6855743024930970819091796875,
+        7,
+        0
+      ],
+      "sharp_theorem_rows": [
+        9475,
+        7,
+        0
+      ],
+      "spectators": [
+        [
+          2,
+          0,
+          0
+        ],
+        [
+          3,
+          0,
+          7936
+        ],
+        [
+          5,
+          0,
+          0
+        ]
+      ]
+    }
+  },
+  "open_questions": [
+    {
+      "blocked_by": "Full numerical payload/directory production and prior routed residual execution are not materialized here.",
+      "first_step": "Give a producer invariant connecting the complete raw-prefix directory and unused row quotient to the authenticated SOURCE87 regional cut.",
+      "question": "Can the actual whole-packet producer establish this metadata cut without expanding q^4096 prefixes?",
+      "why_it_matters": "Conditional metadata correspondence does not establish selected-root payload reachability."
+    },
+    {
+      "blocked_by": "Current package intentionally preserves the original checked_entry and does not claim its execution.",
+      "first_step": "Specify a separately named source-bound entry certificate and prove every existing local guard from it.",
+      "question": "Can the sharper #3246 stock contract be admitted by a new checked root wrapper without weakening retained guards?",
+      "why_it_matters": "The existing checked_entry demands (9475*A)^D, stronger than the already-main one-factor theorem."
+    }
+  ],
+  "original_card": {
+    "acceptance_gate": "Pin the complete source and destination contracts, exact paid and scalar deltas, and all remaining assumptions. A local moment gain is not a physical or all-size supplier admission.",
+    "allowed_variations": [
+      "One compiler rebind, one actual caller boundary, or one precision/stock implication."
+    ],
+    "bottleneck_link": "The exchange changes the paid profile; integration must establish that its gain survives the complete caller.",
+    "existing_checks": [
+      {
+        "evidence": "research/r437-two-window-carrier/README.md",
+        "remaining": "Pooled compiler/request rebind, physical caller and precision/stock admission.",
+        "scope": "PR #4067: source-bound two-window carrier with (2,2) to (1,3) paid exchange and fixed OQ4 host.",
+        "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129",
+        "source_commit": "a95f11c52e3ca1e4c5171b3c20d8f4b0815aee2e",
+        "status": "author-checked"
+      },
+      {
+        "evidence": "research/r437-reverse-row-coefficient/README.md",
+        "remaining": "Use the exact coefficient in a caller-bound precision/stock proof rather than repeat the arithmetic.",
+        "scope": "PR #4147: reverse row coefficient follow-up.",
+        "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129",
+        "source_commit": "72e7bb797adf82aeb525a399f56ab8adbab8e93c",
+        "status": "author-checked"
+      }
+    ],
+    "first_experiment": "Choose one unclaimed obligation: pooled compiler codebook/request alignment, actual physical caller, or precision/stock envelope using the already reported reverse coefficient. Pin the input and receiver, preserve dirty/source windows, and test one binding with a rejection control. Stop at unresolved dependencies; do not rederive the coefficient or quote the local moment as a completed bound.",
+    "first_step": {
+      "command": [
+        "python3",
+        "-B",
+        "scripts/research_baseline.py"
+      ],
+      "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY",
+      "inspect": "Read #4067 paid profile and open integration obligations; #4147 covers the reverse row coefficient. Three additional ADDs per call and all helpers remain charged. This is not a selected supplier.",
+      "scope": "Source-binding orientation only; no scientific replay, theorem acceptance or supplier admission. Budget any heavy replay separately."
+    },
+    "id": "r437-carrier-integration",
+    "methods": [
+      "Close one compiler/request, caller or precision/stock implication for the pinned paid exchange.",
+      "Falsify that exact interface with an arbitrary-dirty-state or chronology counterexample."
+    ],
+    "overlap_terms": [
+      "R437",
+      "two-window carrier",
+      "4067",
+      "4147",
+      "pooled compiler",
+      "request alignment",
+      "reverse row coefficient"
+    ],
+    "question": "Can the paid R437 two-window carrier improvement be admitted by the actual pooled compiler and physical caller?",
+    "scope_change_triggers": [
+      "Ignoring added ADDs, retaining an obsolete reverse coefficient, or declaring global admission from the local histogram."
+    ],
+    "starting_points": [
+      "docs/research/research-family-status.md",
+      "certificates/selected-result.json",
+      "research/r437-two-window-carrier/README.md",
+      "research/r437-reverse-row-coefficient/README.md"
+    ]
+  },
+  "outcome": "completed",
+  "overlap": {
+    "checked_at": "2026-10-22T16:48Z",
+    "discussion_records": 3624,
+    "limits": "Cached titles/bodies/comments and local notes; excludes code diffs, closed remote PRs and unpublished work. No novelty or reservation guarantee. All 5860 tracked local notes covered; total includes four notes from this work. Parent refreshed canonical main unchanged at b58ad9ef4d4e861b0eaa5dba41742bdc072dca51 and PR4685 head unchanged at ca336bd72aff54e025a8ddbb1f3c8b756d9b9631.",
+    "local_notes": 5864,
+    "tracked_local_notes": 5860,
+    "open_prs": 469
+  },
+  "predecessors": [
+    {
+      "author": "Nick Petalas",
+      "pr": 3246,
+      "scope": "Already-main one-factor stock theorem, not a new result here."
+    },
+    {
+      "author": "Mihir Srivastava",
+      "head": "ca336bd72aff54e025a8ddbb1f3c8b756d9b9631",
+      "pr": 4685,
+      "scope": "Arithmetic descendant handoff; citation only, no pending-head runtime dependency."
+    },
+    {
+      "author": "Chris R / Clear1nsight",
+      "prs": [
+        4067,
+        4176
+      ],
+      "scope": "Carrier, source compiler, numerical entry and physical boundary."
+    },
+    {
+      "author": "unpaidmoon",
+      "pr": 4147,
+      "scope": "Retained reverse-row coefficient."
+    },
+    {
+      "authors": [
+        "Jose Manuel / jmbarrancoml",
+        "David Arias"
+      ],
+      "prs": [
+        2809,
+        2753
+      ],
+      "scope": "Physical/logical caller."
+    },
+    {
+      "author": "Ross Richardson",
+      "pr": 2420,
+      "scope": "Stronger dual-format stock distinction."
+    },
+    {
+      "author": "commdata2338",
+      "pr": 3223,
+      "scope": "NODE/peel/row-return refinement."
+    },
+    {
+      "authors": [
+        "Tekalign",
+        "Rohan Arun",
+        "ai-nanachi",
+        "ywz65"
+      ],
+      "scope": "Spectator geometry, pooling, R437/OQ4 and inherited source/hosting lineage."
+    }
+  ],
+  "priority_revision": 7,
+  "publication": "No public Discussion claim was posted. Upstream PR creation requires operator approval; publication status is reported in the handoff.",
+  "schema_version": 1,
+  "scope_change_reason": "The #4682/#4685 handoff requests actual Program STEP and Machine.prepare_child row correspondence; full supplier admission and the already-main #3246 stock theorem are not new claims.",
+  "scope_status": "refined",
+  "stop_rule": "Stop at the exact conditional metadata edge and semantic mutation controls; no full GL expansion, full payload, rank14 fixture or frontier replay.",
+  "task_id": "r437-carrier-integration"
+}
diff --git a/research/r437-root-step-handoff/VERIFY.json b/research/r437-root-step-handoff/VERIFY.json
new file mode 100644
index 0000000000..e1e1267c74
--- /dev/null
+++ b/research/r437-root-step-handoff/VERIFY.json
@@ -0,0 +1,219 @@
+{
+  "schema_version": 1,
+  "status": "ready",
+  "python": "3.12",
+  "requirements": [],
+  "inputs": [
+    "research/r437-carrier-integration/admission.py",
+    "research/r437-carrier-integration/compiler.py",
+    "research/r437-carrier-integration/numerical.py",
+    "research/r437-pooled-native-interface/SOURCES.json",
+    "research/r437-pooled-native-interface/adapter.py",
+    "research/r437-pooled-native-interface/check_transport.py",
+    "research/r437-pooled-native-interface/inputs/EXPECTED.json",
+    "research/r437-pooled-native-interface/inputs/catalogue.py",
+    "research/r437-pooled-native-interface/inputs/geometry.json.gz",
+    "research/r437-pooled-native-interface/inputs/moves.json",
+    "research/r437-pooled-native-interface/inputs/template.json.gz",
+    "research/r437-pooled-native-interface/inputs/word.json.gz",
+    "research/r437-pooled-native-interface/pooled_compiler.py",
+    "research/r437-preparation-composition/POOLED-SOURCES.json",
+    "research/r437-preparation-composition/PREDECESSORS.json",
+    "research/r437-preparation-composition/vendor/certificates/selected-result.json",
+    "research/r437-preparation-composition/vendor/research/community-hyperplane599-audit/pr589/bit589/v9/hosted/GLOBAL-TEMPLATE.json.gz",
+    "research/r437-preparation-composition/vendor/research/community-hyperplane599-audit/pr589/bit589/v9/nine/GEOMETRY.json",
+    "research/r437-preparation-composition/vendor/research/e8-bit-p111-tuned/tune/EXPECTED.json",
+    "research/r437-preparation-composition/vendor/research/e8-bit-p111-tuned/tune/bitE8mut-p111-tuned.json.gz",
+    "research/r437-preparation-composition/vendor/research/physical-compiler-correspondence/README.md",
+    "research/r437-preparation-composition/vendor/research/physical-compiler-correspondence/owners.py",
+    "research/r437-preparation-composition/vendor/research/pr589-five-helper-hosting/PROOF.md",
+    "research/r437-preparation-composition/vendor/research/pr589-five-helper-hosting/verify.py",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/.gitattributes",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/PROOF.md",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/README.md",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/RESULT.json",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/SOURCES.json",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/TASK.json",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/VALIDATION.md",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/VERIFY.json",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/adapter.py",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/check_interface.py",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/check_transport.py",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/EXPECTED.json",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/catalogue.py",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/geometry.json.gz",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/moves.json",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/template.json.gz",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/inputs/word.json.gz",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/pooled_compiler.py",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/replica_catalogue.py",
+    "research/r437-preparation-composition/vendor/research/r437-pooled-native-interface/verify.py",
+    "research/r437-preparation-composition/vendor/research/recursive-parking-boundary/README.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-local-ring-sweeps/PROOF.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/PROOF.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/README.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/RESULT.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/SNAPSHOTS.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/SOURCES.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/TASK.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/VALIDATION.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/VERIFY.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/continuation_checks.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/frame_checks.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/EVIDENCE.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/PREDECESSOR.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/PROOF.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/README.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/RESULT.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/SOURCES.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/TASK.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/VALIDATION.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/VERIFY.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/bootstrap.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_layout.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_nested_model.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_recursion.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_runtime.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_sign.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/check_sources.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/consumer.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/control_checks.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/driver.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/NOTICE.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-NOTICE.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2688-PROOF.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2708-README.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/evidence/pr2731-README.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/layout.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/linear_sign.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/node.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/packet_engine.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/peel.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/NOTICE.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/PROOF.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/README.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/RESULT.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/SOURCES.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/TASK.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/VERIFY.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/cardinal_counts.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/catalogue.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_headers.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_layout.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_runtime.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/check_sources.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/consumer.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/control.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/control_checks.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/driver.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/fresh_rows.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/layout.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/model.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/node.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/packet_engine.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/peel.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/topology.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/binding.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/bitstream.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/cardinality.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/check_support.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/children.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/controller.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/counts.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/directory.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/episode.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/forms.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/low_codes.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/matrices.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/numeric.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/oracle.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/packet.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/plan.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/records.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/residual.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/routes.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/selection.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/sources.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/stream_runner.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/trace.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/vendor/words.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/predecessor/verify.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/recursive_call.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/scheduler.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/stream_runner.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/trace.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2753/verify.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/NOTICE.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/PROOF.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/README.md",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/RESULT.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/SOURCES.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/TASK.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/VERIFY.json",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/checks.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/codec.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/vendor/parking_machine.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/vendor/pr2753_recursive_call.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/vendor/words.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/inputs/pr2769/verify.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/loader.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_binding.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_checks.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_code.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_controls.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_local_checks.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_machine.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/macro_selected_checks.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/nested_bank_checks.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/numerical_frame.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/residual_blocks.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/role_parking.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/scratch_pool.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-physical-caller/verify.py",
+    "research/r437-preparation-composition/vendor/research/selected-bit-recursive-closure/PROOF.md",
+    "research/r437-preparation-composition/vendor/upstream/build/sections/02-streams.tex",
+    "research/r437-two-window-carrier/CANDIDATE-TEMPLATE.json",
+    "research/r437-two-window-carrier/CANDIDATE.json",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-000.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-001.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-002.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-003.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-004.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-005.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-006.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-007.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-008.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-009.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-010.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-011.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-012.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-013.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-014.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-015.bin",
+    "research/r437-two-window-carrier/candidate-template-chunks/part-016.bin"
+  ],
+  "commands": [
+    {
+      "argv": [
+        "{python}",
+        "-I",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "timeout_seconds": 600,
+      "checks": "Authenticated historical closure, actual source-bound conditional root STEP/capsule, exact symbolic counts/geometry, independent parser and semantic rejection controls; compare required receipt."
+    },
+    {
+      "argv": [
+        "{python}",
+        "-I",
+        "-O",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "timeout_seconds": 600,
+      "checks": "Same deterministic certificate and all explicit-exception controls with Python assertions disabled; compare required receipt."
+    }
+  ]
+}
diff --git a/research/r437-root-step-handoff/verify.py b/research/r437-root-step-handoff/verify.py
new file mode 100755
index 0000000000..43c6ccbfcb
--- /dev/null
+++ b/research/r437-root-step-handoff/verify.py
@@ -0,0 +1,534 @@
+#!/usr/bin/env python3
+"""Conditional original-root metadata edge; codyw912 / OpenAI Codex, Apache-2.0."""
+import argparse
+import ast
+import copy
+from dataclasses import replace
+from hashlib import sha256, sha1
+import json
+import os
+from pathlib import Path
+import subprocess
+import sys
+import tempfile
+from types import FunctionType, MethodType, SimpleNamespace
+
+HERE = Path(__file__).resolve().parent
+ROOT = HERE.parents[1]
+BASE = "b58ad9ef4d4e861b0eaa5dba41742bdc072dca51"
+PREP = "research/r437-preparation-composition"
+MARKER = "PASS_R437_CONDITIONAL_ROOT_STEP_HANDOFF"
+
+
+def need(ok, message):
+    if not ok:
+        raise ValueError(message)
+
+
+def canonical(value):
+    return json.dumps(value, sort_keys=True, separators=(",", ":"))
+
+
+def digest(data):
+    return sha256(data).hexdigest()
+
+
+def reject(label, operation, controls):
+    try:
+        operation()
+    except ValueError:
+        controls.append(label)
+    else:
+        raise ValueError("accepted negative control: " + label)
+
+
+def authenticated_closure(destination):
+    manifest = json.loads((HERE / "SOURCES.json").read_bytes())
+    need(manifest["base_commit"] == BASE, "canonical source base")
+    env = dict(os.environ, GIT_NO_REPLACE_OBJECTS="1")
+    inputs = set(json.loads((HERE / "VERIFY.json").read_bytes())["inputs"])
+    mappings = {}
+    for row in manifest["files"]:
+        name = row["path"]
+        path = ROOT / name
+        if row["usage"] == "provenance":
+            data = subprocess.check_output(["git", "cat-file", "blob", BASE + ":" + name], cwd=ROOT, env=env)
+        else:
+            need(name in inputs, "declared live input")
+            need(not any(p.is_symlink() for p in (path, *path.parents)), "no input symlinks")
+            data = path.read_bytes()
+        need(digest(data) == row["sha256"], "source SHA256: " + name)
+        need(sha1(b"blob " + str(len(data)).encode() + b"\0" + data).hexdigest() == row["git_blob"], "source Git blob: " + name)
+        if "mapped_path" in row:
+            target = row["mapped_path"]
+            need(not Path(target).is_absolute() and ".." not in Path(target).parts, "relative closure mapping")
+            need(target not in mappings or mappings[target] == data, "overlapping mappings have identical bytes")
+            mappings[target] = data
+    pins = json.loads((ROOT / PREP / "PREDECESSORS.json").read_bytes())
+    raw = (ROOT / PREP / "POOLED-SOURCES.json").read_bytes()
+    need(digest(raw) == pins["pooled_manifest_sha256"], "authenticated historical inventory")
+    rows = json.loads(raw)
+    expected = {r["path"]: r["sha256"] for r in rows}
+    need(len(rows) == len(expected) == 154, "exact 154-file archive")
+    dirs = {str(p) for name in expected for p in Path(name).parents if str(p) != "."}
+    vendor = ROOT / PREP / "vendor"
+    need(vendor.is_dir() and not vendor.is_symlink(), "regular historical root")
+    files_seen, dirs_seen = set(), set()
+    for path in vendor.rglob("*"):
+        need(not path.is_symlink(), "no historical links")
+        name = path.relative_to(vendor).as_posix()
+        if path.is_dir():
+            dirs_seen.add(name)
+        else:
+            need(path.is_file(), "regular historical file")
+            files_seen.add(name)
+    need(files_seen == set(expected) and dirs_seen == dirs, "exact historical files and directories")
+    for name, pin in expected.items():
+        need(digest((vendor / name).read_bytes()) == pin, "historical source bytes")
+        need(name in mappings and digest(mappings[name]) == pin, "historical mapping preserved")
+    need(digest(mappings["certificates/selected-result.json"]) == "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", "accepted historical runtime selection")
+    for name, data in mappings.items():
+        target = destination / name
+        target.parent.mkdir(parents=True, exist_ok=True)
+        target.write_bytes(data)
+    return len(mappings)
+
+
+def word_value(word):
+    raw = bytes(word.cells)
+    need(raw[0] == 2 and raw[-1] == 3 and all(b in (0, 1) for b in raw[1:-1]), "independent word grammar")
+    return sum(bit << i for i, bit in enumerate(raw[1:-1]))
+
+
+def parse_program(raw, index_bits, residue_bits, code_bits):
+    """Independent parser: never calls Program.root/step or constructor helpers."""
+    need(raw and raw[0] == 2, "program left boundary")
+    position = 1
+    spans = {}
+
+    def symbol(expected):
+        nonlocal position
+        need(position < len(raw) and raw[position] == expected, "program tag/delimiter")
+        position += 1
+
+    def integer(bits, name):
+        nonlocal position
+        start = position
+        cells = raw[position:position + bits]
+        need(len(cells) == bits and all(b in (0, 1) for b in cells), "program binary field")
+        position += bits
+        symbol(5)
+        spans[name] = (start, bits)
+        return sum(b << i for i, b in enumerate(cells))
+
+    symbol(7)
+    root = [integer(index_bits, "root_size"), integer(residue_bits, "root_unit"), integer(index_bits, "history")]
+    symbol(6)
+    steps = []
+    while position < len(raw) and raw[position] != 4:
+        symbol(8)
+        metadata = [integer(code_bits if i == 1 else 16, "step_" + name) for i, name in enumerate(("kind", "code", "rank", "field", "reverse", "half"))]
+        parent = integer(index_bits, "parent_width")
+        child = integer(index_bits, "child_width")
+        symbol(6)
+        steps.append(metadata + [parent, child])
+    need(all(b == 4 for b in raw[position:]), "no trailing program data")
+    need(root[2] == len(steps), "exact serialized history")
+    return root, steps, spans
+
+
+def check_program(raw, Q, code, child=True):
+    root, steps, spans = parse_program(raw, 13, 255, Q)
+    need(root == [2048, 1, int(child)], "unchanged original root size/unit and chronological history")
+    expected = [[0, code, 2, 0, 0, 0, 2048, 64]] if child else []
+    need(steps == expected, "exact source-bound GOOD root-to-64 STEP")
+    return spans
+
+
+# A symbolic count has a canonical expression c*A^a*q^b, not a unique integer
+# factorization. A is fixed as 28416*|GL64(q)|*q^4096. This is NOT Count's
+# binary integer encoding and cannot be used as a production packet count.
+def monomial(c=1, a=0, b=0):
+    need(type(c) is int and c > 0 and type(a) is int and a >= 0 and type(b) is int and b >= 0, "positive symbolic monomial")
+    return (c, a, b)
+
+
+def product(x, y):
+    return monomial(x[0] * y[0], x[1] + y[1], x[2] + y[2])
+
+
+def count_codec(records):
+    class SymbolicCount:
+        def __init__(self, value):
+            self.value = decode(value.tape) if hasattr(value, "tape") else monomial(*value)
+            self.tape = encode(self.value)
+
+        @classmethod
+        def literal(cls, n):
+            return cls(monomial(n))
+
+        @classmethod
+        def product(cls, x, y):
+            return cls(product(decode(x.tape), decode(y.tape)))
+
+        def marginal(self):
+            return type(self)(self)
+
+        def close(self):
+            self.tape.clear()
+
+    def encode(value):
+        # Separate symbolic transport grammar: UTF-8 JSON carried as bits.
+        data = canonical(["symbolic-count-v1", *value]).encode()
+        out = records.Tape()
+        for byte in data:
+            for i in range(8):
+                out.append((byte >> i) & 1)
+        out.rewind()
+        return out
+
+    def decode(tape):
+        bits = bytes(tape.cells)[1:]
+        if 4 in bits:
+            bits = bits[:bits.index(4)]
+        need(len(bits) % 8 == 0 and all(b in (0, 1) for b in bits), "symbolic port bit grammar")
+        raw = bytes(sum(bits[j + i] << i for i in range(8)) for j in range(0, len(bits), 8))
+        value = json.loads(raw)
+        need(value[0] == "symbolic-count-v1" and len(value) == 4, "symbolic port version")
+        result = monomial(*value[1:])
+        need(raw == canonical(["symbolic-count-v1", *result]).encode(), "canonical symbolic port")
+        return result
+
+    return SymbolicCount, encode, decode
+
+
+def regional_residual(cat, top, binding, source, low):
+    """Extract unchanged production nested emitter, not a surrogate event."""
+    import macro_code
+    from control import LocalState
+    call = top.call(0, 0)
+    state = LocalState(call)
+    role = None
+    for position in range(source["position"] + 1):
+        opcode, role = state.accept(position)
+    need(opcode == 0 and call.requests[source["position"]] == source["identifier"], "literal LocalState MOVE dispatch")
+    text = Path(macro_code.__file__).read_bytes()
+    tree = ast.parse(text)
+    outer, = [n for n in tree.body if isinstance(n, ast.FunctionDef) and n.name == "compile_node"]
+    nested, = [n for n in outer.body if isinstance(n, ast.FunctionDef) and n.name == "residual"]
+    operations = []
+    namespace = dict(vars(macro_code), operations=operations, binding=binding, mode=0)
+    exec(compile(ast.Module(body=[nested], type_ignores=[]), macro_code.__file__, "exec"), namespace)
+    namespace["residual"](("stage", role), source["identifier"], True, low)
+    need([r[0] for r in operations] == ["residual_begin", "block", "block", "block", "residual_end"], "actual good residual grammar")
+    definition = operations[0][2]
+    need(operations[2][1] is definition and operations[2][2] == ("good", 1, 0), "literal emitted GOOD block")
+    return definition, operations[2][2], {"module_sha256": digest(text), "function": "compile_node.residual", "lines": [nested.lineno, nested.end_lineno], "stage_role": role, "operation_tags": [r[0] for r in operations]}
+
+
+def install_ordinal_counts(codes):
+    """Sum the literal codec's skipped candidates; preserve its GL ordering."""
+    import low_codes
+
+    def prefix(constraints, reduced, stop, total):
+        if constraints.inconsistent:
+            excluded = 0
+        elif reduced[2] is not None:
+            excluded = stop * constraints.q ** (len(constraints.rows) - len(constraints.basis) - 1)
+        else:
+            excluded = int(reduced[1] < stop) * constraints.q ** (len(constraints.rows) - len(constraints.basis))
+        return stop * total - excluded
+
+    def rank(self, rows, vector):
+        constraints, ordinal = low_codes.Constraints(rows, self.q), 0
+        for column, value in enumerate(vector):
+            reduced = constraints.next(column)
+            ordinal += prefix(constraints, reduced, value, self.q ** (self.dimension - column - 1))
+            constraints.choose(reduced, value)
+        need(constraints.inconsistent, "independent low row")
+        return ordinal
+
+    def unrank(self, rows, ordinal):
+        constraints, vector = low_codes.Constraints(rows, self.q), []
+        for column in range(self.dimension):
+            reduced = constraints.next(column)
+            total = self.q ** (self.dimension - column - 1)
+            need(0 <= ordinal < prefix(constraints, reduced, self.q, total), "low-row rank range")
+            lo, hi = 0, self.q
+            while lo < hi:
+                mid = (lo + hi) // 2
+                if prefix(constraints, reduced, mid + 1, total) <= ordinal:
+                    lo = mid + 1
+                else:
+                    hi = mid
+            need(lo < self.q, "low-row rank range")
+            ordinal -= prefix(constraints, reduced, lo, total)
+            constraints.choose(reduced, lo)
+            vector.append(lo)
+        need(ordinal == 0 and constraints.inconsistent, "complete independent low row")
+        return tuple(vector)
+
+    finite = low_codes.LowCodes(3, 2)
+    import itertools
+    vectors = list(itertools.product(range(3), repeat=2))
+    checks = []
+    prefixes = [[]] + [[v] for v in vectors if v != (0, 0)]
+    for rows in prefixes:
+        for vector in vectors:
+            try:
+                original = finite.vector_rank(rows, vector)
+            except ValueError:
+                reject("dependent_row", lambda r=rows, v=vector: rank(finite, r, v), checks)
+            else:
+                need(rank(finite, rows, vector) == original, "ordinal prefix sum matches exhaustive codec")
+                need(unrank(finite, rows, original) == finite.vector_unrank(rows, original) == vector, "ordinal inverse matches exhaustive codec")
+        total = 3**2 - 3**len(rows)
+        for ordinal in range(total):
+            need(unrank(finite, rows, ordinal) == finite.vector_unrank(rows, ordinal), "all finite inverse intervals including plateaus")
+        for ordinal in (-1, total):
+            reject("invalid_ordinal", lambda r=rows, o=ordinal: unrank(finite, r, o), checks)
+    codes.vector_rank = MethodType(rank, codes)
+    codes.vector_unrank = MethodType(unrank, codes)
+    # Repeated source resolution has the same complete GL ordinal. Cache only
+    # exact pure codec results, never source authentication or admission.
+    from functools import lru_cache
+    codes.rank = lru_cache(maxsize=32)(codes.rank)
+    codes.unrank = lru_cache(maxsize=32)(codes.unrank)
+
+
+def child_worker(closure):
+    sys.path.insert(0, str(closure / "research/r437-carrier-integration"))
+    import admission
+    import compiler
+    import numerical
+    cat, top = admission.load_certified("D")
+    admission.authenticate_certified(cat)
+    install_ordinal_counts(cat.codes)
+    from catalogue import Specifications
+    import oracle
+    import macro_binding
+    import macro_machine
+    import records
+    import words
+    import numeric
+    import layout
+    import residual_blocks
+    from cardinal_counts import Count
+
+    controls = []
+    source = compiler.early_source87(cat, top, 0, 0)
+    key = tuple(source["key"])
+    need(key[:3] == ("MOVE", 0, 0), "actual stage0 replica0 MOVE")
+    preparation = oracle.reduce_rational(cat.template_for(source["identifier"], True).preparation, cat.q)
+    low = tuple(map(tuple, oracle.inverse(preparation, cat.q)))
+    identity = tuple(tuple(int(i == j) for j in range(64)) for i in range(64))
+    need(tuple(map(tuple, oracle.multiply(low, preparation, cat.q))) == identity, "source-derived good common low class")
+    specs = Specifications(cat)
+    handle = compiler.source_handle(cat, source["identifier"], True, low)
+
+    def source_check(h, table=specs):
+        need(h.request_key == key, "expected actual caller request")
+        identifier, common, decoded = cat.codes.decode(h.code)
+        need(common is True and decoded == low and identifier == source["identifier"], "exact common source and low class")
+        spec = compiler.resolve_handle(cat, table, h)
+        need(spec.good and spec.template.rank == 2, "source-bound good rank two")
+        return spec
+
+    spec = source_check(handle)
+    Q = cat.codes.bits
+    q = cat.q
+    need(q == 2**127 - 1, "named original prime")
+    numerical.check_root_domain(2048, 2048, 2, 0, q, 255, 13, Q)
+    numerical.check_fallback(q, [2])
+    need(Q == (2 * len(cat.requests) * numerical.gl_order(q) - 1).bit_length(), "actual complete source Q")
+    need(top.families == numerical.W == 28416 and cat.dimension == 64, "actual fresh-row family and dimension factors")
+    need(cat.codes.size == numerical.gl_order(q), "actual GL low-class cardinality")
+    need(numerical.STOCK_MULTIPLIER == 9475 * top.families, "retained conservative stock coefficient")
+    # Exact symbolic stock; no numerical Count or gigantic payload is claimed.
+    D = numerical.depth(2048)
+    need(D >= 2 and numerical.depth(64) == 1, "remaining depth distinct from stored history")
+    old_rows = monomial(9475**D, D, 0)
+    sharp_rows = monomial(9475, D, 0)
+    unused = monomial(9475**D, D - 1, 0)
+    need(product(unused, monomial(1, 1, 0)) == old_rows and unused[0] % 9475 == 0, "exact parent quotient and local stock")
+    need(sharp_rows[0] % old_rows[0] != 0, "sharp theorem is not stronger old root guard")
+
+    other = compiler.early_source87(cat, top, 0, 1)
+    wrong_replica = compiler.source_handle(cat, other["identifier"], True, low)
+    reject("valid_other_replica", lambda: source_check(replace(wrong_replica, request_key=key)), controls)
+    reject("native_instead_of_common", lambda: source_check(compiler.source_handle(cat, source["identifier"], False, low)), controls)
+    reject("stale_source_identity", lambda: source_check(replace(handle, identity="0" * 64)), controls)
+    reject("foreign_specifications_catalogue", lambda: source_check(handle, Specifications(copy.copy(cat))), controls)
+
+    binding = macro_binding.SelectedBinding(specs)
+    definition, block, emitter = regional_residual(cat, top, binding, source, low)
+    need(definition.code == handle.code and definition.common and definition.plan.good and definition.plan.rank == 2, "emitted definition binds actual source")
+    ia, ra = words.Arena(13, 512), words.Arena(255, 512)
+    modulus = ra.literal(q**2)
+    ring = words.Ring(modulus)
+    program = records.Program(ia, ra, Q)
+    program.tape.append(records.ROOT)
+    for arena, value in ((ia, 2048), (ra, 1), (ia, 0)):
+        word = arena.literal(value)
+        records.append_word(program.tape, word)
+        arena.free(word)
+    program.tape.append(records.RECORD_END)
+    program.tape.rewind()
+    root_bytes = bytes(program.tape.cells)
+    check_program(root_bytes, Q, handle.code, child=False)
+    # One canonical member of the directory producer's domain, NOT its output.
+    # h=0 has one empty old prefix; 4096 zero high digits each lie in [0,q).
+    fields_record = records.Fields.fixture(ia, ra, [(handle.code, [[0] * 64 for _ in range(64)])], Q)
+    need(0 < q == (q**2) // q, "zero raw high-field membership")
+    size, depth, columns, fields = [ia.literal(n) for n in (2048, 0, 32, 1)]
+    page = numeric.Geometry(definition.plan, ia, columns, depth, handle.code, program)
+    trace = residual_blocks.events(page, block)
+    event = next(trace)
+
+    def event_check(e):
+        need(e.kind == "enter" and e.parent_identity is program, "exact parent Program identity")
+        need(e.source_code == definition.code == handle.code, "event source identity")
+        need((word_value(e.first), word_value(e.second), word_value(e.width), word_value(e.depth)) == (0, 4032, 64, 1), "literal root child geometry/depth")
+        need(e.child_kind == "good" and e.field == 0 and not e.reverse and not e.half, "GOOD event metadata")
+        need(word_value(e.width) >= 64, "recursive cutoff")
+
+    event_check(event)
+    other_program = records.Program(ia, ra, Q)
+    from directory import append_tape
+    append_tape(program.tape, other_program.tape)
+    other_program.tape.rewind()
+    reject("equal_bytes_distinct_parent_program", lambda: event_check(replace(event, parent_identity=other_program)), controls)
+    for name, value in (("width", 65), ("depth", 2)):
+        mutant_word = ia.literal(value)
+        reject("event_" + name, lambda n=name, v=mutant_word: event_check(replace(event, **{n: v})), controls)
+        ia.free(mutant_word)
+    reject("event_source", lambda: event_check(replace(event, source_code=wrong_replica.code)), controls)
+    # Use an actual emitted below-cutoff event, not an invented namespace.
+    leaf_columns = ia.literal(1)
+    leaf_page = numeric.Geometry(definition.plan, ia, leaf_columns, depth, handle.code, program)
+    leaf_trace = residual_blocks.events(leaf_page, block)
+    leaf_event = next(leaf_trace)
+    need(word_value(leaf_event.width) == 2, "literal below-cutoff width")
+    reject("below_cutoff_false_recursion", lambda: need(word_value(leaf_event.width) >= 64, "recursive cutoff"), controls)
+    leaf_trace.close()
+    leaf_page.close()
+    ia.free(leaf_columns)
+
+    SymbolicCount, encode, decode = count_codec(records)
+    # Execute the ORIGINAL Layout geometry/control with only Count arithmetic
+    # replaced by exact symbolic products and q^(w*atom_count).
+    def positive(value):
+        monomial(*decode(value.tape))
+
+    def atom_power(value, atoms, supplied_ring, supplied_q):
+        need(supplied_ring is ring and supplied_q == q, "symbolic geometry original field")
+        old = decode(value.tape)
+        value.tape.clear()
+        value.value = monomial(old[0], old[1], old[2] + 2 * word_value(atoms))
+        value.tape = encode(value.value)
+
+    globals_adapter = dict(vars(layout), Count=SymbolicCount, positive=positive, multiply_atom_power=atom_power)
+    adapted_init = FunctionType(layout.Layout.__init__.__code__, globals_adapter)
+    adapted_extents = FunctionType(layout.Layout.child_extents.__code__, globals_adapter)
+    geometry = object.__new__(layout.Layout)
+    B, G, S = [SymbolicCount.literal(n) for n in (2, 3, 5)]
+    adapted_init(geometry, page, size, ring, q, B, G, S, True)
+    geometry.child_extents = lambda first, second, width, *, before: adapted_extents(geometry, first, second, width, before=before)
+    machine = object.__new__(macro_machine.Machine)
+    machine.indices, machine.arena, machine.binding = ia, ra, binding
+    machine.size, machine.depth, machine.program = size, depth, program
+    machine.context = SimpleNamespace(ring=ring)
+    machine.roles = {name: records.Tape() for name in macro_machine.NAMES}
+    machine.handoff = {name: records.Tape() for name in macro_machine.CAPSULE}
+    machine.roles["directory"] = fields_record.tape
+    machine.roles["unused"] = encode(unused)
+    machine.roles["rows"] = encode(old_rows)
+    machine.roles["leading"] = encode(product(unused, monomial(2)))
+    machine.roles["before"] = B.tape
+    machine.roles["prefixes"] = encode(monomial(1, 0, 4096))
+    # Empty source is a typed placeholder at a metadata boundary, NOT payload.
+    # The capsule's source port is copied literally, but no payload claim follows.
+    expected_input = {name: bytes(machine.roles[src].cells) for name, src in (("source", "current"), ("old_directory", "directory"), ("old_count", "prefixes"), ("rows", "unused"))}
+    grants = machine.prepare_child(definition, event, geometry, fields)
+    child_bytes = bytes(machine.handoff["program"].cells)
+    spans = check_program(child_bytes, Q, handle.code)
+    need(bytes(program.tape.cells) == root_bytes, "original root Program preserved")
+    for name, raw in expected_input.items():
+        need(bytes(machine.handoff[name].cells) == raw, "literal capsule port " + name)
+    expected_extents = (monomial(2), monomial(3, 0, 7936), monomial(5))
+    actual_extents = tuple(decode(machine.handoff[name]) for name in ("before", "gap", "suffix"))
+
+    def check_rows(rows):
+        need(product(rows, monomial(1, 1, 0)) == old_rows, "child rows are exact parent/A, not just divisible")
+
+    def check_extents(extents):
+        need(extents == expected_extents, "all three ordered complete spectators")
+        volume = product(product(extents[0], extents[1]), extents[2])
+        need(product(volume, monomial(1, 0, 4 * 64)) == monomial(30, 0, 4 * 2048), "complete parent/child spectator volume")
+
+    check_rows(decode(machine.handoff["rows"]))
+    check_extents(actual_extents)
+    need(tuple(map(word_value, grants)) == (q**2, 64, 1), "literal unchanged modulus and event grants")
+    reject("doubled_child_rows", lambda: check_rows(product(unused, monomial(2))), controls)
+    reject("leading_instead_of_unused_B_gt_one", lambda: check_rows(decode(machine.roles["leading"])), controls)
+    for label, mutant in (("missing_external_gap", (monomial(2), monomial(1, 0, 7936), monomial(5))), ("doubled_external_gap", (monomial(2), monomial(6, 0, 7936), monomial(5))), ("missing_unselected_atoms", (monomial(2), monomial(3), monomial(5))), ("missing_before", (monomial(1), expected_extents[1], monomial(5))), ("missing_suffix", (monomial(2), expected_extents[1], monomial(1)))):
+        reject(label, lambda m=mutant: check_extents(m), controls)
+    for label, value in (("root_size", 64), ("root_unit", 2), ("history", 2), ("step_rank", 3), ("step_code", wrong_replica.code), ("parent_width", 64), ("child_width", 2), ("step_field", 1)):
+        raw = bytearray(child_bytes)
+        start, bits = spans[label]
+        raw[start:start + bits] = bytes((value >> i) & 1 for i in range(bits))
+        reject("serialized_" + label, lambda r=bytes(raw): check_program(r, Q, handle.code), controls)
+    for label, args in (("child_reset_precision", (2048, 64, 1, 1, q, 128, 13, Q)), ("root_index_reset", (2048, 64, 2, 1, q, 255, 8, Q)), ("root_modulus_changed", (2048, 2048, 2, 0, 3, 5, 13, Q))):
+        reject(label, lambda a=args: numerical.check_root_domain(*a), controls)
+    trace.close()
+    geometry.close()
+    page.close()
+    return {
+        "schema": "r437-conditional-original-root-step-v1",
+        "base_commit": BASE,
+        "runtime_selection": "historical bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129; not current orientation",
+        "count_adapter": {"source_sha256": digest(Path(__file__).read_bytes()), "algorithm": "exact excluded-prefix sums and strict-upper-bound binary search; original Constraints and encode/decode/rank/unrank guards", "finite_parity": "q3 dimension2 all independent row prefixes, all candidate rows and all ordinals; dependent rows and invalid endpoints reject", "q127_roundtrip": True},
+        "source": {"variant": "D", "request": source["identifier"], "key": list(key), "identity": cat.source_identity, "common": True, "low_sha256": digest(canonical(low).encode()), "preparation_sha256": digest(canonical(preparation).encode()), "code_bits": Q, "code_sha256": digest(handle.code.to_bytes((Q + 7) // 8, "little"))},
+        "root": {"e": 2048, "n": 2048, "h": 0, "w": 2, "L": 255, "I": 13, "Q": Q, "q": str(q), "modulus": str(q**2), "unit": 1, "program_sha256": digest(root_bytes)},
+        "emitter": emitter,
+        "edge": {"rank": 2, "first": 0, "second": 4032, "child_width": 64, "child_history": 1, "program_sha256": digest(child_bytes), "capsule_sha256": {name: digest(bytes(tape.cells)) for name, tape in sorted(machine.handoff.items())}},
+        "symbolic": {"grammar": "[c,a,b] means c*A^a*q^b; NOT production binary Count", "A": "28416*product(q^64-q^i,i=0..63)*q^4096", "D": D, "parent_rows": old_rows, "child_rows": unused, "sharp_theorem_rows": sharp_rows, "leading": product(unused, monomial(2)), "spectators": actual_extents, "directory_prefix_count": [1, 0, 4096]},
+        "controls": sorted(controls),
+        "boundary": {"literal": ["authenticated source preparation", "original nested residual emitter", "Cursor GOOD block", "residual_blocks.events", "root-only Program bytes", "child_program/Callback/children.extend", "independent Program parser", "Machine.prepare_child eight-port copies", "modulus/width/depth word copies"], "adapted": ["regional dispatch instead of complete schedule/GL expansion", "symbolic count port grammar", "Layout count arithmetic only; original geometric control", "one zero-high raw prefix member, not produced full directory", "metadata-only Machine allocation without q^2 scratch pool"], "unexecuted": ["Machine.node/block/call/run", "complete high-field directory", "forward/payload/backward operations", "physical integer row arithmetic", "supplier admission", "cost/kappa claim"]},
+    }
+
+
+def main():
+    parser = argparse.ArgumentParser(description=__doc__)
+    parser.add_argument("--worker", type=Path)
+    parser.add_argument("--write", action="store_true", help="explicitly record observed receipt in TASK.json")
+    args = parser.parse_args()
+    if args.worker is not None:
+        print(canonical(child_worker(args.worker)))
+        return
+    with tempfile.TemporaryDirectory(prefix="r437-root-step-") as directory:
+        destination = Path(directory)
+        mapped = authenticated_closure(destination)
+        # Fresh process: every imported ROOT naturally resolves inside closure.
+        # No preexisting bytecode exists there; isolate any other cache namespace.
+        command = [sys.executable, "-I", "-B"]
+        if sys.flags.optimize:
+            command.append("-O")
+        command += ["-X", "pycache_prefix=" + str(destination / "cache"), str(Path(__file__).resolve()), "--worker", str(destination)]
+        run = subprocess.run(command, cwd=destination, text=True, capture_output=True, timeout=580)
+        need(run.returncode == 0, "isolated worker failed:\n" + run.stderr)
+        receipt = json.loads(run.stdout)
+        receipt["mapped_source_files"] = mapped
+        task_path = HERE / "TASK.json"
+        task = json.loads(task_path.read_bytes())
+        if args.write:
+            task["expected_receipt"] = receipt
+            task_path.write_text(json.dumps(task, indent=2, sort_keys=True) + "\n")
+        else:
+            need(task.get("expected_receipt") == receipt, "observed receipt differs or is absent; explicit --write is required once")
+        print(canonical(receipt))
+        print(MARKER)
+
+
+if __name__ == "__main__":
+    main()