A vertex-level reformulation of the 323 hypothesis — counting vertices at positive even distance plus odd-horizontal edges against the minimum common-neighbourhood size — collapses the problem. Exhaustive verification across all 273,189 connected graphs of order 4-9 confirms zero mismatches. The WTD batch: three proved, one false, one already counted, one to go.
Math