@@ -4266,3 +4266,42 @@ Source archives retain attribution; mathematical review remains open.
 - **CubeJerry (@CubeJerry)** — [#5558](https://github.com/CrocSwap/integer-mult-bounds/pull/5558): Qualify PR5285's h8 family closure with exact coverage (source archive).
 - **DreamingOfClouds (@DreamingOfClouds)** — [#5559](https://github.com/CrocSwap/integer-mult-bounds/pull/5559): Research: partial theorems on the P112 decoder wall (no kappa) (source archive).
 - **Matarener (@Matarener)** — [#5560](https://github.com/CrocSwap/integer-mult-bounds/pull/5560): Prove a global all-field COPY floor 140 for the 56-plane port decoder (no new κ) (source archive).
+
+## Queue intake, 25 October 2026 (chunk D)
+
+Source archives retain attribution; mathematical review remains open.
+
+- **David Ganz (@Dugongue)** — [#5562](https://github.com/CrocSwap/integer-mult-bounds/pull/5562): Compile programmable native stages and coded-thin fusion with exact precision (no new kappa) (source archive).
+- **David Ganz (@Dugongue)** — [#5563](https://github.com/CrocSwap/integer-mult-bounds/pull/5563): Close central-Q endpoints with explicit paid decoders (no kappa gain) (source archive).
+- **David Ganz (@Dugongue)** — [#5564](https://github.com/CrocSwap/integer-mult-bounds/pull/5564): Construct prime-free native tensor grids with exact CRT replay (no new kappa) (source archive).
+- **Pierre-Loic Doulcet (@hexapode)** — [#5565](https://github.com/CrocSwap/integer-mult-bounds/pull/5565): Conditional κ = 0.00308520 (+3.31e-6 over #5580): P104 commuting-contact cascade (source archive).
+- **David Ganz (@Dugongue)** — [#5566](https://github.com/CrocSwap/integer-mult-bounds/pull/5566): Prove faster periodic Gaussian inversion through Beatty-run blocks (source archive).
+- **Matarener (@Matarener)** — [#5567](https://github.com/CrocSwap/integer-mult-bounds/pull/5567): Audit #5561 free helper endpoints against the #5550 P104 endpoint contract (no new κ) (source archive).
+- **DreamingOfClouds (@DreamingOfClouds)** — [#5568](https://github.com/CrocSwap/integer-mult-bounds/pull/5568): Toolkit: exact pricing, legality oracle and free-endpoint retime for P104-family words (no kappa) (source archive).
+- **Joel Pulikkan (@GamingPuzzled)** — [#5569](https://github.com/CrocSwap/integer-mult-bounds/pull/5569): Conditional κ .00308181 (+3.94e-7 over #5561): priced successor hand-off of helper 706 on the P104 word (source archive).
+- **josecarlosgonzalezroque-design (@josecarlosgonzalezroque-design)** — [#5570](https://github.com/CrocSwap/integer-mult-bounds/pull/5570): Independently audit the paid-return approximation and invoice bridge (source archive).
+- **David Ganz (@Dugongue)** — [#5571](https://github.com/CrocSwap/integer-mult-bounds/pull/5571): Extend fine-grid Gaussian inversion and batch coded-boundary queries (source archive).
+- **Matarener (@Matarener)** — [#5572](https://github.com/CrocSwap/integer-mult-bounds/pull/5572): P104: independent native-map inventory, caller and funding audit of PR5551 (no kappa) (source archive).
+- **Chris R (@Clear1nsight)** — [#5573](https://github.com/CrocSwap/integer-mult-bounds/pull/5573): Verify 182 additional P104 native frame maps (no new κ) (source archive).
+- **Chris R (@Clear1nsight)** — [#5577](https://github.com/CrocSwap/integer-mult-bounds/pull/5577): Bound the joint pooled P104 exchange family below κ .0033 (source archive).
+- **David Ganz (@Dugongue)** — [#5578](https://github.com/CrocSwap/integer-mult-bounds/pull/5578): Close full-rank coded Gaussian terminals with one rank-two query (source archive).
+- **Ali Romman (@aliromman)** — [#5579](https://github.com/CrocSwap/integer-mult-bounds/pull/5579): Close P104 owned-holder handoffs with public frame separators (no new kappa) (source archive).
+- **Ali Romman (@aliromman)** — [#5580](https://github.com/CrocSwap/integer-mult-bounds/pull/5580): Conditional κ = 0.00308189 (+7.6453e-8 raw over #5569) (source archive).
+- **Ali Romman (@aliromman)** — [#5581](https://github.com/CrocSwap/integer-mult-bounds/pull/5581): Preserve native-history and odd-E8 research handoff (no new kappa) (source archive).
+- **flyingviper (@flyingviper)** — [#5584](https://github.com/CrocSwap/integer-mult-bounds/pull/5584): P104: prove owned-block cost floors and public delivery obstructions (no kappa) (source archive).
+- **Alex (@Scratch-net)** — [#5585](https://github.com/CrocSwap/integer-mult-bounds/pull/5585): Verify 499 new P104 native maps and bind predecessor evidence (no new kappa) (source archive).
+- **David Ganz (@Dugongue)** — [#5586](https://github.com/CrocSwap/integer-mult-bounds/pull/5586): Formulate 27 research targets for conditional kappa >= 0.0035 (source archive).
+- **Ali Romman (@aliromman)** — [#5587](https://github.com/CrocSwap/integer-mult-bounds/pull/5587): Bound the complete coded p2 repair between 225 and 240 arbitrary returns (no new kappa) (source archive).
+- **Ali Romman (@aliromman)** — [#5588](https://github.com/CrocSwap/integer-mult-bounds/pull/5588): Prove native tariff obstructions beyond frozen paid inputs (source archive).
+- **Ali Romman (@aliromman)** — [#5590](https://github.com/CrocSwap/integer-mult-bounds/pull/5590): Prove the sharp P104 price floor for all fixed-contact frame paths (source archive).
+- **flyingviper (@flyingviper)** — [#5591](https://github.com/CrocSwap/integer-mult-bounds/pull/5591): P104: classify rational owned recodings and prove a joint sharing floor (no kappa) (source archive).
+- **Chris R (@Clear1nsight)** — [#5592](https://github.com/CrocSwap/integer-mult-bounds/pull/5592): Bound the PR5580 κ .0033 budget and ideal isolated-tail edit counts (source archive).
+- **Shep (@MatShep)** — [#5594](https://github.com/CrocSwap/integer-mult-bounds/pull/5594): Sharp one-qubit Clifford tensor conditioning: exact spectrum and constant 5 (source archive).
+- **Chris R (@Clear1nsight)** — [#5596](https://github.com/CrocSwap/integer-mult-bounds/pull/5596): Verify the new PR5580 rank-four paid native map on all 512 inputs (source archive).
+- **Chris R (@Clear1nsight)** — [#5597](https://github.com/CrocSwap/integer-mult-bounds/pull/5597): Bound the original n18 ABCD family by joint raw-price and compiler funding (source archive).
+- **Ali Romman (@aliromman)** — [#5598](https://github.com/CrocSwap/integer-mult-bounds/pull/5598): Exclude passive reuse of every frozen P104 paid query in both orientations (source archive).
+- **Ali Romman (@aliromman)** — [#5599](https://github.com/CrocSwap/integer-mult-bounds/pull/5599): Raise conditional kappa to 0.00310045 with independent helper splits (source archive).
+- **Ali Romman (@aliromman)** — [#5601](https://github.com/CrocSwap/integer-mult-bounds/pull/5601): Conditional κ = 0.00308595 (+7.4120e-7 raw over #5565) (source archive).
+- **Ali Romman (@aliromman)** — [#5602](https://github.com/CrocSwap/integer-mult-bounds/pull/5602): Conditional κ = 0.00309980 (+1.41e-6 over #5599): coupled helper bases (source archive).
+- **Ali Romman (@aliromman)** — [#5604](https://github.com/CrocSwap/integer-mult-bounds/pull/5604): Bound every joint G20 entry kernel and check partial-helper capture epochs (source archive).
+- **flyingviper (@flyingviper)** — [#5605](https://github.com/CrocSwap/integer-mult-bounds/pull/5605): Conditional kappa 0.00308326 (+1.37e-6 over #5580): compensated shared P104 relay (source archive).
@@ -0,0 +1,58 @@
+# Stopped families and evidence limits
+
+This table is a continuation guide. Each negative result applies only to
+its stated model. The full local record is retained in the project archive.
+Names in the last column refer to files in that record. They are not new
+public verification claims.
+
+| Family | Result and stop rule | Evidence |
+| --- | --- | --- |
+| Original clean-word snapshot caches | Equal-frame, monomial, and bounded operator-unit reuse gave no paid saving. Do not repeat the same cache class. | [Finding #5355](https://github.com/CrocSwap/integer-mult-bounds/discussions/5355); `snapshot_discovery.py`, `span_discovery.py`, `all_anchor_discovery.py`, `module_discovery.py`, `unit_module_discovery.py`. |
+| Changed permutation codes and triple DAGs | The declared complete optimistic bills lose. This is not a theorem about all codes or DAGs. | [Finding #5381](https://github.com/CrocSwap/integer-mult-bounds/discussions/5381). |
+| Private-helper ownership cuts | The single-helper and group-cut tests gave no profitable candidate. Later owned-subset tests repeat this family. | [Released finding](https://github.com/CrocSwap/integer-mult-bounds/discussions/5125#discussioncomment-19154948); `ownership_cut_screen.py`, `owned_subset_ssa.py`. |
+| Native scalar and map cancellation | A useful circuit reduction is in PR #5403. Retiming the paid paths gave no paid gain. | [Package](https://github.com/CrocSwap/integer-mult-bounds/pull/5403); [retiming result](https://github.com/CrocSwap/integer-mult-bounds/discussions/5125#discussioncomment-19155692). |
+| Repeated two- and three-pair controllers | The 266,584-case bounded test and exact cost checks gave no improvement. | [Finding](https://github.com/CrocSwap/integer-mult-bounds/discussions/4611#discussioncomment-19156205); `repeated_stage_screen.py`, `repeated_stage_verify.py`. |
+| Coupled native inverse | Both inverse compositions are constructed without extra Gaussian calls. Ordinary inverse-child costs remain charged. | [PR #5411](https://github.com/CrocSwap/integer-mult-bounds/pull/5411). |
+| Small coupled bridge grammars | Shared banks, full bridges, three observations, uncoded middle calls, and mode transport gave no complete funded caller. | [Released caller record](https://github.com/CrocSwap/integer-mult-bounds/discussions/4930#discussioncomment-19156336); `coupled_*bridge.py`, `coupled_*transport.py`, `coupled_four_bank.py`, `coupled_three_observations.py`. |
+| One completed-Q catalyst | The declared 188-state binary graph retains the 5/3 bound. This does not cover more general callers. | `retained_q_catalyst.py/json`. |
+| Static native-history completion | Scalar and finite-field chart spans gave no funded repair. Cheaper floating candidates failed exact consistency. | `native_history_completion.py`, `native_history_joint_rank.py`, `native_history_repair_*`. |
+| Later native continuation | Tests at 2,469 cuts, including one- and two-readout choices, gave no funded correction. Scalar specialization is a strict scope limit. | `native_one_query.py`, `native_two_readouts.py`, `native_temporal_injection.py`, `native_temporal_query_tree.py`. |
+| Fixed-source guard cut | Rank-below-nine additive insertions cannot change the eight terminal modes while all original zero guards stay zero. | `NATIVE-GUARD-CUT.md`, `native_guard_cut.py/json`; [public scope](https://github.com/CrocSwap/integer-mult-bounds/discussions/4930#discussioncomment-19156336). |
+| Conditional query ports | Eight paid H1 jobs can expose eight H1 responses. The isolated bill is neutral. A complete caller is absent. | `native_guard_query_ports.py/json`. |
+| Fixed-source full-chart observations | Eight exact zero-address witnesses make all 5,897 allowed observations vanish but retain the desired modes. Lower charts and changed sources are outside the statement. | `native_full_chart_kernel.py/json`, `native_zero_anchor.py/json`. |
+| Mode observer and encoded query variants | The specified five-call, changed-encoder and feedback tests did not produce a caller. They do not exclude arbitrary observation schemes. | `caller_mode_observability.py`, `caller_changed_query_encoder.py`, `caller_query_feedback.py`, `five_word_handoff.py`. |
+| Projection swaps and mode exchanges | 8,640 projection-swap cases and 3,840 rational mode-exchange cases gave no endpoint. | `projection_swap_caller.py/json`, `general_mode_exchange.py/json`. |
+| Three-call code transport | Two 27,648-schedule tests, one with 55,296 target-parity cases, gave no endpoint. Stop this grammar. | `code_transport_caller_q4.json`, `code_transport_queries.py/json`. |
+| E8 plane probes | A candidate Gram product has forbidden nonzero entries. The shifted alternatives do not give a useful tariff. | `e8_plane_screen.py`, `e8_plane_products.py`, `e8_alternating_plane_screen.py`. |
+| Direct-sum product planes | Two exact factors give tariffs 15,232 and 15,552. Neither is claimed optimal. Rank does not imply a tariff floor. | [Finding](https://github.com/CrocSwap/integer-mult-bounds/discussions/1587#discussioncomment-19161781); [separate reproduction](https://github.com/CrocSwap/integer-mult-bounds/discussions/1587#discussioncomment-19168830). |
+| Odd E8 direct sums | The decoder and its declining tariff are constructive. Separated complete-helper lifts fail the declared cost gate. Joint producers are outside that obstruction. | [PR #5439](https://github.com/CrocSwap/integer-mult-bounds/pull/5439). |
+| Synchronized tensor callers | The favorable physical-wire cost screen still loses. It is a floating planning test, not an all-schedule theorem. The unbound earlier receipt is superseded. | `tensor_fusion_screen.py/json`; `tensor-fusion-screen-before-source-binding.json` is historical only. |
+| Fixed P112 query support | The inherited parity-projector proof gives block rank exactly 9r, also for the stated eight-port puncture. Changing block size does not escape that support constraint. | [Attributed finding and certificate](https://github.com/CrocSwap/integer-mult-bounds/discussions/1587#discussioncomment-19167039). |
+| F4 Hermitian labels | Dimensions 7–9 exhaust in the author's finite search; a dimension-10 positive control passes. No independent UNSAT certificate was produced. | `f4-gate/ROUND.json`, `f4-gate/search_hermitian.py`; source geometry, field skeleton and certificate code remain credited inputs. |
+| Ternary labels | Several bounded searches exhaust; one dimension-nine search times out. No new ternary positive control or independent UNSAT certificate was run. | `f4-gate/search_ternary.py`, `f4-gate/search_ternary_asymmetric.py`. |
+| Coxeter–Todd geometry | The direct masks lose their copy-mass gate. Dimension-15 and dimension-16 fitting searches time out. A timeout gives no impossibility result. | `coxeter_todd_gate.py/json`, `coxeter_binary_fit.py`, `geometry_ideal_gate.json`. |
+| Unchanged p19 invoice | The native letter and caller letter differ. The omitted 4,256 H1 jobs make the repaired bill lose. Existing reviews already record this defect. | [PR #5440](https://github.com/CrocSwap/integer-mult-bounds/pull/5440); no duplicate audit claim. |
+| Small E retained-history fixture | Exact rational spans miss the two negative targets after all retained returns and all 76 one-axis queries. The spectral control passes. The actual large caller is outside this model. | [Preserved code and receipt](e-history/README.md). |
+
+## File and status decisions
+
+The local archive keeps superseded receipts as history. In particular, do
+not use the earlier tensor bill before source binding, the rejected floating
+repair candidates, or timed-out geometry searches as positive evidence.
+The native-gauge and odd-E8 package drafts are superseded by their merged
+PRs. Export-check scripts and publication drafts are verification records,
+not new mathematical contributions.
+
+The primitive rank proof in the P112 support finding is inherited. The
+new check binds its certificate to the literal source and the stated
+puncture. Do not claim a new general parity-projector method.
+
+Border-product, spectral-renormalization, lattice-extension, bit-only
+outer, and other unbuilt ideas were considered but not implemented.
+They are not completed experiments. A future task must state a changed
+premise and a complete cost test before expanding one of these routes.
+
+All scopes are released. No publication or packaging task is left open by
+this record. The complete negative E decoder, caller pricing, and all-size
+admission remain research obligations. Their absence is not evidence of a
+universal obstruction.