D2c M4, gate 7 (delete).
- int_hyper_synth::decode_conditional, the unchecked conditional decode, is
deleted; its callers decode through decode_conditional_checked (the
lowering, with its check ranges): the int_hyper_decode_frame example (step
3 of tools/wai_sota_vectors.sh), wai_decode_bench's tiny-vector case,
int_payload's JSON-equivalence unit tests, tests/int_hyper_synth.rs,
int_kernels_vectors.rs, int_video_keyframe.rs, int_video_sota_keyframe.rs,
and byte-exact's neural_keyframe_golden (the trap: it gains the check
ranges, outputs equal; gate 2's duplicate test through ops::decode goes).
- The pretrained synthesis-only and hyper-decoder-only goldens
(tests/int_hyper_synth.rs) are also held through the lowering.
- The conditional codec's direct guard (legacy's run_checked) is test-only
since gate 6. run_net_checked, check_layer and igdn_check stay: their one
production caller left is int_mlicpp (M5); run_net and decode stay for the
world renderer (M6), and int_hyper_synth's kernel_equivalence with them,
since their conv dispatch is still run_net's. Docs say so.
- Doc references (int_video, int_video_golden, two tools) and CHANGELOG.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
e4c7287acb