{
  "format": "vercy-enterprise-profile-candidate/v1",
  "contourId": "EM-WRK-03",
  "name": "Enterprise Program and Benefit Coordination",
  "decision": "PROFILE",
  "newRuntimeId": false,
  "constraints": [
    "Program profiles WM-ACT-029 with exactly one non-null discriminator; ambiguity or absence fails validation, the value is immutable in place, and a change of profile is supersession with new identity, never an update.",
    "ProgramComponent, Tranche and BenefitDependency are effective-dated program-owned assertions addressed as {program-id}--{artifact-kind}--{assertion-id}, valid only inside one aggregate; they are never independent roots and are never assigned a WM-* code.",
    "Membership never transfers component mastership or cascades program lifecycle state into a project, product or operation.",
    "Transition Plan profiles WM-ACT-008 while operational acceptance and sustainment remain separately authorized and mastered.",
    "Output, capability, outcome, benefit, disbenefit and attribution remain distinct; the Outcome / Benefit Realization master is external, identifier-unassigned, referenced only, and is neither allocated nor mastered by this contour.",
    "Project closure, program closure and benefit realization never imply one another.",
    "A tranche gate coordinates program sequencing and never authorizes a project phase transition.",
    "Released mandates, memberships, allocations, plans, decisions and observations are immutable and superseded explicitly.",
    "A Program must reference at least one intended aim mastered by WM-KNW-011; absent that reference the Program profile is rejected. A reference to the external Outcome / Benefit Realization master is optional, is recorded with absent-identifier reason `identifier-unassigned`, and never satisfies the mandatory intended-aim reference.",
    "The only lawful WM-ACT-029 to WM-ACT-005 edge is a ProgramComponent membership assertion referencing an external master; child-identity containment, nesting, minting and exclusive-membership defaults are rejected, and a profile never cancels an inherited containment edge.",
    "A non-project component is admitted only by reference to an external master identified outside this contour; it acquires no WM-ACT-005 baseline, phase, gate or authorization semantics by membership.",
    "Membership termination is an explicit, effective-dated, program-authored event; it is never inferred from component closure, and component closure neither ends nor deletes any ProgramComponent, Tranche or BenefitDependency row.",
    "The falsifiable benefit hypothesis is a program-owned, versioned results-chain assertion distinct from both the WM-KNW-011 intended aim it references and the external realization master; it survives program closure as a historical assertion and asserts no realization.",
    "Attribution is an adjudicated WM-ACT-034 judgment stating method, uncertainty and causal limits; it is never inferred from membership, dependency or share reconciliation. Adjudicated shares are summed per benefit identifier per observation-time period and must not exceed 1.0; unadjudicated shares are excluded from all totals and are never reported as realized.",
    "A BenefitDependency endpoint is one of: a program-owned results-chain node, a ProgramComponent, a Tranche, or a reference to the external realization master carried with absent-identifier reason identifier-unassigned.",
    "ProgramComponent and Tranche are bounded on effective time; BenefitDependency validity is bounded on effective time; realization and disbenefit records are bounded on observation time and carry decision time separately; ingestion and knowledge time are recorded and never substituted for effective or observation time.",
    "Absent values are recorded with one of the reasons measurement-pending or identifier-unassigned; no other absent-reason is admitted and no absent value is read as a negative or realized result.",
    "Historical ProgramComponent, Tranche and BenefitDependency rows are retained through member closure and program closure; the Program profile, each assertion kind and each Transition Plan are versioned independently; readiness and handover bindings on WM-ACT-029 are references to the pinned WM-ACT-008 plan release and never duplicate plan or component facts."
  ],
  "holds": [
    "Blocking: WM-ACT-029 is recorded with WM-ACT-005 as both parent and contained model; canonical resolution required.",
    "Blocking: the external Outcome / Benefit Realization master is identifier-unassigned; benefit and attribution logic terminates in an unresolved reference. The EM-STR-02 candidate is a named unallocated referent, not a reusable base.",
    "Blocking for non-project cases: operation, product, campaign and sustainment masters are named in the disposition but bound to no model in this package.",
    "The Program/Portfolio split is recorded as deferred in the base; the sibling-profile disposition is contingent on that base decision.",
    "Relevant relation rows remain unapproved.",
    "WM-ACT-029 and WM-ACT-030 are single-provider-waiver drafts without independent review; reused bases remain non-canonical with source and provider holds.",
    "publishableCanonical is false throughout; ISO support is abstract-level only; retention and access rules are unsourced house policy; the programme/program token is unnormalized.",
    "WM-ACT-029 out_of_scope, policies and adversarial_checks and the vr.wm-act-029 registry row are cited from material not supplied in this package; single-source and unverified at audit.",
    "Independent provider review and the single frozen semantic audit are complete; no further provider run is admissible.",
    "No installability or publication-readiness claim is made."
  ],
  "profiledBases": [
    "WM-ACT-029",
    "WM-ACT-008"
  ],
  "referencedMasters": [
    "WM-ACT-005",
    "WM-ACT-034",
    "WM-KNW-011",
    "WM-ORG-016"
  ],
  "derivationOnly": [
    "WM-ACT-030"
  ],
  "unallocatedExternalReferents": [
    "Outcome / Benefit Realization"
  ],
  "candidateRevision": 3,
  "status": "provider-reconciled-audited-remediated-allocation-held",
  "canonicalPublishable": false,
  "basesAreNonCanonicalDrafts": true,
  "installabilityClaim": "none",
  "publicationReadinessClaim": "none",
  "constraintRules": [
    {
      "id": "WRK03-CONSTRAINT-001",
      "rule": "Program profiles WM-ACT-029 with exactly one non-null discriminator; ambiguity or absence fails validation, the value is immutable in place, and a change of profile is supersession with new identity, never an update."
    },
    {
      "id": "WRK03-CONSTRAINT-002",
      "rule": "ProgramComponent, Tranche and BenefitDependency are effective-dated program-owned assertions addressed as {program-id}--{artifact-kind}--{assertion-id}, valid only inside one aggregate; they are never independent roots and are never assigned a WM-* code."
    },
    {
      "id": "WRK03-CONSTRAINT-003",
      "rule": "Membership never transfers component mastership or cascades program lifecycle state into a project, product or operation."
    },
    {
      "id": "WRK03-CONSTRAINT-004",
      "rule": "Transition Plan profiles WM-ACT-008 while operational acceptance and sustainment remain separately authorized and mastered."
    },
    {
      "id": "WRK03-CONSTRAINT-005",
      "rule": "Output, capability, outcome, benefit, disbenefit and attribution remain distinct; the Outcome / Benefit Realization master is external, identifier-unassigned, referenced only, and is neither allocated nor mastered by this contour."
    },
    {
      "id": "WRK03-CONSTRAINT-006",
      "rule": "Project closure, program closure and benefit realization never imply one another."
    },
    {
      "id": "WRK03-CONSTRAINT-007",
      "rule": "A tranche gate coordinates program sequencing and never authorizes a project phase transition."
    },
    {
      "id": "WRK03-CONSTRAINT-008",
      "rule": "Released mandates, memberships, allocations, plans, decisions and observations are immutable and superseded explicitly."
    },
    {
      "id": "WRK03-CONSTRAINT-009",
      "rule": "A Program must reference at least one intended aim mastered by WM-KNW-011; absent that reference the Program profile is rejected. A reference to the external Outcome / Benefit Realization master is optional, is recorded with absent-identifier reason `identifier-unassigned`, and never satisfies the mandatory intended-aim reference."
    },
    {
      "id": "WRK03-CONSTRAINT-010",
      "rule": "The only lawful WM-ACT-029 to WM-ACT-005 edge is a ProgramComponent membership assertion referencing an external master; child-identity containment, nesting, minting and exclusive-membership defaults are rejected, and a profile never cancels an inherited containment edge."
    },
    {
      "id": "WRK03-CONSTRAINT-011",
      "rule": "A non-project component is admitted only by reference to an external master identified outside this contour; it acquires no WM-ACT-005 baseline, phase, gate or authorization semantics by membership."
    },
    {
      "id": "WRK03-CONSTRAINT-012",
      "rule": "Membership termination is an explicit, effective-dated, program-authored event; it is never inferred from component closure, and component closure neither ends nor deletes any ProgramComponent, Tranche or BenefitDependency row."
    },
    {
      "id": "WRK03-CONSTRAINT-013",
      "rule": "The falsifiable benefit hypothesis is a program-owned, versioned results-chain assertion distinct from both the WM-KNW-011 intended aim it references and the external realization master; it survives program closure as a historical assertion and asserts no realization."
    },
    {
      "id": "WRK03-CONSTRAINT-014",
      "rule": "Attribution is an adjudicated WM-ACT-034 judgment stating method, uncertainty and causal limits; it is never inferred from membership, dependency or share reconciliation. Adjudicated shares are summed per benefit identifier per observation-time period and must not exceed 1.0; unadjudicated shares are excluded from all totals and are never reported as realized."
    },
    {
      "id": "WRK03-CONSTRAINT-015",
      "rule": "A BenefitDependency endpoint is one of: a program-owned results-chain node, a ProgramComponent, a Tranche, or a reference to the external realization master carried with absent-identifier reason identifier-unassigned."
    },
    {
      "id": "WRK03-CONSTRAINT-016",
      "rule": "ProgramComponent and Tranche are bounded on effective time; BenefitDependency validity is bounded on effective time; realization and disbenefit records are bounded on observation time and carry decision time separately; ingestion and knowledge time are recorded and never substituted for effective or observation time."
    },
    {
      "id": "WRK03-CONSTRAINT-017",
      "rule": "Absent values are recorded with one of the reasons measurement-pending or identifier-unassigned; no other absent-reason is admitted and no absent value is read as a negative or realized result."
    },
    {
      "id": "WRK03-CONSTRAINT-018",
      "rule": "Historical ProgramComponent, Tranche and BenefitDependency rows are retained through member closure and program closure; the Program profile, each assertion kind and each Transition Plan are versioned independently; readiness and handover bindings on WM-ACT-029 are references to the pinned WM-ACT-008 plan release and never duplicate plan or component facts."
    }
  ],
  "invariants": [
    {
      "id": "WRK03-INV-001",
      "rule": "Exactly one immutable non-null WM-ACT-029 profile discriminator is present; Program and Portfolio are disjoint."
    },
    {
      "id": "WRK03-INV-002",
      "rule": "Program is neither Project, Initiative nor an arbitrary collection."
    },
    {
      "id": "WRK03-INV-003",
      "rule": "ProgramComponent never masters the referenced member."
    },
    {
      "id": "WRK03-INV-004",
      "rule": "WM-ACT-029 never contains WM-ACT-005 as child identity."
    },
    {
      "id": "WRK03-INV-005",
      "rule": "Every Program references at least one intended aim mastered by WM-KNW-011."
    },
    {
      "id": "WRK03-INV-006",
      "rule": "BenefitDependency is neither realization, causal hypothesis nor attribution."
    },
    {
      "id": "WRK03-INV-007",
      "rule": "Tranche is not a project phase."
    },
    {
      "id": "WRK03-INV-008",
      "rule": "Transition Plan is WM-ACT-008; WM-ACT-029 carries references for readiness and handover."
    },
    {
      "id": "WRK03-INV-009",
      "rule": "Transition Plan existence proves neither operational acceptance nor sustainment."
    },
    {
      "id": "WRK03-INV-010",
      "rule": "Component closure, program closure and benefit realization never imply one another."
    },
    {
      "id": "WRK03-INV-011",
      "rule": "Program closure never closes remaining members."
    },
    {
      "id": "WRK03-INV-012",
      "rule": "Portfolio membership and Program membership never create one another."
    },
    {
      "id": "WRK03-INV-013",
      "rule": "WM-ORG-016 assignment never moves mastership."
    },
    {
      "id": "WRK03-INV-014",
      "rule": "Historical program-owned assertions survive member and program closure."
    },
    {
      "id": "WRK03-INV-015",
      "rule": "Joint benefit may remain open after a contributing component closes."
    },
    {
      "id": "WRK03-INV-016",
      "rule": "Membership never implies attribution."
    }
  ],
  "objects": {
    "ProgramComponent": {
      "identity": "{program-id}--ProgramComponent--{assertion-id}",
      "mastership": "program-owned assertion referencing an external master"
    },
    "Tranche": {
      "identity": "{program-id}--Tranche--{assertion-id}",
      "mastership": "program-owned sequencing assertion"
    },
    "BenefitDependency": {
      "identity": "{program-id}--BenefitDependency--{assertion-id}",
      "mastership": "program-owned dependency assertion"
    },
    "TransitionPlan": {
      "profiledBase": "WM-ACT-008",
      "binding": "WM-ACT-029 references a pinned plan release"
    }
  }
}