TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/historical-dynamics-source-recovery-20261103/whole-source-pairing-E.json
Original file SHA-256: 0b0ff3099e043690b774401b9fabd0b64d2e94d040e4d3bbaf91802ee90229c8
Inclusive original lines: 1-118
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 |   "result_id": "TORSION20261104E",
000003 |   "passed": 78,
000004 |   "checks": {
000005 |     "actual_total_Weyl_dimension_-1": true,
000006 |     "actual_particle_and_antiparticle_Weyl_slots_-1": true,
000007 |     "actual_axial_pairing_skew_-1_0": true,
000008 |     "actual_axial_pairing_unit_norm_-1_0": true,
000009 |     "actual_axial_pairing_has_no_zero_species_slots_-1_0": true,
000010 |     "actual_Majorana_half_pairing_matches_minus_three_quarters_current_-1_0": true,
000011 |     "actual_current_has_no_particle_particle_block_-1_0": true,
000012 |     "actual_current_has_no_antiparticle_antiparticle_block_-1_0": true,
000013 |     "actual_axial_pairing_skew_-1_1": true,
000014 |     "actual_axial_pairing_unit_norm_-1_1": true,
000015 |     "actual_axial_pairing_has_no_zero_species_slots_-1_1": true,
000016 |     "actual_Majorana_half_pairing_matches_minus_three_quarters_current_-1_1": true,
000017 |     "actual_current_has_no_particle_particle_block_-1_1": true,
000018 |     "actual_current_has_no_antiparticle_antiparticle_block_-1_1": true,
000019 |     "actual_axial_pairing_skew_-1_2": true,
000020 |     "actual_axial_pairing_unit_norm_-1_2": true,
000021 |     "actual_axial_pairing_has_no_zero_species_slots_-1_2": true,
000022 |     "actual_Majorana_half_pairing_matches_minus_three_quarters_current_-1_2": true,
000023 |     "actual_current_has_no_particle_particle_block_-1_2": true,
000024 |     "actual_current_has_no_antiparticle_antiparticle_block_-1_2": true,
000025 |     "actual_axial_pairing_skew_-1_3": true,
000026 |     "actual_axial_pairing_unit_norm_-1_3": true,
000027 |     "actual_axial_pairing_has_no_zero_species_slots_-1_3": true,
000028 |     "actual_Majorana_half_pairing_matches_minus_three_quarters_current_-1_3": true,
000029 |     "actual_current_has_no_particle_particle_block_-1_3": true,
000030 |     "actual_current_has_no_antiparticle_antiparticle_block_-1_3": true,
000031 |     "whole_Yukawa_Majorana_axial_Ward_mass_term_-1": true,
000032 |     "whole_axial_Ward_mass_pairing_skew_-1": true,
000033 |     "actual_Majorana_same_side_mass_norm_-1_particle": true,
000034 |     "actual_Majorana_same_side_mass_norm_-1_antiparticle": true,
000035 |     "actual_total_Weyl_dimension_1": true,
000036 |     "actual_particle_and_antiparticle_Weyl_slots_1": true,
000037 |     "actual_axial_pairing_skew_1_0": true,
000038 |     "actual_axial_pairing_unit_norm_1_0": true,
000039 |     "actual_axial_pairing_has_no_zero_species_slots_1_0": true,
000040 |     "actual_Majorana_half_pairing_matches_minus_three_quarters_current_1_0": true,
000041 |     "actual_current_has_no_particle_particle_block_1_0": true,
000042 |     "actual_current_has_no_antiparticle_antiparticle_block_1_0": true,
000043 |     "actual_axial_pairing_skew_1_1": true,
000044 |     "actual_axial_pairing_unit_norm_1_1": true,
000045 |     "actual_axial_pairing_has_no_zero_species_slots_1_1": true,
000046 |     "actual_Majorana_half_pairing_matches_minus_three_quarters_current_1_1": true,
000047 |     "actual_current_has_no_particle_particle_block_1_1": true,
000048 |     "actual_current_has_no_antiparticle_antiparticle_block_1_1": true,
000049 |     "actual_axial_pairing_skew_1_2": true,
000050 |     "actual_axial_pairing_unit_norm_1_2": true,
000051 |     "actual_axial_pairing_has_no_zero_species_slots_1_2": true,
000052 |     "actual_Majorana_half_pairing_matches_minus_three_quarters_current_1_2": true,
000053 |     "actual_current_has_no_particle_particle_block_1_2": true,
000054 |     "actual_current_has_no_antiparticle_antiparticle_block_1_2": true,
000055 |     "actual_axial_pairing_skew_1_3": true,
000056 |     "actual_axial_pairing_unit_norm_1_3": true,
000057 |     "actual_axial_pairing_has_no_zero_species_slots_1_3": true,
000058 |     "actual_Majorana_half_pairing_matches_minus_three_quarters_current_1_3": true,
000059 |     "actual_current_has_no_particle_particle_block_1_3": true,
000060 |     "actual_current_has_no_antiparticle_antiparticle_block_1_3": true,
000061 |     "whole_Yukawa_Majorana_axial_Ward_mass_term_1": true,
000062 |     "whole_axial_Ward_mass_pairing_skew_1": true,
000063 |     "actual_Majorana_same_side_mass_norm_1_particle": true,
000064 |     "actual_Majorana_same_side_mass_norm_1_antiparticle": true,
000065 |     "actual_full96_Higgs_trace_with_fixed_Majorana": true,
000066 |     "actual_nonzero_bulk_torsion_Higgs_mixed_vertex": true,
000067 |     "whole_historical_shared_current_contact": true,
000068 |     "whole_historical_intersector_contact_coefficient": true,
000069 |     "commuting_filters_joint_range_identity": true,
000070 |     "same_filters_are_not_orthogonal_sector_projectors": true,
000071 |     "direct_sum_trace_log_mixed_derivative_nonzero": true,
000072 |     "tensor_product_log_adds": true,
000073 |     "generic_Pfaffian_congruence_full_basis": true,
000074 |     "whole_Berezin_source_transport_including_eta_sector_15": true,
000075 |     "whole_Berezin_source_transport_including_eta_sector_63": true,
000076 |     "whole_Berezin_source_transport_including_eta_sector_95": true,
000077 |     "whole_Berezin_source_transport_including_eta_sector_111": true,
000078 |     "whole_Berezin_source_transport_including_eta_sector_159": true,
000079 |     "whole_Berezin_source_transport_including_eta_sector_175": true,
000080 |     "whole_Berezin_source_transport_including_eta_sector_207": true,
000081 |     "whole_Berezin_source_transport_including_eta_sector_255": true,
000082 |     "whole_source_transport_all_eight_external_eta_sectors": true
000083 |   },
000084 |   "original_pairing": {
000085 |     "total_Weyl_dimensions": {
000086 |       "minus": 192,
000087 |       "plus": 192
000088 |     },
000089 |     "torsion_current_matrix": "L_mu,eps=Eeps^T(C tensor KF)^dagger(gamma_mu gamma5 tensor I96)Eeps",
000090 |     "actual_current": "J5E_mu=-i psi^T L_mu,eps psi/2",
000091 |     "actual_action_vertex": "(3i/8) S_mu psi^T L_mu,eps psi=-(3/4) S_mu J5E_mu",
000092 |     "current_matrices_nonzero_on_every_species_slot": true,
000093 |     "current_has_only_particle_antiparticle_cross_blocks": true,
000094 |     "Majorana_same_side_mass_block_norm": "2Tr(MR*MR) on each side and each total Weyl chart",
000095 |     "all_original_Yukawa_and_Majorana_entries_symbolic": true,
000096 |     "total_chiral_projector_is_not_Padm": true
000097 |   },
000098 |   "whole_source_transport": {
000099 |     "matrix": "Mprime=V^T M V",
000100 |     "source": "etaprime=V^T eta",
000101 |     "Berezinian": "det(V)^-1, including field-dependent V with unchanged bosonic coordinates",
000102 |     "no_inverse_fermion_kernel_used": true,
000103 |     "infinite_anomalous_Jacobian_not_computed": true
000104 |   },
000105 |   "whole_assembly": {
000106 |     "commuting_filters": "Pi restricted to Ran(product Pj) is identity, not an independent orthogonal sector",
000107 |     "direct_sum_thermal_trace": "Z(A directsum B)=ZA+ZB",
000108 |     "tensor_product_uncoupled_trace": "Z(A tensor I+I tensor B)=ZA ZB when the actual joint state/trace factorizes",
000109 |     "direct_sum_determinant": "det(A directsum B)=detA detB",
000110 |     "actual_original_geometric_mixed_vertex": "partial_S_tangent^2 partial_r^2 a4=-9 A_Y/(8pi²) per flat bulk volume; A_Y=12Tr(Yu*Yu+Yd*Yd)+4Tr(Ye*Ye+Ynu*Ynu)",
000111 |     "whole_historical_current_contact": "-3 kappa_phys²/16 (sum_f J5_f)²; cross coefficient -3 kappa_phys²/8 for each unordered distinct pair",
000112 |     "mixed_scope": "ordinary original Spin4 product, constant radial Higgs, fixed MR, deck-even tangential torsion; both bound references independent of this S direction; no arbitrary Brel/domain cancellation theorem"
000113 |   },
000114 |   "primitive_original_full_field_integration_evaluated": false,
000115 |   "full_Sadm_derived": false,
000116 |   "physical_Htrpos_derived": false,
000117 |   "common_physical_spectrum_computed": false
000118 | }