Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 17 Packages Wiki Activity Actions 132
open-standards/wai/int-payload-conformance/refusals
History
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science 9bcc70cff1 wai: a WIV1 keyframe's size is checked before the keyframe is decoded 
int_payload::declared_cost refused a keyframe-1 WIV1 whose keyframe does
not give the clip's h × w as geometry_mismatch, but the decode compared
the size only after decoding the keyframe, so the same bytes could be
refused there for the keyframe's stream (stream_noncanonical) instead.

The decode now plans the keyframe and compares its size with h × w
before it decodes a symbol of it, as declared_cost does; integer-payloads
§7 lists the check at step 4. The Rust verifier
(wai_int_payload_vectors verify) also requires declared_cost to refuse
each decode-layer fixture with the decode's code, unless that code comes
from a stream or a network run.

Fixtures: wiv1_geometry_flip_* (seven), wiv1_geometry with one byte of
its keyframe's last stream words changed, each geometry_mismatch,
regenerated through the generator; the Python verifier checks that they
parse.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-01 22:18:32 -04:00
..
wia1_afrac_model.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wia1_afrac_zero.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wia1_cdf_malformed.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wia1_exhausted.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wia1_latent_too_long.bin wai: the header bounds an integer decode's work, and a sink reads it first 2026-10-01 21:04:22 -04:00
wia1_median_range.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wia1_order_table_before_length.bin wai: one refusal order for integer decodes, planned alike on every target 2026-10-01 19:25:37 -04:00
wia1_sr_zero.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wia1_t_out.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wia1_too_large.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wia1_trailing.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wia1_under_splat.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wia1_unread_word.bin wai: integer payload streams must end canonically 2026-10-01 19:18:08 -04:00
wih1_exhausted.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wih1_geometry.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wih1_model_mismatch.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wih1_order_caps_before_geometry.bin wai: one refusal order for integer decodes, planned alike on every target 2026-10-01 19:25:37 -04:00
wih1_order_exhausted_before_value.bin wai: one refusal order for integer decodes, planned alike on every target 2026-10-01 19:25:37 -04:00
wih1_reserved.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wih1_stream_length.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wih1_too_large.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wih1_trailing.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wih1_under_video.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wih1_unread_word.bin wai: integer payload streams must end canonically 2026-10-01 19:18:08 -04:00
wih1_zero_dim.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wis1_afrac_model.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wis1_cdf_len.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wis1_exhausted.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wis1_geometry.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wis1_n_gaussians.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wis1_range_nan.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wis1_range_order.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wis1_trailing.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wis1_unread_word.bin wai: integer payload streams must end canonically 2026-10-01 19:18:08 -04:00
wiv1_cdf_malformed.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_end_state.bin wai: integer payload streams must end canonically 2026-10-01 19:18:08 -04:00
wiv1_exhausted.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_geometry.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_geometry_flip_2133_fe.bin wai: a WIV1 keyframe's size is checked before the keyframe is decoded 2026-10-01 22:18:32 -04:00
wiv1_geometry_flip_2136_9b.bin wai: a WIV1 keyframe's size is checked before the keyframe is decoded 2026-10-01 22:18:32 -04:00
wiv1_geometry_flip_2136_96.bin wai: a WIV1 keyframe's size is checked before the keyframe is decoded 2026-10-01 22:18:32 -04:00
wiv1_geometry_flip_2137_8c.bin wai: a WIV1 keyframe's size is checked before the keyframe is decoded 2026-10-01 22:18:32 -04:00
wiv1_geometry_flip_2138_be.bin wai: a WIV1 keyframe's size is checked before the keyframe is decoded 2026-10-01 22:18:32 -04:00
wiv1_geometry_flip_2139_03.bin wai: a WIV1 keyframe's size is checked before the keyframe is decoded 2026-10-01 22:18:32 -04:00
wiv1_geometry_flip_2146_4a.bin wai: a WIV1 keyframe's size is checked before the keyframe is decoded 2026-10-01 22:18:32 -04:00
wiv1_keyframe_mismatch.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_mv_field.bin wai: integer decodes do only the work their streams back 2026-10-01 19:08:03 -04:00
wiv1_mv_precision.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_nested_length.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_nested_version.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_one_frame_block.bin wai: a one-frame WIV1 has one header 2026-10-01 21:07:11 -04:00
wiv1_one_frame_end_state.bin wai: a one-frame WIV1 has one header 2026-10-01 21:07:11 -04:00
wiv1_one_frame_mv_precision.bin wai: a one-frame WIV1 has one header 2026-10-01 21:07:11 -04:00
wiv1_q_zero.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_reserved.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_stream_length.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_too_large.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_too_many_frames.bin wai: integer decodes do only the work their streams back 2026-10-01 19:08:03 -04:00
wiv1_trailing.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_truncated.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_under_audio.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00
wiv1_unread_word.bin wai: integer payload streams must end canonically 2026-10-01 19:18:08 -04:00
wiv1_version.bin wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int 2026-10-01 12:20:06 -04:00