{
  "format": "vercy-model-allocation-candidate/v1",
  "contourId": "EM-PEO-09",
  "proposedName": "Benefit Plan",
  "modelId": null,
  "registryId": null,
  "allocationState": "unassigned",
  "decision": "NEW MODEL",
  "canonicalPublishable": false,
  "candidateRevision": 3,
  "identityTest": {
    "stableIdentityRule": "EM-PEO-09.BP-01",
    "versionIdentityRule": "EM-PEO-09.BP-02",
    "independentLifecycle": [
      "draft",
      "reviewed",
      "approved",
      "offered",
      "effective",
      "closed",
      "superseded",
      "retired"
    ],
    "mastership": "benefits administration authority",
    "stableIdentity": "A benefit plan remains identifiable independently of any person, enrollment, payroll deduction, claim or payment.",
    "versionIdentity": "Changing sponsor, jurisdiction, eligibility, coverage categories or cost-sharing creates an immutable successor plan version.",
    "normativeRuleAuthority": "EM-PEO-09.BP-01 and EM-PEO-09.BP-02; text copies are compatibility projections."
  },
  "boundary": {
    "owns": [
      "plan identity and immutable versions",
      "sponsor and jurisdiction context",
      "coverage categories and cost sharing",
      "versioned eligibility rules"
    ],
    "references": [
      {
        "target": "WM-ORG-005",
        "purpose": "employment-derived eligibility context"
      },
      {
        "target": "WM-ECO-002",
        "purpose": "valuation boundary"
      },
      {
        "target": "WM-REC-010",
        "purpose": "authorizing decision"
      },
      {
        "target": "WM-POL-012",
        "purpose": "explicit public-program exclusion"
      }
    ],
    "excludes": [
      "person enrollment",
      "coverage election",
      "claim or use",
      "payroll deduction",
      "payment",
      "public benefit program",
      "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.BP-01",
      "text": "A benefit plan remains identifiable independently of any person, enrollment, payroll deduction, claim or payment."
    },
    {
      "id": "EM-PEO-09.BP-02",
      "text": "Changing sponsor, jurisdiction, eligibility, coverage categories or cost-sharing creates an immutable successor plan version."
    },
    {
      "id": "EM-PEO-09.BP-03",
      "text": "Eligibility is a versioned plan-owned rule and is neither enrollment nor coverage."
    },
    {
      "id": "EM-PEO-09.BP-04",
      "text": "An employee benefit plan is not a WM-POL-012 Public Benefit / Program."
    },
    {
      "id": "EM-PEO-09.BP-05",
      "text": "Plan eligibility does not prove enrollment, coverage, claim acceptance or payment."
    },
    {
      "id": "EM-PEO-09.BP-06",
      "text": "Valuation is owned by WM-ECO-002 and is not a plan fact."
    },
    {
      "id": "EM-PEO-09.BP-07",
      "text": "Payroll deduction configuration is not plan identity and does not prove coverage."
    },
    {
      "id": "EM-PEO-09.BP-08",
      "text": "Plan retirement preserves active and historic enrollment references under explicit continuation rules."
    },
    {
      "id": "EM-PEO-09.BP-09",
      "text": "Plan versions pin sponsor, jurisdiction, effective interval and source authority."
    },
    {
      "id": "EM-PEO-09.BP-10",
      "text": "Missing eligibility evidence is unknown and cannot be coerced to ineligible."
    },
    {
      "id": "EM-PEO-09.BP-11",
      "text": "Public-program and employee-plan boundaries remain explicit even when payroll administers statutory contributions."
    },
    {
      "id": "EM-PEO-09.BP-12",
      "text": "A claim or use event is outside this candidate and no claim root is minted here."
    }
  ],
  "invariants": [
    "A benefit plan remains identifiable independently of any person, enrollment, payroll deduction, claim or payment.",
    "Changing sponsor, jurisdiction, eligibility, coverage categories or cost-sharing creates an immutable successor plan version.",
    "Eligibility is a versioned plan-owned rule and is neither enrollment nor coverage.",
    "An employee benefit plan is not a WM-POL-012 Public Benefit / Program.",
    "Plan eligibility does not prove enrollment, coverage, claim acceptance or payment.",
    "Valuation is owned by WM-ECO-002 and is not a plan fact.",
    "Payroll deduction configuration is not plan identity and does not prove coverage.",
    "Plan retirement preserves active and historic enrollment references under explicit continuation rules.",
    "Plan versions pin sponsor, jurisdiction, effective interval and source authority.",
    "Missing eligibility evidence is unknown and cannot be coerced to ineligible.",
    "Public-program and employee-plan boundaries remain explicit even when payroll administers statutory contributions.",
    "A claim or use event is outside this candidate and no claim root is minted here."
  ]
}