TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-COLOR-DENSITY-DESCENT.json
Original file SHA-256: 3bd54915e666589f1dde318fd2e25e29cf1412d545f09b25633d204b8f911410
Inclusive original lines: 1-100
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": "R073",
000003 |   "passed": 36,
000004 |   "w": [
000005 |     1,
000006 |     -1,
000007 |     0,
000008 |     -1,
000009 |     -1,
000010 |     -1,
000011 |     0,
000012 |     -1
000013 |   ],
000014 |   "D": [
000015 |     0,
000016 |     6,
000017 |     4,
000018 |     6,
000019 |     2,
000020 |     6,
000021 |     4,
000022 |     6
000023 |   ],
000024 |   "L": [
000025 |     0,
000026 |     1,
000027 |     1,
000028 |     3,
000029 |     1,
000030 |     3,
000031 |     3,
000032 |     5
000033 |   ],
000034 |   "whole_formula": "ell_(8k+s)=k*D_s+L_s; ell_m=0 iff8 dividesm",
000035 |   "continuous_admissible_scalar_profiles": "Fourier support in8Z",
000036 |   "cos_leakage_norm2": "1/4",
000037 |   "arc_commutant_rank": 7,
000038 |   "exterior_commutator_norm2": "183/2048",
000039 |   "coordinate_support_class": "O=F^-1(K) modulo nullsets for color-invariant CAR support",
000040 |   "modes": [
000041 |     {
000042 |       "m": 1,
000043 |       "charged_norm2": 1,
000044 |       "neutral_norm2": 0,
000045 |       "total_norm2": 1
000046 |     },
000047 |     {
000048 |       "m": 2,
000049 |       "charged_norm2": 1,
000050 |       "neutral_norm2": 1,
000051 |       "total_norm2": 2
000052 |     },
000053 |     {
000054 |       "m": 3,
000055 |       "charged_norm2": 3,
000056 |       "neutral_norm2": 0,
000057 |       "total_norm2": 3
000058 |     },
000059 |     {
000060 |       "m": 4,
000061 |       "charged_norm2": 1,
000062 |       "neutral_norm2": 3,
000063 |       "total_norm2": 4
000064 |     },
000065 |     {
000066 |       "m": 5,
000067 |       "charged_norm2": 3,
000068 |       "neutral_norm2": 2,
000069 |       "total_norm2": 5
000070 |     },
000071 |     {
000072 |       "m": 6,
000073 |       "charged_norm2": 3,
000074 |       "neutral_norm2": 3,
000075 |       "total_norm2": 6
000076 |     },
000077 |     {
000078 |       "m": 7,
000079 |       "charged_norm2": 5,
000080 |       "neutral_norm2": 2,
000081 |       "total_norm2": 7
000082 |     },
000083 |     {
000084 |       "m": 8,
000085 |       "charged_norm2": 0,
000086 |       "neutral_norm2": 8,
000087 |       "total_norm2": 8
000088 |     },
000089 |     {
000090 |       "m": 9,
000091 |       "charged_norm2": 7,
000092 |       "neutral_norm2": 2,
000093 |       "total_norm2": 9
000094 |     },
000095 |     {
000096 |       "m": 10,
000097 |       "charged_norm2": 5,
000098 |       "neutral_norm2": 5,
000099 |       "total_norm2": 10
000100 |     },