Red team — the verifier vs known attacks
Latest make proof run. "caught" = attack blocked, scored zero. The two honest patches at the bottom must be accepted — false positives count against the verifier.
| attack | verdict | score | stopped at | findings |
|---|
Offline proof run —
make proof: every public claim exercised with no model, no key, no network.
Latest search run
Objective graph
Goals decomposed into nodes only tests can fulfil.
Pull request pipeline
Every change goes through a reviewed PR. Bars show lines added and removed, scaled to the largest diff.
Receipt chains
Every graded node is signed into a hash chain. The third row is the tamper demo: a forged green verdict, detected by make audit.
| run | receipts | head | green | progress | chain |
|---|
Cheat detector — active rules
Each rule ships with a patch that trips it and a patch that must not.
Research digest
Verified before the build, so nobody re-searches it on the day.
RESEARCH.md — the TrueForge wire contract, SSE event stream, approval flow, sandbox facts, all primary-sourced · BLOG.md · SUBMISSION.md