TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/native-arc-charge-source-interface-20261026/BILOCAL-REVIEW.txt
Original file SHA-256: e017a42f40414702d29fa7d81025d43921575f45ff24e1f95901002d8f30c3e5
Inclusive original lines: 1-10
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 | Independent review,review_arc_charge,2026-10-26.
000002 | Replayed checker: exact comparisons passed.
000003 | Confirmed infinite-sea prefactorw/(z-w),both exponent signs and first transition coefficientsw,1/z.
000004 | Confirmed general Q0 current-commutator/cyclicity proof. Finite degree8 checks alone do not prove the general identity.
000005 | Quarterfactor follows analytically from original field powers;the checker only tests consistency with the supplied factor. Nonzero charge sectors need their zero-mode factor.
000006 | Safest analytic claim: formal or finite-energy matrix-element identity in radial ordering. Local real boundary operators need the separate net theorem and the old point-split/domain controls.
000007 | Primary literature1111.1671v3 Proposition3.8 confirms connected current net equals gauge-fixed complex fermion net.
000008 | Interarc neutral bilocals belong to a connected containing current algebra and the complement-current commutant onQ0,but not the additive disconnected current net. No equality of full dual net is established.
000009 | No elementary new field-dependent interaction is required to define existing neutral composites. Original P1 source,localisation and invariant admissible restriction remain to be proved.
000010 | Late precise map qualification:unital normal state-preserving star homomorphism of nets,not a general CP channel;applied to the proof.