{
  "format": "vercy-model-allocation-candidate/v1",
  "contourId": "EM-PEO-09",
  "proposedName": "Benefit Enrollment",
  "modelId": null,
  "registryId": null,
  "allocationState": "unassigned",
  "decision": "NEW MODEL",
  "canonicalPublishable": false,
  "candidateRevision": 3,
  "identityTest": {
    "stableIdentityRule": "EM-PEO-09.BE-01",
    "versionIdentityRule": "EM-PEO-09.BE-02",
    "independentLifecycle": [
      "created",
      "effective",
      "ended",
      "superseded"
    ],
    "mastership": "benefits enrollment administration authority",
    "stableIdentity": "A benefit enrollment remains identifiable by person, plan version, election and coverage interval independently of payroll.",
    "versionIdentity": "Changing election, dependent set, tier, waiver, suspension or coverage interval appends a successor state and preserves history.",
    "normativeRuleAuthority": "EM-PEO-09.BE-01 and EM-PEO-09.BE-02; text copies are compatibility projections."
  },
  "boundary": {
    "owns": [
      "enrollment identity and immutable states",
      "election and waiver",
      "dependent set and tier",
      "coverage periods and continuation state"
    ],
    "references": [
      {
        "target": "Benefit Plan",
        "purpose": "required plan version"
      },
      {
        "target": "WM-ORG-005",
        "purpose": "optional Employment context"
      },
      {
        "target": "WM-REC-010",
        "purpose": "authorized exception or decision"
      },
      {
        "target": "WM-PER-001",
        "purpose": "worker, person and dependent identity authority"
      }
    ],
    "excludes": [
      "eligibility-rule authority",
      "claim adjudication",
      "valuation",
      "payroll result",
      "payment",
      "aggregate disclosure attributes",
      "derived observations as owned facts"
    ]
  },
  "holds": [
    "Registry allocation is pending; no identifier is guessed.",
    "All proposed relations are provisional until registry approval.",
    "Every cited base remains a non-canonical draft or reservation.",
    "Jurisdiction crosswalks, immutable source pins, package conversion and live conformance are pending.",
    "Privacy Aggregation Floor and Public Benefit / Program have no current specification.",
    "WM-ECO-031 term ownership is internally inconsistent and must be narrowed to run-scoped bindings before registration.",
    "WM-ECO-031, WM-ORG-005 and WM-ECO-002 retain single-provider waivers and lack external review.",
    "The frozen relation ledger has no WM-ECO-031 edges; its parent signal to WM-ORG-005 and every proposed edge remain unsettled.",
    "Grok did not receive full reuse-target texts; amount-pin and settlement fitness remain locally verified but provider-unverified."
  ],
  "publicationStatement": "Research candidate only; not canonically publishable, installable or verified.",
  "invariantRules": [
    {
      "id": "EM-PEO-09.BE-01",
      "text": "A benefit enrollment remains identifiable by person, plan version, election and coverage interval independently of payroll."
    },
    {
      "id": "EM-PEO-09.BE-02",
      "text": "Changing election, dependent set, tier, waiver, suspension or coverage interval appends a successor state and preserves history."
    },
    {
      "id": "EM-PEO-09.BE-03",
      "text": "Enrollment requires a plan version and may reference Employment, but may outlive active employment under continuation rules."
    },
    {
      "id": "EM-PEO-09.BE-04",
      "text": "Election and coverage are enrollment-owned components; neither is eligibility nor a claim."
    },
    {
      "id": "EM-PEO-09.BE-05",
      "text": "Coverage may remain active when pay is zero, no deduction exists or no payroll period exists."
    },
    {
      "id": "EM-PEO-09.BE-06",
      "text": "A deduction on a payslip is not evidence of coverage."
    },
    {
      "id": "EM-PEO-09.BE-07",
      "text": "Enrollment interval, coverage interval, payroll period and payment date are distinct."
    },
    {
      "id": "EM-PEO-09.BE-08",
      "text": "Dependent coverage and tier are explicit states with source authority and effective time."
    },
    {
      "id": "EM-PEO-09.BE-09",
      "text": "Valuation, claim adjudication and payment remain external masters."
    },
    {
      "id": "EM-PEO-09.BE-10",
      "text": "Ending Employment does not silently end enrollment; an authorized rule or successor state is required."
    },
    {
      "id": "EM-PEO-09.BE-11",
      "text": "Missing enrollment or coverage data is unknown, never waived or inactive by inference."
    },
    {
      "id": "EM-PEO-09.BE-12",
      "text": "Historic enrollment remains resolvable after plan succession or retirement."
    },
    {
      "id": "EM-PEO-09.BE-13",
      "text": "Coverage FTE is independent of the FTE used for pay comparison or proration and has its own source authority."
    },
    {
      "id": "EM-PEO-09.BE-14",
      "text": "The payroll engine may consume an enrollment snapshot; enrollment never depends on or derives authority from a payroll result."
    }
  ],
  "componentStateMachines": {
    "election": [
      "elected",
      "waived",
      "revoked",
      "superseded"
    ],
    "coverage": [
      "pending",
      "active",
      "suspended",
      "continued",
      "ended"
    ]
  },
  "invariants": [
    "A benefit enrollment remains identifiable by person, plan version, election and coverage interval independently of payroll.",
    "Changing election, dependent set, tier, waiver, suspension or coverage interval appends a successor state and preserves history.",
    "Enrollment requires a plan version and may reference Employment, but may outlive active employment under continuation rules.",
    "Election and coverage are enrollment-owned components; neither is eligibility nor a claim.",
    "Coverage may remain active when pay is zero, no deduction exists or no payroll period exists.",
    "A deduction on a payslip is not evidence of coverage.",
    "Enrollment interval, coverage interval, payroll period and payment date are distinct.",
    "Dependent coverage and tier are explicit states with source authority and effective time.",
    "Valuation, claim adjudication and payment remain external masters.",
    "Ending Employment does not silently end enrollment; an authorized rule or successor state is required.",
    "Missing enrollment or coverage data is unknown, never waived or inactive by inference.",
    "Historic enrollment remains resolvable after plan succession or retirement.",
    "Coverage FTE is independent of the FTE used for pay comparison or proration and has its own source authority.",
    "The payroll engine may consume an enrollment snapshot; enrollment never depends on or derives authority from a payroll result."
  ]
}