932497db77
Fix round, item 10. A component and a rung could share an id, so a reference (a lead, a rung's component, refines, a rule's ladder) could name two things. Every id is now unique across the five kinds together (policy-duplicate-id), in both implementations and §3.4(2), with a corpus case of a component and a rung both named v. The corpus README notes that two golden payloads are byte-identical because their frames are. Co-Authored-By: Claude Opus 5.5 <[email protected]>
228 lines
5.1 KiB
JSON
228 lines
5.1 KiB
JSON
{
|
|
"cases": [
|
|
{
|
|
"file": "policy/capability-candidate.toml",
|
|
"reason": "capability-candidate:wai.splat.sog"
|
|
},
|
|
{
|
|
"file": "policy/capability-not-payload.toml",
|
|
"reason": "capability-not-payload:wai.video.package"
|
|
},
|
|
{
|
|
"file": "policy/capability-role.toml",
|
|
"reason": "capability-role:wai.meta.hdr10plus"
|
|
},
|
|
{
|
|
"file": "policy/capability-unknown.toml",
|
|
"reason": "capability-unknown:wai.video.nope"
|
|
},
|
|
{
|
|
"file": "policy/class-layer.toml",
|
|
"reason": "policy-class-layer"
|
|
},
|
|
{
|
|
"file": "policy/dangling-refines.toml",
|
|
"reason": "policy-dangling-refines"
|
|
},
|
|
{
|
|
"file": "policy/datetime.toml",
|
|
"reason": "policy-datetime"
|
|
},
|
|
{
|
|
"file": "policy/deadline-unreachable.toml",
|
|
"reason": "policy-deadline-unreachable"
|
|
},
|
|
{
|
|
"file": "policy/duplicate-id-across-kinds.toml",
|
|
"reason": "policy-duplicate-id"
|
|
},
|
|
{
|
|
"file": "policy/duplicate-id.toml",
|
|
"reason": "policy-duplicate-id"
|
|
},
|
|
{
|
|
"file": "policy/float.toml",
|
|
"reason": "policy-float"
|
|
},
|
|
{
|
|
"file": "policy/integer-range.toml",
|
|
"reason": "policy-integer-range"
|
|
},
|
|
{
|
|
"file": "policy/ladder-component.toml",
|
|
"reason": "policy-ladder-component"
|
|
},
|
|
{
|
|
"file": "policy/layer-lag.toml",
|
|
"reason": "policy-layer-lag"
|
|
},
|
|
{
|
|
"file": "policy/lead.toml",
|
|
"reason": "policy-lead"
|
|
},
|
|
{
|
|
"file": "policy/license-refused.toml",
|
|
"reason": "license-refused:wai.video.avc:patent-pool"
|
|
},
|
|
{
|
|
"file": "policy/missing-key.toml",
|
|
"reason": "policy-missing-key"
|
|
},
|
|
{
|
|
"file": "policy/negative.toml",
|
|
"reason": "policy-negative"
|
|
},
|
|
{
|
|
"file": "policy/no-base.toml",
|
|
"reason": "policy-no-base"
|
|
},
|
|
{
|
|
"file": "policy/open-gop.toml",
|
|
"reason": "policy-open-gop"
|
|
},
|
|
{
|
|
"file": "policy/piece-bounds.toml",
|
|
"reason": "policy-piece-bounds"
|
|
},
|
|
{
|
|
"file": "policy/refines-base.toml",
|
|
"reason": "policy-refines-base"
|
|
},
|
|
{
|
|
"file": "policy/refines-branch.toml",
|
|
"reason": "policy-refines-branch"
|
|
},
|
|
{
|
|
"file": "policy/refines-cycle.toml",
|
|
"reason": "policy-refines-cycle"
|
|
},
|
|
{
|
|
"file": "policy/refines-role.toml",
|
|
"reason": "policy-refines-role"
|
|
},
|
|
{
|
|
"file": "policy/rule-ladder.toml",
|
|
"reason": "policy-rule-ladder"
|
|
},
|
|
{
|
|
"file": "policy/schema.toml",
|
|
"reason": "policy-schema"
|
|
},
|
|
{
|
|
"file": "policy/toml-bom.toml",
|
|
"reason": "policy-toml"
|
|
},
|
|
{
|
|
"file": "policy/toml-depth-33.toml",
|
|
"reason": "policy-toml"
|
|
},
|
|
{
|
|
"file": "policy/toml-depth-80.toml",
|
|
"reason": "policy-toml"
|
|
},
|
|
{
|
|
"file": "policy/toml-duplicate-key.toml",
|
|
"reason": "policy-toml"
|
|
},
|
|
{
|
|
"file": "policy/toml-integer-64.toml",
|
|
"reason": "policy-toml"
|
|
},
|
|
{
|
|
"file": "policy/toml-non-utf8.toml",
|
|
"reason": "policy-toml"
|
|
},
|
|
{
|
|
"file": "policy/toml.toml",
|
|
"reason": "policy-toml"
|
|
},
|
|
{
|
|
"file": "policy/too-many-components.toml",
|
|
"reason": "policy-too-many-components"
|
|
},
|
|
{
|
|
"file": "policy/too-many-deadlines.toml",
|
|
"reason": "policy-too-many-deadlines"
|
|
},
|
|
{
|
|
"file": "policy/too-many-moments.toml",
|
|
"reason": "policy-too-many-moments"
|
|
},
|
|
{
|
|
"file": "policy/too-many-rules.toml",
|
|
"reason": "policy-too-many-rules"
|
|
},
|
|
{
|
|
"file": "policy/type.toml",
|
|
"reason": "policy-type"
|
|
},
|
|
{
|
|
"file": "policy/unknown-key-params.toml",
|
|
"reason": "policy-unknown-key"
|
|
},
|
|
{
|
|
"file": "policy/unknown-key.toml",
|
|
"reason": "policy-unknown-key"
|
|
},
|
|
{
|
|
"file": "policy/value-block.toml",
|
|
"reason": "policy-value"
|
|
},
|
|
{
|
|
"file": "policy/value-cut-window.toml",
|
|
"reason": "policy-value"
|
|
},
|
|
{
|
|
"file": "policy/value-media.toml",
|
|
"reason": "policy-value"
|
|
},
|
|
{
|
|
"file": "source/y4m-header.y4m",
|
|
"reason": "y4m-header"
|
|
},
|
|
{
|
|
"file": "source/y4m-interlaced.y4m",
|
|
"reason": "y4m-interlaced"
|
|
},
|
|
{
|
|
"file": "source/y4m-interlaced-frame.y4m",
|
|
"reason": "y4m-interlaced"
|
|
},
|
|
{
|
|
"file": "source/y4m-colorspace.y4m",
|
|
"reason": "y4m-colorspace"
|
|
},
|
|
{
|
|
"file": "source/y4m-size-change.y4m",
|
|
"reason": "y4m-size-change"
|
|
},
|
|
{
|
|
"file": "source/y4m-truncated.y4m",
|
|
"reason": "y4m-truncated"
|
|
},
|
|
{
|
|
"file": "source/wav-format-float.wav",
|
|
"reason": "wav-format"
|
|
},
|
|
{
|
|
"file": "source/wav-format-8bit.wav",
|
|
"reason": "wav-format"
|
|
},
|
|
{
|
|
"file": "source/wav-truncated.wav",
|
|
"reason": "wav-truncated"
|
|
},
|
|
{
|
|
"file": "source/wav-format-channels-32768.wav",
|
|
"reason": "wav-format"
|
|
},
|
|
{
|
|
"file": "source/wav-format-channels-32769.wav",
|
|
"reason": "wav-format"
|
|
},
|
|
{
|
|
"file": "source/wav-truncated-huge-data.wav",
|
|
"reason": "wav-truncated"
|
|
}
|
|
]
|
|
}
|