{
  "format": "vercy-enterprise-allocation-fixtures/v1",
  "candidateName": "Benefit Enrollment",
  "candidateRevision": 3,
  "canonicalPublishable": false,
  "cases": [
    {
      "id": "EM-PEO-09.FX-044",
      "kind": "positive",
      "input": "An implementation contradicts this rule: A benefit enrollment remains identifiable by person, plan version, election and coverage interval independently of payroll.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-01.",
      "rules": [
        "EM-PEO-09.BE-01"
      ]
    },
    {
      "id": "EM-PEO-09.FX-045",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Changing election, dependent set, tier, waiver, suspension or coverage interval appends a successor state and preserves history.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-02.",
      "rules": [
        "EM-PEO-09.BE-02"
      ]
    },
    {
      "id": "EM-PEO-09.FX-046",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Enrollment requires a plan version and may reference Employment, but may outlive active employment under continuation rules.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-03.",
      "rules": [
        "EM-PEO-09.BE-03"
      ]
    },
    {
      "id": "EM-PEO-09.FX-047",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Election and coverage are enrollment-owned components; neither is eligibility nor a claim.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-04.",
      "rules": [
        "EM-PEO-09.BE-04"
      ]
    },
    {
      "id": "EM-PEO-09.FX-048",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Coverage may remain active when pay is zero, no deduction exists or no payroll period exists.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-05.",
      "rules": [
        "EM-PEO-09.BE-05"
      ]
    },
    {
      "id": "EM-PEO-09.FX-049",
      "kind": "negative",
      "input": "An implementation contradicts this rule: A deduction on a payslip is not evidence of coverage.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-06.",
      "rules": [
        "EM-PEO-09.BE-06"
      ]
    },
    {
      "id": "EM-PEO-09.FX-050",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Enrollment interval, coverage interval, payroll period and payment date are distinct.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-07.",
      "rules": [
        "EM-PEO-09.BE-07"
      ]
    },
    {
      "id": "EM-PEO-09.FX-051",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Dependent coverage and tier are explicit states with source authority and effective time.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-08.",
      "rules": [
        "EM-PEO-09.BE-08"
      ]
    },
    {
      "id": "EM-PEO-09.FX-052",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Valuation, claim adjudication and payment remain external masters.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-09.",
      "rules": [
        "EM-PEO-09.BE-09"
      ]
    },
    {
      "id": "EM-PEO-09.FX-053",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Ending Employment does not silently end enrollment; an authorized rule or successor state is required.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-10.",
      "rules": [
        "EM-PEO-09.BE-10"
      ]
    },
    {
      "id": "EM-PEO-09.FX-054",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Missing enrollment or coverage data is unknown, never waived or inactive by inference.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-11.",
      "rules": [
        "EM-PEO-09.BE-11"
      ]
    },
    {
      "id": "EM-PEO-09.FX-055",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Historic enrollment remains resolvable after plan succession or retirement.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-12.",
      "rules": [
        "EM-PEO-09.BE-12"
      ]
    },
    {
      "id": "EM-PEO-09.FX-056",
      "kind": "negative",
      "input": "An implementation contradicts this rule: Coverage FTE is independent of the FTE used for pay comparison or proration and has its own source authority.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-13.",
      "rules": [
        "EM-PEO-09.BE-13"
      ]
    },
    {
      "id": "EM-PEO-09.FX-057",
      "kind": "negative",
      "input": "An implementation contradicts this rule: The payroll engine may consume an enrollment snapshot; enrollment never depends on or derives authority from a payroll result.",
      "expect": "The contradiction is rejected under EM-PEO-09.BE-14.",
      "rules": [
        "EM-PEO-09.BE-14"
      ]
    },
    {
      "id": "EM-PEO-09.FX-073",
      "kind": "negative",
      "input": "Family medical coverage continues through an unpaid payroll gap.",
      "expect": "Coverage remains active independently of payroll.",
      "rules": [
        "EM-PEO-09.BE-03",
        "EM-PEO-09.BE-05",
        "EM-PEO-09.BE-14"
      ]
    },
    {
      "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"
      ]
    }
  ]
}