From f2206e608167995b9b96b7e340b3558f2b578490 Mon Sep 17 00:00:00 2001
From: ToikY <27568617+ToikY@users.noreply.github.com>
Date: Wed, 11 Nov 2026 01:57:57 -0800
Subject: [PATCH 1/2] Reuse selected replay navigation for hosted checks

Reuse the exact documentation blob carried by #7161 at bb36fc65ee0b161229169505f4840c436c5ca2b9, following #7147 and #7156.
---
 docs/ci-verification.md | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/docs/ci-verification.md b/docs/ci-verification.md
index 63ba3e9aa8..52b62d0481 100644
--- a/docs/ci-verification.md
+++ b/docs/ci-verification.md
@@ -1,8 +1,25 @@
 # CI verification
 
-## Current selected-family replay: #6030
+## Current selected-family replay: #7000 with #7001
 
 The [selected record](../certificates/selected-result.json) binds conditional
+κ = 0.00363005817 to the [application review](research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md),
+[validation receipts](research/pr-intake-evidence/pr7000-application/VALIDATION.json),
+and [explicit source closure](../certificates/frontier7000-source.json).
+`make frontier7000-verify` follows that exact-source selected replay. The review
+reuses eleven authenticated preceding executions and records seven fresh serial
+application, scalar and complete native-catalogue executions. The earlier
+monolithic timeout is retained separately and is not completed coverage.
+Consult the receipts for exact commands, source heads and limits.
+
+The five inherited framework assumptions remain. No complete uniform word,
+literal multiplier execution, independent human proof or formal-kernel proof
+is asserted. Routine research submissions do not need to rerun this
+selected-family replay. The sections below preserve historical checkpoints.
+
+## Historical selected-family replay: #6030
+
+The [historical checkpoint](../certificates/checkpoints/frontier6030.json) binds conditional
 κ = 0.003125804 to the [proof review](research/pr-intake-evidence/pr6030-audit/PROOF-REVIEW.md),
 [validation receipts](research/pr-intake-evidence/pr6030-audit/VALIDATION.json),
 and [explicit source closure](../certificates/frontier6030-source.json).

From 6ff6d56f71b8e9a2663c2e6204fbabeba34c254b Mon Sep 17 00:00:00 2001
From: ToikY <27568617+ToikY@users.noreply.github.com>
Date: Wed, 11 Nov 2026 02:48:37 -0800
Subject: [PATCH 2/2] Bound paired BIT bank volume across varying cover labels

---
 research/bit-full-cover-volume-cut/PROOF.md   |   41 +
 research/bit-full-cover-volume-cut/README.md  |   23 +
 .../bit-full-cover-volume-cut/RESULT.json     | 1496 +++++++++++++++++
 .../bit-full-cover-volume-cut/SOURCES.json    |   42 +
 research/bit-full-cover-volume-cut/TASK.json  |   64 +
 .../bit-full-cover-volume-cut/VERIFY.json     |   26 +
 research/bit-full-cover-volume-cut/verify.py  |  216 +++
 7 files changed, 1908 insertions(+)
 create mode 100644 research/bit-full-cover-volume-cut/PROOF.md
 create mode 100644 research/bit-full-cover-volume-cut/README.md
 create mode 100644 research/bit-full-cover-volume-cut/RESULT.json
 create mode 100644 research/bit-full-cover-volume-cut/SOURCES.json
 create mode 100644 research/bit-full-cover-volume-cut/TASK.json
 create mode 100644 research/bit-full-cover-volume-cut/VERIFY.json
 create mode 100644 research/bit-full-cover-volume-cut/verify.py

