{"experiment_id":"rust-exact-oracle-hvm-amplitudes-infinity","revision":1,"title":"Rust exact oracle and HVM symbolic reduction for amplitudes at infinity","experiment_kind":"analytical","intent":"discrimination","status":"illustrative-unadmitted","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"}],"protocols":[{"protocol_id":"rust-hvm-infinity-minimal-protocol","name":"Finite truncation versus symbolic infinity","minimal_decisive_test":"Enumerate finite amplitude expressions in a Rust exact oracle, reduce the corresponding HVM symbolic terms, and compare normalized limits and failure cases without treating a rewrite trace as a physical result.","steps":["Generate typed finite expressions and truncation bounds.","Evaluate exact rational/complex oracle outputs.","Run HVM symbolic reduction with trace retention.","Compare amplitude limits, nontermination, and truncation error classifications."],"decision_rule":"The symbolic encoding is adequate only where it agrees with the exact oracle under declared normalization and exposes, rather than hides, divergent or undefined cases."}],"controls":[{"control_id":"hvm-identity","control_kind":"positive","description":"Identity and zero-amplitude terms.","controlled_variable":"term family","expected_relation":"Both systems agree exactly."},{"control_id":"hvm-divergent","control_kind":"negative","description":"Known divergent truncation family.","controlled_variable":"limit family","expected_relation":"Both systems expose non-finite or undefined status rather than a finite result."}],"observables":[{"observable_id":"hvm-oracle-delta","name":"oracle-symbolic delta","units":"exact expression","measurement":"normalized symbolic and exact comparison","aggregation":"per term and truncation","uncertainty_reporting":"report truncation bounds, not statistical confidence"},{"observable_id":"hvm-reduction-steps","name":"symbolic reduction steps","units":"steps","measurement":"HVM trace length and termination status","aggregation":"per term","uncertainty_reporting":"report resource bound and timeout"}],"calibration":[{"calibration_id":"hvm-normalization","quantity":"amplitude normalization convention","units":"declared convention","method":"golden identity and zero tests","acceptance":"normalization is identical in oracle and symbolic encoder"}],"repetitions":{"replicate_unit":"generated typed expression","minimum_repetitions":100,"independent_repetitions":10,"randomization":"seeded expression and reduction order permutations","stopping_rule":"complete finite expression corpus and declared resource bound"},"uncertainty":{"sources":"truncation, symbolic timeout, normalization convention, parser/encoder mismatch","propagation":"classify exact disagreement by source rather than averaging","reporting":"retain source, traces, compiler/tool versions, and all failures"},"success_criteria":[{"criterion_id":"hvm-success-agreement","statement":"HVM reductions agree with the exact oracle for all terminating declared terms and classify non-finite terms consistently.","metric":"classification mismatch","comparator":"=","threshold_text":"0 on the terminating corpus","units":"terms"}],"falsifiers":[{"criterion_id":"hvm-falsifier-hidden-limit","statement":"The symbolic system returns a finite amplitude where the exact oracle proves divergence or undefined normalization.","metric":"finite-versus-nonfinite mismatch","comparator":">","threshold_text":"0","units":"terms"}],"confounds":[{"confound_id":"hvm-encoder","confound":"encoder silently changes variable binding or normalization","detection_control":"typed round-trip and identity corpus","mitigation":"publish encoder and exact AST hashes"}],"raw_artifacts":[{"raw_artifact_id":"hvm-exact-traces","artifact_kind":"oracle-source-and-reduction-trace","format":"Rust source, HVM source, JSON trace","retention":"retain compiler versions and timeout logs"}],"nonclaims":["Symbolic agreement is not evidence for amplitudes at infinity in nature.","This fixture does not claim HVM semantics, physical realizability, or a canonical oracle admission."],"equipment_requirements":[{"requirement_id":"hvm-rust-toolchain","group_id":"exact-software","group_order":1,"group_kind":"required","selection_rule":"any-one","quantity":1,"capability":"reproducible Rust exact arithmetic toolchain","units":"toolchain","specification":"locked compiler and dependency graph","equipment_type_ids":["rust-hvm-oracle-harness"]}],"dependencies":[],"relations":[],"topic_links":[{"link_id":"rust-oracle-topic-link","topic_version_id":"illustrative-minimal-conservative-formal-fragment@1","relation_kind":"next-discriminating-test","rationale":"The exact oracle and symbolic reduction provide a reproducible next test for the formal fragment."}],"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."},"authority":"illustrative-unadmitted-fixture","source_fixture":"cintamani.illustrative-proposed-experiments.v1","canonical_admission":false,"public_d1_seed":false,"evidence_claim":false,"equipment_types":[{"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"}]}]}