{
  "format": "vercy-enterprise-allocation-fixtures/v2",
  "candidateName": "Maintenance Plan",
  "cases": [
    {
      "id": "unused-plan",
      "kind": "positive",
      "input": "A plan is published before assets are assigned.",
      "expect": "It remains independently valid.",
      "target": "Maintenance Plan",
      "violates": "A plan may exist before applicable assets.",
      "closesDefect": "D17"
    },
    {
      "id": "condition-trigger",
      "kind": "positive",
      "input": "A condition threshold triggers a work-order request.",
      "expect": "The plan triggers authorization without claiming execution.",
      "target": "Maintenance Plan",
      "violates": "A plan never proves performed work.",
      "closesDefect": "D17"
    },
    {
      "id": "successor",
      "kind": "positive",
      "input": "An interval changes next year.",
      "expect": "A successor version is appended.",
      "target": "Maintenance Plan",
      "violates": "Published versions are immutable.",
      "closesDefect": "D17"
    },
    {
      "id": "order-proof",
      "kind": "negative",
      "input": "The plan is treated as proof of a work order.",
      "expect": "The inference is rejected.",
      "target": "Maintenance Plan",
      "violates": "A plan never proves work authorization.",
      "closesDefect": "D17",
      "expectedCode": "EM_OPS_03_PLAN_PROVES_AUTHORIZATION"
    },
    {
      "id": "execution-proof",
      "kind": "negative",
      "input": "A due plan item is treated as performed maintenance.",
      "expect": "The inference is rejected.",
      "target": "Maintenance Plan",
      "violates": "A plan never proves performed work.",
      "closesDefect": "D17",
      "expectedCode": "EM_OPS_03_PLAN_PROVES_EXECUTION"
    },
    {
      "id": "mutable-version",
      "kind": "negative",
      "input": "A published interval is overwritten.",
      "expect": "The mutation is rejected.",
      "target": "Maintenance Plan",
      "violates": "Published versions are immutable.",
      "closesDefect": "D17",
      "expectedCode": "EM_OPS_03_PLAN_VERSION_MUTATED"
    },
    {
      "id": "A-PLN-01",
      "target": "Maintenance Plan",
      "kind": "negative",
      "input": "A plan version applicable at model scope is read as establishing calibration coverage for every instance in that scope.",
      "expect": "The inference is rejected.",
      "violates": "Plan applicability at type, variant or configuration scope never establishes instance-level calibration, fitness or coverage.",
      "closesDefect": "D19",
      "expectedCode": "EM_OPS_03_PLAN_APPLICABILITY_IMPLIES_CALIBRATION"
    },
    {
      "id": "A-PLN-02",
      "target": "Maintenance Plan",
      "kind": "positive",
      "input": "A plan version declares scopeKind type with explicit instance resolution before any due item is raised.",
      "expect": "The applicability is accepted and each due item resolves to a named asset instance.",
      "violates": "Applicability is explicit and versioned.",
      "closesDefect": "D19"
    }
  ]
}