Transaction Science f3d9e6e56a pack-conformance: a piece with no key frame, a floor presenting another base, a CMAF file altered, a patent-pool floor under the packer's override ...

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]>

2026-10-06 08:18:48 -04:00

1.7 KiB

Raw Permalink History

View raw