{
  "format": "vercy-model-allocation-candidate/v1",
  "contourId": "EM-COM-03",
  "proposedName": "Consumption Entitlement",
  "modelId": null,
  "registryId": null,
  "allocationState": "unassigned",
  "decision": "NO DECISION — PARKED PENDING IDENTITY GATE",
  "canonicalPublishable": false,
  "identityTest": {
    "stableIdentity": "A granted right to consume remains identifiable across order closure, subscription version changes, provisioning, payment changes, suspension, grace, usage and renewal.",
    "versionIdentity": "Change of subject, resource scope or grant basis creates a new candidate entitlement; change of period, allowance, limits or reset rule creates an immutable revision. This hypothetical identity applies only if identityGate passes.",
    "independentLifecycle": [
      "proposed",
      "granted",
      "active",
      "suspended",
      "grace",
      "expired",
      "revoked",
      "terminated",
      "superseded"
    ],
    "mastership": "entitlement or licence grant authority"
  },
  "boundary": {
    "owns": [
      "conditional independent consumption-entitlement identity only after identityGate evidence",
      "entitled subject and beneficiary bindings",
      "permission or duty, resource scope and consuming purpose",
      "effective period, allowance, limits and reset rules",
      "grant, activation, suspension, grace, revocation, expiry and termination state",
      "entitlement-internal successor lineage and external execution evidence references"
    ],
    "references": [
      {
        "target": "WM-ECO-020",
        "purpose": "Originating order and order line"
      },
      {
        "target": "WM-ECO-022",
        "purpose": "Subscription version and plan context"
      },
      {
        "target": "WM-ECO-021",
        "purpose": "Accepted proposal or offer version"
      },
      {
        "target": "WM-ECO-008",
        "purpose": "Evidence-only invoice or fiscal-document reference; never a grant basis and never a state trigger"
      },
      {
        "target": "WM-ECO-009",
        "purpose": "Evidence-only payment or settlement reference; never a grant basis and never a state trigger"
      },
      {
        "target": "WM-FLW-015",
        "purpose": "Actual resource-consumption events and corrections"
      }
    ],
    "excludes": [
      "order, subscription, offer, invoice or payment identity",
      "service provisioning and runtime-availability state",
      "usage observation and meter mastership",
      "remaining allowance as stored authoritative fact",
      "automatic grant from active, paid or provisioned status",
      "subscription-derived grants that are fully reconstructable from pinned source facts",
      "renewal as an entity or lifecycle master",
      "proration, credit, debit and invoice-line mastership",
      "WM-ECO-020-owned ordered, allocated, delivered and outstanding line quantities",
      "WM-ECO-022-owned subscription version head",
      "WM-ECO-022-owned subscription suspension state",
      "WM-ECO-009-owned payment allocation, residual and settlement exceptions"
    ]
  },
  "objects": {
    "ConsumptionEntitlement": {
      "identity": [
        "entitlementId"
      ],
      "required": [
        "subjectRef",
        "grantBasisRef",
        "status",
        "currentRevisionRef"
      ],
      "optional": [
        "authorityRef"
      ],
      "lifecycle": [
        "proposed",
        "granted",
        "active",
        "suspended",
        "grace",
        "expired",
        "revoked",
        "terminated",
        "superseded"
      ]
    },
    "EntitlementRevision": {
      "identity": [
        "entitlementId",
        "revision"
      ],
      "required": [
        "permission",
        "resourceScope",
        "period",
        "contentDigest",
        "effectiveFrom"
      ],
      "optional": [
        "allowance",
        "limits",
        "resetRule",
        "effectiveTo",
        "supersedesRevision"
      ],
      "lineageRule": "Terms and revision lineage are mastered only here; head carries currentRevisionRef."
    },
    "conditionalOnIdentityGate": true
  },
  "holds": [
    "Independent Consumption Entitlement identity is unproven and remains a parked identifier-unassigned hypothesis.",
    "Registry namespace and identifier allocation are forbidden until identityGate evidence passes.",
    "WM-ECO-020/022 relation ledgers, WM-ECO-024 fulfilment boundary and WM-FLW-015 usage edge are unresolved.",
    "Base models remain reviewable drafts under waiver; crosswalks and executable fixtures are absent.",
    "Package is declarative and non-publishable.",
    "Exactly one frozen audit was remediated without rerun; declarative fixtures remain non-executable."
  ],
  "candidateRevision": 3,
  "candidateStatus": "frozen-audit-remediated-without-rerun",
  "publishable": false,
  "identityConclusion": "PARKED HYPOTHESIS: independent identity remains unproven until a fixture demonstrates a grant that cannot be reconstructed from a pinned subscription version, offer item, beneficiary, period and grant source.",
  "identityGate": {
    "default": "project entitlement from pinned subscription-version plus offer-item, beneficiary, period and grant-source; do not mint identity",
    "promotionEvidenceRequired": [
      "independent beneficiary or clock within one subscription version",
      "prepaid or promotional grant without a subscription",
      "remaining balance surviving subscription cancellation",
      "transfer, split or pooled grant with independent lineage",
      "external licence or authorization master distinct from the commercial instrument"
    ],
    "antiDualMastership": "A reconstructable grant cannot receive a second authoritative key.",
    "promotionRule": "Any one promotionEvidenceRequired item opens registry adjudication; evidence never allocates an identifier."
  },
  "hypotheticalShape": "The objects below are void unless identityGate passes and registry adjudication allocates an identifier.",
  "invariantRules": [
    {
      "id": "A01",
      "text": "Order, line, subscription, entitlement, invoice, payment and usage observation retain distinct identities."
    },
    {
      "id": "A02",
      "text": "Entitlement is bounded by subject, permission, scope and period and is never implied by active or paid subscription state."
    },
    {
      "id": "A03",
      "text": "Every entitlement cites an authoritative grant basis and exact originating revision where applicable."
    },
    {
      "id": "A04",
      "text": "Usage is measured externally and never mutates entitlement identity or issued revision."
    },
    {
      "id": "A05",
      "text": "Remaining allowance is a projection over entitlement terms and qualified usage observations."
    },
    {
      "id": "A06",
      "text": "Overage is a priced usage consequence and never silently expands entitlement allowance."
    },
    {
      "id": "A07",
      "text": "Suspension, grace, revocation, cancellation, termination and expiry remain distinct states."
    },
    {
      "id": "A08",
      "text": "Service availability and provisioning never prove that an entitlement is active."
    },
    {
      "id": "A09",
      "text": "Material changes to scope, allowance, limits or period create immutable successor revisions or entitlements."
    },
    {
      "id": "A10",
      "text": "Renewal links predecessor and successor entitlement or subscription versions and never rewrites prior terms."
    },
    {
      "id": "A11",
      "text": "External grant or revocation execution records are evidence and never replace the governed entitlement transition."
    },
    {
      "id": "A12",
      "text": "Retired entitlement identifiers and all prior revisions remain resolvable and are never recycled."
    }
  ]
}
