ToikY · Nov 11, 2026 · Nov 11, 2026
diff --git 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).

diff --git a/research/p104-rectangular-clifford-adapter-bound/ADAPTER.json b/research/p104-rectangular-clifford-adapter-bound/ADAPTER.json
@@ -0,0 +1,298 @@
+{
+  "complete_pair_price": {
+    "census": {
+      "events": 76349,
+      "lifetimes": 66,
+      "opcodes": {
+        "ADD": 66213,
+        "CLEAR": 66,
+        "COPY": 1,
+        "INIT": 66,
+        "MOVE": 6279,
+        "SCALE": 3724
+      },
+      "owned_labels": 63,
+      "peak": 48,
+      "public": 1499
+    },
+    "ideal_pairs": 33991,
+    "ideal_raw_moment": [
+      "2403102453237867321005805946700478980683750305098972197952460268616761174833490473/50000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "2403102453237867321005805946700478980683750305098972197952460268616761174853004251/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+    ],
+    "invoice": {
+      "P": {
+        "1": 68367,
+        "2": 14501,
+        "3": 14093,
+        "4": 3825,
+        "5": 5848,
+        "6": 238,
+        "7": 170,
+        "8": 741,
+        "9": 32,
+        "16": 416,
+        "24": 416,
+        "32": 416,
+        "40": 416,
+        "48": 416,
+        "56": 416,
+        "64": 208
+      },
+      "S": 1424,
+      "T": {
+        "1": 289,
+        "137": 208,
+        "17": 416,
+        "2": 357,
+        "25": 416,
+        "3": 799,
+        "33": 416,
+        "4": 3791,
+        "41": 416,
+        "49": 416,
+        "5": 1343,
+        "57": 416,
+        "6": 731,
+        "65": 416,
+        "7": 323,
+        "73": 208,
+        "8": 578,
+        "9": 10888
+      },
+      "paid_position_sha256": "f562c24ef3c0e657936f45baa50a921964282dbcbc1ed85ebae85422bc567ed1"
+    },
+    "minimum_ideal_pairs_needed": 25328,
+    "native_call_bindings": [
+      {
+        "caller_event": 43,
+        "helper_owner": [
+          "helper",
+          43,
+          1479
+        ],
+        "stage": 1
+      },
+      {
+        "caller_event": 137,
+        "helper_owner": [
+          "helper",
+          137,
+          1479
+        ],
+        "stage": 2
+      },
+      {
+        "caller_event": 268,
+        "helper_owner": [
+          "helper",
+          268,
+          1479
+        ],
+        "stage": 3
+      },
+      {
+        "caller_event": 432,
+        "helper_owner": [
+          "helper",
+          432,
+          1479
+        ],
+        "stage": 4
+      },
+      {
+        "caller_event": 633,
+        "helper_owner": [
+          "helper",
+          633,
+          1479
+        ],
+        "stage": 5
+      },
+      {
+        "caller_event": 867,
+        "helper_owner": [
+          "helper",
+          867,
+          1479
+        ],
+        "stage": 6
+      },
+      {
+        "caller_event": 1138,
+        "helper_owner": [
+          "helper",
+          1138,
+          1479
+        ],
+        "stage": 7
+      },
+      {
+        "caller_event": 1423,
+        "helper_owner": [
+          "helper",
+          1423,
+          1479
+        ],
+        "stage": 8
+      },
+      {
+        "caller_event": 3058,
+        "helper_owner": [
+          "helper",
+          3058,
+          1479
+        ],
+        "stage": 9
+      },
+      {
+        "caller_event": 3377,
+        "helper_owner": [
+          "helper",
+          3377,
+          1479
+        ],
+        "stage": 10
+      },
+      {
+        "caller_event": 3674,
+        "helper_owner": [
+          "helper",
+          3674,
+          1479
+        ],
+        "stage": 11
+      },
+      {
+        "caller_event": 3934,
+        "helper_owner": [
+          "helper",
+          3934,
+          1479
+        ],
+        "stage": 12
+      },
+      {
+        "caller_event": 4149,
+        "helper_owner": [
+          "helper",
+          4149,
+          1479
+        ],
+        "stage": 13
+      },
+      {
+        "caller_event": 4337,
+        "helper_owner": [
+          "helper",
+          4337,
+          1479
+        ],
+        "stage": 14
+      },
+      {
+        "caller_event": 4485,
+        "helper_owner": [
+          "helper",
+          4485,
+          1479
+        ],
+        "stage": 15
+      },
+      {
+        "caller_event": 4606,
+        "helper_owner": [
+          "helper",
+          4606,
+          1479
+        ],
+        "stage": 16
+      },
+      {
+        "caller_event": 4691,
+        "helper_owner": [
+          "helper",
+          4691,
+          1479
+        ],
+        "stage": 17
+      }
+    ],
+    "omitted_paid_occurrence_rejected": true,
+    "pair_price_saving": [
+      "69348986502188680728923643600707147136626390775099307653604924748900855616451/12500000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "277395946008754722915694574402828588546505563100397230614419698995603422465867/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+    ],
+    "rank1_native_by_owner_class": {
+      "main": 971,
+      "owned": 20,
+      "public_helper": 3008
+    },
+    "rank1_outer_paid": 384,
+    "signed_raw_moment": [
+      "-7025863147545714465621568331826067572600520290246630067862279719942794758201653291/50000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "-3512931573772857232810784165913033786300260145123315033931139859971397379092140473/25000000000000000000000000000000000000000000000000000000000000000000000000000000"
+    ]
+  },
+  "destructive_projection_controls": [
+    {
+      "omitted_reciprocal_rejected": 4,
+      "padding_volume_factor": 2,
+      "rank1_support": 2,
+      "rank2_support": 4,
+      "reciprocal_gain_squared": 2,
+      "signed_columns": 4,
+      "width": 1
+    },
+    {
+      "omitted_reciprocal_rejected": 8,
+      "padding_volume_factor": 4,
+      "rank1_support": 4,
+      "rank2_support": 16,
+      "reciprocal_gain_squared": 4,
+      "signed_columns": 8,
+      "width": 2
+    },
+    {
+      "omitted_reciprocal_rejected": 16,
+      "padding_volume_factor": 8,
+      "rank1_support": 8,
+      "rank2_support": 64,
+      "reciprocal_gain_squared": 8,
+      "signed_columns": 16,
+      "width": 3
+    },
+    {
+      "omitted_reciprocal_rejected": 32,
+      "padding_volume_factor": 16,
+      "rank1_support": 16,
+      "rank2_support": 256,
+      "reciprocal_gain_squared": 16,
+      "signed_columns": 32,
+      "width": 4
+    }
+  ],
+  "exact_signed_move": {
+    "absolute_phase_mutants_rejected": 512,
+    "event": 535,
+    "role": 1479,
+    "shift": 52,
+    "sign_mask": 20,
+    "signed_columns": 512,
+    "source": 3,
+    "target": 595
+  },
+  "pins": {
+    "caller/CALLER.json": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc",
+    "caller/interval_gate.py": "60a743d13f668ef86db4b8215b4d5d04430a671ba6f1fe06d9c1c4c3dfe86da5",
+    "gaussian/clifford_exact.py": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962",
+    "gaussian/native_verify.py": "3049471905b47b385c88378a1a3be7a18b8858aadd035b8a6da2f4a03b470f38",
+    "peer/research/p104-rank8-exit-funded-split/RESULT.json": "59080d75e7281b1a8c1353930917fd15869ad747ff4200948898f78f11c14089",
+    "peer/research/p104-rank8-exit-funded-split/WORD.json.gz": "c1caec11ca3ee264ef03018dd91037eac10c3e28950c4c525ee1b4bf5ee210e2",
+    "peer/research/p104-rank8-exit-funded-split/WORD.json.gz#decompressed": "9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3",
+    "prior/owned.py": "53da0a7b551b34f3baf633083a4362570ebe694a694e2d0b6226d01c08a6ab3b"
+  },
+  "seed": null,
+  "status": "SCOPED_RECTANGULAR_ADAPTER_OBSTRUCTION",
+  "target": "10018846261809/2500000000000000"
+}
diff --git a/research/p104-rectangular-clifford-adapter-bound/INPUTS.json b/research/p104-rectangular-clifford-adapter-bound/INPUTS.json
@@ -0,0 +1,34 @@
+{
+  "PEER-NOTICE.txt": {
+    "sha256": "fb25cd50d8e99fd749e4aa567a1a453b353d90bf74e2b20bd8395aae62d18100",
+    "source": "https://raw.githubusercontent.com/ToikY/integer-mult-bounds/16ea35caeeca1a166113ad21c76127f04889f6f5/research/p104-owned-move-transport-bound/inputs/PEER-NOTICE.txt"
+  },
+  "caller/CALLER.json": {
+    "sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc",
+    "source": "https://raw.githubusercontent.com/ToikY/integer-mult-bounds/16ea35caeeca1a166113ad21c76127f04889f6f5/research/p104-owned-move-transport-bound/inputs/caller/CALLER.json"
+  },
+  "caller/interval_gate.py": {
+    "sha256": "60a743d13f668ef86db4b8215b4d5d04430a671ba6f1fe06d9c1c4c3dfe86da5",
+    "source": "https://raw.githubusercontent.com/ToikY/integer-mult-bounds/16ea35caeeca1a166113ad21c76127f04889f6f5/research/p104-owned-move-transport-bound/inputs/caller/interval_gate.py"
+  },
+  "gaussian/clifford_exact.py": {
+    "sha256": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962",
+    "source": "https://raw.githubusercontent.com/rohanarun/integer-mult-bounds/07a76c5e2738882c0cb322278e56f6cae3c9885d/research/signed-caller-8x9/replay/supplier7112/short-caller/admission-source/frozen/clifford_exact.py"
+  },
+  "gaussian/native_verify.py": {
+    "sha256": "3049471905b47b385c88378a1a3be7a18b8858aadd035b8a6da2f4a03b470f38",
+    "source": "https://raw.githubusercontent.com/rohanarun/integer-mult-bounds/07a76c5e2738882c0cb322278e56f6cae3c9885d/research/signed-caller-8x9/replay/supplier7112/short-caller/admission-source/frozen/native_verify.py"
+  },
+  "peer/research/p104-rank8-exit-funded-split/RESULT.json": {
+    "sha256": "59080d75e7281b1a8c1353930917fd15869ad747ff4200948898f78f11c14089",
+    "source": "https://raw.githubusercontent.com/ToikY/integer-mult-bounds/16ea35caeeca1a166113ad21c76127f04889f6f5/research/p104-owned-move-transport-bound/inputs/peer/research/p104-rank8-exit-funded-split/RESULT.json"
+  },
+  "peer/research/p104-rank8-exit-funded-split/WORD.json.gz": {
+    "sha256": "c1caec11ca3ee264ef03018dd91037eac10c3e28950c4c525ee1b4bf5ee210e2",
+    "source": "https://raw.githubusercontent.com/ToikY/integer-mult-bounds/16ea35caeeca1a166113ad21c76127f04889f6f5/research/p104-owned-move-transport-bound/inputs/peer/research/p104-rank8-exit-funded-split/WORD.json.gz"
+  },
+  "prior/owned.py": {
+    "sha256": "53da0a7b551b34f3baf633083a4362570ebe694a694e2d0b6226d01c08a6ab3b",
+    "source": "https://raw.githubusercontent.com/ToikY/integer-mult-bounds/16ea35caeeca1a166113ad21c76127f04889f6f5/research/p104-owned-move-transport-bound/checks/owned.py"
+  }
+}