TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C58-ACTUAL-WEAK-CAP-CHECK.json
Original file SHA-256: 5b1a67671ab6abf656e55012641a70eec796465ad064e7e0a3eb904afd26b60f
Inclusive original lines: 1-81
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 |   "scope": "Numerical controls on the existing full96 diagnostic source; analytic whole-circle proof separate; no selected physical parameters or original Zrel identity.",
000003 |   "rows": [
000004 |     {
000005 |       "label": "aligned",
000006 |       "p": 0.25,
000007 |       "t": 0,
000008 |       "ell": 0.125,
000009 |       "log_cap": -14.055654140775543,
000010 |       "log_relative_to_free": 5.0941461379640405,
000011 |       "bulk_difference": 19.149800278739583,
000012 |       "reference_identity_error": 0.0,
000013 |       "cap": 7.865149229350203e-07,
000014 |       "old_ground_deficit": 21.459477462333204,
000015 |       "old_scalar_logcap_error": -1.7763568394002505e-15
000016 |     },
000017 |     {
000018 |       "label": "aligned",
000019 |       "p": 0.25,
000020 |       "t": 0.7,
000021 |       "ell": 0.125,
000022 |       "log_cap": -14.174830473420858,
000023 |       "log_relative_to_free": 5.096812329424876,
000024 |       "bulk_difference": 19.271642802845733,
000025 |       "reference_identity_error": 0.0,
000026 |       "cap": 6.981509663361592e-07,
000027 |       "old_ground_deficit": 21.556884269292794
000028 |     },
000029 |     {
000030 |       "label": "aligned",
000031 |       "p": 100.25,
000032 |       "t": 0.7,
000033 |       "ell": 0.00125,
000034 |       "log_cap": -0.003895972876624576,
000035 |       "log_relative_to_free": 0.0005089490919827355,
000036 |       "bulk_difference": 0.004404921968607596,
000037 |       "reference_identity_error": -2.8449465006019636e-16,
000038 |       "cap": 0.9961116065793899,
000039 |       "old_ground_deficit": 0.01755337178234806,
000040 |       "projection_deficit_bound": 0.07501710688921977
000041 |     },
000042 |     {
000043 |       "label": "permuted",
000044 |       "p": 0.25,
000045 |       "t": 0,
000046 |       "ell": 0.125,
000047 |       "log_cap": -14.055654140775541,
000048 |       "log_relative_to_free": 5.094146137964041,
000049 |       "bulk_difference": 19.149800278739583,
000050 |       "reference_identity_error": 0.0,
000051 |       "cap": 7.865149229350218e-07,
000052 |       "old_ground_deficit": 21.459477462333215,
000053 |       "old_scalar_logcap_error": 3.552713678800501e-15
000054 |     },
000055 |     {
000056 |       "label": "permuted",
000057 |       "p": 0.25,
000058 |       "t": 0.7,
000059 |       "ell": 0.125,
000060 |       "log_cap": -14.170537697022883,
000061 |       "log_relative_to_free": 5.096841388046514,
000062 |       "bulk_difference": 19.267379085069397,
000063 |       "reference_identity_error": 0.0,
000064 |       "cap": 7.011544142796167e-07,
000065 |       "old_ground_deficit": 21.546936394307714
000066 |     },
000067 |     {
000068 |       "label": "permuted",
000069 |       "p": 100.25,
000070 |       "t": 0.7,
000071 |       "ell": 0.00125,
000072 |       "log_cap": -0.003895972883838361,
000073 |       "log_relative_to_free": 0.0005089490919836237,
000074 |       "bulk_difference": 0.004404921975822163,
000075 |       "reference_identity_error": -1.7780915628762273e-16,
000076 |       "cap": 0.9961116065722041,
000077 |       "old_ground_deficit": 0.017553371926018912,
000078 |       "projection_deficit_bound": 0.07501710688921978
000079 |     }
000080 |   ]
000081 | }