{
  "format": "vercy-enterprise-allocation-fixtures/v1",
  "candidateName": "Procedure Definition",
  "cases": [
    {
      "id": "version-pinned-execution",
      "kind": "positive",
      "covers": [
        "I01",
        "I02",
        "I03"
      ],
      "input": "An engagement performs ProcedureVersion P2.1 against CriteriaVersion C4.2 and the method later changes.",
      "expect": "Execution remains pinned to v2.1; successor governs future work."
    },
    {
      "id": "sampling-frame-gap",
      "kind": "positive",
      "covers": [
        "I05",
        "I08"
      ],
      "input": "Population 430, frame 412.",
      "expect": "18 unreachable units are a limitation; no unsupported extrapolation."
    },
    {
      "id": "independent-retest",
      "kind": "positive",
      "covers": [
        "I10",
        "P09",
        "P10"
      ],
      "input": "Action completes and an independent retest satisfies the same criteria and cell.",
      "expect": "Task closes first; finding closes only after retest decision."
    },
    {
      "id": "two-process-one-excluded-site",
      "kind": "positive",
      "covers": [
        "P01",
        "P02",
        "P03",
        "P06"
      ],
      "input": "Engagement covers A and B at Site Y, excludes Site X, and tests A/Y only.",
      "expect": "Opinion is limited to tested A/Y and lists X exclusion plus B frame gap."
    },
    {
      "id": "performed-test-new-definition",
      "kind": "negative",
      "covers": [
        "I01",
        "I12"
      ],
      "input": "Every test mints a reusable definition.",
      "expect": "Rejected as duplicate identity."
    },
    {
      "id": "task-closes-finding",
      "kind": "negative",
      "covers": [
        "I10",
        "P09"
      ],
      "input": "Task completion closes the finding.",
      "expect": "Rejected without independent retest."
    },
    {
      "id": "opinion-general-compliance",
      "kind": "negative",
      "covers": [
        "I08",
        "P06"
      ],
      "input": "Scoped opinion becomes group-wide compliance.",
      "expect": "Rejected."
    },
    {
      "id": "management-response-is-action",
      "kind": "negative",
      "covers": [
        "P07",
        "P08"
      ],
      "input": "Management acceptance is corrective action.",
      "expect": "Rejected."
    },
    {
      "id": "same-actor-retest",
      "kind": "negative",
      "covers": [
        "P09",
        "P10"
      ],
      "input": "Corrective-action actor performs closure retest.",
      "expect": "Rejected as non-independent."
    },
    {
      "id": "execution-outscopes-engagement",
      "kind": "negative",
      "covers": [
        "P03"
      ],
      "input": "Execution adds excluded Site X.",
      "expect": "Rejected."
    },
    {
      "id": "missing-sampling-cell",
      "kind": "negative",
      "covers": [
        "I05",
        "I06"
      ],
      "input": "Evidence lacks process-site-unit cell.",
      "expect": "Rejected; evidence cannot support a finding."
    },
    {
      "id": "observation-is-finding",
      "kind": "negative",
      "covers": [
        "I06",
        "I07"
      ],
      "input": "Observation automatically creates finding.",
      "expect": "Rejected; criteria, evidence and evaluation required."
    },
    {
      "id": "finding-issue-identity-merge",
      "kind": "negative",
      "covers": [
        "P05",
        "P08"
      ],
      "input": "Finding key is reused as Issue identity.",
      "expect": "Rejected."
    },
    {
      "id": "criteria-changed-on-retest",
      "kind": "negative",
      "covers": [
        "P09"
      ],
      "input": "Retest changes criteria and closes original finding.",
      "expect": "Closure of the original finding is rejected; changed criteria create a new finding on a new adjudicated path."
    },
    {
      "id": "opinion-omits-gap",
      "kind": "negative",
      "covers": [
        "P06"
      ],
      "input": "Opinion omits excluded site or frame gap.",
      "expect": "Rejected."
    },
    {
      "id": "profile-cascade-delete",
      "kind": "negative",
      "covers": [
        "P12"
      ],
      "input": "Deleting binding deletes finding or engagement.",
      "expect": "Rejected."
    },
    {
      "id": "single-criteria-binding",
      "kind": "negative",
      "covers": [
        "I16"
      ],
      "input": "Test pins criteria differing from engagement binding.",
      "expect": "Rejected."
    },
    {
      "id": "criteria-pin-before-evaluation",
      "kind": "positive",
      "covers": [
        "I02",
        "I16"
      ],
      "input": "Criteria binding is pinned before evaluation.",
      "expect": "Accepted; later changes do not requalify evidence."
    },
    {
      "id": "procedure-step-asserts-criterion",
      "kind": "negative",
      "covers": [
        "I13"
      ],
      "input": "Procedure step is stored as criterion.",
      "expect": "Rejected."
    },
    {
      "id": "definition-level-approval-only",
      "kind": "negative",
      "covers": [
        "I03"
      ],
      "input": "Definition is approved without approved version.",
      "expect": "Rejected; approval is version-only."
    },
    {
      "id": "overlapping-effective-versions",
      "kind": "negative",
      "covers": [
        "I14"
      ],
      "input": "Two versions effective simultaneously.",
      "expect": "Rejected."
    },
    {
      "id": "missing-version-authorization",
      "kind": "negative",
      "covers": [
        "I15"
      ],
      "input": "Effective version lacks approver or approvedAt.",
      "expect": "Rejected."
    },
    {
      "id": "withdrawn-version-new-pin",
      "kind": "negative",
      "covers": [
        "I15"
      ],
      "input": "New test pins withdrawn version.",
      "expect": "Rejected; completed pins remain valid."
    },
    {
      "id": "superseded-version-resolvable",
      "kind": "positive",
      "covers": [
        "I11",
        "I14"
      ],
      "input": "Issued finding cites superseded version.",
      "expect": "Version remains immutable and resolvable."
    },
    {
      "id": "procedure-holds-engagement-fact",
      "kind": "negative",
      "covers": [
        "I04"
      ],
      "input": "Procedure stores engagement scope/opinion/closure.",
      "expect": "Rejected."
    },
    {
      "id": "sampling-record-incomplete",
      "kind": "negative",
      "covers": [
        "I17"
      ],
      "input": "Sampling lacks size, method version or deviations.",
      "expect": "Rejected."
    },
    {
      "id": "projection-claim-none",
      "kind": "positive",
      "covers": [
        "I17"
      ],
      "input": "Sample supports no projection and records none.",
      "expect": "Accepted."
    },
    {
      "id": "sampling-method-outside-vocabulary",
      "kind": "negative",
      "covers": [
        "I17"
      ],
      "input": "Unknown method code used.",
      "expect": "Rejected."
    },
    {
      "id": "evidence-item-multi-test-reuse",
      "kind": "positive",
      "covers": [
        "I18"
      ],
      "input": "One item referenced by two tests with distinct cell bindings.",
      "expect": "Accepted without duplicating item identity."
    },
    {
      "id": "finding-identity-stable-across-retest",
      "kind": "negative",
      "covers": [
        "I19"
      ],
      "input": "Retest mints new identity for same finding.",
      "expect": "Rejected."
    },
    {
      "id": "duplicate-finding-key-in-engagement",
      "kind": "negative",
      "covers": [
        "I19"
      ],
      "input": "Finding key reused in engagement.",
      "expect": "Rejected."
    },
    {
      "id": "opinion-supersession-identity",
      "kind": "positive",
      "covers": [
        "P06",
        "P16"
      ],
      "input": "Opinion is superseded.",
      "expect": "New issuance references immutable predecessor."
    },
    {
      "id": "opinion-missing-period-or-level",
      "kind": "negative",
      "covers": [
        "P06"
      ],
      "input": "Opinion omits period, level, modification or use restriction.",
      "expect": "Rejected."
    },
    {
      "id": "closure-by-unauthorized-party",
      "kind": "negative",
      "covers": [
        "P10",
        "P15"
      ],
      "input": "Corrective actor, management or retest executor closes finding.",
      "expect": "Rejected."
    },
    {
      "id": "successor-cell-unauthorized",
      "kind": "negative",
      "covers": [
        "P09",
        "P15"
      ],
      "input": "Successor cell lacks authority and equivalence rationale.",
      "expect": "Rejected."
    },
    {
      "id": "management-response-mastership",
      "kind": "negative",
      "covers": [
        "P07",
        "P14"
      ],
      "input": "Response stored as WM-ACT-006 action or finding attribute.",
      "expect": "Rejected."
    },
    {
      "id": "root-cause-undetermined",
      "kind": "positive",
      "covers": [
        "I20"
      ],
      "input": "Evidence supports conclusion status undetermined.",
      "expect": "Accepted without changing finding identity."
    },
    {
      "id": "timestamp-collapse",
      "kind": "negative",
      "covers": [
        "I21"
      ],
      "input": "Observation time reused as issuance/ingestion time.",
      "expect": "Rejected."
    },
    {
      "id": "issued-artifact-in-place-edit",
      "kind": "negative",
      "covers": [
        "P11"
      ],
      "input": "Issued artifact edited in place.",
      "expect": "Rejected; append successor."
    },
    {
      "id": "withdrawal-without-reason",
      "kind": "negative",
      "covers": [
        "P11",
        "P16"
      ],
      "input": "Withdrawal lacks reason or authority.",
      "expect": "Rejected."
    },
    {
      "id": "merged-audit-root",
      "kind": "negative",
      "covers": [
        "P04"
      ],
      "input": "Third root claims engagement and execution.",
      "expect": "Rejected."
    },
    {
      "id": "independence-competence-separate-records",
      "kind": "negative",
      "covers": [
        "I09",
        "P10"
      ],
      "input": "One attestation covers competence and independence.",
      "expect": "Rejected; separate records required."
    },
    {
      "id": "engagement-closed-execution-resolvable",
      "kind": "positive",
      "covers": [
        "P03",
        "P11"
      ],
      "input": "Engagement closes.",
      "expect": "No new activity; records remain resolvable."
    },
    {
      "id": "issued-report-master",
      "kind": "negative",
      "covers": [
        "P13"
      ],
      "input": "Report mastered outside WM-ECO-035 or duplicates opinion.",
      "expect": "Rejected."
    },
    {
      "id": "acceptance-end-to-end",
      "kind": "positive",
      "covers": [
        "I16",
        "I17",
        "P06",
        "P09",
        "P15"
      ],
      "input": "Criteria C2.1, Procedure P3.4, Process A frame 412/430, Site 3 excluded, F-1 to I-7 to CA-1 to independent R-1.",
      "expect": "Closure by issuance authority only; opinion lists exclusion and frame gap."
    }
  ]
}