Falsification found two cases that did not hold their rule alone: - floor-opens-on-inter rotated the piece, which also put a key frame inside it, so the extra-key-frame rule refused it whatever the opening rule did. The case (and its packer-side twin in refusals.rs) is now a piece whose first unit is an inter frame and which holds no key frame at all. - patent-pool-floor put royalty_free_only in policy.toml, which the policy reader already refuses in pack_verify.py, so the check under the effective policy was never reached alone. patent-pool-floor-by-override leaves it out of policy.toml and states it in policy.json, the packer's override (§3.2); reseal keeps policy.json's royalty_free_only, as the verifier reads it. New cases floor-motif (floor-motif-mismatch) and floor-cmaf (floor-cmaf-mismatch) give every floor reason a verifier names a package case, in Rust and Python. Co-Authored-By: Claude Opus 5.5 <[email protected]>
1 line
No EOL
1.1 KiB
JSON
1 line
No EOL
1.1 KiB
JSON
{"asset_id":"video-base-01","components":[{"id":"v","index":"index-v.wsix","index_digest":"15b505b570be4162043c8470488cc32a0633e02a77bf0ac9d804c65ae965f84a","media_class":"video","stage_root":"bd0c7799633b108cf9ccb0c7a4cedbdf6173a83470d3d96b94d075c03e0db7b6"}],"energy_provenance":null,"grant":{"capability":"wai.video.package","funds_ceiling":null,"grant_hash":"0000000000000000000000000000000000000000000000000000000000000000","joule_ceiling_micro":null},"joules_micro":0,"kind":"package","packager":"builtin:[email protected]","parent_kind":"none","parent_receipt_hash":null,"policy_digest":"8e3819cd851ac047ff8d7e8012892ad3f878ebcdc8c5a51751948b721314cd89","receipt_hash":"713f17ae18ddcae38d571c8d934cae9b0c42fdf6fc548447e1b6ff624f922467","sig":"5074e7da8d128407360de8b9c97130a16cc3ceafce19963ffad01e903b20cbc5c3adf8b56c023735e905d98957f160420eff2235913590f49e8bf23fbe809804","signer_id":"did:key:z6MkfMo6gxqdBhaHMNnmfhgZFBjpCDTkmJMJLoypsBZS9PwD","signer_pubkey":"0d7550754e0800a5d237eef5826035766b9b3e5a15868a940ab289958788e3b0","stored_bytes":119779,"total_bytes":130963,"total_entries":10,"unique_objects":8,"version":2,"work_units":10} |