{
  "format": "vercy-model-allocation-candidate/v1",
  "contourId": "EM-DAT-07",
  "proposedName": "Analysis Method",
  "modelId": null,
  "registryId": null,
  "allocationState": "unassigned",
  "decision": "NEW MODEL",
  "canonicalPublishable": false,
  "identityTest": {
    "stableIdentity": "A reusable analysis method persists across studies and owns a governed procedure, assumptions, admissible inputs, permitted output claim kinds and known failure modes.",
    "versionIdentity": "Procedure, estimator, formula, applicability, assumptions, admissible-input contract, permitted output claim kinds or failure-mode changes create immutable method revisions.",
    "independentLifecycle": ["draft", "reviewed", "approved", "effective", "deprecated", "retired"],
    "mastership": "analytical methodology governance authority"
  },
  "boundary": {
    "owns": ["stable reusable method identity", "immutable method revisions", "procedure, estimator or formula", "applicability, assumptions and admissible inputs", "permitted output claim kinds", "known failure modes and validity conditions", "approval, effectiveness and deprecation lineage"],
    "references": [
      {"target": "WM-ACT-034", "purpose": "Reuse generic assessment mechanics for method qualification without importing study applications."},
      {"target": "WM-KNW-007", "purpose": "Express assumptions, validity conditions and known failure modes as governed claims without referencing emitted findings."},
      {"target": "WM-REC-002", "purpose": "Package the immutable method revision specification without transferring method mastership to a report."}
    ],
    "referencedBy": [{"source": "WM-ACT-036", "purpose": "A study pins and applies one effective method revision."}],
    "derivedViews": ["Method-to-study and method-to-finding views are derived solely from study-side pins and are never owned by the method definition."],
    "excludes": ["study identity", "method application, execution, parameters and deviations", "observation and dataset identity", "finding or recommendation claim", "report or decision lifecycle"]
  },
  "objects": {
    "AnalysisMethod": {"identity": ["analysisMethodId"], "required": ["name", "ownerRef", "status", "currentRevisionRef"], "optional": ["successorRef"], "lifecycle": ["draft", "reviewed", "approved", "effective", "deprecated", "retired"]},
    "AnalysisMethodRevision": {"identity": ["analysisMethodId", "revision"], "required": ["procedureOrEstimator", "applicability", "assumptions", "admissibleInputs", "permittedOutputClaimKinds", "validityConditions", "knownFailureModes", "contentDigest", "effectiveFrom"], "optional": ["effectiveTo", "supersedesRevision", "softwareRequirements"]}
  },
  "lifecycleSemantics": {
    "approved": "Definition-quality review is discharged; the revision is not yet pin-eligible.",
    "effective": "The sole state eligible for new study pins.",
    "deprecated": "New pins are forbidden; existing pins and issued outputs remain valid.",
    "retired": "New pins are forbidden; existing pins remain valid and dependants are flagged for review.",
    "transitionRule": "State transitions are not revisions and never rewrite or invalidate issued studies, findings or reports."
  },
  "invariants": [
    "Method definition and method application remain distinct.",
    "Every study application pins one immutable effective method revision.",
    "The method definition owns no references to studies or findings.",
    "Study-owned parameters, software, environment and deviations never become method-definition facts.",
    "Definition changes and lifecycle transitions never retroactively alter issued studies.",
    "A finding claim kind must be both permitted by the method revision and admitted by the study-level gate.",
    "Validity conditions classify deviations; known failure modes feed competing-explanation analysis.",
    "Retired method identifiers and revisions remain resolvable and are never recycled."
  ],
  "holds": ["Registry allocation is pending and no identifier may be guessed.", "Sample and dataset identity required by finding pins are outside this allocation candidate.", "Conflict-link, defeater, successor and other relation contracts remain incomplete.", "Source pins, crosswalks and executable fixtures remain pending."]
}