TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/joint-lift-native-clock-results.json
Original file SHA-256: 8d86f0b905ae317362205fab66c49e0e240bd8fff8af30eaed2269f32a7c8de0
Inclusive original lines: 1-85
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 |   "research_id": "MATH.ORIGINAL-SEAM.JOINT-LIFT-NATIVE-CLOCK.01",
000003 |   "verdict": "EXACT_SCOPED_COMPARISON_PHYSICAL_SOURCE_NOT_DERIVED",
000004 |   "quarter_phase_order": [
000005 |     "1",
000006 |     "-1",
000007 |     "i",
000008 |     "-i"
000009 |   ],
000010 |   "quarter_types": [
000011 |     {
000012 |       "character": [
000013 |         60,
000014 |         60,
000015 |         64,
000016 |         64
000017 |       ],
000018 |       "classes": 8
000019 |     },
000020 |     {
000021 |       "character": [
000022 |         70,
000023 |         66,
000024 |         56,
000025 |         56
000026 |       ],
000027 |       "classes": 18
000028 |     },
000029 |     {
000030 |       "character": [
000031 |         82,
000032 |         54,
000033 |         56,
000034 |         56
000035 |       ],
000036 |       "classes": 24
000037 |     },
000038 |     {
000039 |       "character": [
000040 |         92,
000041 |         28,
000042 |         64,
000043 |         64
000044 |       ],
000045 |       "classes": 8
000046 |     },
000047 |     {
000048 |       "character": [
000049 |         134,
000050 |         2,
000051 |         56,
000052 |         56
000053 |       ],
000054 |       "classes": 6
000055 |     }
000056 |   ],
000057 |   "native_quarter_residues": [
000058 |     [
000059 |       0,
000060 |       2,
000061 |       2,
000062 |       2
000063 |     ],
000064 |     [
000065 |       1,
000066 |       1,
000067 |       1,
000068 |       3
000069 |     ],
000070 |     [
000071 |       1,
000072 |       1,
000073 |       3,
000074 |       1
000075 |     ],
000076 |     [
000077 |       1,
000078 |       3,
000079 |       1,
000080 |       1
000081 |     ],
000082 |     [
000083 |       2,
000084 |       0,
000085 |       2,