- Refusal parity (tests/jpegai_nets_ops.rs):
- every_load_check_of_the_networks_refuses_model_mismatch: 19 breaks of
§13.6.2's load checks in the committed networks (a member missing or of the
other kind, dims, counts, groups other than 4 or 5, a kernel not the
topology's, a bias short, shifts of 128 and -1, a non-integer weight, a
multiplier past i64, three temperatures, ψ of other than 4C channels, a luma
synthesis of two planes, an odd feed-forward width, a mistyped member, a sum
past i64 under A32) are refused model_mismatch from the files' bytes, 15 of
them from the parsed networks too (the rest the direct parser cannot read);
and two members of one name, from the bytes;
- a_value_past_its_range_is_refused_field_range: a residual or a latent one
past A32 at either end is refused field_range at its input by every graph
that reads it; on the test codestream a residual at either end of A32, where
the mean keeps the sum within it, decodes through rec_y and rec_uv as the
direct decode does, and one past it is refused where the direct decode
computed on (integer-operators §15.3 item 4).
- Registry: wai.image.jpegai's ops member is { wai-ops/1, acc64, full,
jpegai-int/1, role_profiles: { hs_y: acc32, hs_uv: acc32 } } (§11); the schema
gains role_profiles (it requires profile); registry/capabilities.json and its
schema regenerated by `wai registry export`.
- SPEC §5 (the row's refusals and its reference implementation), §7
(NeuralEntropyExact names the profiles; the networks lie outside the claim),
§8 (the networks' planned breaks).
- CHANGELOG: a truncated sentence of the WIV1/WIR1 entry completed.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
b966368544