TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/two_face_source_20261029/two-face-source-results.json
Original file SHA-256: e862327f829aa1721e505865ee785657c4c8a4bf08a07a0c89ca9453cf284f98
Inclusive original lines: 1-113
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": "PASS_EXISTING_TWO_FACE_SOURCE_AND_TYPED_REFLECTION",
000003 |   "actual_symbolic_source": "z=exp(-pi/12), W=1/2, beta=1, NS lambda=(pi,3pi)",
000004 |   "original_implementations_reused": [
000005 |     "source_sewing.source_lift",
000006 |     "boundary_amplitude.graph_projection",
000007 |     "check_half_period_gns_sewing.double_data"
000008 |   ],
000009 |   "covariance": [
000010 |     [
000011 |       "1/((z**4 + 1)*(z**8 - z**4 + 1))",
000012 |       "0",
000013 |       "z**6/((z**4 + 1)*(z**8 - z**4 + 1))",
000014 |       "0"
000015 |     ],
000016 |     [
000017 |       "0",
000018 |       "1/((z**4 + 1)*(z**8 - z**4 + 1)*(z**24 - z**12 + 1))",
000019 |       "0",
000020 |       "z**18/((z**4 + 1)*(z**8 - z**4 + 1)*(z**24 - z**12 + 1))"
000021 |     ],
000022 |     [
000023 |       "z**6/((z**4 + 1)*(z**8 - z**4 + 1))",
000024 |       "0",
000025 |       "z**12/((z**4 + 1)*(z**8 - z**4 + 1))",
000026 |       "0"
000027 |     ],
000028 |     [
000029 |       "0",
000030 |       "z**18/((z**4 + 1)*(z**8 - z**4 + 1)*(z**24 - z**12 + 1))",
000031 |       "0",
000032 |       "z**36/((z**4 + 1)*(z**8 - z**4 + 1)*(z**24 - z**12 + 1))"
000033 |     ]
000034 |   ],
000035 |   "cross": [
000036 |     "z**6/(z**12 + 1)",
000037 |     "z**18/(z**36 + 1)"
000038 |   ],
000039 |   "reflected_charge_kernels": [
000040 |     {
000041 |       "psi": "z**4/((z**4 + 1)*(z**8 - z**4 + 1))",
000042 |       "bar": "z**8/((z**4 + 1)*(z**8 - z**4 + 1))",
000043 |       "midpoint": "z**6/(z**12 + 1)"
000044 |     },
000045 |     {
000046 |       "psi": "z**12/((z**4 + 1)*(z**8 - z**4 + 1)*(z**24 - z**12 + 1))",
000047 |       "bar": "z**24/((z**4 + 1)*(z**8 - z**4 + 1)*(z**24 - z**12 + 1))",
000048 |       "midpoint": "z**18/(z**36 + 1)"
000049 |     }
000050 |   ],
000051 |   "neutral_gram": [
000052 |     [
000053 |       "1",
000054 |       "(z**16 + 1)*(z**32 - z**16 + 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000055 |       "I*(z**2 - I)*(z**2 + I)*(z**4 - I)*(z**4 - I*z**2 - 1)*(z**4 + I*z**2 - 1)*(z**8 + I*z**4 - 1)*(z**24 - I*z**12 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000056 |       "I*(z**16 + I)*(z**32 - I*z**16 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))"
000057 |     ],
000058 |     [
000059 |       "(z**16 + 1)*(z**32 - z**16 + 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000060 |       "(z**8 + 1)**2*(z**16 - z**8 + 1)**2/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000061 |       "I*(z**16 + I)*(z**32 - I*z**16 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000062 |       "I*(z**4 - I)*(z**4 + I)*(z**8 + I)*(z**8 - I*z**4 - 1)*(z**8 + I*z**4 - 1)*(z**16 - I*z**8 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))"
000063 |     ],
000064 |     [
000065 |       "-I*(z**2 - I)*(z**2 + I)*(z**4 + I)*(z**4 - I*z**2 - 1)*(z**4 + I*z**2 - 1)*(z**8 - I*z**4 - 1)*(z**24 + I*z**12 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000066 |       "-I*(z**16 - I)*(z**32 + I*z**16 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000067 |       "1",
000068 |       "(z**16 + 1)*(z**32 - z**16 + 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))"
000069 |     ],
000070 |     [
000071 |       "-I*(z**16 - I)*(z**32 + I*z**16 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000072 |       "-I*(z**4 - I)*(z**4 + I)*(z**8 - I)*(z**8 - I*z**4 - 1)*(z**8 + I*z**4 - 1)*(z**16 + I*z**8 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000073 |       "(z**16 + 1)*(z**32 - z**16 + 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000074 |       "(z**8 + 1)**2*(z**16 - z**8 + 1)**2/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))"
000075 |     ]
000076 |   ],
000077 |   "reflected_history_gram": [
000078 |     [
000079 |       "1",
000080 |       "I*(z**16 + I)*(z**32 - I*z**16 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000081 |       "I*(z**16 + I)*(z**32 - I*z**16 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000082 |       "-(z - 1)*(z + 1)*(z**2 + 1)*(z**8 + 1)*(z**32 + 1)/((z**4 + 1)*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))"
000083 |     ],
000084 |     [
000085 |       "-I*(z**16 - I)*(z**32 + I*z**16 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000086 |       "(z**16 - z**12 + z**8 - z**4 + 1)*(z**24 - z**20 + z**16 - z**12 + z**8 - z**4 + 1)/((z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000087 |       "(z**16 + 1)*(z**32 - z**16 + 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000088 |       "I*(z**16 + I)*(z**32 - I*z**16 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))"
000089 |     ],
000090 |     [
000091 |       "-I*(z**16 - I)*(z**32 + I*z**16 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000092 |       "(z**16 + 1)*(z**32 - z**16 + 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000093 |       "(z**16 - z**12 + z**8 - z**4 + 1)*(z**24 - z**20 + z**16 - z**12 + z**8 - z**4 + 1)/((z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000094 |       "I*(z**16 + I)*(z**32 - I*z**16 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))"
000095 |     ],
000096 |     [
000097 |       "-(z - 1)*(z + 1)*(z**2 + 1)*(z**8 + 1)*(z**32 + 1)/((z**4 + 1)*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000098 |       "-I*(z**16 - I)*(z**32 + I*z**16 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000099 |       "-I*(z**16 - I)*(z**32 + I*z**16 - 1)/((z**4 + 1)**2*(z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))",
000100 |       "(z**16 - z**12 + z**8 - z**4 + 1)*(z**24 - z**20 + z**16 - z**12 + z**8 - z**4 + 1)/((z**8 - z**4 + 1)**2*(z**24 - z**12 + 1))"
000101 |     ]
000102 |   ],
000103 |   "J_is_conjugate_linear_multiplicative": true,
000104 |   "J_occupation_image": "J n_R J = I - n_L",
000105 |   "partner_current_orientation": "j_L(A) = -R_(j(A)); opposite Weyl cocycle follows",
000106 |   "correct_OS_coordinate_map": "rho(t,s)=(-t,s); no spatial profile reversal",
000107 |   "bounded_Weyl_all_mode_scope": "Analytic bounded-operator HS theorem in PROOF.txt; not inferred from finite matrices",
000108 |   "actual_physical_P1_second_boundary_identified": false,
000109 |   "primitive_P1_measure_or_source_coupling_derived": false,
000110 |   "physical_time_identified": false,
000111 |   "complete_TFPT_solution": false,
000112 |   "ledger_changed": false
000113 | }