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]>
15 lines
263 B
TOML
15 lines
263 B
TOML
# Refused: a component and a rung both named v.
|
|
schema = "wai.pack.policy/1"
|
|
asset_id = "r"
|
|
lead = "v"
|
|
|
|
[[component]]
|
|
id = "v"
|
|
media = "video"
|
|
timebase = { num = 25, den = 1 }
|
|
|
|
[[ladder]]
|
|
id = "v"
|
|
component = "v"
|
|
capability = "wai.video.int_motion"
|
|
role = "base"
|