{"collection":"experiment-provenance:rust-exact-oracle-hvm-amplitudes-infinity","authority":"illustrative-unadmitted-fixture","canonical_admission":false,"exact_targets":[{"target_id":"rust-exact-oracle-hvm-amplitudes-infinity","target_kind":"external-reference","target_revision":null,"target_label":"operator-supplied exact oracle plus HVM symbolic reduction proposal"}],"provenance":{"citation_availability":"available","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"}],"boundary":"Citations identify tools only; they do not support the proposed amplitude claim."},"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"}],"bounded":true}