{
  "format": "vercy-enterprise-allocation-fixtures/v1",
  "candidateName": "Consumption Entitlement",
  "cases": [
    {
      "id": "goods-partial-delivery",
      "kind": "positive",
      "covers": [
        "P09",
        "A01"
      ],
      "input": "Order line quantity 10 has line-bound fulfilment evidence for 6.",
      "expect": "Delivered is 6 and outstanding is 4; invoice and payment facts remain independent."
    },
    {
      "id": "paid-outstanding-goods",
      "kind": "negative",
      "covers": [
        "P09",
        "P14",
        "A02"
      ],
      "input": "Invoice for quantity 10 is fully settled while only 6 were fulfilled.",
      "expect": "Payment closes no fulfilment residual; outstanding remains 4."
    },
    {
      "id": "subscription-origin",
      "kind": "positive",
      "covers": [
        "P02",
        "P03",
        "P10",
        "A03"
      ],
      "input": "Accepted subscription order line pins an offer version and activates Subscription S v1.",
      "expect": "Order line and subscription retain distinct identities and the line closes by activation, not shipment."
    },
    {
      "id": "subscription-suspension",
      "kind": "positive",
      "covers": [
        "P12",
        "P13",
        "A04"
      ],
      "input": "S v1 is suspended mid-term and later reactivated.",
      "expect": "Same immutable version remains; reversible suspension does not imply revocation or cancellation."
    },
    {
      "id": "renewal-new-price",
      "kind": "positive",
      "covers": [
        "P05",
        "P11",
        "P12",
        "A05"
      ],
      "input": "Renewal selects a new offer price for the next term.",
      "expect": "Successor subscription version pins the new offer; prior version and invoices remain unchanged; any proration is invoice-owned."
    },
    {
      "id": "renewal-as-model",
      "kind": "negative",
      "covers": [
        "P11",
        "A06"
      ],
      "input": "A standalone Renewal identity is minted.",
      "expect": "Rejected; renewal is a typed predecessor-successor link."
    },
    {
      "id": "usage-creates-grant",
      "kind": "negative",
      "covers": [
        "P08",
        "P14",
        "A07"
      ],
      "input": "Observed usage is treated as proof of entitlement.",
      "expect": "Rejected; usage is externally mastered and creates no grant."
    },
    {
      "id": "active-implies-entitled",
      "kind": "negative",
      "covers": [
        "P14",
        "P16",
        "A08"
      ],
      "input": "Active subscription is treated as an independently keyed entitlement.",
      "expect": "Rejected unless identityGate evidence proves a non-reconstructable grant."
    },
    {
      "id": "derived-grant-no-key",
      "kind": "positive",
      "covers": [
        "P16",
        "A09"
      ],
      "input": "Grant is fully reconstructable from subscription version, offer item, beneficiary, period and source.",
      "expect": "It remains a projection and receives no independent key."
    },
    {
      "id": "multi-beneficiary-independent-clocks",
      "kind": "positive",
      "covers": [
        "P16",
        "A10"
      ],
      "input": "One subscription version grants separately suspended seat rights to different beneficiaries.",
      "expect": "Recorded as evidence supporting but not automatically allocating an independent entitlement identity."
    },
    {
      "id": "promo-no-subscription",
      "kind": "positive",
      "covers": [
        "P16",
        "A11"
      ],
      "input": "A promotional consumption grant exists without a subscription.",
      "expect": "Recorded as identityGate evidence; identifier remains unassigned pending registry adjudication."
    },
    {
      "id": "balance-survives-cancellation",
      "kind": "positive",
      "covers": [
        "P13",
        "P16",
        "A12"
      ],
      "input": "Prepaid remaining balance survives subscription cancellation.",
      "expect": "Cancellation does not erase the candidate grant; evidence is preserved for boundary adjudication."
    },
    {
      "id": "transfer-split-pool",
      "kind": "positive",
      "covers": [
        "P16"
      ],
      "input": "A grant is transferred and split into a pooled balance with independent lineage.",
      "expect": "Evidence supports independent lifecycle without changing allocation state."
    },
    {
      "id": "profile-stores-balance",
      "kind": "negative",
      "covers": [
        "P01",
        "P16"
      ],
      "input": "The profile stores authoritative remaining allowance.",
      "expect": "Rejected as stealth mastership."
    },
    {
      "id": "profile-stores-version-head",
      "kind": "negative",
      "covers": [
        "P01",
        "P03"
      ],
      "input": "The profile advances the subscription version head.",
      "expect": "Rejected; WM-ECO-022 exclusively owns it."
    },
    {
      "id": "proration-in-profile",
      "kind": "negative",
      "covers": [
        "P01",
        "P05"
      ],
      "input": "Profile records proration as its own state.",
      "expect": "Rejected; economic consequence is materialized on WM-ECO-008 lines."
    },
    {
      "id": "suspension-equals-revocation",
      "kind": "negative",
      "covers": [
        "P13"
      ],
      "input": "Suspension permanently revokes the right and cancels the subscription.",
      "expect": "Rejected; clocks and authorities are separate."
    },
    {
      "id": "offer-unpinned",
      "kind": "negative",
      "covers": [
        "P04",
        "P15"
      ],
      "input": "Order or subscription references an offer name without version or valid time.",
      "expect": "Rejected as non-reproducible."
    },
    {
      "id": "cascade-delete",
      "kind": "negative",
      "covers": [
        "P17"
      ],
      "input": "Deleting the profile deletes an order or subscription master.",
      "expect": "Rejected; bindings never cascade-delete masters."
    },
    {
      "id": "usage-correction",
      "kind": "positive",
      "covers": [
        "P08",
        "P15"
      ],
      "input": "A usage event is corrected after billing.",
      "expect": "Correction remains WM-FLW-015-owned and triggers downstream recomputation without mutating entitlement or subscription history."
    },
    {
      "id": "payment-residual-authority",
      "kind": "negative",
      "covers": [
        "P06",
        "A01"
      ],
      "input": "Profile or candidate asserts payment allocation or residual.",
      "expect": "Rejected; WM-ECO-009 owns allocation, residual and settlement exceptions."
    },
    {
      "id": "external-licence-authority",
      "kind": "positive",
      "covers": [
        "P16",
        "A03"
      ],
      "input": "Grant is mastered by an external licence authority distinct from the commercial instrument.",
      "expect": "Recorded as identityGate evidence; identifier remains unassigned."
    },
    {
      "id": "second-usage-source",
      "kind": "negative",
      "covers": [
        "P07",
        "A04"
      ],
      "input": "A second measurement model is cited for allowance projection.",
      "expect": "Rejected; WM-FLW-015 is the sole usage authority."
    },
    {
      "id": "unpinned-subscription-binding",
      "kind": "negative",
      "covers": [
        "P15",
        "A03"
      ],
      "input": "Binding cites a subscription without version, revision or as-of time.",
      "expect": "Rejected as non-reproducible."
    },
    {
      "id": "unpinned-usage-binding",
      "kind": "negative",
      "covers": [
        "P08",
        "P15",
        "A04"
      ],
      "input": "UsageProjectionBinding omits as-of time.",
      "expect": "Rejected."
    },
    {
      "id": "binding-edited-in-place",
      "kind": "negative",
      "covers": [
        "P15",
        "P17",
        "A03"
      ],
      "input": "A binding is mutated instead of superseded.",
      "expect": "Rejected; bindings are append-only."
    },
    {
      "id": "overage-in-profile",
      "kind": "negative",
      "covers": [
        "P01",
        "P05",
        "A06"
      ],
      "input": "Overage or refund is held as profile or entitlement state.",
      "expect": "Rejected; materialized on WM-ECO-008 lines."
    },
    {
      "id": "availability-implies-entitled",
      "kind": "negative",
      "covers": [
        "P14",
        "A08"
      ],
      "input": "Successful service access is treated as proof of an active grant.",
      "expect": "Rejected."
    },
    {
      "id": "entitlement-restriction-independent-basis",
      "kind": "positive",
      "covers": [
        "P13",
        "P14",
        "A07"
      ],
      "input": "Nonpayment suspends the subscription; grant restriction has a separate assertion, basis and effective time.",
      "expect": "Only subscription suspension follows automatically; prior periods remain unchanged."
    },
    {
      "id": "revision-vs-successor-boundary",
      "kind": "positive",
      "covers": [
        "A09",
        "A12"
      ],
      "input": "Allowance-only change occurs, then subject changes.",
      "expect": "Allowance change yields revision; subject change yields new candidate entitlement; history remains resolvable."
    },
    {
      "id": "head-revision-term-conflict",
      "kind": "negative",
      "covers": [
        "P01",
        "A09"
      ],
      "input": "Head and current revision disagree on permission, scope or period.",
      "expect": "Rejected; terms are revision-mastered only."
    },
    {
      "id": "entitlement-id-recycled",
      "kind": "negative",
      "covers": [
        "A12"
      ],
      "input": "A retired entitlement identifier or revision number is reused.",
      "expect": "Rejected; identifiers and revisions remain resolvable."
    },
    {
      "id": "fulfilment-evidence-unmastered",
      "kind": "negative",
      "covers": [
        "P09",
        "A02"
      ],
      "input": "Despatch evidence is admitted with no named master while WM-ECO-024 is unverified.",
      "expect": "Blocked pending boundary adjudication."
    },
    {
      "id": "candidate-asserts-line-quantity",
      "kind": "negative",
      "covers": [
        "P02",
        "A01"
      ],
      "input": "Candidate or profile asserts delivered, outstanding or allocated line quantity.",
      "expect": "Rejected; WM-ECO-020 owns line quantity progress."
    },
    {
      "id": "gate-partial-evidence",
      "kind": "positive",
      "covers": [
        "P16",
        "A03"
      ],
      "input": "One promotion evidence item is present.",
      "expect": "Registry adjudication opens; allocationState remains unassigned."
    }
  ],
  "predicates": {
    "P01": "Profile mints no identity, lifecycle state, quantity, balance, version head or monetary consequence.",
    "P02": "WM-ECO-020 provisionally owns seller-side Order, OrderLine and line quantity progress under draft waiver; exclusivity is re-asserted only on base settlement.",
    "P03": "WM-ECO-022 provisionally owns Subscription identity, version chain, terms, suspension and renewal clocks under draft waiver; exclusivity is re-asserted only on base settlement.",
    "P04": "WM-ECO-021 owns the pinned offer or proposal version.",
    "P05": "WM-ECO-008 owns issued invoice, credit, debit, refund, overage and proration lines; profile stores no monetary-consequence state.",
    "P06": "WM-ECO-009 owns payment allocation, residual and settlement exceptions; payment is never a grant basis or state trigger.",
    "P07": "WM-FLW-015 owns actual usage events and corrections; usage never creates a grant.",
    "P08": "UsageProjectionBinding is correspondence-only, pins WM-FLW-015 usage stream identity plus as-of time and mints no balance.",
    "P09": "WM-ECO-020 is the provisional master of line-bound fulfilment evidence pending WM-ECO-024 adjudication; payment cannot change line residuals.",
    "P10": "Subscription-originating lines close by creating or activating a subscription version, not by shipment.",
    "P11": "RenewalAssertion is a read-only correspondence record of the WM-ECO-022-owned typed predecessor-to-successor link, pins both revisions, is never the sole renewal record and is never a type or model.",
    "P12": "One effective subscription version exists per instrument and instant; effective versions are immutable.",
    "P13": "Suspension is reversible and distinct from entitlement revocation, cancellation and termination.",
    "P14": "Paid, delivered, entitled and used remain independent claims with independent authority.",
    "P15": "Every binding pins source identity plus revision/version or valid/as-of time, is append-only with supersession and cannot be edited in place.",
    "P16": "Reconstructable grants remain projections; only identityGate evidence permits a future independent entitlement candidate.",
    "P17": "Profile cannot cascade-delete or mutate any upstream master."
  },
  "allocationPredicates": {
    "A01": "Order, line, subscription, entitlement, invoice, payment and usage observation retain distinct identities.",
    "A02": "Entitlement is bounded by subject, permission, scope and period and is never implied by active or paid subscription state.",
    "A03": "Every entitlement cites an authoritative grant basis and exact originating revision where applicable.",
    "A04": "Usage is measured externally and never mutates entitlement identity or issued revision.",
    "A05": "Remaining allowance is a projection over entitlement terms and qualified usage observations.",
    "A06": "Overage is a priced usage consequence and never silently expands entitlement allowance.",
    "A07": "Suspension, grace, revocation, cancellation, termination and expiry remain distinct states.",
    "A08": "Service availability and provisioning never prove that an entitlement is active.",
    "A09": "Material changes to scope, allowance, limits or period create immutable successor revisions or entitlements.",
    "A10": "Renewal links predecessor and successor entitlement or subscription versions and never rewrites prior terms.",
    "A11": "External grant or revocation execution records are evidence and never replace the governed entitlement transition.",
    "A12": "Retired entitlement identifiers and all prior revisions remain resolvable and are never recycled."
  }
}