{
  "format": "vercy-enterprise-allocation-fixtures/v1",
  "candidateName": "Enrollment",
  "cases": [
    {
      "id": "pre-delivery",
      "kind": "positive",
      "input": "A learner is admitted before a cohort exists.",
      "expect": "Normatively, enrollment remains valid without delivery.",
      "rules": [
        "ENR-INV-01",
        "ENR-INV-15"
      ]
    },
    {
      "id": "cancelled-delivery",
      "kind": "positive",
      "input": "A delivery is cancelled and replacement is offered.",
      "expect": "Normatively, enrollment survives and records transfer.",
      "rules": [
        "ENR-INV-02",
        "ENR-INV-16"
      ]
    },
    {
      "id": "withdrawal",
      "kind": "positive",
      "input": "A learner withdraws after attendance.",
      "expect": "Normatively, prior participation remains.",
      "rules": [
        "ENR-INV-03",
        "ENR-INV-17"
      ]
    },
    {
      "id": "login-attendance",
      "kind": "negative",
      "input": "Platform access is treated as attendance.",
      "expect": "Normatively, the inference is rejected.",
      "rules": [
        "ENR-INV-04",
        "ENR-INV-18"
      ]
    },
    {
      "id": "achievement",
      "kind": "negative",
      "input": "Enrollment is treated as learning achievement.",
      "expect": "Normatively, the inference is rejected.",
      "rules": [
        "ENR-INV-05",
        "ENR-INV-19"
      ]
    },
    {
      "id": "delivery-contained",
      "kind": "negative",
      "input": "Deleting a delivery deletes enrollment identity.",
      "expect": "Normatively, the cascade is rejected.",
      "rules": [
        "ENR-INV-06"
      ]
    },
    {
      "id": "cancel-survives",
      "kind": "semantic",
      "input": "A Delivery is cancelled after attendance.",
      "expect": "Normatively, enrollment and participation history remain; active-seat state ends.",
      "rules": [
        "ENR-INV-07"
      ]
    },
    {
      "id": "attendance-failed",
      "kind": "semantic",
      "input": "A learner attends fully and fails assessment.",
      "expect": "Normatively, attendance remains true; no achievement, award or credential is inferred.",
      "rules": [
        "ENR-INV-08"
      ]
    },
    {
      "id": "pool-decision-level",
      "kind": "semantic",
      "input": "Nomination is attached only to a plan revision.",
      "expect": "Normatively, it must attach to the relevant pool entry.",
      "rules": [
        "ENR-INV-09"
      ]
    },
    {
      "id": "uncontracted-target",
      "kind": "semantic",
      "input": "A reference target has no base or contract entry.",
      "expect": "Normatively, the relation is non-conformant.",
      "rules": [
        "ENR-INV-10"
      ]
    },
    {
      "id": "objective-version-pin",
      "kind": "semantic",
      "input": "A result cites only an objective label.",
      "expect": "Normatively, it is non-conformant.",
      "rules": [
        "ENR-INV-11"
      ]
    },
    {
      "id": "pin-mismatch",
      "kind": "semantic",
      "input": "A result objective belongs to another Program Version.",
      "expect": "Normatively, it is non-conformant.",
      "rules": [
        "ENR-INV-12"
      ]
    },
    {
      "id": "capacity-owner",
      "kind": "semantic",
      "input": "Enrollment stores authoritative seat capacity.",
      "expect": "Normatively, capacity remains Delivery-owned.",
      "rules": [
        "ENR-INV-13"
      ]
    },
    {
      "id": "coverage-required",
      "kind": "semantic",
      "input": "A succession revision omits coverage for a scoped position.",
      "expect": "Normatively, it is non-conformant.",
      "rules": [
        "ENR-INV-14"
      ]
    }
  ],
  "executable": false,
  "status": "declarative-normative-expectations"
}