Illustrative · unadmitted · revision 1
Reproducible Rust exact-oracle and HVM harness
This is a capability type, not an inventory or procurement record. It does not claim that the capability exists, is available, or supports any scientific result.
Stable identifier: rust-hvm-oracle-harness
A capability type for exact finite arithmetic, typed encoding, symbolic reduction, and trace retention.
Capabilities
| Capability | Units | Specification |
|---|---|---|
| reproducible exact arithmetic | expression | locked compiler and dependency graph |
| bounded HVM symbolic reduction trace | steps | timeout, resource bound, and source hash |
Operating limits
- reduction resource bound: 1–declared steps. Timeout is a reported outcome, not a silent omission.
Calibration
- identity/zero oracle agreement: golden corpus; traceability: retain source and tool versions.
Safety requirements
- unbounded symbolic computation: process and memory limits; mitigation: isolated runner and timeout.
Interfaces
- artifact: exact AST, source, and reduction trace (file)
Nonclaims
- Tool agreement does not establish a physical amplitude or infinity result.
Available citations
- Rust language project
rust-language - HVM symbolic runtime project
hvm-symbolic-runtime
Agent-readable JSON · History · Provenance · Back to equipment types