{
  "format": "vercy-model-allocation-candidate/v1",
  "contourId": "EM-TEC-02",
  "proposedName": "Purchased Licence / Entitlement",
  "modelId": null,
  "registryId": null,
  "allocationState": "unassigned",
  "decision": "NEW MODEL CANDIDATE",
  "canonicalPublishable": false,
  "candidateRevision": 3,
  "identityTest": {
    "stableIdentity": "A purchased software entitlement remains identifiable across assignment, consumption, renewal, suspension, product upgrades and installation changes.",
    "versionIdentity": "Scope, metric, quantity, territory, term, permitted use or assignment changes create effective-dated revisions with preserved history.",
    "independentLifecycle": [
      "requested",
      "ordered",
      "provisioned",
      "active",
      "suspended",
      "expired",
      "terminated",
      "superseded"
    ],
    "mastership": "software asset management, procurement or licensing authority"
  },
  "boundary": {
    "owns": [
      "stable entitlement identity",
      "versioned product scope, metric, quantity, territory, term and permitted-use constraints",
      "effective typed consumer allocations",
      "provisioning, suspension, expiry, termination and successor renewal state"
    ],
    "references": [
      {
        "target": "WM-SFT-001",
        "purpose": "product, edition, release-family or release scope"
      },
      {
        "target": "WM-SFT-002",
        "purpose": "operator system or application consumer"
      },
      {
        "target": "WM-ECO-006",
        "purpose": "agreement or licence instrument; unverified scope fit"
      },
      {
        "target": "WM-XCT-029",
        "purpose": "surviving duties and restrictions; unverified scope fit"
      }
    ],
    "excludes": [
      "software product, system, application or installation identity",
      "deployment and runtime lifecycle",
      "contract and obligation mastership",
      "usage observation and compliance-assessment identity"
    ]
  },
  "objects": {
    "PurchasedEntitlement": {
      "identity": [
        "entitlementId"
      ],
      "required": [
        "agreementRef",
        "productScopeRef",
        "scopeGranularity",
        "licenceMetricCodeListRef",
        "licenceMetric",
        "quantity",
        "validFrom",
        "status",
        "provenance"
      ],
      "scopeGranularityValues": [
        "product",
        "edition",
        "release-family",
        "release"
      ],
      "optional": [
        "validTo",
        "territory",
        "permittedUse",
        "assignmentRule",
        "successorRef",
        "tombstoneRef"
      ],
      "lifecycle": [
        "requested",
        "ordered",
        "provisioned",
        "active",
        "suspended",
        "expired",
        "terminated",
        "superseded"
      ]
    },
    "EntitlementAllocation": {
      "identity": [
        "entitlementAllocationId"
      ],
      "required": [
        "entitlementRef",
        "consumerBinding",
        "quantity",
        "effectiveFrom",
        "status",
        "provenance"
      ],
      "consumerBindingTypes": [
        "organization",
        "software-system",
        "business-application"
      ],
      "countedStatuses": [
        "provisioned",
        "active"
      ],
      "optional": [
        "effectiveTo",
        "justification",
        "successorRef",
        "tombstoneRef"
      ],
      "lifecycle": [
        "requested",
        "provisioned",
        "active",
        "suspended",
        "ended",
        "superseded"
      ]
    }
  },
  "invariantRules": [
    {
      "id": "EM-TEC-02.EN-01",
      "text": "Purchase or entitlement never creates installation, deployment, system, application or usage; provenance indicating such derivation is invalid."
    },
    {
      "id": "EM-TEC-02.EN-02",
      "text": "Every entitlement references one authoritative agreement and one WM-SFT-001 product scope with declared scopeGranularity."
    },
    {
      "id": "EM-TEC-02.EN-03",
      "text": "scopeGranularity is product, edition, release-family or release and the referenced identity remains mastered by WM-SFT-001."
    },
    {
      "id": "EM-TEC-02.EN-04",
      "text": "Licence metric, quantity, territory, term and permitted-use constraints are effective-dated and historically resolvable."
    },
    {
      "id": "EM-TEC-02.EN-05",
      "text": "EntitlementAllocation uses one typed consumerBinding of organization, software-system or business-application and has no redundant consumer fields."
    },
    {
      "id": "EM-TEC-02.EN-06",
      "text": "At instant t, allocated quantity is the sum over active or provisioned allocations whose effective window covers t; the sum cannot exceed the entitlement effective at t under the same metric."
    },
    {
      "id": "EM-TEC-02.EN-07",
      "text": "Reallocation closes or reduces predecessor allocations and conserves quantity before successor allocations become effective."
    },
    {
      "id": "EM-TEC-02.EN-08",
      "text": "Assignment changes entitlement consumption without changing product, system or application identity."
    },
    {
      "id": "EM-TEC-02.EN-09",
      "text": "Product upgrade eligibility never rewrites historical product scope; it creates a successor entitlement revision."
    },
    {
      "id": "EM-TEC-02.EN-10",
      "text": "Suspension, expiry and termination stop effective authorization but preserve commercial and compliance history."
    },
    {
      "id": "EM-TEC-02.EN-11",
      "text": "Renewal creates one successor entitlement revision linked by successorRef; an expired record is never silently extended."
    },
    {
      "id": "EM-TEC-02.EN-12",
      "text": "Observed use and compliance verdicts remain external evidence and never mutate entitlement state by inference."
    },
    {
      "id": "EM-TEC-02.EN-13",
      "text": "Hosted delivery may have entitlement and usage without local installation and records the absence explicitly."
    },
    {
      "id": "EM-TEC-02.EN-14",
      "text": "Agreement duties and surviving restrictions remain externally mastered after entitlement termination."
    },
    {
      "id": "EM-TEC-02.EN-15",
      "text": "Territory or permitted-use breach is a compliance finding and never silently expands entitlement scope."
    },
    {
      "id": "EM-TEC-02.EN-16",
      "text": "Retired entitlement and allocation identifiers remain resolvable and are never recycled."
    }
  ],
  "holds": [
    "No registry identifier is allocated or guessed.",
    "WM-ECO-006 and WM-XCT-029 existence and scope fit are unverified by the provider studies.",
    "Licence metric code list and product-scope crosswalk remain unresolved.",
    "Profile constraints depending on this candidate remain inert until allocation and approved relations.",
    "Grok returned conditional accept; the single frozen audit returned REVISE and was remediated once without rerun.",
    "Package conversion and live conformance remain pending."
  ],
  "publicationStatement": "Research candidate only; not canonically publishable, installable, allocated or verified."
}