{
  "format": "vercy-enterprise-profile-fixtures/v2",
  "profileName": "Enterprise Operations Landscape and Supply Network",
  "cases": [
    {
      "id": "event-backed-recall",
      "kind": "positive",
      "input": "A recalled component lot has actual consumption edges to three serialized units.",
      "expect": "Those units are proven affected, bounded by the consumed quantity cited by each event, with cited events and verified evidence digests.",
      "canonicalId": "EM-LND-11-FX-001",
      "target": "recall-classifier",
      "violates": [],
      "closesDefect": [
        "D13"
      ]
    },
    {
      "id": "blended-bulk",
      "kind": "positive",
      "input": "Two bulk outputs derive from a blended silo containing the recalled lot.",
      "expect": "They are potentially affected with reasonCode MASS_BALANCE and explicit residual uncertainty.",
      "canonicalId": "EM-LND-11-FX-002",
      "target": "recall-classifier",
      "violates": [],
      "closesDefect": [
        "D13"
      ]
    },
    {
      "id": "unknown-supplier",
      "kind": "positive",
      "input": "An inbound supplier cannot resolve to a Party master.",
      "expect": "Backward trace terminates at an explicit unknown-origin marker and remains incomplete.",
      "canonicalId": "EM-LND-11-FX-003",
      "target": "trace-result",
      "violates": [],
      "closesDefect": [
        "D12"
      ]
    },
    {
      "id": "bom-proves-installation",
      "kind": "negative",
      "input": "Forty units are declared affected solely because their BOM lists the component.",
      "expect": "The claim is rejected without actual consumption or transformation evidence.",
      "canonicalId": "EM-LND-11-FX-004",
      "target": "recall-classifier",
      "violates": [
        "INV-03",
        "INV-15"
      ],
      "closesDefect": [
        "D5",
        "D13"
      ],
      "expectedCode": "EMLND11_E_BOM_NOT_COMPOSITION"
    },
    {
      "id": "scan-proves-acceptance",
      "kind": "negative",
      "input": "A location scan is treated as delivery acceptance.",
      "expect": "The inference is rejected; acceptance requires a separate acceptance assertion on its own axis.",
      "canonicalId": "EM-LND-11-FX-005",
      "target": "fulfilment-case",
      "violates": [
        "INV-02"
      ],
      "closesDefect": [
        "D10",
        "D23"
      ],
      "expectedCode": "EMLND11_E_SCAN_NOT_ACCEPTANCE"
    },
    {
      "id": "missing-stock-zero",
      "kind": "negative",
      "input": "A missing stock row is interpreted as zero inventory.",
      "expect": "The assertion is rejected.",
      "canonicalId": "EM-LND-11-FX-006",
      "target": "stock-ledger",
      "violates": [
        "INV-12"
      ],
      "closesDefect": [
        "D7"
      ],
      "expectedCode": "EMLND11_E_MISSING_ROW_NOT_ZERO"
    },
    {
      "id": "view-orders-recall",
      "kind": "negative",
      "input": "The landscape projection directly recalls inventory and posts movements.",
      "expect": "The mutations are rejected as outside the view boundary.",
      "canonicalId": "EM-LND-11-FX-007",
      "target": "landscape-declaration",
      "violates": [
        "INV-18"
      ],
      "closesDefect": [
        "D16"
      ],
      "expectedCode": "EMLND11_E_VIEW_EXERCISES_AUTHORITY"
    },
    {
      "id": "EM-LND-11-FX-008",
      "target": "landscape-declaration",
      "kind": "positive",
      "input": "Declaration carries identityClass=declaration-artifact, subjectIdentityMinted=false, rootPromotionAllowed=false.",
      "expect": "Accepted as a governed declaration with artifact identity only.",
      "violates": [],
      "closesDefect": [
        "D1"
      ],
      "canonicalId": "EM-LND-11-FX-008"
    },
    {
      "id": "EM-LND-11-FX-009",
      "target": "landscape-declaration",
      "kind": "negative",
      "input": "The declaration asserts itself as the aggregate root for operations facts.",
      "expect": "Rejected; a declaration cannot become a subject root.",
      "violates": [
        "INV-13"
      ],
      "closesDefect": [
        "D1"
      ],
      "expectedCode": "EMLND11_E_ROOT_PROMOTION_FORBIDDEN",
      "canonicalId": "EM-LND-11-FX-009"
    },
    {
      "id": "EM-LND-11-FX-010",
      "target": "supply-network-view",
      "kind": "negative",
      "input": "Supply Network is registered as a persistent root master.",
      "expect": "Rejected; Supply Network is a view definition only.",
      "violates": [
        "INV-13"
      ],
      "closesDefect": [
        "D1"
      ],
      "expectedCode": "EMLND11_E_VIEW_AS_ROOT",
      "canonicalId": "EM-LND-11-FX-010"
    },
    {
      "id": "EM-LND-11-FX-011",
      "target": "supply-network-view",
      "kind": "negative",
      "input": "A network node is treated as the authoritative record of supplier party identity.",
      "expect": "Rejected; party mastership is unassigned and outside this package.",
      "violates": [
        "INV-13",
        "INV-18"
      ],
      "closesDefect": [
        "D1",
        "D2"
      ],
      "expectedCode": "EMLND11_E_DUPLICATE_MASTERSHIP",
      "canonicalId": "EM-LND-11-FX-011"
    },
    {
      "id": "EM-LND-11-FX-012",
      "target": "projection-engine",
      "kind": "negative",
      "input": "A projection output is cited by another contour as a master source of record.",
      "expect": "Rejected; a projection is a derived output and never a master.",
      "violates": [
        "INV-13",
        "INV-18"
      ],
      "closesDefect": [
        "D1"
      ],
      "expectedCode": "EMLND11_E_PROJECTION_AS_ROOT",
      "canonicalId": "EM-LND-11-FX-012"
    },
    {
      "id": "EM-LND-11-FX-013",
      "target": "mastership-map",
      "kind": "positive",
      "input": "All fourteen fact classes resolve to exactly one base each.",
      "expect": "Accepted; one owning model per fact.",
      "violates": [],
      "closesDefect": [
        "D2"
      ],
      "canonicalId": "EM-LND-11-FX-013"
    },
    {
      "id": "EM-LND-11-FX-014",
      "target": "mastership-map",
      "kind": "negative",
      "input": "WM-OBJ-020 and WM-FLW-012 both claim mastership of stock quantity.",
      "expect": "Rejected; stock quantity has exactly one owner.",
      "violates": [
        "INV-18"
      ],
      "closesDefect": [
        "D2"
      ],
      "expectedCode": "EMLND11_E_MULTIPLE_OWNERS",
      "canonicalId": "EM-LND-11-FX-014"
    },
    {
      "id": "EM-LND-11-FX-015",
      "target": "mastership-map",
      "kind": "negative",
      "input": "A Lot/Batch fact is mutated although its master is unassigned.",
      "expect": "Rejected; unknown mastership blocks mutation.",
      "violates": [
        "INV-18"
      ],
      "closesDefect": [
        "D2"
      ],
      "expectedCode": "EMLND11_E_UNKNOWN_MASTERSHIP_BLOCKS_MUTATION",
      "canonicalId": "EM-LND-11-FX-015"
    },
    {
      "id": "EM-LND-11-FX-016",
      "target": "gap-register",
      "kind": "negative",
      "input": "The gap list collapses Actual Consumption/Production Event and Occurrence/Event into one entry, yielding eight names.",
      "expect": "Rejected; exactly nine distinct gaps must be enumerated and must match the manifest list.",
      "violates": [
        "INV-13"
      ],
      "closesDefect": [
        "D2"
      ],
      "expectedCode": "EMLND11_E_GAP_ENUMERATION_INCOMPLETE",
      "canonicalId": "EM-LND-11-FX-016"
    },
    {
      "id": "EM-LND-11-FX-017",
      "target": "projection-engine",
      "kind": "positive",
      "input": "Identical declaration, pins, asOf and ruleSetVersion are reprojected twice.",
      "expect": "Byte-identical output and identical sha256 projection digest.",
      "violates": [],
      "closesDefect": [
        "D3"
      ],
      "canonicalId": "EM-LND-11-FX-017"
    },
    {
      "id": "EM-LND-11-FX-018",
      "target": "projection-engine",
      "kind": "negative",
      "input": "A projection is emitted while one source revision pin is unpinned.",
      "expect": "Rejected; emission is blocked until all pins resolve.",
      "violates": [
        "INV-09"
      ],
      "closesDefect": [
        "D3"
      ],
      "expectedCode": "EMLND11_E_UNPINNED_SOURCE_REVISION",
      "canonicalId": "EM-LND-11-FX-018"
    },
    {
      "id": "EM-LND-11-FX-019",
      "target": "projection-engine",
      "kind": "negative",
      "input": "A projection is emitted with no asOf instant.",
      "expect": "Rejected; every view answers as-of a stated instant.",
      "violates": [
        "INV-09"
      ],
      "closesDefect": [
        "D3"
      ],
      "expectedCode": "EMLND11_E_MISSING_AS_OF",
      "canonicalId": "EM-LND-11-FX-019"
    },
    {
      "id": "EM-LND-11-FX-020",
      "target": "projection-engine",
      "kind": "negative",
      "input": "A projection declares a digest field but never computes it.",
      "expect": "Rejected; the digest must be computed over the emitted bytes.",
      "violates": [
        "INV-09"
      ],
      "closesDefect": [
        "D3"
      ],
      "expectedCode": "EMLND11_E_MISSING_PROJECTION_DIGEST",
      "canonicalId": "EM-LND-11-FX-020"
    },
    {
      "id": "EM-LND-11-FX-021",
      "target": "projection-engine",
      "kind": "negative",
      "input": "Reprojection normalises and writes back a source revision.",
      "expect": "Rejected; views never mutate sources.",
      "violates": [
        "INV-09",
        "INV-18"
      ],
      "closesDefect": [
        "D3"
      ],
      "expectedCode": "EMLND11_E_VIEW_MUTATES_SOURCE",
      "canonicalId": "EM-LND-11-FX-021"
    },
    {
      "id": "EM-LND-11-FX-022",
      "target": "landscape-declaration",
      "kind": "positive",
      "input": "View declares viewpoint, concerns, scope, asOf, freshness, completeness perimeter, disclosure policy, digest, gap and conflict registers.",
      "expect": "Accepted; all ten declaration fields present.",
      "violates": [],
      "closesDefect": [
        "D3"
      ],
      "canonicalId": "EM-LND-11-FX-022"
    },
    {
      "id": "EM-LND-11-FX-023",
      "target": "landscape-declaration",
      "kind": "negative",
      "input": "A view omits its completeness perimeter.",
      "expect": "Rejected; the perimeter is mandatory before any absence reasoning.",
      "violates": [
        "INV-05",
        "INV-09"
      ],
      "closesDefect": [
        "D3"
      ],
      "expectedCode": "EMLND11_E_MISSING_COMPLETENESS_PERIMETER",
      "canonicalId": "EM-LND-11-FX-023"
    },
    {
      "id": "EM-LND-11-FX-024",
      "target": "supply-network-view",
      "kind": "positive",
      "input": "An edge derived from a supply-relation master carries validity interval, determination method, evidence reference and confidence.",
      "expect": "Accepted as a scoped network edge.",
      "violates": [],
      "closesDefect": [
        "D4"
      ],
      "canonicalId": "EM-LND-11-FX-024"
    },
    {
      "id": "EM-LND-11-FX-025",
      "target": "supply-network-view",
      "kind": "negative",
      "input": "An edge is created from shared facility co-location with no supply-relation master and no movement event.",
      "expect": "Rejected; the network may not invent edges.",
      "violates": [
        "INV-13"
      ],
      "closesDefect": [
        "D4"
      ],
      "expectedCode": "EMLND11_E_UNSOURCED_NETWORK_EDGE",
      "canonicalId": "EM-LND-11-FX-025"
    },
    {
      "id": "EM-LND-11-FX-026",
      "target": "supply-network-view",
      "kind": "negative",
      "input": "A missing edge is reported as proof that no supply relationship exists, with no closed perimeter.",
      "expect": "Rejected; a missing edge means unobserved.",
      "violates": [
        "INV-05"
      ],
      "closesDefect": [
        "D4"
      ],
      "expectedCode": "EMLND11_E_ABSENCE_NOT_NON_EXPOSURE",
      "canonicalId": "EM-LND-11-FX-026"
    },
    {
      "id": "EM-LND-11-FX-027",
      "target": "supply-network-view",
      "kind": "positive",
      "input": "A closed, versioned completeness perimeter licenses a scoped absence claim inside its bounds.",
      "expect": "Accepted; the absence claim is scoped to the declared perimeter version.",
      "violates": [],
      "closesDefect": [
        "D4"
      ],
      "canonicalId": "EM-LND-11-FX-027"
    },
    {
      "id": "EM-LND-11-FX-028",
      "target": "genealogy-edge-validator",
      "kind": "negative",
      "input": "A network path from supplier to plant is used as a genealogy edge for a lot.",
      "expect": "Rejected; a network snapshot is not genealogy.",
      "violates": [
        "INV-01",
        "INV-14"
      ],
      "closesDefect": [
        "D4"
      ],
      "expectedCode": "EMLND11_E_NETWORK_PATH_NOT_GENEALOGY",
      "canonicalId": "EM-LND-11-FX-028"
    },
    {
      "id": "EM-LND-11-FX-029",
      "target": "trace-result",
      "kind": "negative",
      "input": "A network edge is used to substitute a probable supplier and close the unknown-origin break.",
      "expect": "Rejected; the break stays exposed with its unknown-origin marker.",
      "violates": [
        "INV-04",
        "INV-14"
      ],
      "closesDefect": [
        "D4",
        "D12"
      ],
      "expectedCode": "EMLND11_E_UNKNOWN_ORIGIN_BRIDGED",
      "canonicalId": "EM-LND-11-FX-029"
    },
    {
      "id": "EM-LND-11-FX-030",
      "target": "genealogy-edge-validator",
      "kind": "negative",
      "input": "An engineering BOM occurrence is treated as a serialized item.",
      "expect": "Rejected; occurrence is design intent, not instance identity.",
      "violates": [
        "INV-03",
        "INV-11"
      ],
      "closesDefect": [
        "D5"
      ],
      "expectedCode": "EMLND11_E_OCCURRENCE_NOT_SERIAL",
      "canonicalId": "EM-LND-11-FX-030"
    },
    {
      "id": "EM-LND-11-FX-031",
      "target": "genealogy-edge-validator",
      "kind": "negative",
      "input": "A candidate alternate BOM line is reported as the installed component.",
      "expect": "Rejected; alternates do not imply installation.",
      "violates": [
        "INV-03"
      ],
      "closesDefect": [
        "D5"
      ],
      "expectedCode": "EMLND11_E_ALTERNATE_NOT_INSTALLED",
      "canonicalId": "EM-LND-11-FX-031"
    },
    {
      "id": "EM-LND-11-FX-032",
      "target": "quantity-validator",
      "kind": "negative",
      "input": "A nominal BOM aggregate is published as a measured property.",
      "expect": "Rejected; nominal is not measured.",
      "violates": [
        "INV-03",
        "INV-07"
      ],
      "closesDefect": [
        "D5"
      ],
      "expectedCode": "EMLND11_E_NOMINAL_NOT_MEASURED",
      "canonicalId": "EM-LND-11-FX-032"
    },
    {
      "id": "EM-LND-11-FX-033",
      "target": "genealogy-edge-validator",
      "kind": "negative",
      "input": "Transformation-plan quantity, location and supplier are recorded as the executed quantity, location and party.",
      "expect": "Rejected; plan never substitutes for execution.",
      "violates": [
        "INV-20"
      ],
      "closesDefect": [
        "D5"
      ],
      "expectedCode": "EMLND11_E_PLAN_NOT_EXECUTION",
      "canonicalId": "EM-LND-11-FX-033"
    },
    {
      "id": "EM-LND-11-FX-034",
      "target": "recall-classifier",
      "kind": "positive",
      "input": "A BOM is used only to bound candidate composition and the result is tagged design-intent.",
      "expect": "Accepted as a candidate bound, not as composition evidence.",
      "violates": [],
      "closesDefect": [
        "D5"
      ],
      "canonicalId": "EM-LND-11-FX-034"
    },
    {
      "id": "EM-LND-11-FX-035",
      "target": "genealogy-edge-validator",
      "kind": "negative",
      "input": "Lot membership is used as the instance identity of the consumed material.",
      "expect": "Rejected; lot membership is provenance only.",
      "violates": [
        "INV-11"
      ],
      "closesDefect": [
        "D6"
      ],
      "expectedCode": "EMLND11_E_LOT_NOT_INSTANCE_IDENTITY",
      "canonicalId": "EM-LND-11-FX-035"
    },
    {
      "id": "EM-LND-11-FX-036",
      "target": "mastership-map",
      "kind": "negative",
      "input": "Fungible bulk material is given serialized item identity under WM-OBJ-001.",
      "expect": "Rejected; no individuating boundary, and the sibling lot/bulk model is unassigned.",
      "violates": [
        "INV-11",
        "INV-13"
      ],
      "closesDefect": [
        "D6"
      ],
      "expectedCode": "EMLND11_E_NO_INDIVIDUATING_BOUNDARY",
      "canonicalId": "EM-LND-11-FX-036"
    },
    {
      "id": "EM-LND-11-FX-037",
      "target": "genealogy-edge-validator",
      "kind": "negative",
      "input": "A handling-unit packing list is used as proof of the unit's actual contents.",
      "expect": "Rejected; CONTAINS is typed membership, not contents proof.",
      "violates": [
        "INV-11"
      ],
      "closesDefect": [
        "D6"
      ],
      "expectedCode": "EMLND11_E_PACKING_NOT_CONTENTS_PROOF",
      "canonicalId": "EM-LND-11-FX-037"
    },
    {
      "id": "EM-LND-11-FX-038",
      "target": "mastership-map",
      "kind": "positive",
      "input": "A serialized unit, its lot membership as provenance, and a bulk quantity are held as three distinct records.",
      "expect": "Accepted; the three identity classes remain separate.",
      "violates": [],
      "closesDefect": [
        "D6"
      ],
      "canonicalId": "EM-LND-11-FX-038"
    },
    {
      "id": "EM-LND-11-FX-039",
      "target": "stock-ledger",
      "kind": "negative",
      "input": "A physical count result is used as authority to post an inventory adjustment.",
      "expect": "Rejected; a count is not posting authority.",
      "violates": [
        "INV-12"
      ],
      "closesDefect": [
        "D7"
      ],
      "expectedCode": "EMLND11_E_COUNT_NOT_POSTING_AUTHORITY",
      "canonicalId": "EM-LND-11-FX-039"
    },
    {
      "id": "EM-LND-11-FX-040",
      "target": "movement-event",
      "kind": "negative",
      "input": "A planned movement line is reported as a movement that occurred.",
      "expect": "Rejected; plan is not movement.",
      "violates": [
        "INV-02"
      ],
      "closesDefect": [
        "D7"
      ],
      "expectedCode": "EMLND11_E_PLAN_NOT_MOVEMENT",
      "canonicalId": "EM-LND-11-FX-040"
    },
    {
      "id": "EM-LND-11-FX-041",
      "target": "movement-event",
      "kind": "negative",
      "input": "A recorded movement is treated as the authoritative inventory posting.",
      "expect": "Rejected; movement is not posting.",
      "violates": [
        "INV-02",
        "INV-12"
      ],
      "closesDefect": [
        "D7"
      ],
      "expectedCode": "EMLND11_E_MOVEMENT_NOT_POSTING",
      "canonicalId": "EM-LND-11-FX-041"
    },
    {
      "id": "EM-LND-11-FX-042",
      "target": "movement-event",
      "kind": "positive",
      "input": "One stock-affecting transition is recorded with the authoritative posting held as an external reference.",
      "expect": "Accepted; movement and posting stay distinct.",
      "violates": [],
      "closesDefect": [
        "D7"
      ],
      "canonicalId": "EM-LND-11-FX-042"
    },
    {
      "id": "EM-LND-11-FX-043",
      "target": "genealogy-edge-validator",
      "kind": "negative",
      "input": "A stock position row is used as a genealogy node linking input lot to output lot.",
      "expect": "Rejected; stock is not a genealogy node.",
      "violates": [
        "INV-12"
      ],
      "closesDefect": [
        "D7"
      ],
      "expectedCode": "EMLND11_E_STOCK_NOT_GENEALOGY_NODE",
      "canonicalId": "EM-LND-11-FX-043"
    },
    {
      "id": "EM-LND-11-FX-044",
      "target": "shipment-record",
      "kind": "negative",
      "input": "A shipment is recorded with no trade-shipment / transport-consignment / combined-view discriminator.",
      "expect": "Rejected; the semantic kind is mandatory.",
      "violates": [
        "INV-19"
      ],
      "closesDefect": [
        "D8"
      ],
      "expectedCode": "EMLND11_E_MISSING_SHIPMENT_KIND",
      "canonicalId": "EM-LND-11-FX-044"
    },
    {
      "id": "EM-LND-11-FX-045",
      "target": "shipment-record",
      "kind": "negative",
      "input": "Shipment and consignment are forced into a one-to-one link.",
      "expect": "Rejected; allocation is many-to-many.",
      "violates": [
        "INV-19"
      ],
      "closesDefect": [
        "D8"
      ],
      "expectedCode": "EMLND11_E_SHIPMENT_CONSIGNMENT_CARDINALITY",
      "canonicalId": "EM-LND-11-FX-045"
    },
    {
      "id": "EM-LND-11-FX-046",
      "target": "shipment-record",
      "kind": "positive",
      "input": "One transport consignment is allocated across two trade shipments, each with its discriminator set.",
      "expect": "Accepted; many-to-many allocation preserved.",
      "violates": [],
      "closesDefect": [
        "D8"
      ],
      "canonicalId": "EM-LND-11-FX-046"
    },
    {
      "id": "EM-LND-11-FX-047",
      "target": "custody-ledger",
      "kind": "negative",
      "input": "A location read point is recorded as a custody transfer.",
      "expect": "Rejected; location is not custody.",
      "violates": [
        "INV-06"
      ],
      "closesDefect": [
        "D9",
        "D23"
      ],
      "expectedCode": "EMLND11_E_LOCATION_NOT_CUSTODY",
      "canonicalId": "EM-LND-11-FX-047"
    },
    {
      "id": "EM-LND-11-FX-048",
      "target": "custody-ledger",
      "kind": "negative",
      "input": "A custody transfer is recorded as a transfer of title.",
      "expect": "Rejected; custody is not title.",
      "violates": [
        "INV-06"
      ],
      "closesDefect": [
        "D9",
        "D23"
      ],
      "expectedCode": "EMLND11_E_CUSTODY_NOT_TITLE",
      "canonicalId": "EM-LND-11-FX-048"
    },
    {
      "id": "EM-LND-11-FX-049",
      "target": "custody-ledger",
      "kind": "negative",
      "input": "A carrier status code is interpreted as customs clearance.",
      "expect": "Rejected; a status code is not clearance.",
      "violates": [
        "INV-06"
      ],
      "closesDefect": [
        "D9"
      ],
      "expectedCode": "EMLND11_E_SCAN_NOT_CLEARANCE",
      "canonicalId": "EM-LND-11-FX-049"
    },
    {
      "id": "EM-LND-11-FX-050",
      "target": "custody-ledger",
      "kind": "positive",
      "input": "Custody passes to a 3PL while title remains with the consignor.",
      "expect": "Accepted; custody and title recorded independently.",
      "violates": [],
      "closesDefect": [
        "D9"
      ],
      "canonicalId": "EM-LND-11-FX-050"
    },
    {
      "id": "EM-LND-11-FX-051",
      "target": "fulfilment-case",
      "kind": "negative",
      "input": "Goods receipt is recorded as acceptance.",
      "expect": "Rejected; receipt and acceptance are separate axes.",
      "violates": [
        "INV-02"
      ],
      "closesDefect": [
        "D10"
      ],
      "expectedCode": "EMLND11_E_RECEIPT_NOT_ACCEPTANCE",
      "canonicalId": "EM-LND-11-FX-051"
    },
    {
      "id": "EM-LND-11-FX-052",
      "target": "fulfilment-case",
      "kind": "negative",
      "input": "Dispatch is recorded as fulfilment completion.",
      "expect": "Rejected; dispatch and completion are separate axes.",
      "violates": [
        "INV-02"
      ],
      "closesDefect": [
        "D10"
      ],
      "expectedCode": "EMLND11_E_DISPATCH_NOT_COMPLETION",
      "canonicalId": "EM-LND-11-FX-052"
    },
    {
      "id": "EM-LND-11-FX-053",
      "target": "fulfilment-case",
      "kind": "positive",
      "input": "Dispatch, handover and receipt are recorded while inspection is pending and acceptance is unset.",
      "expect": "Accepted; six axes remain independent.",
      "violates": [],
      "closesDefect": [
        "D10"
      ],
      "canonicalId": "EM-LND-11-FX-053"
    },
    {
      "id": "EM-LND-11-FX-054",
      "target": "work-order",
      "kind": "negative",
      "input": "An issued WM-ACT-007 work order is treated as proof the work was performed.",
      "expect": "Rejected; authorization never proves execution.",
      "violates": [
        "INV-20"
      ],
      "closesDefect": [
        "D10",
        "D21"
      ],
      "expectedCode": "EMLND11_E_AUTHORIZATION_NOT_EXECUTION",
      "canonicalId": "EM-LND-11-FX-054"
    },
    {
      "id": "EM-LND-11-FX-055",
      "target": "genealogy-edge-validator",
      "kind": "positive",
      "input": "A transformation edge carries all fourteen required fields including relation type, cited event, quantity with unit, event and record times, read point, business location, yield, source, agent, method, confidence and evidence digest.",
      "expect": "Accepted as an evidence-bearing genealogy edge.",
      "violates": [],
      "closesDefect": [
        "D11"
      ],
      "canonicalId": "EM-LND-11-FX-055"
    },
    {
      "id": "EM-LND-11-FX-056",
      "target": "genealogy-edge-validator",
      "kind": "negative",
      "input": "A consumption edge is stored with no cited actual event.",
      "expect": "Rejected; no genealogy edge without an actual event citation.",
      "violates": [
        "INV-01"
      ],
      "closesDefect": [
        "D11"
      ],
      "expectedCode": "EMLND11_E_EDGE_WITHOUT_EVENT",
      "canonicalId": "EM-LND-11-FX-056"
    },
    {
      "id": "EM-LND-11-FX-057",
      "target": "genealogy-edge-validator",
      "kind": "negative",
      "input": "An edge cites an event but carries no evidence digest.",
      "expect": "Rejected; evidence digest is mandatory.",
      "violates": [
        "INV-01"
      ],
      "closesDefect": [
        "D11"
      ],
      "expectedCode": "EMLND11_E_MISSING_EVIDENCE_DIGEST",
      "canonicalId": "EM-LND-11-FX-057"
    },
    {
      "id": "EM-LND-11-FX-058",
      "target": "genealogy-edge-validator",
      "kind": "negative",
      "input": "An inferred edge is persisted with edgeMode=declared and later reported as an asserted fact.",
      "expect": "Rejected; inferred edges never become asserted.",
      "violates": [
        "INV-08"
      ],
      "closesDefect": [
        "D11"
      ],
      "expectedCode": "EMLND11_E_INFERRED_AS_ASSERTED",
      "canonicalId": "EM-LND-11-FX-058"
    },
    {
      "id": "EM-LND-11-FX-059",
      "target": "genealogy-edge-validator",
      "kind": "negative",
      "input": "The EPCIS TransformationEvent alignment on WM-FLW-013 is cited as the genealogy master.",
      "expect": "Rejected; an alignment is not a master.",
      "violates": [
        "INV-18"
      ],
      "closesDefect": [
        "D11",
        "D28"
      ],
      "expectedCode": "EMLND11_E_ALIGNMENT_NOT_MASTER",
      "canonicalId": "EM-LND-11-FX-059"
    },
    {
      "id": "EM-LND-11-FX-060",
      "target": "genealogy-edge-validator",
      "kind": "negative",
      "input": "A mass-balance custody claim is asserted as one-to-one instance continuity.",
      "expect": "Rejected; mass balance and controlled blending break one-to-one continuity.",
      "violates": [
        "INV-06",
        "INV-08"
      ],
      "closesDefect": [
        "D11"
      ],
      "expectedCode": "EMLND11_E_MASS_BALANCE_NOT_CONTINUITY",
      "canonicalId": "EM-LND-11-FX-060"
    },
    {
      "id": "EM-LND-11-FX-061",
      "target": "trace-result",
      "kind": "positive",
      "input": "A backward trace reaches an unresolvable supplier and returns traceCompleteness=incomplete with an explicit unknown-origin marker and residual uncertainty.",
      "expect": "Accepted; the break is exposed and not bridged.",
      "violates": [],
      "closesDefect": [
        "D12"
      ],
      "canonicalId": "EM-LND-11-FX-061"
    },
    {
      "id": "EM-LND-11-FX-062",
      "target": "trace-result",
      "kind": "negative",
      "input": "Unknown origin is represented as a null or empty supplier field.",
      "expect": "Rejected; unknown origin is an explicit first-class state.",
      "violates": [
        "INV-04"
      ],
      "closesDefect": [
        "D12"
      ],
      "expectedCode": "EMLND11_E_UNKNOWN_ORIGIN_NOT_EXPLICIT",
      "canonicalId": "EM-LND-11-FX-062"
    },
    {
      "id": "EM-LND-11-FX-063",
      "target": "trace-result",
      "kind": "negative",
      "input": "A result carrying an unknown-origin marker is returned as complete.",
      "expect": "Rejected; completeness requires a closed perimeter and zero unknown-origin markers.",
      "violates": [
        "INV-04",
        "INV-05"
      ],
      "closesDefect": [
        "D12"
      ],
      "expectedCode": "EMLND11_E_INCOMPLETE_REPORTED_COMPLETE",
      "canonicalId": "EM-LND-11-FX-063"
    },
    {
      "id": "EM-LND-11-FX-064",
      "target": "trace-result",
      "kind": "positive",
      "input": "Per-item classification and per-result traceCompleteness are emitted as two separate fields.",
      "expect": "Accepted; item classification and result completeness do not share an axis.",
      "violates": [],
      "closesDefect": [
        "D12"
      ],
      "canonicalId": "EM-LND-11-FX-064"
    },
    {
      "id": "EM-LND-11-FX-065",
      "target": "recall-classifier",
      "kind": "negative",
      "input": "Forty BOM-only units are reported as unaffected and cleared.",
      "expect": "Rejected; not-evidenced is not cleared without a closed completeness perimeter.",
      "violates": [
        "INV-05",
        "INV-15"
      ],
      "closesDefect": [
        "D13"
      ],
      "expectedCode": "EMLND11_E_NOT_EVIDENCED_NOT_CLEARED",
      "canonicalId": "EM-LND-11-FX-065"
    },
    {
      "id": "EM-LND-11-FX-066",
      "target": "recall-classifier",
      "kind": "negative",
      "input": "An output is classified potentially-affected with no reason code.",
      "expect": "Rejected; a reason code from the enum is mandatory.",
      "violates": [
        "INV-15"
      ],
      "closesDefect": [
        "D13"
      ],
      "expectedCode": "EMLND11_E_MISSING_POTENTIAL_REASON",
      "canonicalId": "EM-LND-11-FX-066"
    },
    {
      "id": "EM-LND-11-FX-067",
      "target": "recall-classifier",
      "kind": "negative",
      "input": "An output is classified as 'suspected'.",
      "expect": "Rejected; only proven-affected, potentially-affected and not-evidenced are permitted.",
      "violates": [
        "INV-15"
      ],
      "closesDefect": [
        "D13"
      ],
      "expectedCode": "EMLND11_E_INVALID_RECALL_CLASS",
      "canonicalId": "EM-LND-11-FX-067"
    },
    {
      "id": "EM-LND-11-FX-068",
      "target": "recall-classifier",
      "kind": "negative",
      "input": "An event cites consumption of 20 kg of the recalled lot and the entire 500 kg output batch is declared proven affected.",
      "expect": "Rejected; proven affected is bounded by the cited consumed quantity, the remainder is potentially affected with a reason code.",
      "violates": [
        "INV-15"
      ],
      "closesDefect": [
        "D13"
      ],
      "expectedCode": "EMLND11_E_PROVEN_QUANTITY_UNBOUNDED",
      "canonicalId": "EM-LND-11-FX-068"
    },
    {
      "id": "EM-LND-11-FX-069",
      "target": "recall-classifier",
      "kind": "positive",
      "input": "Recalled lot L: three serialized units with cited consumption events; two bulk lots from a blended silo; forty units with BOM only; L's inbound supplier unresolvable.",
      "expect": "Exactly 3 proven-affected bounded by cited quantities, 2 potentially-affected with reasonCode MASS_BALANCE, 40 not-evidenced and not cleared, traceCompleteness=incomplete with an unknown-origin marker.",
      "violates": [],
      "closesDefect": [
        "D12",
        "D13"
      ],
      "canonicalId": "EM-LND-11-FX-069"
    },
    {
      "id": "EM-LND-11-FX-070",
      "target": "recall-classifier",
      "kind": "negative",
      "input": "Sibling lots from the unresolved supplier are declared unaffected.",
      "expect": "Rejected; they are not-evidenced and the question is unanswerable inside this perimeter.",
      "violates": [
        "INV-04",
        "INV-15"
      ],
      "closesDefect": [
        "D13"
      ],
      "expectedCode": "EMLND11_E_SIBLING_LOT_UNRESOLVED",
      "canonicalId": "EM-LND-11-FX-070"
    },
    {
      "id": "EM-LND-11-FX-071",
      "target": "time-validator",
      "kind": "negative",
      "input": "Event time and record time are written to one shared timestamp field.",
      "expect": "Rejected; the eight time axes stay distinct.",
      "violates": [
        "INV-16"
      ],
      "closesDefect": [
        "D14"
      ],
      "expectedCode": "EMLND11_E_TIME_AXIS_COLLAPSE",
      "canonicalId": "EM-LND-11-FX-071"
    },
    {
      "id": "EM-LND-11-FX-072",
      "target": "time-validator",
      "kind": "negative",
      "input": "An event instant is recorded as 2026-09-26T14:00:00 with no offset.",
      "expect": "Rejected; instants are RFC 3339 with seconds and an explicit offset.",
      "violates": [
        "INV-16"
      ],
      "closesDefect": [
        "D14"
      ],
      "expectedCode": "EMLND11_E_TIME_OFFSET_MISSING",
      "canonicalId": "EM-LND-11-FX-072"
    },
    {
      "id": "EM-LND-11-FX-073",
      "target": "time-validator",
      "kind": "negative",
      "input": "A declaration's effective time is applied as the event time of an execution event.",
      "expect": "Rejected; a declaration never backdates an execution event.",
      "violates": [
        "INV-16"
      ],
      "closesDefect": [
        "D14"
      ],
      "expectedCode": "EMLND11_E_DECLARATION_BACKDATES_EXECUTION",
      "canonicalId": "EM-LND-11-FX-073"
    },
    {
      "id": "EM-LND-11-FX-074",
      "target": "checkpoint-manifest.json",
      "kind": "positive",
      "input": "checkpointDate is typed {value, precision=day, timeAxis=record, offsetKnown=false} and no time of day is synthesised.",
      "expect": "Accepted; day precision is preserved without inventing an instant.",
      "violates": [],
      "closesDefect": [
        "D14"
      ],
      "canonicalId": "EM-LND-11-FX-074"
    },
    {
      "id": "EM-LND-11-FX-075",
      "target": "quantity-validator",
      "kind": "negative",
      "input": "An evidence edge carries quantity 12 with no unit.",
      "expect": "Rejected; quantity without unit is invalid on evidence edges.",
      "violates": [
        "INV-07"
      ],
      "closesDefect": [
        "D15"
      ],
      "expectedCode": "EMLND11_E_QUANTITY_WITHOUT_UNIT",
      "canonicalId": "EM-LND-11-FX-075"
    },
    {
      "id": "EM-LND-11-FX-076",
      "target": "quantity-validator",
      "kind": "negative",
      "input": "A unit is given from a code list with no pinned code-list version.",
      "expect": "Rejected; the code-list version must be pinned.",
      "violates": [
        "INV-07"
      ],
      "closesDefect": [
        "D15"
      ],
      "expectedCode": "EMLND11_E_UNIT_CODELIST_VERSION_MISSING",
      "canonicalId": "EM-LND-11-FX-076"
    },
    {
      "id": "EM-LND-11-FX-077",
      "target": "quantity-validator",
      "kind": "negative",
      "input": "A withheld quantity is rendered as 0 in a projection.",
      "expect": "Rejected; unknown, zero, not-applicable, withheld and suppressed never collapse.",
      "violates": [
        "INV-07"
      ],
      "closesDefect": [
        "D15"
      ],
      "expectedCode": "EMLND11_E_NULL_SEMANTICS_COLLAPSE",
      "canonicalId": "EM-LND-11-FX-077"
    },
    {
      "id": "EM-LND-11-FX-078",
      "target": "quantity-validator",
      "kind": "positive",
      "input": "A quantity carries item scope, value, unit, code list, pinned code-list version, precision and measurement basis.",
      "expect": "Accepted as a complete quantity.",
      "violates": [],
      "closesDefect": [
        "D15"
      ],
      "canonicalId": "EM-LND-11-FX-078"
    },
    {
      "id": "EM-LND-11-FX-079",
      "target": "landscape-declaration",
      "kind": "negative",
      "input": "The landscape view allocates a new identifier for an observed lot.",
      "expect": "Rejected; views never allocate identifiers.",
      "violates": [
        "INV-13",
        "INV-18"
      ],
      "closesDefect": [
        "D16",
        "D29"
      ],
      "expectedCode": "EMLND11_E_VIEW_ALLOCATES_ID",
      "canonicalId": "EM-LND-11-FX-079"
    },
    {
      "id": "EM-LND-11-FX-080",
      "target": "landscape-declaration",
      "kind": "negative",
      "input": "The landscape view issues a recall decision for the affected candidate set.",
      "expect": "Rejected; recall is an accountable authority decision outside the landscape.",
      "violates": [
        "INV-18"
      ],
      "closesDefect": [
        "D16"
      ],
      "expectedCode": "EMLND11_E_VIEW_EXERCISES_AUTHORITY",
      "canonicalId": "EM-LND-11-FX-080"
    },
    {
      "id": "EM-LND-11-FX-081",
      "target": "landscape-declaration",
      "kind": "negative",
      "input": "The landscape view dispatches a shipment derived from its projection.",
      "expect": "Rejected; dispatch is outside the view boundary.",
      "violates": [
        "INV-18"
      ],
      "closesDefect": [
        "D16"
      ],
      "expectedCode": "EMLND11_E_VIEW_DISPATCHES",
      "canonicalId": "EM-LND-11-FX-081"
    },
    {
      "id": "EM-LND-11-FX-082",
      "target": "landscape-declaration",
      "kind": "positive",
      "input": "The view emits a read-only candidate set and refers the decision to the accountable authority.",
      "expect": "Accepted; no authority is exercised by the view.",
      "violates": [],
      "closesDefect": [
        "D16"
      ],
      "canonicalId": "EM-LND-11-FX-082"
    },
    {
      "id": "EM-LND-11-FX-083",
      "target": "provenance-register",
      "kind": "negative",
      "input": "The profile records ten single-provider bases out of fourteen with three dual-provider.",
      "expect": "Rejected; 14 minus 3 dual equals 11 single-provider (10 Codex-only plus 1 Claude-only).",
      "violates": [
        "INV-22"
      ],
      "closesDefect": [
        "D17"
      ],
      "expectedCode": "EMLND11_E_PROVENANCE_COUNT_MISMATCH",
      "canonicalId": "EM-LND-11-FX-083"
    },
    {
      "id": "EM-LND-11-FX-084",
      "target": "provenance-register",
      "kind": "positive",
      "input": "baseProvenance partitions the fourteen bases into 3 dual-provider, 10 Codex-only waivers and 1 Claude-only waiver.",
      "expect": "Accepted; the partition is disjoint, complete and sums to 14 with singleProvider=11.",
      "violates": [],
      "closesDefect": [
        "D17"
      ],
      "canonicalId": "EM-LND-11-FX-084"
    },
    {
      "id": "EM-LND-11-FX-085",
      "target": "provenance-register",
      "kind": "negative",
      "input": "The Grok study is recorded with model 'grok-4' and effort 'high' although neither value appears in the frozen materials.",
      "expect": "Rejected; unrecorded provenance must be an explicit unknown marker.",
      "violates": [
        "INV-22"
      ],
      "closesDefect": [
        "D17",
        "D26"
      ],
      "expectedCode": "EMLND11_E_FABRICATED_PROVENANCE",
      "canonicalId": "EM-LND-11-FX-085"
    },
    {
      "id": "EM-LND-11-FX-086",
      "target": "access-policy",
      "kind": "negative",
      "input": "A withheld segment is omitted from a minimum projection with no marker.",
      "expect": "Rejected; withheld segments are marked withheld, never absent.",
      "violates": [
        "INV-17"
      ],
      "closesDefect": [
        "D18"
      ],
      "expectedCode": "EMLND11_E_WITHHELD_RENDERED_ABSENT",
      "canonicalId": "EM-LND-11-FX-086"
    },
    {
      "id": "EM-LND-11-FX-087",
      "target": "access-policy",
      "kind": "negative",
      "input": "A projection is served with no purpose binding on the request.",
      "expect": "Rejected; access is deny-by-default and purpose-bound.",
      "violates": [
        "INV-17"
      ],
      "closesDefect": [
        "D18"
      ],
      "expectedCode": "EMLND11_E_PURPOSE_BINDING_MISSING",
      "canonicalId": "EM-LND-11-FX-087"
    },
    {
      "id": "EM-LND-11-FX-088",
      "target": "access-policy",
      "kind": "positive",
      "input": "A purpose-bound minimum projection returns permitted fields and explicit withheld markers for the rest.",
      "expect": "Accepted; deny-by-default disclosure preserved.",
      "violates": [],
      "closesDefect": [
        "D18"
      ],
      "canonicalId": "EM-LND-11-FX-088"
    },
    {
      "id": "EM-LND-11-FX-089",
      "target": "fixtures.json",
      "kind": "negative",
      "input": "The fixtures file identifies its profile by display name only, with no contourId or profileRef.",
      "expect": "Rejected; artifact references must resolve by contourId and path.",
      "violates": [
        "INV-09"
      ],
      "closesDefect": [
        "D19"
      ],
      "expectedCode": "EMLND11_E_MISSING_ARTIFACT_REF",
      "canonicalId": "EM-LND-11-FX-089"
    },
    {
      "id": "EM-LND-11-FX-090",
      "target": "fixtures.json",
      "kind": "negative",
      "input": "A fixture targets base WM-OBJ-099, which is absent from the profile bases.",
      "expect": "Rejected; base references must resolve against the profile bases list.",
      "violates": [
        "INV-09"
      ],
      "closesDefect": [
        "D19"
      ],
      "expectedCode": "EMLND11_E_DANGLING_BASE_REF",
      "canonicalId": "EM-LND-11-FX-090"
    },
    {
      "id": "EM-LND-11-FX-091",
      "target": "checkpoint-manifest.json",
      "kind": "negative",
      "input": "The files list omits grok-study.raw.md and the three candidate-profile-offline files.",
      "expect": "Rejected; every frozen artifact must appear in the manifest files list.",
      "violates": [
        "INV-09"
      ],
      "closesDefect": [
        "D19"
      ],
      "expectedCode": "EMLND11_E_MANIFEST_FILE_LIST_INCOMPLETE",
      "canonicalId": "EM-LND-11-FX-091"
    },
    {
      "id": "EM-LND-11-FX-092",
      "target": "checkpoint-manifest.json",
      "kind": "positive",
      "input": "Every files entry has either a computed sha256 or sha256 null with digestStatus to-be-computed-by-local-script.",
      "expect": "Accepted; no digest is invented and none is silently missing.",
      "violates": [],
      "closesDefect": [
        "D19"
      ],
      "canonicalId": "EM-LND-11-FX-092"
    },
    {
      "id": "EM-LND-11-FX-093",
      "target": "checkpoint-manifest.json",
      "kind": "negative",
      "input": "A manifest entry carries a sha256 value that was not computed over the file bytes.",
      "expect": "Rejected; digests are computed, never fabricated.",
      "violates": [
        "INV-22"
      ],
      "closesDefect": [
        "D19"
      ],
      "expectedCode": "EMLND11_E_FABRICATED_DIGEST",
      "canonicalId": "EM-LND-11-FX-093"
    },
    {
      "id": "EM-LND-11-FX-094",
      "target": "registry-conflict-register",
      "kind": "negative",
      "input": "The WM-OBJ-019 registry parent_ids signal is used as authoritative while the COMPOSE relation row contradicts it.",
      "expect": "Rejected; a conflicting signal cannot be used as authority.",
      "violates": [
        "INV-21"
      ],
      "closesDefect": [
        "D20"
      ],
      "expectedCode": "EMLND11_E_UNRESOLVED_PARENT_SIGNAL",
      "canonicalId": "EM-LND-11-FX-094"
    },
    {
      "id": "EM-LND-11-FX-095",
      "target": "registry-conflict-register",
      "kind": "negative",
      "input": "registry entry_kind standalone-mm overrides the specification entry kinds aggregate, event and pattern.",
      "expect": "Rejected; the conflict stands unresolved and unselected.",
      "violates": [
        "INV-21"
      ],
      "closesDefect": [
        "D20"
      ],
      "expectedCode": "EMLND11_E_ENTRY_KIND_CONFLICT",
      "canonicalId": "EM-LND-11-FX-095"
    },
    {
      "id": "EM-LND-11-FX-096",
      "target": "registry-conflict-register",
      "kind": "positive",
      "input": "Both sides of each registry conflict are recorded with status unresolved and selected null.",
      "expect": "Accepted; conflicts are disclosed without silent selection.",
      "violates": [],
      "closesDefect": [
        "D20"
      ],
      "canonicalId": "EM-LND-11-FX-096"
    },
    {
      "id": "EM-LND-11-FX-097",
      "target": "publication-gate",
      "kind": "negative",
      "input": "An artifact sets publishableCanonical true while publicationHolds is non-empty.",
      "expect": "Rejected; no canonicity or publication-readiness claim while holds stand.",
      "violates": [
        "INV-21"
      ],
      "closesDefect": [
        "D21"
      ],
      "expectedCode": "EMLND11_E_PUBLICATION_CLAIM_FORBIDDEN",
      "canonicalId": "EM-LND-11-FX-097"
    },
    {
      "id": "EM-LND-11-FX-098",
      "target": "publication-gate",
      "kind": "negative",
      "input": "EPCIS 2.0 is silently selected over 2.0.1 to resolve the divergence.",
      "expect": "Rejected; divergent pins are recorded unresolved with selected null.",
      "violates": [
        "INV-21"
      ],
      "closesDefect": [
        "D21"
      ],
      "expectedCode": "EMLND11_E_PIN_DIVERGENCE_UNRESOLVED",
      "canonicalId": "EM-LND-11-FX-098"
    },
    {
      "id": "EM-LND-11-FX-099",
      "target": "work-order",
      "kind": "negative",
      "input": "WM-ACT-007 is used as the production and transformation work order for a manufacturing routing.",
      "expect": "Rejected; WM-ACT-007 is maintenance-scoped and the production work order and routing master are unassigned.",
      "violates": [
        "INV-13",
        "INV-21"
      ],
      "closesDefect": [
        "D21"
      ],
      "expectedCode": "EMLND11_E_MAINTENANCE_SCOPE_EXCEEDED",
      "canonicalId": "EM-LND-11-FX-099"
    },
    {
      "id": "EM-LND-11-FX-100",
      "target": "publication-gate",
      "kind": "negative",
      "input": "A hold states that fixtures are absent while fixtures.json contains cases.",
      "expect": "Rejected; the hold must state fixtures specified and not executed.",
      "violates": [
        "INV-21"
      ],
      "closesDefect": [
        "D21",
        "D27"
      ],
      "expectedCode": "EMLND11_E_STALE_HOLD",
      "canonicalId": "EM-LND-11-FX-100"
    },
    {
      "id": "EM-LND-11-FX-101",
      "target": "publication-gate",
      "kind": "negative",
      "input": "A hold states that independent Grok review is pending while grok-study.raw.md is frozen evidence.",
      "expect": "Rejected; the hold must state the review received and reconciled, with remaining holds unchanged.",
      "violates": [
        "INV-21",
        "INV-22"
      ],
      "closesDefect": [
        "D21",
        "D26"
      ],
      "expectedCode": "EMLND11_E_STALE_HOLD",
      "canonicalId": "EM-LND-11-FX-101"
    },
    {
      "id": "EM-LND-11-FX-102",
      "target": "publication-gate",
      "kind": "positive",
      "input": "publicationHolds enumerates missing masters, registry conflicts, maintenance scope, pin divergence, absent crosswalks, unexecuted fixtures and single-provider bases.",
      "expect": "Accepted; all seven holds disclosed and no readiness claimed.",
      "violates": [],
      "closesDefect": [
        "D21"
      ],
      "canonicalId": "EM-LND-11-FX-102"
    },
    {
      "id": "EM-LND-11-FX-103",
      "target": "publication-gate",
      "kind": "negative",
      "input": "An artifact reports that the fixture suite passed during this frozen audit.",
      "expect": "Rejected; fixtureExecution is not-executed and no run occurred.",
      "violates": [
        "INV-21",
        "INV-22"
      ],
      "closesDefect": [
        "D21"
      ],
      "expectedCode": "EMLND11_E_UNRUN_FIXTURE_CLAIM",
      "canonicalId": "EM-LND-11-FX-103"
    },
    {
      "id": "EM-LND-11-FX-104",
      "target": "fixtures.json",
      "kind": "negative",
      "input": "A case omits target, violates and closesDefect.",
      "expect": "Rejected against fixtures schema v2 required fields.",
      "violates": [
        "INV-09"
      ],
      "closesDefect": [
        "D22"
      ],
      "expectedCode": "EMLND11_E_FIXTURE_SCHEMA_INCOMPLETE",
      "canonicalId": "EM-LND-11-FX-104"
    },
    {
      "id": "EM-LND-11-FX-105",
      "target": "fixtures.json",
      "kind": "negative",
      "input": "A negative case omits expectedCode.",
      "expect": "Rejected; every negative case declares a stable error code.",
      "violates": [
        "INV-09"
      ],
      "closesDefect": [
        "D22"
      ],
      "expectedCode": "EMLND11_E_MISSING_EXPECTED_CODE",
      "canonicalId": "EM-LND-11-FX-105"
    },
    {
      "id": "EM-LND-11-FX-106",
      "target": "fixtures.json",
      "kind": "negative",
      "input": "One case asserts both delivery acceptance and title transfer from a single scan.",
      "expect": "Rejected; one case asserts one inference so the failing rule is localisable.",
      "violates": [
        "INV-06",
        "INV-09"
      ],
      "closesDefect": [
        "D23"
      ],
      "expectedCode": "EMLND11_E_FIXTURE_CONFLATION",
      "canonicalId": "EM-LND-11-FX-106"
    },
    {
      "id": "EM-LND-11-FX-107",
      "target": "fixtures.json",
      "kind": "positive",
      "input": "The seven original cases, upgraded with canonicalId, target, violates, closesDefect and expectedCode, are validated against schema v2.",
      "expect": "Accepted; all seven conform and retain their original slug ids.",
      "violates": [],
      "closesDefect": [
        "D22",
        "D23"
      ],
      "canonicalId": "EM-LND-11-FX-107"
    },
    {
      "id": "EM-LND-11-FX-108",
      "target": "invariant-registry",
      "kind": "negative",
      "input": "A fixture lists violates INV-99, which is absent from the registry.",
      "expect": "Rejected; every violates entry resolves to a registered invariant.",
      "violates": [
        "INV-09"
      ],
      "closesDefect": [
        "D24"
      ],
      "expectedCode": "EMLND11_E_UNKNOWN_INVARIANT_REF",
      "canonicalId": "EM-LND-11-FX-108"
    },
    {
      "id": "EM-LND-11-FX-109",
      "target": "invariant-registry",
      "kind": "positive",
      "input": "Coverage is computed across the full suite for INV-01 through INV-22.",
      "expect": "Accepted; each of the twenty-two invariants has at least one positive and at least one negative fixture.",
      "violates": [],
      "closesDefect": [
        "D24"
      ],
      "canonicalId": "EM-LND-11-FX-109"
    },
    {
      "id": "EM-LND-11-FX-110",
      "target": "candidate-profile-offline/README.md",
      "kind": "negative",
      "input": "The README omits non-canonical status, the nine gaps and the no-allocation statement.",
      "expect": "Rejected; the delta README must state decision, bases, provenance counts, gaps, holds and absence of readiness claims.",
      "violates": [
        "INV-21"
      ],
      "closesDefect": [
        "D25"
      ],
      "expectedCode": "EMLND11_E_README_UNDERSPECIFIED",
      "canonicalId": "EM-LND-11-FX-110"
    },
    {
      "id": "EM-LND-11-FX-111",
      "target": "checkpoint-manifest.json",
      "kind": "negative",
      "input": "grokPromptStatus remains prepared-unsent-action-time-confirmation-required while grok-study.raw.md is frozen.",
      "expect": "Rejected; status must read sent-response-received-reconciled.",
      "violates": [
        "INV-22"
      ],
      "closesDefect": [
        "D26"
      ],
      "expectedCode": "EMLND11_E_STALE_PROVIDER_STATUS",
      "canonicalId": "EM-LND-11-FX-111"
    },
    {
      "id": "EM-LND-11-FX-112",
      "target": "checkpoint-manifest.json",
      "kind": "negative",
      "input": "A single providerStudy object is retained although two provider studies exist.",
      "expect": "Rejected; providerStudies must be an array holding both studies.",
      "violates": [
        "INV-22"
      ],
      "closesDefect": [
        "D26"
      ],
      "expectedCode": "EMLND11_E_PROVIDER_STUDY_CARDINALITY",
      "canonicalId": "EM-LND-11-FX-112"
    },
    {
      "id": "EM-LND-11-FX-113",
      "target": "checkpoint-manifest.json",
      "kind": "positive",
      "input": "providerStudies holds the Claude entry with recorded settings and the Grok entry with explicit unknown-not-recorded settings and visible-response-only scope.",
      "expect": "Accepted; both studies attributed without fabrication.",
      "violates": [],
      "closesDefect": [
        "D26"
      ],
      "canonicalId": "EM-LND-11-FX-113"
    },
    {
      "id": "EM-LND-11-FX-114",
      "target": "identifier-guard",
      "kind": "negative",
      "input": "The Lot/Batch gap is promoted and given an allocated model identifier in this contour.",
      "expect": "Rejected; the nine gaps stay identifier-unassigned and unpromoted.",
      "violates": [
        "INV-13"
      ],
      "closesDefect": [
        "D29"
      ],
      "expectedCode": "EMLND11_E_GAP_PROMOTION_FORBIDDEN",
      "canonicalId": "EM-LND-11-FX-114"
    },
    {
      "id": "EM-LND-11-FX-115",
      "target": "identifier-guard",
      "kind": "negative",
      "input": "A new catalogue or runtime identifier is allocated for Operations Landscape or Supply Network.",
      "expect": "Rejected; identifierAllocation is none for both classes and allocatedInThisContour is empty.",
      "violates": [
        "INV-13"
      ],
      "closesDefect": [
        "D29"
      ],
      "expectedCode": "EMLND11_E_IDENTIFIER_ALLOCATION_FORBIDDEN",
      "canonicalId": "EM-LND-11-FX-115"
    },
    {
      "id": "EM-LND-11-FX-116",
      "target": "identifier-guard",
      "kind": "positive",
      "input": "All nine gaps are recorded identifierUnassigned true, promoted false, with allocatedInThisContour empty.",
      "expect": "Accepted; reuse confers no identifier.",
      "violates": [],
      "closesDefect": [
        "D29"
      ],
      "canonicalId": "EM-LND-11-FX-116"
    },
    {
      "id": "EM-LND-11-FX-117",
      "target": "correction-lineage",
      "kind": "negative",
      "input": "A correction overwrites an issued declaration revision in place.",
      "expect": "Rejected; corrections append linked successors and issued revisions are immutable.",
      "violates": [
        "INV-10"
      ],
      "closesDefect": [
        "D30"
      ],
      "expectedCode": "EMLND11_E_CORRECTION_NOT_APPENDED",
      "canonicalId": "EM-LND-11-FX-117"
    },
    {
      "id": "EM-LND-11-FX-118",
      "target": "correction-lineage",
      "kind": "negative",
      "input": "A retired identifier is reassigned to a new subject.",
      "expect": "Rejected; identifiers are never reused.",
      "violates": [
        "INV-10"
      ],
      "closesDefect": [
        "D30"
      ],
      "expectedCode": "EMLND11_E_IDENTIFIER_REUSE",
      "canonicalId": "EM-LND-11-FX-118"
    },
    {
      "id": "EM-LND-11-FX-119",
      "target": "correction-lineage",
      "kind": "positive",
      "input": "A correction is appended as a linked successor and the retired revision identifier still resolves.",
      "expect": "Accepted; lineage appended and retired identifier resolvable.",
      "violates": [],
      "closesDefect": [
        "D30"
      ],
      "canonicalId": "EM-LND-11-FX-119"
    }
  ],
  "schemaVersion": 2,
  "contourId": "EM-LND-11",
  "profileRef": "candidate-profile-offline/profile-candidate.json",
  "invariantRegistryRef": "candidate-profile-offline/profile-candidate.json#/invariants",
  "defectRegisterRef": "audit-defects.json#/defects",
  "baseRefsMustResolveIn": "candidate-profile-offline/profile-candidate.json#/bases",
  "requiredCaseFields": [
    "id",
    "canonicalId",
    "target",
    "kind",
    "input",
    "expect",
    "violates",
    "closesDefect"
  ],
  "requiredNegativeCaseFields": [
    "expectedCode"
  ]
}