TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/normal-connection-marks-results.json Original file SHA-256: f5f155dccfe808870db7c95fd650dc2aba34bdbf5752bb930a6220b703dcbf75 Inclusive original lines: 1-106 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_EXACT_SCOPED_COMPARISONS", 000003 | "checks_passed": 75, 000004 | "checks": [ 000005 | "four Bloch rank-one projectors", 000006 | "Bloch sum is 2I, not the root-block resolution I", 000007 | "nonorthogonal pair overlaps", 000008 | "face magnitude 012", 000009 | "face quarter phase 012", 000010 | "face magnitude 013", 000011 | "face quarter phase 013", 000012 | "face magnitude 021", 000013 | "face quarter phase 021", 000014 | "face magnitude 023", 000015 | "face quarter phase 023", 000016 | "face magnitude 031", 000017 | "face quarter phase 031", 000018 | "face magnitude 032", 000019 | "face quarter phase 032", 000020 | "face magnitude 102", 000021 | "face quarter phase 102", 000022 | "face magnitude 103", 000023 | "face quarter phase 103", 000024 | "face magnitude 120", 000025 | "face quarter phase 120", 000026 | "face magnitude 123", 000027 | "face quarter phase 123", 000028 | "face magnitude 130", 000029 | "face quarter phase 130", 000030 | "face magnitude 132", 000031 | "face quarter phase 132", 000032 | "face magnitude 201", 000033 | "face quarter phase 201", 000034 | "face magnitude 203", 000035 | "face quarter phase 203", 000036 | "face magnitude 210", 000037 | "face quarter phase 210", 000038 | "face magnitude 213", 000039 | "face quarter phase 213", 000040 | "face magnitude 230", 000041 | "face quarter phase 230", 000042 | "face magnitude 231", 000043 | "face quarter phase 231", 000044 | "face magnitude 301", 000045 | "face quarter phase 301", 000046 | "face magnitude 302", 000047 | "face quarter phase 302", 000048 | "face magnitude 310", 000049 | "face quarter phase 310", 000050 | "face magnitude 312", 000051 | "face quarter phase 312", 000052 | "face magnitude 320", 000053 | "face quarter phase 320", 000054 | "face magnitude 321", 000055 | "face quarter phase 321", 000056 | "all tetrahedral cross ratios", 000057 | "all quarter cross ratios", 000058 | "no marked Mobius equivalence even after relabeling", 000059 | "different holomorphic four-mark automorphism groups", 000060 | "square four-cycle is not a tetrahedral holomorphic action", 000061 | "elliptic invariants j0 and j1728", 000062 | "tetrahedron matches branch quartet of E_omega", 000063 | "explicit ordered Mobius map to E_omega branches", 000064 | "C12 to E_i", 000065 | "C12 to E_omega", 000066 | "joint image function field is C6", 000067 | "joint elliptic image loses sign retained by C4", 000068 | "full deck kernel of elliptic pair", 000069 | "original mixed compiler lift has order twelve", 000070 | "mixed order twelve is retained on elliptic pair", 000071 | "original c4=sigma and c9=J marking retained", 000072 | "differentiated projection identity", 000073 | "forced off-diagonal connection is Hermitian", 000074 | "exact Kato reducing commutator", 000075 | "all diagonal freedoms preserve exact reduction", 000076 | "entire reduced circle connection including Berry term", 000077 | "operator intertwiner on all scalar Fourier functions", 000078 | "scalar original matrix source does not reduce a moving line", 000079 | "dual homogeneous line cancels every normalized spin-line face phase" 000080 | ], 000081 | "tetra_crossratio_orbit": [ 000082 | "1/2 + sqrt(3)*I/2", 000083 | "1/2 - sqrt(3)*I/2" 000084 | ], 000085 | "quarter_crossratio_orbit": [ 000086 | "-1", 000087 | "1/2", 000088 | "2" 000089 | ], 000090 | "ordered_face_trace": "sqrt(3)*I/9", 000091 | "elliptic_maps": { 000092 | "E_i": "(x,y)=(x,s^6)", 000093 | "E_omega": "(u,v)=(x^2,s^4)" 000094 | }, 000095 | "degrees": { 000096 | "C3_to_Eomega": 2, 000097 | "C12_to_Ei": 6, 000098 | "C12_to_Eomega": 8, 000099 | "joint_generic_fiber": 2 000100 | }, 000101 | "joint_image": "C6: t=s^2, t^6=x^4-1", 000102 | "forced_compiler_lift": "R12=(ix,omega*s); fourth=sigma, ninth=plain J", 000103 | "connection_class": "A=i[P_prime,P]+PAP+(I-P)A(I-P)", 000104 | "physical_source_identified": false, 000105 | "complete_TFPT_solution": false 000106 | }