{
  "format": "vercy-enterprise-allocation-fixtures/v1",
  "contourId": "EM-TEC-01",
  "companionArtifacts": [
    "allocation-candidate.json",
    "profile-candidate.json"
  ],
  "candidateName": "Source Repository",
  "candidateRevision": 3,
  "canonicalPublishable": false,
  "executable": false,
  "publicationStatement": "Research candidate only; not canonically publishable, installable, allocated or verified.",
  "cases": [
    {
      "id": "EM-TEC-01.FX-001",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.SR-01",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Conforming named-field example for Source Repository identity is independent of hosting URL, provider, namespace locator, default branch and associated Software Product; host and namespace exist only in effective RepositoryLocator records."
      },
      "expect": "Accept under EM-TEC-01.SR-01; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.SR-01"
      ]
    },
    {
      "id": "EM-TEC-01.FX-002",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.SR-01",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Violating named-field example: negate Source Repository identity is independent of hosting URL, provider, namespace locator, default branch and associated Software Product; host and namespace exist only in effective RepositoryLocator records."
      },
      "expect": "Reject under EM-TEC-01.SR-01; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.SR-01"
      ]
    },
    {
      "id": "EM-TEC-01.FX-003",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.SR-02",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Conforming named-field example for A fork or independently governed mirror receives a distinct repository identity and records forkSourceRepositoryRef to its source."
      },
      "expect": "Accept under EM-TEC-01.SR-02; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.SR-02"
      ]
    },
    {
      "id": "EM-TEC-01.FX-004",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.SR-02",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Violating named-field example: negate A fork or independently governed mirror receives a distinct repository identity and records forkSourceRepositoryRef to its source."
      },
      "expect": "Reject under EM-TEC-01.SR-02; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.SR-02"
      ]
    },
    {
      "id": "EM-TEC-01.FX-005",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.SR-03",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Conforming named-field example for Hosting migration appends effective RepositoryLocator records without rewriting repository or native source-revision identity; concurrent locators use distinct locatorId values."
      },
      "expect": "Accept under EM-TEC-01.SR-03; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.SR-03"
      ]
    },
    {
      "id": "EM-TEC-01.FX-006",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.SR-03",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Violating named-field example: negate Hosting migration appends effective RepositoryLocator records without rewriting repository or native source-revision identity; concurrent locators use distinct locatorId values."
      },
      "expect": "Reject under EM-TEC-01.SR-03; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.SR-03"
      ]
    },
    {
      "id": "EM-TEC-01.FX-007",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.SR-04",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Conforming named-field example for Each immutable RepositoryRevision records nativeRevision, digestAlgorithm, authoritative contentDigest, commit time and provenance and is never replaced in place."
      },
      "expect": "Accept under EM-TEC-01.SR-04; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.SR-04"
      ]
    },
    {
      "id": "EM-TEC-01.FX-008",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.SR-04",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Violating named-field example: negate Each immutable RepositoryRevision records nativeRevision, digestAlgorithm, authoritative contentDigest, commit time and provenance and is never replaced in place."
      },
      "expect": "Reject under EM-TEC-01.SR-04; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.SR-04"
      ]
    },
    {
      "id": "EM-TEC-01.FX-009",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.SR-05",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Conforming named-field example for Branch and tag references are mutable aliases and never satisfy reproducible input without resolution to an immutable RepositoryRevision."
      },
      "expect": "Accept under EM-TEC-01.SR-05; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.SR-05"
      ]
    },
    {
      "id": "EM-TEC-01.FX-010",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.SR-05",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Violating named-field example: negate Branch and tag references are mutable aliases and never satisfy reproducible input without resolution to an immutable RepositoryRevision."
      },
      "expect": "Reject under EM-TEC-01.SR-05; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.SR-05"
      ]
    },
    {
      "id": "EM-TEC-01.FX-011",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.SR-06",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Conforming named-field example for Repository access policy grants no product, runtime, release or deployment authority by implication."
      },
      "expect": "Accept under EM-TEC-01.SR-06; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.SR-06"
      ]
    },
    {
      "id": "EM-TEC-01.FX-012",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.SR-06",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Violating named-field example: negate Repository access policy grants no product, runtime, release or deployment authority by implication."
      },
      "expect": "Reject under EM-TEC-01.SR-06; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.SR-06"
      ]
    },
    {
      "id": "EM-TEC-01.FX-013",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.SR-07",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Conforming named-field example for Repository records and projections contain no credential, private key, token, secret or reversible secret representation."
      },
      "expect": "Accept under EM-TEC-01.SR-07; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.SR-07"
      ]
    },
    {
      "id": "EM-TEC-01.FX-014",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.SR-07",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Violating named-field example: negate Repository records and projections contain no credential, private key, token, secret or reversible secret representation."
      },
      "expect": "Reject under EM-TEC-01.SR-07; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.SR-07"
      ]
    },
    {
      "id": "EM-TEC-01.FX-015",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.SR-08",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Conforming named-field example for Transfer, archive and retirement append RepositoryStatusPeriod history and preserve revision resolution and provenance."
      },
      "expect": "Accept under EM-TEC-01.SR-08; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.SR-08"
      ]
    },
    {
      "id": "EM-TEC-01.FX-016",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.SR-08",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Violating named-field example: negate Transfer, archive and retirement append RepositoryStatusPeriod history and preserve revision resolution and provenance."
      },
      "expect": "Reject under EM-TEC-01.SR-08; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.SR-08"
      ]
    },
    {
      "id": "EM-TEC-01.FX-017",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.SR-09",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Conforming named-field example for Ownership and stewardship changes append RepositoryOwnershipPeriod records and never mutate immutable revisions."
      },
      "expect": "Accept under EM-TEC-01.SR-09; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.SR-09"
      ]
    },
    {
      "id": "EM-TEC-01.FX-018",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.SR-09",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Violating named-field example: negate Ownership and stewardship changes append RepositoryOwnershipPeriod records and never mutate immutable revisions."
      },
      "expect": "Reject under EM-TEC-01.SR-09; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.SR-09"
      ]
    },
    {
      "id": "EM-TEC-01.FX-019",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.SR-10",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Conforming named-field example for A retired repository has one RepositoryTombstone, remains resolvable through lastResolvableRevisionRef and its sourceRepositoryId is never recycled."
      },
      "expect": "Accept under EM-TEC-01.SR-10; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.SR-10"
      ]
    },
    {
      "id": "EM-TEC-01.FX-020",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.SR-10",
        "sourceRepositoryId": "repo-1",
        "locatorId": "primary",
        "scenario": "Violating named-field example: negate A retired repository has one RepositoryTombstone, remains resolvable through lastResolvableRevisionRef and its sourceRepositoryId is never recycled."
      },
      "expect": "Reject under EM-TEC-01.SR-10; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.SR-10"
      ]
    },
    {
      "id": "EM-TEC-01.FX-021",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-01",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for WM-SFT-001 owns durable Software Product identity, classification, offering and licence context, support statement and support lifecycle only."
      },
      "expect": "Accept under EM-TEC-01.EP-01; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-01"
      ]
    },
    {
      "id": "EM-TEC-01.FX-022",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-01",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate WM-SFT-001 owns durable Software Product identity, classification, offering and licence context, support statement and support lifecycle only."
      },
      "expect": "Reject under EM-TEC-01.EP-01; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-01"
      ]
    },
    {
      "id": "EM-TEC-01.FX-023",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-02",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for WM-SFT-001 requires removal of eight embedded bundles—release record, artifact integrity, build provenance, BOM document, dependency graph, deployed instance, hosting environment and effective configuration—and replacement by approved typed references."
      },
      "expect": "Accept under EM-TEC-01.EP-02; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-02"
      ]
    },
    {
      "id": "EM-TEC-01.FX-024",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-02",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate WM-SFT-001 requires removal of eight embedded bundles—release record, artifact integrity, build provenance, BOM document, dependency graph, deployed instance, hosting environment and effective configuration—and replacement by approved typed references."
      },
      "expect": "Reject under EM-TEC-01.EP-02; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-02"
      ]
    },
    {
      "id": "EM-TEC-01.FX-025",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-03",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for AISMM 3.1.0 is ALIGN context keyed to product_id or model_instance_id and never a second Software Product master."
      },
      "expect": "Accept under EM-TEC-01.EP-03; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-03"
      ]
    },
    {
      "id": "EM-TEC-01.FX-026",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-03",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate AISMM 3.1.0 is ALIGN context keyed to product_id or model_instance_id and never a second Software Product master."
      },
      "expect": "Reject under EM-TEC-01.EP-03; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-03"
      ]
    },
    {
      "id": "EM-TEC-01.FX-027",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-04",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for Every AISMM projection is classified as derived, carries derivedFrom owner references and derivation metadata, passes an owner-validation gate, and never copies HR, incident or dataset payloads; a projection without derivedFrom is defective."
      },
      "expect": "Accept under EM-TEC-01.EP-04; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-04"
      ]
    },
    {
      "id": "EM-TEC-01.FX-028",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-04",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate Every AISMM projection is classified as derived, carries derivedFrom owner references and derivation metadata, passes an owner-validation gate, and never copies HR, incident or dataset payloads; a projection without derivedFrom is defective."
      },
      "expect": "Reject under EM-TEC-01.EP-04; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-04"
      ]
    },
    {
      "id": "EM-TEC-01.FX-029",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-05",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for WM-SFT-007 owns Component and Package; WM-SFT-008 owns Build, Release and Artifact; WM-SFT-009 owns Deployment occurrence."
      },
      "expect": "Accept under EM-TEC-01.EP-05; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-05"
      ]
    },
    {
      "id": "EM-TEC-01.FX-030",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-05",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate WM-SFT-007 owns Component and Package; WM-SFT-008 owns Build, Release and Artifact; WM-SFT-009 owns Deployment occurrence."
      },
      "expect": "Reject under EM-TEC-01.EP-05; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-05"
      ]
    },
    {
      "id": "EM-TEC-01.FX-031",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-06",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for WM-SFT-003 remains a pending Interface Contract neighbour; WM-SFT-001 does not own interface contracts."
      },
      "expect": "Accept under EM-TEC-01.EP-06; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-06"
      ]
    },
    {
      "id": "EM-TEC-01.FX-032",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-06",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate WM-SFT-003 remains a pending Interface Contract neighbour; WM-SFT-001 does not own interface contracts."
      },
      "expect": "Reject under EM-TEC-01.EP-06; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-06"
      ]
    },
    {
      "id": "EM-TEC-01.FX-033",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-07",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for WM-SFT-012 remains SBOM document master; Product, Component and SBOM are distinct identities and bindings cite the SBOM without copying it."
      },
      "expect": "Accept under EM-TEC-01.EP-07; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-07"
      ]
    },
    {
      "id": "EM-TEC-01.FX-034",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-07",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate WM-SFT-012 remains SBOM document master; Product, Component and SBOM are distinct identities and bindings cite the SBOM without copying it."
      },
      "expect": "Reject under EM-TEC-01.EP-07; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-07"
      ]
    },
    {
      "id": "EM-TEC-01.FX-035",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-08",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for Artifact digest identifies released bytes and never substitutes for AISMM semantic fingerprint."
      },
      "expect": "Accept under EM-TEC-01.EP-08; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-08"
      ]
    },
    {
      "id": "EM-TEC-01.FX-036",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-08",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate Artifact digest identifies released bytes and never substitutes for AISMM semantic fingerprint."
      },
      "expect": "Reject under EM-TEC-01.EP-08; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-08"
      ]
    },
    {
      "id": "EM-TEC-01.FX-037",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-09",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for Regional, tenant and repeated deployment never fork Software Product identity."
      },
      "expect": "Accept under EM-TEC-01.EP-09; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-09"
      ]
    },
    {
      "id": "EM-TEC-01.FX-038",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-09",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate Regional, tenant and repeated deployment never fork Software Product identity."
      },
      "expect": "Reject under EM-TEC-01.EP-09; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-09"
      ]
    },
    {
      "id": "EM-TEC-01.FX-039",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-10",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for Release and Deployment are distinct N-to-M records; every redeployment creates a new Deployment occurrence without creating a new Release."
      },
      "expect": "Accept under EM-TEC-01.EP-10; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-10"
      ]
    },
    {
      "id": "EM-TEC-01.FX-040",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-10",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate Release and Deployment are distinct N-to-M records; every redeployment creates a new Deployment occurrence without creating a new Release."
      },
      "expect": "Reject under EM-TEC-01.EP-10; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-10"
      ]
    },
    {
      "id": "EM-TEC-01.FX-041",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-11",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for A product support statement is not a deployed-runtime observation and cannot be inferred from deployment state."
      },
      "expect": "Accept under EM-TEC-01.EP-11; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-11"
      ]
    },
    {
      "id": "EM-TEC-01.FX-042",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-11",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate A product support statement is not a deployed-runtime observation and cannot be inferred from deployment state."
      },
      "expect": "Reject under EM-TEC-01.EP-11; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-11"
      ]
    },
    {
      "id": "EM-TEC-01.FX-043",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-12",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for Every WM-SFT-008 build input pins Source Repository, immutable RepositoryRevision and subpath where applicable; this rule remains non-executable until the relation is approved."
      },
      "expect": "Accept under EM-TEC-01.EP-12; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-12"
      ]
    },
    {
      "id": "EM-TEC-01.FX-044",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-12",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate Every WM-SFT-008 build input pins Source Repository, immutable RepositoryRevision and subpath where applicable; this rule remains non-executable until the relation is approved."
      },
      "expect": "Reject under EM-TEC-01.EP-12; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-12"
      ]
    },
    {
      "id": "EM-TEC-01.FX-045",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-13",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for One Software Product may reference many Source Repositories and one repository may support many products without identity merging; this relation remains pending allocation and approval."
      },
      "expect": "Accept under EM-TEC-01.EP-13; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-13"
      ]
    },
    {
      "id": "EM-TEC-01.FX-046",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-13",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate One Software Product may reference many Source Repositories and one repository may support many products without identity merging; this relation remains pending allocation and approval."
      },
      "expect": "Reject under EM-TEC-01.EP-13; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-13"
      ]
    },
    {
      "id": "EM-TEC-01.FX-047",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-14",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for SaaS, library, on-premise, container and firmware delivery profiles share product identity while delivery-specific artifacts and deployments remain external."
      },
      "expect": "Accept under EM-TEC-01.EP-14; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-14"
      ]
    },
    {
      "id": "EM-TEC-01.FX-048",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-14",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate SaaS, library, on-premise, container and firmware delivery profiles share product identity while delivery-specific artifacts and deployments remain external."
      },
      "expect": "Reject under EM-TEC-01.EP-14; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-14"
      ]
    },
    {
      "id": "EM-TEC-01.FX-049",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-15",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for A SaaS product without a distributable artifact uses an explicit no-artifact degradation profile and never fabricates a package."
      },
      "expect": "Accept under EM-TEC-01.EP-15; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-15"
      ]
    },
    {
      "id": "EM-TEC-01.FX-050",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-15",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate A SaaS product without a distributable artifact uses an explicit no-artifact degradation profile and never fabricates a package."
      },
      "expect": "Reject under EM-TEC-01.EP-15; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-15"
      ]
    },
    {
      "id": "EM-TEC-01.FX-051",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-16",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for A library delivery references package and release artifacts and does not create Deployment unless an actual runtime occurrence exists."
      },
      "expect": "Accept under EM-TEC-01.EP-16; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-16"
      ]
    },
    {
      "id": "EM-TEC-01.FX-052",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-16",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate A library delivery references package and release artifacts and does not create Deployment unless an actual runtime occurrence exists."
      },
      "expect": "Reject under EM-TEC-01.EP-16; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-16"
      ]
    },
    {
      "id": "EM-TEC-01.FX-053",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-17",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for An on-premise delivery references distributable release artifacts and each customer installation is a separate Deployment occurrence."
      },
      "expect": "Accept under EM-TEC-01.EP-17; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-17"
      ]
    },
    {
      "id": "EM-TEC-01.FX-054",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-17",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate An on-premise delivery references distributable release artifacts and each customer installation is a separate Deployment occurrence."
      },
      "expect": "Reject under EM-TEC-01.EP-17; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-17"
      ]
    },
    {
      "id": "EM-TEC-01.FX-055",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-18",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for A container delivery distinguishes image Artifact digest from running Deployment and from Product semantic fingerprint."
      },
      "expect": "Accept under EM-TEC-01.EP-18; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-18"
      ]
    },
    {
      "id": "EM-TEC-01.FX-056",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-18",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate A container delivery distinguishes image Artifact digest from running Deployment and from Product semantic fingerprint."
      },
      "expect": "Reject under EM-TEC-01.EP-18; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-18"
      ]
    },
    {
      "id": "EM-TEC-01.FX-057",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-19",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for A firmware delivery distinguishes Product, device-bound Deployment and firmware Artifact or Release."
      },
      "expect": "Accept under EM-TEC-01.EP-19; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-19"
      ]
    },
    {
      "id": "EM-TEC-01.FX-058",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-19",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate A firmware delivery distinguishes Product, device-bound Deployment and firmware Artifact or Release."
      },
      "expect": "Reject under EM-TEC-01.EP-19; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-19"
      ]
    },
    {
      "id": "EM-TEC-01.FX-059",
      "kind": "positive",
      "input": {
        "rule": "EM-TEC-01.EP-20",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Conforming named-field example for AISMM evidence is pinned to repository release 3.1.0; runtime compatibility is unproven and no 3.2.0 delta is asserted without evidence."
      },
      "expect": "Accept under EM-TEC-01.EP-20; required carriers and references are present.",
      "rules": [
        "EM-TEC-01.EP-20"
      ]
    },
    {
      "id": "EM-TEC-01.FX-060",
      "kind": "negative",
      "input": {
        "rule": "EM-TEC-01.EP-20",
        "sourceRepositoryId": "repo-1",
        "locatorId": null,
        "scenario": "Violating named-field example: negate AISMM evidence is pinned to repository release 3.1.0; runtime compatibility is unproven and no 3.2.0 delta is asserted without evidence."
      },
      "expect": "Reject under EM-TEC-01.EP-20; the stated invariant is violated.",
      "rules": [
        "EM-TEC-01.EP-20"
      ]
    },
    {
      "id": "EM-TEC-01.FX-061",
      "kind": "negative",
      "input": {
        "RepositoryReference.referenceKind": "tag",
        "RepositoryReference.referenceName": "v1",
        "RepositoryReference.targetRevisionRef": null,
        "buildInput": "tag-only"
      },
      "expect": "Reject mutable or re-pointable tag-only input.",
      "rules": [
        "EM-TEC-01.SR-05"
      ]
    },
    {
      "id": "EM-TEC-01.FX-062",
      "kind": "positive",
      "input": {
        "sourceRepositoryId": "repo-1",
        "RepositoryLocator": [
          {
            "locatorId": "old",
            "effectiveTo": "2026-01-01"
          },
          {
            "locatorId": "new",
            "effectiveFrom": "2026-01-01"
          }
        ],
        "nativeRevision": "abc"
      },
      "expect": "Accept migration under one repository identity.",
      "rules": [
        "EM-TEC-01.SR-03"
      ]
    },
    {
      "id": "EM-TEC-01.FX-063",
      "kind": "negative",
      "input": {
        "productId": "p1",
        "regionalDeploymentCreatesProductId": "p2"
      },
      "expect": "Reject regional deployment that forks Product identity.",
      "rules": [
        "EM-TEC-01.EP-09"
      ]
    },
    {
      "id": "EM-TEC-01.FX-064",
      "kind": "negative",
      "input": {
        "deliveryProfile": "saas",
        "fabricatedPackage": true
      },
      "expect": "Reject fabricated SaaS package.",
      "rules": [
        "EM-TEC-01.EP-15"
      ]
    },
    {
      "id": "EM-TEC-01.FX-065",
      "kind": "negative",
      "input": {
        "artifactDigest": "sha256:a",
        "semanticFingerprint": "sha256:a",
        "treatedEquivalent": true
      },
      "expect": "Reject artifact digest used as semantic equality proof.",
      "rules": [
        "EM-TEC-01.EP-18"
      ]
    }
  ]
}