TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/dynamic_reconstruction_20261027/mckay-doob-exact.json
Original file SHA-256: 6124682d473f250a8ed92b966a2f4d9af7c93a44a20b2f7d0a70452811e9c4a1
Inclusive original lines: 1-120
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 |   "checks": {
000003 |     "marks_square_sum_120": true,
000004 |     "row_stochastic": true,
000005 |     "detailed_balance": true,
000006 |     "positive": true
000007 |   },
000008 |   "stationary_plancherel": [
000009 |     "1/120",
000010 |     "1/30",
000011 |     "3/40",
000012 |     "2/15",
000013 |     "5/24",
000014 |     "3/10",
000015 |     "2/15",
000016 |     "1/30",
000017 |     "3/40"
000018 |   ],
000019 |   "transition": [
000020 |     [
000021 |       "1/2",
000022 |       "1/2",
000023 |       "0",
000024 |       "0",
000025 |       "0",
000026 |       "0",
000027 |       "0",
000028 |       "0",
000029 |       "0"
000030 |     ],
000031 |     [
000032 |       "1/8",
000033 |       "1/2",
000034 |       "3/8",
000035 |       "0",
000036 |       "0",
000037 |       "0",
000038 |       "0",
000039 |       "0",
000040 |       "0"
000041 |     ],
000042 |     [
000043 |       "0",
000044 |       "1/6",
000045 |       "1/2",
000046 |       "1/3",
000047 |       "0",
000048 |       "0",
000049 |       "0",
000050 |       "0",
000051 |       "0"
000052 |     ],
000053 |     [
000054 |       "0",
000055 |       "0",
000056 |       "3/16",
000057 |       "1/2",
000058 |       "5/16",
000059 |       "0",
000060 |       "0",
000061 |       "0",
000062 |       "0"
000063 |     ],
000064 |     [
000065 |       "0",
000066 |       "0",
000067 |       "0",
000068 |       "1/5",
000069 |       "1/2",
000070 |       "3/10",
000071 |       "0",
000072 |       "0",
000073 |       "0"
000074 |     ],
000075 |     [
000076 |       "0",
000077 |       "0",
000078 |       "0",
000079 |       "0",
000080 |       "5/24",
000081 |       "1/2",
000082 |       "1/6",
000083 |       "0",
000084 |       "1/8"
000085 |     ],
000086 |     [
000087 |       "0",
000088 |       "0",
000089 |       "0",
000090 |       "0",
000091 |       "0",
000092 |       "3/8",
000093 |       "1/2",
000094 |       "1/8",
000095 |       "0"
000096 |     ],
000097 |     [
000098 |       "0",
000099 |       "0",
000100 |       "0",
000101 |       "0",
000102 |       "0",
000103 |       "0",
000104 |       "1/2",
000105 |       "1/2",
000106 |       "0"
000107 |     ],
000108 |     [
000109 |       "0",
000110 |       "0",
000111 |       "0",
000112 |       "0",
000113 |       "0",
000114 |       "1/2",
000115 |       "0",
000116 |       "0",
000117 |       "1/2"
000118 |     ]
000119 |   ]
000120 | }