1601d35496
§2.4.12, against the envelopes: - An encrypted envelope (SPEC §6.4) is held: its manifest and rendition table are in the clear, so rules 4-9 read them as any held envelope's — the rendition an entry names, its capability, the component rules, a base's layer count, a companion-only capability, a fallback, a layer's refines and span — and leave to the signer only what needs a payload: its digests, a base's units and a layer's WIR1 payload. Rule 9 reads the classical length every well-formed WAI2's table declares, encrypted or not. Vectors: the review's three probes (rendition 9 of two, a relabelled rendition, the WAI2 named with no rendition), a base at two layers, a companion-only capability, a nonconforming refinement, an encrypted layer over an encrypted base (accepted). Re-derived, outside the pinned prefix: session_envelope_encrypted (390) now accepts; the classical-null case is session_envelope_encrypted_classical_unstated (389); session_envelope_inert_ unnamed_accept (397) states the classical length the encrypted table adds. - §2.4.12's signer's statements name whether a refinement's exploded envelope held as its own bytes was received on its own. SPEC §7.1: a component whose capability is a record or a derivation does not conform, in any role (record-or-derivation-as-component), in check_component_ roles and claim_verify.py; pin-conformance/selection.json gains a record and a derivation rendition, and its two companion cases take the new finding. session_roles_record_rendition pins it in the claim corpus. 555 vectors. staged-measurement's countability is cited by its heading (§3), so the section-refs check passes. differential.py adds an encrypted-envelope family. Co-Authored-By: Claude Opus 5.5 <[email protected]>
659 lines
13 KiB
JSON
659 lines
13 KiB
JSON
{
|
|
"about": "SPEC.md \u00a77.1: the rendition a sink picks, the reason it reports for each entry it skips, and the companions it applies with the pick (companions_of_index). held lists the one-file parameter sets the sink holds; advertised is \"all\" or a list of capabilities. roles is the first check_component_roles finding (\"ok\" when the envelope conforms).",
|
|
"cases": [
|
|
{
|
|
"name": "holds_predecessor",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "image",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.neural.int_mlicpp",
|
|
"kind": "int_mlicpp",
|
|
"prior": {
|
|
"id": "conformance",
|
|
"sha256": "c4232f2e2d5f76cce4ac782b254a91410a2ab89b22792f8356585549938a0e92",
|
|
"determinism": "int-rans/p16+int/i64",
|
|
"tier": "decode-equivalence",
|
|
"supersedes": {
|
|
"sha256": "29bc4a3984b2ca82ab4656e459e7c34b5af9f507309bcf88ed7b00561692ff0a"
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"capability": "wai.neural.int_mlicpp",
|
|
"kind": "int_mlicpp",
|
|
"prior": {
|
|
"id": "conformance",
|
|
"sha256": "29bc4a3984b2ca82ab4656e459e7c34b5af9f507309bcf88ed7b00561692ff0a",
|
|
"determinism": "int-rans/p16+int/i64",
|
|
"tier": "decode-equivalence"
|
|
}
|
|
},
|
|
{
|
|
"capability": "wai.image.avif",
|
|
"kind": "avif"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"B-CODED",
|
|
"A-CODED",
|
|
"AVIF"
|
|
],
|
|
"advertised": "all",
|
|
"held": [
|
|
"sets/tiny/model.wmb"
|
|
],
|
|
"expect": {
|
|
"picked": 1,
|
|
"skipped": [
|
|
[
|
|
0,
|
|
"digest_superseded"
|
|
]
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"name": "holds_successor",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "image",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.neural.int_mlicpp",
|
|
"kind": "int_mlicpp",
|
|
"prior": {
|
|
"id": "conformance",
|
|
"sha256": "c4232f2e2d5f76cce4ac782b254a91410a2ab89b22792f8356585549938a0e92",
|
|
"determinism": "int-rans/p16+int/i64",
|
|
"tier": "decode-equivalence",
|
|
"supersedes": {
|
|
"sha256": "29bc4a3984b2ca82ab4656e459e7c34b5af9f507309bcf88ed7b00561692ff0a"
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"capability": "wai.neural.int_mlicpp",
|
|
"kind": "int_mlicpp",
|
|
"prior": {
|
|
"id": "conformance",
|
|
"sha256": "29bc4a3984b2ca82ab4656e459e7c34b5af9f507309bcf88ed7b00561692ff0a",
|
|
"determinism": "int-rans/p16+int/i64",
|
|
"tier": "decode-equivalence"
|
|
}
|
|
},
|
|
{
|
|
"capability": "wai.image.avif",
|
|
"kind": "avif"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"B-CODED",
|
|
"A-CODED",
|
|
"AVIF"
|
|
],
|
|
"advertised": "all",
|
|
"held": [
|
|
"sets/tiny-tampered/model.wmb"
|
|
],
|
|
"expect": {
|
|
"picked": 0,
|
|
"skipped": []
|
|
}
|
|
},
|
|
{
|
|
"name": "holds_neither",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "image",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.neural.int_mlicpp",
|
|
"kind": "int_mlicpp",
|
|
"prior": {
|
|
"id": "conformance",
|
|
"sha256": "c4232f2e2d5f76cce4ac782b254a91410a2ab89b22792f8356585549938a0e92",
|
|
"determinism": "int-rans/p16+int/i64",
|
|
"tier": "decode-equivalence",
|
|
"supersedes": {
|
|
"sha256": "29bc4a3984b2ca82ab4656e459e7c34b5af9f507309bcf88ed7b00561692ff0a"
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"capability": "wai.neural.int_mlicpp",
|
|
"kind": "int_mlicpp",
|
|
"prior": {
|
|
"id": "conformance",
|
|
"sha256": "29bc4a3984b2ca82ab4656e459e7c34b5af9f507309bcf88ed7b00561692ff0a",
|
|
"determinism": "int-rans/p16+int/i64",
|
|
"tier": "decode-equivalence"
|
|
}
|
|
},
|
|
{
|
|
"capability": "wai.image.avif",
|
|
"kind": "avif"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"B-CODED",
|
|
"A-CODED",
|
|
"AVIF"
|
|
],
|
|
"advertised": "all",
|
|
"held": [],
|
|
"expect": {
|
|
"picked": 2,
|
|
"skipped": [
|
|
[
|
|
0,
|
|
"prior_not_held"
|
|
],
|
|
[
|
|
1,
|
|
"prior_not_held"
|
|
]
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"name": "inert",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "image",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.neural.int_mlicpp",
|
|
"kind": "int_mlicpp",
|
|
"prior": {
|
|
"id": "conformance",
|
|
"sha256": "c4232f2e2d5f76cce4ac782b254a91410a2ab89b22792f8356585549938a0e92",
|
|
"determinism": "int-rans/p16+int/i64",
|
|
"tier": "decode-equivalence",
|
|
"supersedes": {
|
|
"sha256": "29bc4a3984b2ca82ab4656e459e7c34b5af9f507309bcf88ed7b00561692ff0a"
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"capability": "wai.neural.int_mlicpp",
|
|
"kind": "int_mlicpp",
|
|
"prior": {
|
|
"id": "conformance",
|
|
"sha256": "29bc4a3984b2ca82ab4656e459e7c34b5af9f507309bcf88ed7b00561692ff0a",
|
|
"determinism": "int-rans/p16+int/i64",
|
|
"tier": "decode-equivalence"
|
|
}
|
|
},
|
|
{
|
|
"capability": "wai.image.avif",
|
|
"kind": "avif"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"B-CODED",
|
|
"A-CODED",
|
|
"AVIF"
|
|
],
|
|
"advertised": [
|
|
"wai.neural.int_mlicpp"
|
|
],
|
|
"held": [],
|
|
"expect": {
|
|
"inert": [
|
|
[
|
|
0,
|
|
"prior_not_held"
|
|
],
|
|
[
|
|
1,
|
|
"prior_not_held"
|
|
],
|
|
[
|
|
2,
|
|
"missing_capability"
|
|
]
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"name": "component_digest_ok",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "image",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.image.png",
|
|
"kind": "png",
|
|
"sha256": "e793c41f42c3766932d69864deeea3b3949a26e1e427bdf261a77755021e58cb"
|
|
},
|
|
{
|
|
"capability": "wai.image.png",
|
|
"kind": "png",
|
|
"sha256": "700983acb1832a2b0830405407bcaefaf0909c8631c1603cc5a72ecc4257e4d2"
|
|
},
|
|
{
|
|
"capability": "wai.meta.hdr10plus",
|
|
"kind": "descriptor",
|
|
"role": "companion",
|
|
"companion_of": "wai.image.png",
|
|
"sha256": "2d1edf729cc53756834657ce399b1568debd59b0ceddce5da39b86750d59fbd0"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"PNG-A",
|
|
"PNG-B",
|
|
"META"
|
|
],
|
|
"advertised": "all",
|
|
"held": [],
|
|
"expect": {
|
|
"picked": 0,
|
|
"skipped": [],
|
|
"companions": [
|
|
2
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"name": "component_digest_mismatch",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "image",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.image.png",
|
|
"kind": "png",
|
|
"sha256": "e793c41f42c3766932d69864deeea3b3949a26e1e427bdf261a77755021e58cb"
|
|
},
|
|
{
|
|
"capability": "wai.image.png",
|
|
"kind": "png",
|
|
"sha256": "700983acb1832a2b0830405407bcaefaf0909c8631c1603cc5a72ecc4257e4d2"
|
|
},
|
|
{
|
|
"capability": "wai.meta.hdr10plus",
|
|
"kind": "descriptor",
|
|
"role": "companion",
|
|
"companion_of": "wai.image.png",
|
|
"sha256": "2d1edf729cc53756834657ce399b1568debd59b0ceddce5da39b86750d59fbd0"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"PNG-a",
|
|
"PNG-B",
|
|
"META"
|
|
],
|
|
"advertised": "all",
|
|
"held": [],
|
|
"expect": {
|
|
"picked": 1,
|
|
"skipped": [
|
|
[
|
|
0,
|
|
"component_digest_mismatch"
|
|
]
|
|
],
|
|
"companions": [
|
|
2
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"name": "companion_digest_mismatch_not_applied",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "image",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.image.png",
|
|
"kind": "png",
|
|
"sha256": "e793c41f42c3766932d69864deeea3b3949a26e1e427bdf261a77755021e58cb"
|
|
},
|
|
{
|
|
"capability": "wai.image.png",
|
|
"kind": "png",
|
|
"sha256": "700983acb1832a2b0830405407bcaefaf0909c8631c1603cc5a72ecc4257e4d2"
|
|
},
|
|
{
|
|
"capability": "wai.meta.hdr10plus",
|
|
"kind": "descriptor",
|
|
"role": "companion",
|
|
"companion_of": "wai.image.png",
|
|
"sha256": "2d1edf729cc53756834657ce399b1568debd59b0ceddce5da39b86750d59fbd0"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"PNG-A",
|
|
"PNG-B",
|
|
"METa"
|
|
],
|
|
"advertised": "all",
|
|
"held": [],
|
|
"expect": {
|
|
"picked": 0,
|
|
"skipped": [],
|
|
"companions": []
|
|
}
|
|
},
|
|
{
|
|
"name": "companion_of_id_binds_one_rendition",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "video",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.video.hevc",
|
|
"kind": "hevc",
|
|
"id": "a"
|
|
},
|
|
{
|
|
"capability": "wai.video.hevc",
|
|
"kind": "hevc",
|
|
"id": "b"
|
|
},
|
|
{
|
|
"capability": "wai.video.lcevc",
|
|
"kind": "descriptor",
|
|
"role": "companion",
|
|
"companion_of": "wai.video.hevc",
|
|
"companion_of_id": "b"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"HEVC-A",
|
|
"HEVC-B",
|
|
"ENH"
|
|
],
|
|
"advertised": [
|
|
"wai.video.hevc"
|
|
],
|
|
"held": [],
|
|
"expect": {
|
|
"picked": 0,
|
|
"skipped": [],
|
|
"companions": [],
|
|
"roles": "ok"
|
|
}
|
|
},
|
|
{
|
|
"name": "companion_of_id_applies_to_the_picked_rendition",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "video",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.video.hevc",
|
|
"kind": "hevc",
|
|
"id": "a",
|
|
"sha256": "4e452595c3c6ccc249140f0ffe2b163b6c57203f0c7cfdcf0e4316e47fb55df7"
|
|
},
|
|
{
|
|
"capability": "wai.video.hevc",
|
|
"kind": "hevc",
|
|
"id": "b"
|
|
},
|
|
{
|
|
"capability": "wai.video.lcevc",
|
|
"kind": "descriptor",
|
|
"role": "companion",
|
|
"companion_of": "wai.video.hevc",
|
|
"companion_of_id": "b"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"HEVC-a",
|
|
"HEVC-B",
|
|
"ENH"
|
|
],
|
|
"advertised": "all",
|
|
"held": [],
|
|
"expect": {
|
|
"picked": 1,
|
|
"skipped": [
|
|
[
|
|
0,
|
|
"component_digest_mismatch"
|
|
]
|
|
],
|
|
"companions": [
|
|
2
|
|
],
|
|
"roles": "ok"
|
|
}
|
|
},
|
|
{
|
|
"name": "enhancement_base_ambiguous_without_id",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "video",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.video.hevc",
|
|
"kind": "hevc",
|
|
"id": "a"
|
|
},
|
|
{
|
|
"capability": "wai.video.hevc",
|
|
"kind": "hevc",
|
|
"id": "b"
|
|
},
|
|
{
|
|
"capability": "wai.video.lcevc",
|
|
"kind": "descriptor",
|
|
"role": "companion",
|
|
"companion_of": "wai.video.hevc"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"HEVC-A",
|
|
"HEVC-B",
|
|
"ENH"
|
|
],
|
|
"advertised": "all",
|
|
"held": [],
|
|
"expect": {
|
|
"picked": 0,
|
|
"skipped": [],
|
|
"companions": [
|
|
2
|
|
],
|
|
"roles": "EnhancementBaseNotUnique"
|
|
}
|
|
},
|
|
{
|
|
"name": "companion_only_never_presented",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "video",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.video.lcevc",
|
|
"kind": "lcevc"
|
|
},
|
|
{
|
|
"capability": "wai.video.hevc",
|
|
"kind": "hevc"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"ENH",
|
|
"HEVC"
|
|
],
|
|
"advertised": "all",
|
|
"held": [],
|
|
"expect": {
|
|
"picked": 1,
|
|
"skipped": [
|
|
[
|
|
0,
|
|
"not_selectable"
|
|
]
|
|
],
|
|
"roles": "CompanionOnlyAsRendition"
|
|
}
|
|
},
|
|
{
|
|
"name": "record_as_companion",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "video",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.video.av1",
|
|
"kind": "av1",
|
|
"id": "a"
|
|
},
|
|
{
|
|
"capability": "wai.video.manifest",
|
|
"kind": "k",
|
|
"role": "companion",
|
|
"companion_of": "wai.video.av1"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"AV1",
|
|
"REC"
|
|
],
|
|
"advertised": "all",
|
|
"held": [],
|
|
"expect": {
|
|
"picked": 0,
|
|
"skipped": [],
|
|
"roles": "RecordOrDerivationAsComponent"
|
|
}
|
|
},
|
|
{
|
|
"name": "derivation_as_companion",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "video",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.video.av1",
|
|
"kind": "av1",
|
|
"id": "a"
|
|
},
|
|
{
|
|
"capability": "wai.derive.crop",
|
|
"kind": "k",
|
|
"role": "companion",
|
|
"companion_of": "wai.video.av1"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"AV1",
|
|
"REC"
|
|
],
|
|
"advertised": "all",
|
|
"held": [],
|
|
"expect": {
|
|
"picked": 0,
|
|
"skipped": [],
|
|
"roles": "RecordOrDerivationAsComponent"
|
|
}
|
|
},
|
|
{
|
|
"name": "record_as_rendition",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "video",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.video.av1",
|
|
"kind": "av1",
|
|
"id": "a"
|
|
},
|
|
{
|
|
"capability": "wai.video.manifest",
|
|
"kind": "k"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"AV1",
|
|
"REC"
|
|
],
|
|
"advertised": "all",
|
|
"held": [],
|
|
"expect": {
|
|
"picked": 0,
|
|
"skipped": [],
|
|
"roles": "RecordOrDerivationAsComponent"
|
|
}
|
|
},
|
|
{
|
|
"name": "derivation_as_rendition",
|
|
"manifest": {
|
|
"wai": "1.1",
|
|
"media": "video",
|
|
"intent": "replicate",
|
|
"renditions": [
|
|
{
|
|
"capability": "wai.video.av1",
|
|
"kind": "av1",
|
|
"id": "a"
|
|
},
|
|
{
|
|
"capability": "wai.derive.crop",
|
|
"kind": "k"
|
|
}
|
|
],
|
|
"target": null
|
|
},
|
|
"payloads": [
|
|
"AV1",
|
|
"REC"
|
|
],
|
|
"advertised": "all",
|
|
"held": [],
|
|
"expect": {
|
|
"picked": 0,
|
|
"skipped": [],
|
|
"roles": "RecordOrDerivationAsComponent"
|
|
}
|
|
}
|
|
]
|
|
}
|