About

What this is

The HIVE-LRC Observatory is a public projection of an ongoing research program attacking the Lonely Runner Conjecture for 13 nonzero speeds (14 runners). It is a curated, reviewed view, not a live feed of an internal database.

Roles

The program runs as a Human-AI collaboration: an Owner/PI sets direction and approves publication, a Contractor authors gate specifications and reviews results, and a Builder executes the mathematics, verifiers and corruption suites.

How to read it honestly

Statuses are precise and never inflated. 'Proved' means an internal proof, 'validated' means an exact finite computation, 'supported' and 'provisional' are weaker. The evidence ceiling is I2: two same-author implementations, which is not an independent-team audit or a formal proof.

Publication governance

Nothing appears here automatically. Each release passes five gates: scope correct, evidence label correct, no private path or secret, public explanation reviewed, and Owner approval. An automated scanner blocks any snapshot that leaks a filesystem path, over-states evidence, or could be read as claiming the conjecture is already settled.

Standing status

LRC(13) remains OPEN. The project has not solved it. It has built verifiable infrastructure and narrowed the mathematical obstruction, one reviewed gate at a time.