diff --git a/research/complex-queue-ceiling-uncovered/README.md b/research/complex-queue-ceiling-uncovered/README.md
new file mode 100644
index 0000000000..1a7f0fc38f
--- /dev/null
+++ b/research/complex-queue-ceiling-uncovered/README.md
@@ -0,0 +1,111 @@
+# Screening the queue-ceiling census's uncovered sixteen
+
+**Review aid built on [CrocSwap/integer-mult-bounds#1240](../complex-local-word-ceiling/README.md) and
+[CrocSwap/integer-mult-bounds#1264](../complex-queue-ceiling-census/README.md). No new kappa; no claim is accepted or
+rejected.** Prepared by Aaron Wang / navinor, with help from opencode. Apache-2.0.
+
+The queue-ceiling census screened 14 of the 30 open complex kappa claims and listed 16 as not
+covered: "no profile whose kappa equals the title kappa, with live/calls and an idle histogram in
+the same package". This package screens all 16 at their snapshot-pinned heads. The reason the
+census could not see their data is naming, not absence: the same four inputs are recorded under
+`global_profile`/`profile`, `idle_profile`, `complete_invocations`, inside an `expected` block,
+or (for CrocSwap/integer-mult-bounds#1175) README prose. With those aliases and the census's own `live*9 == 896*calls` rule,
+every one of the 16 has all four inputs, and each recorded profile satisfies the coverage law
+`mass = 72*live + 64*calls` exactly.
+
+## Result
+
+**30 of 30 census-listed claims are now screened. No newly screened word raises a cap.**
+The 16 claims sit on 11 distinct per-call local words (7 new against the census's nine). The
+highest cap among them is **0.0016872744** (word N1, identical to census W4), **+0.004%** over the
+selected word's cap 0.0016872026 and *below* the census's best cap 0.0016873148 (W1). So the whole
+covered queue remains a packing contest inside the +0.87% band above the selected kappa
+0.001672660197076918; extending coverage to the 16 did not surface a word that raises the limit.
+
+| Word | Local profile per call | κ cap | vs selected word | Claims |
+|---|---|---:|---:|---|
+| N1 = census W4 | `1:2406 2:432 3:424 4:142 5:82 8:8` | **0.0016872744** | +0.004% | CrocSwap/integer-mult-bounds#1104, CrocSwap/integer-mult-bounds#1107, CrocSwap/integer-mult-bounds#1117, CrocSwap/integer-mult-bounds#1121, CrocSwap/integer-mult-bounds#1150, CrocSwap/integer-mult-bounds#1172 |
+| N5 = census W2 = selected | `1:2412 2:418 3:432 4:142 5:82 8:8` | 0.0016872026 | 0 | CrocSwap/integer-mult-bounds#1175 |
+| N2 (new) | `1:43307/18 2:7633/18 3:15661/36 4:5003/36 5:82 8:8` | 0.0016863769 | −0.049% | CrocSwap/integer-mult-bounds#1111 |
+| N3 (new) | `1:42949/18 2:8135/18 3:15623/36 4:4753/36 5:82 8:8` | 0.0016845577 | −0.157% | CrocSwap/integer-mult-bounds#1154 |
+| N4 = census W3 | `1:2364 2:498 3:412 4:130 5:82 8:8` | 0.0016842207 | −0.177% | CrocSwap/integer-mult-bounds#1169 |
+| N7 (new) | `1:262220/111 2:55462/111 3:45824/111 4:14338/111 5:82 8:8` | 0.0016839954 | −0.190% | CrocSwap/integer-mult-bounds#1183 |
+| N10 (new) | `1:261194/111 2:56488/111 3:45782/111 4:14158/111 5:82 8:8` | 0.0016836930 | −0.208% | CrocSwap/integer-mult-bounds#1207 |
+| N11 = census W7 | `1:783550/333 2:169496/333 3:137362/333 4:42458/333 5:82 8:8` | 0.0016836800 | −0.209% | CrocSwap/integer-mult-bounds#1218 |
+| N9 (new) | `1:261194/111 2:56488/111 3:45560/111 4:14602/111 5:80 8:8` | 0.0016836527 | −0.210% | CrocSwap/integer-mult-bounds#1201 |
+| N8 (new) | `1:261860/111 2:55822/111 3:46004/111 4:14158/111 5:82 8:8` | 0.0016835547 | −0.216% | CrocSwap/integer-mult-bounds#1192 |
+| N6 (new) | `1:42607/18 2:8981/18 3:14921/36 4:4591/36 5:82 8:8` | 0.0016831053 | −0.243% | CrocSwap/integer-mult-bounds#1176 |
+
+Every claim's recorded endpoint lies below its own word's relaxation (the exact `ceiling()`
+bracket), and every recorded kappa lies below its cap, as for the census's 14. Fractional counts
+are exact reduced rationals: the per-call split divides by the call count (144 or 333).
+
+Two per-claim notes:
+
+- **CrocSwap/integer-mult-bounds#1175 is the selected word with a new idle packing.** Its recorded global profile splits into
+  the selected local word exactly (`1:2412 2:418 3:432 4:142 5:82 8:8`, 72 calls on 7,168 live),
+  with idle remainder `{1:1214, 2:1, 32:1, 48:2443}`. Its recorded kappa 0.001674083482880778
+  sits 0.78% below the W2 cap (the selected record's own endpoint sits 0.87% below it). This is
+  the "pack a selected-type word tightly" route from the CrocSwap/integer-mult-bounds#1166 handoff, already pursued there.
+- **CrocSwap/integer-mult-bounds#1175's PR title kappa 0.001675338871723469 differs from every kappa its package records**
+  (the package's headline is 0.001674083482880778). The screen uses the recorded value and flags
+  the mismatch; which profile the title value belongs to is the authors' to say.
+
+## Method
+
+Per claim, the four census inputs are read from the claim's own package at its pinned head and
+blob: the global paid profile, the idle-remainder histogram, live stock W and call count N
+(`complete_invocations` or the `live*9 == 896*calls` rule). Accepted aliases are recorded per row
+in [SNAPSHOT.json](SNAPSHOT.json); `rebind.py` re-reads the pinned blobs and checks the recorded
+values. [verify.py](verify.py) then repeats the census's checks with `../complex-local-word-ceiling/ceiling.py`:
+the coverage law, the idle split (idle ≤ profile, idle ranks ≤ 51), 896/9 live families per call,
+the per-word exact packing ceiling, the claim's endpoint below its word's relaxation, and the
+recorded kappa below its cap. Five rejection controls mutate the snapshot (coverage law, idle
+split, families per call, endpoint above relaxation, title mismatch) and must fail.
+
+## Reproduce
+
+Standard library only, from the repository root (about 9 s):
+
+```sh
+python3 -I -B research/complex-queue-ceiling-uncovered/verify.py
+python3 -I -B research/complex-queue-ceiling-uncovered/rebind.py --fetch   # network; re-reads pinned PR blobs
+```
+
+Expected final lines: `PASS_COMPLEX_QUEUE_CEILING_UNCOVERED claims=16 words=11 new=7 max_cap=0.0016872743702513531 controls=5`
+and `PASS_SNAPSHOT_REBOUND_UNCOVERED 16`.
+
+## Scope and limits
+
+- Caps are planning bounds (`κ < a/(1+a)`) for hosting, owner and idle repacking of each claim's
+  own recorded word under the coverage law, 896/9 live families per call and the halving guard.
+  They ignore helper widths, windows and chronology, and do not bound changed words, templates or
+  outer recipes.
+- The screen reads what each package records. It does not re-derive any profile from a circuit,
+  re-run any claim's replay, or validate helper placement; a recorded profile could in principle
+  disagree with its own construction. Two heads (CrocSwap/integer-mult-bounds#1172, CrocSwap/integer-mult-bounds#1175) moved since the census listing;
+  the pinned heads are current at snapshot time (2026-10-14).
+- Structured-input claims in these packages often carry the status "pending native and strict
+  admission"; nothing here strengthens those statuses.
+- No new kappa, no accepted or rejected claim, and no selected-record change.
+
+## Open next questions
+
+- **Which proposal raises a cap rather than packing toward it?** Now that all 30 census-listed
+  claims are screened inside the +0.87% band, the next cap-raising candidate must come from a
+  changed local excess spend or a changed coverage law. First step: screen each new proposal's
+  per-call profile with `ceiling.ceiling()` before a full replay. Blocker: none.
+- **Should claims record `local_profile_per_call` and `idle_histogram` in their result JSONs?**
+  This screen needed alias names and, for CrocSwap/integer-mult-bounds#1175, prose parsing; CrocSwap/integer-mult-bounds#1175's title kappa also
+  disagrees with its package. First step: adopt the census's field names (or the CrocSwap/integer-mult-bounds#1200 request's)
+  in each claim's result JSON. Blocker: the claim authors own those files.
+
+## Credit
+
+Every construction belongs to its claim's authors: G. V. Chudnovsky (CrocSwap/integer-mult-bounds#1175), tomdif and the
+CrocSwap/integer-mult-bounds#1148-line authors (CrocSwap/integer-mult-bounds#1169 lineage), jeremykothe2 (CrocSwap/integer-mult-bounds#1183/#1192/#1201/#1207/#1218 lineages), and
+the authors of CrocSwap/integer-mult-bounds#1104/#1107/#1111/#1117/#1121/#1150/#1154/#1172/#1176 as cited in their packages.
+The coverage identity is CrocSwap/integer-mult-bounds#1012's; the ceiling model and the queue-census method are Douglas
+Colkitt's ([CrocSwap/integer-mult-bounds#1240](https://github.com/CrocSwap/integer-mult-bounds/pull/1240),
+[CrocSwap/integer-mult-bounds#1264](https://github.com/CrocSwap/integer-mult-bounds/pull/1264)). This package was prepared by
+Aaron Wang / navinor, with help from opencode.
diff --git a/research/complex-queue-ceiling-uncovered/RESULT.json b/research/complex-queue-ceiling-uncovered/RESULT.json
new file mode 100644
index 0000000000..dd224f5e3f
--- /dev/null
+++ b/research/complex-queue-ceiling-uncovered/RESULT.json
@@ -0,0 +1,553 @@
+{
+ "base_commit": "0a201997097b8a89b638f3a2afcb35db4184c8b2",
+ "claims": [
+  {
+   "calls": 144,
+   "census_head": "d8982686afd7ef6ce52ddeaa17011ccda558d666",
+   "complex_lower": "335098854900124282333/200000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "d8982686afd7ef6ce52ddeaa17011ccda558d666",
+   "head_moved_since_census": false,
+   "idle_file": "research/gauge44-ends7-t16/RESULT.json",
+   "kappa": "0.001672691689152441",
+   "kappa_cap": "0.0016872743702513531",
+   "live": 14336,
+   "pr": 1104,
+   "profile_file": "research/gauge44-ends7-t16/RESULT.json",
+   "remaining_packing_headroom_percent": "0.8718",
+   "title_kappa": "0.001672691689152441",
+   "title_record_mismatch": false,
+   "word": "N1"
+  },
+  {
+   "calls": 144,
+   "census_head": "6123fc5d57db16aaa3e8a26b4a11a34b46c0c391",
+   "complex_lower": "1675568814697413823921/1000000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "6123fc5d57db16aaa3e8a26b4a11a34b46c0c391",
+   "head_moved_since_census": false,
+   "idle_file": "research/gauge44-ends7-t16/RESULT.json",
+   "kappa": "0.001672765980186726",
+   "kappa_cap": "0.0016872743702513531",
+   "live": 14336,
+   "pr": 1107,
+   "profile_file": "research/gauge44-ends7-t16/RESULT.json",
+   "remaining_packing_headroom_percent": "0.8673",
+   "title_kappa": "0.001672765980186726",
+   "title_record_mismatch": false,
+   "word": "N1"
+  },
+  {
+   "calls": 144,
+   "census_head": "381831ea554ea983e16224dabed8921b7d0ffdbc",
+   "complex_lower": "1675583042021589509879/1000000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "381831ea554ea983e16224dabed8921b7d0ffdbc",
+   "head_moved_since_census": false,
+   "idle_file": "research/demote635-t16/data/SPEC.json",
+   "kappa": "0.001672780159952542",
+   "kappa_cap": "0.0016863769422941974",
+   "live": 14336,
+   "pr": 1111,
+   "profile_file": "research/demote635-t16/data/SPEC.json",
+   "remaining_packing_headroom_percent": "0.8128",
+   "title_kappa": "0.001672780159952542",
+   "title_record_mismatch": false,
+   "word": "N2"
+  },
+  {
+   "calls": 144,
+   "census_head": "342b67f23dfa8f41a520a0d58978b2875e9eb0dd",
+   "complex_lower": "1675650102119662212841/1000000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "342b67f23dfa8f41a520a0d58978b2875e9eb0dd",
+   "head_moved_since_census": false,
+   "idle_file": "research/gauge44-ends7-t16/RESULT.json",
+   "kappa": "0.001672846995880185",
+   "kappa_cap": "0.0016872743702513531",
+   "live": 14336,
+   "pr": 1117,
+   "profile_file": "research/gauge44-ends7-t16/RESULT.json",
+   "remaining_packing_headroom_percent": "0.8624",
+   "title_kappa": "0.001672846995880185",
+   "title_record_mismatch": false,
+   "word": "N1"
+  },
+  {
+   "calls": 144,
+   "census_head": "61e816c29165a94f6cfc57d9e195063a5b027bc2",
+   "complex_lower": "418942265553491756457/250000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "61e816c29165a94f6cfc57d9e195063a5b027bc2",
+   "head_moved_since_census": false,
+   "idle_file": "research/gauge44-ends7-t16/RESULT.json",
+   "kappa": "0.001672965558289236",
+   "kappa_cap": "0.0016872743702513531",
+   "live": 14336,
+   "pr": 1121,
+   "profile_file": "research/gauge44-ends7-t16/RESULT.json",
+   "remaining_packing_headroom_percent": "0.8553",
+   "title_kappa": "0.001672965558289236",
+   "title_record_mismatch": false,
+   "word": "N1"
+  },
+  {
+   "calls": 144,
+   "census_head": "bebf64ffda3fd5128342d19ee6d419b1150b49f7",
+   "complex_lower": "1675519475706972942847/1000000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "bebf64ffda3fd5128342d19ee6d419b1150b49f7",
+   "head_moved_since_census": false,
+   "idle_file": "research/complex-rank7-owner-exchanges/data/SPEC.json",
+   "kappa": "0.001672716806120974",
+   "kappa_cap": "0.0016872743702513531",
+   "live": 14336,
+   "pr": 1150,
+   "profile_file": "research/complex-rank7-owner-exchanges/data/SPEC.json",
+   "remaining_packing_headroom_percent": "0.8703",
+   "title_kappa": "0.001672716806120974",
+   "title_record_mismatch": false,
+   "word": "N1"
+  },
+  {
+   "calls": 144,
+   "census_head": "390de2866a03758e7f4ddbb2846e5b2ee4e72154",
+   "complex_lower": "1676065200585730447963/1000000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "390de2866a03758e7f4ddbb2846e5b2ee4e72154",
+   "head_moved_since_census": false,
+   "idle_file": "research/adaptive-kernel-demotion/expected/OWNER-AUDIT.json",
+   "kappa": "0.001673260706543984",
+   "kappa_cap": "0.001684557671861341",
+   "live": 14336,
+   "pr": 1154,
+   "profile_file": "research/adaptive-kernel-demotion/expected/EXACT-PRICE.json",
+   "remaining_packing_headroom_percent": "0.6751",
+   "title_kappa": "0.001673260706543984",
+   "title_record_mismatch": false,
+   "word": "N3"
+  },
+  {
+   "calls": 333,
+   "census_head": "13d02293a7af67d7e3bd2e4d7f1a2943ac20537e",
+   "complex_lower": "419595229423068636473/250000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "13d02293a7af67d7e3bd2e4d7f1a2943ac20537e",
+   "head_moved_since_census": false,
+   "idle_file": "research/three-demotions-t37-composition/SPEC.json",
+   "kappa": "0.001675568675201533",
+   "kappa_cap": "0.001684220703503619",
+   "live": 33152,
+   "pr": 1169,
+   "profile_file": "research/three-demotions-t37-composition/SPEC.json",
+   "remaining_packing_headroom_percent": "0.5164",
+   "title_kappa": "0.001675568675201533",
+   "title_record_mismatch": false,
+   "word": "N4"
+  },
+  {
+   "calls": 144,
+   "census_head": "e084ce638694967e1cc60f623d396cadb07993d1",
+   "complex_lower": "209450670519296621327/125000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "4d2cc9df55ed5a17786b7c0a200d70332afbe41e",
+   "head_moved_since_census": true,
+   "idle_file": "research/gauge44-ends7-t16/RESULT.json",
+   "kappa": "0.00167280240746725",
+   "kappa_cap": "0.0016872743702513531",
+   "live": 14336,
+   "pr": 1172,
+   "profile_file": "research/gauge44-ends7-t16/RESULT.json",
+   "remaining_packing_headroom_percent": "0.8651",
+   "title_kappa": "0.001672802407467250",
+   "title_record_mismatch": false,
+   "word": "N1"
+  },
+  {
+   "calls": 72,
+   "census_head": "a15379c47388e177c3f3e8cb2cadcd2e5d7c9800",
+   "complex_lower": "1676890737967805674397/1000000000000000000000000",
+   "extraction": "README prose: 'Global profile' and 'Idle remainder' sentences",
+   "head": "76b9f99e177ecdea82877a092dc21e767035d3a2",
+   "head_moved_since_census": true,
+   "idle_file": "research/gauge44-slots-arcflow/README.md",
+   "kappa": "0.001674083482880778",
+   "kappa_cap": "0.0016872026453254019",
+   "live": 7168,
+   "pr": 1175,
+   "profile_file": "research/gauge44-slots-arcflow/README.md",
+   "remaining_packing_headroom_percent": "0.7837",
+   "title_kappa": "0.001675338871723469",
+   "title_record_mismatch": true,
+   "word": "N5"
+  },
+  {
+   "calls": 144,
+   "census_head": "3a0d419341879a395d921693112c3b826de93677",
+   "complex_lower": "839017802776694489319/500000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "3a0d419341879a395d921693112c3b826de93677",
+   "head_moved_since_census": false,
+   "idle_file": "research/crosscall-kernel-demotion/expected/OWNER-AUDIT.json",
+   "kappa": "0.001675224519162937",
+   "kappa_cap": "0.0016831053261235939",
+   "live": 14336,
+   "pr": 1176,
+   "profile_file": "research/crosscall-kernel-demotion/expected/EXACT-PRICE.json",
+   "remaining_packing_headroom_percent": "0.4704",
+   "title_kappa": "0.001675224519162937",
+   "title_record_mismatch": false,
+   "word": "N6"
+  },
+  {
+   "calls": 333,
+   "census_head": "9e7ccda21f28f5dd0397aa04a596e4f0e1d75d1d",
+   "complex_lower": "839207769508424917257/500000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "9e7ccda21f28f5dd0397aa04a596e4f0e1d75d1d",
+   "head_moved_since_census": false,
+   "idle_file": "research/mixed-t37-entrances/SPEC.json",
+   "kappa": "0.001675603180601302",
+   "kappa_cap": "0.0016839953925709371",
+   "live": 33152,
+   "pr": 1183,
+   "profile_file": "research/mixed-t37-entrances/SPEC.json",
+   "remaining_packing_headroom_percent": "0.5008",
+   "title_kappa": "0.001675603180601302",
+   "title_record_mismatch": false,
+   "word": "N7"
+  },
+  {
+   "calls": 333,
+   "census_head": "970793428d346b4aa8d8fa2af03aa6dd5ad6f994",
+   "complex_lower": "839241640276744993203/500000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "970793428d346b4aa8d8fa2af03aa6dd5ad6f994",
+   "head_moved_since_census": false,
+   "idle_file": "research/crosscall-t37-entrances/SPEC.json",
+   "kappa": "0.001675670695307702",
+   "kappa_cap": "0.0016835547411071356",
+   "live": 33152,
+   "pr": 1192,
+   "profile_file": "research/crosscall-t37-entrances/SPEC.json",
+   "remaining_packing_headroom_percent": "0.4705",
+   "title_kappa": "0.001675670695307702",
+   "title_record_mismatch": false,
+   "word": "N8"
+  },
+  {
+   "calls": 333,
+   "census_head": "86a7072626d9b3e49222378bb76601a11d2f58ea",
+   "complex_lower": "1678580674238203838417/1000000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "86a7072626d9b3e49222378bb76601a11d2f58ea",
+   "head_moved_since_census": false,
+   "idle_file": "research/mixed-t37-source-holder-fusions/SPEC.json",
+   "kappa": "0.00167576776285696",
+   "kappa_cap": "0.0016836527262606973",
+   "live": 33152,
+   "pr": 1201,
+   "profile_file": "research/mixed-t37-source-holder-fusions/SPEC.json",
+   "remaining_packing_headroom_percent": "0.4705",
+   "title_kappa": "0.00167576776285696",
+   "title_record_mismatch": false,
+   "word": "N9"
+  },
+  {
+   "calls": 333,
+   "census_head": "d53f23eafc378a6e680294081d09886597129733",
+   "complex_lower": "41965518204112936373/25000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "d53f23eafc378a6e680294081d09886597129733",
+   "head_moved_since_census": false,
+   "idle_file": "research/x54-mixed-t37-fusions/SPEC.json",
+   "kappa": "0.001675807682652",
+   "kappa_cap": "0.0016836930221849301",
+   "live": 33152,
+   "pr": 1207,
+   "profile_file": "research/x54-mixed-t37-fusions/SPEC.json",
+   "remaining_packing_headroom_percent": "0.4705",
+   "title_kappa": "0.001675807682652",
+   "title_record_mismatch": false,
+   "word": "N10"
+  },
+  {
+   "calls": 333,
+   "census_head": "0aa147977ad226f9d777d6a21a610ab037985b1e",
+   "complex_lower": "839311367867996118499/500000000000000000000000",
+   "extraction": "JSON fields (see SNAPSHOT.json paths)",
+   "head": "0aa147977ad226f9d777d6a21a610ab037985b1e",
+   "head_moved_since_census": false,
+   "idle_file": "research/global-mixed-x54-fusions/SPEC.json",
+   "kappa": "0.001675809683500501",
+   "kappa_cap": "0.0016836799672131639",
+   "live": 33152,
+   "pr": 1218,
+   "profile_file": "research/global-mixed-x54-fusions/SPEC.json",
+   "remaining_packing_headroom_percent": "0.4696",
+   "title_kappa": "0.001675809683500501",
+   "title_record_mismatch": false,
+   "word": "N11"
+  }
+ ],
+ "claims_screened": 16,
+ "claims_screened_prs": [
+  1104,
+  1107,
+  1111,
+  1117,
+  1121,
+  1150,
+  1154,
+  1169,
+  1172,
+  1175,
+  1176,
+  1183,
+  1192,
+  1201,
+  1207,
+  1218
+ ],
+ "distinct_local_words": 11,
+ "max_kappa_cap": "0.0016872743702513531",
+ "max_kappa_cap_word": "N1",
+ "new_words_vs_census": 7,
+ "scope": "Each cap bounds hosting, owner and idle repacking of that claim's own recorded local word under the coverage law, 896/9 live families per call and the halving guard. It does not bound changed words, templates or outer recipes, does not re-derive any claim's profile from its circuit, and does not review or accept any claim.",
+ "selected_kappa": "0.001672660197076918",
+ "status": "PASS_COMPLEX_QUEUE_CEILING_UNCOVERED",
+ "title_record_mismatches": [
+  {
+   "pr": 1175,
+   "recorded_kappa": "0.001674083482880778",
+   "title_kappa": "0.001675338871723469"
+  }
+ ],
+ "words": [
+  {
+   "a_ceiling": "1690126076663/1000000000000000",
+   "cap_vs_selected_word_percent": "0.004251",
+   "claims": [
+    1104,
+    1107,
+    1117,
+    1121,
+    1150,
+    1172
+   ],
+   "id": "N1",
+   "kappa_cap": "0.0016872743702513531",
+   "known_census_word": "W4",
+   "local_mass_per_call": "5584",
+   "local_profile_per_call": {
+    "1": "2406",
+    "2": "432",
+    "3": "424",
+    "4": "142",
+    "5": "82",
+    "8": "8"
+   },
+   "selected_word": false
+  },
+  {
+   "a_ceiling": "1690054109089/1000000000000000",
+   "cap_vs_selected_word_percent": "0",
+   "claims": [
+    1175
+   ],
+   "id": "N5",
+   "kappa_cap": "0.0016872026453254019",
+   "known_census_word": "W2",
+   "local_mass_per_call": "5586",
+   "local_profile_per_call": {
+    "1": "2412",
+    "2": "418",
+    "3": "432",
+    "4": "142",
+    "5": "82",
+    "8": "8"
+   },
+   "selected_word": true
+  },
+  {
+   "a_ceiling": "1689225613419/1000000000000000",
+   "cap_vs_selected_word_percent": "-0.04894",
+   "claims": [
+    1111
+   ],
+   "id": "N2",
+   "kappa_cap": "0.0016863769422941974",
+   "known_census_word": null,
+   "local_mass_per_call": "201205/36",
+   "local_profile_per_call": {
+    "1": "43307/18",
+    "2": "7633/18",
+    "3": "15661/36",
+    "4": "5003/36",
+    "5": "82",
+    "8": "8"
+   },
+   "selected_word": false
+  },
+  {
+   "a_ceiling": "337480038961/200000000000000",
+   "cap_vs_selected_word_percent": "-0.1568",
+   "claims": [
+    1154
+   ],
+   "id": "N3",
+   "kappa_cap": "0.001684557671861341",
+   "known_census_word": null,
+   "local_mass_per_call": "201383/36",
+   "local_profile_per_call": {
+    "1": "42949/18",
+    "2": "8135/18",
+    "3": "15623/36",
+    "4": "4753/36",
+    "5": "82",
+    "8": "8"
+   },
+   "selected_word": false
+  },
+  {
+   "a_ceiling": "1687062088401/1000000000000000",
+   "cap_vs_selected_word_percent": "-0.1767",
+   "claims": [
+    1169
+   ],
+   "id": "N4",
+   "kappa_cap": "0.001684220703503619",
+   "known_census_word": "W3",
+   "local_mass_per_call": "5590",
+   "local_profile_per_call": {
+    "1": "2364",
+    "2": "498",
+    "3": "412",
+    "4": "130",
+    "5": "82",
+    "8": "8"
+   },
+   "selected_word": false
+  },
+  {
+   "a_ceiling": "1686836016651/1000000000000000",
+   "cap_vs_selected_word_percent": "-0.1901",
+   "claims": [
+    1183
+   ],
+   "id": "N7",
+   "kappa_cap": "0.0016839953925709371",
+   "known_census_word": null,
+   "local_mass_per_call": "620582/111",
+   "local_profile_per_call": {
+    "1": "262220/111",
+    "2": "55462/111",
+    "3": "45824/111",
+    "4": "14338/111",
+    "5": "82",
+    "8": "8"
+   },
+   "selected_word": false
+  },
+  {
+   "a_ceiling": "843266312699/500000000000000",
+   "cap_vs_selected_word_percent": "-0.208",
+   "claims": [
+    1207
+   ],
+   "id": "N10",
+   "kappa_cap": "0.0016836930221849301",
+   "known_census_word": null,
+   "local_mass_per_call": "620762/111",
+   "local_profile_per_call": {
+    "1": "261194/111",
+    "2": "56488/111",
+    "3": "45782/111",
+    "4": "14158/111",
+    "5": "82",
+    "8": "8"
+   },
+   "selected_word": false
+  },
+  {
+   "a_ceiling": "843259763177/500000000000000",
+   "cap_vs_selected_word_percent": "-0.2088",
+   "claims": [
+    1218
+   ],
+   "id": "N11",
+   "kappa_cap": "0.0016836799672131639",
+   "known_census_word": "W7",
+   "local_mass_per_call": "1862302/333",
+   "local_profile_per_call": {
+    "1": "783550/333",
+    "2": "169496/333",
+    "3": "137362/333",
+    "4": "42458/333",
+    "5": "82",
+    "8": "8"
+   },
+   "selected_word": false
+  },
+  {
+   "a_ceiling": "10540576209/6250000000000",
+   "cap_vs_selected_word_percent": "-0.2104",
+   "claims": [
+    1201
+   ],
+   "id": "N9",
+   "kappa_cap": "0.0016836527262606973",
+   "known_census_word": null,
+   "local_mass_per_call": "620762/111",
+   "local_profile_per_call": {
+    "1": "261194/111",
+    "2": "56488/111",
+    "3": "45560/111",
+    "4": "14602/111",
+    "5": "80",
+    "8": "8"
+   },
+   "selected_word": false
+  },
+  {
+   "a_ceiling": "337278775503/200000000000000",
+   "cap_vs_selected_word_percent": "-0.2162",
+   "claims": [
+    1192
+   ],
+   "id": "N8",
+   "kappa_cap": "0.0016835547411071356",
+   "known_census_word": null,
+   "local_mass_per_call": "620762/111",
+   "local_profile_per_call": {
+    "1": "261860/111",
+    "2": "55822/111",
+    "3": "46004/111",
+    "4": "14158/111",
+    "5": "82",
+    "8": "8"
+   },
+   "selected_word": false
+  },
+  {
+   "a_ceiling": "67437717827/40000000000000",
+   "cap_vs_selected_word_percent": "-0.2428",
+   "claims": [
+    1176
+   ],
+   "id": "N6",
+   "kappa_cap": "0.0016831053261235939",
+   "known_census_word": null,
+   "local_mass_per_call": "201329/36",
+   "local_profile_per_call": {
+    "1": "42607/18",
+    "2": "8981/18",
+    "3": "14921/36",
+    "4": "4591/36",
+    "5": "82",
+    "8": "8"
+   },
+   "selected_word": false
+  }
+ ]
+}
diff --git a/research/complex-queue-ceiling-uncovered/SNAPSHOT.json b/research/complex-queue-ceiling-uncovered/SNAPSHOT.json
new file mode 100644
index 0000000000..5bf49cd7ca
--- /dev/null
+++ b/research/complex-queue-ceiling-uncovered/SNAPSHOT.json
@@ -0,0 +1,598 @@
+{
+ "base_commit": "0a201997097b8a89b638f3a2afcb35db4184c8b2",
+ "claims": [
+  {
+   "calls": 144,
+   "census_head": "d8982686afd7ef6ce52ddeaa17011ccda558d666",
+   "complex_lower": "335098854900124282333/200000000000000000000000",
+   "head": "d8982686afd7ef6ce52ddeaa17011ccda558d666",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 2190,
+    "2": 3,
+    "3": 315,
+    "6": 1,
+    "7": 49,
+    "8": 1,
+    "11": 18,
+    "48": 4867
+   },
+   "idle_blob": "c9f26e2669c1a5f3f6b6d8789149bcd949c03711",
+   "idle_file": "research/gauge44-ends7-t16/RESULT.json",
+   "idle_json_path": "/idle_remainder_profile",
+   "kappa": "1672691689152441/1000000000000000000",
+   "kappa_decimal": "0.001672691689152441",
+   "live": 14336,
+   "live_calls_source": "/complete_invocations plus live = 896*calls/9",
+   "pr": 1104,
+   "profile": {
+    "1": 348654,
+    "2": 62211,
+    "3": 61371,
+    "4": 20448,
+    "5": 11808,
+    "6": 1,
+    "7": 49,
+    "8": 1153,
+    "11": 18,
+    "48": 4867
+   },
+   "profile_blob": "c9f26e2669c1a5f3f6b6d8789149bcd949c03711",
+   "profile_file": "research/gauge44-ends7-t16/RESULT.json",
+   "profile_json_path": "/complex_profile",
+   "title": "Conditional \u03ba = 0.001672691689152441: rank-seven helper ends and T16 owner packing on the seven-slot k8 word",
+   "title_kappa": "0.001672691689152441"
+  },
+  {
+   "calls": 144,
+   "census_head": "6123fc5d57db16aaa3e8a26b4a11a34b46c0c391",
+   "complex_lower": "1675568814697413823921/1000000000000000000000000",
+   "head": "6123fc5d57db16aaa3e8a26b4a11a34b46c0c391",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 2190,
+    "2": 3,
+    "3": 370,
+    "6": 1,
+    "7": 6,
+    "11": 18,
+    "48": 4870
+   },
+   "idle_blob": "4d4a90d703c378ac4981501e37fb0627a8897687",
+   "idle_file": "research/gauge44-ends7-t16/RESULT.json",
+   "idle_json_path": "/idle_remainder_profile",
+   "kappa": "836382990093363/500000000000000000",
+   "kappa_decimal": "0.001672765980186726",
+   "live": 14336,
+   "live_calls_source": "/complete_invocations plus live = 896*calls/9",
+   "pr": 1107,
+   "profile": {
+    "1": 348654,
+    "2": 62211,
+    "3": 61426,
+    "4": 20448,
+    "5": 11808,
+    "6": 1,
+    "7": 6,
+    "8": 1152,
+    "11": 18,
+    "48": 4870
+   },
+   "profile_blob": "4d4a90d703c378ac4981501e37fb0627a8897687",
+   "profile_file": "research/gauge44-ends7-t16/RESULT.json",
+   "profile_json_path": "/complex_profile",
+   "title": "Conditional \u03ba = 0.001672765980186726: rank-seven helper ends and T16 owner packing on the seven-slot k8 word",
+   "title_kappa": "0.001672765980186726"
+  },
+  {
+   "calls": 144,
+   "census_head": "381831ea554ea983e16224dabed8921b7d0ffdbc",
+   "complex_lower": "1675583042021589509879/1000000000000000000000000",
+   "head": "381831ea554ea983e16224dabed8921b7d0ffdbc",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 1844,
+    "3": 378,
+    "7": 6,
+    "48": 4866
+   },
+   "idle_blob": "7cfaa9a769123e9b1067d4edaa40752e22984610",
+   "idle_file": "research/demote635-t16/data/SPEC.json",
+   "idle_json_path": "/expected/idle_remainder_profile",
+   "kappa": "836390079976271/500000000000000000",
+   "kappa_decimal": "0.001672780159952542",
+   "live": 14336,
+   "live_calls_source": "expected/live plus calls = live*9/896 (896/9 families per call)",
+   "pr": 1111,
+   "profile": {
+    "1": 348300,
+    "2": 61064,
+    "3": 63022,
+    "4": 20012,
+    "5": 11808,
+    "7": 6,
+    "8": 1152,
+    "48": 4866
+   },
+   "profile_blob": "7cfaa9a769123e9b1067d4edaa40752e22984610",
+   "profile_file": "research/demote635-t16/data/SPEC.json",
+   "profile_json_path": "/expected/global_profile",
+   "title": "Conditional \u03ba = 0.001672780159952542: reverse one entrance promotion to fill T16 gaps",
+   "title_kappa": "0.001672780159952542"
+  },
+  {
+   "calls": 144,
+   "census_head": "342b67f23dfa8f41a520a0d58978b2875e9eb0dd",
+   "complex_lower": "1675650102119662212841/1000000000000000000000000",
+   "head": "342b67f23dfa8f41a520a0d58978b2875e9eb0dd",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 2202,
+    "2": 16,
+    "3": 365,
+    "6": 2,
+    "7": 8,
+    "11": 1,
+    "48": 4873
+   },
+   "idle_blob": "e34029109cea4b0387fc1879e1d9e08fd5111db6",
+   "idle_file": "research/gauge44-ends7-t16/RESULT.json",
+   "idle_json_path": "/idle_remainder_profile",
+   "kappa": "334569399176037/200000000000000000",
+   "kappa_decimal": "0.001672846995880185",
+   "live": 14336,
+   "live_calls_source": "/complete_invocations plus live = 896*calls/9",
+   "pr": 1117,
+   "profile": {
+    "1": 348666,
+    "2": 62224,
+    "3": 61421,
+    "4": 20448,
+    "5": 11808,
+    "6": 2,
+    "7": 8,
+    "8": 1152,
+    "11": 1,
+    "48": 4873
+   },
+   "profile_blob": "e34029109cea4b0387fc1879e1d9e08fd5111db6",
+   "profile_file": "research/gauge44-ends7-t16/RESULT.json",
+   "profile_json_path": "/complex_profile",
+   "title": "Conditional \u03ba = 0.001672846995880185: rank-seven helper ends and T16 owner packing on the seven-slot k8 word",
+   "title_kappa": "0.001672846995880185"
+  },
+  {
+   "calls": 144,
+   "census_head": "61e816c29165a94f6cfc57d9e195063a5b027bc2",
+   "complex_lower": "418942265553491756457/250000000000000000000000",
+   "head": "61e816c29165a94f6cfc57d9e195063a5b027bc2",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 2211,
+    "3": 360,
+    "7": 3,
+    "48": 4875
+   },
+   "idle_blob": "661443db6dd4124a9b2ea6fbc2d580338910e56e",
+   "idle_file": "research/gauge44-ends7-t16/RESULT.json",
+   "idle_json_path": "/idle_remainder_profile",
+   "kappa": "418241389572309/250000000000000000",
+   "kappa_decimal": "0.001672965558289236",
+   "live": 14336,
+   "live_calls_source": "/complete_invocations plus live = 896*calls/9",
+   "pr": 1121,
+   "profile": {
+    "1": 348675,
+    "2": 62208,
+    "3": 61416,
+    "4": 20448,
+    "5": 11808,
+    "7": 3,
+    "8": 1152,
+    "48": 4875
+   },
+   "profile_blob": "661443db6dd4124a9b2ea6fbc2d580338910e56e",
+   "profile_file": "research/gauge44-ends7-t16/RESULT.json",
+   "profile_json_path": "/complex_profile",
+   "title": "Conditional \u03ba = 0.001672965558289236: rank-seven helper ends and T16 owner packing on the seven-slot k8 word",
+   "title_kappa": "0.001672965558289236"
+  },
+  {
+   "calls": 144,
+   "census_head": "bebf64ffda3fd5128342d19ee6d419b1150b49f7",
+   "complex_lower": "1675519475706972942847/1000000000000000000000000",
+   "head": "bebf64ffda3fd5128342d19ee6d419b1150b49f7",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 2190,
+    "2": 1,
+    "3": 314,
+    "6": 8,
+    "7": 48,
+    "11": 2,
+    "12": 1,
+    "16": 9,
+    "48": 4867
+   },
+   "idle_blob": "580531589db407890acef9a7e1c1d9eb02fbe76a",
+   "idle_file": "research/complex-rank7-owner-exchanges/data/SPEC.json",
+   "idle_json_path": "/expected/idle_remainder_profile",
+   "kappa": "836358403060487/500000000000000000",
+   "kappa_decimal": "0.001672716806120974",
+   "live": 14336,
+   "live_calls_source": "expected/live plus calls = live*9/896 (896/9 families per call)",
+   "pr": 1150,
+   "profile": {
+    "1": 348654,
+    "2": 62209,
+    "3": 61370,
+    "4": 20448,
+    "5": 11808,
+    "6": 8,
+    "7": 48,
+    "8": 1152,
+    "11": 2,
+    "12": 1,
+    "16": 9,
+    "48": 4867
+   },
+   "profile_blob": "580531589db407890acef9a7e1c1d9eb02fbe76a",
+   "profile_file": "research/complex-rank7-owner-exchanges/data/SPEC.json",
+   "profile_json_path": "/expected/global_profile",
+   "title": "Conditional kappa 0.001672716806120974: rank-seven T16 owner exchanges",
+   "title_kappa": "0.001672716806120974"
+  },
+  {
+   "calls": 144,
+   "census_head": "390de2866a03758e7f4ddbb2846e5b2ee4e72154",
+   "complex_lower": "1676065200585730447963/1000000000000000000000000",
+   "head": "390de2866a03758e7f4ddbb2846e5b2ee4e72154",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 771,
+    "2": 17,
+    "3": 363,
+    "7": 8,
+    "11": 2,
+    "48": 4873
+   },
+   "idle_blob": "0a5bb027b42c5280cca336acf8b253f9ed5343c8",
+   "idle_file": "research/adaptive-kernel-demotion/expected/OWNER-AUDIT.json",
+   "idle_json_path": "/idle_profile",
+   "kappa": "104578794158999/62500000000000000",
+   "kappa_decimal": "0.001673260706543984",
+   "live": 14336,
+   "live_calls_source": "/derived plus live = 896*calls/9",
+   "pr": 1154,
+   "profile": {
+    "1": 344363,
+    "2": 65097,
+    "3": 62855,
+    "4": 19012,
+    "5": 11808,
+    "7": 8,
+    "8": 1152,
+    "11": 2,
+    "48": 4873
+   },
+   "profile_blob": "93ff6101ae1d7cfe21c8496fc74a87af23c10381",
+   "profile_file": "research/adaptive-kernel-demotion/expected/EXACT-PRICE.json",
+   "profile_json_path": "/profile",
+   "title": "Conditional kappa = 0.001673260706543984: adaptive joint kernel demotion on PR1117",
+   "title_kappa": "0.001673260706543984"
+  },
+  {
+   "calls": 333,
+   "census_head": "13d02293a7af67d7e3bd2e4d7f1a2943ac20537e",
+   "complex_lower": "419595229423068636473/250000000000000000000000",
+   "head": "13d02293a7af67d7e3bd2e4d7f1a2943ac20537e",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 834,
+    "48": 11374
+   },
+   "idle_blob": "e632a5992948b70b96e005d45a6cf88476494a51",
+   "idle_file": "research/three-demotions-t37-composition/SPEC.json",
+   "idle_json_path": "/expected/idle_remainder_profile",
+   "kappa": "1675568675201533/1000000000000000000",
+   "kappa_decimal": "0.001675568675201533",
+   "live": 33152,
+   "live_calls_source": "expected/live plus calls = live*9/896 (896/9 families per call)",
+   "pr": 1169,
+   "profile": {
+    "1": 788046,
+    "2": 165834,
+    "3": 137196,
+    "4": 43290,
+    "5": 27306,
+    "8": 2664,
+    "48": 11374
+   },
+   "profile_blob": "e632a5992948b70b96e005d45a6cf88476494a51",
+   "profile_file": "research/three-demotions-t37-composition/SPEC.json",
+   "profile_json_path": "/expected/global_profile",
+   "title": "Conditional \u03ba = 0.001675568675201533: joint entrances with T37 owner packing",
+   "title_kappa": "0.001675568675201533"
+  },
+  {
+   "calls": 144,
+   "census_head": "e084ce638694967e1cc60f623d396cadb07993d1",
+   "complex_lower": "209450670519296621327/125000000000000000000000",
+   "head": "4d2cc9df55ed5a17786b7c0a200d70332afbe41e",
+   "head_moved_since_census": true,
+   "idle": {
+    "1": 2198,
+    "3": 313,
+    "7": 51,
+    "10": 1,
+    "32": 6,
+    "48": 4867
+   },
+   "idle_blob": "e0c59e1349df1de6e010070a8c4cda6fbe11080f",
+   "idle_file": "research/gauge44-ends7-t16/RESULT.json",
+   "idle_json_path": "/idle_remainder_profile",
+   "kappa": "6691209629869/4000000000000000",
+   "kappa_decimal": "0.00167280240746725",
+   "live": 14336,
+   "live_calls_source": "/complete_invocations plus live = 896*calls/9",
+   "pr": 1172,
+   "profile": {
+    "1": 348662,
+    "2": 62208,
+    "3": 61369,
+    "4": 20448,
+    "5": 11808,
+    "7": 51,
+    "8": 1152,
+    "10": 1,
+    "32": 6,
+    "48": 4867
+   },
+   "profile_blob": "e0c59e1349df1de6e010070a8c4cda6fbe11080f",
+   "profile_file": "research/gauge44-ends7-t16/RESULT.json",
+   "profile_json_path": "/complex_profile",
+   "title": "research/gauge44-ends7-t16: cross-replica exchange extinguishing remainders 5 and 6 (kappa = 0.001672802407467250)",
+   "title_kappa": "0.001672802407467250"
+  },
+  {
+   "calls": 72,
+   "census_head": "a15379c47388e177c3f3e8cb2cadcd2e5d7c9800",
+   "complex_lower": "1676890737967805674397/1000000000000000000000000",
+   "complex_lower_source": "README prose (complex lower endpoint 0.001676890737967805674397)",
+   "extraction": "README prose: 'Global profile' and 'Idle remainder' sentences",
+   "head": "76b9f99e177ecdea82877a092dc21e767035d3a2",
+   "head_moved_since_census": true,
+   "idle": {
+    "1": 1214,
+    "2": 1,
+    "32": 1,
+    "48": 2443
+   },
+   "idle_blob": "cbc873916ba4e83e341d91f687c30ebca547969d",
+   "idle_file": "research/gauge44-slots-arcflow/README.md",
+   "idle_json_path": "README prose",
+   "kappa_decimal": "0.001674083482880778",
+   "live": 7168,
+   "live_calls_source": "README prose ('72-call schedule', live 7168)",
+   "pr": 1175,
+   "profile": {
+    "1": 174878,
+    "2": 30097,
+    "3": 31104,
+    "4": 10224,
+    "5": 5904,
+    "8": 576,
+    "32": 1,
+    "48": 2443
+   },
+   "profile_blob": "cbc873916ba4e83e341d91f687c30ebca547969d",
+   "profile_file": "research/gauge44-slots-arcflow/README.md",
+   "profile_json_path": "README prose",
+   "title": "Conditional kappa 0.001675338871723469: whole-owner map at the packin\u2026",
+   "title_kappa": "0.001675338871723469"
+  },
+  {
+   "calls": 144,
+   "census_head": "3a0d419341879a395d921693112c3b826de93677",
+   "complex_lower": "839017802776694489319/500000000000000000000000",
+   "head": "3a0d419341879a395d921693112c3b826de93677",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 4,
+    "24": 1,
+    "48": 4918
+   },
+   "idle_blob": "3ecc54b19922d195c1164cec8515a4cdb531e3f7",
+   "idle_file": "research/crosscall-kernel-demotion/expected/OWNER-AUDIT.json",
+   "idle_json_path": "/idle_profile",
+   "kappa": "1675224519162937/1000000000000000000",
+   "kappa_decimal": "0.001675224519162937",
+   "live": 14336,
+   "live_calls_source": "live plus calls = live*9/896 (896/9 families per call)",
+   "pr": 1176,
+   "profile": {
+    "1": 340860,
+    "2": 71848,
+    "3": 59684,
+    "4": 18364,
+    "5": 11808,
+    "8": 1152,
+    "24": 1,
+    "48": 4918
+   },
+   "profile_blob": "c0c8ac51d5283785015ccfdf7607cd3e797fc809",
+   "profile_file": "research/crosscall-kernel-demotion/expected/EXACT-PRICE.json",
+   "profile_json_path": "/profile",
+   "title": "Add files via uplConditional kappa = 0.001675224519162937: cross-call gap augmentation for three extra kernel islandsoad",
+   "title_kappa": "0.001675224519162937"
+  },
+  {
+   "calls": 333,
+   "census_head": "9e7ccda21f28f5dd0397aa04a596e4f0e1d75d1d",
+   "complex_lower": "839207769508424917257/500000000000000000000000",
+   "head": "9e7ccda21f28f5dd0397aa04a596e4f0e1d75d1d",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 558,
+    "48": 11374
+   },
+   "idle_blob": "d74e50dc0d384585a8518ea1d693e4717b86465d",
+   "idle_file": "research/mixed-t37-entrances/SPEC.json",
+   "idle_json_path": "/expected/idle_remainder_profile",
+   "kappa": "837801590300651/500000000000000000",
+   "kappa_decimal": "0.001675603180601302",
+   "live": 33152,
+   "live_calls_source": "expected/live plus calls = live*9/896 (896/9 families per call)",
+   "pr": 1183,
+   "profile": {
+    "1": 787218,
+    "2": 166386,
+    "3": 137472,
+    "4": 43014,
+    "5": 27306,
+    "8": 2664,
+    "48": 11374
+   },
+   "profile_blob": "d74e50dc0d384585a8518ea1d693e4717b86465d",
+   "profile_file": "research/mixed-t37-entrances/SPEC.json",
+   "profile_json_path": "/expected/global_profile",
+   "title": "Conditional kappa 0.001675603180601302: mixed entrance providers on T37 owners",
+   "title_kappa": "0.001675603180601302"
+  },
+  {
+   "calls": 333,
+   "census_head": "970793428d346b4aa8d8fa2af03aa6dd5ad6f994",
+   "complex_lower": "839241640276744993203/500000000000000000000000",
+   "head": "970793428d346b4aa8d8fa2af03aa6dd5ad6f994",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 18,
+    "48": 11374
+   },
+   "idle_blob": "272f4b3e7e3d6e202973559cb3eaccc22668ee3e",
+   "idle_file": "research/crosscall-t37-entrances/SPEC.json",
+   "idle_json_path": "/expected/idle_remainder_profile",
+   "kappa": "837835347653851/500000000000000000",
+   "kappa_decimal": "0.001675670695307702",
+   "live": 33152,
+   "live_calls_source": "expected/live plus calls = live*9/896 (896/9 families per call)",
+   "pr": 1192,
+   "profile": {
+    "1": 785598,
+    "2": 167466,
+    "3": 138012,
+    "4": 42474,
+    "5": 27306,
+    "8": 2664,
+    "48": 11374
+   },
+   "profile_blob": "272f4b3e7e3d6e202973559cb3eaccc22668ee3e",
+   "profile_file": "research/crosscall-t37-entrances/SPEC.json",
+   "profile_json_path": "/expected/global_profile",
+   "title": "Conditional kappa 0.001675670695307702: cross-call T37 entrance augmentation",
+   "title_kappa": "0.001675670695307702"
+  },
+  {
+   "calls": 333,
+   "census_head": "86a7072626d9b3e49222378bb76601a11d2f58ea",
+   "complex_lower": "1678580674238203838417/1000000000000000000000000",
+   "head": "86a7072626d9b3e49222378bb76601a11d2f58ea",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 18,
+    "48": 11374
+   },
+   "idle_blob": "3a4342dc4a89912277dd8ccd89cc55ba1f01e23c",
+   "idle_file": "research/mixed-t37-source-holder-fusions/SPEC.json",
+   "idle_json_path": "/expected/idle_remainder_profile",
+   "kappa": "327298391183/195312500000000",
+   "kappa_decimal": "0.00167576776285696",
+   "live": 33152,
+   "live_calls_source": "expected/live plus calls = live*9/896 (896/9 families per call)",
+   "pr": 1201,
+   "profile": {
+    "1": 783600,
+    "2": 169464,
+    "3": 136680,
+    "4": 43806,
+    "5": 26640,
+    "8": 2664,
+    "48": 11374
+   },
+   "profile_blob": "3a4342dc4a89912277dd8ccd89cc55ba1f01e23c",
+   "profile_file": "research/mixed-t37-source-holder-fusions/SPEC.json",
+   "profile_json_path": "/expected/global_profile",
+   "title": "Conditional kappa 0.00167576776285696: mixed T37 source-holder fusions",
+   "title_kappa": "0.00167576776285696"
+  },
+  {
+   "calls": 333,
+   "census_head": "d53f23eafc378a6e680294081d09886597129733",
+   "complex_lower": "41965518204112936373/25000000000000000000000",
+   "head": "d53f23eafc378a6e680294081d09886597129733",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 18,
+    "48": 11374
+   },
+   "idle_blob": "cc4cc9b75fc2b11ca664bdc8a0b0bdaf7349678f",
+   "idle_file": "research/x54-mixed-t37-fusions/SPEC.json",
+   "idle_json_path": "/expected/idle_remainder_profile",
+   "kappa": "418951920663/250000000000000",
+   "kappa_decimal": "0.001675807682652",
+   "live": 33152,
+   "live_calls_source": "expected/live plus calls = live*9/896 (896/9 families per call)",
+   "pr": 1207,
+   "profile": {
+    "1": 783600,
+    "2": 169464,
+    "3": 137346,
+    "4": 42474,
+    "5": 27306,
+    "8": 2664,
+    "48": 11374
+   },
+   "profile_blob": "cc4cc9b75fc2b11ca664bdc8a0b0bdaf7349678f",
+   "profile_file": "research/x54-mixed-t37-fusions/SPEC.json",
+   "profile_json_path": "/expected/global_profile",
+   "title": "Conditional kappa 0.001675807682652: X54 on mixed T37 fusion providers",
+   "title_kappa": "0.001675807682652"
+  },
+  {
+   "calls": 333,
+   "census_head": "0aa147977ad226f9d777d6a21a610ab037985b1e",
+   "complex_lower": "839311367867996118499/500000000000000000000000",
+   "head": "0aa147977ad226f9d777d6a21a610ab037985b1e",
+   "head_moved_since_census": false,
+   "idle": {
+    "1": 2,
+    "48": 11374
+   },
+   "idle_blob": "52410312a97b500d7f5589628310393bccb53e4a",
+   "idle_file": "research/global-mixed-x54-fusions/SPEC.json",
+   "idle_json_path": "/expected/idle_remainder_profile",
+   "kappa": "1675809683500501/1000000000000000000",
+   "kappa_decimal": "0.001675809683500501",
+   "live": 33152,
+   "live_calls_source": "expected/live plus calls = live*9/896 (896/9 families per call)",
+   "pr": 1218,
+   "profile": {
+    "1": 783552,
+    "2": 169496,
+    "3": 137362,
+    "4": 42458,
+    "5": 27306,
+    "8": 2664,
+    "48": 11374
+   },
+   "profile_blob": "52410312a97b500d7f5589628310393bccb53e4a",
+   "profile_file": "research/global-mixed-x54-fusions/SPEC.json",
+   "profile_json_path": "/expected/global_profile",
+   "title": "Conditional kappa 0.001675809683500501: global mixed allocation with X54 and fusions",
+   "title_kappa": "0.001675809683500501"
+  }
+ ],
+ "domain": "the sixteen claims listed under Not covered in research/complex-queue-ceiling-census/SNAPSHOT.json",
+ "extraction": "Four screening inputs per claim: global paid profile, idle remainder histogram, live stock W, call count N. Field aliases accepted: complex_profile|global_profile|profile; idle_remainder_profile|idle_profile|idle; complete_invocations for calls; live or the 896/9 rule. #1175 is extracted from its README prose. Blobs are pinned by PR head and Git blob sha1.",
+ "snapshot_utc": "2026-10-14T05:10:00Z"
+}
diff --git a/research/complex-queue-ceiling-uncovered/SOURCES.json b/research/complex-queue-ceiling-uncovered/SOURCES.json
new file mode 100644
index 0000000000..fd6f34f026
--- /dev/null
+++ b/research/complex-queue-ceiling-uncovered/SOURCES.json
@@ -0,0 +1,36 @@
+{
+  "schema_version": 1,
+  "base_commit": "0a201997097b8a89b638f3a2afcb35db4184c8b2",
+  "files": [
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "git_blob": "06c96f5579bb67ed1b86d334e78fbed7da6945f1",
+      "sha256": "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075",
+      "usage": "input"
+    },
+    {
+      "path": "research/complex-local-word-ceiling/ceiling.py",
+      "git_blob": "6c0f54527d879396f689523bfde19928a9b6157c",
+      "sha256": "86a1432870b3b21d8454106ec9162fddc0471472d9214c590a1420f2426cedfc",
+      "usage": "input"
+    },
+    {
+      "path": "research/complex-queue-ceiling-census/SNAPSHOT.json",
+      "git_blob": "fe91d71c2a1140b236d440956c3626a36e7e1160",
+      "sha256": "b56518da8b94554560c9643a7bca97075622dd8beb0996e75e7b8036cc0b4875",
+      "usage": "input"
+    },
+    {
+      "path": "research/complex-queue-ceiling-census/RESULT.json",
+      "git_blob": "756f36f8503eb472a64f39ff132a2c4210238f8a",
+      "sha256": "c4654c57268ab81e92b8c8d0e00f3f8c8a29a201eafd3e76eea9db78ca8a1135",
+      "usage": "input"
+    },
+    {
+      "path": "certificates/selected-result.json",
+      "git_blob": "ae6a99f28aa468649eb66a361e764d769363bf11",
+      "sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32",
+      "usage": "input"
+    }
+  ]
+}
diff --git a/research/complex-queue-ceiling-uncovered/TASK-CARD.md b/research/complex-queue-ceiling-uncovered/TASK-CARD.md
new file mode 100644
index 0000000000..86c770d2ce
--- /dev/null
+++ b/research/complex-queue-ceiling-uncovered/TASK-CARD.md
@@ -0,0 +1,61 @@
+# Local task card (autoresearch.md section 3)
+
+Task ID / proposed scope key: `complex-new-helper-inventory`, scope key
+`5868e5281a1e63d41a22` (chooser track `complex-mechanisms`, OS-random nonce
+`03cd0e6ed50226c5f8024d8ad5618d79`), refined to the queue-ceiling census's
+uncovered claims.
+
+Base commit; exact predecessor and dependency heads: base `0a201997097b8a89b638f3a2afcb35db4184c8b2`
+(origin/main at session start). Predecessors: https://github.com/CrocSwap/integer-mult-bounds/pull/1240
+(ceiling model, merged) and https://github.com/CrocSwap/integer-mult-bounds/pull/1264
+(`research/complex-queue-ceiling-census`, its "Not covered" list is the domain).
+
+Concrete object and question: the sixteen open complex kappa claims the census
+listed as not covered (CrocSwap/integer-mult-bounds#1104, CrocSwap/integer-mult-bounds#1107, CrocSwap/integer-mult-bounds#1111, CrocSwap/integer-mult-bounds#1117, CrocSwap/integer-mult-bounds#1121, CrocSwap/integer-mult-bounds#1150, CrocSwap/integer-mult-bounds#1154, CrocSwap/integer-mult-bounds#1169,
+CrocSwap/integer-mult-bounds#1172, CrocSwap/integer-mult-bounds#1175, CrocSwap/integer-mult-bounds#1176, CrocSwap/integer-mult-bounds#1183, CrocSwap/integer-mult-bounds#1192, CrocSwap/integer-mult-bounds#1201, CrocSwap/integer-mult-bounds#1207, CrocSwap/integer-mult-bounds#1218). For each, at its current
+head: can the four screening inputs (paid per-call profile matching the title
+kappa, idle histogram, live stock W, call count N) be extracted directly, or
+bound to a known word through an exact companion-PR identity, and screened with
+CrocSwap/integer-mult-bounds#1240's exact relaxation? For each still-unscreenable claim, what exact fields
+are missing?
+
+Scope status: refined. Reason: this is the card's "write the candidate per-call
+profile and screen it with ceiling.ceiling(); reject routes without headroom"
+first experiment, applied to the queue claims the census could not cover. It
+implements the second follow-up of the CrocSwap/integer-mult-bounds#1166 handoff ("add
+`local_profile_per_call` and `idle_histogram` to the uncovered claims' result
+JSON so they can be screened") from the reader side; claim authors still own
+their JSON fields.
+
+Existing restriction being changed (or exact claim being audited): the census's
+coverage condition, i.e. that a claim is screenable only when profile, idle
+histogram and live/call counts are recorded together in one package.
+
+Method; explicit parameter ranges/candidate alphabet: standard-library-only
+extraction over each pinned PR head's package files (result JSONs, READMEs,
+certificates), quoted exactly; screening via
+`research/complex-local-word-ceiling/ceiling.py` at the unchanged model
+parameters `ceiling(local, 73, 896, 9, 64)`; fixed domain = exactly those 16 PR
+numbers at the heads pinned in the package snapshot.
+
+Nearest overlapping PRs and why this adds something:
+- https://github.com/CrocSwap/integer-mult-bounds/pull/1264 screens 14 of 30 claims and lists these 16 as not covered; this fills that list or records why each entry cannot yet be filled.
+- https://github.com/CrocSwap/integer-mult-bounds/pull/1262 adds `local_profile_per_call` / `idle_histogram` fields to its own receipt; this is the consuming reader those fields were requested for.
+- philippeVV's fork-only `k8-inventory-screens` screens leaver-line words (CrocSwap/integer-mult-bounds#1148/#1005 lineage); it does not cover these 16 claims.
+Overlap searches for `local_profile_per_call`, `idle_histogram`, `uncovered`, `queue ceiling`, `screened`, `CrocSwap/integer-mult-bounds#1104`, `CrocSwap/integer-mult-bounds#1169`, `CrocSwap/integer-mult-bounds#1218`, `not covered` found no competing screening of the 16 (find_overlap.py, complete pagination, 723 open PRs / 268 discussion records, 2026-10-14T04:29Z).
+
+Optimistic full cost budget; required observable improvement: review aid, no
+kappa claim and no accepted/rejected claim. Observable: a per-claim verdict
+table (screened word + cap, or exact missing fields), with at least one newly
+screened word or an exact data-gap record for every one of the 16.
+
+Success evidence; falsification test; time/compute cap: `verify.py` rebuilds the
+verdict table from pinned blob bytes and rejects mutated snapshot rows (wrong
+cap, dropped claim, forged profile match); compute under 2 minutes; one bounded
+pivot maximum.
+
+Predecessor authors; intended artifact and reproduction command: Douglas
+Colkitt (CrocSwap/integer-mult-bounds#1240, CrocSwap/integer-mult-bounds#1264); the individual claim authors (tomdif, rohanarun,
+jeremykothe2, Jeremy Diviney, and others as cited per claim). Artifact:
+`research/complex-queue-ceiling-uncovered/`. Reproduce:
+`python3 -I -B research/complex-queue-ceiling-uncovered/verify.py`.
diff --git a/research/complex-queue-ceiling-uncovered/TASK.json b/research/complex-queue-ceiling-uncovered/TASK.json
new file mode 100644
index 0000000000..53a0f7332c
--- /dev/null
+++ b/research/complex-queue-ceiling-uncovered/TASK.json
@@ -0,0 +1,68 @@
+{
+  "schema_version": 1,
+  "task_id": "complex-new-helper-inventory",
+  "priority_revision": 3,
+  "base_commit": "0a201997097b8a89b638f3a2afcb35db4184c8b2",
+  "original_card": {
+    "id": "complex-new-helper-inventory",
+    "question": "Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?",
+    "starting_points": [
+      "research/complex-local-word-ceiling/README.md",
+      "research/heterogeneous-owner-assembly/README.md",
+      "certificates/selected-result.json"
+    ],
+    "methods": [
+      "Propose a changed helper inventory and derive an optimistic exact moment.",
+      "Design a small completed instance and independently verify its endpoint and rank bill."
+    ],
+    "acceptance_gate": "A new physically realizable contract outside the frozen catalogue whose per-call profile, screened with ceiling.ceiling(), beats the selected word's packing ceiling; a lower cap does not establish identical circuitry or order attainable optima, and is insufficient to pass the stronger-budget target under this model.",
+    "first_step": {
+      "command": [
+        "python3",
+        "-B",
+        "research/complex-local-word-ceiling/verify.py"
+      ],
+      "expected": "PASS_COMPLEX_LOCAL_WORD_CEILING",
+      "inspect": "Read the selected word's per-call local profile, its packing ceiling and the lever table; run levers.py for the ideal budget of the lever you target.",
+      "scope": "Positive control and planning budget only; this is not a new construction or full cold replay."
+    },
+    "first_experiment": "Before any synthesis, write the candidate per-call local profile (and centre charge / unpaid coordinates if changed) and screen it with ceiling.ceiling(); reject it if even the ideal ceiling does not beat the selected word's by your stated margin.",
+    "bottleneck_link": "Packing of the selected word is capped at +0.87% (ceiling model); only a lower local excess spend or a changed coverage law raises the cap.",
+    "allowed_variations": [
+      "Narrow to one changed boundary or helper type with explicit counts.",
+      "If the coverage law, template or guard changes, derive an applicable fully charged replacement bound instead of applying the incumbent ceiling outside its scope."
+    ],
+    "scope_change_triggers": [
+      "Mixing only providers already inside the pinned catalogue."
+    ],
+    "overlap_terms": [
+      "helper inventory",
+      "heterogeneous-owner",
+      "mutable leaver"
+    ]
+  },
+  "scope_status": "refined",
+  "actual_scope": "Screen the sixteen open complex kappa claims the queue-ceiling census listed as not covered (CrocSwap/integer-mult-bounds#1104, CrocSwap/integer-mult-bounds#1107, CrocSwap/integer-mult-bounds#1111, CrocSwap/integer-mult-bounds#1117, CrocSwap/integer-mult-bounds#1121, CrocSwap/integer-mult-bounds#1150, CrocSwap/integer-mult-bounds#1154, CrocSwap/integer-mult-bounds#1169, CrocSwap/integer-mult-bounds#1172, CrocSwap/integer-mult-bounds#1175, CrocSwap/integer-mult-bounds#1176, CrocSwap/integer-mult-bounds#1183, CrocSwap/integer-mult-bounds#1192, CrocSwap/integer-mult-bounds#1201, CrocSwap/integer-mult-bounds#1207, CrocSwap/integer-mult-bounds#1218) at their pinned heads, using CrocSwap/integer-mult-bounds#1240's exact relaxation on the per-call local words their packages record.",
+  "scope_change_reason": "This is the card's 'screen the candidate per-call profile with ceiling.ceiling(); reject routes without headroom' first experiment, applied to the queue claims the census could not cover. It is the second follow-up of the census handoff in discussion 1166, from the reader side; no new inventory is synthesized and no claim is accepted or rejected.",
+  "bottleneck_link": "The complex side binds. Only a lower local excess spend or a changed coverage law raises a cap; this completes the queue-wide screen (30 of 30 census-listed claims) and shows whether any newly screened word raises the cap.",
+  "budget_minutes": 60,
+  "stop_rule": "Screen only what each claim's own package records (documented field aliases and the 896/9 live/calls rule); flag rather than infer anything absent; one bounded pivot maximum.",
+  "outcome": "completed",
+  "evidence": "RESULT.json: all 16 claims screened (11 distinct local words, 7 new against the census's nine); maximum kappa cap 0.0016872744 (word N1 = census W4), below the census's best cap 0.0016873148; no newly screened word raises the cap; CrocSwap/integer-mult-bounds#1175 is the selected word W2 with a new idle packing; CrocSwap/integer-mult-bounds#1175's PR title kappa differs from its recorded kappa.",
+  "author": "Aaron Wang / navinor",
+  "ai_assistance": "Substantial: with help from opencode (task selection, extraction, verify.py and this package).",
+  "open_questions": [
+    {
+      "question": "Which proposal raises a cap rather than packing toward it?",
+      "why_it_matters": "Only a lower local excess spend or a changed coverage law can move kappa beyond the +0.87% band; the whole census-listed queue is now screened inside it.",
+      "first_step": "Screen each new proposal's per-call profile with ceiling.ceiling() before a full replay, as this package does for the queue.",
+      "blocked_by": "Nothing."
+    },
+    {
+      "question": "Should the uncovered claims record local_profile_per_call and idle_histogram in their result JSONs?",
+      "why_it_matters": "This package had to reach those inputs through field aliases (global_profile, idle_profile, complete_invocations) and, for CrocSwap/integer-mult-bounds#1175, README prose; CrocSwap/integer-mult-bounds#1175's title and recorded kappa also disagree. Structured fields would make the screen mechanical.",
+      "first_step": "Add the two fields plus live/calls to each claim's result JSON, or adopt the census's field names; then rerun research/complex-queue-ceiling-census/rebind.py style checks.",
+      "blocked_by": "The claim authors own their package files; this is a reader-side request only."
+    }
+  ]
+}
diff --git a/research/complex-queue-ceiling-uncovered/VERIFY.json b/research/complex-queue-ceiling-uncovered/VERIFY.json
new file mode 100644
index 0000000000..fd7df975e9
--- /dev/null
+++ b/research/complex-queue-ceiling-uncovered/VERIFY.json
@@ -0,0 +1,26 @@
+{
+  "schema_version": 1,
+  "status": "ready",
+  "python": "3.12",
+  "requirements": [],
+  "commands": [
+    {
+      "argv": [
+        "{python}",
+        "-I",
+        "-B",
+        "research/complex-queue-ceiling-uncovered/verify.py"
+      ],
+      "checks": "Rebuild the per-claim screening from SNAPSHOT.json: coverage law, idle split, 896/9 live families per call, per-word packing ceiling, endpoint below its word's relaxation, kappa below its cap, exact title/record kappa agreement (with #1175's recorded mismatch pinned), byte-identical RESULT.json, and five rejection controls.",
+      "timeout_seconds": 120
+    }
+  ],
+  "inputs": [
+    "docs/research/agent-task-catalog.json",
+    "research/complex-local-word-ceiling/ceiling.py",
+    "research/complex-queue-ceiling-census/SNAPSHOT.json",
+    "research/complex-queue-ceiling-census/RESULT.json",
+    "certificates/selected-result.json",
+    "research/complex-queue-ceiling-uncovered/SNAPSHOT.json"
+  ]
+}
diff --git a/research/complex-queue-ceiling-uncovered/rebind.py b/research/complex-queue-ceiling-uncovered/rebind.py
new file mode 100644
index 0000000000..716d1e7128
--- /dev/null
+++ b/research/complex-queue-ceiling-uncovered/rebind.py
@@ -0,0 +1,68 @@
+#!/usr/bin/env python3
+"""Re-check SNAPSHOT.json against the pinned PR heads (needs network once).
+
+usage: rebind.py [--fetch]
+--fetch runs `git fetch origin pull/N/head` for every screened PR. Then, for each claim, the
+pinned blob must exist at its head and path, and the recorded profile, idle histogram, kappa and
+complex_lower must be read back from those blobs (for #1175 the README prose sentences must
+contain the recorded histograms).
+Aaron Wang / navinor, with help from opencode. Apache-2.0.
+"""
+import json
+import re
+import subprocess
+import sys
+from pathlib import Path
+
+HERE = Path(__file__).resolve().parent
+
+
+def git(*a):
+    r = subprocess.run(['git', *a], capture_output=True)
+    if r.returncode:
+        sys.exit(f'FAIL: git {" ".join(a)}: {r.stderr.decode()}')
+    return r.stdout
+
+
+def load(head, path, blob):
+    if git('rev-parse', f'{head}:{path}').decode().strip() != blob:
+        sys.exit(f'FAIL: blob changed for {head}:{path}')
+    raw = git('cat-file', 'blob', blob)
+    return raw.decode('utf-8')
+
+
+def at(obj, path):
+    for k in [p for p in path.split('/') if p]:
+        obj = obj[k]
+    return obj
+
+
+def main():
+    snap = json.loads((HERE / 'SNAPSHOT.json').read_text())
+    for c in snap['claims']:
+        if '--fetch' in sys.argv:
+            git('fetch', '-q', 'origin', f"pull/{c['pr']}/head")
+        text = load(c['head'], c['profile_file'], c['profile_blob'])
+        if c['profile_json_path'] == 'README prose':
+            gp = re.search(r"Global profile `\{([^}]*)\}`", text)
+            ip = re.search(r"[Ii]dle remainder\**\s*`\{([^}]*)\}`", text)
+            parse = lambda s: {int(a): int(b) for a, b in re.findall(r"(\d+):(\d+)", s)}
+            assert gp and parse(gp.group(1)) == {int(k): v for k, v in c['profile'].items()}, c['pr']
+            assert ip and parse(ip.group(1)) == {int(k): v for k, v in c['idle'].items()}, c['pr']
+        else:
+            obj = json.loads(text)
+            got = {int(k): int(v) for k, v in at(obj, c['profile_json_path']).items()}
+            assert got == {int(k): v for k, v in c['profile'].items()}, c['pr']
+            if c['idle_file'] == c['profile_file']:
+                got = {int(k): int(v) for k, v in at(obj, c['idle_json_path']).items()}
+                assert got == {int(k): v for k, v in c['idle'].items()}, c['pr']
+        if c['idle_file'] != c['profile_file']:
+            iobj = json.loads(load(c['head'], c['idle_file'], c['idle_blob']))
+            got = {int(k): int(v) for k, v in at(iobj, c['idle_json_path']).items()}
+            assert got == {int(k): v for k, v in c['idle'].items()}, c['pr']
+        print(f"#{c['pr']} ok")
+    print('PASS_SNAPSHOT_REBOUND_UNCOVERED', len(snap['claims']))
+
+
+if __name__ == '__main__':
+    main()
diff --git a/research/complex-queue-ceiling-uncovered/verify.py b/research/complex-queue-ceiling-uncovered/verify.py
new file mode 100644
index 0000000000..ba1dfd9e68
--- /dev/null
+++ b/research/complex-queue-ceiling-uncovered/verify.py
@@ -0,0 +1,173 @@
+#!/usr/bin/env python3
+"""Packing ceilings for the sixteen queue claims the census listed as not covered (SNAPSHOT.json).
+
+For every recorded claim: check the coverage law mass = 72*live + 64*calls, split its global
+profile into local word + idle remainder with the documented field aliases, certify the word's
+packing ceiling with ../complex-local-word-ceiling (#1240), and check the claim's own recorded
+endpoint lies below it. Writes or checks RESULT.json. Five mutation controls run at the end.
+
+usage: verify.py [--write]
+Aaron Wang / navinor, with help from opencode. Apache-2.0.
+"""
+import json
+import sys
+from fractions import Fraction as Q
+from pathlib import Path
+
+HERE = Path(__file__).resolve().parent
+ROOT = HERE.parents[1]
+sys.path.insert(0, str(HERE.parent / 'complex-local-word-ceiling'))
+import ceiling as C  # noqa: E402
+
+M, CENTRE = 73, 64
+SELECTED_WORD = {1: 2412, 2: 418, 3: 432, 4: 142, 5: 82, 8: 8}    # research/complex-local-word-ceiling
+TITLE_MISMATCH = {1175: ('0.001675338871723469', '0.001674083482880778')}
+
+
+def dec(x, digits=17):
+    return f'{float(x):.{digits}g}'
+
+
+def split(profile, idle, W, N, tag):
+    P = {int(r): int(n) for r, n in profile.items()}
+    I = {int(r): int(n) for r, n in idle.items()}
+    C.require(sum(r * n for r, n in P.items()) == (M - 1) * W + CENTRE * N, f'{tag} coverage law')
+    C.require(all(I[r] <= P.get(r, 0) for r in I) and max(I) <= C.max_idle_rank(M), f'{tag} idle split')
+    C.require(Q(W, N) == Q(896, 9), f'{tag} families per call differ from 896/9')
+    local = {r: Q(P[r] - I.get(r, 0), N) for r in P if P[r] - I.get(r, 0)}
+    C.require(all(v >= 0 for v in local.values()), f'{tag} idle exceeds profile')
+    return local
+
+
+def local_key(local):
+    return json.dumps(sorted((r, str(v)) for r, v in local.items()))
+
+
+def compute(snap, census):
+    words, rows = {}, []
+    census_words = {}
+    for c in census['claims']:
+        local = split(c['profile'], c['idle'], c['live'], c['calls'], f"census #{c['pr']}")
+        census_words.setdefault(local_key(local), []).append(c['pr'])
+    known = {}
+    result = json.loads((HERE.parent / 'complex-queue-ceiling-census' / 'RESULT.json').read_text())
+    for w in result['words']:
+        local = {int(r): Q(v) for r, v in w['local_profile_per_call'].items()}
+        known[local_key(local)] = w['id']
+    for c in snap['claims']:
+        tag = f"#{c['pr']}"
+        local = split(c['profile'], c['idle'], c['live'], c['calls'], tag)
+        k = local_key(local)
+        if k not in words:
+            lo, hi = C.ceiling(local, M, c['live'], c['calls'], CENTRE)
+            words[k] = dict(id=f'N{len(words) + 1}', local=local, a_lo=lo, a_hi=hi, claims=[])
+        w = words[k]
+        endpoint = Q(c['complex_lower'])
+        C.require(endpoint < w['a_lo'], f'{tag} endpoint not below its word\'s relaxation')
+        cap = w['a_hi'] / (1 + w['a_hi'])
+        kap = Q(c['kappa_decimal'])
+        C.require(kap < cap, f'{tag} kappa above its ceiling')
+        if c['pr'] in TITLE_MISMATCH:
+            want = TITLE_MISMATCH[c['pr']]
+            C.require((c['title_kappa'], c['kappa_decimal']) == want, f'{tag} recorded title mismatch changed')
+        else:
+            C.require(Q(c['kappa_decimal']) == Q(c['title_kappa']), f'{tag} recorded kappa differs from title kappa')
+        w['claims'].append(c['pr'])
+        rows.append(dict(pr=c['pr'], head=c['head'], census_head=c['census_head'],
+                         head_moved_since_census=c['head_moved_since_census'],
+                         word=w['id'], title_kappa=c['title_kappa'], kappa=c['kappa_decimal'],
+                         complex_lower=c['complex_lower'], live=c['live'], calls=c['calls'],
+                         kappa_cap=dec(cap), remaining_packing_headroom_percent=dec(100 * (cap / kap - 1), 4),
+                         title_record_mismatch=(c['pr'] in TITLE_MISMATCH),
+                         extraction=c.get('extraction', 'JSON fields (see SNAPSHOT.json paths)'),
+                         profile_file=c['profile_file'], idle_file=c['idle_file']))
+    sel_key = local_key({r: Q(v) for r, v in SELECTED_WORD.items()})
+    sel_cap = None
+    for k, w in words.items():
+        w['kappa_cap'] = w['a_hi'] / (1 + w['a_hi'])
+        w['selected_word'] = (k == sel_key)
+        if w['selected_word']:
+            sel_cap = w['kappa_cap']
+    C.require(sel_cap is not None, 'selected local word not among the screened words')
+    out_words = []
+    for w in sorted(words.values(), key=lambda w: -w['a_hi']):
+        out_words.append(dict(id=w['id'], selected_word=w['selected_word'],
+                              known_census_word=known.get(local_key(w['local'])),
+                              local_profile_per_call={str(r): str(v) for r, v in sorted(w['local'].items())},
+                              local_mass_per_call=str(sum(r * v for r, v in w['local'].items())),
+                              a_ceiling=str(w['a_hi']), kappa_cap=dec(w['kappa_cap']),
+                              cap_vs_selected_word_percent=dec(100 * (w['kappa_cap'] / sel_cap - 1), 4),
+                              claims=sorted(w['claims'])))
+    best = max(words.values(), key=lambda w: w['a_hi'])
+    out = dict(status='PASS_COMPLEX_QUEUE_CEILING_UNCOVERED',
+               base_commit=snap['base_commit'],
+               claims_screened=len(rows),
+               claims_screened_prs=sorted(r['pr'] for r in rows),
+               distinct_local_words=len(words),
+               new_words_vs_census=sum(1 for w in out_words if not w['known_census_word']),
+               max_kappa_cap=dec(best['a_hi'] / (1 + best['a_hi'])),
+               max_kappa_cap_word=best['id'],
+               selected_kappa=json.loads((ROOT / 'certificates/selected-result.json').read_text())['decimal'],
+               title_record_mismatches=[dict(pr=pr, title_kappa=v[0], recorded_kappa=v[1]) for pr, v in sorted(TITLE_MISMATCH.items())],
+               words=out_words, claims=sorted(rows, key=lambda r: r['pr']),
+               scope="Each cap bounds hosting, owner and idle repacking of that claim's own recorded local word under "
+                     "the coverage law, 896/9 live families per call and the halving guard. It does not bound changed "
+                     "words, templates or outer recipes, does not re-derive any claim's profile from its circuit, and "
+                     "does not review or accept any claim.")
+    return out, words, rows
+
+
+def controls(snap):
+    import copy
+    census = json.loads((HERE.parent / 'complex-queue-ceiling-census' / 'SNAPSHOT.json').read_text())
+    n = 0
+    for mutate, why in [
+        (lambda c: c['profile'].__setitem__('1', c['profile']['1'] + 1), 'coverage law'),
+        (lambda c: c['idle'].__setitem__('1', c['profile']['1'] + 1), 'idle split'),
+        (lambda c: c.update(live=c['live'] + 896), 'families per call'),
+    ]:
+        s = copy.deepcopy(snap)
+        mutate(s['claims'][0])
+        try:
+            compute(s, census)
+        except ValueError:
+            n += 1
+        else:
+            raise ValueError('control not rejected: ' + why)
+    for mutate, why in [
+        (lambda c: c.update(complex_lower='2'), 'endpoint above relaxation'),
+        (lambda c: c.update(title_kappa='0.5'), 'title mismatch'),
+    ]:
+        s = copy.deepcopy(snap)
+        row = next(c for c in s['claims'] if c['pr'] != 1175)
+        mutate(row)
+        try:
+            compute(s, census)
+        except ValueError:
+            n += 1
+        else:
+            raise ValueError('control not rejected: ' + why)
+    return n
+
+
+def main():
+    snap = json.loads((HERE / 'SNAPSHOT.json').read_text())
+    census = json.loads((HERE.parent / 'complex-queue-ceiling-census' / 'SNAPSHOT.json').read_text())
+    out, words, rows = compute(snap, census)
+    text = json.dumps(out, indent=1, sort_keys=True) + '\n'
+    if sys.argv[1:] == ['--write']:
+        (HERE / 'RESULT.json').write_text(text)
+    else:
+        C.require((HERE / 'RESULT.json').read_text() == text, 'RESULT.json differs')
+    n = controls(snap)
+    C.require(n == 5, 'control count')
+    print(out['status'], f"claims={len(rows)} words={len(words)} new={out['new_words_vs_census']} "
+                         f"max_cap={out['max_kappa_cap']} controls={n}")
+
+
+if __name__ == '__main__':
+    try:
+        main()
+    except ValueError as e:
+        print('FAIL:', e)
+        sys.exit(1)