{
  "format": "vercy-enterprise-profile-fixtures/v1",
  "profileName": "Enterprise Service Landscape and Dependency Impact View",
  "cases": [
    {
      "id": "declared-service-impact",
      "kind": "positive",
      "input": "A failed database has current declared functional dependencies to three services, each with licensed propagation.",
      "expect": "The view reports three evidence-backed impact exposures and preserves every source edge."
    },
    {
      "id": "stale-observed-flow",
      "kind": "positive",
      "input": "A fourth service has only a stale observed flow to the failed database.",
      "expect": "The service is exposed-unconfirmed; stale evidence is visible and no current dependency is asserted."
    },
    {
      "id": "shared-rack-only",
      "kind": "positive",
      "input": "A fifth service shares a rack but its correlation edge has no failure-propagation license.",
      "expect": "The view reports a common-mode candidate without direct service impact."
    },
    {
      "id": "missing-completeness",
      "kind": "negative",
      "input": "Part of the tenant graph has no current completeness declaration and traversal finds no further edges.",
      "expect": "The result is incomplete rather than no further impact."
    },
    {
      "id": "desired-observed-collapse",
      "kind": "negative",
      "input": "A deployment manifest declares an instance healthy while monitoring is absent, and the view emits one healthy current state.",
      "expect": "The view is rejected because desired and observed state were collapsed and absence was treated as health."
    },
    {
      "id": "cross-tenant-name-match",
      "kind": "negative",
      "input": "Two identically named services in different tenants are merged without authoritative identity evidence.",
      "expect": "The merge is blocked by tenant isolation."
    },
    {
      "id": "incident-minting",
      "kind": "negative",
      "input": "A graph traversal creates a new incident record from an exposure result.",
      "expect": "The mutation is rejected; incidents remain externally mastered and the landscape returns only a projection."
    },
    {
      "id": "view-cache-write",
      "kind": "negative",
      "input": "A named landscape view writes a locally edited dependency into a view cache.",
      "expect": "The write is rejected; authoritative changes go to WM-XCT-039 membership or WM-XCT-037 edge masters."
    },
    {
      "id": "confirmed-without-license",
      "kind": "negative",
      "input": "A current confirmed functional edge lacks a propagation licence for negative impact.",
      "expect": "The edge is not traversed for that impact polarity."
    },
    {
      "id": "inferred-closes-topology",
      "kind": "negative",
      "input": "Inferred edges fill missing topology and the view reports an exhaustive blast radius.",
      "expect": "The conclusion is rejected; inference never supplies completeness evidence."
    },
    {
      "id": "federated-view-no-grant",
      "kind": "negative",
      "input": "A view unions two tenants through a shared control plane without an explicit projection grant.",
      "expect": "Cross-tenant nodes, edges and inferences remain non-visible and non-traversable."
    },
    {
      "id": "view-name-privilege",
      "kind": "negative",
      "input": "A caller sees restricted edges because it may open a named executive view.",
      "expect": "Access is denied; the view inherits the caller's tenant projection and source rights."
    },
    {
      "id": "current-confirmed-licensed",
      "kind": "positive",
      "input": "One declared and two current observed edges are confirmed and licensed at evaluation time.",
      "expect": "Only those three edges produce a partial impact exposure set, without asserting dependent failure."
    },
    {
      "id": "shared-control-plane-common-mode",
      "kind": "positive",
      "input": "Three services share a control plane through correlation edges with propagation withheld.",
      "expect": "Report common-mode exposure without propagating direct failure."
    },
    {
      "id": "landscape-mints-incident",
      "kind": "negative",
      "input": "An incomplete impact projection attempts to open and close an incident.",
      "expect": "The mutation is rejected; only the domain owner controls incident lifecycle."
    },
    {
      "id": "common-mode-aggregate-leak",
      "kind": "negative",
      "input": "A tenant-scoped common-mode view reveals cross-tenant peer identities or concentration counts without a projection grant.",
      "expect": "Suppress both peers and aggregates; no co-tenancy signal crosses the caller's tenant projection."
    },
    {
      "id": "unconfirmed-not-impact",
      "kind": "negative",
      "input": "A stale exposed-unconfirmed relation is inserted into an impact count.",
      "expect": "Reject it; exposed-unconfirmed is a non-impact label and remains outside counts and exhaustive claims."
    },
    {
      "id": "edge-promotion-new-identity",
      "kind": "positive",
      "input": "Accountable authority confirms an inferred dependency with fresh evidence.",
      "expect": "Create a new declared edge with source lineage; never relabel the inferred edge in place."
    },
    {
      "id": "pending-mastership-blocks-write",
      "kind": "negative",
      "input": "A fact with unknown master system is edited through the landscape.",
      "expect": "Block mutation and retain pending mastership."
    },
    {
      "id": "tombstoned-node-id",
      "kind": "negative",
      "input": "A retired resource identifier is reassigned to a new node.",
      "expect": "Reject reuse and retain a resolvable tombstone."
    }
  ],
  "version": "0.1.0-candidate.3"
}