TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/boundary_origin_20261027/uniqueness/norm-power-uniqueness-results.json
Original file SHA-256: 3562ebc025136aeb765418ad0a0c8872994554bc502ba011d7c4d104d792e1d9
Inclusive original lines: 1-142
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 |   "alpha_on_norm_choices": [
000003 |     3,
000004 |     7
000005 |   ],
000006 |   "alpha_on_norm_square": 6,
000007 |   "beta_on_inverse_norm_power": "2*k mod 8",
000008 |   "eta_sign_on_omega_fourth_exp": 0,
000009 |   "gamma_on_norm_power": 1,
000010 |   "k_plus_4_effect": "same beta and gamma, alpha changes sign",
000011 |   "k_plus_8_effect": "same full finite action",
000012 |   "minimal_equivariantly_trivial_norm_power": 8,
000013 |   "native_allowed_k_mod_4": [
000014 |     1
000015 |   ],
000016 |   "native_allowed_k_mod_8": [
000017 |     1,
000018 |     5
000019 |   ],
000020 |   "normK_omega_Q_exp": 6,
000021 |   "normK_omega_fourth_Q_exp": 0,
000022 |   "phase_convention": "zeta_8 exponent modulo 8",
000023 |   "tables": {
000024 |     "3": [
000025 |       {
000026 |         "alpha_fourth_is_minus_one": false,
000027 |         "alpha_relative_exp_mod_8": 0,
000028 |         "beta_exp_mod_8": 0,
000029 |         "k_mod_8": 0,
000030 |         "native_beta_plus_i": false
000031 |       },
000032 |       {
000033 |         "alpha_fourth_is_minus_one": true,
000034 |         "alpha_relative_exp_mod_8": 5,
000035 |         "beta_exp_mod_8": 2,
000036 |         "k_mod_8": 1,
000037 |         "native_beta_plus_i": true
000038 |       },
000039 |       {
000040 |         "alpha_fourth_is_minus_one": false,
000041 |         "alpha_relative_exp_mod_8": 2,
000042 |         "beta_exp_mod_8": 4,
000043 |         "k_mod_8": 2,
000044 |         "native_beta_plus_i": false
000045 |       },
000046 |       {
000047 |         "alpha_fourth_is_minus_one": true,
000048 |         "alpha_relative_exp_mod_8": 7,
000049 |         "beta_exp_mod_8": 6,
000050 |         "k_mod_8": 3,
000051 |         "native_beta_plus_i": false
000052 |       },
000053 |       {
000054 |         "alpha_fourth_is_minus_one": false,
000055 |         "alpha_relative_exp_mod_8": 4,
000056 |         "beta_exp_mod_8": 0,
000057 |         "k_mod_8": 4,
000058 |         "native_beta_plus_i": false
000059 |       },
000060 |       {
000061 |         "alpha_fourth_is_minus_one": true,
000062 |         "alpha_relative_exp_mod_8": 1,
000063 |         "beta_exp_mod_8": 2,
000064 |         "k_mod_8": 5,
000065 |         "native_beta_plus_i": true
000066 |       },
000067 |       {
000068 |         "alpha_fourth_is_minus_one": false,
000069 |         "alpha_relative_exp_mod_8": 6,
000070 |         "beta_exp_mod_8": 4,
000071 |         "k_mod_8": 6,
000072 |         "native_beta_plus_i": false
000073 |       },
000074 |       {
000075 |         "alpha_fourth_is_minus_one": true,
000076 |         "alpha_relative_exp_mod_8": 3,
000077 |         "beta_exp_mod_8": 6,
000078 |         "k_mod_8": 7,
000079 |         "native_beta_plus_i": false
000080 |       }
000081 |     ],
000082 |     "7": [
000083 |       {
000084 |         "alpha_fourth_is_minus_one": false,
000085 |         "alpha_relative_exp_mod_8": 0,
000086 |         "beta_exp_mod_8": 0,
000087 |         "k_mod_8": 0,
000088 |         "native_beta_plus_i": false
000089 |       },
000090 |       {
000091 |         "alpha_fourth_is_minus_one": true,
000092 |         "alpha_relative_exp_mod_8": 1,
000093 |         "beta_exp_mod_8": 2,
000094 |         "k_mod_8": 1,
000095 |         "native_beta_plus_i": true
000096 |       },
000097 |       {
000098 |         "alpha_fourth_is_minus_one": false,
000099 |         "alpha_relative_exp_mod_8": 2,
000100 |         "beta_exp_mod_8": 4,
000101 |         "k_mod_8": 2,
000102 |         "native_beta_plus_i": false
000103 |       },
000104 |       {
000105 |         "alpha_fourth_is_minus_one": true,
000106 |         "alpha_relative_exp_mod_8": 3,
000107 |         "beta_exp_mod_8": 6,
000108 |         "k_mod_8": 3,
000109 |         "native_beta_plus_i": false
000110 |       },
000111 |       {
000112 |         "alpha_fourth_is_minus_one": false,
000113 |         "alpha_relative_exp_mod_8": 4,
000114 |         "beta_exp_mod_8": 0,
000115 |         "k_mod_8": 4,
000116 |         "native_beta_plus_i": false
000117 |       },
000118 |       {
000119 |         "alpha_fourth_is_minus_one": true,
000120 |         "alpha_relative_exp_mod_8": 5,
000121 |         "beta_exp_mod_8": 2,
000122 |         "k_mod_8": 5,
000123 |         "native_beta_plus_i": true
000124 |       },
000125 |       {
000126 |         "alpha_fourth_is_minus_one": false,
000127 |         "alpha_relative_exp_mod_8": 6,
000128 |         "beta_exp_mod_8": 4,
000129 |         "k_mod_8": 6,
000130 |         "native_beta_plus_i": false
000131 |       },
000132 |       {
000133 |         "alpha_fourth_is_minus_one": true,
000134 |         "alpha_relative_exp_mod_8": 7,
000135 |         "beta_exp_mod_8": 6,
000136 |         "k_mod_8": 7,
000137 |         "native_beta_plus_i": false
000138 |       }
000139 |     ]
000140 |   },
000141 |   "verdict": "FULL_RELATIONS_FIX_K_MOD_4_NOT_LITERAL_ONE_COPY"
000142 | }