diff --git a/research/coupled-cap740-grid35/CLAIM.json b/research/coupled-cap740-grid35/CLAIM.json
new file mode 100644
index 0000000000..87cacd0dd1
--- /dev/null
+++ b/research/coupled-cap740-grid35/CLAIM.json
@@ -0,0 +1,25 @@
+{
+  "baseline_head": "f2927a4b8afcf0701a6b945e14f30de1d94f5176",
+  "baseline_pr": 3148,
+  "complex_lower": "8648887473392985059434518284089/5000000000000000000000000000000000",
+  "endpoint_digits": 35,
+  "fresh_native_replay": false,
+  "gain": "903656817800000000000099999999999000000000000099999999999/1000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+  "kappa": "1729777494678597011886903656817799999999999999999999998999999999999999999999999/1000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+  "physical": 663549,
+  "previous": "17297774946785970118859999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+  "private_zero_buffers": 91,
+  "profile": {
+    "1": 16376940,
+    "2": 4821840,
+    "3": 1567431,
+    "4": 679320,
+    "5": 147075,
+    "8": 53280,
+    "48": 282569
+  },
+  "scope": "Conditional fixed-supplier precision refinement; inherited physical/compiler/all-size assumptions remain",
+  "selected_frontier_changed": false,
+  "source_base": "6f100d4bb5083f8c35d96fd95a539811c62f245c",
+  "status": "CONDITIONAL_FIXED_SUPPLIER_PRECISION_REFINEMENT"
+}
diff --git a/research/coupled-cap740-grid35/NOTICE b/research/coupled-cap740-grid35/NOTICE
new file mode 100644
index 0000000000..9c53f25cdf
--- /dev/null
+++ b/research/coupled-cap740-grid35/NOTICE
@@ -0,0 +1,15 @@
+Copyright 2026 dataisfire. New work under Apache License, Version 2.0.
+Prepared with substantial OpenAI Codex assistance.
+
+No predecessor source file is changed. Source-authenticated code is executed
+from the existing repository packages, retaining their notices and licenses.
+
+Retain research/coupled-carrier-cap740/NOTICE and its vendor/PR3133-NOTICE,
+vendor/PR3133-CREDITS.md and all predecessor notices; Jeremy Diviney owns the
+T740 exchange/integration and dcharb78 owns the coupled helper folds.
+Retain research/rank7-joint-endframes/CREDITS.md and its native/geometry lineage.
+The independent moment auditor is credited to its original package authors.
+The source comments of research/gmx-t74-borrow43-handoff and the retained
+adaptive-kernel-demotion/vendor/engines/outer.py preserve the outer, arithmetic,
+prime-padding, assembly, compiler, native and BIT contributions.
+This package does not claim authorship or independent reimplementation of them.
diff --git a/research/coupled-cap740-grid35/PROOF.md b/research/coupled-cap740-grid35/PROOF.md
new file mode 100644
index 0000000000..178ecc012b
--- /dev/null
+++ b/research/coupled-cap740-grid35/PROOF.md
@@ -0,0 +1,91 @@
+# Conditional refinement and reuse boundary
+
+Let D be the literal PR3148 supplier/allocation and its complete admitted bill.
+Its paid histogram is
+
+```
+{1:16376940,2:4821840,3:1567431,4:679320,5:147075,8:53280,48:282569}.
+```
+
+Its rank mass is 65088*740; m=73 and W=896*740. For a trial saving b, the
+unchanged finite recurrence moment is
+
+    M(b) = sum_r n_r*r*(73/r)^b / (73*W).
+
+All coefficients are positive and every r<73, so M is strictly increasing.
+Both source-pinned interval engines give M(C)<1<M(C+10^-35), for
+
+    C = 0.0017297774946785970118869036568178.
+
+They additionally certify a containing 40-digit root bracket. This improves
+the endpoint certificate of the same D without asserting any new finite
+operation or changing a cost. Root arithmetic alone does not establish D.
+
+## What is reused
+
+The entire baseline package, exact native word blobs, complete admission,
+native-provider and retained-cache receipt bindings, literal allocation
+bindings and decompressed invoice are pinned. The baseline's own
+verify_release.check runs unchanged. Its native/source/receipt/status fields,
+complete T740 bill, 6660 invocation sweeps, 663549 physical families, 91 buffers
+and 1479/2048 prefix bound must pass. Its ten corruption controls still reject.
+All nine finite invoice guards are required to be the Boolean true.
+
+The finite word, frames, widths, physical roles, primitive counts and coefficient
+prefix are identical objects; the endpoint's decimal grid is a proof parameter,
+not an added scalar gate or a new physical coefficient. In particular, the
+invoice's nine fixed integer guards have no new input: no instruction, storage,
+COPY, restoration or routing cost is removed or reassigned. The changed
+recurrence inequality is checked afresh by both moment engines with the complete
+paid histogram. The unchanged assembly's _outer_witness_raw is extracted from
+the authenticated source without edits and run at C with its 2048-bit reserve,
+retained BIT endpoint and a 12-stage carried-constant bootstrap; all 47 strict
+constraints and four original rejection controls pass. Its output is a legacy
+balanced transfer point, not the final modern kappa claimed here.
+
+This reuses the *premise* that the exact source-bound native/physical evidence
+admits D at the baseline's stated conditional scope. It does not turn stored
+receipts into an independent proof of all-size, compiler, realization,
+precision/tape or analytic premises. No new cold supplier/native admission is
+claimed. If those inherited premises fail, this refinement inherits that failure.
+
+## Fresh modern outer argument
+
+Reconstruct the admitted PR3148 outer checker exactly: authenticate its original
+source hash, apply its one recorded replica-width patch, and require the exact
+admitted script hash. No predicate is deleted or weakened. Set endpoint_digits
+to 35 and regenerate all free gaps by its existing formulas:
+
+    r0 = 10^-115, delta = (1025/1024)*r0,
+    epsilon = 1-delta, beta = 1-3*delta,
+    b = C-r0, q = b-r0,
+    FLOOR = 10^81, BACKOFF = 10^-57.
+
+The checker derives its endpoint by truncating epsilon*q, rather than accepting
+the claim as an input. Its fixed-grid identity proves
+
+    K = C - 10^-81 - 10^-57.
+
+The SPEC expected.kappa field is the checker's *comparison* point. Here it is
+PR3148's previous modern K, which is stronger than the historical online
+comparison used by that supplier. The candidate K itself is derived and compared
+after execution. Using K as that comparison would require K>K and correctly fail.
+
+All 63 strict inequalities and all 17 original negative controls are regenerated.
+The unchanged independent balance checker independently derives K from the same
+exact endpoint/slacks. The strict moment condition, explicit prime/Strassen/
+gauge-free/union hypotheses and retained BIT endpoint are the same as before;
+their inherited mathematical premises are not newly proved by these computations.
+
+Finally, exact rational subtraction gives
+
+    K - K_PR3148 =
+    903656817800000000000099999999999000000000000099999999999 /
+    1000000000000000000000000000000000000000000000000000000000000000000000000000000000
+    > 0.
+
+The public CLAIM must match the freshly computed endpoint/gain and explicitly
+state that native replay and selected-frontier changes are false. RESULT.json
+must equal the whole freshly regenerated scoped result. This proves a tiny
+conditional refinement of D, not an improved word, a new global-best theorem,
+or a repair of the stronger disputed donation overlays.
diff --git a/research/coupled-cap740-grid35/README.md b/research/coupled-cap740-grid35/README.md
new file mode 100644
index 0000000000..28e64546c8
--- /dev/null
+++ b/research/coupled-cap740-grid35/README.md
@@ -0,0 +1,84 @@
+# PR3148 fixed-supplier endpoint refinement
+
+Conditional kappa is
+
+```
+0.0017297774946785970118869036568178 - 10^-57 - 10^-81
+```
+
+This exceeds PR3148's published `0.001729777494678597011886 - 10^-46 -
+10^-70` by approximately **9.036568178e-25**. It is a tiny precision
+refinement of the same construction. The paid profile, literal words,
+allocation, 663,549 physical families and 91 private zero buffers are unchanged.
+The selected result is unchanged.
+
+## Evidence and limits
+
+Both retained rational moment engines accept the 35-digit endpoint and reject
+its successor; adding an unpaid rank-one or rank-48 child rejects. The unchanged
+carried-constant bootstrap runs all 12 stages and 47 strict constraints. The
+exact PR3148 modern outer checker runs all 63 strict rows and 17 rejecting
+controls, and its unchanged independent balance checker agrees on the new
+point. The full scoped result is regenerated and compared with RESULT.json.
+
+Native, owner, physical invoice and finite guard evidence is **source-bound
+reuse of PR3148**, not a fresh cold/native rebuild. Its complete stored-release
+binding checker runs, including its ten receipt/invoice corruption controls.
+All nine fixed finite guard receipts, the complete profile and the actual
+1479-bit prefix within the charged 2048 bits are retained. PROOF.md explains
+the reuse boundary. This does not supply new independent scientific admission
+of the supplier, compiler, physical hosting, precision/tape, mutable source,
+all-size realization, analytic transfer or BIT H1-H5 hypotheses. No human or
+proof-kernel review is claimed. Green arithmetic is not a multiplication theorem.
+
+Source base is `6f100d4bb5083f8c35d96fd95a539811c62f245c`, priority revision 6.
+Baseline is PR3148 head `f2927a4b8afcf0701a6b945e14f30de1d94f5176`.
+SOURCES.json binds all predecessor package bytes and every imported scientific
+source. Existing nominal higher claims #3184/#3190/#3198/#3200/#3251 are outside
+this comparison: their literal donation operators have published objections
+(#3187/#3296). This package does not claim to exceed those unadmitted numerical
+headlines or resolve their contracts. #3338/#3354 improve a different selected
+word at a lower kappa. PR3143 is an earlier T74 precision precedent; this
+package applies the refinement to the cap-attaining T740 allocation.
+
+## Reproduce
+
+From a repository checkout with the declared inputs:
+
+```sh
+python3 -B research/coupled-cap740-grid35/verify.py
+python3.12 -B scripts/research_package.py --package research/coupled-cap740-grid35
+```
+
+The package is standard-library only. Assertions must remain enabled for the
+retained outer checkers; optimized Python is explicitly refused. The direct
+verifier authenticates source bytes before compiling them and gives each child
+interpreter a fresh bytecode namespace. Optional `--output NEW.json` writes a
+fresh result; an existing output is refused. Temporary products stay outside
+the source package. The finite registered command does not rerun native chains.
+
+## Open next questions
+
+A material gain requires a changed paid word or physical contract outside the
+attained fixed-word packing cap. First supply an exact interaction and full
+producer/consumer bill, then test causality before native work. No cheaper legal
+changed supplier survived this session's bounded experiments. TASK.json records
+the structured question and limits; these private failed searches are not new
+public impossibility claims.
+
+## Credit
+
+Jeremy Diviney/PR3148 supplies the allocation and full release; dcharb78/PR3133
+supplies the coupled helper folds. Gonzalo Mier/PR3143 supplies the T74 precision
+precedent; Nick Petalas/PR3135 and dataisfire/PR3115 supply earlier T740
+precision precedents. Marius-Paul Dumitrean, Jeremy Kothe, Mason Hale, Nick
+Petalas, Arham Tahir, Sagar Thakrar and the retained native/geometry/owner
+lineage retain their contributions. The moment engines, Vlado Vojdanovski's
+outer construction, Chafik Boukhalfa's fine-prime padding, gauge-free and union
+schedule work, Tim Trudgian's cited prime result, eumemic's 47-row assembly,
+the PR589 BIT supplier and all inherited notices remain credited. See NOTICE
+and predecessor notices for the full retained lineage.
+
+Prepared for dataisfire with substantial OpenAI Codex assistance. New work is
+Apache-2.0. This contribution claims the new exact endpoint and scoped
+source-bound replay, not invention of the retained construction or engines.
diff --git a/research/coupled-cap740-grid35/RESULT.json b/research/coupled-cap740-grid35/RESULT.json
new file mode 100644
index 0000000000..18bf9e34ee
--- /dev/null
+++ b/research/coupled-cap740-grid35/RESULT.json
@@ -0,0 +1,858 @@
+{
+  "arithmetic": {
+    "complex_lower": "8648887473392985059434518284089/5000000000000000000000000000000000",
+    "gain": "903656817800000000000099999999999000000000000099999999999/1000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "kappa": "1729777494678597011886903656817799999999999999999999998999999999999999999999999/1000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "moments": [
+      {
+        "source_sha256": "55f5aca39b5ee2fe4687ac8863e6c24569010f27a332883c069b8e14b8fe09e3",
+        "successor_lower_minus_one": "18133933109/1000000000000000000000000000000000000000000000",
+        "upper_minus_one": "-5120132051/500000000000000000000000000000000000000000000"
+      },
+      {
+        "source_sha256": "e7147ccb8c57aa32a2cb227234a6a200a0b9e735eb1a655fd79ab29a4d7c0a00",
+        "successor_lower_minus_one": "113828542993345063814167/6277101735386680763835789423207666416102355444464034512896",
+        "upper_minus_one": "-64279179571222630970077/6277101735386680763835789423207666416102355444464034512896"
+      }
+    ],
+    "previous": "17297774946785970118859999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+    "profile": {
+      "1": 16376940,
+      "2": 4821840,
+      "3": 1567431,
+      "4": 679320,
+      "5": 147075,
+      "8": 53280,
+      "48": 282569
+    },
+    "root_lower": "1729777494678597011886903656817803609/1000000000000000000000000000000000000000",
+    "root_upper": "17297774946785970118869036568178036091/10000000000000000000000000000000000000000"
+  },
+  "baseline_release": {
+    "charged_prefix_bits": 2048,
+    "global_prefix_bits": 1479,
+    "kappa": "17297774946785970118859999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+    "physical": 663549,
+    "rejected_controls": 10,
+    "scope": "Stored receipt, source, word, literal allocation and invoice bindings; full replay is separate.",
+    "status": "PASS_COUPLED_CARRIER_T740_STORED_RELEASE_BINDINGS"
+  },
+  "bootstrap": {
+    "controls": [
+      "next_grid",
+      "zero_eta",
+      "zero_beta",
+      "unit_beta"
+    ],
+    "cutoffs": [
+      {
+        "carry_bits_bit_length": 36,
+        "cutoff_log2_power_of_two_exponent": 45,
+        "exponent_numerator_sha256": "e3cdaf2bd9e2d69725ca25104d19fde55bcc483ae68074fad7275334b9c60b9a",
+        "gap_numerator_sha256": "0562ab2d6a9ab4349753ea901a3e5b73f592e5b27a3e6e616ab192c65f12be6d",
+        "grid_bits": 204,
+        "log2C_bound_sha256": "1a1cf797fabe7f95836fabeca626907c77b3e6c9aff7c2290b396a238c69362e",
+        "step": 0
+      },
+      {
+        "carry_bits_bit_length": 48,
+        "cutoff_log2_power_of_two_exponent": 66,
+        "exponent_numerator_sha256": "409b09798b384de99bd0436be0b12f87ab99f8d4c3f7a72984e3f57a32881c82",
+        "gap_numerator_sha256": "5a358df6a7e6525437ce6d32187e0ed17cdcce5899ec4f06723ad263bec3e950",
+        "grid_bits": 204,
+        "log2C_bound_sha256": "89726ca2251f5c22dcfe123553c89a10d903c951d2cb41bfa1137c6bd8327f49",
+        "step": 1
+      },
+      {
+        "carry_bits_bit_length": 60,
+        "cutoff_log2_power_of_two_exponent": 87,
+        "exponent_numerator_sha256": "bddb877c85d92052b0a0524df9339d925940893435b19248559d3657498bb1a5",
+        "gap_numerator_sha256": "afeb6774e5d0a74fa84df0ea9551dbf240d1dbbb9b17dd15a6c33253946aa90d",
+        "grid_bits": 204,
+        "log2C_bound_sha256": "14797325fd78dec5fc81a52f36d8da24c410c3ce701c87dac1a98815d3f015d3",
+        "step": 2
+      },
+      {
+        "carry_bits_bit_length": 72,
+        "cutoff_log2_power_of_two_exponent": 108,
+        "exponent_numerator_sha256": "fbb9d0a708a15edaaab443917392be3efcea8f551c9d37fd8e04bac5d0e61456",
+        "gap_numerator_sha256": "64c8c51c6bc4dc96ce61f8012c981929f0928086ae3cda4c380f523d58fbd62a",
+        "grid_bits": 204,
+        "log2C_bound_sha256": "7ad4c234a67cc9f20ddd62553174b1e92d23a00b6377729bdee597dba1ef9589",
+        "step": 3
+      },
+      {
+        "carry_bits_bit_length": 85,
+        "cutoff_log2_power_of_two_exponent": 130,
+        "exponent_numerator_sha256": "c2c3807f043c43dc7ff7efc42e9e25d16c83fd55fd4001101f19f6d36d917c38",
+        "gap_numerator_sha256": "036b686e57e866b39290c9e1d1b463c43934a80a320955e787689b3602ea4ffe",
+        "grid_bits": 204,
+        "log2C_bound_sha256": "fca7f24b278a6fbaebf2ec54b53f915bf5d158eac0fcff1bacd9498bd96029c6",
+        "step": 4
+      },
+      {
+        "carry_bits_bit_length": 97,
+        "cutoff_log2_power_of_two_exponent": 152,
+        "exponent_numerator_sha256": "981dd2702d1bac32638ba18f721c6433e02eb3884c109e988ddad34c98f18836",
+        "gap_numerator_sha256": "e6b92c9ecb1d5601cc6d89ef80b33cc65223fb6a3f802c07f1bfc8d8a0bce9f9",
+        "grid_bits": 204,
+        "log2C_bound_sha256": "942dc1b188351f1c50f912669e8e5c913d79dc1ff0f05081dd115a7d449f7198",
+        "step": 5
+      },
+      {
+        "carry_bits_bit_length": 109,
+        "cutoff_log2_power_of_two_exponent": 173,
+        "exponent_numerator_sha256": "ba9784532b09ef274a5e55cbaf5c49d2839e2b5fc3f34a848a02103a1a59e046",
+        "gap_numerator_sha256": "12f5c757af7624b410575ba80b54fb17973bd72ddc190f4752585bade61f2844",
+        "grid_bits": 204,
+        "log2C_bound_sha256": "c73f91157baf82cc78fda2dad6adeede8f07429e9525664d8f01afab45042eae",
+        "step": 6
+      },
+      {
+        "carry_bits_bit_length": 121,
+        "cutoff_log2_power_of_two_exponent": 194,
+        "exponent_numerator_sha256": "4473aa8b2ad89029591a236b446a091e9cb9c2f0c9fb077d69ceceb9ba07c5c7",
+        "gap_numerator_sha256": "285eb0556eaa9c808b1062935f6dc27a74c881cafede73fd631724511f1b13ec",
+        "grid_bits": 204,
+        "log2C_bound_sha256": "956ea580bdad98f27771f8dd70a78fb517d5fb0a88505d608d28e810cbad2a14",
+        "step": 7
+      },
+      {
+        "carry_bits_bit_length": 133,
+        "cutoff_log2_power_of_two_exponent": 215,
+        "exponent_numerator_sha256": "072e61b833c48ca5c7e4a2a77b56163b96a4d88ddb594d8fe4a0b10f30243d47",
+        "gap_numerator_sha256": "21c4566b555c0a11debfa52c6b1f43e8e098b29bf002ca789dfee38ed3e46af4",
+        "grid_bits": 204,
+        "log2C_bound_sha256": "e6ee93d14b47cc34f68026ceb788150124cfb2e655a2e64618c831e81797bf93",
+        "step": 8
+      },
+      {
+        "carry_bits_bit_length": 145,
+        "cutoff_log2_power_of_two_exponent": 236,
+        "exponent_numerator_sha256": "827730557318e34cbc5eaf159e86cd4277a863f6e3029effc8df33a082f722cb",
+        "gap_numerator_sha256": "1803cf74fb4062cd92e73a5f12ce925387ebfef5b152db59a9587da807ebce12",
+        "grid_bits": 204,
+        "log2C_bound_sha256": "a46d72f0802b5cac565be77569fadf89881dec78d484ded8c9d4a7fe76340255",
+        "step": 9
+      },
+      {
+        "carry_bits_bit_length": 158,
+        "cutoff_log2_power_of_two_exponent": 258,
+        "exponent_numerator_sha256": "b6f23fee40e30e33fd7b0cd2d777a26d6bb1ed7e89923619ec0b9631f22ec1ca",
+        "gap_numerator_sha256": "a72fafdf529be10ad08c42dc5a9b9bdfb8c342507aaf7458c1b5b064353a5cd7",
+        "grid_bits": 204,
+        "log2C_bound_sha256": "9320355730eb8f6947bd0eeb74a23bd4510f2c427dd9bc4a26a70f66b508e3a5",
+        "step": 10
+      },
+      {
+        "carry_bits_bit_length": 170,
+        "cutoff_log2_power_of_two_exponent": 280,
+        "exponent_numerator_sha256": "1f59414800761224432893d9087535b278d47402239ff3b62196f477f4346904",
+        "gap_numerator_sha256": "9c70f04c27882e9be85c7157cf268e740f03c5f6b36915bf91b1e337e7d335b6",
+        "grid_bits": 204,
+        "log2C_bound_sha256": "aca70f63560404f53a41af768989bc11d1d15505ee4fb5613bef54c5fb80f2d1",
+        "step": 11
+      },
+      {
+        "all_rejected": true,
+        "control": "uncarried_cutoffs_fail_carry_rule",
+        "stages_checked": [
+          2,
+          3,
+          4,
+          5,
+          6,
+          7
+        ]
+      }
+    ],
+    "legacy_balanced_kappa": "21584881640994569019137251/12500000000000000000000000000",
+    "strict_constraints": {
+      "Gaussian_arithmetic_above_kappa": "62665188357535986517543961058402136418485797773185817171326800731268350167174413005575330925965240527449864039/20604386425898141647140876451324022752144436039494210519508436476661285717120279382244013543280217537600000000000000000000000000000000000000",
+      "K_dominates_log": "22237162114416325127351043348213399915840213347942456507721371054637685005303157439563993347905864277902014101594780980109925949779261287/12877741516186338529463047782077514220090272524683881574692772797913303573200174613902508464550135961000000000000000000000000000000000000000",
+      "K_geometry": "9663865427668357978379123597395189015049080413206813884641104722097985898405219019890074050220738713/12877741516186338529463047782077514220090272524683881574692772797913303573200174613902508464550135961000000000000000000000000000000000000000",
+      "alpha_below_one": "25711008708143844408671393477458601640342414633332727858942807654304618912579735024624159196209870756797913303573200174613902508464550135961/25755483032372677058926095564155028440180545049367763149385545595826607146400349227805016929100271922000000000000000000000000000000000000000",
+      "alpha_below_one_fourth": "6394396433864336614476821804342330310207005846306905496903648457434663552779473103770396499384666815297913303573200174613902508464550135961/25755483032372677058926095564155028440180545049367763149385545595826607146400349227805016929100271922000000000000000000000000000000000000000",
+      "alpha_positive": "44474324228832650254702086696426799838130416035035290442737941521988233820614203180857732890401165202086696426799825386097491535449864039/25755483032372677058926095564155028440180545049367763149385545595826607146400349227805016929100271922000000000000000000000000000000000000000",
+      "artificial_boundary": "721331422203350288250949484143126503524497927237050813714272469783707495634032867098936692117392067886393739910719600523841707525393650407883/103021932129490708235704382256620113760722180197471052597542182383306428585601396911220067716401087688000000000000000000000000000000000000000",
+      "balanced_prefix_above_kappa": "489571784143857250263517965530196751566900874947469450750083455515321273164747785771683637030216789/160971768952329231618288097275968927751128406558548519683659659973916294665002182673781355806876699512500000000000000000000000000",
+      "beta_below_one": "999999999999999999999999999999999999999/1000000000000000000000000000000000000000",
+      "beta_positive": "1/1000000000000000000000000000000000000000",
+      "bit_positive": "44474324228832650254702086696426799825386097491535449864039/25711008708143844408671393477458601640355247900524685364822016",
+      "bulk_exposure_above_kappa": "14304712780454305054848246870945091801506097402791910661712600821914625857331/4789048565205902682369834459844716198808559756823756800000000000000000000000000000",
+      "c_below_one": "12833267191957505879208345695381087420261761499752285809578159277902014101594780980109925949779261287/12855504354071922204335696738729300820177623950262342682411008000000000000000000000000000000000000000",
+      "c_positive": "22237162114416325127351043348213399915862450510056872832848722097985898405219019890074050220738713/12855504354071922204335696738729300820177623950262342682411008000000000000000000000000000000000000000",
+      "cell_above_band": "25711008708143844408671393477458601640316659150300355181883881558740463884139554479574791433060485211202086696426799825386097491535449864039/51510966064745354117852191128310056880361090098735526298771091191653214292800698455610033858200543844000000000000000000000000000000000000000",
+      "compact_leaf": "9081946488790091987319325676776565432337396109802694212532316967061972235167018966282639/7482888383134222941202866343507369060638374620037120000000000000000000000000000000000000000000000000000000000000000000000000",
+      "compact_phase_layer_above_kappa": "39165742718630838504895098712952692343274555775707283535322794866532929055266519288534516348514834655449864039/12877741516186338529463047782077514220090272524683881574692772797913303573200174613902508464550135961000000000000000000000000000000000000000",
+      "compact_reservations": "1/4000000000000000000000000000000000000000",
+      "complex_above_bit": "18163867090116343299651207454931011748329010794097/14965776766268445882405732687014738121276749240074240000000000000000000000000000000000",
+      "complex_below_one_over32": "147601112526607014940565481715911/5000000000000000000000000000000000",
+      "coordinate_movement_above_kappa": "14304712780454305054848246870945091801506097402791910661712600821914625857331/4789048565205902682369834459844716198808559756823756800000000000000000000000000000",
+      "delta_below_one_eighth": "999999999999999999999999999999999999999/8000000000000000000000000000000000000000",
+      "delta_positive": "1/8000000000000000000000000000000000000000",
+      "dimension_above_kappa": "160415839899468823490104321192753164537134661839421767287037344359182373689440846178212169081578346560664747785771683637030216789/160971768952329231618288097275968927751128406558548519683659659973916294665002182673781355806876699512500000000000000000000000000",
+      "epsilon_below_one": "22237162114416325127351043348213399925504078775610814486100494652032874020352237852770807232546969/12877741516186338529463047782077514220090272524683881574692772797913303573200174613902508464550135961",
+      "epsilon_positive": "12855504354071922204335696738729300820164768445908270760206672303261270699179822376049737657317588992/12877741516186338529463047782077514220090272524683881574692772797913303573200174613902508464550135961",
+      "gamma_sublinear": "1/2000000000000000000000000000000000000000",
+      "guard_width": "22237162114416325127351043348213399925504078775610814486100494652032874020352237852770807232546969/12877741516186338529463047782077514220090272524683881574692772797913303573200174613902508464550135961",
+      "lambda_above_internal": "44474324228832650254702086696426799825386097491535449864039/25711008708143844408671393477458601640355247900524685364822016000000000000000000000000000000000000000",
+      "lambda_above_sigma": "31205330522700380555494520392422732184905778989568533476134664039/25711008708143844408671393477458601640355247900524685364822016000000000000000000000000000000000000000",
+      "lambda_above_tau": "44474324228832650254702086696426799825386097491535449864039/25711008708143844408671393477458601640355247900524685364822016000000000000000000000000000000000000000",
+      "lambda_prime_above_lambda": "44474324228832650254702086696426799825386097491535449864039/25711008708143844408671393477458601640355247900524685364822016000000000000000000000000000000000000000",
+      "lambda_prime_below_one": "22237162114416325127351043348213399912648574421538892281764797913303573200174613902508464550135961/12855504354071922204335696738729300820177623950262342682411008000000000000000000000000000000000000000",
+      "leaf_saving_above_bit": "33039834675314528112110135327946213932494905083164447002374915702541681650781/27222589353675077077069968594541456916480000000000000000000000000000000000000000000000000000000000000000000000000",
+      "literal_scalar_guard": "1",
+      "phase_boundary": "35579459383066120203761669357141439867928784524790964648297743661175084212473308039749409997382377602086696426799825386097491535449864039/20604386425898141647140876451324022752144436039494210519508436476661285717120279382244013543280217537600000000000000000000000000000000000000",
+      "phase_local": "177897296915330601018808346785707199391154888688700177359340909434185477942727630297482576285682979202086696426799825386097491535449864039/103021932129490708235704382256620113760722180197471052597542182383306428585601396911220067716401087688000000000000000000000000000000000000000",
+      "prime_interval_packing": "22237162114416325127351043348213399925504078775610814486100494652032874020352237852770807232546969/12877741516186338529463047782077514220090272524683881574692772797913303573200174613902508464550135961",
+      "q_below_internal": "44474324228832650254702086696426799825386097491535449864039/12855504354071922204335696738729300820177623950262342682411008000000000000000000000000000000000000000",
+      "q_below_leaf": "9081946488790091987319325676776565432337396109802694212532316967061972235167018966282639/7482888383134222941202866343507369060638374620037120000000000000000000000000000000000000000000000000000000000000000000000000",
+      "q_below_reservations": "1/4000000000000000000000000000000000000000",
+      "q_positive": "22237162114416325127351043348213399912648574421538892281764797913303573200174613902508464550135961/12855504354071922204335696738729300820177623950262342682411008000000000000000000000000000000000000000",
+      "record_suffix": "22237162114416325127351043348213399925504078775610814486100494652032874020352237852770807232546969/12877741516186338529463047782077514220090272524683881574692772797913303573200174613902508464550135961",
+      "row_product_gap": "23971789/25",
+      "scalar_work_above_kappa": "313325941839190898652465159409862873220739045746290175955369529955112842027525279320677353085436236495449864039/103021932129490708235704382256620113760722180197471052597542182383306428585601396911220067716401087688000000000000000000000000000000000000000",
+      "short_record_fallback": "329955255543598329291380705507693923351030913349671551500918683960547473372254777914486787164746444846257918937069718705578096084574347123336409003184871906241393/331099724263892463995079214031038608098412673097098768936825600462260729355378769255498233884636496273412691261474813054853813959887948134516985480942419366117376",
+      "small_field_exposure": "1/1000000000000000000000000000000000000000"
+    }
+  },
+  "finite_guards": {
+    "halving": true,
+    "literal": true,
+    "local_primitive_bound": true,
+    "logical": true,
+    "mass": true,
+    "precision": true,
+    "router": true,
+    "row": true,
+    "tape": true
+  },
+  "invoice_payload_sha256": "910cb9b30ba698028a8d7c06a267141ec83ff06d8392df50c9726b0ced4eb336",
+  "native_replay": "Inherited unchanged PR3148 source-bound native evidence; no fresh native replay",
+  "outer": {
+    "independent": {
+      "b": "17297774946785970118869036568177999999999999999999999999999999999999999999999999999999999999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "rows": {
+        "struct_boundary_radix_union": {
+          "beta": "409599999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999877/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "cap": "1859542584309101766680344378689162854399999999999999999999999999999999999999999999999999999999999999999999999999999589845395613590887612563184750352351000000000000000000000000000000000000000000000000000000000000000000000000000000041/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "checked_cost_powers": 9,
+          "epsilon": "409599999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999959/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "epsilon_free_sweep_delta_gap_to_q": [
+            [
+              "1/10000000",
+              "1.729777494678597e-10"
+            ],
+            [
+              "1/1000000000000",
+              "1.729777494678597e-15"
+            ],
+            [
+              "1/1000000000000000000000000000000",
+              "1.729777494678597e-33"
+            ],
+            [
+              "1/1000000000000000000000000000000000000000000000000000000000000",
+              "1.729777494678597e-63"
+            ],
+            [
+              "41/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+              "1.731466730513244e-118"
+            ],
+            [
+              "11/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+              "1.9027552441464566e-118"
+            ]
+          ],
+          "gap_to_q": "5000000000000000000000004999999999999999999999999999999999/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "kappa": "1729777494678597011886903656817799999999999999999999998999999999999999999999999/1000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "margin_above_kappa": "2048000000000000000000002047999999999999999999999999999999590045395613590887612563184750352351000000000000000000000000000000000000000000000000000000000000000000000000000000041/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        }
+      },
+      "scope": "Independent balance derivation and margin comparisons for this package's supplier endpoint; the supplier native admission is bound by verify_release.py; inherited all-size assumptions remain.",
+      "source_sha256": "c3a67467f7ed76cd898c616dc88f5c59f733733697db7b80e0d5b36cf70fee4b",
+      "status": "PASS_INDEPENDENT_BALANCE_DERIVATION"
+    },
+    "ledger": {
+      "W": 663040,
+      "complex_lower_pinned": {
+        "decimal": "0.0017297774946785970118869036568178",
+        "rational": "8648887473392985059434518284089/5000000000000000000000000000000000"
+      },
+      "complex_lower_short": {
+        "decimal": "0.0017297774946785970118869036568177999999999999999999999999999999999999999999999999999999999999999999999999999999999",
+        "rational": "17297774946785970118869036568177999999999999999999999999999999999999999999999999999999999999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      },
+      "geometry_changes": {
+        "core_power": 128,
+        "halo_power": 48,
+        "matrix_exponent": {
+          "decimal": "2.8125",
+          "rational": "45/16"
+        },
+        "theta_power": {
+          "decimal": "2",
+          "rational": "2"
+        }
+      },
+      "halo_umbrella": {
+        "exponent_budget": {
+          "decimal": "6.5",
+          "rational": "13/2"
+        },
+        "fails_from_theta_power": {
+          "decimal": "3.75",
+          "rational": "15/4"
+        },
+        "margin": {
+          "decimal": "3.5",
+          "rational": "7/2"
+        },
+        "theta_power": {
+          "decimal": "2",
+          "rational": "2"
+        },
+        "umbrella_power": 10
+      },
+      "improvement_over_pr1673": {
+        "decimal": "0.000052617342964216011886903656817799999999999999999999998999999999999999999999999",
+        "rational": "52617342964216011886903656817799999999999999999999998999999999999999999999999/1000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      },
+      "m": 73,
+      "native_moment": [
+        {
+          "decimal": "0.9999999999999999999999999999999999897597358970854854521673299539402587638389004829986325474918670779177241511295966563062088992223478077792414373532051323304308069109703948820586978249455637655455749351161102265500586550554470701661479",
+          "rational": "30191699398572330817932436647906150818164394206145545777882550241495714186861825100091579438532296633679388617016918602936457979910041250168987088669458905296270958760875/30191699398572330817932436647906151127335369763331523427009650401964993299137190816689013801421270140331747000246110759198164677039398341060491474011461568349195162615808"
+        },
+        {
+          "decimal": "0.9999999999999999999999999999999999897597358970854854521673299539402587638389004829986325474918670779177241511295966563062088992223478077792414373532051323304308069109722662573414906744537079252784276123045596933406567985485603326397569",
+          "rational": "60383398797144661635864873295812301636328788412291091555765100482991428373723650200183158877064593267358777234033837205872915959820082500337974177338917810592541917521863/60383398797144661635864873295812302254670739526663046854019300803929986598274381633378027602842540280663494000492221518396329354078796682120982948022923136698390325231616"
+        }
+      ],
+      "online_final_kappa": {
+        "decimal": "0.0017297774946785970118859999999999999999999998999999999999999999999999",
+        "rational": "17297774946785970118859999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000"
+      },
+      "pr1673_kappa": {
+        "decimal": "0.001677160151714381",
+        "rational": "1677160151714381/1000000000000000000"
+      },
+      "profile": {
+        "1": 16376940,
+        "2": 4821840,
+        "3": 1567431,
+        "4": 679320,
+        "48": 282569,
+        "5": 147075,
+        "8": 53280
+      },
+      "rejecting_controls": {
+        "struct_boundary_radix_union": {
+          "beta_above_membership_window": {
+            "membership_arithmetic_fits_record": {
+              "decimal": "0",
+              "rational": "0"
+            }
+          },
+          "beta_below_gaussian_window": {
+            "gaussian_above_main": {
+              "decimal": "-2.093186821287576114176457983579426318359374999999999999999999999999999999999999999999999999999999999999999999998600634765625E-116",
+              "rational": "-42868466099969558818333859503706650999999999999999999999999999999999999999999999999999999999999999999999999999971341/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            }
+          },
+          "core_too_small": {
+            "microbox_face_corrections_above_kappa": {
+              "decimal": "-3.001729777494678597011886903656817799999999999999999999998999999999999999999999998999999999999999999999999999999999599609375",
+              "rational": "-307377129215455088334017218934458142719999999999999999999897599999999999999999999897599999999999999999999999999999959/102400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "microbox_halo_volume": {
+              "decimal": "-0.99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999969970703125",
+              "rational": "-409599999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999877/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            }
+          },
+          "endpoint_equality": {
+            "complex_endpoint": {
+              "decimal": "0",
+              "rational": "0"
+            },
+            "lambda_above_internal": {
+              "decimal": "-2.5E-116",
+              "rational": "-1/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "lambda_above_tau": {
+              "decimal": "-2.5E-116",
+              "rational": "-1/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "lambda_prime_above_lambda": {
+              "decimal": "-2.5E-116",
+              "rational": "-1/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "lambda_prime_above_leaf": {
+              "decimal": "-1.7297774946785970118869036568177999999999999999999999999999999999999999999999999999999999999999999999999999999999E-124",
+              "rational": "-17297774946785970118869036568177999999999999999999999999999999999999999999999999999999999999999999999999999999999/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "q_below_effective": {
+              "decimal": "-5E-116",
+              "rational": "-1/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "q_below_internal": {
+              "decimal": "-5E-116",
+              "rational": "-1/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "q_below_leaf": {
+              "decimal": "-1.7297774946785970118869036568177999999999999999999999999999999999999999999999999999999999999999999999999999999999E-124",
+              "rational": "-17297774946785970118869036568177999999999999999999999999999999999999999999999999999999999999999999999999999999999/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            }
+          },
+          "epsilon_equals_one": {
+            "actual_logarithmic_gamma_guard": {
+              "decimal": "0",
+              "rational": "0"
+            },
+            "epsilon_below_one": {
+              "decimal": "0",
+              "rational": "0"
+            },
+            "gaussian_above_main": {
+              "decimal": "-5.1944001915397322378439733835104833984374999999999999999999999999999999999999999999999999999999999999999999999993994140625E-118",
+              "rational": "-1063813159227337162310445748942946999999999999999999999999999999999999999999999999999999999999999999999999999999877/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "global_gamma_power_slack": {
+              "decimal": "-1E-115",
+              "rational": "-1/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "source_axis_superpolynomial": {
+              "decimal": "0",
+              "rational": "0"
+            }
+          },
+          "epsilon_not_above_r0_slack": {
+            "global_gamma_power_slack": {
+              "decimal": "0",
+              "rational": "0"
+            }
+          },
+          "full_cell_gauge": {
+            "unrecentered_group_gauge": {
+              "decimal": "-1.99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999979970703125",
+              "rational": "-20479999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999997949/10240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            }
+          },
+          "full_key_sort": {
+            "unnecessary_full_key_sort_above_kappa": {
+              "decimal": "-0.5937499999999999999999999999999999999999999999999999999989999999999999999999999989999999999999999999999999999999998999778341730513244079281324461170161132812499999999999999999999999999999999999999999999999999999999999999999999999799805",
+              "rational": "-1215999999999999999999999999999999999999999999999999999997951999999999999999999997951999999999999999999999999999999795154604386409112387436815249647648999999999999999999999999999999999999999999999999999999999999999999999999999999959/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            }
+          },
+          "group_equals_dimension": {
+            "group_below_dimension": {
+              "decimal": "0",
+              "rational": "0"
+            },
+            "group_key_fits_record": {
+              "decimal": "0",
+              "rational": "0"
+            },
+            "membership_arithmetic_fits_record": {
+              "decimal": "-1.0009765625E-115",
+              "rational": "-41/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            }
+          },
+          "halo_too_short": {
+            "halo_covers_generic_inverse_radius": {
+              "decimal": "-3",
+              "rational": "-3"
+            }
+          },
+          "matrix_below_strassen": {
+            "strassen_integer_power_gap": {
+              "decimal": "-423",
+              "rational": "-423"
+            }
+          },
+          "old_g_factor_union_row": {
+            "old_g_factor_union_row_above_kappa": {
+              "decimal": "-0.5937499999999999999999999999999999999999999999999999999989999999999999999999999989999999999999999999999999999999997998801779230513244079281324461170161132812499999999999999999999999999999999999999999999999999999999999999999999999799805",
+              "rational": "-1215999999999999999999999999999999999999999999999999999997951999999999999999999997951999999999999999999999999999999590154604386409112387436815249647648999999999999999999999999999999999999999999999999999999999999999999999999999999959/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            }
+          },
+          "old_linear_guard": {
+            "old_linear_guard": {
+              "decimal": "-0.9079797774946785970118869036568177999999999999999999999999999999999999999999999999999999999999999999999999999999995994362283269486755920718675538829838867187500000000000000000000000000000000000000000000000000000000000000000000000200195",
+              "rational": "-1859542584309101766680344378689162854399999999999999999999999999999999999999999999999999999999999999999999999999999179645395613590887612563184750352351000000000000000000000000000000000000000000000000000000000000000000000000000000041/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            }
+          },
+          "old_per_axis_scan": {
+            "old_per_axis_scan_above_kappa": {
+              "decimal": "-0.00172977749467859701188690365681779999999999999999999999899999999999999999999999899999999999999999999999999999999989990234375",
+              "rational": "-708516861820353336068875737832570879999999999999999999590399999999999999999999590399999999999999999999999999999959/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            }
+          },
+          "old_theta_chirp_guard": {
+            "old_theta_chirp_guard": {
+              "decimal": "-0.8159595549893571940237738073136355999999999999999999999999999999999999999999999999999999999999999999999999999999994992630816538973511841437351077659677734375000000000000000000000000000000000000000000000000000000000000000000000000400391",
+              "rational": "-835542584309101766680344378689162854399999999999999999999999999999999999999999999999999999999999999999999999999999487245395613590887612563184750352351000000000000000000000000000000000000000000000000000000000000000000000000000000041/1024000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            }
+          },
+          "old_union_tag_2beta": {
+            "old_union_tag_2beta": {
+              "decimal": "-0.9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999993994140625",
+              "rational": "-204799999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999877/204800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            }
+          },
+          "zero_layout_slack": {
+            "positive_layout_slack": {
+              "decimal": "0",
+              "rational": "0"
+            }
+          }
+        }
+      },
+      "rows": {
+        "struct_boundary_radix_union": {
+          "a": {
+            "decimal": "0.00172977749467859701188690365681779999999999999999999999999999999999999999999999999999999999999999999999999999999985",
+            "rational": "34595549893571940237738073136355999999999999999999999999999999999999999999999999999999999999999999999999999999997/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+          },
+          "beta": {
+            "decimal": "0.99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999969970703125",
+            "rational": "409599999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999877/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+          },
+          "epsilon": {
+            "decimal": "0.99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999989990234375",
+            "rational": "409599999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999959/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+          },
+          "kappa": {
+            "decimal": "0.001729777494678597011886903656817799999999999999999999998999999999999999999999999",
+            "rational": "1729777494678597011886903656817799999999999999999999998999999999999999999999999/1000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+          },
+          "kind": "struct_boundary_radix_union",
+          "margins": {
+            "boundary_algebraic_matrix": {
+              "decimal": "0.001729777494678597011886903656817799999999999999999999999999999999999999999999999999999999999999999999999999999999899826853326948675592071867553882983886718750000000000000000000000000000000000000000000000000000000000000000000000020019531",
+              "rational": "3542584309101766680344378689162854399999999999999999999999999999999999999999999999999999999999999999999999999999794845395613590887612563184750352351000000000000000000000000000000000000000000000000000000000000000000000000000000041/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "fused_gaussian": {
+              "decimal": "0.001729777494678597011886903656817799999999999999999999999999999999999999999999999999999999999999999999999999999999899578216230846026776215602661648951660156250000000000000000000000000000000000000000000000000000000000000000000000060058594",
+              "rational": "3542584309101766680344378689162854399999999999999999999999999999999999999999999999999999999999999999999999999999794336186840772662837689554251057053000000000000000000000000000000000000000000000000000000000000000000000000000000123/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "global_coordinate_router": {
+              "decimal": "0.00172977749467859701188690365681779999999999999999999999999999999999999999999999999999999999999999999999999999999985",
+              "rational": "34595549893571940237738073136355999999999999999999999999999999999999999999999999999999999999999999999999999999997/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "group_bit_router": {
+              "decimal": "0.001729777494678597011886903656817799999999999999999999999999999999999999999999999999999999999999999999999999999999949578216230846026776215602661648951660156250000000000000000000000000000000000000000000000000000000000000000000000045043945",
+              "rational": "14170337236407066721377514756651417599999999999999999999999999999999999999999999999999999999999999999999999999999586944747363090651350758217004228212000000000000000000000000000000000000000000000000000000000000000000000000000000369/8192000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "group_scans": {
+              "decimal": "0.9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999997998046875",
+              "rational": "204799999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999959/204800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "main_transform": {
+              "decimal": "0.001729777494678597011886903656817799999999999999999999999999999999999999999999999999999999999999999999999999999999799826853326948675592071867553882983886718750000000000000000000000000000000000000000000000000000000000000000000000020019531",
+              "rational": "3542584309101766680344378689162854399999999999999999999999999999999999999999999999999999999999999999999999999999590045395613590887612563184750352351000000000000000000000000000000000000000000000000000000000000000000000000000000041/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "microbox_face_corrections": {
+              "decimal": "77.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000400390625",
+              "rational": "7884800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000041/102400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "polynomial_products": {
+              "decimal": "0.99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999989990234375",
+              "rational": "409599999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999959/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "sparse_union_movement": {
+              "decimal": "0.4079797774946785970118869036568177999999999999999999999999999999999999999999999999999999999999999999999999999999998998268533269486755920718675538829838867187500000000000000000000000000000000000000000000000000000000000000000000000200195",
+              "rational": "835542584309101766680344378689162854399999999999999999999999999999999999999999999999999999999999999999999999999999794845395613590887612563184750352351000000000000000000000000000000000000000000000000000000000000000000000000000000041/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            }
+          },
+          "q": {
+            "decimal": "0.0017297774946785970118869036568177999999999999999999999999999999999999999999999999999999999999999999999999999999998",
+            "rational": "8648887473392985059434518284088999999999999999999999999999999999999999999999999999999999999999999999999999999999/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+          },
+          "r0": {
+            "decimal": "1E-115",
+            "rational": "1/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+          },
+          "slack": {
+            "decimal": "1E-115",
+            "rational": "1/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+          },
+          "strict_checks": {
+            "actual_bit_above_effective": {
+              "decimal": "0.00000364954491124722286209634318220000000000000000000000000000000000000000000000000000000000000000000000000000000015",
+              "rational": "72990898224944457241926863644000000000000000000000000000000000000000000000000000000000000000000000000000000003/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "actual_logarithmic_gamma_guard": {
+              "decimal": "1.0009765625E-115",
+              "rational": "41/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "actual_logarithmic_group_guard": {
+              "decimal": "0.1840404450106428059762261926863644000000000000000000000000000000000000000000000000000000000000000000000000000000007008345745961026488158562648922340322265624999999999999999999999999999999999999999999999999999999999999999999999999599609",
+              "rational": "188457415690898233319655621310837145600000000000000000000000000000000000000000000000000000000000000000000000000000717654604386409112387436815249647648999999999999999999999999999999999999999999999999999999999999999999999999999999959/1024000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "alpha_logarithm_absorption": {
+              "decimal": "1E-115",
+              "rational": "1/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "boundary_algebraic_matrix_above_kappa": {
+              "decimal": "1.00000000000000000000000099999999999999999999999999999999989982685332694867559207186755388298388671875000000000000000000000000000000000000000000000000000000000000000000000002001953125E-57",
+              "rational": "2048000000000000000000002047999999999999999999999999999999794845395613590887612563184750352351000000000000000000000000000000000000000000000000000000000000000000000000000000041/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "cap_above_band": {
+              "decimal": "0.4079797774946785970118869036568177999999999999999999999999999999999999999999999999999999999999999999999999999999997997291970769486755920718675538829838867187500000000000000000000000000000000000000000000000000000000000000000000000200195",
+              "rational": "835542584309101766680344378689162854399999999999999999999999999999999999999999999999999999999999999999999999999999589845395613590887612563184750352351000000000000000000000000000000000000000000000000000000000000000000000000000000041/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "cap_below_cell": {
+              "decimal": "0.09202022250532140298811309634318220000000000000000000000000000000000000000000000000000000000000000000000000000000010017314667305132440792813244611701611328124999999999999999999999999999999999999999999999999999999999999999999999997998047",
+              "rational": "188457415690898233319655621310837145600000000000000000000000000000000000000000000000000000000000000000000000000000205154604386409112387436815249647648999999999999999999999999999999999999999999999999999999999999999999999999999999959/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "cap_below_phase_cell_power": {
+              "decimal": "1.092020222505321402988113096343182200000000000000000000000000000000000000000000000000000000000000000000000000000000200270802923051324407928132446117016113281249999999999999999999999999999999999999999999999999999999999999999999999979980",
+              "rational": "2236457415690898233319655621310837145600000000000000000000000000000000000000000000000000000000000000000000000000000410154604386409112387436815249647648999999999999999999999999999999999999999999999999999999999999999999999999999999959/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "complex_above_effective": {
+              "decimal": "5E-116",
+              "rational": "1/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "complex_below_one_over_32": {
+              "decimal": "0.0295202225053214029881130963431822000000000000000000000000000000000000000000000000000000000000000000000000000000001",
+              "rational": "295202225053214029881130963431822000000000000000000000000000000000000000000000000000000000000000000000000000000001/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "complex_endpoint": {
+              "decimal": "1E-115",
+              "rational": "1/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "epsilon_below_one": {
+              "decimal": "1.0009765625E-115",
+              "rational": "41/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "epsilon_positive": {
+              "decimal": "0.99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999989990234375",
+              "rational": "409599999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999959/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "fused_gaussian_above_kappa": {
+              "decimal": "1.00000000000000000000000099999999999999999999999999999999989957821623084602677621560266164895166015625000000000000000000000000000000000000000000000000000000000000000000000006005859375E-57",
+              "rational": "2048000000000000000000002047999999999999999999999999999999794336186840772662837689554251057053000000000000000000000000000000000000000000000000000000000000000000000000000000123/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "gaussian_above_main": {
+              "decimal": "9.97513629038973511841437351077659677734375000000000000000000000000000000000000000000000000000000000000000000000000400390625E-116",
+              "rational": "102145395613590887612563184750352351000000000000000000000000000000000000000000000000000000000000000000000000000000041/1024000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "global_coordinate_router_above_kappa": {
+              "decimal": "1.00000000000000000000000099999999999999999999999999999999985E-57",
+              "rational": "20000000000000000000000019999999999999999999999999999999997/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "global_gamma_power_slack": {
+              "decimal": "9.765625E-119",
+              "rational": "1/10240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "group_below_dimension": {
+              "decimal": "2.001953125E-115",
+              "rational": "41/204800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "group_bit_router_above_kappa": {
+              "decimal": "1.0000000000000000000000009999999999999999999999999999999999495782162308460267762156026616489516601562500000000000000000000000000000000000000000000000000000000000000000000000450439453125E-57",
+              "rational": "8192000000000000000000008191999999999999999999999999999999586944747363090651350758217004228212000000000000000000000000000000000000000000000000000000000000000000000000000000369/8192000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "group_gauge_power_slack": {
+              "decimal": "0.1840404450106428059762261926863644000000000000000000000000000000000000000000000000000000000000000000000000000000006008345745961026488158562648922340322265624999999999999999999999999999999999999999999999999999999999999999999999999599609",
+              "rational": "188457415690898233319655621310837145600000000000000000000000000000000000000000000000000000000000000000000000000000615254604386409112387436815249647648999999999999999999999999999999999999999999999999999999999999999999999999999999959/1024000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "group_key_fits_record": {
+              "decimal": "2.001953125E-115",
+              "rational": "41/204800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "group_positive": {
+              "decimal": "0.99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999969970703125",
+              "rational": "409599999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999877/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "group_scans_above_kappa": {
+              "decimal": "0.9982702225053214029881130963431822000000000000000000000010000000000000000000000009999999999999999999999999999999997998046875",
+              "rational": "204445741569089823331965562131083714560000000000000000000204800000000000000000000204799999999999999999999999999999959/204800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "halo_covers_generic_inverse_radius": {
+              "decimal": "5",
+              "rational": "5"
+            },
+            "improvement_over_online_final": {
+              "decimal": "9.03656817800000000000099999999999000000000000099999999999E-25",
+              "rational": "903656817800000000000099999999999000000000000099999999999/1000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "improvement_over_pkg_k2": {
+              "decimal": "0.000051784887473314491154814881986991627777122102965890394790280701170194526587547469132116575062403",
+              "rational": "51784887473314491154814881986991627777122102965890394790280701170194526587547469132116575062403/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "improvement_over_pr1699": {
+              "decimal": "0.000052135763335242447635845369754155250934431506999999998999999999999999999999999",
+              "rational": "52135763335242447635845369754155250934431506999999998999999999999999999999999/1000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "improvement_over_pr1712": {
+              "decimal": "0.0000521357633352424476351760609538015768291454277264567267882599939545374570922048577201473559415298",
+              "rational": "260678816676212238175880304769007884145727138632283633941299969772687285461024288600736779707649/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "improvement_over_pr1758": {
+              "decimal": "0.000050031985876297960340369971617826327686526580209199319247542619067215757027413399369818327775017",
+              "rational": "50031985876297960340369971617826327686526580209199319247542619067215757027413399369818327775017/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "improvement_over_pr1786": {
+              "decimal": "0.000050022706528548103106355790317799999999999999999999999000000199999980000099999",
+              "rational": "50022706528548103106355790317799999999999999999999999000000199999980000099999/1000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "improvement_over_pr1828": {
+              "decimal": "0.0000500225385530524905512326628970974230016885614974197035396724798371999999999990000000000000020033595099132510890426713419878415",
+              "rational": "100045077106104981102465325794194846003377122994839407079344959674399999999998000000000000004006719019826502178085342683975683/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "improvement_over_pr1839": {
+              "decimal": "0.0000500225385530524905512326628970974230016885614974197035396724798371354517396733611736950000000002003359509913251089042671341987841406",
+              "rational": "250112692765262452756163314485487115008442807487098517698362399185677258698366805868475000000001001679754956625544521335670993920703/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "improvement_over_pr1875": {
+              "decimal": "0.00005002253855305249055123266289709742300168856149741970353967247983713545173967336117369434386715536772554868309141377902792955187983458785722869936330704328426503747260937707228515458190044624366288752444118602321585944696132544211804344",
+              "rational": "250112692765262452756163314485487115008442807487098517698362399185677258698366805868471719335776838627743415457068895139647759399172939286143496816535216421325187363046885361425772909502231218314437622205930116079297234806627210590217190600996553729143901162562581526621534715086055386213403722175000000001001679754956625544521335670993920703/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "improvement_over_pr1876": {
+              "decimal": "0.00005002253855305249055123266289709742300168856149741970353967247983713545173967336117369434386715536772554868309141377902792955187983458785722869936330704328426503747260937707228515458190044624366288752444118602321585944696132544211804344",
+              "rational": "25011269276526245275616331448548711500844280748709851769836239918567725869836680586847171933577683862774341545706889513964775939917293928614349681653521642132518736304688536142577290950223121831443762220593011607929723480662721059021719060099655372914390116256258152662153471508605538621340372217196657216794137380775174500330086462142358142864921147118845386980694114022172311249292673931726844600000000000000000001001679754956625544521335670993920702577/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "improvement_over_pr1897": {
+              "decimal": "0.00005002253855305249055123266289709742300168856149741970353967247983713545173967336117369434386715536772554868309141377902792955187983458785722869936330704328426503747260937707228515458190044624366288752444118602321585944696132544211804344",
+              "rational": "50022538553052490551232662897097423001688561497419703539672479837135451739673361173694343867155367725548683091413779027929551879834587857228699363307043284265037472609377072285154581900446243662887524441186023215859446961325442118043438120199310745828780232512516305324306943017211077242680744434393314433588274761550349000660172924284716285729842294237690773961388228044344622498585347863453689118814253082419197486359454032147189198319033143866021423837056207677317517847011467076188001061138620310116832610271556685687769184940440093096226243113127523863162928128796969576356494654526264864467/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "improvement_over_previous_local_final": {
+              "decimal": "0.000056417389272819011886903656817799999999999999999999998999999999999999999999999",
+              "rational": "56417389272819011886903656817799999999999999999999998999999999999999999999999/1000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "improvement_over_previous_package": {
+              "decimal": "0.0000519575923641605782558485209401998986170598784229341390200650717283025923262092542077285802551153",
+              "rational": "519575923641605782558485209401998986170598784229341390200650717283025923262092542077285802551153/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "lambda_above_internal": {
+              "decimal": "2.5E-116",
+              "rational": "1/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "lambda_above_sigma": {
+              "decimal": "7.5E-116",
+              "rational": "3/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "lambda_above_tau": {
+              "decimal": "2.5E-116",
+              "rational": "1/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "lambda_prime_above_lambda": {
+              "decimal": "2.5E-116",
+              "rational": "1/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "lambda_prime_above_leaf": {
+              "decimal": "9.999999982702225053214029881130963431822000000000000000000000000000000000000000000000000000000000000000000000000000000001E-116",
+              "rational": "9999999982702225053214029881130963431822000000000000000000000000000000000000000000000000000000000000000000000000000000001/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "leaf_saving_above_effective": {
+              "decimal": "4.999999982702225053214029881130963431822000000000000000000000000000000000000000000000000000000000000000000000000000000001E-116",
+              "rational": "4999999982702225053214029881130963431822000000000000000000000000000000000000000000000000000000000000000000000000000000001/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "main_transform_above_kappa": {
+              "decimal": "1.00000000000000000000000099999999999999999999999999999999979982685332694867559207186755388298388671875000000000000000000000000000000000000000000000000000000000000000000000002001953125E-57",
+              "rational": "2048000000000000000000002047999999999999999999999999999999590045395613590887612563184750352351000000000000000000000000000000000000000000000000000000000000000000000000000000041/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "membership_arithmetic_fits_record": {
+              "decimal": "1.0009765625E-115",
+              "rational": "41/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "microbox_face_corrections_above_kappa": {
+              "decimal": "76.998270222505321402988113096343182200000000000000000000001000000000000000000000001000000000000000000000000000000000400390625",
+              "rational": "7884622870784544911665982781065541857280000000000000000000102400000000000000000000102400000000000000000000000000000041/102400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "microbox_halo_volume": {
+              "decimal": "79.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030029296875",
+              "rational": "32358400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000123/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "polynomial_products_above_kappa": {
+              "decimal": "0.99827022250532140298811309634318220000000000000000000000100000000000000000000000099999999999999999999999999999999989990234375",
+              "rational": "408891483138179646663931124262167429120000000000000000000409600000000000000000000409599999999999999999999999999999959/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "positive_layout_slack": {
+              "decimal": "1E-115",
+              "rational": "1/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "q_below_effective": {
+              "decimal": "5E-116",
+              "rational": "1/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "q_below_internal": {
+              "decimal": "5E-116",
+              "rational": "1/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "q_below_leaf": {
+              "decimal": "9.999999982702225053214029881130963431822000000000000000000000000000000000000000000000000000000000000000000000000000000001E-116",
+              "rational": "9999999982702225053214029881130963431822000000000000000000000000000000000000000000000000000000000000000000000000000000001/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "q_positive": {
+              "decimal": "0.0017297774946785970118869036568177999999999999999999999999999999999999999999999999999999999999999999999999999999998",
+              "rational": "8648887473392985059434518284088999999999999999999999999999999999999999999999999999999999999999999999999999999999/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "short_record_fallback": {
+              "decimal": "0.99827022250532140298811309634318220000000000000000000000000000000000000000000000000000000000000000000000000000000004990234375",
+              "rational": "10222287078454491166598278106554185728000000000000000000000000000000000000000000000000000000000000000000000000000000511/10240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "source_axis_superpolynomial": {
+              "decimal": "1.0009765625E-115",
+              "rational": "41/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "sparse_union_movement_above_kappa": {
+              "decimal": "0.4062500000000000000000000000000000000000000000000000000010000000000000000000000009999999999999999999999999999999998998268533269486755920718675538829838867187500000000000000000000000000000000000000000000000000000000000000000000000200195",
+              "rational": "832000000000000000000000000000000000000000000000000000002048000000000000000000002047999999999999999999999999999999794845395613590887612563184750352351000000000000000000000000000000000000000000000000000000000000000000000000000000041/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "stop_below_one": {
+              "decimal": "0.9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999",
+              "rational": "9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "stop_positive": {
+              "decimal": "1E-121",
+              "rational": "1/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "strassen_integer_power_gap": {
+              "decimal": "1951441519231",
+              "rational": "1951441519231"
+            },
+            "support_router_span": {
+              "decimal": "3.0029296875E-115",
+              "rational": "123/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "theta_positive_polynomial_power": {
+              "decimal": "2",
+              "rational": "2"
+            },
+            "union_header_fits_record": {
+              "decimal": "3.0029296875E-115",
+              "rational": "123/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            },
+            "union_tag_work_per_visit_fits_record": {
+              "decimal": "3.0029296875E-115",
+              "rational": "123/409600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+            }
+          },
+          "xi": {
+            "decimal": "0.9079797774946785970118869036568177999999999999999999999999999999999999999999999999999999999999999999999999999999997997291970769486755920718675538829838867187500000000000000000000000000000000000000000000000000000000000000000000000200195",
+            "rational": "1859542584309101766680344378689162854399999999999999999999999999999999999999999999999999999999999999999999999999999589845395613590887612563184750352351000000000000000000000000000000000000000000000000000000000000000000000000000000041/2048000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+          },
+          "zeta": {
+            "decimal": "1E-117",
+            "rational": "1/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+          }
+        }
+      },
+      "scope": "Conditional fine-prime padding composition. Fresh native admission is required by verify.py. The cited prime theorem, written gauge-free theorem and inherited all-size interfaces are not proved by this arithmetic. No independent human review is claimed.",
+      "source_sha256": {
+        "CLAIM.json": "d06f1ff91fb90452d8f72469fc4d0b583941f2a0e7885ee5ff3fc5fa20073c7a",
+        "new/SPEC.json": "c3a67467f7ed76cd898c616dc88f5c59f733733697db7b80e0d5b36cf70fee4b"
+      },
+      "status": "PASS_FINE_PRIME_PADDING_EXACT_ARITHMETIC"
+    }
+  },
+  "physical": 663549,
+  "private_zero_buffers": 91,
+  "profile_unchanged": true,
+  "scope": "Conditional fixed-supplier precision refinement; inherited physical/compiler/all-size assumptions remain",
+  "status": "PASS_COUPLED_CAP740_GRID35_CONDITIONAL_REFINEMENT"
+}
diff --git a/research/coupled-cap740-grid35/SOURCES.json b/research/coupled-cap740-grid35/SOURCES.json
new file mode 100644
index 0000000000..aca1b60a3c
--- /dev/null
+++ b/research/coupled-cap740-grid35/SOURCES.json
@@ -0,0 +1,450 @@
+{
+  "base_commit": "6f100d4bb5083f8c35d96fd95a539811c62f245c",
+  "files": [
+    {
+      "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
+      "path": "certificates/selected-result.json",
+      "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129",
+      "usage": "provenance"
+    },
+    {
+      "git_blob": "67f085acd86acd7d4e03922d9cf4b26bca66fed5",
+      "path": "docs/research/agent-task-catalog.json",
+      "sha256": "47b42433f5a85809a3aadd29c2c339da2c6ed728e4f7762df6b88bccb7874cf0",
+      "usage": "provenance"
+    },
+    {
+      "git_blob": "43007488ad2c43187c77cc6798beff8b1cd76ad2",
+      "path": "research/adaptive-kernel-demotion/vendor/engines/outer.py",
+      "sha256": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c",
+      "usage": "input"
+    },
+    {
+      "git_blob": "0fc94df8d648bdcb5cb0403567b344a0b56ab4d1",
+      "path": "research/coupled-carrier-cap740/.gitattributes",
+      "sha256": "9fe19dd37d5e9fa50f5bfab548cbeb38d300a05a78ea11abe3199b97c30fa563",
+      "usage": "input"
+    },
+    {
+      "git_blob": "d14b0e8797c0905240e8c002e965585fdcc5e76f",
+      "path": "research/coupled-carrier-cap740/BASELINE-PR3143.json",
+      "sha256": "736e804af3c2f5665e29e79e9d54cda619817edac582c02da8613ee85d07b8ae",
+      "usage": "input"
+    },
+    {
+      "git_blob": "aa3d8e87fc139d636cd19eaa4cd375fca2c780cf",
+      "path": "research/coupled-carrier-cap740/CLAIM.json",
+      "sha256": "338165d75d87a1a576750ec92772640e641bc91076e91b686d8ec7ad6f9d6d19",
+      "usage": "input"
+    },
+    {
+      "git_blob": "f323db0fd94a80f691b1606e813d0738b27058ae",
+      "path": "research/coupled-carrier-cap740/EXCHANGE.json",
+      "sha256": "5063791f327d067f37478488c97ce449e5b34cfb61d6309fc6924c5e360fe839",
+      "usage": "input"
+    },
+    {
+      "git_blob": "2af89beed10e0974e1900d8d284d5edabb853160",
+      "path": "research/coupled-carrier-cap740/FETCH.txt",
+      "sha256": "2d72343c697fb55c87e9c092bc6a6346b5a31e1b311cf8f02e11cdc7d4e916d9",
+      "usage": "input"
+    },
+    {
+      "git_blob": "68d4cd12052840483ebd8004d6b14df707aeda31",
+      "path": "research/coupled-carrier-cap740/MANIFEST.json",
+      "sha256": "db2e63e8814e3af5cab14e83174ca035e3b74a919d3d9632dbcf8ff031da7931",
+      "usage": "input"
+    },
+    {
+      "git_blob": "1b9447f2a301c6db2bf73c9d7b0095eeaede8b7e",
+      "path": "research/coupled-carrier-cap740/NOTICE",
+      "sha256": "6a0ba71e24f2705eb353db20ee4e369f70fc9ed1d03571f1516c86b8143b2d3f",
+      "usage": "input"
+    },
+    {
+      "git_blob": "f540563133ab194eace19d923dc56d637a7c5e51",
+      "path": "research/coupled-carrier-cap740/README.md",
+      "sha256": "1442d0a676e2f7528c5eea000d9abdbddf4649ee8e7a85f03f903f96eaad18a5",
+      "usage": "input"
+    },
+    {
+      "git_blob": "e59a0271bb7e0b122b6e2625f65b2c1bc7a181e8",
+      "path": "research/coupled-carrier-cap740/SOURCE-PINS.json",
+      "sha256": "8e558e3728f04ff3d5cf2f7e42d8ecffe2689db4f3a128d295f004fcea94b126",
+      "usage": "input"
+    },
+    {
+      "git_blob": "fccb14e4ede821a772a067207423a6d5774f44ad",
+      "path": "research/coupled-carrier-cap740/SOURCES.json",
+      "sha256": "3e2848315417072d8ad01b2cbc6ebe22b87c832157f0054ed4bd4586b8342b63",
+      "usage": "input"
+    },
+    {
+      "git_blob": "6fbe032232516887f3d9a63a6d77a950b5b8d501",
+      "path": "research/coupled-carrier-cap740/TASK.json",
+      "sha256": "c2479064dd5f8c9cf59ec86a97216d896a361516ad8a520d312f2edc8eb70956",
+      "usage": "input"
+    },
+    {
+      "git_blob": "65c53e56333f662cdb178cee922f4b3e04646627",
+      "path": "research/coupled-carrier-cap740/VENDOR.json",
+      "sha256": "b1ca2aa5eda68a671af0c7a8d9c16798fa6024ccc243a70ba28108b65f9172bd",
+      "usage": "input"
+    },
+    {
+      "git_blob": "472b6916e6e47d3be3cfb8959bb3391b5c598e29",
+      "path": "research/coupled-carrier-cap740/VERIFY.json",
+      "sha256": "28af19a46e30b1bdd6cd72a33d580d9b66d367b01f111657ebb5fad24b6287e6",
+      "usage": "input"
+    },
+    {
+      "git_blob": "8e06e8fadd03e943564322f2a75196d9007b5b47",
+      "path": "research/coupled-carrier-cap740/cap_check.py",
+      "sha256": "c2a2ea7df9ef2f7c7ae2739435f4ac44f2c912d8e18fc9278c717958f258ee38",
+      "usage": "input"
+    },
+    {
+      "git_blob": "deb060b34f6bd0e7a41d02cef6e01b13b99444a1",
+      "path": "research/coupled-carrier-cap740/common.py",
+      "sha256": "8786495cbf808d950be1c42e42d0198e950e44167af80063d25fd186aafea534",
+      "usage": "input"
+    },
+    {
+      "git_blob": "75321c7582f5212b3aa08aa1459530cf20994d7a",
+      "path": "research/coupled-carrier-cap740/construct.py",
+      "sha256": "7aa70e617974d4cfd93d71e5f569f7200778bca3056ea1f592920c42bded6911",
+      "usage": "input"
+    },
+    {
+      "git_blob": "24fc28aad72d190e23d27e25b4272cb4b52e4175",
+      "path": "research/coupled-carrier-cap740/evidence/ADMISSION-RESULT.json",
+      "sha256": "ac9bd230856de7acd09828433163032ea94bccaec446e454576e43f8d1a54b74",
+      "usage": "input"
+    },
+    {
+      "git_blob": "780bf6c5c414a6ee6c207a83225be5bb4572e6a4",
+      "path": "research/coupled-carrier-cap740/evidence/COMPOSITION-RESULT.json",
+      "sha256": "ba30bcb0454dcbc21ad8cc06a196d354feda43b330663808940c302540f21a1d",
+      "usage": "input"
+    },
+    {
+      "git_blob": "fab43622a92324a8fda0fe9b0502d57d11cea069",
+      "path": "research/coupled-carrier-cap740/evidence/ENVIRONMENT.json",
+      "sha256": "7f87ff189cd75ad7cd8fa1abedb1bb4b5d8db071e4ca468c7f2589c11f55388a",
+      "usage": "input"
+    },
+    {
+      "git_blob": "006944bcc9d7af119ac44eecb765803fa0712a16",
+      "path": "research/coupled-carrier-cap740/evidence/FINITE.json",
+      "sha256": "5e4a46af7d8b6211a181b09fc79606617d57564921d67683269e3e6717ccc8a8",
+      "usage": "input"
+    },
+    {
+      "git_blob": "920dbac6618c18b73e6f38f0c086b471dc972a8d",
+      "path": "research/coupled-carrier-cap740/evidence/INVOICE-PAYLOAD.json",
+      "sha256": "29a18051af4cf4bd071db50eef9a9905ed0c0dfe27f6b7deacbebecff665b3eb",
+      "usage": "input"
+    },
+    {
+      "git_blob": "8be4acd747c9056daeb3da1c3d7c9982e780e8c8",
+      "path": "research/coupled-carrier-cap740/evidence/MATERIALIZED.json",
+      "sha256": "40a4a3e05ad345aac2131822aa201c662012040c254af5528fea0c408d098326",
+      "usage": "input"
+    },
+    {
+      "git_blob": "a798b17ca16538583fde59a76862f348ae9f95b5",
+      "path": "research/coupled-carrier-cap740/evidence/NATIVE-RECEIPT.json",
+      "sha256": "15c975052f81f9a7363669a4ea9d016525063e920f9e596422ce24f66a23b1a2",
+      "usage": "input"
+    },
+    {
+      "git_blob": "fcccf671c22049bf1bacb09588b5bbfe97338314",
+      "path": "research/coupled-carrier-cap740/evidence/NATIVE-base-STEPS.json",
+      "sha256": "0a89aa9ecf6bc1fc1436699842d17674661cd5e0d7a110d3572e7eb912fedbf6",
+      "usage": "input"
+    },
+    {
+      "git_blob": "5608f6792c76ab24de34584a93f2eccd38b2dbb8",
+      "path": "research/coupled-carrier-cap740/evidence/NATIVE-extra-STEPS.json",
+      "sha256": "815f9657e04e63815af45bceeaabf549357bac432498cd2d331f607d7b2929ab",
+      "usage": "input"
+    },
+    {
+      "git_blob": "b669d0cafecae2eb6e01c802222004104c69b782",
+      "path": "research/coupled-carrier-cap740/evidence/OUTER-CLAIM.json",
+      "sha256": "6f3ea6f27ca0a6f1cb925b14b3db323482c71316ab8810b056fdb41ce5490046",
+      "usage": "input"
+    },
+    {
+      "git_blob": "a347c2326eee066f77203b9b63cc75325cf9d9a5",
+      "path": "research/coupled-carrier-cap740/evidence/OVERLAP.json",
+      "sha256": "c6d551be96d163b91f2d32e59de8df2d89a1dd4626388146df589a530af772d1",
+      "usage": "input"
+    },
+    {
+      "git_blob": "08a518a47940d4ec02d561b3723803316029bc98",
+      "path": "research/coupled-carrier-cap740/evidence/PREFIX-AND-INVOICE.json.gz",
+      "sha256": "4c46daacf45747db13ab2c5a0d5253e28f8619dc97841ec4f9d455f17cdb04ee",
+      "usage": "input"
+    },
+    {
+      "git_blob": "c6f9f26a60e4fa3e459a89062d8f983b80124627",
+      "path": "research/coupled-carrier-cap740/evidence/RECIPE.json",
+      "sha256": "a3a4656491c73e11860614b05d9cce809f5fd576648d184aca75b75a4e087faf",
+      "usage": "input"
+    },
+    {
+      "git_blob": "38482441fdc9d8f6bba5bac8bdc0589cf0906569",
+      "path": "research/coupled-carrier-cap740/evidence/RELEASE-RECEIPT.json",
+      "sha256": "d2536cd5945ddafd4dee9f1ba8c7f24f5ac98d52fad22f9163241663b533d399",
+      "usage": "input"
+    },
+    {
+      "git_blob": "37b761d7b4fa160b7ee6eaf7f952174d0b3120c2",
+      "path": "research/coupled-carrier-cap740/evidence/RETAINED-REUSE-RECEIPT.json",
+      "sha256": "dd36443f2789ffa6deca7210c76ada781e2b9b7e622a546b366f51a475faff3e",
+      "usage": "input"
+    },
+    {
+      "git_blob": "d668d5efb3fa2be7f3f4a15c478c2ed1a7b4ad04",
+      "path": "research/coupled-carrier-cap740/evidence/RUN.json",
+      "sha256": "09e013a5ef64c3c23728e93bdc1deb65c3fc902d5bc9b7c61b9c411df6a17793",
+      "usage": "input"
+    },
+    {
+      "git_blob": "1b7841af74d0ac0ef4bbe7a658d1df73618cab0f",
+      "path": "research/coupled-carrier-cap740/evidence/logs/complete-admission.log.txt",
+      "sha256": "9554cd4188e0893fae82b3e44b992bae4f1409dfa974ffc7de1d57aab256e3e6",
+      "usage": "input"
+    },
+    {
+      "git_blob": "ec40dfa5127a83d1169fcd525c87ad768259d889",
+      "path": "research/coupled-carrier-cap740/evidence/logs/declared-edit-stage.log.txt",
+      "sha256": "0c33d4323f555c64c0c9cc6cd4d821ed70c7163434a5b265cad51ad68d751b03",
+      "usage": "input"
+    },
+    {
+      "git_blob": "62ee7ce8e67860c7feea8a8e629ccb54a38bc5ce",
+      "path": "research/coupled-carrier-cap740/evidence/logs/derive-closed-adapters.log.txt",
+      "sha256": "ae9fbbecb3eb64e18eb7e08a99ea6e15c924ec7626e4b09f7997703a474d9273",
+      "usage": "input"
+    },
+    {
+      "git_blob": "821f51b91a36582452eb013825a2d8b9d7473a81",
+      "path": "research/coupled-carrier-cap740/evidence/logs/export-pr2833.log.txt",
+      "sha256": "7b2179791de25298ed2efd677a5854d12ccae6a15ac0b8c4ee9fa55bad1276ea",
+      "usage": "input"
+    },
+    {
+      "git_blob": "2bed900376db47d928ffe64835940c728d3e4094",
+      "path": "research/coupled-carrier-cap740/evidence/logs/export-pr2894.log.txt",
+      "sha256": "6bd8df30779863897e48441608240db6a7e3fcbd0754511e44f854f3a5c462a6",
+      "usage": "input"
+    },
+    {
+      "git_blob": "ce63b87bf13e5d14ea4de9cdb3f9039416fcf976",
+      "path": "research/coupled-carrier-cap740/evidence/logs/final-outer.log.txt",
+      "sha256": "670f60ee3ecc7e2d7fc4b23b468d4cdb8cfab9edaf252cd2410c1cabcb0318dc",
+      "usage": "input"
+    },
+    {
+      "git_blob": "5b85524248fde8617764fc0f67eafa7de11bcf48",
+      "path": "research/coupled-carrier-cap740/evidence/logs/final-source.log.txt",
+      "sha256": "5840b042911f77ba55c1536f72932775910e53930b4a515416f028c8ffe219b5",
+      "usage": "input"
+    },
+    {
+      "git_blob": "257be58c74eb0f54ee80f34af65e64e9f201935a",
+      "path": "research/coupled-carrier-cap740/evidence/logs/four-kernel-stage.log.txt",
+      "sha256": "f2bbb6462b3f5bb8a6415bb33c0c35355353b13343ddb90961660f7473caa5a2",
+      "usage": "input"
+    },
+    {
+      "git_blob": "e8a1b91290d5d8080bbbcad1895c3a0ba79f6a26",
+      "path": "research/coupled-carrier-cap740/evidence/logs/fresh-current-native.log.txt",
+      "sha256": "57a95a5df95aa0574b48d59d71a6e5e84d017172e51b8627d8713c52a7134206",
+      "usage": "input"
+    },
+    {
+      "git_blob": "9ca3a425215401648870f3f65397a683c028abfb",
+      "path": "research/coupled-carrier-cap740/evidence/logs/paired-extension-stage.log.txt",
+      "sha256": "61cc77beeae833d7473b5c5338b176b150f95f6652a888c0307f080674cfde35",
+      "usage": "input"
+    },
+    {
+      "git_blob": "de80347a9094a0741e644d36c1f75487fa664424",
+      "path": "research/coupled-carrier-cap740/evidence/logs/parent-paired-stage.log.txt",
+      "sha256": "d80d8494c48816e3acf662db00cc0077a888b82392d736826f73beb1c4248299",
+      "usage": "input"
+    },
+    {
+      "git_blob": "fd0283e7dfd22dc4587fab1cce1996d63ce20b94",
+      "path": "research/coupled-carrier-cap740/evidence/logs/pr3136-local-audit.log.txt",
+      "sha256": "20ddd986c6be5ecda7758f0fa42a90e0a7224dbb5eedfd4d9c9ee899743b50f5",
+      "usage": "input"
+    },
+    {
+      "git_blob": "4fa79b5e482d644cbe1d2c882dbc3296d367db9b",
+      "path": "research/coupled-carrier-cap740/evidence/logs/preload-stage.log.txt",
+      "sha256": "2eb7601c48840a39c58eb838886aed00a531349b259f0bbc3ea6421376b8ea3c",
+      "usage": "input"
+    },
+    {
+      "git_blob": "5e1171683aef6495ae7cc8120f5e99716126b0b4",
+      "path": "research/coupled-carrier-cap740/evidence/logs/public-fresh-preflight.log.txt",
+      "sha256": "2a1a354a82f7a24425452304b3d13d7a40a7db9aeed96c2a41907968195d1e9c",
+      "usage": "input"
+    },
+    {
+      "git_blob": "5e1171683aef6495ae7cc8120f5e99716126b0b4",
+      "path": "research/coupled-carrier-cap740/evidence/logs/public-preflight.log.txt",
+      "sha256": "2a1a354a82f7a24425452304b3d13d7a40a7db9aeed96c2a41907968195d1e9c",
+      "usage": "input"
+    },
+    {
+      "git_blob": "d058b55c96bf06d7e9f888559ef27df5417f354d",
+      "path": "research/coupled-carrier-cap740/evidence/logs/rank7-overlay-stage.log.txt",
+      "sha256": "06150c3f42489b14e981b90ac0e594e7e32bfc6ec4a98f3551cf53b6d18acd36",
+      "usage": "input"
+    },
+    {
+      "git_blob": "ece945cf77be3881cedf4578084ff98d666ef8ba",
+      "path": "research/coupled-carrier-cap740/materialize.py",
+      "sha256": "246c1f694f76faf93c21ba9e46a527d334f6d53a9d882e5fa9d98c859b57b736",
+      "usage": "input"
+    },
+    {
+      "git_blob": "8753eb471ea18bee3ccbb653552701602bad7ec4",
+      "path": "research/coupled-carrier-cap740/reproduce.py",
+      "sha256": "b8a057998fe8b5819aa429b49734f3f85348c38f0d27e3302853098ddc5b902d",
+      "usage": "input"
+    },
+    {
+      "git_blob": "e1d4e7582bedc204ca6da844568febf602af3cc5",
+      "path": "research/coupled-carrier-cap740/requirements-full.txt",
+      "sha256": "13f257631f46d3c774495c6b22351899a825afb226410856b2c549535022632f",
+      "usage": "input"
+    },
+    {
+      "git_blob": "a8164efa989d6b0cd92ad5ec4acbcd72467a93fb",
+      "path": "research/coupled-carrier-cap740/run_release.py",
+      "sha256": "1955dbfed014b34df1401b3bed480eb30eb0d80854285f8b63da0e8d838c899a",
+      "usage": "input"
+    },
+    {
+      "git_blob": "9343c069fef7570bdfd654ee882ef46f8c1b6657",
+      "path": "research/coupled-carrier-cap740/test_allocation.py",
+      "sha256": "cf3eb0e979828fbb0960d1240c42a95aab79b6ef73e8106cb93d2166513076c2",
+      "usage": "input"
+    },
+    {
+      "git_blob": "649aa2be9e21b16001ebd03e4d9c3e8c808363fd",
+      "path": "research/coupled-carrier-cap740/test_bindings.py",
+      "sha256": "f334e67e1ccd2b5eb9430e11aa48fffaa11b07aba3e4bc8518f6cd079bb7a6c1",
+      "usage": "input"
+    },
+    {
+      "git_blob": "804edbf26529d259e473ec5c79b7755370001cdc",
+      "path": "research/coupled-carrier-cap740/vendor/PR3133-CAP.json",
+      "sha256": "e32f3ecd5e6594935583f80f643cf1930e8bc017e3c541025c335395a15cf19c",
+      "usage": "input"
+    },
+    {
+      "git_blob": "493d11346de068a2c4307a2dbdd6cf14f8e146fc",
+      "path": "research/coupled-carrier-cap740/vendor/PR3133-CLAIM.json",
+      "sha256": "f3435eda62a95bb02fd4870ac97b108b3a6862cbf84a7d22863889fc1d73ec01",
+      "usage": "input"
+    },
+    {
+      "git_blob": "24f00912d4ec829c3c8d2a8d086aa135664a124c",
+      "path": "research/coupled-carrier-cap740/vendor/PR3133-CREDITS.md",
+      "sha256": "1d9d8f56d8899f55878e4cb2c4e052b22506444016a51c2e678773505f5189e6",
+      "usage": "input"
+    },
+    {
+      "git_blob": "92b49b42b8f381d686a9fb8057e74e4b7548cd5c",
+      "path": "research/coupled-carrier-cap740/vendor/PR3133-FILL.json.gz",
+      "sha256": "68b8bae90144248774b1920cd27f9519caa3dc427704d8a9da6d4c491d912fc4",
+      "usage": "input"
+    },
+    {
+      "git_blob": "e0900bd015194d3876072ccea00bffba92a43627",
+      "path": "research/coupled-carrier-cap740/vendor/PR3133-MANIFEST.json",
+      "sha256": "609209f577c9185b16825dd2e8bb30f0891205fddd2571a8f76c558e3cb1f70e",
+      "usage": "input"
+    },
+    {
+      "git_blob": "89c20926ea7f803718f751d95989d5a269908efd",
+      "path": "research/coupled-carrier-cap740/vendor/PR3133-NOTICE",
+      "sha256": "c9731c9cca25ede32c2a1b3aef6d5b249973cb2ed5fb2494407bdca598763661",
+      "usage": "input"
+    },
+    {
+      "git_blob": "0b2343675099d0a9fe90da6e1f1e53f50235567e",
+      "path": "research/coupled-carrier-cap740/vendor/PR3133-PROVIDERS.json",
+      "sha256": "52eb0d85caa7b2d4a93acdf5011f52b793f61ddca86235fb03cd9a09397ad4cd",
+      "usage": "input"
+    },
+    {
+      "git_blob": "717067dfce61c530205e8dad7ab3e76376f2c179",
+      "path": "research/coupled-carrier-cap740/vendor/lift.py",
+      "sha256": "ae6c1fee78fbdec26976ca74ca89f6aab2528d763c596f6573132cb54d57cd3c",
+      "usage": "input"
+    },
+    {
+      "git_blob": "d7839edadfb6d65bf859d5a8ce6b83aa818e940e",
+      "path": "research/coupled-carrier-cap740/verify.py",
+      "sha256": "86fbd1ab5fdbc5ea1914a2d873e55d8ea1b4921bfcc2567442cc8141567019be",
+      "usage": "input"
+    },
+    {
+      "git_blob": "a3ac9233bed653943708b940d6b2718feb58cd59",
+      "path": "research/coupled-carrier-cap740/verify_release.py",
+      "sha256": "30acfd9f5f4488f29f2f8e6854ba35dc06ce1afba97124408eb051b7b145ea27",
+      "usage": "input"
+    },
+    {
+      "git_blob": "cb4cc24a4545944627ad595c0c5080196952b9f0",
+      "path": "research/coupled-carrier-cap740/words/base.json.gz",
+      "sha256": "300a9b8ad1d554f0e6f84f43f3f5fd870a5b4e5f81ad856900b6e8999684892e",
+      "usage": "input"
+    },
+    {
+      "git_blob": "decc8f26d8aab108baf75f0d8b2d1012eb06d076",
+      "path": "research/coupled-carrier-cap740/words/extra.json.gz",
+      "sha256": "495d030f1e03b90e954dad3043994f03293d41b9ed220a3beaef849df435d3f0",
+      "usage": "input"
+    },
+    {
+      "git_blob": "b317e9b35dbc3bb18a659701b6c286b170822c7a",
+      "path": "research/gmx-t74-borrow43-handoff/code/assemble.py",
+      "sha256": "f25e1e870df5d5a16a1e367b3df8843cb01644ab4b75895d7939af81e4fcb833",
+      "usage": "input"
+    },
+    {
+      "git_blob": "b64077b84b04433719a35ea683b52f02e8564cc0",
+      "path": "research/gmx-t74-borrow43-handoff/outer/check_ledger.py",
+      "sha256": "9e12909c73d3b3a31a45d801ae76c034510d6306400412e474df79bc4f1dc67e",
+      "usage": "input"
+    },
+    {
+      "git_blob": "b838c430efe5c3cc10db81d0a2b16b4ee4cfe3c5",
+      "path": "research/gmx-t74-borrow43-handoff/outer/independent_check.py",
+      "sha256": "a5a0361539ec7cae9eb6c0371f857919335a1720040f22af291aa3e34fc864c7",
+      "usage": "input"
+    },
+    {
+      "git_blob": "bd6dc2eb4e5013625d17cc08461b67622bcfed69",
+      "path": "research/rank7-joint-endframes/tools/root.py",
+      "sha256": "55f5aca39b5ee2fe4687ac8863e6c24569010f27a332883c069b8e14b8fe09e3",
+      "usage": "input"
+    },
+    {
+      "git_blob": "0d96586a00f03058d6dc1d7882ec8fbe6661ed00",
+      "path": "research/two-sided-helper-extraction/tools/audit_moment.py",
+      "sha256": "e7147ccb8c57aa32a2cb227234a6a200a0b9e735eb1a655fd79ab29a4d7c0a00",
+      "usage": "input"
+    }
+  ],
+  "schema_version": 1
+}
diff --git a/research/coupled-cap740-grid35/TASK.json b/research/coupled-cap740-grid35/TASK.json
new file mode 100644
index 0000000000..6a02db44bb
--- /dev/null
+++ b/research/coupled-cap740-grid35/TASK.json
@@ -0,0 +1,66 @@
+{
+  "actual_scope": "Refine PR3148 fixed-supplier endpoint to 35 digits with source-bound reuse of its unchanged native/physical bill.",
+  "ai_assistance": "Substantial OpenAI Codex assistance; no independent human or proof-kernel review claimed.",
+  "author": "dataisfire",
+  "base_commit": "6f100d4bb5083f8c35d96fd95a539811c62f245c",
+  "bottleneck_link": "Removes 24-digit endpoint rounding slack; does not change supplier economics or inherited all-size assumptions.",
+  "budget_minutes": 60,
+  "evidence": "RESULT.json, PROOF.md and the registered source-bound replay.",
+  "open_questions": [
+    {
+      "blocked_by": "No cheaper causally legal changed supplier has survived the local screens.",
+      "first_step": "Supply a changed interaction and whole producer/consumer invoice outside fixed-word packing optimality.",
+      "question": "Can a changed paid word exceed the attained packing root materially?",
+      "why_it_matters": "The present gain is only rounding slack, approximately 9.04e-25."
+    }
+  ],
+  "original_card": {
+    "acceptance_gate": "Demonstrate independence, source binding, positive cases and semantic failure controls. Name the existing checks and the missing coverage. More digits or another equivalent evaluation of an unchanged root is not by itself new verification coverage.",
+    "allowed_variations": [
+      "Reconstruct either a source ledger or a numeric enclosure with a different method."
+    ],
+    "bottleneck_link": "Independent pricing prevents unsupported frontier claims and can reveal genuine accounting slack.",
+    "first_experiment": "Prioritize a bounded independent audit of #2979: reconstruct one joint group and its single-lowering control, check the declared frames/chronology, then trace changed children, idle widths and cleanup buffers into the complete invoice and both supplier caps. Choose one still-missing implication after checking existing audits. Stop with exact unresolved dependencies if full admission exceeds the session; do not launch a new lowering census on an unvalidated premise or substitute extra root digits for mechanism checking.",
+    "first_step": {
+      "command": [
+        "python3",
+        "-B",
+        "scripts/research_baseline.py"
+      ],
+      "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY",
+      "inspect": "Read #2979 joint rank-7 end-frame proposal and the revision-6 evidence status. Its claimed kappa is not selected. Compare coordinated changes with the losing single-change controls and locate the complete physical ledger; an aggregate moment alone does not validate the mechanism.",
+      "scope": "Positive control / source-bound orientation only; this is not a new construction or full cold replay."
+    },
+    "id": "independent-moment",
+    "methods": [
+      "Independently reconstruct a coordinated frame/circuit change and its single-change control, then derive the complete rank and physical ledger.",
+      "Implement certified moment inequalities through a different exact enclosure method."
+    ],
+    "overlap_terms": [
+      "independent moment",
+      "rank histogram",
+      "exact enclosure",
+      "2979",
+      "rank7 joint endframes",
+      "paired extraction",
+      "joint lowering"
+    ],
+    "question": "Does one changed supplier or assembly claim lack a source-bound independent check of a specific new implication?",
+    "scope_change_triggers": [
+      "Importing the primary function and calling its output independent verification.",
+      "Promoting #2979 from merged source archive to validated supplier solely from author PASS receipts or aggregate pricing."
+    ],
+    "starting_points": [
+      "certificates/selected-result.json",
+      "research/rank7-joint-endframes/README.md",
+      "docs/research/research-family-status.md"
+    ]
+  },
+  "outcome": "completed",
+  "priority_revision": 6,
+  "schema_version": 1,
+  "scope_change_reason": "Explicit donor asks for a strict kappa improvement. Bounded changed-word and fractional-factor attempts found none; this closes a concrete release rounding gap. More digits are not new independent coverage of the physical supplier.",
+  "scope_status": "changed",
+  "stop_rule": "Publish only after both exact moment engines, all affected outer/bootstrap rows, explicit unchanged-bill reuse proof and source/privacy controls pass.",
+  "task_id": "independent-moment"
+}
diff --git a/research/coupled-cap740-grid35/VALIDATION.json b/research/coupled-cap740-grid35/VALIDATION.json
new file mode 100644
index 0000000000..73d8381ca4
--- /dev/null
+++ b/research/coupled-cap740-grid35/VALIDATION.json
@@ -0,0 +1,14 @@
+{
+  "direct_verifier": "passed on both",
+  "fresh_native_replay": false,
+  "git_free_read_only_transport": "passed on both",
+  "metadata_and_pins": "passed",
+  "python_versions": [
+    "3.12.6",
+    "3.14"
+  ],
+  "real_cli_rejection_controls": 5,
+  "registered_launcher": "Scientific command passed; launcher cleanup failed with Windows temporary-directory access denial. No successful complete launcher run claimed.",
+  "scope": "Actual local checks; hosted exact-head CI is separate",
+  "selected_frontier_changed": false
+}
diff --git a/research/coupled-cap740-grid35/VERIFY.json b/research/coupled-cap740-grid35/VERIFY.json
new file mode 100644
index 0000000000..0eac506624
--- /dev/null
+++ b/research/coupled-cap740-grid35/VERIFY.json
@@ -0,0 +1,100 @@
+{
+  "commands": [
+    {
+      "argv": [
+        "{python}",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "checks": "Source-bound unchanged native/invoice receipt validation; two exact endpoint engines and unpaid-child controls; 12 carried bootstrap stages and 47 constraints; 63 modern outer rows, 17 rejection controls and independent balance. No fresh cold native replay.",
+      "timeout_seconds": 120
+    },
+    {
+      "argv": [
+        "{python}",
+        "-B",
+        "{package}/test_transport.py"
+      ],
+      "checks": "Actual Git-free read-only export and five real CLI integrity/scope rejection controls; no additional native replay.",
+      "timeout_seconds": 120
+    }
+  ],
+  "inputs": [
+    "research/adaptive-kernel-demotion/vendor/engines/outer.py",
+    "research/coupled-carrier-cap740/.gitattributes",
+    "research/coupled-carrier-cap740/BASELINE-PR3143.json",
+    "research/coupled-carrier-cap740/CLAIM.json",
+    "research/coupled-carrier-cap740/EXCHANGE.json",
+    "research/coupled-carrier-cap740/FETCH.txt",
+    "research/coupled-carrier-cap740/MANIFEST.json",
+    "research/coupled-carrier-cap740/NOTICE",
+    "research/coupled-carrier-cap740/README.md",
+    "research/coupled-carrier-cap740/SOURCE-PINS.json",
+    "research/coupled-carrier-cap740/SOURCES.json",
+    "research/coupled-carrier-cap740/TASK.json",
+    "research/coupled-carrier-cap740/VENDOR.json",
+    "research/coupled-carrier-cap740/VERIFY.json",
+    "research/coupled-carrier-cap740/cap_check.py",
+    "research/coupled-carrier-cap740/common.py",
+    "research/coupled-carrier-cap740/construct.py",
+    "research/coupled-carrier-cap740/evidence/ADMISSION-RESULT.json",
+    "research/coupled-carrier-cap740/evidence/COMPOSITION-RESULT.json",
+    "research/coupled-carrier-cap740/evidence/ENVIRONMENT.json",
+    "research/coupled-carrier-cap740/evidence/FINITE.json",
+    "research/coupled-carrier-cap740/evidence/INVOICE-PAYLOAD.json",
+    "research/coupled-carrier-cap740/evidence/MATERIALIZED.json",
+    "research/coupled-carrier-cap740/evidence/NATIVE-RECEIPT.json",
+    "research/coupled-carrier-cap740/evidence/NATIVE-base-STEPS.json",
+    "research/coupled-carrier-cap740/evidence/NATIVE-extra-STEPS.json",
+    "research/coupled-carrier-cap740/evidence/OUTER-CLAIM.json",
+    "research/coupled-carrier-cap740/evidence/OVERLAP.json",
+    "research/coupled-carrier-cap740/evidence/PREFIX-AND-INVOICE.json.gz",
+    "research/coupled-carrier-cap740/evidence/RECIPE.json",
+    "research/coupled-carrier-cap740/evidence/RELEASE-RECEIPT.json",
+    "research/coupled-carrier-cap740/evidence/RETAINED-REUSE-RECEIPT.json",
+    "research/coupled-carrier-cap740/evidence/RUN.json",
+    "research/coupled-carrier-cap740/evidence/logs/complete-admission.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/declared-edit-stage.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/derive-closed-adapters.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/export-pr2833.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/export-pr2894.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/final-outer.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/final-source.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/four-kernel-stage.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/fresh-current-native.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/paired-extension-stage.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/parent-paired-stage.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/pr3136-local-audit.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/preload-stage.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/public-fresh-preflight.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/public-preflight.log.txt",
+    "research/coupled-carrier-cap740/evidence/logs/rank7-overlay-stage.log.txt",
+    "research/coupled-carrier-cap740/materialize.py",
+    "research/coupled-carrier-cap740/reproduce.py",
+    "research/coupled-carrier-cap740/requirements-full.txt",
+    "research/coupled-carrier-cap740/run_release.py",
+    "research/coupled-carrier-cap740/test_allocation.py",
+    "research/coupled-carrier-cap740/test_bindings.py",
+    "research/coupled-carrier-cap740/vendor/PR3133-CAP.json",
+    "research/coupled-carrier-cap740/vendor/PR3133-CLAIM.json",
+    "research/coupled-carrier-cap740/vendor/PR3133-CREDITS.md",
+    "research/coupled-carrier-cap740/vendor/PR3133-FILL.json.gz",
+    "research/coupled-carrier-cap740/vendor/PR3133-MANIFEST.json",
+    "research/coupled-carrier-cap740/vendor/PR3133-NOTICE",
+    "research/coupled-carrier-cap740/vendor/PR3133-PROVIDERS.json",
+    "research/coupled-carrier-cap740/vendor/lift.py",
+    "research/coupled-carrier-cap740/verify.py",
+    "research/coupled-carrier-cap740/verify_release.py",
+    "research/coupled-carrier-cap740/words/base.json.gz",
+    "research/coupled-carrier-cap740/words/extra.json.gz",
+    "research/gmx-t74-borrow43-handoff/code/assemble.py",
+    "research/gmx-t74-borrow43-handoff/outer/check_ledger.py",
+    "research/gmx-t74-borrow43-handoff/outer/independent_check.py",
+    "research/rank7-joint-endframes/tools/root.py",
+    "research/two-sided-helper-extraction/tools/audit_moment.py"
+  ],
+  "python": "3.12",
+  "requirements": [],
+  "schema_version": 1,
+  "status": "ready"
+}
diff --git a/research/coupled-cap740-grid35/test_transport.py b/research/coupled-cap740-grid35/test_transport.py
new file mode 100644
index 0000000000..d1ccf6278c
--- /dev/null
+++ b/research/coupled-cap740-grid35/test_transport.py
@@ -0,0 +1,65 @@
+#!/usr/bin/env python3
+# SPDX-License-Identifier: Apache-2.0
+"""Real CLI, Git-free read-only transport and focused corruption controls."""
+import hashlib
+import json
+import os
+from pathlib import Path
+import shutil
+import stat
+import subprocess
+import sys
+import uuid
+
+P=Path(__file__).resolve().parent
+ROOT=P.parents[1]
+parent=Path(os.environ.get('TMP',os.environ.get('TEMP','.'))).resolve()
+work=parent/('grid35-transport-'+uuid.uuid4().hex)
+work.mkdir()
+target=work/'research'/P.name
+target.mkdir(parents=True)
+paths=set()
+for row in json.loads((P/'SOURCES.json').read_bytes())['files']:
+    if row['usage']=='input':paths.add(row['path'])
+paths.update(p.relative_to(ROOT).as_posix() for p in P.iterdir() if p.is_file())
+for name in paths:
+    destination=work/name;destination.parent.mkdir(parents=True,exist_ok=True)
+    shutil.copyfile(ROOT/name,destination)
+
+def digest(path):return hashlib.sha256(path.read_bytes()).hexdigest()
+
+def run(expect,extra=()):
+    result=subprocess.run([sys.executable,'-B','-X','pycache_prefix='+str(parent/('grid35-pyc-'+uuid.uuid4().hex)),
+                           *extra,str(target/'verify.py')],capture_output=True,text=True,cwd=work)
+    if (result.returncode==0)!=expect:
+        raise ValueError('unexpected transport/control result: '+result.stdout[-500:]+result.stderr[-1000:])
+    return result
+
+def mutation(path,change,reason):
+    original=path.read_bytes()
+    path.chmod(stat.S_IWRITE|stat.S_IREAD)
+    path.write_bytes(change(original))
+    result=run(False)
+    if reason not in result.stderr:raise ValueError('wrong rejection reason: '+result.stderr[-1000:])
+    path.write_bytes(original);path.chmod(stat.S_IREAD)
+
+before={name:digest(work/name) for name in paths}
+for name in paths:(work/name).chmod(stat.S_IREAD)
+try:
+    run(True)
+    if before!={name:digest(work/name) for name in paths}:raise ValueError('read-only export source changed')
+    mutation(work/'research/rank7-joint-endframes/tools/root.py',lambda raw:raw+b'\n# changed source\n','source drift')
+    mutation(target/'SOURCES.json',lambda raw:raw.replace(b'"input"',b'"provenance"',1),'complete source manifest')
+    def claim(raw):
+        value=json.loads(raw);value['kappa']='1/100';return json.dumps(value).encode()
+    mutation(target/'CLAIM.json',claim,'exact public claim')
+    def receipt(raw):
+        value=json.loads(raw);value['physical']=1;return json.dumps(value).encode()
+    mutation(target/'RESULT.json',receipt,'fresh complete scoped result')
+    run(False,('-O',))
+    print('PASS_GRID35_GIT_FREE_READ_ONLY_AND_FIVE_REJECTION_CONTROLS')
+finally:
+    if work.parent!=parent or not work.name.startswith('grid35-transport-'):
+        raise ValueError('unsafe private cleanup')
+    for name in paths:(work/name).chmod(stat.S_IWRITE|stat.S_IREAD)
+    shutil.rmtree(work)
diff --git a/research/coupled-cap740-grid35/verify.py b/research/coupled-cap740-grid35/verify.py
new file mode 100644
index 0000000000..d82ca80c5d
--- /dev/null
+++ b/research/coupled-cap740-grid35/verify.py
@@ -0,0 +1,188 @@
+#!/usr/bin/env python3
+# SPDX-License-Identifier: Apache-2.0
+"""Source-bound arithmetic refinement of PR3148; unchanged supplier reused.
+
+No cold native replay or new physical construction is claimed. Retained
+engines and the original full-port/native/invoice evidence keep their credit.
+Prepared with substantial OpenAI Codex assistance.
+"""
+import argparse
+import ast
+import gzip
+import hashlib
+import json
+import os
+from pathlib import Path
+import shutil
+import subprocess
+import sys
+import textwrap
+from fractions import Fraction as Q
+import types
+import uuid
+
+P=Path(__file__).resolve().parent
+ROOT=P.parents[1]
+BASE=ROOT/'research/coupled-carrier-cap740'
+SUPPLIER=ROOT/'research/gmx-t74-borrow43-handoff'
+SOURCE_MANIFEST_SHA256='5bb835aa40d21cdf9027a331f4c7a433e950864b798b160f2566419f9097c9e6'
+
+
+def need(ok,why):
+    if not ok:raise ValueError(why)
+
+
+def read(path):return json.loads(path.read_bytes())
+
+
+def sha(path):return hashlib.sha256(path.read_bytes()).hexdigest()
+
+
+def save(path,value):
+    path.write_bytes((json.dumps(value,indent=2,sort_keys=True)+'\n').encode())
+
+
+def load(path,name):
+    # Compile authenticated source directly, avoiding stale bytecode imports.
+    module=types.ModuleType(name);module.__file__=str(path)
+    exec(compile(path.read_bytes(),str(path),'exec'),module.__dict__)
+    return module
+
+
+def authenticate():
+    need(sha(P/'SOURCES.json')==SOURCE_MANIFEST_SHA256,'complete source manifest and usage classes')
+    for item in read(P/'SOURCES.json')['files']:
+        if item['usage']=='input':
+            need(sha(ROOT/item['path'])==item['sha256'],'source drift: '+item['path'])
+    manifest=read(BASE/'MANIFEST.json')
+    actual={p.relative_to(BASE).as_posix():sha(p) for p in BASE.rglob('*')
+            if p.is_file() and p!=BASE/'MANIFEST.json'}
+    need(actual==manifest,'unchanged complete predecessor package')
+
+
+def calculate():
+    authenticate()
+    baseline=read(BASE/'evidence/COMPOSITION-RESULT.json')
+    profile={int(r):n for r,n in baseline['profile'].items()}
+    need(profile=={1:16376940,2:4821840,3:1567431,4:679320,5:147075,8:53280,48:282569},'complete fixed bill')
+    need(sum(r*n for r,n in profile.items())==65088*740,'rank mass')
+    old=Q(baseline['kappa'])
+    engine=load(ROOT/'research/rank7-joint-endframes/tools/root.py','credited_root')
+    lo,hi=engine.kappa_from_profile(profile,740,digits=40)
+    C=Q((lo*10**35).__floor__(),10**35)
+    K=C-Q(1,10**57)-Q(1,10**81)
+    need(old<K<C<=lo<hi<C+Q(1,10**35),'strict gain and root bracket')
+    second=load(ROOT/'research/two-sided-helper-extraction/tools/audit_moment.py','credited_independent_moment')
+    moments=[]
+    for E in (engine,second):
+        below=E.moment(profile,C,896*740);above=E.moment(profile,C+Q(1,10**35),896*740)
+        need(below[1]<1<above[0],'accept endpoint and reject next grid')
+        for r in (1,48):
+            bad=dict(profile);bad[r]+=1
+            need(E.moment(bad,C,896*740)[0]>1,'extra unpaid child must reject')
+        moments.append(dict(source_sha256=sha(Path(E.__file__)),upper_minus_one=str(below[1]-1),
+                            successor_lower_minus_one=str(above[0]-1)))
+    return dict(profile=profile,complex_lower=str(C),kappa=str(K),previous=str(old),gain=str(K-old),
+                root_lower=str(lo),root_upper=str(hi),moments=moments)
+
+
+def bootstrap(C):
+    source=(SUPPLIER/'code/assemble.py').read_text()
+    node=next(n for n in ast.walk(ast.parse(source)) if isinstance(n,ast.FunctionDef) and n.name=='_outer_witness_raw')
+    body=textwrap.dedent('\n'.join(source.splitlines()[node.lineno-1:node.end_lineno])+'\n')
+    E=ROOT/'research/adaptive-kernel-demotion/vendor/engines/outer.py'
+    need(sha(E)=='c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c','47-row engine')
+    env=dict(Q=Q,mpz=int,hashlib=hashlib,PAYLOAD=2048,c=Q('0.001733427039589844234749'),
+             SPEC=dict(outer_refinement=dict(endpoint_digits=35,grid_digits=29,margin_digits=39,bootstrap_steps=12)),
+             A=load(E,'retained_assembly'))
+    exec(compile(body,'<retained _outer_witness_raw>','exec'),env)
+    k,cuts,outer,controls=env['_outer_witness_raw'](C)
+    need(len(outer['strict_constraints'])==47 and all(v>0 for v in outer['strict_constraints'].values()),'all47 bootstrap constraints')
+    need(len(cuts)==13 and len(controls)==4,'12 steps and four original controls')
+    return dict(legacy_balanced_kappa=str(k),cutoffs=cuts,controls=controls,
+                strict_constraints={n:str(v) for n,v in outer['strict_constraints'].items()})
+
+
+def outer(arithmetic,work):
+    admission=read(BASE/'evidence/ADMISSION-RESULT.json')
+    patch=next(p for p in admission['patches'] if p['path']=='outer/check_ledger.py')
+    raw=(SUPPLIER/'outer/check_ledger.py').read_bytes()
+    need(hashlib.sha256(raw).hexdigest()==patch['before_sha256'],'outer preimage')
+    text=raw.decode().replace('\r\n','\n')
+    for before,after in patch['replacements']:
+        need(text.count(before)==1,'one exact predecessor outer patch')
+        text=text.replace(before,after)
+    need(hashlib.sha256(text.encode()).hexdigest()==patch['after_sha256'],'exact admitted outer checker')
+    (work/'outer').mkdir();(work/'new').mkdir()
+    (work/'outer/check_ledger.py').write_bytes(text.encode())
+    other=SUPPLIER/'outer/independent_check.py'
+    stage=next(s for s in admission['stages'] if s['name']=='outer-independent_check.py')
+    need(sha(other)==stage['script_sha256'],'exact independent checker')
+    (work/'outer/independent_check.py').write_bytes(other.read_bytes())
+    C=Q(arithmetic['complex_lower']);K=Q(arithmetic['kappa'])
+    save(work/'new/SPEC.json',dict(geometry=dict(dimension=73,replicas=740),
+         expected=dict(complex_lower=str(C),kappa=arithmetic['previous'],global_profile=arithmetic['profile'],live=896*740),
+         outer_refinement=dict(endpoint_digits=35)))
+    save(work/'CLAIM.json',dict(kappa=str(K),scope='Conditional fixed-supplier arithmetic refinement'))
+    save(work/'outer/B.json',dict(b=str(C-Q(1,10**115)),b_above_endpoint=str(C+Q(1,10**35)),
+                                 profile=arithmetic['profile'],live=896*740))
+    for name in ('check_ledger.py','independent_check.py'):
+        # Separate interpreter with a fresh bytecode namespace; assertions stay on.
+        with (work/(name+'.log')).open('w') as log:
+            subprocess.run([sys.executable,'-B','-X','pycache_prefix='+str(work/'pycache'),str(work/'outer'/name)],
+                           check=True,stdout=log,stderr=subprocess.STDOUT)
+    ledger=read(work/'outer/LEDGER.json');row=ledger['rows']['struct_boundary_radix_union']
+    need(Q(row['kappa']['rational'])==K,'actual derived endpoint')
+    need(len(row['strict_checks'])==63 and all(Q(v['rational'])>0 for v in row['strict_checks'].values()),'all63 outer rows')
+    controls=ledger['rejecting_controls']['struct_boundary_radix_union']
+    need(len(controls)==17 and all(v and all(Q(w['rational'])<=0 for w in v.values()) for v in controls.values()),'all17 original controls')
+    balance=read(work/'outer/INDEPENDENT.json')
+    need(balance['status']=='PASS_INDEPENDENT_BALANCE_DERIVATION' and
+         Q(balance['rows']['struct_boundary_radix_union']['kappa'])==K,'independent endpoint derivation')
+    return dict(ledger=ledger,independent=balance)
+
+
+def main():
+    ap=argparse.ArgumentParser(description=__doc__)
+    ap.add_argument('--output',type=Path)
+    a=ap.parse_args()
+    need(not sys.flags.optimize,'retained outer checkers require assertions')
+    need(not a.output or not a.output.exists(),'output must be fresh')
+    arithmetic=calculate()
+    claim=read(P/'CLAIM.json')
+    for key in ('kappa','complex_lower','previous','gain'):
+        need(claim[key]==arithmetic[key],'exact public claim '+key)
+    need(claim['endpoint_digits']==35 and claim['fresh_native_replay'] is False and
+         claim['selected_frontier_changed'] is False,'public scope flags')
+    need(type(claim['physical']) is int and claim['physical']==663549 and
+         type(claim['private_zero_buffers']) is int and claim['private_zero_buffers']==91,'public physical bill')
+    need(all(type(n) is int for n in claim['profile'].values()) and
+         {int(r):n for r,n in claim['profile'].items()}==arithmetic['profile'],'public paid profile')
+    baseline=load(BASE/'verify_release.py','retained_release').check()
+    invoice=json.loads(gzip.decompress((BASE/'evidence/PREFIX-AND-INVOICE.json.gz').read_bytes()))
+    need(len(invoice['strict_checks'])==9 and all(v is True for v in invoice['strict_checks'].values()),'nine fixed finite guards')
+    need((invoice['physical'],invoice['private_zero_buffers'],invoice['global_prefix_bits'],invoice['charged_prefix_bits'])==
+         (663549,91,1479,2048),'unchanged full physical and prefix bill')
+    work=Path(os.environ.get('TMP',os.environ.get('TEMP','.'))).resolve()/('cap740-grid35-'+uuid.uuid4().hex)
+    work.mkdir()
+    try:
+        fresh_outer=outer(arithmetic,work)
+        boot=bootstrap(Q(arithmetic['complex_lower']))
+        result=dict(status='PASS_COUPLED_CAP740_GRID35_CONDITIONAL_REFINEMENT',arithmetic=arithmetic,
+                    profile_unchanged=True,finite_guards=invoice['strict_checks'],physical=663549,private_zero_buffers=91,
+                    native_replay='Inherited unchanged PR3148 source-bound native evidence; no fresh native replay',
+                    invoice_payload_sha256=hashlib.sha256(gzip.decompress((BASE/'evidence/PREFIX-AND-INVOICE.json.gz').read_bytes())).hexdigest(),
+                    baseline_release=baseline,bootstrap=boot,outer=fresh_outer,
+                    scope='Conditional fixed-supplier precision refinement; inherited physical/compiler/all-size assumptions remain')
+        expected=read(P/'RESULT.json')
+        encode=lambda value:json.dumps(json.loads(json.dumps(value)),sort_keys=True,separators=(',',':'))
+        need(encode(result)==encode(expected),'fresh complete scoped result differs from published receipt')
+        if a.output:save(a.output,result)
+        print(result['status'],'gain',arithmetic['gain'])
+    finally:
+        need(work.parent==Path(os.environ.get('TMP',os.environ.get('TEMP','.'))).resolve() and
+             work.name.startswith('cap740-grid35-'),'safe private work cleanup')
+        shutil.rmtree(work)
+
+
+if __name__=='__main__':main()