13d42fc998
- integer-payloads.md §7 states the order of a decode's checks: the set's members, the set against the payload, every network planned with its caps, what the networks give against the payload (per format), then each stream symbol by symbol, a run-out before the value's range. §2 says a section of one table per channel is read table by table, and field_range covers a field of any section. - The conditional decode plans h_s and g_s before it compares h_s's shape, so a 2100 x 2100 latent whose g_s would pass the cap is too_large, not geometry_mismatch. - int_hyper_synth::plan (used by the conditional and splat decodes) and the audio synthesis's plan work layer by layer in u64: parameter lengths and shifts (model_mismatch), every side and buffer within 2^26 (too_large; a size past u64 is past the cap), then an output left (model_mismatch). A 32-bit sink formed these sizes in usize and refused an overflow as a malformed model where a 64-bit one said too_large. A convolution's padded side is now capped too. - The entropy tables of a set must have 3 to 4097 entries, as §2 says (the reader took 2, and any length past 4097). - Fixtures: wia1_order_table_before_length (parse), wih1_order_caps_before_geometry and wih1_order_exhausted_before_value (decode, against sets/entropy_median_max.json, the tiny tables with a median of i64::MAX). Tests: int_payload::tests::network_plans_refuse_alike_on_every_target, int_payload::tests::entropy_tables_obey_the_table_length_rule, and the fixtures through tests/int_payload.rs and both corpus verifiers. Co-Authored-By: Claude Opus 5.5 <[email protected]>
1 line
779 B
JSON
1 line
779 B
JSON
{"afrac":12,"frac":12,"scale_edges":[4096,8192,16384,32768],"cdfs":[[0,1,2,3,4,6,296,3834,19692,45837,61695,65233,65523,65532,65533,65534,65535,65536],[0,4,33,178,752,2521,6765,14695,26232,39306,50843,58773,63017,64786,65360,65505,65534,65536],[0,927,2410,4636,7775,11933,17108,23158,29803,36659,43304,49354,54529,58687,61826,64052,65535,65536],[0,2905,6173,9790,13731,17960,22426,27070,31824,36616,41370,46014,50480,54709,58650,62267,65535,65536]],"cdf_lengths":[18,18,18,18],"offsets":[-8,-8,-8,-8],"z_cdfs":[[0,4,33,178,752,2521,6765,14695,26232,39306,50843,58773,63017,64786,65360,65505,65534,65536],[0,4,33,178,752,2521,6765,14695,26232,39306,50843,58773,63017,64786,65360,65505,65534,65536]],"z_cdf_lengths":[18,18],"z_offsets":[1,-8],"z_median_q":[9223372036854775807,0]}
|