{"equipment_type_id":"rust-hvm-oracle-harness","revision":1,"title":"Reproducible Rust exact-oracle and HVM harness","description":"A capability type for exact finite arithmetic, typed encoding, symbolic reduction, and trace retention.","capabilities":[{"capability_id":"rust-exact-arithmetic","capability":"reproducible exact arithmetic","units":"expression","specification":"locked compiler and dependency graph"},{"capability_id":"hvm-reduction-trace","capability":"bounded HVM symbolic reduction trace","units":"steps","specification":"timeout, resource bound, and source hash"}],"operating_limits":[{"operating_limit_id":"hvm-resource-bound","parameter":"reduction resource bound","lower_bound":"1","upper_bound":"declared","units":"steps","notes":"Timeout is a reported outcome, not a silent omission."}],"calibrations":[{"equipment_calibration_id":"hvm-golden-corpus","quantity":"identity/zero oracle agreement","units":"exact","method":"golden corpus","traceability":"retain source and tool versions"}],"safety_requirements":[{"safety_requirement_id":"hvm-sandbox","hazard":"unbounded symbolic computation","requirement":"process and memory limits","mitigation":"isolated runner and timeout"}],"interface_requirements":[{"interface_requirement_id":"hvm-trace-interface","interface_kind":"artifact","specification":"exact AST, source, and reduction trace","units":"file"}],"nonclaims":["Tool agreement does not establish a physical amplitude or infinity result."],"citations":[{"source_id":"rust-language","label":"Rust language project","url":"https://www.rust-lang.org/"},{"source_id":"hvm-symbolic-runtime","label":"HVM symbolic runtime project","url":"https://github.com/HigherOrderCO/HVM"}],"authority":"illustrative-unadmitted-fixture","source_fixture":"cintamani.illustrative-equipment-types.v1","canonical_admission":false,"inventory":false,"procurement":false}