[unpaidmoon]

Change and mathematical scope

Negative result, no new κ. Selected conditional κ stays 0.001672660197076918.

On the prepared entrance (T^{-1} x, y) of the PR #3978 joint cut, deleting either Gram factor leaves the physical source equal to F T^{-1} x, not F x. Local row and column FULL charts inside F81 = F_2^9 ⊗ F_2^9 meet in one line and span 17 dimensions (codimension 64), checked for all 511 × 511 nonzero pairs. The rank-one chart tariff on all N = 104^2 = 10816 data positions equals the debt-free allowance C < 10816, so the screened bill equals capacity 81 W = 2965248 before any further nonnegative charge. The strict gate fails.

This is not a fused caller, not a supplier, and not a universal P104 barrier. The inherited positive-debt excess 832 is only retied.

Task and overlap

Item 6 of the chronological open-handoff list below. Base bb4bccbf42844d2801487450727c2f63e10d1d0f, priority revision 6. Card p104-side-correction, scope refined.

Handoff: discussion #1166 comment 19035513 (canonical note on PR #3954). Predecessor gate and K = T^{-1} tariff: PR #3978 head 48e2e44d8785be8204d8c4b719850332f4f9abe0, package research/p104-joint-compensation. That head is not an ancestor of main, so it is cited rather than byte-pinned.

Nearest overlap, and why this is distinct:

• Certify that uniform P104 completion misses a port-dependent chart. #4136 proves uniform completion misses a port-dependent chart. It does not expand the Gram product or compare the debt-free allowance with an N-position chart tariff.
• Audit the P104 index-to-tensor bridge without replaying events. #4125 audits the index-to-tensor bridge. Its rank-10816 figure is the rational rank of an omitted identity side, not this chart tariff.
• Derive and price fixed-owner joint P104 compensation #3978 prices a three-layer joint word at 32448 rank-one transforms. This note prices the one-axis shortcut that leaves K in place.

Ordered eligible list used for this session. Chronological smallest next tasks on #1166, after dropping a task a later DONE or an open PR already performs, and after dropping this account's round through #4149 (including the excluded #3942 re-audit and the superseded integer log_q coefficient 34). The full (7,18) census in comment 19021170 is deferred by the family-status resource rule and is not in this list. Comment 19034741 restates the same pair as 19034676 and is not counted twice.

1. T488 composed ownership/output invoice (comment 19022532, question 1). Question 2 is Audit (no new kappa): the composed T488 profile is exactly PR3642's optimal packing vertex #3796.
2. Physical rank-8/u2 contract for the 16-extra rank-one residual (comment 19029639).
3. Downstream consumer of (w, q, v_N) (comment 19030045).
4. Adjacent six-tape event after Research: first F0 caller six-tape admission audit #3932 event 9894 (comment 19030049), distinct from Ledger intermediate F0 magnitudes on the L359 dirty ray. #4114.
5. Changed-gate chronological row/column pair and fiber tags (comment 19034676), distinct from Record that one P104 encoder fiber equals axis-0 U. #4131 and from the uniform-completion negatives Certify the literal-slot defect that blocks a uniform P104 adjacent c… #4133, Certify that uniform P104 completion misses a port-dependent chart. #4136 and Prove uniform completion fails on the physical P104 encoding. #4140.
6. This screened source-normalization shortcut (comment 19035513).

Overlap helper at 2026-10-20T03:21:48Z covered 842 open PR bodies with complete pagination. Discussion coverage was complete for the cached snapshot (2670 records). No matches is not claimed as novelty.

Validation

CPython 3.12.3, standard library:

python3.12 -B scripts/research_package.py --package research/p104-source-chart-shortcut

Recorded result: PASS_REGISTERED_RESEARCH_PACKAGE research/p104-source-chart-shortcut outcome=negative-result and PASS_P104_SOURCE_CHART_SHORTCUT checks=3 controls=5 span=17 codimension=64 cost=10816 allowance=10816 bill=2965248.

Five mutants: the zero row vector, a truncated chart that does not span 17, an entrance that drops K, an off-by-one tariff that would pass the strict inequality, and a swapped K F word. Not run: native replay of #3978, Lean, Docker, and any fused-caller construction.

Credit

PR #3978 and discussion comment 19035513 by Chris R / Clear1nsight, with the retained Rohan Arun / #1972, Chafik Boukhalfa / #1991, Adam Gall / #1940, and E8/native/compiler lineage named there. New census, expansion and gate comparison by unpaidmoon with Grok assistance in Cursor. Apache-2.0. No human or proof-assistant review is claimed.

Open next questions

A producer whose source bank is already F x, rather than F T^{-1} x, is not ruled out. See research/p104-source-chart-shortcut/README.md. The smallest follow-up is one literal bank at the #3978 cut with owners, dirty returns and a bill strictly under 81 W after every nonnegative charge. Paying N extra rank-one children for T on this shortcut does not create that margin.

Workflow feedback (optional)

#1200