{
  "format": "vercy-model-allocation-candidate/v1",
  "contourId": "EM-PRD-04",
  "proposedName": "Reusable Experiment Design",
  "modelId": null,
  "registryId": null,
  "allocationState": "unassigned",
  "decision": "NEW MODEL",
  "canonicalPublishable": false,
  "identityTest": {
    "stableIdentity": "An independently governed experimental design remains identifiable across studies and runs while its protocol evolves through controlled releases.",
    "versionIdentity": "Changes to questions, outcomes, methods, assignment, analysis intent, success criteria or stopping rules create immutable design versions; a different experimental objective creates a separate design.",
    "independentLifecycle": [
      "draft",
      "reviewed",
      "approved",
      "effective",
      "superseded",
      "withdrawn",
      "retired"
    ],
    "mastership": "research-method or experimental-protocol authority"
  },
  "boundary": {
    "owns": [
      "persistent reusable experiment-design identity",
      "research questions and intended outcomes",
      "method and assignment specification",
      "analysis intent and estimands",
      "success, failure and stopping rules",
      "applicability and prerequisite constraints",
      "approval and effective period",
      "version, supersession and retirement history"
    ],
    "references": [
      {
        "target": "WM-ACT-036",
        "purpose": "Research Study aggregate"
      },
      {
        "target": "WM-ACT-022",
        "purpose": "Experiment Run occurrence"
      },
      {
        "target": "WM-KNW-009",
        "purpose": "Hypothesis master"
      },
      {
        "target": "WM-KNW-007",
        "purpose": "Research claim or finding"
      },
      {
        "target": "WM-KNW-008",
        "purpose": "Evidence binding"
      },
      {
        "target": "WM-DAT-001",
        "purpose": "Input and result dataset"
      },
      {
        "target": "WM-MAT-008",
        "purpose": "Observation master"
      }
    ],
    "excludes": [
      "study, hypothesis, run, attempt or observation identity",
      "dataset, analysis execution or finding identity",
      "study-scoped one-off protocol component",
      "run configuration, environment or randomness values",
      "evidence artifact or citation identity",
      "truth, reproducibility or publication claim"
    ]
  },
  "objects": {
    "ReusableExperimentDesign": {
      "identity": [
        "experimentDesignId"
      ],
      "required": [
        "name",
        "objective",
        "ownerRef",
        "status"
      ],
      "optional": [
        "successorRef",
        "retiredAt"
      ],
      "lifecycle": [
        "draft",
        "reviewed",
        "approved",
        "effective",
        "superseded",
        "withdrawn",
        "retired"
      ]
    },
    "DesignVersion": {
      "identity": [
        "experimentDesignId",
        "version"
      ],
      "required": [
        "questions",
        "outcomes",
        "method",
        "analysisIntent",
        "designSuccessCriteriaRef",
        "designStoppingRulesRef",
        "validFrom",
        "contentDigest",
        "digestCanonicalization",
        "status"
      ],
      "optional": [
        "assignmentMethod",
        "applicability",
        "prerequisites",
        "validTo",
        "supersedesVersion",
        "derivedFromStudyReleaseRef",
        "retiredAt"
      ],
      "lifecycle": [
        "draft",
        "reviewed",
        "approved",
        "effective",
        "superseded",
        "withdrawn",
        "retired"
      ],
      "digestCanonicalization": "Canonical JSON over questions, outcomes, method, analysisIntent, designSuccessCriteriaRef and designStoppingRulesRef using declared algorithm."
    },
    "DesignVersionStatusEvent": {
      "identity": [
        "experimentDesignId",
        "version",
        "statusEventId"
      ],
      "required": [
        "status",
        "assertedAt",
        "actorRef",
        "authorityRef"
      ],
      "closedEnums": {
        "status": [
          "reviewed",
          "approved",
          "effective",
          "superseded",
          "withdrawn",
          "retired"
        ]
      }
    }
  },
  "invariants": [
    "Reusable design identity remains separate from study-scoped release, run and finding identity.",
    "Promotion creates a new reusable identity only with derivedFromStudyReleaseRef; prior run pins remain on the predecessor.",
    "Every run pins one immutable design version through a typed master discriminator.",
    "Changing outcomes, method, analysis intent, success criteria or stopping rules changes the canonical digest and requires a successor version.",
    "WM-KNW-009 masters preregistered success and stopping criteria; design fields reference them and conflict creates a preregistration deviation.",
    "Design version content is immutable; reviewed, approved, effective, superseded, withdrawn and retired are append-only status events.",
    "validTo accompanies superseded or retired state and historical pins remain resolvable.",
    "A design never owns run inputs, code, configuration, environment or randomness.",
    "Planned-versus-executed differences append to the run and never mutate the design release.",
    "Run success never proves design validity or reproducibility.",
    "Observation, dataset, analysis execution and finding remain separate assertions.",
    "Missing, zero, censored, no-effect, null and inconclusive remain distinct.",
    "Negative and failed outcomes never delete or retire the design automatically."
  ],
  "holds": [
    "Registry allocation remains pending; no identifier is guessed.",
    "WM-ACT-022 adoption and relation contracts require canonical reconciliation.",
    "Method, evidence and dataset crosswalks require validation.",
    "Grok is reconciled and the single frozen audit is spent and remediated without rerun."
  ],
  "invariantRules": [
    "Reusable design identity remains separate from study-scoped release, run and finding identity.",
    "Promotion creates a new reusable identity only with derivedFromStudyReleaseRef; prior run pins remain on the predecessor.",
    "Every run pins one immutable design version through a typed master discriminator.",
    "Changing outcomes, method, analysis intent, success criteria or stopping rules changes the canonical digest and requires a successor version.",
    "WM-KNW-009 masters preregistered success and stopping criteria; design fields reference them and conflict creates a preregistration deviation.",
    "Design version content is immutable; reviewed, approved, effective, superseded, withdrawn and retired are append-only status events.",
    "validTo accompanies superseded or retired state and historical pins remain resolvable.",
    "A design never owns run inputs, code, configuration, environment or randomness.",
    "Planned-versus-executed differences append to the run and never mutate the design release.",
    "Run success never proves design validity or reproducibility.",
    "Observation, dataset, analysis execution and finding remain separate assertions.",
    "Missing, zero, censored, no-effect, null and inconclusive remain distinct.",
    "Negative and failed outcomes never delete or retire the design automatically."
  ]
}