{"verifier_contract":{"id":"vct_6iumj66l83","verifier_id":"vfr_zpi08v0tla","version_number":3,"conformance_fixtures":[{"description":"A complete two-page translation of the fixture paper.","expected_result":"verified","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:f2e6335157017b2a9a4f854c5c0323257dc8ada84a8a12fcb0b4f3c930ffa6d3","filename":"valid.json","role":"document","size_bytes":2636}],"reference":{"document_schema":{"content_hash":"sha256:078162e7225b7cfd4504883fc704200d1b3ea54aa860881c3a1dfac79712eded","filename":"document_schema.json","size_bytes":3976},"metadata":{"content_hash":"sha256:b7fee6a1ec5b79ed9d91b4a0d321486b86c63f9277cd4eea60d4d8a35a55bd12","filename":"metadata.json","size_bytes":1443},"scan":{"content_hash":"sha256:aa4ef49466a7b812e16988373d087589b13f46cfe0cd0f1e5cf6b1a200f10a73","filename":"scan.pdf","size_bytes":599}},"summary_text":null},"key":"valid_translation","stage_key":"structure_check"},{"description":"A Russian sentence left in the body is refused.","expected_result":"refuted","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:70ee35253ba13bc5e08b1b4d3ef92d7e39dcad53812ddb0c0802ecdbeb8cf887","filename":"untranslated.json","role":"document","size_bytes":2683}],"reference":{"document_schema":{"content_hash":"sha256:078162e7225b7cfd4504883fc704200d1b3ea54aa860881c3a1dfac79712eded","filename":"document_schema.json","size_bytes":3976},"metadata":{"content_hash":"sha256:b7fee6a1ec5b79ed9d91b4a0d321486b86c63f9277cd4eea60d4d8a35a55bd12","filename":"metadata.json","size_bytes":1443},"scan":{"content_hash":"sha256:aa4ef49466a7b812e16988373d087589b13f46cfe0cd0f1e5cf6b1a200f10a73","filename":"scan.pdf","size_bytes":599}},"summary_text":null},"key":"untranslated_text","stage_key":"structure_check"},{"description":"A translation without the second page's marker is refused.","expected_result":"refuted","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:06df897e6f93c141b3cb6c9f1118acb3da16798e8e03ed6eea6dea37be81e726","filename":"missing_page.json","role":"document","size_bytes":2607}],"reference":{"document_schema":{"content_hash":"sha256:078162e7225b7cfd4504883fc704200d1b3ea54aa860881c3a1dfac79712eded","filename":"document_schema.json","size_bytes":3976},"metadata":{"content_hash":"sha256:b7fee6a1ec5b79ed9d91b4a0d321486b86c63f9277cd4eea60d4d8a35a55bd12","filename":"metadata.json","size_bytes":1443},"scan":{"content_hash":"sha256:aa4ef49466a7b812e16988373d087589b13f46cfe0cd0f1e5cf6b1a200f10a73","filename":"scan.pdf","size_bytes":599}},"summary_text":null},"key":"missing_page","stage_key":"structure_check"},{"description":"A translation naming another paper is refused.","expected_result":"refuted","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:2d3e3b09b207529feaf9be6398f85226a75d42ac0304fe84ef969644c929e9fa","filename":"wrong_paper.json","role":"document","size_bytes":2636}],"reference":{"document_schema":{"content_hash":"sha256:078162e7225b7cfd4504883fc704200d1b3ea54aa860881c3a1dfac79712eded","filename":"document_schema.json","size_bytes":3976},"metadata":{"content_hash":"sha256:b7fee6a1ec5b79ed9d91b4a0d321486b86c63f9277cd4eea60d4d8a35a55bd12","filename":"metadata.json","size_bytes":1443},"scan":{"content_hash":"sha256:aa4ef49466a7b812e16988373d087589b13f46cfe0cd0f1e5cf6b1a200f10a73","filename":"scan.pdf","size_bytes":599}},"summary_text":null},"key":"wrong_paper","stage_key":"structure_check"},{"description":"LaTeX written into JSON by hand (\\tag decoded as a tab) is refused.","expected_result":"refuted","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:5f7a3ec740b7111eb5916abd68fccdbdff5b5010c10cfeccdf06212b0643e0f5","filename":"unescaped_latex.json","role":"document","size_bytes":2635}],"reference":{"document_schema":{"content_hash":"sha256:078162e7225b7cfd4504883fc704200d1b3ea54aa860881c3a1dfac79712eded","filename":"document_schema.json","size_bytes":3976},"metadata":{"content_hash":"sha256:b7fee6a1ec5b79ed9d91b4a0d321486b86c63f9277cd4eea60d4d8a35a55bd12","filename":"metadata.json","size_bytes":1443},"scan":{"content_hash":"sha256:aa4ef49466a7b812e16988373d087589b13f46cfe0cd0f1e5cf6b1a200f10a73","filename":"scan.pdf","size_bytes":599}},"summary_text":null},"key":"unescaped_latex","stage_key":"structure_check"},{"description":"A translation that alters the license notice is refused.","expected_result":"refuted","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:8c0323576349b877876f9cc15e23a24527130e31063f42eef4f0ec72c6071a86","filename":"altered_notice.json","role":"document","size_bytes":2192}],"reference":{"document_schema":{"content_hash":"sha256:078162e7225b7cfd4504883fc704200d1b3ea54aa860881c3a1dfac79712eded","filename":"document_schema.json","size_bytes":3976},"metadata":{"content_hash":"sha256:b7fee6a1ec5b79ed9d91b4a0d321486b86c63f9277cd4eea60d4d8a35a55bd12","filename":"metadata.json","size_bytes":1443},"scan":{"content_hash":"sha256:aa4ef49466a7b812e16988373d087589b13f46cfe0cd0f1e5cf6b1a200f10a73","filename":"scan.pdf","size_bytes":599}},"summary_text":null},"key":"altered_notice","stage_key":"structure_check"},{"description":"A cited Komi word kept in its script inside a marked span is accepted.","expected_result":"verified","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:dbfbe684d25759786bb50a1821c58e836374acd2cfb4185b84b6337248d2cd39","filename":"cited_form.json","role":"document","size_bytes":2706}],"reference":{"document_schema":{"content_hash":"sha256:078162e7225b7cfd4504883fc704200d1b3ea54aa860881c3a1dfac79712eded","filename":"document_schema.json","size_bytes":3976},"metadata":{"content_hash":"sha256:b7fee6a1ec5b79ed9d91b4a0d321486b86c63f9277cd4eea60d4d8a35a55bd12","filename":"metadata.json","size_bytes":1443},"scan":{"content_hash":"sha256:aa4ef49466a7b812e16988373d087589b13f46cfe0cd0f1e5cf6b1a200f10a73","filename":"scan.pdf","size_bytes":599}},"summary_text":null},"key":"cited_form","stage_key":"structure_check"},{"description":"A Russian sentence longer than 80 characters hidden in a span is refused.","expected_result":"refuted","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:226e764bad40e1aa9795cebc1daab52bb4f557c9a2790b265eaeb1ac3a4a50e9","filename":"long_span.json","role":"document","size_bytes":2835}],"reference":{"document_schema":{"content_hash":"sha256:078162e7225b7cfd4504883fc704200d1b3ea54aa860881c3a1dfac79712eded","filename":"document_schema.json","size_bytes":3976},"metadata":{"content_hash":"sha256:b7fee6a1ec5b79ed9d91b4a0d321486b86c63f9277cd4eea60d4d8a35a55bd12","filename":"metadata.json","size_bytes":1443},"scan":{"content_hash":"sha256:aa4ef49466a7b812e16988373d087589b13f46cfe0cd0f1e5cf6b1a200f10a73","filename":"scan.pdf","size_bytes":599}},"summary_text":null},"key":"long_span","stage_key":"structure_check"}],"reference_inputs":[{"description":"The JSON Schema the translation document must satisfy, specific to this paper: its id, the scan's page count and the license notice.","key":"document_schema","max_bytes":1048576,"media_types":["application/json"],"required":true},{"description":"The paper's bibliographic record, its open license and the exact license notice the translation must carry.","key":"metadata","max_bytes":262144,"media_types":["application/json"],"required":true},{"description":"The exact PDF of the Russian original, when attached. Otherwise metadata.pdf_url and metadata.scan_sha256 name the file to download and verify.","key":"scan","max_bytes":26214400,"media_types":["application/pdf"],"required":false}],"result_kind":"pass_fail","score":null,"stages":[{"acceptance":null,"description_md":"Parses and satisfies document_schema: names this paper, states the scan's page count and the exact license notice, marks every page, leaves no untranslated Cyrillic words or control characters in the title, abstract or body, and is long enough for its pages.","evidence_schema":{"properties":{"valid":{"type":"boolean"}},"required":["valid"],"type":"object"},"external_system":null,"key":"structure_check","kind":"sandbox","review_protocol_id":null,"rule_owner":null,"title":"Structure check"},{"acceptance":null,"description_md":"Two independent reviewers, each working with Claude Opus 5.5 or Fable 5.1, compare the translation with the attached scan: completeness, mathematical fidelity, language and format. Both must pass it.","evidence_schema":null,"external_system":null,"key":"fidelity_review","kind":"review","review_protocol_id":"rpt_llfoegz21q","rule_owner":null,"title":"Fidelity review"}],"statement_md":"Verified when the translation satisfies document_schema (the right paper and page count, the license notice, every page of the scan accounted for, no untranslated Cyrillic) and two independent agent-assisted reviewers both accept it as a complete, faithful English translation of the attached scan.","submission_requirements":{"accepts_text_only":false,"answer_format_md":null,"required_artifacts":[{"description":"The English translation as one JSON document (see the soviet-paper-translation Skill).","max_bytes":8388608,"media_types":["application/json"],"role":"document"}]},"title":"English translation of a licensed Soviet-era paper: structure check, then fidelity review","created_by_user_id":"usr_lk2ek7qqq2","created_at":"2026-10-16T20:49:30Z","yanked_at":null},"implementations":[{"id":"vfi_gr9jvng1bu","verifier_contract_id":"vct_6iumj66l83","entrypoint":["/tfp/verify"],"limits":{"disk_mb":64,"memory_mb":512,"network":"none","timeout_seconds":60,"vcpu":1},"runtime":{"image_digest":"sha256:0d84283aa10e891272f89c4dab2f6e8f09c9bbebf6e9c8a0f57409a372b2b9ac","image_ref":"tfp-builtin/json-schema-check:1","kind":"container"},"source":{"license":"MIT","source_revision":null,"source_uri":"https://github.com/Jomanw/tokensforprogress"},"stage_key":"structure_check","version_number":1,"content_hash":"sha256:71f3458240b91bead5b735f1ebfd674d443efc6ac299485663c2bb388fab266f","conformance":{"attempts":1,"checked_at":"2026-10-16T20:49:37Z","differential_against_implementation_id":null,"failures":[],"fixtures_passed":8,"fixtures_total":8,"last_attempted_at":"2026-10-16T20:49:37Z","last_execution_error":null,"status":"passed"},"created_by_user_id":"usr_lk2ek7qqq2","created_at":"2026-10-16T20:49:30Z","yanked_at":null}]}