836d0255df
One squashed history of three stacked PRs, onto main atb16816671: - #426 (wai/pack-efficiency): a title's whole AV1 ladder in one package over one integer base; several floor rungs (packaging §7.1), a re-pack from a parent (§11.5), a floor that is the ladder's own CMAF (§7.7), a floor-only profile (§7.8), a streaming pack (§11.4), and the independent verifier at scale (§9.4). - #438 (wai/cross-fabric): each pack and verify step on the fabric with the least measured energy (§11.6); the `fabrics` member of measurement claims (jwp-receipts §2.4.8, energy-measurement §6.3); the wai-pack-gpu crate; `wai-pack fabric`; `wai-pack floor-decode`. - #452 (wai/gpu-int-tier), its GPU-tier part only: claiming decode-equivalence on a GPU (determinism-tiers §5), the WGSL integer semantics suite, the rules check on naga's IR, and the kernels' shift masks and min(max()) clamps. Left out, by the review's split (EN-C takes it over): #452's platform decode in dispatch, its commits6ad92e2e8,8695bc75fandfed8694f4and its CHANGELOG entry: extensions/platform-decode.md, platform-decode-conformance/, wai::platform_decode, wai-web's platform_decode bundle and demo, and its two SPEC.md sentences. #438's research note is not carried as written: it is rewritten as wai/research/cross-fabric.md, with hardware named by architecture, PCI id and OS version, and every table marked as one run. floor_decode.rs and a wai_pack.rs comment name the platform's media engine and a full-length film the same way. wai/CHANGELOG.md is the union of both sides' entries, the stack's first. Co-Authored-By: Claude Opus 5.5 <[email protected]>
550 lines
13 KiB
JSON
550 lines
13 KiB
JSON
{
|
|
"cases": [
|
|
{
|
|
"name": "ok",
|
|
"kind": "index",
|
|
"index": "index/ok.wsix",
|
|
"reason": "ok"
|
|
},
|
|
{
|
|
"name": "refines-flipped",
|
|
"kind": "index",
|
|
"index": "index/refines-flipped.wsix",
|
|
"reason": "refines-mismatch"
|
|
},
|
|
{
|
|
"name": "layer-gap",
|
|
"kind": "index",
|
|
"index": "index/layer-gap.wsix",
|
|
"reason": "layer-gap"
|
|
},
|
|
{
|
|
"name": "refines-outside-window",
|
|
"kind": "index",
|
|
"index": "index/refines-outside-window.wsix",
|
|
"reason": "refines-outside-window"
|
|
},
|
|
{
|
|
"name": "tier-entropy-over-entropy",
|
|
"kind": "index",
|
|
"index": "index/tier-entropy-over-entropy.wsix",
|
|
"reason": "tier-entropy-passthrough"
|
|
},
|
|
{
|
|
"name": "tier-decode-over-entropy",
|
|
"kind": "index",
|
|
"index": "index/tier-decode-over-entropy.wsix",
|
|
"reason": "tier-weakest"
|
|
},
|
|
{
|
|
"name": "tier-on-floor",
|
|
"kind": "index",
|
|
"index": "index/tier-on-floor.wsix",
|
|
"reason": "tier-mismatch"
|
|
},
|
|
{
|
|
"name": "digest-without-tier",
|
|
"kind": "index",
|
|
"index": "index/digest-without-tier.wsix",
|
|
"reason": "digest-without-tier"
|
|
},
|
|
{
|
|
"name": "dup-flag-missing",
|
|
"kind": "index",
|
|
"index": "index/dup-flag-missing.wsix",
|
|
"reason": "dup-flag"
|
|
},
|
|
{
|
|
"name": "dup-flag-lie",
|
|
"kind": "index",
|
|
"index": "index/dup-flag-lie.wsix",
|
|
"reason": "dup-flag"
|
|
},
|
|
{
|
|
"name": "dup-length",
|
|
"kind": "index",
|
|
"index": "index/dup-length.wsix",
|
|
"reason": "dup-length"
|
|
},
|
|
{
|
|
"name": "floor-at-layer-1",
|
|
"kind": "index",
|
|
"index": "index/floor-at-layer-1.wsix",
|
|
"reason": "layer-role"
|
|
},
|
|
{
|
|
"name": "base-with-refines",
|
|
"kind": "index",
|
|
"index": "index/base-with-refines.wsix",
|
|
"reason": "layer-role"
|
|
},
|
|
{
|
|
"name": "floor-before-refinement",
|
|
"kind": "index",
|
|
"index": "index/floor-before-refinement.wsix",
|
|
"reason": "entry-order"
|
|
},
|
|
{
|
|
"name": "deadline-on-base",
|
|
"kind": "index",
|
|
"index": "index/deadline-on-base.wsix",
|
|
"reason": "deadline-role"
|
|
},
|
|
{
|
|
"name": "floor-without-derived-from",
|
|
"kind": "index",
|
|
"index": "index/floor-without-derived-from.wsix",
|
|
"reason": "floor-derived-from"
|
|
},
|
|
{
|
|
"name": "floor-only-piece",
|
|
"kind": "index",
|
|
"index": "index/floor-only-piece.wsix",
|
|
"reason": "ok"
|
|
},
|
|
{
|
|
"name": "floor-only-piece-with-derived-from",
|
|
"kind": "index",
|
|
"index": "index/floor-only-piece-with-derived-from.wsix",
|
|
"reason": "floor-derived-from"
|
|
},
|
|
{
|
|
"name": "piece-kind-none",
|
|
"kind": "index",
|
|
"index": "index/piece-kind-none.wsix",
|
|
"reason": "ok"
|
|
},
|
|
{
|
|
"name": "entry-flag-unknown",
|
|
"kind": "index",
|
|
"index": "index/entry-flag-unknown.wsix",
|
|
"reason": "entry-flags"
|
|
},
|
|
{
|
|
"name": "piece-gap",
|
|
"kind": "index",
|
|
"index": "index/piece-gap.wsix",
|
|
"reason": "piece-order"
|
|
},
|
|
{
|
|
"name": "piece-empty",
|
|
"kind": "index",
|
|
"index": "index/piece-empty.wsix",
|
|
"reason": "piece-order"
|
|
},
|
|
{
|
|
"name": "piece-entries-overlap",
|
|
"kind": "index",
|
|
"index": "index/piece-entries-overlap.wsix",
|
|
"reason": "piece-entries"
|
|
},
|
|
{
|
|
"name": "entry-in-another-piece",
|
|
"kind": "index",
|
|
"index": "index/entry-in-another-piece.wsix",
|
|
"reason": "piece-entries"
|
|
},
|
|
{
|
|
"name": "piece-kind-unknown",
|
|
"kind": "index",
|
|
"index": "index/piece-kind-unknown.wsix",
|
|
"reason": "piece-kind"
|
|
},
|
|
{
|
|
"name": "plan-past-piece",
|
|
"kind": "index",
|
|
"index": "index/plan-past-piece.wsix",
|
|
"reason": "class-plan"
|
|
},
|
|
{
|
|
"name": "plan-past-class",
|
|
"kind": "index",
|
|
"index": "index/plan-past-class.wsix",
|
|
"reason": "class-plan"
|
|
},
|
|
{
|
|
"name": "plan-floor-only-class",
|
|
"kind": "index",
|
|
"index": "index/plan-floor-only-class.wsix",
|
|
"reason": "class-plan"
|
|
},
|
|
{
|
|
"name": "class-flag-unknown",
|
|
"kind": "index",
|
|
"index": "index/class-flag-unknown.wsix",
|
|
"reason": "class-flags"
|
|
},
|
|
{
|
|
"name": "timebase-zero",
|
|
"kind": "index",
|
|
"index": "index/timebase-zero.wsix",
|
|
"reason": "index-timebase"
|
|
},
|
|
{
|
|
"name": "on-demand-first-piece",
|
|
"kind": "index",
|
|
"index": "index/on-demand-first-piece.wsix",
|
|
"reason": "window-start"
|
|
},
|
|
{
|
|
"name": "on-demand-first-entry",
|
|
"kind": "index",
|
|
"index": "index/on-demand-first-entry.wsix",
|
|
"reason": "window-start"
|
|
},
|
|
{
|
|
"name": "on-demand-start",
|
|
"kind": "index",
|
|
"index": "index/on-demand-start.wsix",
|
|
"reason": "window-start"
|
|
},
|
|
{
|
|
"name": "truncated-table",
|
|
"kind": "index",
|
|
"index": "index/truncated-table.wsix",
|
|
"reason": "index-truncated"
|
|
},
|
|
{
|
|
"name": "trailing",
|
|
"kind": "index",
|
|
"index": "index/trailing.wsix",
|
|
"reason": "index-trailing"
|
|
},
|
|
{
|
|
"name": "magic",
|
|
"kind": "index",
|
|
"index": "index/magic.wsix",
|
|
"reason": "index-magic"
|
|
},
|
|
{
|
|
"name": "version",
|
|
"kind": "index",
|
|
"index": "index/version.wsix",
|
|
"reason": "index-version"
|
|
},
|
|
{
|
|
"name": "media-class",
|
|
"kind": "index",
|
|
"index": "index/media-class.wsix",
|
|
"reason": "index-media-class"
|
|
},
|
|
{
|
|
"name": "reserved",
|
|
"kind": "index",
|
|
"index": "index/reserved.wsix",
|
|
"reason": "index-reserved"
|
|
},
|
|
{
|
|
"name": "role",
|
|
"kind": "index",
|
|
"index": "index/role.wsix",
|
|
"reason": "index-role"
|
|
},
|
|
{
|
|
"name": "tier",
|
|
"kind": "index",
|
|
"index": "index/tier.wsix",
|
|
"reason": "index-tier"
|
|
},
|
|
{
|
|
"name": "string-index",
|
|
"kind": "index",
|
|
"index": "index/string-index.wsix",
|
|
"reason": "index-string"
|
|
},
|
|
{
|
|
"name": "objects-ok",
|
|
"kind": "objects",
|
|
"index": "objects-index/ok.wsix",
|
|
"objects": "objects/",
|
|
"reason": "ok"
|
|
},
|
|
{
|
|
"name": "objects-cmaf-listed",
|
|
"kind": "objects",
|
|
"index": "objects-index/cmaf-listed.wsix",
|
|
"objects": "objects/",
|
|
"reason": "non-envelope-entry"
|
|
},
|
|
{
|
|
"name": "objects-missing",
|
|
"kind": "objects",
|
|
"index": "objects-index/missing.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-missing"
|
|
},
|
|
{
|
|
"name": "objects-hash",
|
|
"kind": "objects",
|
|
"index": "objects-index/hash.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-hash"
|
|
},
|
|
{
|
|
"name": "objects-not-its-format",
|
|
"kind": "objects",
|
|
"index": "objects-index/not-its-format.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-lengths"
|
|
},
|
|
{
|
|
"name": "objects-length",
|
|
"kind": "objects",
|
|
"index": "objects-index/length.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-length"
|
|
},
|
|
{
|
|
"name": "objects-lengths",
|
|
"kind": "objects",
|
|
"index": "objects-index/lengths.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-lengths"
|
|
},
|
|
{
|
|
"name": "objects-capability",
|
|
"kind": "objects",
|
|
"index": "objects-index/capability.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-capability"
|
|
},
|
|
{
|
|
"name": "objects-derived-from",
|
|
"kind": "objects",
|
|
"index": "objects-index/derived-from.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-derived-from"
|
|
},
|
|
{
|
|
"name": "objects-refines-names-another",
|
|
"kind": "objects",
|
|
"index": "objects-index/refines-names-another.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-refines"
|
|
},
|
|
{
|
|
"name": "receipt-ok",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/ok.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "ok"
|
|
},
|
|
{
|
|
"name": "receipt-ok-labelled",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/ok-labelled.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "ok"
|
|
},
|
|
{
|
|
"name": "receipt-ok-live-window",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/ok-live-window.json",
|
|
"indexes": [
|
|
"receipt/live/index-v.wsix"
|
|
],
|
|
"reason": "ok"
|
|
},
|
|
{
|
|
"name": "receipt-counts",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/counts.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-counts"
|
|
},
|
|
{
|
|
"name": "receipt-parent-kind",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/parent-kind.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-parent-kind"
|
|
},
|
|
{
|
|
"name": "receipt-parent-kind-live",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/parent-kind-live.json",
|
|
"indexes": [
|
|
"receipt/live/index-v.wsix"
|
|
],
|
|
"reason": "receipt-parent-kind"
|
|
},
|
|
{
|
|
"name": "receipt-stage-root",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/stage-root.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-stage-root"
|
|
},
|
|
{
|
|
"name": "receipt-index-digest",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/index-digest.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-index-digest"
|
|
},
|
|
{
|
|
"name": "receipt-media-class",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/media-class.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-component"
|
|
},
|
|
{
|
|
"name": "receipt-policy-digest",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/policy-digest.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-policy-digest"
|
|
},
|
|
{
|
|
"name": "receipt-energy",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/energy.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-energy"
|
|
},
|
|
{
|
|
"name": "receipt-signature",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/signature.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-signature"
|
|
},
|
|
{
|
|
"name": "receipt-key-identity",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/key-identity.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-signature"
|
|
},
|
|
{
|
|
"name": "receipt-key-identity-y-not-reduced",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/key-identity-y-not-reduced.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-signature"
|
|
},
|
|
{
|
|
"name": "receipt-r-small-order",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/r-small-order.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-signature"
|
|
},
|
|
{
|
|
"name": "receipt-unknown-member",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/unknown-member.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-duplicate-member",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/duplicate-member.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-minus-zero",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/minus-zero.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-lone-surrogate",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/lone-surrogate.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-null-value",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/null-value.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-energy-member-missing",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/energy-member-missing.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-evidence-without-class",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/evidence-without-class.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-no-component",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/no-component.json",
|
|
"indexes": [],
|
|
"reason": "receipt-index-count"
|
|
},
|
|
{
|
|
"name": "receipt-receipt-hash",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/receipt-hash.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-two-components-one-id",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/two-components-one-id.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix",
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-component"
|
|
}
|
|
]
|
|
}
|