TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/mixed-current-origin-20261014/odd-refielding-results.json
Original file SHA-256: e75c923bac26234da23dedee0d8ae8795e8fb87512c1bfc13b330e2bb5cccdf6
Inclusive original lines: 1-32
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 | {
000002 |   "date": "2026-10-22",
000003 |   "result": "EXACT_TIME_Q_COMPATIBLE_ODD_REFIELDING_BUT_NOT_ORIGINAL_LOCAL_NET",
000004 |   "rho_involution_Q_and_energy_preserved": true,
000005 |   "theta_controls": [
000006 |     {
000007 |       "alpha": "1/4",
000008 |       "all_energy_Q_parity_coefficients_equal_through_quarter_units": 128,
000009 |       "coefficient_keys": 352
000010 |     },
000011 |     {
000012 |       "alpha": "3/4",
000013 |       "all_energy_Q_parity_coefficients_equal_through_quarter_units": 128,
000014 |       "coefficient_keys": 352
000015 |     }
000016 |   ],
000017 |   "proof_of_all_energy_equality": "rho(p)=Pp+r,Pr=-r,Pdelta=delta+r,r\u00b2/2+delta.r=0",
000018 |   "even_sector_unchanged": true,
000019 |   "primitive_W1_target_action": "q -> A q+lambda, A=P R=R^5, lambda=(1/2)^5(-1/2)^3",
000020 |   "primitive_W1_charge_increment": 1,
000021 |   "primitive_W1_K_increment": "(Q+alpha)/8",
000022 |   "primitive_W1_eighth_power": "q -> q+(1)^8; charge increases8",
000023 |   "primitive_W1_is_local_spinor_field": false,
000024 |   "odd_Cartan_beta_pullback": "H_beta becomes1-H_beta for beta=e0-e4",
000025 |   "proper_locality_obstruction": "For mean-zero localized beta-current and Pbeta=-beta,Wprime=Pi_even W+Pi_odd W*. For an odd remote CAR unitary B,[Wprime,B]=parity B(W-W*),nonzero.",
000026 |   "exact_finite_CAR_commutator_norm": 2,
000027 |   "finite_Arf_anchor_sign_D5_root_commutator_rank": 4,
000028 |   "finite_Arf_anchor_sign_D5_root_commutator_HS_squared": 16,
000029 |   "finite_Arf_scope": "Excludes literal D5-equivariant identification of the existing anchor-bit sign with a uniform central NS/R boundary label; no refutation of the finite Arf theorem or all geometric Pfaffian maps.",
000030 |   "microscopic_P1_spinor_origin_derived": false,
000031 |   "new_energy_or_source_copy_chosen": false
000032 | }