Reference

Documentation

How the system is put together, what the solver is actually instructed to do, and how runs are scored. Written for someone deciding whether the measurement is meaningful.

System

Architecture

5 §

How a run is assembled, streamed, and published — from problem record to transcript.

Problem records

4 §

The schema behind each tracked problem and how attack surfaces are curated.

Method

The increment protocol

3 §

Why the solver is forbidden from claiming a proof, and what it is asked to produce instead.

Evaluation and the memorisation control

4 §

How runs are scored, and why a solved problem sits in the problem set.

Operations

Inference budget

3 §

How the schedule is funded, what it costs, and when it stops.