TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CURRENT-ODD-READER-CHECK.json
Original file SHA-256: 4c581c52f11e136facc74b7330715c75bbd3904491f4f521d0dc9590df7b4801
Inclusive original lines: 1-135
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 |   "all_pass": true,
000003 |   "checks": {
000004 |     "actual_96_coefficient": true,
000005 |     "phi_odd_for_symbolic_s": true,
000006 |     "odd_reader_removes_all_symbolic_momentum": true,
000007 |     "quarter_rotation_preserves_whole_phi": true,
000008 |     "charge_J_commutes_with_U_antilinearly": true,
000009 |     "reader_keeps_actual_yukawa_jet": true,
000010 |     "reader_keeps_majorana": true,
000011 |     "entire_actual_numeric_reader": true,
000012 |     "numeric_projector_before_reader": true,
000013 |     "actual_yukawa_jet_numeric": true
000014 |   },
000015 |   "cases": [
000016 |     {
000017 |       "s": -0.2,
000018 |       "p": -0.75,
000019 |       "covariance_min": 0.02228820007842177,
000020 |       "covariance_max": 0.9777117999215782,
000021 |       "projector_error": 1.3124993408007327e-14,
000022 |       "reader_error": 6.582572018853101e-14,
000023 |       "unprojected_reader_error": 6.819697409570665e-14
000024 |     },
000025 |     {
000026 |       "s": -0.2,
000027 |       "p": 0.25,
000028 |       "covariance_min": 0.02265205979265524,
000029 |       "covariance_max": 0.9773479402073452,
000030 |       "projector_error": 1.2923442125919327e-14,
000031 |       "reader_error": 6.439283917238085e-14,
000032 |       "unprojected_reader_error": 5.701126878880585e-14
000033 |     },
000034 |     {
000035 |       "s": -0.2,
000036 |       "p": 0.75,
000037 |       "covariance_min": 0.022288200078421368,
000038 |       "covariance_max": 0.9777117999215783,
000039 |       "projector_error": 1.3146000814281167e-14,
000040 |       "reader_error": 8.208219921025486e-14,
000041 |       "unprojected_reader_error": 6.968275657678149e-14
000042 |     },
000043 |     {
000044 |       "s": -0.2,
000045 |       "p": 1.25,
000046 |       "covariance_min": 0.021582093009748917,
000047 |       "covariance_max": 0.9784179069902514,
000048 |       "projector_error": 1.3028719948234211e-14,
000049 |       "reader_error": 6.289899570655623e-14,
000050 |       "unprojected_reader_error": 6.306880249007112e-14
000051 |     },
000052 |     {
000053 |       "s": 0.0,
000054 |       "p": -0.75,
000055 |       "covariance_min": 0.013214901343257555,
000056 |       "covariance_max": 0.9867850986567418,
000057 |       "projector_error": 1.3061389262855078e-14,
000058 |       "reader_error": 1.0716185535469821e-13,
000059 |       "unprojected_reader_error": 9.198800943200504e-14
000060 |     },
000061 |     {
000062 |       "s": 0.0,
000063 |       "p": 0.25,
000064 |       "covariance_min": 0.013405526185056072,
000065 |       "covariance_max": 0.9865944738149439,
000066 |       "projector_error": 1.4578694909431874e-14,
000067 |       "reader_error": 9.809161419206111e-14,
000068 |       "unprojected_reader_error": 8.893916888286256e-14
000069 |     },
000070 |     {
000071 |       "s": 0.0,
000072 |       "p": 0.75,
000073 |       "covariance_min": 0.013214901343257304,
000074 |       "covariance_max": 0.9867850986567415,
000075 |       "projector_error": 1.5116888494530078e-14,
000076 |       "reader_error": 1.459176860896176e-13,
000077 |       "unprojected_reader_error": 1.1607782279613375e-13
000078 |     },
000079 |     {
000080 |       "s": 0.0,
000081 |       "p": 1.25,
000082 |       "covariance_min": 0.012843485207101647,
000083 |       "covariance_max": 0.9871565147928979,
000084 |       "projector_error": 1.428575868978068e-14,
000085 |       "reader_error": 9.650888315576993e-14,
000086 |       "unprojected_reader_error": 8.788756116380714e-14
000087 |     },
000088 |     {
000089 |       "s": 0.3,
000090 |       "p": -0.75,
000091 |       "covariance_min": 0.005790423153841439,
000092 |       "covariance_max": 0.994209576846159,
000093 |       "projector_error": 1.3768591409428539e-14,
000094 |       "reader_error": 1.7102786032700393e-13,
000095 |       "unprojected_reader_error": 2.1295794783354323e-13
000096 |     },
000097 |     {
000098 |       "s": 0.3,
000099 |       "p": 0.25,
000100 |       "covariance_min": 0.005860851283290549,
000101 |       "covariance_max": 0.9941391487167089,
000102 |       "projector_error": 1.470301118629167e-14,
000103 |       "reader_error": 1.5361596943887987e-13,
000104 |       "unprojected_reader_error": 1.4330615464577292e-13
000105 |     },
000106 |     {
000107 |       "s": 0.3,
000108 |       "p": 0.75,
000109 |       "covariance_min": 0.005790423153841832,
000110 |       "covariance_max": 0.9942095768461595,
000111 |       "projector_error": 1.243451019273923e-14,
000112 |       "reader_error": 1.5334953623000362e-13,
000113 |       "unprojected_reader_error": 2.378000682583794e-13
000114 |     },
000115 |     {
000116 |       "s": 0.3,
000117 |       "p": 1.25,
000118 |       "covariance_min": 0.005652563554270514,
000119 |       "covariance_max": 0.9943474364457296,
000120 |       "projector_error": 1.4675613311464337e-14,
000121 |       "reader_error": 1.8970823669734796e-13,
000122 |       "unprojected_reader_error": 1.5118404852800262e-13
000123 |     }
000124 |   ],
000125 |   "jet_error": 9.04978075076794e-10,
000126 |   "ell_diagnostic": 0.25,
000127 |   "mu_geo_diagnostic": 1.5,
000128 |   "two_ell_mu": 0.75,
000129 |   "formula": "mu_geo Pi_odd logodds(E* G22(B_s) E) = 2 ell mu_geo U Phi_s U*",
000130 |   "scope": "Exact symbolic coefficient proof and numerical actual-constructor/reader test. No P_F source selection, original mass or scale derivation, or physical time identification.",
000131 |   "source_sha256": {
000132 |     "verification/v252_full_finite_triple.py": "820254440e178430422e50605067775656236602996307f67c9e69124ba5d163",
000133 |     "verification/v258_dirac_covariance_induction.py": "16c60e831dceba773f3629466895f1009654827286e5b760ae01bd755fd5c0b1"
000134 |   }
000135 | }