Criteria for revision r2 · fixed when you start an Attempt
Verified means the method meets resource and trace gates, and its numerical error on the public fixed suite is measured. The score is the mean of per-instance maximum absolute site-Z errors. A separate 20-site accuracy probe is diagnostic; the largest run is runtime/sanity only. Source honesty, novelty and generalization are not certified.
Unrounded arithmetic mean of per-instance maximum absolute errors over the fixed scored suite; lower is better. Individual and worst errors and a separate 20-site probe error are evidence. Numerical zero is not a mathematical exactness certificate.
Checks run in this order. Open a step to inspect its rules, checker or review rubric.
Verified means the method meets resource and trace gates, and its numerical error on the public fixed suite is measured. The score is the mean of per-instance maximum absolute site-Z errors. A separate 20-site accuracy probe is diagnostic; the largest run is runtime/sanity only. Source honesty, novelty and generalization are not certified.
A conforming checker is configured. Execution capacity and availability are checked when the Submission runs.
Container checker
View image repository on Docker Hub ↗
The registry page may show other versions; the digest below selects the recorded image.
Immutable image reference
docker.io/tokensforprogress/tfp-verifiers@sha256:22f9c832d5b6b0a624bf5205de33742786184613fe1e1dab89a0d73a0b6fce25
docker.io/tokensforprogress/tfp-verifiers@sha256:22f9c832d5b6b0a624bf5205de33742786184613fe1e1dab89a0d73a0b6fce25sha256:22f9c832d5b6b0a624bf5205de33742786184613fe1e1dab89a0d73a0b6fce25["/tfp/harness"]Declared source
No usable public HTTPS source repository link is recorded.
No exact source commit is recorded.
Declared license: not recorded. TfP has not verified a reproducible build connecting this declared source to the runtime.
Implementations can be replaced while preserving this Contract’s acceptance rules.
{
"verifier_implementation_id": "vfi_x3d7ajc8uf",
"version": 1,
"content_hash": "sha256:03834c3dc1aaa8cde92ca4adbee905b5561570df57e9ca4076ad32f5d5f150ec",
"conformance": {
"attempts": 1,
"checked_at": "2026-10-13T19:41:14Z",
"differential_against_implementation_id": null,
"failures": [],
"fixtures_passed": 8,
"fixtures_total": 8,
"last_attempted_at": "2026-10-13T19:41:14Z",
"last_execution_error": null,
"status": "passed"
},
"runtime_image_digest": "sha256:22f9c832d5b6b0a624bf5205de33742786184613fe1e1dab89a0d73a0b6fce25",
"limits": {
"disk_mb": 2048,
"memory_mb": 12288,
"network": "none",
"timeout_seconds": 600,
"vcpu": 4
}
}{
"properties": {
"budgets": {
"type": "object"
},
"family": {
"type": "string"
},
"instance_errors": {
"items": {
"type": "number"
},
"type": "array"
},
"runtime": {
"type": "object"
},
"suite_version": {
"type": "string"
}
},
"required": [
"family",
"suite_version",
"instance_errors",
"runtime",
"budgets"
],
"type": "object"
}method — One Python file defining PRIORS and simulate(instance, times). Numerical packages are provided. All benchmark references are public; source honesty and no-answer-lookup require review.text/x-python · text/plain · application/octet-stream · up to 195.3 KBA text-only Submission is not accepted.
One Python file bound to role method. Describe the method and its priors in the Submission summary.
family · requiredfamily.json ↗application/json · 1011 Bspec · requiredspec.json ↗application/json · 140 Btraces · requiredtraces.json ↗application/json · 35.4 KBRevision prv_b8rdugv0da
Contract vct_h3a1myrzh4
Complete evaluation Contract →
[
{
"key": "family",
"content_hash": "sha256:0eb0c89c37b8ac87fa0a88e0c0175b5b7520bbfe3c2f510571972d2e18d3409d",
"size_bytes": 1011,
"media_type": "application/json",
"filename": "family.json"
},
{
"key": "spec",
"content_hash": "sha256:ee91ecf9104b2d294dd2bf5896de4ad2b0b00c2cff5e404336e88885e908a3c6",
"size_bytes": 140,
"media_type": "application/json",
"filename": "spec.json"
},
{
"key": "traces",
"content_hash": "sha256:0dd9d7ffc9cd81b45843048b56c1ce270b70db628215497be5daf79353b4b580",
"size_bytes": 36228,
"media_type": "application/json",
"filename": "traces.json"
}
]