task
Frozen task
The question, source set, baseline, and scoring rule are fixed before the run is interpreted.
frontiers / frontier
Formal-conjectures Lean proofs (kernel-verified)
- id
- vfr_97d7d25957384f80
- license
- CC-BY-4.0
- findings
- 2
- accepted core
- 0
- contested
- 0
- links
- 0
- sources
- 2
- evidence
- 2
- avg conf
- 0.99
e4/4 · finding.asserted · reviewer:will · 2026-06-03 · null→5d1d
attempt
Attempt packet
The agent or reviewer, capability, system, input material, declared output material, environment, and failures stay attached to the result.
evaluation
Measured result
The evaluation record pins the target, outcome, score, evidence refs, evaluator, and timestamp.
review
Accepted meaning
Review decides what the result means for the frontier. The score is evidence, not the event.
No benchmark runs
No frozen-task evaluations on record.
ver_* records live under .vela/evaluations/.