{
  "format": "vercy-enterprise-allocation-fixtures/v1",
  "candidateName": "Benefit Plan",
  "candidateRevision": 3,
  "canonicalPublishable": false,
  "cases": [
    {
      "id": "EM-PEO-09.FX-032",
      "kind": "positive",
      "input": "An implementation contradicts this rule: A benefit plan remains identifiable independently of any person, enrollment, payroll deduction, claim or payment.",
      "expect": "The contradiction is rejected under EM-PEO-09.BP-01.",
      "rules": [
        "EM-PEO-09.BP-01"
      ]
    },
    {
      "id": "EM-PEO-09.FX-033",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Changing sponsor, jurisdiction, eligibility, coverage categories or cost-sharing creates an immutable successor plan version.",
      "expect": "The contradiction is rejected under EM-PEO-09.BP-02.",
      "rules": [
        "EM-PEO-09.BP-02"
      ]
    },
    {
      "id": "EM-PEO-09.FX-034",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Eligibility is a versioned plan-owned rule and is neither enrollment nor coverage.",
      "expect": "The contradiction is rejected under EM-PEO-09.BP-03.",
      "rules": [
        "EM-PEO-09.BP-03"
      ]
    },
    {
      "id": "EM-PEO-09.FX-035",
      "kind": "negative",
      "input": "An implementation contradicts this rule: An employee benefit plan is not a WM-POL-012 Public Benefit / Program.",
      "expect": "The contradiction is rejected under EM-PEO-09.BP-04.",
      "rules": [
        "EM-PEO-09.BP-04"
      ]
    },
    {
      "id": "EM-PEO-09.FX-036",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Plan eligibility does not prove enrollment, coverage, claim acceptance or payment.",
      "expect": "The contradiction is rejected under EM-PEO-09.BP-05.",
      "rules": [
        "EM-PEO-09.BP-05"
      ]
    },
    {
      "id": "EM-PEO-09.FX-037",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Valuation is owned by WM-ECO-002 and is not a plan fact.",
      "expect": "The contradiction is rejected under EM-PEO-09.BP-06.",
      "rules": [
        "EM-PEO-09.BP-06"
      ]
    },
    {
      "id": "EM-PEO-09.FX-038",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Payroll deduction configuration is not plan identity and does not prove coverage.",
      "expect": "The contradiction is rejected under EM-PEO-09.BP-07.",
      "rules": [
        "EM-PEO-09.BP-07"
      ]
    },
    {
      "id": "EM-PEO-09.FX-039",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Plan retirement preserves active and historic enrollment references under explicit continuation rules.",
      "expect": "The contradiction is rejected under EM-PEO-09.BP-08.",
      "rules": [
        "EM-PEO-09.BP-08"
      ]
    },
    {
      "id": "EM-PEO-09.FX-040",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Plan versions pin sponsor, jurisdiction, effective interval and source authority.",
      "expect": "The contradiction is rejected under EM-PEO-09.BP-09.",
      "rules": [
        "EM-PEO-09.BP-09"
      ]
    },
    {
      "id": "EM-PEO-09.FX-041",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Missing eligibility evidence is unknown and cannot be coerced to ineligible.",
      "expect": "The contradiction is rejected under EM-PEO-09.BP-10.",
      "rules": [
        "EM-PEO-09.BP-10"
      ]
    },
    {
      "id": "EM-PEO-09.FX-042",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Public-program and employee-plan boundaries remain explicit even when payroll administers statutory contributions.",
      "expect": "The contradiction is rejected under EM-PEO-09.BP-11.",
      "rules": [
        "EM-PEO-09.BP-11"
      ]
    },
    {
      "id": "EM-PEO-09.FX-043",
      "kind": "negative",
      "input": "An implementation contradicts this rule: A claim or use event is outside this candidate and no claim root is minted here.",
      "expect": "The contradiction is rejected under EM-PEO-09.BP-12.",
      "rules": [
        "EM-PEO-09.BP-12"
      ]
    },
    {
      "id": "EM-PEO-09.FX-079",
      "kind": "negative",
      "input": "A deduction is used as proof of benefit coverage.",
      "expect": "Inference is rejected.",
      "rules": [
        "EM-PEO-09.BP-07",
        "EM-PEO-09.BE-06"
      ]
    },
    {
      "id": "EM-PEO-09.FX-080",
      "kind": "negative",
      "input": "An employer medical plan is classified as a public benefit.",
      "expect": "Classification is rejected.",
      "rules": [
        "EM-PEO-09.BP-04",
        "EM-PEO-09.BP-11"
      ]
    }
  ]
}