research: QQ16 52-bit interior dynamic-range collapse, backward adjoint ledger, and dyadic grid exactness

research/qq16-interior-dynamic-range-and-adjoint-ledger/CREDITS.md

@@ -0,0 +1,28 @@
+# Credits and Provenance
+
+## Package Authors
+
+- `dcharb78, with AI assistance` — package design, full 712-column algebraic replay (`224` data + `480` dirty helpers + `8` private `C` registers) across all 37 `CONSERVED-QQ16` native invocations (`F_0`, `F_1..F_8`, `B_1_2..B_7_8`), exact backward adjoint error-propagation ledger (`child`, `add`, `scale`, and combined gate gains), common dyadic grid exactness verification (`1/16` in `F`, `1/131072` in `B`), coupling to the `#2965` producer-defect transfer law, and physical recursive bill evaluation under `ceiling.ceiling(...)`.
+
+## Upstream Repository and Baseline Line
+
+- **CrocSwap / `integer-mult-bounds` maintainers and contributors** — repository architecture, `certificates/selected-result.json` baseline (`git_blob: b1fea0c94436b236cc2b7d41a7be032811b94c81`, `sha256: bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129`, $\kappa = 0.001672660197076918$, `T37`/`T16`), `docs/research/agent-task-catalog.json` (`git_blob: 67f085acd86acd7d4e03922d9cf4b26bca66fed5`, `sha256: 47b42433f5a85809a3aadd29c2c339da2c6ed728e4f7762df6b88bccb7874cf0`, `task_id = "joint-query-controller"`, Priority Revision 6, base commit `997e6a9ca7b4f95d50e366f61412fd640d72a88a`), and `docs/research/current-priorities.md` single-move negative controls.
+
+## Direct Predecessors and Pinned Inputs (`SOURCES.json`)
+
+1. **Douglas Colkitt** (`#2697`, `#2707`, `#2736`, `#2932`, `#2959`, `#2965`, all `merged_for_archive_only` / `partially_reviewed`) —
+   - **`research/joint-query/` (`#2697`, `CONSERVED-QQ16`, `merged_for_archive_only` / `partially_reviewed`):** Constructed the native-`F17` conserved-helper producer certificate `research/joint-query/certificate.json.gz` (`git_blob: c6e876d8b48d768214deee265ade428f8983b566`, `sha256: a5ed85fac5ebf3c091482a113ab0d351eb5a7892fe2841a35e16017ec1ff49f7`) and summary `research/joint-query/evidence/CONSERVED-QQ16.json` (`git_blob: 7a155a27dcf7f1ccd48e40d57a2c5d2724016e9b`, `sha256: b91eb8599c403db55c889bb225a1cd93f46fdb83eb339f101d18843d52b1c920`), which reports (author-checked, `merged_for_archive_only` / `partially_reviewed`) the `480`-helper restoration and `8`-private-register zeroing laws with `55`-bit (`F`) and `73`-bit (`B`) triangle-inequality Horner bounds (`5413950274051752469/256` and `573411134169296526275133/64`).
+   - **`research/qq16-line-normalized-decoder/` (`#2707`, `merged_for_archive_only` / `partially_reviewed`):** Constructed the `3,823`-event line-normalized `224`-column `Q_Q16` two-sided decoder (`RESULT.json` `git_blob: ba4167dbf133cff51513bb832802c290edcdffea`, `sha256: 58df4ad68e2ff335ee58fa4336a449d0f73f3366d840574e5e30b50f507c358d`) using `336` rank-1 lines, `464` cover maps, `2,704` scalar adds (`1,808` `unit_ADD`, `896` `quarter_ADD`), and `312` clears.
+   - **`research/complex-local-word-ceiling/` (`#2736`, `#2932`, `#2959`, `merged_for_archive_only` / `partially_reviewed`):** Developed the exact rational interval packing-independent local-word ceiling screen `ceiling.py` (`git_blob: 6c0f54527d879396f689523bfde19928a9b6157c`, `sha256: 86a1432870b3b21d8454106ec9162fddc0471472d9214c590a1420f2426cedfc`) and `RESULT.json` (`git_blob: 77f55043a679dd722330f1e2499863e36376d9f9`, `sha256: d91d6c46509875abf1f61de67c2609656d3dc685451299f83caa6f922493692d`).
+   - **`research/qq16-producer-defect-transfer/` (`#2965`, `merged_for_archive_only` / `partially_reviewed`):** Derived the terminal producer-defect transfer law $\delta_R = D(F_0^{-1}\varepsilon_F + \varepsilon_B)$ (`RESULT.json` `git_blob: abe7e44c1d75edaef4c4407aa57a0f94faa949e6`, `sha256: d3992b63f7e576a52be846497d37f71a03e89d9481f82d1013743db05dc79cba`; `verify.py` `git_blob: 8dd78e9e36acb63451eae88c3c558f7f9afc348a`, `sha256: 1458d3a188a8ec0124e6edd1fdc7d9238c41d7a547fa2c00229763fc698e46c8`) with $\|F_0^{-1}\|_{\infty\to\infty} = 49$, $\|D\|_{\infty\to\infty} = 1923$, and normalized error bound `7587/8192`.
+
+2. **Prior Joint-Query, Decoder, and Frontier Lineage (`#845`–`#2876`)** —
+   - **`#845`, `#1012`, `#1094`, `#1098`, `#1240`:** Established the nine-stage hosted coverage law, the `centre = 64` per-call rank-8 centre tax, the `T37`/`T16` frontier line, and the `F17` Fourier/Hadamard endpoint conventions.
+   - **`#1659`, `#1708`, `#1712`, `#1748`, `#1791`, `#1829`, `#1918`, `#1969`, `#2048`, `#2199`, `#2391`:** Developed the retained recursive controller interfaces, `Q_Q16` (`224`-column) query-bundle reductions (`#1969`, `merged_for_archive_only` / `partially_reviewed`), and dirty-helper restoration templates.
+   - **`#2540`, `#2678`, `#2681` (Wimuks, Douglas Colkitt, and contributors, `merged_for_archive_only` / `partially_reviewed`):** Built the initial `Q_Q16` two-sided decoder words (`#2540` with `224` $H_1$ + `16` $H_8$; `#2678` rank-9 $H_9$ endpoint tariff; `#2681` with `448` $H_8$ removed and `224` $H_1$ added) that `#2707` normalized into `336` rank-1 lines.
+   - **`#2771`, `#2807`, `#2811`, `#2873`, `#2876`:** Investigated complex-local-word ceiling obstructions, `F17` endpoint adapter invoices (`224` $H_9$ lines), and two-call pair scheduling.
+
+3. **External Comparators: Concurrent Open PR Landscape (`#2995`, `#3017`, `#3036`, `#3068`, Not in `SOURCES.json`, Not Used as Input)** —
+   - **External comparator `#2995` and `#3017` (`Wimuks`, not in `SOURCES.json`, not used as input):** Reports (author-checked) forward dyadic rounding of `F_0` on the `224` data columns (`L[0..223]`), reporting `131072` ($2^{17}$) peak data $\ell_1$ norm, `16` max denominator, `132` child gain, `66311/4` scale gain, and the single-event rounding fault at `F_0` event `24,438` (`L[128] += (-1/2)*L[112]`).
+   - **External comparator `#3036` and `#3068` (`Goodhill1`, not in `SOURCES.json`, not used as input):** Reports (author-checked) dirty helper child counts in `F_0` (`2,950` of `3,494` children reading dirty helpers `L[224..703]`) and helper-dirt cancellation sites at events `3,887` and `4,060` (`L[72] += (-1/2)*L[328]`).
+   - **How this package advances beyond external comparators `#2995`, `#3017`, `#3036`, and `#3068` (not in `SOURCES.json`, not used as input):** Whereas those concurrent open PRs audited only `F_0` or forward rounding faults on individual instructions, this package performs the complete **712-column exact algebraic replay (`224` data + `480` dirty helpers + `8` private `C` registers)** across **all 37 native `CONSERVED-QQ16` programs** (`9` `F_s` + `28` `B_{s,t}`), establishes (report, author-checked) the **52-bit interior dynamic range collapse in `B`** (`73 -> 21` bits, peak $\ell_1 = 1154896$) alongside the **37-bit collapse in `F`** (`55 -> 18` bits, peak $\ell_1 = 131072`), constructs the **exact backward adjoint error-propagation ledger** for both `F` and `B` across all `704` outputs (`224` data + `480` restored helpers), establishes **Wrapper-Helper Adjoint Isolation** (`helpers_wrapper_child_gain = 0`), establishes that **common dyadic grid execution (`1/16` in `F`, `1/131072` in `B`) makes all `21,025` (`F`) and `21,401` (`B`) scalar gates exact (`eps_gate = 0`)**—eliminating the rounding faults of external comparators `#2995`/`#3017`/`#3036`/`#3068` and yielding a **`50 + \beta`-bit fixed-point floor**—and screens the physical recursive bill under `ceiling.ceiling(...)`.

research/qq16-interior-dynamic-range-and-adjoint-ledger/MANIFEST.json

@@ -0,0 +1,9 @@
+{
+  "CREDITS.md": "0bd0af3948f191570250a0718b08a05782322511f2cee4b1439d73e595424edb",
+  "README.md": "2d2284bcb33cc437a9d3e03eaf93ca1ebfef4ced52fdb5d727a79970eab3b61b",
+  "RESULT.json": "f24537e48fead1189555d1e9cdbf881aa1c0022c4ed0c033baaf1cf9c131dc29",
+  "SOURCES.json": "930a40461df19290d5865d77569e7781cf314fbbb11bf62e484cc22427f90a01",
+  "TASK.json": "f5c80d67a707537fa033d2306d5c65789d1e44dc1d8deaeefea566fa1fe370bf",
+  "VERIFY.json": "fcc847522bfe8ce1f73fa4cb3d98de143e597b15b0d853cae6a39de6952c1f07",
+  "verify.py": "40238fe46cb6d416f0a277a3d0e531b79222f207f6904d6e3586f590ec1d1b27"
+}