TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-ENERGY-SOURCE.json
Original file SHA-256: c47f8614692c102ad864ed6030feacce732ea10d0db26595956e2cb3444e4778
Inclusive original lines: 1-68
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 |   "contract": "ORIGINAL-ENERGY-SOURCE-20261031",
000003 |   "all_passed": true,
000004 |   "checks": {
000005 |     "raw_trace_closed_formula": true,
000006 |     "orthogonal_trace_closed_formula": true,
000007 |     "raw_trace_idempotent": true,
000008 |     "orthogonal_trace_idempotent": true,
000009 |     "orthogonal_trace_selfadjoint": true,
000010 |     "real_energy_raw_trace_is_not_a_state_projector": true,
000011 |     "zero_energy_raw_equals_orthogonal": true,
000012 |     "imaginary_energy_raw_is_orthogonal_0.6666666666666666666666666666666666666666666666666666666666666666666667": true,
000013 |     "imaginary_energy_raw_is_orthogonal_-0.6666666666666666666666666666666666666666666666666666666666666666666667": true,
000014 |     "original_AP_Green_jump": true,
000015 |     "original_AP_Green_antiperiodicity": true,
000016 |     "Poisson_both_actual_face_limits": true,
000017 |     "raw_energy_derivative": true,
000018 |     "orthogonal_energy_derivative": true,
000019 |     "orthogonal_derivative_from_raw_commutator": true,
000020 |     "exact_uniform_derivative_norm": true,
000021 |     "all_mode_quarter_bound_not_finite_cutoff": true,
000022 |     "whole_Green_trace_gives_existing_flat_moment": true,
000023 |     "orthogonal_graph_reads_same_transfer": true,
000024 |     "orthogonal_graph_transfer_quotient": true,
000025 |     "actual_fixed_APS_two_face_source_recovers_whole_graph": true,
000026 |     "actual_fixed_APS_boundary_columns_match_Poisson_source": true,
000027 |     "actual_fixed_APS_left_domain": true,
000028 |     "actual_fixed_APS_right_domain": true,
000029 |     "single_APS_cross_derivative_vanishes": true,
000030 |     "whole_transfer_derivative_is_nonzero_despite_cross_zero": true,
000031 |     "actual_AP_normal_mode_K_selfadjoint": true,
000032 |     "whole_scale_source_reads_actual_W_False": true,
000033 |     "sandwich_readout_uniquely_recovers_W_False": true,
000034 |     "whole_scale_source_reads_actual_W_True": true,
000035 |     "sandwich_readout_uniquely_recovers_W_True": true
000036 |   },
000037 |   "errors": {
000038 |     "raw_trace_closed_formula": 1.1211047008630503e-71,
000039 |     "orthogonal_trace_closed_formula": 8.480763772285128e-72,
000040 |     "raw_trace_idempotent": 1.270314369776578e-71,
000041 |     "orthogonal_trace_idempotent": 2.7143444494525396e-72,
000042 |     "orthogonal_trace_selfadjoint": 5.098584897577321e-72,
000043 |     "zero_energy_raw_equals_orthogonal": 1.09370961348988e-71,
000044 |     "imaginary_energy_raw_is_orthogonal_0.6666666666666666666666666666666666666666666666666666666666666666666667": 1.4396214471720287e-71,
000045 |     "imaginary_energy_raw_is_orthogonal_-0.6666666666666666666666666666666666666666666666666666666666666666666667": 1.4396214471720287e-71,
000046 |     "original_AP_Green_jump": 4.667190169212322e-72,
000047 |     "original_AP_Green_antiperiodicity": 0.0,
000048 |     "Poisson_both_actual_face_limits": 0.0,
000049 |     "raw_energy_derivative": 3.320736113095184e-82,
000050 |     "orthogonal_energy_derivative": 2.263919769706678e-72,
000051 |     "orthogonal_derivative_from_raw_commutator": 9.865505809555602e-72,
000052 |     "exact_uniform_derivative_norm": 0.0,
000053 |     "whole_Green_trace_gives_existing_flat_moment": 9.055679078826712e-72,
000054 |     "orthogonal_graph_reads_same_transfer": 1.6835687637605867e-71,
000055 |     "orthogonal_graph_transfer_quotient": 9.334380338424643e-72,
000056 |     "actual_fixed_APS_two_face_source_recovers_whole_graph": 1.3909755940292226e-71,
000057 |     "actual_fixed_APS_boundary_columns_match_Poisson_source": 9.055679078826712e-72,
000058 |     "actual_fixed_APS_left_domain": 0.0,
000059 |     "actual_fixed_APS_right_domain": 0.0,
000060 |     "single_APS_cross_derivative_vanishes": 1.0329202291333232e-80,
000061 |     "actual_AP_normal_mode_K_selfadjoint": 0.0,
000062 |     "whole_scale_source_reads_actual_W_False": 8.004165106109396e-73,
000063 |     "sandwich_readout_uniquely_recovers_W_False": 2.260925056175575e-72,
000064 |     "whole_scale_source_reads_actual_W_True": 2.257277447998139e-72,
000065 |     "sandwich_readout_uniquely_recovers_W_True": 6.243641754528134e-72
000066 |   },
000067 |   "scope": "Existing historical p=1/4,m=1/3 block and actual AP normal Fourier mode, unchanged old endpoint projector. Analytic proof treats all modes. No new Y/MR,physical scale,normal source or Brel map selected. No new Lean formalization or ledger promotion."
000068 | }