TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-FULL-MARKED-READER-AND-ORIGINAL-WEIGHTS-REVIEW.txt Original file SHA-256: e262351fa651517b6af17483c079803b0666e407910d9ec2ba5434a6f2733bbc Inclusive original lines: 1-88 Line numbers below refer to the original source. This bounded excerpt is source evidence; it is not a new proof/checker run. Conversation metadata and personal execution details are omitted where indicated. 000001 | FULL MARKED READER AND THE ORIGINAL WEIGHT PRODUCER 000002 | 30 October 2026. Source review and independent exact countercheck. 000003 | 000004 | 1. Keep the positive linear readout; test the whole claimed replacement. 000005 | The actual original matrices are M0^3=I, P0=diag(1,0,0), 000006 | Fhat=alpha M0P0-beta P0M0 and Nhat=-Dsign Fhat Dsign. 000007 | They have centralizations cM0 and icM0^-1, c=(alpha-beta)/3. 000008 | This correctly reproduces every first scalar trace Tr[f(M0)X]. 000009 | It is a linear quotient, not a whole marked-source equivalence. 000010 | 000011 | Use u,v only as formal probes of the already given actual coefficients. 000012 | Direct exact determinant expansion gives 000013 | 000014 | det(yI-delta M0-uFhat-vNhat) 000015 | =y^3-delta^3-(alpha-beta)delta^2 u-i(alpha-beta)delta y v 000016 | +alpha beta delta u^2+2i alpha beta y u v. (1) 000017 | 000018 | The determinant of the centralized replacement is instead 000019 | 000020 | y^3-(delta+cu)^3-(icv)^3-3y(delta+cu)(icv). (2) 000021 | 000022 | Their difference is 000023 | 000024 | delta u^2(alpha^2+alpha beta+beta^2)/3 000025 | +i y u v(alpha^2+4alpha beta+beta^2)/3 000026 | +c^3u^3-ic^3v^3. (3) 000027 | 000028 | At v=0, the quadratic coefficient is nonzero for the actual real ratio 000029 | r=beta/alpha: 1+r+r^2=(r+1/2)^2+3/4>0. Thus the proposed whole replacement 000030 | already loses the real original marked coefficient at second order. 000031 | This uses the actual family, not a fitted toy counterexample. 000032 | 000033 | In the original common coefficient frame, with rho_bar=exp(-i pi/3), 000034 | rho_bar conjugate(alpha)=i alpha and the same for beta. Consequently 000035 | 000036 | N-rho_bar F^dagger=-i(alpha+beta)(E12+E20), (4) 000037 | 000038 | [OMITTED: non-scientific conversation or execution metadata] 000039 | [OMITTED: non-scientific conversation or execution metadata] 000040 | [OMITTED: non-scientific conversation or execution metadata] 000041 | [OMITTED: non-scientific conversation or execution metadata] 000042 | 000043 | 2. The printed real transport contract and its already inverse legs. 000044 | Original EM3:7-12,100-125 defines D=yI-delta U6 and binds the selected 000045 | delta to the positive real interval(1/3,2/3). Its regulated functional uses 000046 | D^dagger D+epsilon^2. A complex analytic saddle is not a new admissible 000047 | original direction; the full marked Hardy direction is also not just its 000048 | centralized delta component. 000049 | 000050 | Actual original Gram at real y,delta is 000051 | (y^2+delta^2+epsilon^2)I-y delta(U6+U6^-1). 000052 | The inverse leg already belongs to the Green and Kstr functional calculus. 000053 | An independently introduced inverse coefficient in the DENOMINATOR would 000054 | still require an original source rule. Existence of an inverse word in a 000055 | resolvent polynomial does not supply that rule. 000056 | 000057 | 3. The actual original selector is present; it is not an amplitude reader. 000058 | QFT2:31-117 defines commuting selfadjoint K_Sigma,K_c,K_Theta,K_g and 000059 | Delta_adm=sum K_r^2 with P_adm=ker Delta_adm. For x in RanP_adm, 000060 | sum ||K_r x||^2==0, so K_r P_adm=0 for every r. 000061 | Every unital polynomial p(K_r) restricts there to p(0)I; the same holds 000062 | for the original joint bounded functional calculus. This does not require 000063 | a newly chosen state or any numerical search. 000064 | 000065 | QFT4:282-299 explicitly names OTHER data: local transport counts, carrier 000066 | labels and retained selector weights. Those inputs must really be read 000067 | if the diagonal family is to separate retained words of dimension>=2. 000068 | The exact-literal source search found the same statement in Paper42 and 000069 | the Source45 extraction. Those passages do not give a numerical d_r(w) 000070 | or the ordered whole blocked tensor contraction. This is bounded source 000071 | coverage, not a universal absence proof for the entire corpus. 000072 | 000073 | The existing finite reader -> WEDGE -> D_F/Sadm path stays available. 000074 | The original S_adm -> Euclidean transfer derivation is also eligible; do 000075 | not impose an invented diagonal-weight program as its sole possible route. 000076 | Given complete operational seed keeps its fields, products, both faces, 000077 | state, reflection and time. Full primitive physical origin is not proved. 000078 | 000079 | [OMITTED: non-scientific conversation or execution metadata] 000080 | [OMITTED: non-scientific conversation or execution metadata] 000081 | [OMITTED: non-scientific conversation or execution metadata] 000082 | [OMITTED: non-scientific conversation or execution metadata] 000083 | [OMITTED: non-scientific conversation or execution metadata] 000084 | 000085 | [OMITTED: non-scientific conversation or execution metadata] 000086 | [OMITTED: non-scientific conversation or execution metadata] 000087 | [OMITTED: non-scientific conversation or execution metadata] 000088 | [OMITTED: non-scientific conversation or execution metadata]