{
  "format": "vercy-model-allocation-candidate/v1",
  "contourId": "EM-OPS-04",
  "proposedName": "Actual Transformation Event",
  "modelId": null,
  "registryId": null,
  "allocationState": "unassigned",
  "decision": "NEW MODEL (unassigned; no identifier may be allocated by this audit)",
  "canonicalPublishable": false,
  "identityTest": {
    "stableIdentity": "An actual material or assembly transformation occurrence remains identifiable independently of plans, work orders, lots and resulting items.",
    "versionIdentity": "Corrections append attributable revisions while preserving the original occurrence and evidence.",
    "independentLifecycle": [
      "recorded",
      "verified",
      "accepted",
      "rejected",
      "corrected",
      "voided",
      "superseded",
      "closed"
    ],
    "mastership": "authorized production execution recorder"
  },
  "boundary": {
    "owns": [
      "transformation-event identity",
      "actual time and location",
      "input and output quantities",
      "consumption and production facts",
      "agent and equipment bindings",
      "process evidence",
      "correction history"
    ],
    "references": [
      {
        "target": "WM-OBJ-001",
        "purpose": "Physical inputs and outputs",
        "status": "verified-supplied"
      },
      {
        "target": "WM-OBJ-002",
        "purpose": "Product types",
        "status": "verified-supplied"
      },
      {
        "target": "WM-MAT-008",
        "purpose": "Process observations",
        "status": "unverified-draft"
      },
      {
        "target": "WM-KNW-008",
        "purpose": "Evidence citation",
        "status": "unverified-draft"
      },
      {
        "target": "WM-FLW-013",
        "purpose": "Genealogy edge must cite an actual event with evidence",
        "status": "verified-supplied"
      }
    ],
    "excludes": [
      "manufacturing-plan definition",
      "production authorization",
      "lot master",
      "item master",
      "as-built projection",
      "inventory balance"
    ]
  },
  "objects": {
    "TransformationEvent": {
      "identity": [
        "transformationEventId"
      ],
      "required": [
        "eventTime",
        "recordedAt",
        "locationRef",
        "inputs",
        "outputs",
        "status",
        "assertionBasis"
      ],
      "optional": [
        "workOrderRef",
        "agentRefs",
        "equipmentRefs",
        "evidenceRefs",
        "supersedesRef",
        "ingestedAt",
        "correctedAt"
      ],
      "retirement": {
        "retiredAt": "<rfc3339-with-offset>",
        "tombstoneRef": "<string>",
        "reason": "<string>"
      },
      "conditionalRequired": [
        {
          "when": "status in [corrected,superseded]",
          "require": [
            "supersedesRef",
            "correctedAt",
            "correctionAuthorityRef"
          ]
        },
        {
          "when": "status == voided",
          "require": [
            "voidReason",
            "voidAuthorityRef",
            "originalRetained"
          ]
        }
      ],
      "immutability": {
        "originalOccurrence": "never-mutated",
        "voidedRecords": "retained"
      }
    }
  },
  "invariants": [
    "Event identity is distinct from authorization.",
    "Inputs and outputs are explicit.",
    "Quantities carry unit and basis.",
    "Actual time differs from planned time.",
    "Consumption ends or reduces input state explicitly.",
    "Outputs receive distinct identities or lot bindings.",
    "Evidence is attributable.",
    "Corrections and voids append attributable successors; originals and their evidence are retained and remain resolvable.",
    "Plans never substitute for actual events.",
    "Missing evidence remains explicitly unknown and never defaults to zero, absent or not-applicable.",
    "Identifiers are never reused; retirement writes a tombstone and the retired identifier stays resolvable."
  ],
  "holds": [
    "Registry allocation is pending and no identifier may be guessed.",
    "Independent Grok review and one frozen semantic audit are pending.",
    "Base specifications and approved relations remain incomplete.",
    "Package conversion and live verification are pending.",
    "WM-OBJ-019 to WM-OBJ-002 is simultaneously asserted as parent, COMPOSE and REFERENCE; unresolved.",
    "WM-OBJ-018 as child of WM-OBJ-002 conflicts with its own required REFERENCE boundary; unresolved.",
    "WM-SFT-012 and WM-SFT-008 claim CHILD of WM-SFT-007 while the ledger records REFERENCE or no edge; unresolved.",
    "WM-OBJ-012, WM-OBJ-020, WM-OBJ-021, WM-OBJ-022 and WM-ACT-015 are dangling relation targets.",
    "CLASSIFIES is absent from the relation enum; WM-OBJ-017 expresses it as REFERENCE, diverging from the relations ledger.",
    "WM-ACT-007 is maintenance-scoped with unresolved K11 duplication."
  ],
  "promotionBlocked": true,
  "identifierAllocationBlocked": true,
  "publicationHold": true,
  "decisionEnum": "NEW_MODEL_UNASSIGNED",
  "sharedShapes": {
    "Quantity": {
      "value": "<decimal-string|null>",
      "unitCode": "<string>",
      "unitCodeListRef": "<string>",
      "unitCodeListVersion": "<string>",
      "basis": "per-each|per-parent-assembly|per-batch|per-unit-length|per-unit-mass|per-unit-volume|per-operation",
      "basisParentQuantity": {
        "value": "<decimal-string>",
        "unitCode": "<string>"
      },
      "rounding": "none|half-up|half-even|ceil|floor",
      "unknownReason": "null|unknown|not-applicable|withheld"
    },
    "AssertionBasis": "declared|observed|inferred",
    "Timestamp": "<rfc3339-with-mandatory-explicit-offset>"
  },
  "sharedRules": [
    "Quantity.value and Quantity.unknownReason are mutually exclusive and exactly one is non-null.",
    "Zero never denotes unknown, not-applicable or withheld.",
    "Declared, observed and inferred assertions never merge and never overwrite one another.",
    "Event, effective, observation, record, posting, ingestion, publication and correction times are distinct fields and never collapse."
  ],
  "enums": {
    "referenceStatus": [
      "verified-supplied",
      "unverified-draft",
      "dangling",
      "unassigned-candidate"
    ]
  }
}