Evidence

../

grow_whicher/: An exact exhaustive certificate verifies the Grow–Whicher example.

tensor_layers/: Exact checks of the 3-by-5 tensor-layer data of Ramsey–Graham Example 7.3 confirm that every listed layer and set is dissociated.

These computations check published finite examples exactly. Every probe lives in its own folder under the evidence contract: a main.py that states its checked clauses and exits nonzero on any failed obligation, an assets/ folder for the exact inputs it reads, and its own page. The aggregate entry point runs every checker probe in a fresh interpreter and fails if any fails. From the repository root:

uv run --no-sync python wiki/research/erdos_774/evidence/main.py

The checkers use only the Python standard library and the shared root tools checker, so they run in the repository's locked environment; the whole battery finishes in a few seconds.