3d5a146ac4
An on-demand index (no previous window) whose first_piece or first_entry is not 0, or whose first piece does not start at 0, is refused with window-start: three cases in the stage index's mutation test, and the same three as corpus index mutations that pack_verify.py re-derives. Co-Authored-By: Claude Opus 5.5 <[email protected]>
505 lines
12 KiB
JSON
505 lines
12 KiB
JSON
{
|
|
"cases": [
|
|
{
|
|
"name": "ok",
|
|
"kind": "index",
|
|
"index": "index/ok.wsix",
|
|
"reason": "ok"
|
|
},
|
|
{
|
|
"name": "refines-flipped",
|
|
"kind": "index",
|
|
"index": "index/refines-flipped.wsix",
|
|
"reason": "refines-mismatch"
|
|
},
|
|
{
|
|
"name": "layer-gap",
|
|
"kind": "index",
|
|
"index": "index/layer-gap.wsix",
|
|
"reason": "layer-gap"
|
|
},
|
|
{
|
|
"name": "refines-outside-window",
|
|
"kind": "index",
|
|
"index": "index/refines-outside-window.wsix",
|
|
"reason": "refines-outside-window"
|
|
},
|
|
{
|
|
"name": "tier-entropy-over-entropy",
|
|
"kind": "index",
|
|
"index": "index/tier-entropy-over-entropy.wsix",
|
|
"reason": "tier-entropy-passthrough"
|
|
},
|
|
{
|
|
"name": "tier-decode-over-entropy",
|
|
"kind": "index",
|
|
"index": "index/tier-decode-over-entropy.wsix",
|
|
"reason": "tier-weakest"
|
|
},
|
|
{
|
|
"name": "tier-on-floor",
|
|
"kind": "index",
|
|
"index": "index/tier-on-floor.wsix",
|
|
"reason": "tier-mismatch"
|
|
},
|
|
{
|
|
"name": "digest-without-tier",
|
|
"kind": "index",
|
|
"index": "index/digest-without-tier.wsix",
|
|
"reason": "digest-without-tier"
|
|
},
|
|
{
|
|
"name": "dup-flag-missing",
|
|
"kind": "index",
|
|
"index": "index/dup-flag-missing.wsix",
|
|
"reason": "dup-flag"
|
|
},
|
|
{
|
|
"name": "dup-flag-lie",
|
|
"kind": "index",
|
|
"index": "index/dup-flag-lie.wsix",
|
|
"reason": "dup-flag"
|
|
},
|
|
{
|
|
"name": "dup-length",
|
|
"kind": "index",
|
|
"index": "index/dup-length.wsix",
|
|
"reason": "dup-length"
|
|
},
|
|
{
|
|
"name": "floor-at-layer-1",
|
|
"kind": "index",
|
|
"index": "index/floor-at-layer-1.wsix",
|
|
"reason": "layer-role"
|
|
},
|
|
{
|
|
"name": "base-with-refines",
|
|
"kind": "index",
|
|
"index": "index/base-with-refines.wsix",
|
|
"reason": "layer-role"
|
|
},
|
|
{
|
|
"name": "floor-before-refinement",
|
|
"kind": "index",
|
|
"index": "index/floor-before-refinement.wsix",
|
|
"reason": "entry-order"
|
|
},
|
|
{
|
|
"name": "deadline-on-base",
|
|
"kind": "index",
|
|
"index": "index/deadline-on-base.wsix",
|
|
"reason": "deadline-role"
|
|
},
|
|
{
|
|
"name": "floor-without-derived-from",
|
|
"kind": "index",
|
|
"index": "index/floor-without-derived-from.wsix",
|
|
"reason": "floor-derived-from"
|
|
},
|
|
{
|
|
"name": "entry-flag-unknown",
|
|
"kind": "index",
|
|
"index": "index/entry-flag-unknown.wsix",
|
|
"reason": "entry-flags"
|
|
},
|
|
{
|
|
"name": "piece-gap",
|
|
"kind": "index",
|
|
"index": "index/piece-gap.wsix",
|
|
"reason": "piece-order"
|
|
},
|
|
{
|
|
"name": "piece-empty",
|
|
"kind": "index",
|
|
"index": "index/piece-empty.wsix",
|
|
"reason": "piece-order"
|
|
},
|
|
{
|
|
"name": "piece-entries-overlap",
|
|
"kind": "index",
|
|
"index": "index/piece-entries-overlap.wsix",
|
|
"reason": "piece-entries"
|
|
},
|
|
{
|
|
"name": "entry-in-another-piece",
|
|
"kind": "index",
|
|
"index": "index/entry-in-another-piece.wsix",
|
|
"reason": "piece-entries"
|
|
},
|
|
{
|
|
"name": "piece-kind-unknown",
|
|
"kind": "index",
|
|
"index": "index/piece-kind-unknown.wsix",
|
|
"reason": "piece-kind"
|
|
},
|
|
{
|
|
"name": "plan-past-piece",
|
|
"kind": "index",
|
|
"index": "index/plan-past-piece.wsix",
|
|
"reason": "class-plan"
|
|
},
|
|
{
|
|
"name": "plan-past-class",
|
|
"kind": "index",
|
|
"index": "index/plan-past-class.wsix",
|
|
"reason": "class-plan"
|
|
},
|
|
{
|
|
"name": "plan-floor-only-class",
|
|
"kind": "index",
|
|
"index": "index/plan-floor-only-class.wsix",
|
|
"reason": "class-plan"
|
|
},
|
|
{
|
|
"name": "class-flag-unknown",
|
|
"kind": "index",
|
|
"index": "index/class-flag-unknown.wsix",
|
|
"reason": "class-flags"
|
|
},
|
|
{
|
|
"name": "timebase-zero",
|
|
"kind": "index",
|
|
"index": "index/timebase-zero.wsix",
|
|
"reason": "index-timebase"
|
|
},
|
|
{
|
|
"name": "on-demand-first-piece",
|
|
"kind": "index",
|
|
"index": "index/on-demand-first-piece.wsix",
|
|
"reason": "window-start"
|
|
},
|
|
{
|
|
"name": "on-demand-first-entry",
|
|
"kind": "index",
|
|
"index": "index/on-demand-first-entry.wsix",
|
|
"reason": "window-start"
|
|
},
|
|
{
|
|
"name": "on-demand-start",
|
|
"kind": "index",
|
|
"index": "index/on-demand-start.wsix",
|
|
"reason": "window-start"
|
|
},
|
|
{
|
|
"name": "truncated-table",
|
|
"kind": "index",
|
|
"index": "index/truncated-table.wsix",
|
|
"reason": "index-truncated"
|
|
},
|
|
{
|
|
"name": "trailing",
|
|
"kind": "index",
|
|
"index": "index/trailing.wsix",
|
|
"reason": "index-trailing"
|
|
},
|
|
{
|
|
"name": "magic",
|
|
"kind": "index",
|
|
"index": "index/magic.wsix",
|
|
"reason": "index-magic"
|
|
},
|
|
{
|
|
"name": "version",
|
|
"kind": "index",
|
|
"index": "index/version.wsix",
|
|
"reason": "index-version"
|
|
},
|
|
{
|
|
"name": "media-class",
|
|
"kind": "index",
|
|
"index": "index/media-class.wsix",
|
|
"reason": "index-media-class"
|
|
},
|
|
{
|
|
"name": "reserved",
|
|
"kind": "index",
|
|
"index": "index/reserved.wsix",
|
|
"reason": "index-reserved"
|
|
},
|
|
{
|
|
"name": "role",
|
|
"kind": "index",
|
|
"index": "index/role.wsix",
|
|
"reason": "index-role"
|
|
},
|
|
{
|
|
"name": "tier",
|
|
"kind": "index",
|
|
"index": "index/tier.wsix",
|
|
"reason": "index-tier"
|
|
},
|
|
{
|
|
"name": "string-index",
|
|
"kind": "index",
|
|
"index": "index/string-index.wsix",
|
|
"reason": "index-string"
|
|
},
|
|
{
|
|
"name": "objects-ok",
|
|
"kind": "objects",
|
|
"index": "objects-index/ok.wsix",
|
|
"objects": "objects/",
|
|
"reason": "ok"
|
|
},
|
|
{
|
|
"name": "objects-cmaf-listed",
|
|
"kind": "objects",
|
|
"index": "objects-index/cmaf-listed.wsix",
|
|
"objects": "objects/",
|
|
"reason": "non-envelope-entry"
|
|
},
|
|
{
|
|
"name": "objects-missing",
|
|
"kind": "objects",
|
|
"index": "objects-index/missing.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-missing"
|
|
},
|
|
{
|
|
"name": "objects-hash",
|
|
"kind": "objects",
|
|
"index": "objects-index/hash.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-hash"
|
|
},
|
|
{
|
|
"name": "objects-not-its-format",
|
|
"kind": "objects",
|
|
"index": "objects-index/not-its-format.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-lengths"
|
|
},
|
|
{
|
|
"name": "objects-length",
|
|
"kind": "objects",
|
|
"index": "objects-index/length.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-length"
|
|
},
|
|
{
|
|
"name": "objects-lengths",
|
|
"kind": "objects",
|
|
"index": "objects-index/lengths.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-lengths"
|
|
},
|
|
{
|
|
"name": "objects-capability",
|
|
"kind": "objects",
|
|
"index": "objects-index/capability.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-capability"
|
|
},
|
|
{
|
|
"name": "objects-derived-from",
|
|
"kind": "objects",
|
|
"index": "objects-index/derived-from.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-derived-from"
|
|
},
|
|
{
|
|
"name": "objects-refines-names-another",
|
|
"kind": "objects",
|
|
"index": "objects-index/refines-names-another.wsix",
|
|
"objects": "objects/",
|
|
"reason": "object-refines"
|
|
},
|
|
{
|
|
"name": "receipt-ok",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/ok.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "ok"
|
|
},
|
|
{
|
|
"name": "receipt-ok-labelled",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/ok-labelled.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "ok"
|
|
},
|
|
{
|
|
"name": "receipt-ok-live-window",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/ok-live-window.json",
|
|
"indexes": [
|
|
"receipt/live/index-v.wsix"
|
|
],
|
|
"reason": "ok"
|
|
},
|
|
{
|
|
"name": "receipt-counts",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/counts.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-counts"
|
|
},
|
|
{
|
|
"name": "receipt-parent-kind",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/parent-kind.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-parent-kind"
|
|
},
|
|
{
|
|
"name": "receipt-parent-kind-live",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/parent-kind-live.json",
|
|
"indexes": [
|
|
"receipt/live/index-v.wsix"
|
|
],
|
|
"reason": "receipt-parent-kind"
|
|
},
|
|
{
|
|
"name": "receipt-stage-root",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/stage-root.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-stage-root"
|
|
},
|
|
{
|
|
"name": "receipt-index-digest",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/index-digest.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-index-digest"
|
|
},
|
|
{
|
|
"name": "receipt-media-class",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/media-class.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-component"
|
|
},
|
|
{
|
|
"name": "receipt-policy-digest",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/policy-digest.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-policy-digest"
|
|
},
|
|
{
|
|
"name": "receipt-energy",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/energy.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-energy"
|
|
},
|
|
{
|
|
"name": "receipt-signature",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/signature.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-signature"
|
|
},
|
|
{
|
|
"name": "receipt-unknown-member",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/unknown-member.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-duplicate-member",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/duplicate-member.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-minus-zero",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/minus-zero.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-lone-surrogate",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/lone-surrogate.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-null-value",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/null-value.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-energy-member-missing",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/energy-member-missing.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-evidence-without-class",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/evidence-without-class.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-no-component",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/no-component.json",
|
|
"indexes": [],
|
|
"reason": "receipt-index-count"
|
|
},
|
|
{
|
|
"name": "receipt-receipt-hash",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/receipt-hash.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-json"
|
|
},
|
|
{
|
|
"name": "receipt-two-components-one-id",
|
|
"kind": "receipt",
|
|
"receipt": "receipt/two-components-one-id.json",
|
|
"indexes": [
|
|
"receipt/index-v.wsix",
|
|
"receipt/index-v.wsix"
|
|
],
|
|
"reason": "receipt-component"
|
|
}
|
|
]
|
|
}
|