TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-WEYL-COMPRESSION.json Original file SHA-256: 6a1d56766c8bab7fe5b05ca0442c9fb930e2081bc671317a71d83527bb944170 Inclusive original lines: 1-173 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 | "verdict": "EXACT_SCOPED_NONLOCALITY_OF_BARE_NATIVE_COMPRESSION", 000003 | "all_passed": true, 000004 | "checks": [ 000005 | "Unchanged original native Fock Gram", 000006 | "A independent exact oscillator coefficient 00", 000007 | "A independent exact oscillator coefficient 01", 000008 | "A independent exact oscillator coefficient 02", 000009 | "A independent exact oscillator coefficient 03", 000010 | "A independent exact oscillator coefficient 04", 000011 | "A independent exact oscillator coefficient 10", 000012 | "A independent exact oscillator coefficient 11", 000013 | "A independent exact oscillator coefficient 12", 000014 | "A independent exact oscillator coefficient 13", 000015 | "A independent exact oscillator coefficient 14", 000016 | "A independent exact oscillator coefficient 20", 000017 | "A independent exact oscillator coefficient 21", 000018 | "A independent exact oscillator coefficient 22", 000019 | "A independent exact oscillator coefficient 23", 000020 | "A independent exact oscillator coefficient 24", 000021 | "A independent exact oscillator coefficient 30", 000022 | "A independent exact oscillator coefficient 31", 000023 | "A independent exact oscillator coefficient 32", 000024 | "A independent exact oscillator coefficient 33", 000025 | "A independent exact oscillator coefficient 34", 000026 | "A independent exact oscillator coefficient 40", 000027 | "A independent exact oscillator coefficient 41", 000028 | "A independent exact oscillator coefficient 42", 000029 | "A independent exact oscillator coefficient 43", 000030 | "A independent exact oscillator coefficient 44", 000031 | "A Hermitian in original metric", 000032 | "B independent exact oscillator coefficient 00", 000033 | "B independent exact oscillator coefficient 01", 000034 | "B independent exact oscillator coefficient 02", 000035 | "B independent exact oscillator coefficient 03", 000036 | "B independent exact oscillator coefficient 04", 000037 | "B independent exact oscillator coefficient 10", 000038 | "B independent exact oscillator coefficient 11", 000039 | "B independent exact oscillator coefficient 12", 000040 | "B independent exact oscillator coefficient 13", 000041 | "B independent exact oscillator coefficient 14", 000042 | "B independent exact oscillator coefficient 20", 000043 | "B independent exact oscillator coefficient 21", 000044 | "B independent exact oscillator coefficient 22", 000045 | "B independent exact oscillator coefficient 23", 000046 | "B independent exact oscillator coefficient 24", 000047 | "B independent exact oscillator coefficient 30", 000048 | "B independent exact oscillator coefficient 31", 000049 | "B independent exact oscillator coefficient 32", 000050 | "B independent exact oscillator coefficient 33", 000051 | "B independent exact oscillator coefficient 34", 000052 | "B independent exact oscillator coefficient 40", 000053 | "B independent exact oscillator coefficient 41", 000054 | "B independent exact oscillator coefficient 42", 000055 | "B independent exact oscillator coefficient 43", 000056 | "B independent exact oscillator coefficient 44", 000057 | "B Hermitian in original metric", 000058 | "Whole two-strength commutator identity", 000059 | "No false low-order effect: leading coefficient degree8", 000060 | "Exact witness a=b=1", 000061 | "Actual witness rank2", 000062 | "Metric-correct positive commutator norm", 000063 | "Witness squared Hilbert Schmidt norm", 000064 | "Full omitted modes cannot remove nonzero witness" 000065 | ], 000066 | "source": "Unchanged original native code in full given E8 Cartan Fock source", 000067 | "raw_gram": [ 000068 | "96", 000069 | "8", 000070 | "8", 000071 | "8", 000072 | "1" 000073 | ], 000074 | "displacement_A": [ 000075 | "a", 000076 | "0", 000077 | "0", 000078 | "0" 000079 | ], 000080 | "displacement_B": [ 000081 | "b", 000082 | "b", 000083 | "0", 000084 | "0" 000085 | ], 000086 | "normalized_by_whole_vacuum_Weyl_scalars": true, 000087 | "matrix_A": [ 000088 | [ 000089 | "(a**8 - 16*a**6 + 72*a**4 - 96*a**2 + 96)/96", 000090 | "0", 000091 | "0", 000092 | "0", 000093 | "0" 000094 | ], 000095 | [ 000096 | "0", 000097 | "(a**2 - 2)**2/4", 000098 | "0", 000099 | "0", 000100 | "0" 000101 | ], 000102 | [ 000103 | "0", 000104 | "0", 000105 | "(a**2 - 2)**2/4", 000106 | "0", 000107 | "0" 000108 | ], 000109 | [ 000110 | "0", 000111 | "0", 000112 | "0", 000113 | "(a**2 - 2)**2/4", 000114 | "0" 000115 | ], 000116 | [ 000117 | "0", 000118 | "0", 000119 | "0", 000120 | "0", 000121 | "-(a - 1)*(a + 1)" 000122 | ] 000123 | ], 000124 | "matrix_B": [ 000125 | [ 000126 | "(b**8 - 8*b**6 + 36*b**4 - 48*b**2 + 24)/24", 000127 | "b**4*(b**2 - 6)*(b**2 - 2)/48", 000128 | "0", 000129 | "0", 000130 | "0" 000131 | ], 000132 | [ 000133 | "b**4*(b**2 - 6)*(b**2 - 2)/4", 000134 | "(b**8 - 8*b**6 + 20*b**4 - 16*b**2 + 8)/8", 000135 | "0", 000136 | "0", 000137 | "0" 000138 | ], 000139 | [ 000140 | "0", 000141 | "0", 000142 | "(b**4 - 4*b**2 + 2)/2", 000143 | "b**4/2", 000144 | "0" 000145 | ], 000146 | [ 000147 | "0", 000148 | "0", 000149 | "b**4/2", 000150 | "(b**4 - 4*b**2 + 2)/2", 000151 | "0" 000152 | ], 000153 | [ 000154 | "0", 000155 | "0", 000156 | "0", 000157 | "0", 000158 | "(b - 1)**2*(b + 1)**2" 000159 | ] 000160 | ], 000161 | "commutator_01": "a**4*b**4*(a - 2)*(a + 2)*(a**2 - 12)*(b**2 - 6)*(b**2 - 2)/4608", 000162 | "commutator_10": "-12*commutator_01", 000163 | "witness_raw_01": "55/1536", 000164 | "witness_orthonormal_01": "55*sqrt(3)/768", 000165 | "witness_rank": 2, 000166 | "witness_HS_squared_without_nonzero_profile_scalars": "3025/98304", 000167 | "whole_class_zero_locus": "a=0 or b=0 or a^2 in {4,12} or b^2 in {2,6}", 000168 | "first_joint_nonzero_strength_order": 8, 000169 | "actual_profile_requirement": "Disjoint nonempty proper intervals; smooth real vector profiles realizing indicated mode1 displacements and zero complementary mode1 components. Exact compact-support moment construction in proof; all higher modes retained in finite positive norm scalar.", 000170 | "full_operator_commutator": "0 by exact local current Weyl relation for disjoint supports", 000171 | "lost_intermediate_identity": "[PAP,PBP]=PBQAP-PAQBP when [A,B]=0", 000172 | "scope": "Probe only in given full source. No physical coupling or new geometry selected. Bare compression is not a local algebra homomorphism; lossless full-word readout retains original commutation. No physical signalling claim,4D reconstruction or global TFPT exclusion." 000173 | }