TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SOURCE-RECORD-SPLIT.json
Original file SHA-256: 583d417dcfce05fddec9d631ef31b914dd8f166f4581cd915c81612c744eacdf
Inclusive original lines: 1-158
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": "R065",
000003 |   "date": "2026-11-01",
000004 |   "all_passed": true,
000005 |   "controls": 31,
000006 |   "checks": [
000007 |     {
000008 |       "name": "pinned unchanged original60 source",
000009 |       "passed": true
000010 |     },
000011 |     {
000012 |       "name": "actual original descendant certificate equals original CAR tensor embedding",
000013 |       "passed": true
000014 |     },
000015 |     {
000016 |       "name": "actual original descendant is isometric",
000017 |       "passed": true
000018 |     },
000019 |     {
000020 |       "name": "actual source has fermionweight2 before U1 quotient",
000021 |       "passed": true
000022 |     },
000023 |     {
000024 |       "name": "actual SU4 plus compulsory D5 weights sum2",
000025 |       "passed": true
000026 |     },
000027 |     {
000028 |       "name": "original R064 IZ plus preparation is rank3 normalized",
000029 |       "passed": true
000030 |     },
000031 |     {
000032 |       "name": "outside IZ current before source event is2h0",
000033 |       "passed": true
000034 |     },
000035 |     {
000036 |       "name": "ray13 is actual allones reflection",
000037 |       "passed": true
000038 |     },
000039 |     {
000040 |       "name": "outside IZ current after actual global ray13 event is0",
000041 |       "passed": true
000042 |     },
000043 |     {
000044 |       "name": "outside IZ current after unread globalC60 is2over5",
000045 |       "passed": true
000046 |     },
000047 |     {
000048 |       "name": "unread exterior coefficient is exactly12over60 before final division",
000049 |       "passed": true
000050 |     },
000051 |     {
000052 |       "name": "original code exposes plus minus logical input in any exterior current smear",
000053 |       "passed": true
000054 |     },
000055 |     {
000056 |       "name": "exact symbolic exterior source contrast2to0",
000057 |       "passed": true
000058 |     },
000059 |     {
000060 |       "name": "sixty actual current lifts square to minusI in class2",
000061 |       "passed": true
000062 |     },
000063 |     {
000064 |       "name": "sixty scalar phase corrected record restrictions are original U",
000065 |       "passed": true
000066 |     },
000067 |     {
000068 |       "name": "whole-word original phase bookkeeping (0, 13)",
000069 |       "passed": true
000070 |     },
000071 |     {
000072 |       "name": "whole-word original phase bookkeeping (13, 0)",
000073 |       "passed": true
000074 |     },
000075 |     {
000076 |       "name": "whole-word original phase bookkeeping (0, 54)",
000077 |       "passed": true
000078 |     },
000079 |     {
000080 |       "name": "whole-word original phase bookkeeping (0, 13, 54)",
000081 |       "passed": true
000082 |     },
000083 |     {
000084 |       "name": "whole-word original phase bookkeeping (13, 0, 45, 59)",
000085 |       "passed": true
000086 |     },
000087 |     {
000088 |       "name": "actual order witness transports through split isometry: finite coefficient r_then_s",
000089 |       "passed": true
000090 |     },
000091 |     {
000092 |       "name": "actual order witness transports through split isometry: finite coefficient s_then_r",
000093 |       "passed": true
000094 |     },
000095 |     {
000096 |       "name": "interior current word gives normalized trace0 in first order",
000097 |       "passed": true
000098 |     },
000099 |     {
000100 |       "name": "interior current word gives normalized trace1 in reverseorder",
000101 |       "passed": true
000102 |     },
000103 |     {
000104 |       "name": "original four-CAR Jminus1 vacuum norm is3over4 not3over2",
000105 |       "passed": true
000106 |     },
000107 |     {
000108 |       "name": "basic SU4 root norm is2 under fundamental trace",
000109 |       "passed": true
000110 |     },
000111 |     {
000112 |       "name": "basic root-current central coefficient is1",
000113 |       "passed": true
000114 |     },
000115 |     {
000116 |       "name": "mode energy coefficient from current CCR",
000117 |       "passed": true
000118 |     },
000119 |     {
000120 |       "name": "smooth loop same-event double pulse quadruples energy",
000121 |       "passed": true
000122 |     },
000123 |     {
000124 |       "name": "Parseval plus original current level yields3pi/16 collar coefficient",
000125 |       "passed": true
000126 |     },
000127 |     {
000128 |       "name": "actual full source grade predicts exterior stress2h0",
000129 |       "passed": true
000130 |     }
000131 |   ],
000132 |   "source_sha256": "3852fabaf10c143fe20238b67406df6396f85c931dfd4834fe91a2d7ef900593",
000133 |   "original_descendant_certificate_sha256": "2de0c243ee4bd2ff3c5e98e1c897cad71795fb7f52feacd78f34da5091579138",
000134 |   "exterior_current_coefficients": {
000135 |     "before": 2,
000136 |     "global_ray13": 0,
000137 |     "unread_global60": "2/5",
000138 |     "any_local_nonselective_operation": 2
000139 |   },
000140 |   "order_witness": {
000141 |     "localized_encoded_original_probabilities": [
000142 |       "1/3",
000143 |       "1"
000144 |     ],
000145 |     "local_current_normalized_trace_coefficients": [
000146 |       0,
000147 |       1
000148 |     ],
000149 |     "scope": "Given original current net; actual split map theorem manual, encoded state not primitive physical preparation"
000150 |   },
000151 |   "source_grade": 2,
000152 |   "current_q_norm": "3/4",
000153 |   "canonical_split_unitary_numerically_constructed": false,
000154 |   "infinite_split_locality_and_covariance": "manual primary theorem application; proof file",
000155 |   "source_physical_state_preserved_by_split_encoding": false,
000156 |   "physical_origin_closed": false,
000157 |   "new_lean_formalization": false
000158 | }