TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/mixed-current-origin-20261014/CLAUDE-CONTINUOUS-TIME-REVIEW.txt
Original file SHA-256: c71d922c5013260e141919cecc617532e3578475cc859e78ba2c81f654a8bfc2
Inclusive original lines: 1-65
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 | [OMITTED: non-scientific conversation or execution metadata]
000002 | [OMITTED: non-scientific conversation or execution metadata]
000003 | [OMITTED: non-scientific conversation or execution metadata]
000004 | [OMITTED: non-scientific conversation or execution metadata]
000005 | [OMITTED: non-scientific conversation or execution metadata]
000006 | [OMITTED: non-scientific conversation or execution metadata]
000007 | [OMITTED: non-scientific conversation or execution metadata]
000008 | [OMITTED: non-scientific conversation or execution metadata]
000009 | 
000010 | Accepted independently checked mathematics:
000011 | 1. Spectral tail bound(1), finite-window norm compactness under A-D,
000012 |    discarded-expectation bound(3), and normal-old-folium conclusion(4).
000013 |    No finite first moment or uniform operator-norm bound on T_N is needed.
000014 | 2. Source vacuum e'' finite total variation V implies
000015 |    |e_m|<=V/(2pi m^2). Exact sampling and sum_(l!=0)l^-2=pi^2/3 give
000016 |    |N/(2pi)[E0_N(alpha)-E0_N(beta)]|<=V/6, all4original backgrounds.
000017 |    This supplies the uniform common-reference semigroup bound required
000018 |    to discard vanishing off-register-grade components of a local field.
000019 | 3. Chosen-chiral coherent heat comparison: E_s=8r/(1-r^2) at d=pi and
000020 |    F_s(t)=[(1+r exp(-t))(1-r)/((1-r exp(-t))(1+r))]^4.
000021 |    Fixed s is normal in the old module; s down0 gives norm1 at t0 and
000022 |    kernel0 at every fixed positive t, violating original-time continuity.
000023 | 4. ACTUAL finite full-QWZ Slater/Thouless formulas in section6:
000024 |    Zp=B A^-1, Zp_s=e^(-s epsilon_+)Zp e^(-s epsilon_-),
000025 |    C_s=V_s(I+Zp_s^*Zp_s)^-1 V_s^*,
000026 |    F_(N,s)(t)=det(I+Zp_(s+t/2)^*Zp_(s+t/2))/det(I+Zp_s^*Zp_s).
000027 |    Both energy signs, s+t/2 and det(A) cancellation are correct.
000028 |    The pure Slater covariance determines all finite CAR/Wick words.
000029 |    Singular A needs another chart, not a sector exclusion.
000030 | 
000031 | [OMITTED: non-scientific conversation or execution metadata]
000032 | [OMITTED: non-scientific conversation or execution metadata]
000033 | [OMITTED: non-scientific conversation or execution metadata]
000034 | [OMITTED: non-scientific conversation or execution metadata]
000035 | [OMITTED: non-scientific conversation or execution metadata]
000036 | [OMITTED: non-scientific conversation or execution metadata]
000037 | [OMITTED: non-scientific conversation or execution metadata]
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 | [OMITTED: non-scientific conversation or execution metadata]
000043 | [OMITTED: non-scientific conversation or execution metadata]
000044 | [OMITTED: non-scientific conversation or execution metadata]
000045 | [OMITTED: non-scientific conversation or execution metadata]
000046 | [OMITTED: non-scientific conversation or execution metadata]
000047 | [OMITTED: non-scientific conversation or execution metadata]
000048 | [OMITTED: non-scientific conversation or execution metadata]
000049 | [OMITTED: non-scientific conversation or execution metadata]
000050 | [OMITTED: non-scientific conversation or execution metadata]
000051 | [OMITTED: non-scientific conversation or execution metadata]
000052 | [OMITTED: non-scientific conversation or execution metadata]
000053 | [OMITTED: non-scientific conversation or execution metadata]
000054 | [OMITTED: non-scientific conversation or execution metadata]
000055 | [OMITTED: non-scientific conversation or execution metadata]
000056 | [OMITTED: non-scientific conversation or execution metadata]
000057 | [OMITTED: non-scientific conversation or execution metadata]
000058 | 
000059 | [OMITTED: non-scientific conversation or execution metadata]
000060 | [OMITTED: non-scientific conversation or execution metadata]
000061 | [OMITTED: non-scientific conversation or execution metadata]
000062 | [OMITTED: non-scientific conversation or execution metadata]
000063 | 
000064 | Result: formula review accepted in the explicit scopes above. Physical
000065 | origin remains PARTIAL. This review does not promote any ledger claim.