TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/native-arc-charge-source-interface-20261026/elliptic_current_source_results.json
Original file SHA-256: 7b8c4003ffac61f99f420af8e5a9808714c6378586e6a891973733b349ca534c
Inclusive original lines: 1-114
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 |   "finite_determinant_diagnostics": [
000003 |     {
000004 |       "alpha": 0.25,
000005 |       "mode_cut": 16,
000006 |       "ordered_error": 2.3034571539640267e-12,
000007 |       "ordered_value": [
000008 |         0.7552753528385268,
000009 |         -0.1377569344096124
000010 |       ],
000011 |       "single_error": 5.955043157159853e-12
000012 |     },
000013 |     {
000014 |       "alpha": 0.25,
000015 |       "mode_cut": 32,
000016 |       "ordered_error": 1.047382306668854e-15,
000017 |       "ordered_value": [
000018 |         0.755275352836397,
000019 |         -0.1377569344087353
000020 |       ],
000021 |       "single_error": 1.5386997231914279e-15
000022 |     },
000023 |     {
000024 |       "alpha": 0.75,
000025 |       "mode_cut": 16,
000026 |       "ordered_error": 1.8045907896091877e-12,
000027 |       "ordered_value": [
000028 |         0.7533941293118737,
000029 |         -0.14769941604792824
000030 |       ],
000031 |       "single_error": 5.9555115661612165e-12
000032 |     },
000033 |     {
000034 |       "alpha": 0.75,
000035 |       "mode_cut": 32,
000036 |       "ordered_error": 1.0235750533041806e-15,
000037 |       "ordered_value": [
000038 |         0.7533941293102719,
000039 |         -0.14769941604709638
000040 |       ],
000041 |       "single_error": 1.5699247457590104e-15
000042 |     }
000043 |   ],
000044 |   "formal_partition_cut": 80,
000045 |   "formal_partition_monomials": [
000046 |     177,
000047 |     177
000048 |   ],
000049 |   "inverse_temperature_quarter": "4*pi",
000050 |   "neutral_Q0_Jminus1_Jplus1": "0.00000348735451780811656081780183418233983790345012",
000051 |   "neutral_vertex_word_diagnostics": [
000052 |     {
000053 |       "alpha": "0.25",
000054 |       "pairs": 1,
000055 |       "relative_error": "0.0"
000056 |     },
000057 |     {
000058 |       "alpha": "0.25",
000059 |       "pairs": 2,
000060 |       "relative_error": "1.4053296e-138"
000061 |     },
000062 |     {
000063 |       "alpha": "0.25",
000064 |       "pairs": 4,
000065 |       "relative_error": "3.0156372e-134"
000066 |     },
000067 |     {
000068 |       "alpha": "0.25",
000069 |       "pairs": 8,
000070 |       "relative_error": "2.1147633e-126"
000071 |     },
000072 |     {
000073 |       "alpha": "0.75",
000074 |       "pairs": 1,
000075 |       "relative_error": "4.7120439e-141"
000076 |     },
000077 |     {
000078 |       "alpha": "0.75",
000079 |       "pairs": 2,
000080 |       "relative_error": "9.109833e-139"
000081 |     },
000082 |     {
000083 |       "alpha": "0.75",
000084 |       "pairs": 4,
000085 |       "relative_error": "5.2164716e-134"
000086 |     },
000087 |     {
000088 |       "alpha": "0.75",
000089 |       "pairs": 8,
000090 |       "relative_error": "1.7392745e-126"
000091 |     }
000092 |   ],
000093 |   "quarter_current_rows": [
000094 |     {
000095 |       "Jminus1_Jplus1": "0.00000348735451780811656081780183418233983790345012",
000096 |       "alpha": "0.25",
000097 |       "mean_original_charge": "0.0413432895814817034296425668002382977515017466",
000098 |       "partition": "1.04329826264468701252787568881559145610331121"
000099 |     },
000100 |     {
000101 |       "Jminus1_Jplus1": "0.00000348735451780811656081780183418233983790345012",
000102 |       "alpha": "0.75",
000103 |       "mean_original_charge": "-0.0413432895814817034296425668002382977515017466",
000104 |       "partition": "1.04329826264468701252787568881559145610331121"
000105 |     }
000106 |   ],
000107 |   "scope": "Existing same-E free Gaussian quantization. All-profile formula proved separately; finite determinants are diagnostics. No physical temperature,time or primitive P1 measure selected. Old Hardy native source is preserved as a different state.",
000108 |   "source_sha256": {
000109 |     "experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/BOUNDARY-SOURCE.txt": "a12e7b7566734e26ef9c53c6ee910638a77f20412085943d6cd30b255b7e9251",
000110 |     "experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/ELLIPTIC-GREEN-RP.txt": "d8799f04851a9bd539b05b4d013b38eb00de9bec07dddde6438023aaf1facd80",
000111 |     "experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/UPDATE-REAL-SLOTS-AND-SOURCE.txt": "c2d8461181fdd54a61cfcd68617a1905964e76b50cb5737e404a75b42717fc9e"
000112 |   },
000113 |   "verdict": "EXACT_SCOPED_ELLIPTIC_CURRENT_FUNCTIONAL; NEUTRAL_STATE_DIFFERS_FROM_HARDY; ORIGINAL_P1_MEASURE_OPEN"
000114 | }