b1a7a776dd
The review's package cases become a corpus, package-mutations/: each the golden altered and, where the receipt or LISTING alone would catch it, re-sealed with the golden's key, held as an overlay (the files that differ or are new, and the files it removes) with its reason. 26 cases: a receipt over no component (on demand and live), the index against its policy (class records, a capability, the string order, the class plan), a class named classic, a patent-pool floor under royalty_free_only, a component of another medium, a floor object missing and corrupted, a live window starting past 2^53 - 1, floor objects that do not open on a key frame / hold an extra one / have another sequence header / framing header / renderer and settings / target, an extra key frame the policy allows (ok), dot-names and a *.sha256 file read strictly, and receipt files that are not canonical or name a member twice. - golden.rs builds them (package_mutations), writes the overlays (regen) and requires each, applied to the golden, to get its reason from verify_files (check, so cargo test and CI). - pack_verify.py writes each case out and verifies it in §11.3's order without the golden's inputs, taking the reason of the first check that fails. Two fixes the corpus found in it: an index no catalog can be written for (a start past 2^53 - 1) is catalog-mismatch, not an uncaught ValueError; and "on-demand, one window" is an assertion about the golden, not a rule a package is held to (a live window is a package too, §6.1, §9.2). An object-rules failure now names its reason in brackets. - review.rs asserts the same cases by name, keeping what the corpus cannot hold (an on-demand index starting past 0 cannot be sealed, a fragment time past 2^64 - 1, the random alterations, the verifier's own directory walk). Co-Authored-By: Claude Opus 5.5 <[email protected]>
19 lines
2.3 KiB
Text
19 lines
2.3 KiB
Text
033b524528e8b2b3c131680a854de9a15d8454aa660068cac6725c15003b589e floor/v/033b524528e8b2b3c131680a854de9a15d8454aa660068cac6725c15003b589e.m4s
|
|
1c0d8fdbc265a9eee36dcdef6d7dc0203cd1736d1a32275d58d83e9bc4441a2c floor/v/1c0d8fdbc265a9eee36dcdef6d7dc0203cd1736d1a32275d58d83e9bc4441a2c.m4s
|
|
a68544b402e80f271c8f7c7f03441e27f01b6fb2fa7cda83264c6143f8a5229a floor/v/a68544b402e80f271c8f7c7f03441e27f01b6fb2fa7cda83264c6143f8a5229a.m4s
|
|
d3b10cc7f2036337ecddd5fcc80b48b7ce313c0dc5c20d509d0076fb67a14d60 floor/v/d3b10cc7f2036337ecddd5fcc80b48b7ce313c0dc5c20d509d0076fb67a14d60.m4s
|
|
e20df97a947c57a9aab52e0c1e90ee056d378708523ece116698b152b58e88e8 floor/v/e20df97a947c57a9aab52e0c1e90ee056d378708523ece116698b152b58e88e8.m4s
|
|
58c598174eed554cd0d1bc8abedca8c9d51d992c8e3b963bcb7574da4983ed9f floor/v/init.mp4
|
|
c08ab65657da08c94b08b66e6124760e2815d882e0ba9e6b1677d04c3e4ebeb5 index-v.wsix
|
|
07e98fb9ef9ff3fa6bf04f9078da2a3d2423e586feea1061256131a1d1fbb943 objects/24761a434c91c627f11abd6265371966b50573602a200dd7bb04e0d90889326d.wai
|
|
4d583d03292b77f9d46b02f2c80a774b1cda1b07df38243d18fe586b82eaca60 objects/35c7a45323b7afe979c123fa885f35cc55fabd2a1954759aebe4b95dbc76361f.wai
|
|
cfb71256ef44758ea279846a8938823994d321abce83ef73afd2ed269a8e0259 objects/618e0a89be8c7e556b380326b219c2f6fbfc5a0cb97754e871c1c23a99bdb481.wai
|
|
f3eedf9eb2870c0160801397412e7a4c3aca4a6e16f1a69a276e1356d38c9220 objects/61c7c3b7ccab07ed01df5b0d7ca0240598b914dbf2cabe545aa001e8de12d365.wai
|
|
9fdf29f5c9536d1f7701c791328d656ef725ba9b8cb3760bdb00f5a503c69338 objects/761c4649427c51796a2b699568775765b209ee80d2f4fc1cf040838c6724aa2d.wai
|
|
a3135205d3139b39409d4e4e2aafed2c042797d293a9f9fc8664467165336e25 objects/7cc2b824ad6105abfccae27093190311b6a2348842e571684b021a213341b94a.wai
|
|
3c66c0b25b759cd1fe6245d282ba928441b873d62e4ac62c95260e45a80fff77 objects/8f748dc64787b5c5ece081270c8559277f926322dd6ddc345306b8231f2d1752.wai
|
|
b2a40a9a8cec3dcaf6c92a07d6765203c412c57ec879b7e33a52eabb2e74609d objects/c2ce1907255a041c388afd06ccd007436368e8d20467fdec2a1eebbb84b03bf2.wai
|
|
17b67eb2c495b48ff011ec183f85af009617e506790d7d9d1f0b6fc2db45e14e package.receipt.json
|
|
3942e4a483260dcdd713df1724b92ebe874dbfb6cd21428a11bc5182cc79d0c1 plan-v.txt
|
|
a497fdf29528c4744ce8548e3b430d6311f15c10ca2a4cb548fb9958d3d98f07 policy.json
|
|
d667cfa0c1e4e52f254f3a89a80cb0d3b6be0d833c40c8b44f60be33765859b0 policy.toml
|