Written on the Wall #603 sits one line above #604 and is on the Los Alamos survivor list - and Opus 5 proved it TRUE, in a strictly stronger pointwise form: for a triangle-free graph, E(v) >= the max degree in N(v) >= the dual degree, with the complete bipartite graphs as the equality cases. It is the rare conjecture the disproof machine certified instead of broke. The new verifier section runs 105 checks with 0 failures (106 with FULL, 79 with FAST), chromatic numbers by DSATUR-ordered exhaustive backtracking throughout. Running tally: 125 disproved, 1 proved.