{
  "format": "vercy-enterprise-profile-fixtures/v1",
  "profileName": "Enterprise Commercial Landscape and Market Scope",
  "cases": [
    {
      "id": "two-perimeters",
      "kind": "positive",
      "input": "Perimeter A contains S1; perimeter B consolidates S1 and S2.",
      "expect": "The same facts yield distinct valid outputs under pinned perimeter definitions."
    },
    {
      "id": "intercompany-elimination",
      "kind": "positive",
      "input": "Order S1 to S2 is external to A and intercompany inside B.",
      "expect": "The fact is retained in A and eliminated in B under their declared rules."
    },
    {
      "id": "customer-and-supplier",
      "kind": "positive",
      "input": "Party P buys from S1 and supplies S2.",
      "expect": "Customer concentration and supplier dependency remain separate observations over one party anchor."
    },
    {
      "id": "uncertain-parent",
      "kind": "positive",
      "input": "One ultimate parent is disputed and another is unknown.",
      "expect": "The disputed fact produces attributed ranges and the unknown stays a reason-coded singleton."
    },
    {
      "id": "double-count-subtotals",
      "kind": "negative",
      "input": "Regional subtotals and their underlying order lines are summed together.",
      "expect": "The rollup is rejected because each fact key may contribute once."
    },
    {
      "id": "crm-control",
      "kind": "negative",
      "input": "CRM account hierarchy is treated as proof of ownership and consolidation.",
      "expect": "The inferred group edges are rejected."
    },
    {
      "id": "forecast-as-revenue",
      "kind": "negative",
      "input": "An open opportunity forecast is reported as recognized revenue.",
      "expect": "The substitution is rejected because forecast and authoritative facts are separate measures."
    },
    {
      "id": "ownership-no-elimination",
      "kind": "negative",
      "input": "A control boundary is used to eliminate an order between two controlled parties without a consolidation rule.",
      "expect": "The elimination is rejected; ownership or control alone is insufficient."
    },
    {
      "id": "one-fact-key",
      "kind": "negative",
      "input": "One concentration numerator mixes order lines and observed revenue while labelling both as one fact key.",
      "expect": "The projection is rejected because a run uses exactly one fact key."
    },
    {
      "id": "scope-edition-change",
      "kind": "positive",
      "input": "The disclosure shape changes while facts and perimeter remain fixed.",
      "expect": "A new Market Scope edition and projection digest are produced; the prior projection remains immutable."
    },
    {
      "id": "cross-controller-no-grant",
      "kind": "negative",
      "input": "A projection includes another controller fact without an explicit grant and governed shape.",
      "expect": "The fact is excluded or the result is typed unevaluable without exposing its presence."
    },
    {
      "id": "cross-period-remap",
      "kind": "negative",
      "input": "Two periods with different grouping boundaries are compared without a governed remapping.",
      "expect": "The comparison is rejected as non-comparable."
    },
    {
      "id": "disputed-hypothesis-set",
      "kind": "positive",
      "input": "One pinned boundary revision contains claimant-attributed G1 and G2 hypotheses for Z.",
      "expect": "Range endpoints are derived within that one revision and retain claimant attribution."
    },
    {
      "id": "access-vs-coverage-unevaluable",
      "kind": "negative",
      "input": "An authorization denial is emitted as forecast coverage unevaluable.",
      "expect": "The output is rejected; denial is externally omission while coverage unevaluable remains an evidentiary state."
    },
    {
      "id": "scope-digest-divergence",
      "kind": "negative",
      "input": "The projection digest binds a different fact key than the authoritative Market Scope edition.",
      "expect": "Generation fails hard; digest pins cannot override or resolve Scope divergence."
    },
    {
      "id": "inline-segmentation-master",
      "kind": "negative",
      "input": "Market Scope defines customer segments inline without an external governed revision.",
      "expect": "The edition is rejected as a shadow classification master."
    },
    {
      "id": "cross-perimeter-elimination-mismatch",
      "kind": "negative",
      "input": "P1 and P2 projections with different elimination rules are set-unioned without governed remapping.",
      "expect": "The group union is forbidden because the same fact could be reintroduced or silently suppressed."
    }
  ]
}