{
  "format": "vercy-enterprise-allocation-fixtures/v1",
  "contourId": "EM-STR-02",
  "companionArtifacts": [
    "allocation-candidate.json",
    "profile-candidate.json"
  ],
  "candidateName": "Outcome and Benefit Boundary Register",
  "candidateRevision": 3,
  "canonicalPublishable": false,
  "executable": false,
  "publicationStatement": "Research boundary register only; not canonically publishable, installable, allocated or verified.",
  "cases": [
    {
      "id": "EM-STR-02.FX-001",
      "kind": "negative",
      "input": "Target T stores MetricDefinition R inside its own identity and reuses T as Observation O.",
      "expect": "Reject under EM-STR-02.BR-01.",
      "rules": [
        "EM-STR-02.BR-01"
      ]
    },
    {
      "id": "EM-STR-02.FX-002",
      "kind": "negative",
      "input": "Key Result K is minted as an independent root with a separate lifecycle instead of a WM-KNW-011 role.",
      "expect": "Reject under EM-STR-02.BR-02.",
      "rules": [
        "EM-STR-02.BR-02"
      ]
    },
    {
      "id": "EM-STR-02.FX-003",
      "kind": "negative",
      "input": "Target T cites metric name Retention with no revision, unit or periods.",
      "expect": "Reject under EM-STR-02.BR-03.",
      "rules": [
        "EM-STR-02.BR-03"
      ]
    },
    {
      "id": "EM-STR-02.FX-004",
      "kind": "negative",
      "input": "Metric R is redefined in place and Target T is rewritten with no prior value or comparability note.",
      "expect": "Reject under EM-STR-02.BR-04.",
      "rules": [
        "EM-STR-02.BR-04"
      ]
    },
    {
      "id": "EM-STR-02.FX-005",
      "kind": "negative",
      "input": "Outcome O embeds WM-XCT-025 fields directly.",
      "expect": "Reject under EM-STR-02.BR-05.",
      "rules": [
        "EM-STR-02.BR-05"
      ]
    },
    {
      "id": "EM-STR-02.FX-006",
      "kind": "negative",
      "input": "Accepted deliverable D marks Benefit B realised with no observation.",
      "expect": "Reject under EM-STR-02.BR-06.",
      "rules": [
        "EM-STR-02.BR-06"
      ]
    },
    {
      "id": "EM-STR-02.FX-007",
      "kind": "negative",
      "input": "One transaction creates a combined OutcomeBenefit root.",
      "expect": "Reject under EM-STR-02.BR-07.",
      "rules": [
        "EM-STR-02.BR-07"
      ]
    },
    {
      "id": "EM-STR-02.FX-008",
      "kind": "negative",
      "input": "Outcome O owns value, unit and result-time instead of citing Observation Q.",
      "expect": "Reject under EM-STR-02.BR-08.",
      "rules": [
        "EM-STR-02.BR-08"
      ]
    },
    {
      "id": "EM-STR-02.FX-009",
      "kind": "negative",
      "input": "Benefit B is a child inside Outcome O's write boundary.",
      "expect": "Reject under EM-STR-02.BR-09.",
      "rules": [
        "EM-STR-02.BR-09"
      ]
    },
    {
      "id": "EM-STR-02.FX-010",
      "kind": "negative",
      "input": "Attribution revision mutates cited Outcome O and Observation Q.",
      "expect": "Reject under EM-STR-02.BR-10.",
      "rules": [
        "EM-STR-02.BR-10"
      ]
    },
    {
      "id": "EM-STR-02.FX-011",
      "kind": "negative",
      "input": "Two adjudicated shares are 0.6 and 0.5 for B in Q2.",
      "expect": "Reject under EM-STR-02.BR-11.",
      "rules": [
        "EM-STR-02.BR-11"
      ]
    },
    {
      "id": "EM-STR-02.FX-012",
      "kind": "negative",
      "input": "Program and project mint duplicate realised copies B and B-prime.",
      "expect": "Reject under EM-STR-02.BR-12.",
      "rules": [
        "EM-STR-02.BR-12"
      ]
    },
    {
      "id": "EM-STR-02.FX-013",
      "kind": "negative",
      "input": "Support-contact Disbenefit is silently subtracted from retention Benefit.",
      "expect": "Reject under EM-STR-02.BR-13.",
      "rules": [
        "EM-STR-02.BR-13"
      ]
    },
    {
      "id": "EM-STR-02.FX-014",
      "kind": "negative",
      "input": "Delayed measurement is stored as realised value zero instead of absent reason measurement-pending.",
      "expect": "Reject under EM-STR-02.BR-14.",
      "rules": [
        "EM-STR-02.BR-14"
      ]
    },
    {
      "id": "EM-STR-02.FX-015",
      "kind": "negative",
      "input": "Value Assessment A has a conclusion but no criteria, pinned profile, evidence or uncertainty.",
      "expect": "Reject under EM-STR-02.BR-15.",
      "rules": [
        "EM-STR-02.BR-15"
      ]
    },
    {
      "id": "EM-STR-02.FX-016",
      "kind": "negative",
      "input": "Net value excludes known Disbenefit D without declaring it out of scope.",
      "expect": "Reject under EM-STR-02.BR-16.",
      "rules": [
        "EM-STR-02.BR-16"
      ]
    },
    {
      "id": "EM-STR-02.FX-017",
      "kind": "negative",
      "input": "Aggregation drops claim and observation uncertainty intervals.",
      "expect": "Reject under EM-STR-02.BR-17.",
      "rules": [
        "EM-STR-02.BR-17"
      ]
    },
    {
      "id": "EM-STR-02.FX-018",
      "kind": "negative",
      "input": "Superseded Benefit identifier B is recycled.",
      "expect": "Reject under EM-STR-02.BR-18.",
      "rules": [
        "EM-STR-02.BR-18"
      ]
    },
    {
      "id": "EM-STR-02.FX-019",
      "kind": "negative",
      "input": "Only a provisional observation outside B's window is used to mark B realised.",
      "expect": "Reject under EM-STR-02.BR-19.",
      "rules": [
        "EM-STR-02.BR-19"
      ]
    },
    {
      "id": "EM-STR-02.FX-020",
      "kind": "negative",
      "input": "Programme claim 0.4 and two constituent project claims 0.3 each are all adjudicated for B/Q2.",
      "expect": "Reject under EM-STR-02.BR-20.",
      "rules": [
        "EM-STR-02.BR-20"
      ]
    },
    {
      "id": "EM-STR-02.FX-021",
      "kind": "negative",
      "input": "Attribution Claim C contains share 0.5 but no method, interval, evidence or causal limit.",
      "expect": "Reject under EM-STR-02.BR-21.",
      "rules": [
        "EM-STR-02.BR-21"
      ]
    },
    {
      "id": "EM-STR-02.FX-022",
      "kind": "negative",
      "input": "A cited method converts ordinal satisfaction rank directly to currency.",
      "expect": "Reject under EM-STR-02.BR-22.",
      "rules": [
        "EM-STR-02.BR-22"
      ]
    },
    {
      "id": "EM-STR-02.FX-023",
      "kind": "negative",
      "input": "A comparability advisory silently nets values without a separately identified assessment.",
      "expect": "Reject under EM-STR-02.BR-23.",
      "rules": [
        "EM-STR-02.BR-23"
      ]
    },
    {
      "id": "EM-STR-02.FX-024",
      "kind": "negative",
      "input": "Outcome O is rejected solely because it has no Objective, and another Outcome is forced to exactly one Objective.",
      "expect": "Reject under EM-STR-02.BR-24.",
      "rules": [
        "EM-STR-02.BR-24"
      ]
    },
    {
      "id": "EM-STR-02.FX-025",
      "kind": "negative",
      "input": "Profile accepts Target T whose added Metric Definition revision pin cannot resolve.",
      "expect": "Reject under EM-STR-02.BR-25.",
      "rules": [
        "EM-STR-02.BR-25"
      ]
    },
    {
      "id": "EM-STR-02.FX-026",
      "kind": "negative",
      "input": "Disbenefit D uses a separate model type and has no Outcome or counterfactual basis.",
      "expect": "Reject under EM-STR-02.BR-26.",
      "rules": [
        "EM-STR-02.BR-26"
      ]
    },
    {
      "id": "EM-STR-02.FX-027",
      "kind": "negative",
      "input": "Claims total 0.80 but the residual 0.20 is omitted.",
      "expect": "Reject until residual unattributed contribution is explicit.",
      "rules": [
        "EM-STR-02.BR-11"
      ]
    },
    {
      "id": "EM-STR-02.FX-028",
      "kind": "positive",
      "input": "Final Observation Q has phenomenon time inside Benefit B's window and preserves result time, unit and uncertainty.",
      "expect": "Q may license partial or full realisation subject to assessment.",
      "rules": [
        "EM-STR-02.BR-19"
      ]
    },
    {
      "id": "EM-STR-02.FX-029",
      "kind": "positive",
      "input": "Objective O, KR K and Target T remain WM-KNW-011 roles.",
      "expect": "Accept the profile behavior under EM-STR-02.EP-01.",
      "rules": [
        "EM-STR-02.EP-01"
      ]
    },
    {
      "id": "EM-STR-02.FX-030",
      "kind": "positive",
      "input": "Target T pins MetricDefinition R@4 and all quantitative parameters.",
      "expect": "Accept the profile behavior under EM-STR-02.EP-02.",
      "rules": [
        "EM-STR-02.EP-02"
      ]
    },
    {
      "id": "EM-STR-02.FX-031",
      "kind": "positive",
      "input": "Metric R@5 creates successor target binding while R@4 history remains.",
      "expect": "Accept the profile behavior under EM-STR-02.EP-03.",
      "rules": [
        "EM-STR-02.EP-03"
      ]
    },
    {
      "id": "EM-STR-02.FX-032",
      "kind": "positive",
      "input": "WM-XCT-025 fields occur only on candidate observation host Q and relation remains qualified.",
      "expect": "Accept the profile behavior under EM-STR-02.EP-04.",
      "rules": [
        "EM-STR-02.EP-04"
      ]
    },
    {
      "id": "EM-STR-02.FX-033",
      "kind": "positive",
      "input": "Value Assessment A cites B, D, O and Q and pins P@3.",
      "expect": "Accept the profile behavior under EM-STR-02.EP-05.",
      "rules": [
        "EM-STR-02.EP-05"
      ]
    },
    {
      "id": "EM-STR-02.FX-034",
      "kind": "positive",
      "input": "A records incomparable scales and abstains; deliverable acceptance is excluded as evidence.",
      "expect": "Accept the profile behavior under EM-STR-02.EP-06.",
      "rules": [
        "EM-STR-02.EP-06"
      ]
    },
    {
      "id": "EM-STR-02.FX-035",
      "kind": "positive",
      "input": "Objective-less negative side-effect Outcome O1 is retained; Outcome O2 serves Objectives A and B.",
      "expect": "Accept zero-to-many Objective linkage.",
      "rules": [
        "EM-STR-02.BR-24"
      ]
    }
  ]
}