{
  "format": "vercy-model-allocation-candidate/v1",
  "contourId": "EM-OPS-04",
  "proposedName": "Production Work Order",
  "modelId": null,
  "registryId": null,
  "allocationState": "unassigned",
  "decision": "NEW MODEL (unassigned; no identifier may be allocated by this audit)",
  "canonicalPublishable": false,
  "identityTest": {
    "stableIdentity": "A bounded authorization to manufacture a quantity under pinned definitions remains identifiable independently of plans and execution events.",
    "versionIdentity": "Scope or authority changes create successor authorization revisions while preserving issued history.",
    "independentLifecycle": [
      "draft",
      "released",
      "scheduled",
      "dispatched",
      "inProgress",
      "suspended",
      "completed",
      "closed",
      "cancelled"
    ],
    "mastership": "authorized production control authority"
  },
  "boundary": {
    "owns": [
      "production-order identity",
      "authorized product and quantity",
      "pinned design and manufacturing-plan versions",
      "site and time window",
      "material reservation intent",
      "acceptance criteria",
      "authorization and status history"
    ],
    "references": [
      {
        "target": "WM-OBJ-018",
        "purpose": "Engineering revision",
        "status": "verified-supplied"
      },
      {
        "target": "WM-OBJ-019",
        "purpose": "EBOM baseline",
        "status": "verified-supplied"
      },
      {
        "target": "WM-REC-010",
        "purpose": "Authorization decision",
        "status": "unverified-draft"
      },
      {
        "target": "WM-ORG-016",
        "purpose": "Responsible assignment",
        "status": "unverified-draft"
      }
    ],
    "excludes": [
      "actual transformation",
      "actual consumption",
      "lot identity",
      "as-built composition",
      "manufacturing-plan definition",
      "inventory movement"
    ]
  },
  "objects": {
    "ProductionWorkOrder": {
      "identity": [
        "productionWorkOrderId"
      ],
      "required": [
        "productRef",
        "quantity",
        "planVersionRef",
        "designRevisionRef",
        "ebomBaselineVersionRef",
        "siteRef",
        "decisionRef",
        "status"
      ],
      "optional": [
        "scheduledWindow",
        "acceptanceCriteria",
        "supersedesRef",
        "assertionBasis"
      ],
      "retirement": {
        "retiredAt": "<rfc3339-with-offset>",
        "tombstoneRef": "<string>",
        "reason": "<string>"
      },
      "pinningRule": "planVersionRef, designRevisionRef and ebomBaselineVersionRef must each resolve to an immutable version; unversioned references are rejected."
    }
  },
  "invariants": [
    "An order pins product and quantity.",
    "Quantity carries unit and basis.",
    "Plan and design versions are pinned.",
    "Authorization decision is explicit.",
    "Site and scope are bounded.",
    "Released or closed status never proves execution.",
    "Reservations never prove consumption.",
    "Completion requires external event evidence.",
    "Cancellation preserves issued history.",
    "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"
    ]
  },
  "unresolvedReferences": [
    {
      "targetName": "MBOM / Manufacturing Plan",
      "state": "unassigned-candidate",
      "field": "planVersionRef"
    }
  ],
  "resolutionHold": true
}