diff --git a/research/bit-full-cover-volume-cut/PROOF.md b/research/bit-full-cover-volume-cut/PROOF.md
new file mode 100644
index 0000000000..56694b6775
--- /dev/null
+++ b/research/bit-full-cover-volume-cut/PROOF.md
@@ -0,0 +1,41 @@
+# Full-cover volume bound for two smaller BIT children
+
+## Exact interface
+
+The two fields are independent at the replacement boundary. Each is a binary function on the same complete cover rows C_w and physical address lattice Z_w over the admitted odd q-power digits. Extra common spectators can be included in Z_w. Write V_w = |C_w| |Z_w| for one field's volume. In each cover row g, the required difference-address map is T_g = g(I−2P)g⁻¹ with rank(P)=a, leaving the common sum address and spectators fixed. Each paid child is a fixed rational projector Q_i of proper positive rank r_i<a, acting at its current cover row by h(I−2Q_i)h⁻¹. The allowed digit primes make the rational chart and route denominators units.
+
+The proposed replacement has at most two chronological paid positions. It permits arbitrary pointwise binary mixing within a cover row, copying and scratch, and a finite sequence of fixed rational right cover routes, including routes that visit different cover labels for different roles or paths. These ordinary operations preserve the full physical address, although they may change the cover label or normalized coordinates. The finite path graph and rational route multipliers are width-independent. Pull back the common permissible external weight. There are no paid or ordinary address-changing operations besides the declared children in this replacement. The scope includes variable bank occupancies when every occupied cell is charged. It does not assume an actual lowered replacement in the current compiler.
+
+## Uniform bound on bypasses
+
+A chronological path ending at output cover g and using zero or one paid child acts on the physical difference address by g B_j g⁻¹. To see this, walk the fixed right multipliers backwards from g. The cover at the single child is g S_j for a fixed product S_j. In the zero-child case B_j is the identity. In the single-child case it is a rational conjugate of the corresponding child map. Its rank defect from identity is at most r_i<a. In particular B_j differs from T=I−2P. The index j ranges over the entire finite set of bypass paths, including those beginning in a different cover row. Pointwise scalar factors can suppress paths, which only reduces this set.
+
+For a fixed output cover g and a path j, the coincidence T_g z = g B_j g⁻¹ z has relative size at most q^(v_j−w) among all physical addresses, for all sufficiently large w. Multiply a nonzero rational row of T−B_j by a fixed denominator, and let v_j be the minimum q-adic valuation of its nonzero entries. A coefficient of valuation v_j gives the stated bound by counting that coordinate after fixing all others. The bijection z↦g⁻¹z makes the bound uniform in g. If there are no bypass paths use zero as the bound. The finite union bound ε_w tends to zero. The other physical coordinates are unchanged and can be counted as spectators.
+
+The same argument applied to all paths shows that a successful replacement needs a path with rank sum at least a. Indeed, the rank defect of a product is at most the sum of its factors' defects, from I−AB=(I−A)+A(I−B). If all sums were below a, a generic physical address could never reach its required output coordinate. This also excludes any single proper child, regardless of volume.
+
+## Count distinct cells across all cover labels
+
+Fix a single **physical** input address z common to all cover rows, rather than a common normalized address. Call g good at z when every bypass misses the output address T_g z. Restrict inputs to both roles at physical z on those good rows, and restrict outputs to the corresponding two target cells at each good row. The required matrix is a permutation of an identity of rank 2 times the number of good rows. Because all bypasses to those outputs were excluded from **every** input cover, the restricted actual matrix factors through the first paid child's input cells at physical z. All ordinary operations before that child preserve z. Paths may use different cover labels, but one bank cell at a given physical z and label contributes at most one to the rank, even if many paths reuse it. Thus the first child needs at least 2 times the number of good rows at z in distinct charged cells. This rank argument permits arbitrary cancellations among paths that use the child.
+
+Sum over z. The slices are disjoint within the first bank. The uniform bound says that the number of good (g,z) pairs is at least (1−ε_w)V_w. Hence the first child's charged volume is at least 2(1−ε_w)V_w. For the second child apply the same argument to the transposed chronological network, with roles of input and output exchanged. Right routes invert, ordinary transposes still preserve physical address, and the child and target projector permutations invert to themselves. Rectangular scratch maps transpose as well. This gives the same volume bound for the second bank. For one complete bank field per cover row, even a single fixed physical slice with more than half the rows good is impossible. With variable bank volume, the limiting coefficient of each child is at least two full fields.
+
+The argument also applies to m simultaneous independent fields on this domain when both child ranks are below every target rank by summing the identity ranks for the good field/cover cells and applying the finite union bound uniformly. This supports aggregation of genuinely simultaneous field instances. It does not justify grouping different caller times with intervening paid work into a two-child replacement. A shared bank may not be billed twice as though independently available at disjoint chronological replacements.
+
+## Full-caller stock and price
+
+The exact #7001 export has 32 IDLE_ONE events and 16 equal-mask pairs. Seven pairs have no intervening touch of either role in the original order, accounting for 777 placements across 111 ports. For each of the other nine pairs, the later IDLE's own role is untouched before it fires. An operation on its independent field commutes with each intervening event that uses disjoint roles. The fixed stage mask is explicit in the event. The verifier moves each later IDLE left in the same caller, performs 243 individually checked disjoint-role adjacent swaps, and leaves all 16 pairs adjacent simultaneously. The pinned #7001 forward evaluator checks all 1,444 formal coefficients before and after. No native event, QUERY, mask or paid rank is removed. This caller-level reordering is an overgrant for the finite physical schedule and route bill.
+
+There are therefore **1,776** distinct candidate pair placements under the formal adjacent schedule, including **222** rank-56 placements. The stock counts each old paid event/port once. If a new fixed-tape condition rejects an adjacent placement it only reduces this stock. The argument keeps other caller events and paid fields separate from each local two-child replacement.
+
+Put H_r=r^(1−κ). For two positive proper ranks the path condition gives r₁+r₂≥a, and the capacity bound charges at least 2V(H_r₁+H_r₂) in leading paid volume. Monotonicity and strict concavity give the minimum at ranks (1,a−1), and this is strictly greater than the old 2V H_a. Therefore the aggregate optional saving is exactly **zero**, even if all 1,776 candidate placements could be replaced independently. The directed minimum surcharge if all 1,776 are replaced is about 59.952168596218 normalized raw units at the target. The 777 quiet original placements alone would add about 27.43486935603151. For the literal pair of rank-49 factors replacing rank 56, the surcharge is about 82.75903922 per pair. Exact directed endpoints and both caller deficits are in RESULT.json.
+
+The whole #7001 BIT invoice remains about **60.10389921914735** raw units below the target, and about **60.345980724331845** at the stricter trial. This upper grants free new setup, route formation, ownership, restoration, precision and fixed-tape costs. It permits the removal of old ordinary work within these slots, which cannot change the necessary raw inequality. It retains all other paid positions and productive targets. No new ordinary budget or compiler admission is claimed.
+
+## Verification and scope
+
+The checker authenticates the literal caller, existing full invoice, canonical forward evaluator and directed interval implementation at exact canonical e54523517d0f03e58352e647c403a5af3e525a57. It recounts every pair and intervening contact, checks the full reordered formal endpoint, recomputes the raw shortfalls and prices, and checks three complete finite physical address grids in a synthetic two-cover model. The model permits label-changing intake and release. Its paid maps compose to the target at either fixed label, but the globally selected four independent values factor through two bank cells with a one-field bank. The argument above proves the all-width claim. The finite controls illustrate why both the common physical slice and the global cover rank matter.
+
+Pivot away from at most two smaller children with unchanged ordinary addressing. Three or more paid children, new ordinary physical-address maps, changed ambient or width-dependent routes are different mechanisms and need their own whole-construction bound. The proof does not certify any candidate, κ gain, or physical compiler.
+
+Credit CubeJerry #7001, #6726/#6834/#6980 and the delayed-cover authors for the retained word, address action and whole-role route; #7163 and #7190 for related reflection-rank and grade-preserving bounds; the Round 16 port-1 and two-cover proof for the local obstruction and collision example; and Clear1nsight #7161 for the complete comparable benchmark. Codex and subagents materially assisted.
diff --git a/research/bit-full-cover-volume-cut/README.md b/research/bit-full-cover-volume-cut/README.md
new file mode 100644
index 0000000000..36c776bfd8
--- /dev/null
+++ b/research/bit-full-cover-volume-cut/README.md
@@ -0,0 +1,23 @@
+# Bound both paid BIT bank volumes across cover labels
+
+**κ change 0%.** Two proper-rank BIT projector children, with ordinary operations preserving the physical address, each need at least two original field volumes to replace two independent equal-mask IDLE fields. Fixed right cover routes may visit different labels. A global rank cut uses one common physical address and all good cover labels at once, so each bank cell is counted once.
+
+The exact #7001 caller has **1,776 same-mask same-port pair placements** after a checked disjoint-role reorder. This includes 777 quiet placements in the original order. The best total paid saving is **zero** even with free new setup, routing, ownership, restoration, precision and tape. The full raw BIT gap is about **60.10389921914735** at κ = 0.0040075385047236. The reorder preserves all 1,444 formal coefficients. Finite route and tape admission remain separate. [Proof](PROOF.md) · [Exact directed receipt](RESULT.json)
+
+## Clean replay
+
+From a clean checkout, run with CPython 3.12 and assertions:
+
+```sh
+python3.12 -B scripts/research_package.py --package research/bit-full-cover-volume-cut
+```
+
+Four exact in-tree #7001 files bind the literal caller, invoice, canonical forward evaluator and directed arithmetic. The checker reconstructs all mask pairs, every intervening contact, both raw deficits and the charged lower tariff. It checks complete address grids for digit cardinalities 3, 5 and 9. The written proof supplies the all-width result. The corrupt-source and changed-receipt controls reject.
+
+## Open next questions
+
+Can a third paid child create a different cost mechanism? Before choosing any site, bound the middle bank's volume under distinct incoming physical address maps, count the compatible caller slots, and compare their total optimistic credit with the full deficit. Width-dependent routes, new ordinary physical address maps and cross-pair schedules with intervening paid work remain outside this result.
+
+## Credit
+
+CubeJerry #7001 supplied the retained caller and invoice. Credit #6726/#6834/#6980 and the delayed-cover authors for the native and whole-fibre projector lineage, #7163/#7190 for earlier rank bounds, and the Round 16 #7111 two-cover pilot. Clear1nsight #7161 supplies the comparable complete benchmark. OpenAI Codex and subagents materially assisted. Apache-2.0.
diff --git a/research/bit-full-cover-volume-cut/RESULT.json b/research/bit-full-cover-volume-cut/RESULT.json
new file mode 100644
index 0000000000..bb7956f7bb
--- /dev/null
+++ b/research/bit-full-cover-volume-cut/RESULT.json
@@ -0,0 +1,1496 @@
+{
+  "adjacent_disjoint_reorder": [
+    [
+      24,
+      23
+    ],
+    [
+      24,
+      22
+    ],
+    [
+      24,
+      21
+    ],
+    [
+      24,
+      20
+    ],
+    [
+      36,
+      35
+    ],
+    [
+      36,
+      34
+    ],
+    [
+      36,
+      33
+    ],
+    [
+      36,
+      32
+    ],
+    [
+      48,
+      47
+    ],
+    [
+      48,
+      46
+    ],
+    [
+      48,
+      45
+    ],
+    [
+      48,
+      44
+    ],
+    [
+      60,
+      59
+    ],
+    [
+      60,
+      58
+    ],
+    [
+      60,
+      57
+    ],
+    [
+      60,
+      56
+    ],
+    [
+      72,
+      71
+    ],
+    [
+      72,
+      70
+    ],
+    [
+      72,
+      69
+    ],
+    [
+      72,
+      68
+    ],
+    [
+      84,
+      83
+    ],
+    [
+      84,
+      82
+    ],
+    [
+      84,
+      81
+    ],
+    [
+      84,
+      80
+    ],
+    [
+      96,
+      95
+    ],
+    [
+      96,
+      94
+    ],
+    [
+      96,
+      93
+    ],
+    [
+      96,
+      92
+    ],
+    [
+      131,
+      130
+    ],
+    [
+      131,
+      129
+    ],
+    [
+      131,
+      128
+    ],
+    [
+      131,
+      127
+    ],
+    [
+      131,
+      126
+    ],
+    [
+      131,
+      125
+    ],
+    [
+      131,
+      124
+    ],
+    [
+      131,
+      123
+    ],
+    [
+      131,
+      122
+    ],
+    [
+      131,
+      121
+    ],
+    [
+      131,
+      120
+    ],
+    [
+      131,
+      119
+    ],
+    [
+      131,
+      118
+    ],
+    [
+      131,
+      117
+    ],
+    [
+      131,
+      116
+    ],
+    [
+      131,
+      115
+    ],
+    [
+      131,
+      114
+    ],
+    [
+      131,
+      113
+    ],
+    [
+      131,
+      112
+    ],
+    [
+      131,
+      111
+    ],
+    [
+      131,
+      110
+    ],
+    [
+      131,
+      109
+    ],
+    [
+      131,
+      108
+    ],
+    [
+      131,
+      107
+    ],
+    [
+      131,
+      106
+    ],
+    [
+      131,
+      105
+    ],
+    [
+      131,
+      104
+    ],
+    [
+      425,
+      424
+    ],
+    [
+      425,
+      423
+    ],
+    [
+      425,
+      422
+    ],
+    [
+      425,
+      421
+    ],
+    [
+      425,
+      420
+    ],
+    [
+      425,
+      419
+    ],
+    [
+      425,
+      418
+    ],
+    [
+      425,
+      417
+    ],
+    [
+      425,
+      416
+    ],
+    [
+      425,
+      415
+    ],
+    [
+      425,
+      414
+    ],
+    [
+      425,
+      413
+    ],
+    [
+      425,
+      412
+    ],
+    [
+      425,
+      411
+    ],
+    [
+      425,
+      410
+    ],
+    [
+      425,
+      409
+    ],
+    [
+      425,
+      408
+    ],
+    [
+      425,
+      407
+    ],
+    [
+      425,
+      406
+    ],
+    [
+      425,
+      405
+    ],
+    [
+      425,
+      404
+    ],
+    [
+      425,
+      403
+    ],
+    [
+      425,
+      402
+    ],
+    [
+      425,
+      401
+    ],
+    [
+      425,
+      400
+    ],
+    [
+      425,
+      399
+    ],
+    [
+      425,
+      398
+    ],
+    [
+      426,
+      424
+    ],
+    [
+      426,
+      423
+    ],
+    [
+      426,
+      422
+    ],
+    [
+      426,
+      421
+    ],
+    [
+      426,
+      420
+    ],
+    [
+      426,
+      419
+    ],
+    [
+      426,
+      418
+    ],
+    [
+      426,
+      417
+    ],
+    [
+      426,
+      416
+    ],
+    [
+      426,
+      415
+    ],
+    [
+      426,
+      414
+    ],
+    [
+      426,
+      413
+    ],
+    [
+      426,
+      412
+    ],
+    [
+      426,
+      411
+    ],
+    [
+      426,
+      410
+    ],
+    [
+      426,
+      409
+    ],
+    [
+      426,
+      408
+    ],
+    [
+      426,
+      407
+    ],
+    [
+      426,
+      406
+    ],
+    [
+      426,
+      405
+    ],
+    [
+      426,
+      404
+    ],
+    [
+      426,
+      403
+    ],
+    [
+      426,
+      402
+    ],
+    [
+      426,
+      401
+    ],
+    [
+      426,
+      400
+    ],
+    [
+      426,
+      399
+    ],
+    [
+      427,
+      424
+    ],
+    [
+      427,
+      423
+    ],
+    [
+      427,
+      422
+    ],
+    [
+      427,
+      421
+    ],
+    [
+      427,
+      420
+    ],
+    [
+      427,
+      419
+    ],
+    [
+      427,
+      418
+    ],
+    [
+      427,
+      417
+    ],
+    [
+      427,
+      416
+    ],
+    [
+      427,
+      415
+    ],
+    [
+      427,
+      414
+    ],
+    [
+      427,
+      413
+    ],
+    [
+      427,
+      412
+    ],
+    [
+      427,
+      411
+    ],
+    [
+      427,
+      410
+    ],
+    [
+      427,
+      409
+    ],
+    [
+      427,
+      408
+    ],
+    [
+      427,
+      407
+    ],
+    [
+      427,
+      406
+    ],
+    [
+      427,
+      405
+    ],
+    [
+      427,
+      404
+    ],
+    [
+      427,
+      403
+    ],
+    [
+      427,
+      402
+    ],
+    [
+      427,
+      401
+    ],
+    [
+      427,
+      400
+    ],
+    [
+      428,
+      424
+    ],
+    [
+      428,
+      423
+    ],
+    [
+      428,
+      422
+    ],
+    [
+      428,
+      421
+    ],
+    [
+      428,
+      420
+    ],
+    [
+      428,
+      419
+    ],
+    [
+      428,
+      418
+    ],
+    [
+      428,
+      417
+    ],
+    [
+      428,
+      416
+    ],
+    [
+      428,
+      415
+    ],
+    [
+      428,
+      414
+    ],
+    [
+      428,
+      413
+    ],
+    [
+      428,
+      412
+    ],
+    [
+      428,
+      411
+    ],
+    [
+      428,
+      410
+    ],
+    [
+      428,
+      409
+    ],
+    [
+      428,
+      408
+    ],
+    [
+      428,
+      407
+    ],
+    [
+      428,
+      406
+    ],
+    [
+      428,
+      405
+    ],
+    [
+      428,
+      404
+    ],
+    [
+      428,
+      403
+    ],
+    [
+      428,
+      402
+    ],
+    [
+      428,
+      401
+    ],
+    [
+      429,
+      424
+    ],
+    [
+      429,
+      423
+    ],
+    [
+      429,
+      422
+    ],
+    [
+      429,
+      421
+    ],
+    [
+      429,
+      420
+    ],
+    [
+      429,
+      419
+    ],
+    [
+      429,
+      418
+    ],
+    [
+      429,
+      417
+    ],
+    [
+      429,
+      416
+    ],
+    [
+      429,
+      415
+    ],
+    [
+      429,
+      414
+    ],
+    [
+      429,
+      413
+    ],
+    [
+      429,
+      412
+    ],
+    [
+      429,
+      411
+    ],
+    [
+      429,
+      410
+    ],
+    [
+      429,
+      409
+    ],
+    [
+      429,
+      408
+    ],
+    [
+      429,
+      407
+    ],
+    [
+      429,
+      406
+    ],
+    [
+      429,
+      405
+    ],
+    [
+      429,
+      404
+    ],
+    [
+      429,
+      403
+    ],
+    [
+      429,
+      402
+    ],
+    [
+      430,
+      424
+    ],
+    [
+      430,
+      423
+    ],
+    [
+      430,
+      422
+    ],
+    [
+      430,
+      421
+    ],
+    [
+      430,
+      420
+    ],
+    [
+      430,
+      419
+    ],
+    [
+      430,
+      418
+    ],
+    [
+      430,
+      417
+    ],
+    [
+      430,
+      416
+    ],
+    [
+      430,
+      415
+    ],
+    [
+      430,
+      414
+    ],
+    [
+      430,
+      413
+    ],
+    [
+      430,
+      412
+    ],
+    [
+      430,
+      411
+    ],
+    [
+      430,
+      410
+    ],
+    [
+      430,
+      409
+    ],
+    [
+      430,
+      408
+    ],
+    [
+      430,
+      407
+    ],
+    [
+      430,
+      406
+    ],
+    [
+      430,
+      405
+    ],
+    [
+      430,
+      404
+    ],
+    [
+      430,
+      403
+    ],
+    [
+      431,
+      424
+    ],
+    [
+      431,
+      423
+    ],
+    [
+      431,
+      422
+    ],
+    [
+      431,
+      421
+    ],
+    [
+      431,
+      420
+    ],
+    [
+      431,
+      419
+    ],
+    [
+      431,
+      418
+    ],
+    [
+      431,
+      417
+    ],
+    [
+      431,
+      416
+    ],
+    [
+      431,
+      415
+    ],
+    [
+      431,
+      414
+    ],
+    [
+      431,
+      413
+    ],
+    [
+      431,
+      412
+    ],
+    [
+      431,
+      411
+    ],
+    [
+      431,
+      410
+    ],
+    [
+      431,
+      409
+    ],
+    [
+      431,
+      408
+    ],
+    [
+      431,
+      407
+    ],
+    [
+      431,
+      406
+    ],
+    [
+      431,
+      405
+    ],
+    [
+      431,
+      404
+    ],
+    [
+      432,
+      424
+    ],
+    [
+      432,
+      423
+    ],
+    [
+      432,
+      422
+    ],
+    [
+      432,
+      421
+    ],
+    [
+      432,
+      420
+    ],
+    [
+      432,
+      419
+    ],
+    [
+      432,
+      418
+    ],
+    [
+      432,
+      417
+    ],
+    [
+      432,
+      416
+    ],
+    [
+      432,
+      415
+    ],
+    [
+      432,
+      414
+    ],
+    [
+      432,
+      413
+    ],
+    [
+      432,
+      412
+    ],
+    [
+      432,
+      411
+    ],
+    [
+      432,
+      410
+    ],
+    [
+      432,
+      409
+    ],
+    [
+      432,
+      408
+    ],
+    [
+      432,
+      407
+    ],
+    [
+      432,
+      406
+    ],
+    [
+      432,
+      405
+    ]
+  ],
+  "contacting_before_reorder_placements": 999,
+  "controls": [
+    {
+      "bank_rank": 2,
+      "common_input": [
+        1,
+        1,
+        1
+      ],
+      "digit_cardinality": 3,
+      "good_label_address_pairs": 24,
+      "independent_two_child_address_match": true,
+      "physical_addresses": 27,
+      "target_rank": 4
+    },
+    {
+      "bank_rank": 2,
+      "common_input": [
+        1,
+        1,
+        1
+      ],
+      "digit_cardinality": 5,
+      "good_label_address_pairs": 160,
+      "independent_two_child_address_match": true,
+      "physical_addresses": 125,
+      "target_rank": 4
+    },
+    {
+      "bank_rank": 2,
+      "common_input": [
+        1,
+        1,
+        1
+      ],
+      "digit_cardinality": 9,
+      "good_label_address_pairs": 1152,
+      "independent_two_child_address_match": true,
+      "physical_addresses": 729,
+      "target_rank": 4
+    }
+  ],
+  "directed_prices": [
+    {
+      "kappa": "10018846261809/2500000000000000",
+      "min_surcharge_by_target_rank": {
+        "7": [
+          "1144691415350221551539597326239720741478013872440093506405678483591465807631731/50000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "22893828307004431030791946524794414829560277448801870128113569671829316152653/1000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "14": [
+          "286824397716017759935217496997466520237196949690867629905747554138325818440659/10000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "358530497145022199919021871246833150296496187113584537382184442672907273051271/12500000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "21": [
+          "799521690405004673055936530183376935748247996064399596131128878833711277822351/25000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "24985052825156396032998016568230529242132749877012487379097777463553477431993/781250000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "28": [
+          "428709013777039551700391473768970995712675682053727905703455792708687491836617/12500000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "1714836055108158206801565895075883982850702728214911622813823170834749967350213/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "35": [
+          "451031312826066809510152466239539929209152676442031976587542949144750756286259/12500000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "1804125251304267238040609864958159716836610705768127906350171796579003025149649/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "42": [
+          "469199968645791926862119377980687329272833223805206876120166645462651002598579/12500000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "1876799874583167707448477511922749317091332895220827504480666581850604010400061/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "49": [
+          "484519146929088749923849207045884663759810821919897854952408673888546554381877/12500000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "484519146929088749923849207045884663759810821919897854952408673888546554383541/12500000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "56": [
+          "995523060685802905539355330863715381486620185412163555907278828283697752033193/25000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "1991046121371605811078710661727430762973240370824327111814557656567395504073883/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ]
+      },
+      "min_surcharge_if_all_quiet_pairs_replaced": [
+        "1371743467801575384082652065101625228729570790840292442683643286701693931328375921/50000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "685871733900787692041326032550812614364785395420146221341821643350846965666013633/25000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "min_surcharge_if_all_reordered_pairs_replaced": [
+        "749402107452724988151773684157117115516815165340571410947336799190173317987749031/12500000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "187350526863181247037943421039279278879203791335142852736834199797543329497406427/3125000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "optimistic_total_saving_optional_replacement": [
+        "0",
+        "0"
+      ],
+      "rank49_rank49_surcharge_per_rank56_pair": [
+        "1034487990245479600479602408809303430529695374069927942156250604143992054580519321/12500000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "2068975980490959200959204817618606861059390748139855884312501208287984109161043773/25000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "unchanged_full_raw_deficit": [
+        "1502597480478683846599820932032388206481822134974419886612337024425207154047098731/25000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "1502597480478683846599820932032388206481822134974419886612337024425207154056670591/25000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ]
+    },
+    {
+      "kappa": "1002040748181/250000000000000",
+      "min_surcharge_by_target_rank": {
+        "7": [
+          "286217222457773569268882691246629519734681400075837841551362029440343570456543/12500000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "1144868889831094277075530764986518078938725600303351366205448117761374281827069/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "14": [
+          "1434343978935494754940336622688429089151236341955919410778464232577557102976499/50000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "1434343978935494754940336622688429089151236341955919410778464232577557102978357/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "21": [
+          "799645338805629163916770358305147352164265000192702676580066416821778030289699/25000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "319858135522251665566708143322058940865706000077081070632026566728711212116433/10000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "28": [
+          "857550547012958707207512219925158816887872617699558891849873387332640486700727/25000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "857550547012958707207512219925158816887872617699558891849873387332640486702559/25000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "35": [
+          "1804403956871938528752521397376974102645117264378351412445546889676437690651033/50000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "1804403956871938528752521397376974102645117264378351412445546889676437690655717/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "42": [
+          "469272423605992102955768880658366991147241660786004208812270207661682745516511/12500000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "1877089694423968411823075522633467964588966643144016835249080830646730982071709/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "49": [
+          "1938375772206472688476517782841664204411678105980396781757172241060002454628961/50000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "1938375772206472688476517782841664204411678105980396781757172241060002454635473/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "56": [
+          "398270679230468216512396886298752627617590660825650742049807087074311296392569/10000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "248919174519042635320248053936720392260994163016031713781129429421444560246293/6250000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ]
+      },
+      "min_surcharge_if_all_quiet_pairs_replaced": [
+        "685977700647620212088566550698967551452902092693116101447324447689082256917775987/25000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "1371955401295240424177133101397935102905804185386232202894648895378164513839176013/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "min_surcharge_if_all_reordered_pairs_replaced": [
+        "749517924033245944466258508155719304834001363509952102271726818224838529559128533/12500000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "5855608781509733941142644594966557069015635652421500798997865767381551012195237/97656250000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "optimistic_total_saving_optional_replacement": [
+        "0",
+        "0"
+      ],
+      "rank49_rank49_surcharge_per_rank56_pair": [
+        "2068971181819612683940968463322150368352522021142242743267004920229208956767885253/25000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "51724279545490317098524211583053759208813050528556068581675123005730223919197261/625000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "unchanged_full_raw_deficit": [
+        "1508649518108296133439099805441247369369954037474358092796307749315623322655158281/25000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "377162379527074033359774951360311842342488509368589523199076937328905830666216337/6250000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ]
+    }
+  ],
+  "idle_paid_profile": {
+    "7": 444,
+    "14": 444,
+    "21": 444,
+    "28": 444,
+    "35": 444,
+    "42": 444,
+    "49": 444,
+    "56": 444
+  },
+  "nominal_rank56_pairs": 222,
+  "nominal_same_mask_pair_placements": 1776,
+  "pairs": [
+    {
+      "events": [
+        19,
+        24
+      ],
+      "intervening_contacts": [],
+      "mask": [
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9
+      ],
+      "ports": 111,
+      "rank": 56,
+      "roles": [
+        2,
+        21
+      ]
+    },
+    {
+      "events": [
+        31,
+        36
+      ],
+      "intervening_contacts": [],
+      "mask": [
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9
+      ],
+      "ports": 111,
+      "rank": 49,
+      "roles": [
+        3,
+        22
+      ]
+    },
+    {
+      "events": [
+        43,
+        48
+      ],
+      "intervening_contacts": [],
+      "mask": [
+        4,
+        5,
+        6,
+        7,
+        8,
+        9
+      ],
+      "ports": 111,
+      "rank": 42,
+      "roles": [
+        4,
+        23
+      ]
+    },
+    {
+      "events": [
+        55,
+        60
+      ],
+      "intervening_contacts": [],
+      "mask": [
+        5,
+        6,
+        7,
+        8,
+        9
+      ],
+      "ports": 111,
+      "rank": 35,
+      "roles": [
+        5,
+        24
+      ]
+    },
+    {
+      "events": [
+        67,
+        72
+      ],
+      "intervening_contacts": [],
+      "mask": [
+        6,
+        7,
+        8,
+        9
+      ],
+      "ports": 111,
+      "rank": 28,
+      "roles": [
+        6,
+        25
+      ]
+    },
+    {
+      "events": [
+        79,
+        84
+      ],
+      "intervening_contacts": [],
+      "mask": [
+        7,
+        8,
+        9
+      ],
+      "ports": 111,
+      "rank": 21,
+      "roles": [
+        7,
+        26
+      ]
+    },
+    {
+      "events": [
+        91,
+        96
+      ],
+      "intervening_contacts": [],
+      "mask": [
+        8,
+        9
+      ],
+      "ports": 111,
+      "rank": 14,
+      "roles": [
+        8,
+        27
+      ]
+    },
+    {
+      "events": [
+        103,
+        131
+      ],
+      "intervening_contacts": [
+        104,
+        105,
+        106,
+        107,
+        108,
+        109,
+        110,
+        112
+      ],
+      "mask": [
+        9
+      ],
+      "ports": 111,
+      "rank": 7,
+      "roles": [
+        9,
+        28
+      ]
+    },
+    {
+      "events": [
+        397,
+        425
+      ],
+      "intervening_contacts": [
+        420,
+        421
+      ],
+      "mask": [
+        10
+      ],
+      "ports": 111,
+      "rank": 7,
+      "roles": [
+        2,
+        21
+      ]
+    },
+    {
+      "events": [
+        398,
+        426
+      ],
+      "intervening_contacts": [
+        419
+      ],
+      "mask": [
+        10,
+        11
+      ],
+      "ports": 111,
+      "rank": 14,
+      "roles": [
+        3,
+        22
+      ]
+    },
+    {
+      "events": [
+        399,
+        427
+      ],
+      "intervening_contacts": [
+        418
+      ],
+      "mask": [
+        10,
+        11,
+        12
+      ],
+      "ports": 111,
+      "rank": 21,
+      "roles": [
+        4,
+        23
+      ]
+    },
+    {
+      "events": [
+        400,
+        428
+      ],
+      "intervening_contacts": [
+        417
+      ],
+      "mask": [
+        10,
+        11,
+        12,
+        13
+      ],
+      "ports": 111,
+      "rank": 28,
+      "roles": [
+        5,
+        24
+      ]
+    },
+    {
+      "events": [
+        401,
+        429
+      ],
+      "intervening_contacts": [
+        416
+      ],
+      "mask": [
+        10,
+        11,
+        12,
+        13,
+        14
+      ],
+      "ports": 111,
+      "rank": 35,
+      "roles": [
+        6,
+        25
+      ]
+    },
+    {
+      "events": [
+        402,
+        430
+      ],
+      "intervening_contacts": [
+        415
+      ],
+      "mask": [
+        10,
+        11,
+        12,
+        13,
+        14,
+        15
+      ],
+      "ports": 111,
+      "rank": 42,
+      "roles": [
+        7,
+        26
+      ]
+    },
+    {
+      "events": [
+        403,
+        431
+      ],
+      "intervening_contacts": [
+        414
+      ],
+      "mask": [
+        10,
+        11,
+        12,
+        13,
+        14,
+        15,
+        16
+      ],
+      "ports": 111,
+      "rank": 49,
+      "roles": [
+        8,
+        27
+      ]
+    },
+    {
+      "events": [
+        404,
+        432
+      ],
+      "intervening_contacts": [
+        413
+      ],
+      "mask": [
+        10,
+        11,
+        12,
+        13,
+        14,
+        15,
+        16,
+        17
+      ],
+      "ports": 111,
+      "rank": 56,
+      "roles": [
+        9,
+        28
+      ]
+    }
+  ],
+  "pins": {
+    "EFREE-CALLER.json.gz": "757b3523798f840bdb02028b23708c3416627a99ea09e7a3c4bcdc5cd0c7ce4b",
+    "EFREE-RESULT.json": "a46b6c6040f75184cab5467656811ad988c216e3bc8e44d595a5015b6e49620b",
+    "check.py": "460ed9a77d66264b00c31d0a7f8dab1db9aab21ec4cc0eaf0452bd4be4ef585e",
+    "independent/interval_gate.py": "8dc2bc4c64cba3f83c664373984a075f1a14b4d53958084091345c8cab189dec"
+  },
+  "quiet_pair_placements": 777,
+  "quiet_rank56_pairs": 111,
+  "reordered_formal_forward_coefficients": 1444,
+  "reordered_pair_placements": 1776
+}
diff --git a/research/bit-full-cover-volume-cut/SOURCES.json b/research/bit-full-cover-volume-cut/SOURCES.json
new file mode 100644
index 0000000000..b67e324923
--- /dev/null
+++ b/research/bit-full-cover-volume-cut/SOURCES.json
@@ -0,0 +1,42 @@
+{
+  "schema_version": 1,
+  "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "75d77b328ea02ded535e7f23aee5b1e55d0bb1a8",
+      "sha256": "154c3d30455d778fd3343b6b4851f0fa4665f0f7625b0adb3675e2bafbbf6bf1"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec",
+      "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81"
+    },
+    {
+      "path": "research/paired-query-only-bit/EFREE-CALLER.json.gz",
+      "usage": "input",
+      "git_blob": "f022272a8d51ede841778dec76e2bfb24b614d04",
+      "sha256": "757b3523798f840bdb02028b23708c3416627a99ea09e7a3c4bcdc5cd0c7ce4b"
+    },
+    {
+      "path": "research/paired-query-only-bit/EFREE-RESULT.json",
+      "usage": "input",
+      "git_blob": "575f76487f9999ecc3e7b1b70f9f71bc582ef8a8",
+      "sha256": "a46b6c6040f75184cab5467656811ad988c216e3bc8e44d595a5015b6e49620b"
+    },
+    {
+      "path": "research/paired-query-only-bit/independent/interval_gate.py",
+      "usage": "input",
+      "git_blob": "6d5a751dde7554b2bb3ccb9a958a3508d74ea155",
+      "sha256": "8dc2bc4c64cba3f83c664373984a075f1a14b4d53958084091345c8cab189dec"
+    },
+    {
+      "path": "research/paired-query-only-bit/check.py",
+      "usage": "input",
+      "git_blob": "0f27d6b90c94466756096911dc02786f60cf5039",
+      "sha256": "460ed9a77d66264b00c31d0a7f8dab1db9aab21ec4cc0eaf0452bd4be4ef585e"
+    }
+  ]
+}
diff --git a/research/bit-full-cover-volume-cut/TASK.json b/research/bit-full-cover-volume-cut/TASK.json
new file mode 100644
index 0000000000..119fdc738d
--- /dev/null
+++ b/research/bit-full-cover-volume-cut/TASK.json
@@ -0,0 +1,64 @@
+{
+  "schema_version": 1,
+  "task_id": "bit-new-register-model",
+  "priority_revision": 8,
+  "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57",
+  "original_card": {
+    "id": "bit-new-register-model",
+    "question": "Can an explicitly larger or nonabelian register model escape the scoped three-register obstruction?",
+    "starting_points": [
+      "docs/research/research-family-status.md",
+      "research/bit-three-register-lower-bound/README.md",
+      "certificates/selected-result.json",
+      "research/bit-gl3-mixed-targets-length10/README.md",
+      "docs/research/community-efficient1000-review.md"
+    ],
+    "methods": [
+      "Construct the smallest exact identity in a newly specified legal operation alphabet.",
+      "Derive a target-specific relaxation bound for that same explicit alphabet."
+    ],
+    "acceptance_gate": "Name the changed hypothesis, all counted roles and a uniform identity; finite column tests alone do not certify it. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.",
+    "first_step": {
+      "command": [
+        "python3",
+        "-B",
+        "scripts/research_selected_baseline.py"
+      ],
+      "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY",
+      "inspect": "Resolve the current selected review, separate complex/ordinary BIT/admitted BIT/outer budgets, and compare the card against live handoffs before starting. Historical ceilings require exact source/model equivalence.",
+      "scope": "Source-binding orientation only; not a scientific replay or all-size proof. Materialize selected inputs if this checkout is sparse."
+    },
+    "first_experiment": "First compare the alphabet, role count and length with the fully replayed #1974 census and #2027 mixed-root tariff. Identify a changed premise and a legal native implementation; then price one smallest completed instance before searching larger words.",
+    "bottleneck_link": "A small-width completed saving changes the bit primitive; a finite-address identity alone is insufficient.",
+    "allowed_variations": [
+      "Choose a fixed larger register count or a specified nonabelian operation family."
+    ],
+    "scope_change_triggers": [
+      "Remaining inside the already-excluded three-register abelian model.",
+      "Repeating the two-register GL3 census or a covered three-register length without changing a hypothesis; a formal group-algebra word without native conversion is a partial result."
+    ],
+    "overlap_terms": [
+      "three-register",
+      "nonabelian",
+      "group algebra"
+    ]
+  },
+  "scope_status": "changed",
+  "actual_scope": "At most two proper-rank rational BIT projector children with pointwise scalar work and varying whole-fibre cover labels, on independent adjacent #7001 IDLE pairs after exact disjoint-role reordering.",
+  "scope_change_reason": "The complete old caller has a paid idle pair worth testing under a stronger varying-cover sharing contract. A global physical-address cut bounds every replaced field.",
+  "bottleneck_link": "The full raw deficit cannot be repaired by this supplier change because each smaller paid child needs both complete field volumes.",
+  "budget_minutes": 12,
+  "stop_rule": "Authenticate and count all same-mask pairs, prove both volume cuts, verify three small exact controls, and pivot when the aggregate directed credit is below the raw deficit.",
+  "outcome": "negative-result",
+  "evidence": "1,776 distinct event/port pairs after 243 checked disjoint swaps, 1,444 exact forward coefficients, two volume cuts, whole-caller directed price and finite controls.",
+  "author": "ToikY",
+  "ai_assistance": "OpenAI Codex and subagents materially assisted the proof, exact arithmetic and independent replay.",
+  "open_questions": [
+    {
+      "question": "Can three or more paid children reuse compatible volume across several noncommuting projector factors?",
+      "why_it_matters": "The fixed-physical-address cut isolates both ends of two proper children. Interior paid positions can have several distinct incoming address maps.",
+      "first_step": "Bound the middle bank volume from the exact prefix address path multiplicity, and compute the aggregate net upper on all eligible pairs before testing a slot.",
+      "blocked_by": "A width-uniform simultaneous capacity bound, admissible literal route and complete charged ownership, precision and tape invoice remain open."
+    }
+  ]
+}
diff --git a/research/bit-full-cover-volume-cut/VERIFY.json b/research/bit-full-cover-volume-cut/VERIFY.json
new file mode 100644
index 0000000000..adf723bc9d
--- /dev/null
+++ b/research/bit-full-cover-volume-cut/VERIFY.json
@@ -0,0 +1,26 @@
+{
+  "schema_version": 1,
+  "status": "ready",
+  "python": "3.12",
+  "requirements": [],
+  "inputs": [
+    "research/paired-query-only-bit/EFREE-CALLER.json.gz",
+    "research/paired-query-only-bit/EFREE-RESULT.json",
+    "research/paired-query-only-bit/independent/interval_gate.py",
+    "research/paired-query-only-bit/check.py"
+  ],
+  "commands": [
+    {
+      "argv": [
+        "{python}",
+        "-I",
+        "-B",
+        "{package}/verify.py",
+        "--expected",
+        "{package}/RESULT.json"
+      ],
+      "timeout_seconds": 120,
+      "checks": "Authenticate the four #7001 inputs, verify the disjoint-role reorder and full formal coefficients, and reconstruct the whole-caller price and finite cut controls."
+    }
+  ]
+}
diff --git a/research/bit-full-cover-volume-cut/verify.py b/research/bit-full-cover-volume-cut/verify.py
new file mode 100644
index 0000000000..60cfd745ae
--- /dev/null
+++ b/research/bit-full-cover-volume-cut/verify.py
@@ -0,0 +1,216 @@
+"""Count and price the entire quiet paired-IDLE family of the retained caller."""
+import argparse
+from collections import Counter, defaultdict
+from fractions import Fraction
+import gzip
+from hashlib import sha256
+from importlib.util import module_from_spec, spec_from_file_location
+from itertools import product
+import json
+from pathlib import Path
+
+PINS = {
+    "check.py": "460ed9a77d66264b00c31d0a7f8dab1db9aab21ec4cc0eaf0452bd4be4ef585e",
+    "EFREE-CALLER.json.gz": "757b3523798f840bdb02028b23708c3416627a99ea09e7a3c4bcdc5cd0c7ce4b",
+    "EFREE-RESULT.json": "a46b6c6040f75184cab5467656811ad988c216e3bc8e44d595a5015b6e49620b",
+    "independent/interval_gate.py": "8dc2bc4c64cba3f83c664373984a075f1a14b4d53958084091345c8cab189dec",
+}
+TARGET = Fraction("0.0040075385047236")
+TRIAL = Fraction("0.004008162992724")
+
+
+def read(path, key):
+    data = (path / key).read_bytes()
+    if sha256(data).hexdigest() != PINS[key]:
+        raise ValueError(f"SHA-256 mismatch: {key}")
+    return data
+
+
+def load(path):
+    spec = spec_from_file_location(path.stem, path)
+    module = module_from_spec(spec)
+    spec.loader.exec_module(module)
+    return module
+
+
+def touches(event):
+    op, *args = event
+    if op in ("ADD", "SWAP", "QUERY"):
+        return set(args)
+    if op == "LOCAL":
+        return set(args[1:])
+    if op == "IDLE_ONE":
+        return {args[0]}
+    raise ValueError(op)
+
+
+def census(caller, invoice):
+    events = caller["events"]
+    masks = defaultdict(list)
+    for i, event in enumerate(events):
+        if event[0] == "IDLE_ONE":
+            masks[tuple(event[2])].append((i, event[1]))
+    assert len(masks) == 16 and all(len(rows) == 2 for rows in masks.values())
+    assert invoice["event_counts"]["IDLE_ONE"] == 32
+    ports, body = caller["ports"], caller["body_rank"]
+    assert (ports, body, caller["ambient_rank"]) == (111, 7, 127)
+    pairs = []
+    for mask, ((lo, a), (hi, b)) in sorted(masks.items()):
+        assert a != b and lo < hi
+        contacts = [i for i in range(lo + 1, hi) if touches(events[i]) & {a, b}]
+        pairs.append({"events": [lo, hi], "roles": [a, b], "mask": mask, "rank": len(mask) * body,
+                      "ports": ports, "intervening_contacts": contacts})
+    quiet = [p for p in pairs if not p["intervening_contacts"]]
+    assert len(quiet) == 7 and sorted(p["rank"] for p in quiet) == list(range(14, 57, 7))
+    assert len({i for pair in pairs for i in pair["events"]}) == 32
+    windows = sorted(pair["events"] for pair in quiet)
+    assert all(left[1] < right[0] for left, right in zip(windows, windows[1:]))
+    assert [p["events"] for p in quiet if p["rank"] == 56] == [[19, 24]]
+    paid = {int(r): n for r, n in invoice["paid"].items()}
+    idle_profile = Counter()
+    for pair in pairs:
+        idle_profile[pair["rank"]] += 2 * ports
+    assert all(paid[r] >= n for r, n in idle_profile.items())
+    return pairs, quiet, idle_profile
+
+
+def commute_pairs(events, pairs):
+    ordered = list(enumerate(events))
+    swaps = []
+    for pair in sorted(pairs, key=lambda row: row["events"][0]):
+        lo, hi = pair["events"]
+        a = next(i for i, (old, _) in enumerate(ordered) if old == lo)
+        b = next(i for i, (old, _) in enumerate(ordered) if old == hi)
+        assert a < b and ordered[b][1][0] == "IDLE_ONE"
+        for j in range(b, a + 1, -1):
+            old, intervening = ordered[j - 1]
+            assert not touches(ordered[j][1]) & touches(intervening)
+            swaps.append([hi, old])
+            ordered[j - 1], ordered[j] = ordered[j], ordered[j - 1]
+    positions = {old: i for i, (old, _) in enumerate(ordered)}
+    assert len(positions) == len(events)
+    assert len(swaps) == 243
+    assert all(positions[row["events"][1]] == positions[row["events"][0]] + 1 for row in pairs)
+    return swaps, [event for _, event in ordered]
+
+
+def mask_address(z, axes, q):
+    return tuple((-v) % q if i in axes else v for i, v in enumerate(z))
+
+
+def binary_rank(rows):
+    basis = {}
+    for row in rows:
+        while row:
+            pivot = row.bit_length() - 1
+            if pivot not in basis:
+                basis[pivot] = row
+                break
+            row ^= basis[pivot]
+    return len(basis)
+
+
+def finite_control(q):
+    # Two labels exchange axes 1 and 2. Targets depend on the output label.
+    # A one-child bypass may use either label and still may not change
+    # the physical input address before its sole child.
+    child1 = [{0}, {0}]
+    child2 = [{1}, {2}]
+    targets = [{0, 1}, {0, 2}]
+    labels = range(2)
+    good = Counter()
+    for z in product(range(q), repeat=3):
+        bypass = {z, *(mask_address(z, r, q) for r in child1 + child2)}
+        good[z] = sum(mask_address(z, targets[g], q) not in bypass for g in labels)
+        for g in labels:
+            assert mask_address(mask_address(z, child1[g], q), child2[g], q) == mask_address(z, targets[g], q)
+    selected = (1, 1, 1)
+    assert good[selected] == 2
+    assert sum(good.values()) == 2 * q * (q - 1) ** 2
+
+    # Work at the common physical input address. One field per cover
+    # after intake x_g + y_(g xor 1) gives just two independent values.
+    # With both fields preserved, the required four cells have rank four.
+    intake = [0b1001, 0b0110]
+    assert binary_rank(intake) == 2
+    assert binary_rank([1, 2, 4, 8]) == 4
+    # Releasing to either cover can expose the two values repeatedly but
+    # can never separate the four original fields.
+    assert binary_rank([intake[0], intake[1], intake[1], intake[0]]) == 2
+    # A fictitious ordinary address-changing bypass to the target would
+    # invalidate the cut, so the scope assumption is load-bearing.
+    assert mask_address(selected, targets[0], q) not in {selected, *(mask_address(selected, r, q) for r in child1 + child2)}
+    return {"digit_cardinality": q, "physical_addresses": q ** 3, "good_label_address_pairs": sum(good.values()),
+            "common_input": list(selected), "bank_rank": 2, "target_rank": 4,
+            "independent_two_child_address_match": True}
+
+
+def directed_price(gate, invoice, pairs, quiet, kappa):
+    paid = {int(r): n for r, n in invoice["paid"].items()}
+    targets = {int(r): n for r, n in invoice["targets"].items()}
+    deficit = gate.sub(gate.moment(paid, kappa), gate.moment(targets, kappa))
+    assert deficit[0] > 0
+    aggregate = gate.exact(0)
+    quiet_total = gate.exact(0)
+    quiet_keys = {tuple(pair["events"]) for pair in quiet}
+    minima = {}
+    for pair in pairs:
+        a = pair["rank"]
+        # By monotonicity and concavity, among proper positive ranks with
+        # r+s>=a the minimum is attained at (1,a-1).
+        debit = gate.moment({1: 2, a - 1: 2, a: -2}, kappa)
+        assert debit[0] > 0
+        full_debit = gate.mul(gate.exact(pair["ports"]), debit)
+        aggregate = gate.add(aggregate, full_debit)
+        if tuple(pair["events"]) in quiet_keys:
+            quiet_total = gate.add(quiet_total, full_debit)
+        minima[a] = gate.show(debit)
+    r49 = gate.moment({49: 4, 56: -2}, kappa)
+    assert aggregate[0] > 0 and r49[0] > 0
+    return {"kappa": str(kappa), "unchanged_full_raw_deficit": gate.show(deficit),
+            "min_surcharge_by_target_rank": minima,
+            "min_surcharge_if_all_quiet_pairs_replaced": gate.show(quiet_total),
+            "min_surcharge_if_all_reordered_pairs_replaced": gate.show(aggregate),
+            "rank49_rank49_surcharge_per_rank56_pair": gate.show(r49),
+            "optimistic_total_saving_optional_replacement": ["0", "0"]}
+
+
+def main():
+    if not __debug__:
+        raise RuntimeError("Run with assertions enabled")
+    p = argparse.ArgumentParser(description=__doc__)
+    root = Path(__file__).resolve().parents[2]
+    p.add_argument("--bit-package", type=Path, default=root / "research/paired-query-only-bit")
+    p.add_argument("--expected", type=Path)
+    a = p.parse_args()
+    caller = json.loads(gzip.decompress(read(a.bit_package, "EFREE-CALLER.json.gz")))
+    invoice = json.loads(read(a.bit_package, "EFREE-RESULT.json"))
+    gate_path = a.bit_package / "independent/interval_gate.py"
+    read(a.bit_package, "independent/interval_gate.py")
+    gate = load(gate_path)
+    pairs, quiet, profile = census(caller, invoice)
+    swaps, reordered = commute_pairs(caller["events"], pairs)
+    read(a.bit_package, "check.py")
+    checker = load(a.bit_package / "check.py")
+    forward = checker.forward({**caller, "events": reordered})
+    assert forward == checker.forward(caller) == 1444
+    result = {
+        "adjacent_disjoint_reorder": swaps, "reordered_pair_placements": 16 * 111,
+        "reordered_formal_forward_coefficients": forward,
+        "pins": PINS, "pairs": pairs, "nominal_same_mask_pair_placements": 16 * 111,
+        "quiet_pair_placements": 7 * 111, "contacting_before_reorder_placements": 9 * 111,
+        "nominal_rank56_pairs": 2 * 111, "quiet_rank56_pairs": 111,
+        "idle_paid_profile": dict(profile),
+        "controls": [finite_control(q) for q in (3, 5, 9)],
+        "directed_prices": [directed_price(gate, invoice, pairs, quiet, k) for k in (TARGET, TRIAL)],
+    }
+    encoded = json.dumps(result, indent=2, sort_keys=True) + "\n"
+    if a.expected is not None and a.expected.read_text(encoding="utf-8") != encoded:
+        raise ValueError("Frozen exact receipt mismatch")
+    print(encoded, end="")
+    if a.expected is not None:
+        print("PASS_BIT_FULL_COVER_VOLUME_CUT quiet_pairs=777 reordered_pairs=1776 aggregate_credit=0 no_new_kappa")
+
+
+if __name__ == "__main__":
+    main()