# step: determinism cost · the record, the text quoting it, and wai_det_cost
# order: 20
# features: neural_int
# independent: determinism-cost trust python3 -I tools/wai_determinism_cost_verify.py research/determinism-cost/record.json research/determinism-cost.md extensions/determinism-tiers.md
#
# The determinism-cost record (research/determinism-cost.md): wai_det_cost, the decoder
# the record ran, held to the committed int_hyper vector and every WIH1 refusal fixture
# of int-payload-conformance/. The record itself, its summary recomputed from its
# readings by a second implementation that shares no code with the tool that
# wrote it (tools/wai_determinism_cost_verify.py, standard library only, run isolated)
# and every figure the research page and determinism-tiers §7 quote from it checked
# against it (each is followed by a `det` marker naming its place in the record), is
# checked in the step of
# every independent verifier above.
set -euo pipefail
(cd wai-rs && cargo test --no-default-features --features "$WAI_FEATURES" --test det_cost_bin)