@fabricorg/archetypes 0.2.0 → 1.0.0

package/CHANGELOG.md

@@ -1,5 +1,23 @@
 # @fabricorg/archetypes
 
+## 1.0.0
+
+### Major Changes
+
+- Require the Platform 0.12 semantic manifest contracts.
+
+## 0.2.1
+
+### Patch Changes
+
+- Close final uplift audit gaps: align Host 2.x documentation and migration evidence, surface every
+  compiler/generator API to LLM consumers, make memory outbox egress directly usable, sanitize relay
+  failures, validate complete archetype state maps, support recursive JSON Schema generation, reject
+  cross-platform path traversal, synchronize artifact version stamps, and include package licenses.
+- Consume Platform as a peer dependency so applications keep a single copy of the public contracts.
+- Updated dependencies
+  - @fabricorg/platform@0.11.1
+
 ## 0.2.0
 
 ### Minor Changes

package/dist/index.cjs

@@ -118,6 +118,10 @@ function validateObject(manifest, objectType) {
     findings.push({ code: "missing_state_machine", objectType: objectType.type, message: `Object "${objectType.type}" needs a state machine for archetype conformance.` });
     return { conforms: false, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };
   }
+  const declaredStates = new Set(machine.states.map((state) => state.id));
+  for (const state of Object.keys(reference.stateMap)) {
+    if (!declaredStates.has(state)) findings.push({ code: "unknown_mapped_state", objectType: objectType.type, state, message: `State mapping "${state}" does not name a declared state.` });
+  }
   for (const state of machine.states) {
     const mapped = reference.stateMap[state.id];
     if (!mapped) {

package/dist/index.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../index.ts"],"sourcesContent":["import {\n\texportModuleManifest,\n\ttype FabricModule,\n\ttype JsonValue,\n\ttype ModuleManifest,\n\ttype ModuleManifestObjectType,\n\ttype StateClass,\n} from \"@fabricorg/platform\";\n\nexport const ARCHETYPE_SEMANTIC_KEY = \"fabric.archetype\" as const;\n\nexport type ArchetypeId =\n\t| \"fabric.Party\"\n\t| \"fabric.Offering\"\n\t| \"fabric.Agreement\"\n\t| \"fabric.Resource\"\n\t| \"fabric.Activity\"\n\t| \"fabric.Settlement\";\n\nexport interface ArchetypeReference {\n\tid: ArchetypeId;\n\tversion: string;\n\tstateMap: Record<string, string>;\n}\n\nexport interface ArchetypeState {\n\tid: string;\n\tstateClass: StateClass;\n}\n\nexport interface ArchetypeTransition {\n\tfrom: string;\n\tto: string;\n\trequired?: boolean;\n}\n\nexport interface ArchetypeDefinition {\n\tid: ArchetypeId;\n\tversion: string;\n\tdescription: string;\n\tstates: Record<string, ArchetypeState>;\n\ttransitions: ArchetypeTransition[];\n\tobligations: string[];\n}\n\nexport type ConformanceFindingCode =\n\t| \"invalid_annotation\"\n\t| \"unknown_archetype\"\n\t| \"unsupported_archetype_version\"\n\t| \"missing_state_machine\"\n\t| \"unmapped_state\"\n\t| \"unknown_archetype_state\"\n\t| \"incompatible_state_class\"\n\t| \"transition_not_permitted\"\n\t| \"exception_transition_unguarded\"\n\t| \"required_transition_unreachable\";\n\nexport interface ConformanceFinding {\n\tcode: ConformanceFindingCode;\n\tmessage: string;\n\tobjectType: string;\n\tstate?: string;\n\ttarget?: string;\n}\n\nexport interface ArchetypeConformanceReport {\n\tconforms: boolean;\n\tobjectType: string;\n\tarchetype?: string;\n\tfindings: ConformanceFinding[];\n}\n\nexport interface ManifestConformanceAdapter {\n\tid: string;\n\tevaluate(manifest: ModuleManifest): ArchetypeConformanceReport[];\n}\n\nconst states = (definitions: Array<[string, StateClass]>): Record<string, ArchetypeState> =>\n\tObject.fromEntries(definitions.map(([id, stateClass]) => [id, { id, stateClass }]));\n\nexport const ARCHETYPES: Readonly<Record<ArchetypeId, ArchetypeDefinition>> = {\n\t\"fabric.Party\": {\n\t\tid: \"fabric.Party\", version: \"0.1\", description: \"A person or organization participating in business relationships.\",\n\t\tstates: states([[\"prospective\", \"initial\"], [\"active\", \"active\"], [\"inactive\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"prospective\", to: \"active\", required: true }, { from: \"active\", to: \"inactive\" }, { from: \"prospective\", to: \"exception\" }, { from: \"active\", to: \"exception\" }],\n\t\tobligations: [\"identity is tenant-scoped\", \"participation is attributable\"],\n\t},\n\t\"fabric.Offering\": {\n\t\tid: \"fabric.Offering\", version: \"0.1\", description: \"Something a party makes available under defined terms.\",\n\t\tstates: states([[\"available\", \"active\"], [\"retired\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"available\", to: \"retired\" }, { from: \"available\", to: \"exception\" }],\n\t\tobligations: [\"terms are identifiable\", \"availability is explicit\"],\n\t},\n\t\"fabric.Agreement\": {\n\t\tid: \"fabric.Agreement\", version: \"0.1\", description: \"A governed commitment between parties.\",\n\t\tstates: states([[\"proposed\", \"initial\"], [\"committed\", \"active\"], [\"resolved\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"proposed\", to: \"committed\", required: true }, { from: \"committed\", to: \"resolved\", required: true }, { from: \"proposed\", to: \"exception\" }, { from: \"committed\", to: \"exception\" }],\n\t\tobligations: [\"participating parties are attributable\", \"commitment and resolution are auditable\"],\n\t},\n\t\"fabric.Resource\": {\n\t\tid: \"fabric.Resource\", version: \"0.1\", description: \"A capacity or asset allocated by activities.\",\n\t\tstates: states([[\"available\", \"initial\"], [\"allocated\", \"active\"], [\"retired\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"available\", to: \"allocated\", required: true }, { from: \"allocated\", to: \"available\" }, { from: \"available\", to: \"retired\" }, { from: \"allocated\", to: \"exception\" }],\n\t\tobligations: [\"allocation is identifiable\", \"conflicting allocation is governed\"],\n\t},\n\t\"fabric.Activity\": {\n\t\tid: \"fabric.Activity\", version: \"0.1\", description: \"Work planned and performed toward an outcome.\",\n\t\tstates: states([[\"planned\", \"initial\"], [\"executing\", \"active\"], [\"waiting\", \"waiting\"], [\"completed\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"planned\", to: \"executing\", required: true }, { from: \"executing\", to: \"waiting\" }, { from: \"waiting\", to: \"executing\" }, { from: \"executing\", to: \"completed\", required: true }, { from: \"waiting\", to: \"completed\" }, { from: \"planned\", to: \"exception\" }, { from: \"executing\", to: \"exception\" }, { from: \"waiting\", to: \"exception\" }],\n\t\tobligations: [\"responsible party is attributable\", \"resource use and outcome are auditable\"],\n\t},\n\t\"fabric.Settlement\": {\n\t\tid: \"fabric.Settlement\", version: \"0.1\", description: \"Resolution of value exchange associated with an agreement.\",\n\t\tstates: states([[\"pending\", \"initial\"], [\"settled\", \"terminal\"], [\"reversed\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"pending\", to: \"settled\", required: true }, { from: \"settled\", to: \"reversed\" }, { from: \"pending\", to: \"exception\" }],\n\t\tobligations: [\"value and currency are explicit\", \"settlement is attributable to an agreement\"],\n\t},\n};\n\nexport function archetypeSemantics(reference: ArchetypeReference): Record<string, JsonValue> {\n\treturn { [ARCHETYPE_SEMANTIC_KEY]: reference as unknown as JsonValue };\n}\n\nexport function readArchetypeReference(\n\tobjectType: ModuleManifestObjectType,\n): ArchetypeReference | undefined {\n\tconst value = objectType.semantics?.[ARCHETYPE_SEMANTIC_KEY];\n\tif (value === undefined) return undefined;\n\tif (!value || typeof value !== \"object\" || Array.isArray(value)) return undefined;\n\tconst record = value as Record<string, JsonValue>;\n\tif (typeof record.id !== \"string\" || typeof record.version !== \"string\" || !record.stateMap || typeof record.stateMap !== \"object\" || Array.isArray(record.stateMap)) return undefined;\n\tif (!Object.values(record.stateMap).every((state) => typeof state === \"string\")) return undefined;\n\treturn { id: record.id as ArchetypeId, version: record.version, stateMap: record.stateMap as Record<string, string> };\n}\n\nconst transitionKey = (from: string, to: string) => `${from}->${to}`;\n\nexport function validateArchetypeConformance(\n\tmanifest: ModuleManifest,\n): ArchetypeConformanceReport[] {\n\treturn manifest.objectTypes\n\t\t.filter((objectType) => objectType.semantics?.[ARCHETYPE_SEMANTIC_KEY] !== undefined)\n\t\t.map((objectType) => validateObject(manifest, objectType));\n}\n\nfunction validateObject(\n\tmanifest: ModuleManifest,\n\tobjectType: ModuleManifestObjectType,\n): ArchetypeConformanceReport {\n\tconst findings: ConformanceFinding[] = [];\n\tconst reference = readArchetypeReference(objectType);\n\tif (!reference) {\n\t\tfindings.push({ code: \"invalid_annotation\", objectType: objectType.type, message: `Object \"${objectType.type}\" has an invalid ${ARCHETYPE_SEMANTIC_KEY} annotation.` });\n\t\treturn { conforms: false, objectType: objectType.type, findings };\n\t}\n\tconst definition = ARCHETYPES[reference.id];\n\tif (!definition) {\n\t\tfindings.push({ code: \"unknown_archetype\", objectType: objectType.type, message: `Unknown archetype \"${reference.id}\".` });\n\t\treturn { conforms: false, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };\n\t}\n\tif (reference.version !== definition.version) {\n\t\tfindings.push({ code: \"unsupported_archetype_version\", objectType: objectType.type, message: `Archetype \"${reference.id}\" supports version ${definition.version}, received ${reference.version}.` });\n\t}\n\tconst machine = (manifest.stateMachines ?? []).find((candidate) => candidate.entityType === objectType.type);\n\tif (!machine) {\n\t\tfindings.push({ code: \"missing_state_machine\", objectType: objectType.type, message: `Object \"${objectType.type}\" needs a state machine for archetype conformance.` });\n\t\treturn { conforms: false, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };\n\t}\n\tfor (const state of machine.states) {\n\t\tconst mapped = reference.stateMap[state.id];\n\t\tif (!mapped) {\n\t\t\tfindings.push({ code: \"unmapped_state\", objectType: objectType.type, state: state.id, message: `State \"${state.id}\" is not mapped.` });\n\t\t\tcontinue;\n\t\t}\n\t\tconst base = definition.states[mapped];\n\t\tif (!base) {\n\t\t\tfindings.push({ code: \"unknown_archetype_state\", objectType: objectType.type, state: state.id, target: mapped, message: `State \"${state.id}\" maps to unknown archetype state \"${mapped}\".` });\n\t\t} else if (base.stateClass !== state.stateClass) {\n\t\t\tfindings.push({ code: \"incompatible_state_class\", objectType: objectType.type, state: state.id, target: mapped, message: `State \"${state.id}\" (${state.stateClass}) is incompatible with \"${mapped}\" (${base.stateClass}).` });\n\t\t}\n\t}\n\tconst permitted = new Set(definition.transitions.map((transition) => transitionKey(transition.from, transition.to)));\n\tconst realized = new Set<string>();\n\tfor (const transition of machine.transitions) {\n\t\tconst from = reference.stateMap[transition.from];\n\t\tconst to = reference.stateMap[transition.to];\n\t\tif (!from || !to) continue;\n\t\tif (to === \"exception\" && !transition.hasGuard) {\n\t\t\tfindings.push({ code: \"exception_transition_unguarded\", objectType: objectType.type, state: transition.from, target: transition.to, message: `Exception transition \"${transition.from}\" -> \"${transition.to}\" must declare a governance guard.` });\n\t\t}\n\t\tif (from !== to && !permitted.has(transitionKey(from, to))) {\n\t\t\tfindings.push({ code: \"transition_not_permitted\", objectType: objectType.type, state: transition.from, target: transition.to, message: `Transition \"${transition.from}\" -> \"${transition.to}\" maps to disallowed archetype transition \"${from}\" -> \"${to}\".` });\n\t\t} else if (from !== to) {\n\t\t\trealized.add(transitionKey(from, to));\n\t\t}\n\t}\n\tfor (const required of definition.transitions.filter((transition) => transition.required)) {\n\t\tif (!realized.has(transitionKey(required.from, required.to))) {\n\t\t\tfindings.push({ code: \"required_transition_unreachable\", objectType: objectType.type, state: required.from, target: required.to, message: `Required archetype transition \"${required.from}\" -> \"${required.to}\" is not realized.` });\n\t\t}\n\t}\n\treturn { conforms: findings.length === 0, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };\n}\n\nexport function assertArchetypeConformance(module: FabricModule<unknown>): void {\n\tconst failures = validateArchetypeConformance(exportModuleManifest(module)).filter((report) => !report.conforms);\n\tif (failures.length > 0) {\n\t\tthrow new Error(`Archetype conformance failed:\\n${failures.flatMap((report) => report.findings.map((finding) => `- ${report.objectType}: ${finding.message}`)).join(\"\\n\")}`);\n\t}\n}\n\nexport const archetypeConformanceAdapter: ManifestConformanceAdapter = {\n\tid: \"@fabricorg/archetypes\",\n\tevaluate: validateArchetypeConformance,\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,sBAOO;AAEA,IAAM,yBAAyB;AAoEtC,IAAM,SAAS,CAAC,gBACf,OAAO,YAAY,YAAY,IAAI,CAAC,CAAC,IAAI,UAAU,MAAM,CAAC,IAAI,EAAE,IAAI,WAAW,CAAC,CAAC,CAAC;AAE5E,IAAM,aAAiE;AAAA,EAC7E,gBAAgB;AAAA,IACf,IAAI;AAAA,IAAgB,SAAS;AAAA,IAAO,aAAa;AAAA,IACjD,QAAQ,OAAO,CAAC,CAAC,eAAe,SAAS,GAAG,CAAC,UAAU,QAAQ,GAAG,CAAC,YAAY,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACvH,aAAa,CAAC,EAAE,MAAM,eAAe,IAAI,UAAU,UAAU,KAAK,GAAG,EAAE,MAAM,UAAU,IAAI,WAAW,GAAG,EAAE,MAAM,eAAe,IAAI,YAAY,GAAG,EAAE,MAAM,UAAU,IAAI,YAAY,CAAC;AAAA,IACtL,aAAa,CAAC,6BAA6B,+BAA+B;AAAA,EAC3E;AAAA,EACA,mBAAmB;AAAA,IAClB,IAAI;AAAA,IAAmB,SAAS;AAAA,IAAO,aAAa;AAAA,IACpD,QAAQ,OAAO,CAAC,CAAC,aAAa,QAAQ,GAAG,CAAC,WAAW,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IAC7F,aAAa,CAAC,EAAE,MAAM,aAAa,IAAI,UAAU,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,CAAC;AAAA,IAC1F,aAAa,CAAC,0BAA0B,0BAA0B;AAAA,EACnE;AAAA,EACA,oBAAoB;AAAA,IACnB,IAAI;AAAA,IAAoB,SAAS;AAAA,IAAO,aAAa;AAAA,IACrD,QAAQ,OAAO,CAAC,CAAC,YAAY,SAAS,GAAG,CAAC,aAAa,QAAQ,GAAG,CAAC,YAAY,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACvH,aAAa,CAAC,EAAE,MAAM,YAAY,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,UAAU,KAAK,GAAG,EAAE,MAAM,YAAY,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,CAAC;AAAA,IACzM,aAAa,CAAC,0CAA0C,yCAAyC;AAAA,EAClG;AAAA,EACA,mBAAmB;AAAA,IAClB,IAAI;AAAA,IAAmB,SAAS;AAAA,IAAO,aAAa;AAAA,IACpD,QAAQ,OAAO,CAAC,CAAC,aAAa,SAAS,GAAG,CAAC,aAAa,QAAQ,GAAG,CAAC,WAAW,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACvH,aAAa,CAAC,EAAE,MAAM,aAAa,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,UAAU,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,CAAC;AAAA,IAC1L,aAAa,CAAC,8BAA8B,oCAAoC;AAAA,EACjF;AAAA,EACA,mBAAmB;AAAA,IAClB,IAAI;AAAA,IAAmB,SAAS;AAAA,IAAO,aAAa;AAAA,IACpD,QAAQ,OAAO,CAAC,CAAC,WAAW,SAAS,GAAG,CAAC,aAAa,QAAQ,GAAG,CAAC,WAAW,SAAS,GAAG,CAAC,aAAa,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IAC/I,aAAa,CAAC,EAAE,MAAM,WAAW,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,aAAa,IAAI,UAAU,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,CAAC;AAAA,IAChW,aAAa,CAAC,qCAAqC,wCAAwC;AAAA,EAC5F;AAAA,EACA,qBAAqB;AAAA,IACpB,IAAI;AAAA,IAAqB,SAAS;AAAA,IAAO,aAAa;AAAA,IACtD,QAAQ,OAAO,CAAC,CAAC,WAAW,SAAS,GAAG,CAAC,WAAW,UAAU,GAAG,CAAC,YAAY,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACtH,aAAa,CAAC,EAAE,MAAM,WAAW,IAAI,WAAW,UAAU,KAAK,GAAG,EAAE,MAAM,WAAW,IAAI,WAAW,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,CAAC;AAAA,IAC3I,aAAa,CAAC,mCAAmC,4CAA4C;AAAA,EAC9F;AACD;AAEO,SAAS,mBAAmB,WAA0D;AAC5F,SAAO,EAAE,CAAC,sBAAsB,GAAG,UAAkC;AACtE;AAEO,SAAS,uBACf,YACiC;AACjC,QAAM,QAAQ,WAAW,YAAY,sBAAsB;AAC3D,MAAI,UAAU,OAAW,QAAO;AAChC,MAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,EAAG,QAAO;AACxE,QAAM,SAAS;AACf,MAAI,OAAO,OAAO,OAAO,YAAY,OAAO,OAAO,YAAY,YAAY,CAAC,OAAO,YAAY,OAAO,OAAO,aAAa,YAAY,MAAM,QAAQ,OAAO,QAAQ,EAAG,QAAO;AAC7K,MAAI,CAAC,OAAO,OAAO,OAAO,QAAQ,EAAE,MAAM,CAAC,UAAU,OAAO,UAAU,QAAQ,EAAG,QAAO;AACxF,SAAO,EAAE,IAAI,OAAO,IAAmB,SAAS,OAAO,SAAS,UAAU,OAAO,SAAmC;AACrH;AAEA,IAAM,gBAAgB,CAAC,MAAc,OAAe,GAAG,IAAI,KAAK,EAAE;AAE3D,SAAS,6BACf,UAC+B;AAC/B,SAAO,SAAS,YACd,OAAO,CAAC,eAAe,WAAW,YAAY,sBAAsB,MAAM,MAAS,EACnF,IAAI,CAAC,eAAe,eAAe,UAAU,UAAU,CAAC;AAC3D;AAEA,SAAS,eACR,UACA,YAC6B;AAC7B,QAAM,WAAiC,CAAC;AACxC,QAAM,YAAY,uBAAuB,UAAU;AACnD,MAAI,CAAC,WAAW;AACf,aAAS,KAAK,EAAE,MAAM,sBAAsB,YAAY,WAAW,MAAM,SAAS,WAAW,WAAW,IAAI,oBAAoB,sBAAsB,eAAe,CAAC;AACtK,WAAO,EAAE,UAAU,OAAO,YAAY,WAAW,MAAM,SAAS;AAAA,EACjE;AACA,QAAM,aAAa,WAAW,UAAU,EAAE;AAC1C,MAAI,CAAC,YAAY;AAChB,aAAS,KAAK,EAAE,MAAM,qBAAqB,YAAY,WAAW,MAAM,SAAS,sBAAsB,UAAU,EAAE,KAAK,CAAC;AACzH,WAAO,EAAE,UAAU,OAAO,YAAY,WAAW,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,UAAU,OAAO,IAAI,SAAS;AAAA,EACpH;AACA,MAAI,UAAU,YAAY,WAAW,SAAS;AAC7C,aAAS,KAAK,EAAE,MAAM,iCAAiC,YAAY,WAAW,MAAM,SAAS,cAAc,UAAU,EAAE,sBAAsB,WAAW,OAAO,cAAc,UAAU,OAAO,IAAI,CAAC;AAAA,EACpM;AACA,QAAM,WAAW,SAAS,iBAAiB,CAAC,GAAG,KAAK,CAAC,cAAc,UAAU,eAAe,WAAW,IAAI;AAC3G,MAAI,CAAC,SAAS;AACb,aAAS,KAAK,EAAE,MAAM,yBAAyB,YAAY,WAAW,MAAM,SAAS,WAAW,WAAW,IAAI,qDAAqD,CAAC;AACrK,WAAO,EAAE,UAAU,OAAO,YAAY,WAAW,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,UAAU,OAAO,IAAI,SAAS;AAAA,EACpH;AACA,aAAW,SAAS,QAAQ,QAAQ;AACnC,UAAM,SAAS,UAAU,SAAS,MAAM,EAAE;AAC1C,QAAI,CAAC,QAAQ;AACZ,eAAS,KAAK,EAAE,MAAM,kBAAkB,YAAY,WAAW,MAAM,OAAO,MAAM,IAAI,SAAS,UAAU,MAAM,EAAE,mBAAmB,CAAC;AACrI;AAAA,IACD;AACA,UAAM,OAAO,WAAW,OAAO,MAAM;AACrC,QAAI,CAAC,MAAM;AACV,eAAS,KAAK,EAAE,MAAM,2BAA2B,YAAY,WAAW,MAAM,OAAO,MAAM,IAAI,QAAQ,QAAQ,SAAS,UAAU,MAAM,EAAE,sCAAsC,MAAM,KAAK,CAAC;AAAA,IAC7L,WAAW,KAAK,eAAe,MAAM,YAAY;AAChD,eAAS,KAAK,EAAE,MAAM,4BAA4B,YAAY,WAAW,MAAM,OAAO,MAAM,IAAI,QAAQ,QAAQ,SAAS,UAAU,MAAM,EAAE,MAAM,MAAM,UAAU,2BAA2B,MAAM,MAAM,KAAK,UAAU,KAAK,CAAC;AAAA,IAC9N;AAAA,EACD;AACA,QAAM,YAAY,IAAI,IAAI,WAAW,YAAY,IAAI,CAAC,eAAe,cAAc,WAAW,MAAM,WAAW,EAAE,CAAC,CAAC;AACnH,QAAM,WAAW,oBAAI,IAAY;AACjC,aAAW,cAAc,QAAQ,aAAa;AAC7C,UAAM,OAAO,UAAU,SAAS,WAAW,IAAI;AAC/C,UAAM,KAAK,UAAU,SAAS,WAAW,EAAE;AAC3C,QAAI,CAAC,QAAQ,CAAC,GAAI;AAClB,QAAI,OAAO,eAAe,CAAC,WAAW,UAAU;AAC/C,eAAS,KAAK,EAAE,MAAM,kCAAkC,YAAY,WAAW,MAAM,OAAO,WAAW,MAAM,QAAQ,WAAW,IAAI,SAAS,yBAAyB,WAAW,IAAI,SAAS,WAAW,EAAE,qCAAqC,CAAC;AAAA,IAClP;AACA,QAAI,SAAS,MAAM,CAAC,UAAU,IAAI,cAAc,MAAM,EAAE,CAAC,GAAG;AAC3D,eAAS,KAAK,EAAE,MAAM,4BAA4B,YAAY,WAAW,MAAM,OAAO,WAAW,MAAM,QAAQ,WAAW,IAAI,SAAS,eAAe,WAAW,IAAI,SAAS,WAAW,EAAE,8CAA8C,IAAI,SAAS,EAAE,KAAK,CAAC;AAAA,IAC/P,WAAW,SAAS,IAAI;AACvB,eAAS,IAAI,cAAc,MAAM,EAAE,CAAC;AAAA,IACrC;AAAA,EACD;AACA,aAAW,YAAY,WAAW,YAAY,OAAO,CAAC,eAAe,WAAW,QAAQ,GAAG;AAC1F,QAAI,CAAC,SAAS,IAAI,cAAc,SAAS,MAAM,SAAS,EAAE,CAAC,GAAG;AAC7D,eAAS,KAAK,EAAE,MAAM,mCAAmC,YAAY,WAAW,MAAM,OAAO,SAAS,MAAM,QAAQ,SAAS,IAAI,SAAS,kCAAkC,SAAS,IAAI,SAAS,SAAS,EAAE,qBAAqB,CAAC;AAAA,IACpO;AAAA,EACD;AACA,SAAO,EAAE,UAAU,SAAS,WAAW,GAAG,YAAY,WAAW,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,UAAU,OAAO,IAAI,SAAS;AACpI;AAEO,SAAS,2BAA2BA,SAAqC;AAC/E,QAAM,WAAW,iCAA6B,sCAAqBA,OAAM,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO,QAAQ;AAC/G,MAAI,SAAS,SAAS,GAAG;AACxB,UAAM,IAAI,MAAM;AAAA,EAAkC,SAAS,QAAQ,CAAC,WAAW,OAAO,SAAS,IAAI,CAAC,YAAY,KAAK,OAAO,UAAU,KAAK,QAAQ,OAAO,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;AAAA,EAC5K;AACD;AAEO,IAAM,8BAA0D;AAAA,EACtE,IAAI;AAAA,EACJ,UAAU;AACX;","names":["module"]}
+{"version":3,"sources":["../index.ts"],"sourcesContent":["import {\n\texportModuleManifest,\n\ttype FabricModule,\n\ttype JsonValue,\n\ttype ModuleManifest,\n\ttype ModuleManifestObjectType,\n\ttype StateClass,\n} from \"@fabricorg/platform\";\n\nexport const ARCHETYPE_SEMANTIC_KEY = \"fabric.archetype\" as const;\n\nexport type ArchetypeId =\n\t| \"fabric.Party\"\n\t| \"fabric.Offering\"\n\t| \"fabric.Agreement\"\n\t| \"fabric.Resource\"\n\t| \"fabric.Activity\"\n\t| \"fabric.Settlement\";\n\nexport interface ArchetypeReference {\n\tid: ArchetypeId;\n\tversion: string;\n\tstateMap: Record<string, string>;\n}\n\nexport interface ArchetypeState {\n\tid: string;\n\tstateClass: StateClass;\n}\n\nexport interface ArchetypeTransition {\n\tfrom: string;\n\tto: string;\n\trequired?: boolean;\n}\n\nexport interface ArchetypeDefinition {\n\tid: ArchetypeId;\n\tversion: string;\n\tdescription: string;\n\tstates: Record<string, ArchetypeState>;\n\ttransitions: ArchetypeTransition[];\n\tobligations: string[];\n}\n\nexport type ConformanceFindingCode =\n\t| \"invalid_annotation\"\n\t| \"unknown_archetype\"\n\t| \"unsupported_archetype_version\"\n\t| \"missing_state_machine\"\n\t| \"unmapped_state\"\n\t| \"unknown_mapped_state\"\n\t| \"unknown_archetype_state\"\n\t| \"incompatible_state_class\"\n\t| \"transition_not_permitted\"\n\t| \"exception_transition_unguarded\"\n\t| \"required_transition_unreachable\";\n\nexport interface ConformanceFinding {\n\tcode: ConformanceFindingCode;\n\tmessage: string;\n\tobjectType: string;\n\tstate?: string;\n\ttarget?: string;\n}\n\nexport interface ArchetypeConformanceReport {\n\tconforms: boolean;\n\tobjectType: string;\n\tarchetype?: string;\n\tfindings: ConformanceFinding[];\n}\n\nexport interface ManifestConformanceAdapter {\n\tid: string;\n\tevaluate(manifest: ModuleManifest): ArchetypeConformanceReport[];\n}\n\nconst states = (definitions: Array<[string, StateClass]>): Record<string, ArchetypeState> =>\n\tObject.fromEntries(definitions.map(([id, stateClass]) => [id, { id, stateClass }]));\n\nexport const ARCHETYPES: Readonly<Record<ArchetypeId, ArchetypeDefinition>> = {\n\t\"fabric.Party\": {\n\t\tid: \"fabric.Party\", version: \"0.1\", description: \"A person or organization participating in business relationships.\",\n\t\tstates: states([[\"prospective\", \"initial\"], [\"active\", \"active\"], [\"inactive\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"prospective\", to: \"active\", required: true }, { from: \"active\", to: \"inactive\" }, { from: \"prospective\", to: \"exception\" }, { from: \"active\", to: \"exception\" }],\n\t\tobligations: [\"identity is tenant-scoped\", \"participation is attributable\"],\n\t},\n\t\"fabric.Offering\": {\n\t\tid: \"fabric.Offering\", version: \"0.1\", description: \"Something a party makes available under defined terms.\",\n\t\tstates: states([[\"available\", \"active\"], [\"retired\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"available\", to: \"retired\" }, { from: \"available\", to: \"exception\" }],\n\t\tobligations: [\"terms are identifiable\", \"availability is explicit\"],\n\t},\n\t\"fabric.Agreement\": {\n\t\tid: \"fabric.Agreement\", version: \"0.1\", description: \"A governed commitment between parties.\",\n\t\tstates: states([[\"proposed\", \"initial\"], [\"committed\", \"active\"], [\"resolved\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"proposed\", to: \"committed\", required: true }, { from: \"committed\", to: \"resolved\", required: true }, { from: \"proposed\", to: \"exception\" }, { from: \"committed\", to: \"exception\" }],\n\t\tobligations: [\"participating parties are attributable\", \"commitment and resolution are auditable\"],\n\t},\n\t\"fabric.Resource\": {\n\t\tid: \"fabric.Resource\", version: \"0.1\", description: \"A capacity or asset allocated by activities.\",\n\t\tstates: states([[\"available\", \"initial\"], [\"allocated\", \"active\"], [\"retired\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"available\", to: \"allocated\", required: true }, { from: \"allocated\", to: \"available\" }, { from: \"available\", to: \"retired\" }, { from: \"allocated\", to: \"exception\" }],\n\t\tobligations: [\"allocation is identifiable\", \"conflicting allocation is governed\"],\n\t},\n\t\"fabric.Activity\": {\n\t\tid: \"fabric.Activity\", version: \"0.1\", description: \"Work planned and performed toward an outcome.\",\n\t\tstates: states([[\"planned\", \"initial\"], [\"executing\", \"active\"], [\"waiting\", \"waiting\"], [\"completed\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"planned\", to: \"executing\", required: true }, { from: \"executing\", to: \"waiting\" }, { from: \"waiting\", to: \"executing\" }, { from: \"executing\", to: \"completed\", required: true }, { from: \"waiting\", to: \"completed\" }, { from: \"planned\", to: \"exception\" }, { from: \"executing\", to: \"exception\" }, { from: \"waiting\", to: \"exception\" }],\n\t\tobligations: [\"responsible party is attributable\", \"resource use and outcome are auditable\"],\n\t},\n\t\"fabric.Settlement\": {\n\t\tid: \"fabric.Settlement\", version: \"0.1\", description: \"Resolution of value exchange associated with an agreement.\",\n\t\tstates: states([[\"pending\", \"initial\"], [\"settled\", \"terminal\"], [\"reversed\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"pending\", to: \"settled\", required: true }, { from: \"settled\", to: \"reversed\" }, { from: \"pending\", to: \"exception\" }],\n\t\tobligations: [\"value and currency are explicit\", \"settlement is attributable to an agreement\"],\n\t},\n};\n\nexport function archetypeSemantics(reference: ArchetypeReference): Record<string, JsonValue> {\n\treturn { [ARCHETYPE_SEMANTIC_KEY]: reference as unknown as JsonValue };\n}\n\nexport function readArchetypeReference(\n\tobjectType: ModuleManifestObjectType,\n): ArchetypeReference | undefined {\n\tconst value = objectType.semantics?.[ARCHETYPE_SEMANTIC_KEY];\n\tif (value === undefined) return undefined;\n\tif (!value || typeof value !== \"object\" || Array.isArray(value)) return undefined;\n\tconst record = value as Record<string, JsonValue>;\n\tif (typeof record.id !== \"string\" || typeof record.version !== \"string\" || !record.stateMap || typeof record.stateMap !== \"object\" || Array.isArray(record.stateMap)) return undefined;\n\tif (!Object.values(record.stateMap).every((state) => typeof state === \"string\")) return undefined;\n\treturn { id: record.id as ArchetypeId, version: record.version, stateMap: record.stateMap as Record<string, string> };\n}\n\nconst transitionKey = (from: string, to: string) => `${from}->${to}`;\n\nexport function validateArchetypeConformance(\n\tmanifest: ModuleManifest,\n): ArchetypeConformanceReport[] {\n\treturn manifest.objectTypes\n\t\t.filter((objectType) => objectType.semantics?.[ARCHETYPE_SEMANTIC_KEY] !== undefined)\n\t\t.map((objectType) => validateObject(manifest, objectType));\n}\n\nfunction validateObject(\n\tmanifest: ModuleManifest,\n\tobjectType: ModuleManifestObjectType,\n): ArchetypeConformanceReport {\n\tconst findings: ConformanceFinding[] = [];\n\tconst reference = readArchetypeReference(objectType);\n\tif (!reference) {\n\t\tfindings.push({ code: \"invalid_annotation\", objectType: objectType.type, message: `Object \"${objectType.type}\" has an invalid ${ARCHETYPE_SEMANTIC_KEY} annotation.` });\n\t\treturn { conforms: false, objectType: objectType.type, findings };\n\t}\n\tconst definition = ARCHETYPES[reference.id];\n\tif (!definition) {\n\t\tfindings.push({ code: \"unknown_archetype\", objectType: objectType.type, message: `Unknown archetype \"${reference.id}\".` });\n\t\treturn { conforms: false, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };\n\t}\n\tif (reference.version !== definition.version) {\n\t\tfindings.push({ code: \"unsupported_archetype_version\", objectType: objectType.type, message: `Archetype \"${reference.id}\" supports version ${definition.version}, received ${reference.version}.` });\n\t}\n\tconst machine = (manifest.stateMachines ?? []).find((candidate) => candidate.entityType === objectType.type);\n\tif (!machine) {\n\t\tfindings.push({ code: \"missing_state_machine\", objectType: objectType.type, message: `Object \"${objectType.type}\" needs a state machine for archetype conformance.` });\n\t\treturn { conforms: false, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };\n\t}\n\tconst declaredStates = new Set(machine.states.map((state) => state.id));\n\tfor (const state of Object.keys(reference.stateMap)) {\n\t\tif (!declaredStates.has(state)) findings.push({ code: \"unknown_mapped_state\", objectType: objectType.type, state, message: `State mapping \"${state}\" does not name a declared state.` });\n\t}\n\tfor (const state of machine.states) {\n\t\tconst mapped = reference.stateMap[state.id];\n\t\tif (!mapped) {\n\t\t\tfindings.push({ code: \"unmapped_state\", objectType: objectType.type, state: state.id, message: `State \"${state.id}\" is not mapped.` });\n\t\t\tcontinue;\n\t\t}\n\t\tconst base = definition.states[mapped];\n\t\tif (!base) {\n\t\t\tfindings.push({ code: \"unknown_archetype_state\", objectType: objectType.type, state: state.id, target: mapped, message: `State \"${state.id}\" maps to unknown archetype state \"${mapped}\".` });\n\t\t} else if (base.stateClass !== state.stateClass) {\n\t\t\tfindings.push({ code: \"incompatible_state_class\", objectType: objectType.type, state: state.id, target: mapped, message: `State \"${state.id}\" (${state.stateClass}) is incompatible with \"${mapped}\" (${base.stateClass}).` });\n\t\t}\n\t}\n\tconst permitted = new Set(definition.transitions.map((transition) => transitionKey(transition.from, transition.to)));\n\tconst realized = new Set<string>();\n\tfor (const transition of machine.transitions) {\n\t\tconst from = reference.stateMap[transition.from];\n\t\tconst to = reference.stateMap[transition.to];\n\t\tif (!from || !to) continue;\n\t\tif (to === \"exception\" && !transition.hasGuard) {\n\t\t\tfindings.push({ code: \"exception_transition_unguarded\", objectType: objectType.type, state: transition.from, target: transition.to, message: `Exception transition \"${transition.from}\" -> \"${transition.to}\" must declare a governance guard.` });\n\t\t}\n\t\tif (from !== to && !permitted.has(transitionKey(from, to))) {\n\t\t\tfindings.push({ code: \"transition_not_permitted\", objectType: objectType.type, state: transition.from, target: transition.to, message: `Transition \"${transition.from}\" -> \"${transition.to}\" maps to disallowed archetype transition \"${from}\" -> \"${to}\".` });\n\t\t} else if (from !== to) {\n\t\t\trealized.add(transitionKey(from, to));\n\t\t}\n\t}\n\tfor (const required of definition.transitions.filter((transition) => transition.required)) {\n\t\tif (!realized.has(transitionKey(required.from, required.to))) {\n\t\t\tfindings.push({ code: \"required_transition_unreachable\", objectType: objectType.type, state: required.from, target: required.to, message: `Required archetype transition \"${required.from}\" -> \"${required.to}\" is not realized.` });\n\t\t}\n\t}\n\treturn { conforms: findings.length === 0, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };\n}\n\nexport function assertArchetypeConformance(module: FabricModule<unknown>): void {\n\tconst failures = validateArchetypeConformance(exportModuleManifest(module)).filter((report) => !report.conforms);\n\tif (failures.length > 0) {\n\t\tthrow new Error(`Archetype conformance failed:\\n${failures.flatMap((report) => report.findings.map((finding) => `- ${report.objectType}: ${finding.message}`)).join(\"\\n\")}`);\n\t}\n}\n\nexport const archetypeConformanceAdapter: ManifestConformanceAdapter = {\n\tid: \"@fabricorg/archetypes\",\n\tevaluate: validateArchetypeConformance,\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,sBAOO;AAEA,IAAM,yBAAyB;AAqEtC,IAAM,SAAS,CAAC,gBACf,OAAO,YAAY,YAAY,IAAI,CAAC,CAAC,IAAI,UAAU,MAAM,CAAC,IAAI,EAAE,IAAI,WAAW,CAAC,CAAC,CAAC;AAE5E,IAAM,aAAiE;AAAA,EAC7E,gBAAgB;AAAA,IACf,IAAI;AAAA,IAAgB,SAAS;AAAA,IAAO,aAAa;AAAA,IACjD,QAAQ,OAAO,CAAC,CAAC,eAAe,SAAS,GAAG,CAAC,UAAU,QAAQ,GAAG,CAAC,YAAY,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACvH,aAAa,CAAC,EAAE,MAAM,eAAe,IAAI,UAAU,UAAU,KAAK,GAAG,EAAE,MAAM,UAAU,IAAI,WAAW,GAAG,EAAE,MAAM,eAAe,IAAI,YAAY,GAAG,EAAE,MAAM,UAAU,IAAI,YAAY,CAAC;AAAA,IACtL,aAAa,CAAC,6BAA6B,+BAA+B;AAAA,EAC3E;AAAA,EACA,mBAAmB;AAAA,IAClB,IAAI;AAAA,IAAmB,SAAS;AAAA,IAAO,aAAa;AAAA,IACpD,QAAQ,OAAO,CAAC,CAAC,aAAa,QAAQ,GAAG,CAAC,WAAW,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IAC7F,aAAa,CAAC,EAAE,MAAM,aAAa,IAAI,UAAU,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,CAAC;AAAA,IAC1F,aAAa,CAAC,0BAA0B,0BAA0B;AAAA,EACnE;AAAA,EACA,oBAAoB;AAAA,IACnB,IAAI;AAAA,IAAoB,SAAS;AAAA,IAAO,aAAa;AAAA,IACrD,QAAQ,OAAO,CAAC,CAAC,YAAY,SAAS,GAAG,CAAC,aAAa,QAAQ,GAAG,CAAC,YAAY,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACvH,aAAa,CAAC,EAAE,MAAM,YAAY,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,UAAU,KAAK,GAAG,EAAE,MAAM,YAAY,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,CAAC;AAAA,IACzM,aAAa,CAAC,0CAA0C,yCAAyC;AAAA,EAClG;AAAA,EACA,mBAAmB;AAAA,IAClB,IAAI;AAAA,IAAmB,SAAS;AAAA,IAAO,aAAa;AAAA,IACpD,QAAQ,OAAO,CAAC,CAAC,aAAa,SAAS,GAAG,CAAC,aAAa,QAAQ,GAAG,CAAC,WAAW,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACvH,aAAa,CAAC,EAAE,MAAM,aAAa,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,UAAU,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,CAAC;AAAA,IAC1L,aAAa,CAAC,8BAA8B,oCAAoC;AAAA,EACjF;AAAA,EACA,mBAAmB;AAAA,IAClB,IAAI;AAAA,IAAmB,SAAS;AAAA,IAAO,aAAa;AAAA,IACpD,QAAQ,OAAO,CAAC,CAAC,WAAW,SAAS,GAAG,CAAC,aAAa,QAAQ,GAAG,CAAC,WAAW,SAAS,GAAG,CAAC,aAAa,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IAC/I,aAAa,CAAC,EAAE,MAAM,WAAW,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,aAAa,IAAI,UAAU,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,CAAC;AAAA,IAChW,aAAa,CAAC,qCAAqC,wCAAwC;AAAA,EAC5F;AAAA,EACA,qBAAqB;AAAA,IACpB,IAAI;AAAA,IAAqB,SAAS;AAAA,IAAO,aAAa;AAAA,IACtD,QAAQ,OAAO,CAAC,CAAC,WAAW,SAAS,GAAG,CAAC,WAAW,UAAU,GAAG,CAAC,YAAY,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACtH,aAAa,CAAC,EAAE,MAAM,WAAW,IAAI,WAAW,UAAU,KAAK,GAAG,EAAE,MAAM,WAAW,IAAI,WAAW,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,CAAC;AAAA,IAC3I,aAAa,CAAC,mCAAmC,4CAA4C;AAAA,EAC9F;AACD;AAEO,SAAS,mBAAmB,WAA0D;AAC5F,SAAO,EAAE,CAAC,sBAAsB,GAAG,UAAkC;AACtE;AAEO,SAAS,uBACf,YACiC;AACjC,QAAM,QAAQ,WAAW,YAAY,sBAAsB;AAC3D,MAAI,UAAU,OAAW,QAAO;AAChC,MAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,EAAG,QAAO;AACxE,QAAM,SAAS;AACf,MAAI,OAAO,OAAO,OAAO,YAAY,OAAO,OAAO,YAAY,YAAY,CAAC,OAAO,YAAY,OAAO,OAAO,aAAa,YAAY,MAAM,QAAQ,OAAO,QAAQ,EAAG,QAAO;AAC7K,MAAI,CAAC,OAAO,OAAO,OAAO,QAAQ,EAAE,MAAM,CAAC,UAAU,OAAO,UAAU,QAAQ,EAAG,QAAO;AACxF,SAAO,EAAE,IAAI,OAAO,IAAmB,SAAS,OAAO,SAAS,UAAU,OAAO,SAAmC;AACrH;AAEA,IAAM,gBAAgB,CAAC,MAAc,OAAe,GAAG,IAAI,KAAK,EAAE;AAE3D,SAAS,6BACf,UAC+B;AAC/B,SAAO,SAAS,YACd,OAAO,CAAC,eAAe,WAAW,YAAY,sBAAsB,MAAM,MAAS,EACnF,IAAI,CAAC,eAAe,eAAe,UAAU,UAAU,CAAC;AAC3D;AAEA,SAAS,eACR,UACA,YAC6B;AAC7B,QAAM,WAAiC,CAAC;AACxC,QAAM,YAAY,uBAAuB,UAAU;AACnD,MAAI,CAAC,WAAW;AACf,aAAS,KAAK,EAAE,MAAM,sBAAsB,YAAY,WAAW,MAAM,SAAS,WAAW,WAAW,IAAI,oBAAoB,sBAAsB,eAAe,CAAC;AACtK,WAAO,EAAE,UAAU,OAAO,YAAY,WAAW,MAAM,SAAS;AAAA,EACjE;AACA,QAAM,aAAa,WAAW,UAAU,EAAE;AAC1C,MAAI,CAAC,YAAY;AAChB,aAAS,KAAK,EAAE,MAAM,qBAAqB,YAAY,WAAW,MAAM,SAAS,sBAAsB,UAAU,EAAE,KAAK,CAAC;AACzH,WAAO,EAAE,UAAU,OAAO,YAAY,WAAW,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,UAAU,OAAO,IAAI,SAAS;AAAA,EACpH;AACA,MAAI,UAAU,YAAY,WAAW,SAAS;AAC7C,aAAS,KAAK,EAAE,MAAM,iCAAiC,YAAY,WAAW,MAAM,SAAS,cAAc,UAAU,EAAE,sBAAsB,WAAW,OAAO,cAAc,UAAU,OAAO,IAAI,CAAC;AAAA,EACpM;AACA,QAAM,WAAW,SAAS,iBAAiB,CAAC,GAAG,KAAK,CAAC,cAAc,UAAU,eAAe,WAAW,IAAI;AAC3G,MAAI,CAAC,SAAS;AACb,aAAS,KAAK,EAAE,MAAM,yBAAyB,YAAY,WAAW,MAAM,SAAS,WAAW,WAAW,IAAI,qDAAqD,CAAC;AACrK,WAAO,EAAE,UAAU,OAAO,YAAY,WAAW,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,UAAU,OAAO,IAAI,SAAS;AAAA,EACpH;AACA,QAAM,iBAAiB,IAAI,IAAI,QAAQ,OAAO,IAAI,CAAC,UAAU,MAAM,EAAE,CAAC;AACtE,aAAW,SAAS,OAAO,KAAK,UAAU,QAAQ,GAAG;AACpD,QAAI,CAAC,eAAe,IAAI,KAAK,EAAG,UAAS,KAAK,EAAE,MAAM,wBAAwB,YAAY,WAAW,MAAM,OAAO,SAAS,kBAAkB,KAAK,oCAAoC,CAAC;AAAA,EACxL;AACA,aAAW,SAAS,QAAQ,QAAQ;AACnC,UAAM,SAAS,UAAU,SAAS,MAAM,EAAE;AAC1C,QAAI,CAAC,QAAQ;AACZ,eAAS,KAAK,EAAE,MAAM,kBAAkB,YAAY,WAAW,MAAM,OAAO,MAAM,IAAI,SAAS,UAAU,MAAM,EAAE,mBAAmB,CAAC;AACrI;AAAA,IACD;AACA,UAAM,OAAO,WAAW,OAAO,MAAM;AACrC,QAAI,CAAC,MAAM;AACV,eAAS,KAAK,EAAE,MAAM,2BAA2B,YAAY,WAAW,MAAM,OAAO,MAAM,IAAI,QAAQ,QAAQ,SAAS,UAAU,MAAM,EAAE,sCAAsC,MAAM,KAAK,CAAC;AAAA,IAC7L,WAAW,KAAK,eAAe,MAAM,YAAY;AAChD,eAAS,KAAK,EAAE,MAAM,4BAA4B,YAAY,WAAW,MAAM,OAAO,MAAM,IAAI,QAAQ,QAAQ,SAAS,UAAU,MAAM,EAAE,MAAM,MAAM,UAAU,2BAA2B,MAAM,MAAM,KAAK,UAAU,KAAK,CAAC;AAAA,IAC9N;AAAA,EACD;AACA,QAAM,YAAY,IAAI,IAAI,WAAW,YAAY,IAAI,CAAC,eAAe,cAAc,WAAW,MAAM,WAAW,EAAE,CAAC,CAAC;AACnH,QAAM,WAAW,oBAAI,IAAY;AACjC,aAAW,cAAc,QAAQ,aAAa;AAC7C,UAAM,OAAO,UAAU,SAAS,WAAW,IAAI;AAC/C,UAAM,KAAK,UAAU,SAAS,WAAW,EAAE;AAC3C,QAAI,CAAC,QAAQ,CAAC,GAAI;AAClB,QAAI,OAAO,eAAe,CAAC,WAAW,UAAU;AAC/C,eAAS,KAAK,EAAE,MAAM,kCAAkC,YAAY,WAAW,MAAM,OAAO,WAAW,MAAM,QAAQ,WAAW,IAAI,SAAS,yBAAyB,WAAW,IAAI,SAAS,WAAW,EAAE,qCAAqC,CAAC;AAAA,IAClP;AACA,QAAI,SAAS,MAAM,CAAC,UAAU,IAAI,cAAc,MAAM,EAAE,CAAC,GAAG;AAC3D,eAAS,KAAK,EAAE,MAAM,4BAA4B,YAAY,WAAW,MAAM,OAAO,WAAW,MAAM,QAAQ,WAAW,IAAI,SAAS,eAAe,WAAW,IAAI,SAAS,WAAW,EAAE,8CAA8C,IAAI,SAAS,EAAE,KAAK,CAAC;AAAA,IAC/P,WAAW,SAAS,IAAI;AACvB,eAAS,IAAI,cAAc,MAAM,EAAE,CAAC;AAAA,IACrC;AAAA,EACD;AACA,aAAW,YAAY,WAAW,YAAY,OAAO,CAAC,eAAe,WAAW,QAAQ,GAAG;AAC1F,QAAI,CAAC,SAAS,IAAI,cAAc,SAAS,MAAM,SAAS,EAAE,CAAC,GAAG;AAC7D,eAAS,KAAK,EAAE,MAAM,mCAAmC,YAAY,WAAW,MAAM,OAAO,SAAS,MAAM,QAAQ,SAAS,IAAI,SAAS,kCAAkC,SAAS,IAAI,SAAS,SAAS,EAAE,qBAAqB,CAAC;AAAA,IACpO;AAAA,EACD;AACA,SAAO,EAAE,UAAU,SAAS,WAAW,GAAG,YAAY,WAAW,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,UAAU,OAAO,IAAI,SAAS;AACpI;AAEO,SAAS,2BAA2BA,SAAqC;AAC/E,QAAM,WAAW,iCAA6B,sCAAqBA,OAAM,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO,QAAQ;AAC/G,MAAI,SAAS,SAAS,GAAG;AACxB,UAAM,IAAI,MAAM;AAAA,EAAkC,SAAS,QAAQ,CAAC,WAAW,OAAO,SAAS,IAAI,CAAC,YAAY,KAAK,OAAO,UAAU,KAAK,QAAQ,OAAO,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;AAAA,EAC5K;AACD;AAEO,IAAM,8BAA0D;AAAA,EACtE,IAAI;AAAA,EACJ,UAAU;AACX;","names":["module"]}

package/dist/index.d.cts

@@ -24,7 +24,7 @@ interface ArchetypeDefinition {
     transitions: ArchetypeTransition[];
     obligations: string[];
 }
-type ConformanceFindingCode = "invalid_annotation" | "unknown_archetype" | "unsupported_archetype_version" | "missing_state_machine" | "unmapped_state" | "unknown_archetype_state" | "incompatible_state_class" | "transition_not_permitted" | "exception_transition_unguarded" | "required_transition_unreachable";
+type ConformanceFindingCode = "invalid_annotation" | "unknown_archetype" | "unsupported_archetype_version" | "missing_state_machine" | "unmapped_state" | "unknown_mapped_state" | "unknown_archetype_state" | "incompatible_state_class" | "transition_not_permitted" | "exception_transition_unguarded" | "required_transition_unreachable";
 interface ConformanceFinding {
     code: ConformanceFindingCode;
     message: string;

package/dist/index.d.ts

@@ -24,7 +24,7 @@ interface ArchetypeDefinition {
     transitions: ArchetypeTransition[];
     obligations: string[];
 }
-type ConformanceFindingCode = "invalid_annotation" | "unknown_archetype" | "unsupported_archetype_version" | "missing_state_machine" | "unmapped_state" | "unknown_archetype_state" | "incompatible_state_class" | "transition_not_permitted" | "exception_transition_unguarded" | "required_transition_unreachable";
+type ConformanceFindingCode = "invalid_annotation" | "unknown_archetype" | "unsupported_archetype_version" | "missing_state_machine" | "unmapped_state" | "unknown_mapped_state" | "unknown_archetype_state" | "incompatible_state_class" | "transition_not_permitted" | "exception_transition_unguarded" | "required_transition_unreachable";
 interface ConformanceFinding {
     code: ConformanceFindingCode;
     message: string;

package/dist/index.js

@@ -90,6 +90,10 @@ function validateObject(manifest, objectType) {
     findings.push({ code: "missing_state_machine", objectType: objectType.type, message: `Object "${objectType.type}" needs a state machine for archetype conformance.` });
     return { conforms: false, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };
   }
+  const declaredStates = new Set(machine.states.map((state) => state.id));
+  for (const state of Object.keys(reference.stateMap)) {
+    if (!declaredStates.has(state)) findings.push({ code: "unknown_mapped_state", objectType: objectType.type, state, message: `State mapping "${state}" does not name a declared state.` });
+  }
   for (const state of machine.states) {
     const mapped = reference.stateMap[state.id];
     if (!mapped) {

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../index.ts"],"sourcesContent":["import {\n\texportModuleManifest,\n\ttype FabricModule,\n\ttype JsonValue,\n\ttype ModuleManifest,\n\ttype ModuleManifestObjectType,\n\ttype StateClass,\n} from \"@fabricorg/platform\";\n\nexport const ARCHETYPE_SEMANTIC_KEY = \"fabric.archetype\" as const;\n\nexport type ArchetypeId =\n\t| \"fabric.Party\"\n\t| \"fabric.Offering\"\n\t| \"fabric.Agreement\"\n\t| \"fabric.Resource\"\n\t| \"fabric.Activity\"\n\t| \"fabric.Settlement\";\n\nexport interface ArchetypeReference {\n\tid: ArchetypeId;\n\tversion: string;\n\tstateMap: Record<string, string>;\n}\n\nexport interface ArchetypeState {\n\tid: string;\n\tstateClass: StateClass;\n}\n\nexport interface ArchetypeTransition {\n\tfrom: string;\n\tto: string;\n\trequired?: boolean;\n}\n\nexport interface ArchetypeDefinition {\n\tid: ArchetypeId;\n\tversion: string;\n\tdescription: string;\n\tstates: Record<string, ArchetypeState>;\n\ttransitions: ArchetypeTransition[];\n\tobligations: string[];\n}\n\nexport type ConformanceFindingCode =\n\t| \"invalid_annotation\"\n\t| \"unknown_archetype\"\n\t| \"unsupported_archetype_version\"\n\t| \"missing_state_machine\"\n\t| \"unmapped_state\"\n\t| \"unknown_archetype_state\"\n\t| \"incompatible_state_class\"\n\t| \"transition_not_permitted\"\n\t| \"exception_transition_unguarded\"\n\t| \"required_transition_unreachable\";\n\nexport interface ConformanceFinding {\n\tcode: ConformanceFindingCode;\n\tmessage: string;\n\tobjectType: string;\n\tstate?: string;\n\ttarget?: string;\n}\n\nexport interface ArchetypeConformanceReport {\n\tconforms: boolean;\n\tobjectType: string;\n\tarchetype?: string;\n\tfindings: ConformanceFinding[];\n}\n\nexport interface ManifestConformanceAdapter {\n\tid: string;\n\tevaluate(manifest: ModuleManifest): ArchetypeConformanceReport[];\n}\n\nconst states = (definitions: Array<[string, StateClass]>): Record<string, ArchetypeState> =>\n\tObject.fromEntries(definitions.map(([id, stateClass]) => [id, { id, stateClass }]));\n\nexport const ARCHETYPES: Readonly<Record<ArchetypeId, ArchetypeDefinition>> = {\n\t\"fabric.Party\": {\n\t\tid: \"fabric.Party\", version: \"0.1\", description: \"A person or organization participating in business relationships.\",\n\t\tstates: states([[\"prospective\", \"initial\"], [\"active\", \"active\"], [\"inactive\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"prospective\", to: \"active\", required: true }, { from: \"active\", to: \"inactive\" }, { from: \"prospective\", to: \"exception\" }, { from: \"active\", to: \"exception\" }],\n\t\tobligations: [\"identity is tenant-scoped\", \"participation is attributable\"],\n\t},\n\t\"fabric.Offering\": {\n\t\tid: \"fabric.Offering\", version: \"0.1\", description: \"Something a party makes available under defined terms.\",\n\t\tstates: states([[\"available\", \"active\"], [\"retired\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"available\", to: \"retired\" }, { from: \"available\", to: \"exception\" }],\n\t\tobligations: [\"terms are identifiable\", \"availability is explicit\"],\n\t},\n\t\"fabric.Agreement\": {\n\t\tid: \"fabric.Agreement\", version: \"0.1\", description: \"A governed commitment between parties.\",\n\t\tstates: states([[\"proposed\", \"initial\"], [\"committed\", \"active\"], [\"resolved\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"proposed\", to: \"committed\", required: true }, { from: \"committed\", to: \"resolved\", required: true }, { from: \"proposed\", to: \"exception\" }, { from: \"committed\", to: \"exception\" }],\n\t\tobligations: [\"participating parties are attributable\", \"commitment and resolution are auditable\"],\n\t},\n\t\"fabric.Resource\": {\n\t\tid: \"fabric.Resource\", version: \"0.1\", description: \"A capacity or asset allocated by activities.\",\n\t\tstates: states([[\"available\", \"initial\"], [\"allocated\", \"active\"], [\"retired\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"available\", to: \"allocated\", required: true }, { from: \"allocated\", to: \"available\" }, { from: \"available\", to: \"retired\" }, { from: \"allocated\", to: \"exception\" }],\n\t\tobligations: [\"allocation is identifiable\", \"conflicting allocation is governed\"],\n\t},\n\t\"fabric.Activity\": {\n\t\tid: \"fabric.Activity\", version: \"0.1\", description: \"Work planned and performed toward an outcome.\",\n\t\tstates: states([[\"planned\", \"initial\"], [\"executing\", \"active\"], [\"waiting\", \"waiting\"], [\"completed\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"planned\", to: \"executing\", required: true }, { from: \"executing\", to: \"waiting\" }, { from: \"waiting\", to: \"executing\" }, { from: \"executing\", to: \"completed\", required: true }, { from: \"waiting\", to: \"completed\" }, { from: \"planned\", to: \"exception\" }, { from: \"executing\", to: \"exception\" }, { from: \"waiting\", to: \"exception\" }],\n\t\tobligations: [\"responsible party is attributable\", \"resource use and outcome are auditable\"],\n\t},\n\t\"fabric.Settlement\": {\n\t\tid: \"fabric.Settlement\", version: \"0.1\", description: \"Resolution of value exchange associated with an agreement.\",\n\t\tstates: states([[\"pending\", \"initial\"], [\"settled\", \"terminal\"], [\"reversed\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"pending\", to: \"settled\", required: true }, { from: \"settled\", to: \"reversed\" }, { from: \"pending\", to: \"exception\" }],\n\t\tobligations: [\"value and currency are explicit\", \"settlement is attributable to an agreement\"],\n\t},\n};\n\nexport function archetypeSemantics(reference: ArchetypeReference): Record<string, JsonValue> {\n\treturn { [ARCHETYPE_SEMANTIC_KEY]: reference as unknown as JsonValue };\n}\n\nexport function readArchetypeReference(\n\tobjectType: ModuleManifestObjectType,\n): ArchetypeReference | undefined {\n\tconst value = objectType.semantics?.[ARCHETYPE_SEMANTIC_KEY];\n\tif (value === undefined) return undefined;\n\tif (!value || typeof value !== \"object\" || Array.isArray(value)) return undefined;\n\tconst record = value as Record<string, JsonValue>;\n\tif (typeof record.id !== \"string\" || typeof record.version !== \"string\" || !record.stateMap || typeof record.stateMap !== \"object\" || Array.isArray(record.stateMap)) return undefined;\n\tif (!Object.values(record.stateMap).every((state) => typeof state === \"string\")) return undefined;\n\treturn { id: record.id as ArchetypeId, version: record.version, stateMap: record.stateMap as Record<string, string> };\n}\n\nconst transitionKey = (from: string, to: string) => `${from}->${to}`;\n\nexport function validateArchetypeConformance(\n\tmanifest: ModuleManifest,\n): ArchetypeConformanceReport[] {\n\treturn manifest.objectTypes\n\t\t.filter((objectType) => objectType.semantics?.[ARCHETYPE_SEMANTIC_KEY] !== undefined)\n\t\t.map((objectType) => validateObject(manifest, objectType));\n}\n\nfunction validateObject(\n\tmanifest: ModuleManifest,\n\tobjectType: ModuleManifestObjectType,\n): ArchetypeConformanceReport {\n\tconst findings: ConformanceFinding[] = [];\n\tconst reference = readArchetypeReference(objectType);\n\tif (!reference) {\n\t\tfindings.push({ code: \"invalid_annotation\", objectType: objectType.type, message: `Object \"${objectType.type}\" has an invalid ${ARCHETYPE_SEMANTIC_KEY} annotation.` });\n\t\treturn { conforms: false, objectType: objectType.type, findings };\n\t}\n\tconst definition = ARCHETYPES[reference.id];\n\tif (!definition) {\n\t\tfindings.push({ code: \"unknown_archetype\", objectType: objectType.type, message: `Unknown archetype \"${reference.id}\".` });\n\t\treturn { conforms: false, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };\n\t}\n\tif (reference.version !== definition.version) {\n\t\tfindings.push({ code: \"unsupported_archetype_version\", objectType: objectType.type, message: `Archetype \"${reference.id}\" supports version ${definition.version}, received ${reference.version}.` });\n\t}\n\tconst machine = (manifest.stateMachines ?? []).find((candidate) => candidate.entityType === objectType.type);\n\tif (!machine) {\n\t\tfindings.push({ code: \"missing_state_machine\", objectType: objectType.type, message: `Object \"${objectType.type}\" needs a state machine for archetype conformance.` });\n\t\treturn { conforms: false, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };\n\t}\n\tfor (const state of machine.states) {\n\t\tconst mapped = reference.stateMap[state.id];\n\t\tif (!mapped) {\n\t\t\tfindings.push({ code: \"unmapped_state\", objectType: objectType.type, state: state.id, message: `State \"${state.id}\" is not mapped.` });\n\t\t\tcontinue;\n\t\t}\n\t\tconst base = definition.states[mapped];\n\t\tif (!base) {\n\t\t\tfindings.push({ code: \"unknown_archetype_state\", objectType: objectType.type, state: state.id, target: mapped, message: `State \"${state.id}\" maps to unknown archetype state \"${mapped}\".` });\n\t\t} else if (base.stateClass !== state.stateClass) {\n\t\t\tfindings.push({ code: \"incompatible_state_class\", objectType: objectType.type, state: state.id, target: mapped, message: `State \"${state.id}\" (${state.stateClass}) is incompatible with \"${mapped}\" (${base.stateClass}).` });\n\t\t}\n\t}\n\tconst permitted = new Set(definition.transitions.map((transition) => transitionKey(transition.from, transition.to)));\n\tconst realized = new Set<string>();\n\tfor (const transition of machine.transitions) {\n\t\tconst from = reference.stateMap[transition.from];\n\t\tconst to = reference.stateMap[transition.to];\n\t\tif (!from || !to) continue;\n\t\tif (to === \"exception\" && !transition.hasGuard) {\n\t\t\tfindings.push({ code: \"exception_transition_unguarded\", objectType: objectType.type, state: transition.from, target: transition.to, message: `Exception transition \"${transition.from}\" -> \"${transition.to}\" must declare a governance guard.` });\n\t\t}\n\t\tif (from !== to && !permitted.has(transitionKey(from, to))) {\n\t\t\tfindings.push({ code: \"transition_not_permitted\", objectType: objectType.type, state: transition.from, target: transition.to, message: `Transition \"${transition.from}\" -> \"${transition.to}\" maps to disallowed archetype transition \"${from}\" -> \"${to}\".` });\n\t\t} else if (from !== to) {\n\t\t\trealized.add(transitionKey(from, to));\n\t\t}\n\t}\n\tfor (const required of definition.transitions.filter((transition) => transition.required)) {\n\t\tif (!realized.has(transitionKey(required.from, required.to))) {\n\t\t\tfindings.push({ code: \"required_transition_unreachable\", objectType: objectType.type, state: required.from, target: required.to, message: `Required archetype transition \"${required.from}\" -> \"${required.to}\" is not realized.` });\n\t\t}\n\t}\n\treturn { conforms: findings.length === 0, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };\n}\n\nexport function assertArchetypeConformance(module: FabricModule<unknown>): void {\n\tconst failures = validateArchetypeConformance(exportModuleManifest(module)).filter((report) => !report.conforms);\n\tif (failures.length > 0) {\n\t\tthrow new Error(`Archetype conformance failed:\\n${failures.flatMap((report) => report.findings.map((finding) => `- ${report.objectType}: ${finding.message}`)).join(\"\\n\")}`);\n\t}\n}\n\nexport const archetypeConformanceAdapter: ManifestConformanceAdapter = {\n\tid: \"@fabricorg/archetypes\",\n\tevaluate: validateArchetypeConformance,\n};\n"],"mappings":";AAAA;AAAA,EACC;AAAA,OAMM;AAEA,IAAM,yBAAyB;AAoEtC,IAAM,SAAS,CAAC,gBACf,OAAO,YAAY,YAAY,IAAI,CAAC,CAAC,IAAI,UAAU,MAAM,CAAC,IAAI,EAAE,IAAI,WAAW,CAAC,CAAC,CAAC;AAE5E,IAAM,aAAiE;AAAA,EAC7E,gBAAgB;AAAA,IACf,IAAI;AAAA,IAAgB,SAAS;AAAA,IAAO,aAAa;AAAA,IACjD,QAAQ,OAAO,CAAC,CAAC,eAAe,SAAS,GAAG,CAAC,UAAU,QAAQ,GAAG,CAAC,YAAY,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACvH,aAAa,CAAC,EAAE,MAAM,eAAe,IAAI,UAAU,UAAU,KAAK,GAAG,EAAE,MAAM,UAAU,IAAI,WAAW,GAAG,EAAE,MAAM,eAAe,IAAI,YAAY,GAAG,EAAE,MAAM,UAAU,IAAI,YAAY,CAAC;AAAA,IACtL,aAAa,CAAC,6BAA6B,+BAA+B;AAAA,EAC3E;AAAA,EACA,mBAAmB;AAAA,IAClB,IAAI;AAAA,IAAmB,SAAS;AAAA,IAAO,aAAa;AAAA,IACpD,QAAQ,OAAO,CAAC,CAAC,aAAa,QAAQ,GAAG,CAAC,WAAW,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IAC7F,aAAa,CAAC,EAAE,MAAM,aAAa,IAAI,UAAU,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,CAAC;AAAA,IAC1F,aAAa,CAAC,0BAA0B,0BAA0B;AAAA,EACnE;AAAA,EACA,oBAAoB;AAAA,IACnB,IAAI;AAAA,IAAoB,SAAS;AAAA,IAAO,aAAa;AAAA,IACrD,QAAQ,OAAO,CAAC,CAAC,YAAY,SAAS,GAAG,CAAC,aAAa,QAAQ,GAAG,CAAC,YAAY,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACvH,aAAa,CAAC,EAAE,MAAM,YAAY,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,UAAU,KAAK,GAAG,EAAE,MAAM,YAAY,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,CAAC;AAAA,IACzM,aAAa,CAAC,0CAA0C,yCAAyC;AAAA,EAClG;AAAA,EACA,mBAAmB;AAAA,IAClB,IAAI;AAAA,IAAmB,SAAS;AAAA,IAAO,aAAa;AAAA,IACpD,QAAQ,OAAO,CAAC,CAAC,aAAa,SAAS,GAAG,CAAC,aAAa,QAAQ,GAAG,CAAC,WAAW,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACvH,aAAa,CAAC,EAAE,MAAM,aAAa,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,UAAU,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,CAAC;AAAA,IAC1L,aAAa,CAAC,8BAA8B,oCAAoC;AAAA,EACjF;AAAA,EACA,mBAAmB;AAAA,IAClB,IAAI;AAAA,IAAmB,SAAS;AAAA,IAAO,aAAa;AAAA,IACpD,QAAQ,OAAO,CAAC,CAAC,WAAW,SAAS,GAAG,CAAC,aAAa,QAAQ,GAAG,CAAC,WAAW,SAAS,GAAG,CAAC,aAAa,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IAC/I,aAAa,CAAC,EAAE,MAAM,WAAW,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,aAAa,IAAI,UAAU,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,CAAC;AAAA,IAChW,aAAa,CAAC,qCAAqC,wCAAwC;AAAA,EAC5F;AAAA,EACA,qBAAqB;AAAA,IACpB,IAAI;AAAA,IAAqB,SAAS;AAAA,IAAO,aAAa;AAAA,IACtD,QAAQ,OAAO,CAAC,CAAC,WAAW,SAAS,GAAG,CAAC,WAAW,UAAU,GAAG,CAAC,YAAY,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACtH,aAAa,CAAC,EAAE,MAAM,WAAW,IAAI,WAAW,UAAU,KAAK,GAAG,EAAE,MAAM,WAAW,IAAI,WAAW,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,CAAC;AAAA,IAC3I,aAAa,CAAC,mCAAmC,4CAA4C;AAAA,EAC9F;AACD;AAEO,SAAS,mBAAmB,WAA0D;AAC5F,SAAO,EAAE,CAAC,sBAAsB,GAAG,UAAkC;AACtE;AAEO,SAAS,uBACf,YACiC;AACjC,QAAM,QAAQ,WAAW,YAAY,sBAAsB;AAC3D,MAAI,UAAU,OAAW,QAAO;AAChC,MAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,EAAG,QAAO;AACxE,QAAM,SAAS;AACf,MAAI,OAAO,OAAO,OAAO,YAAY,OAAO,OAAO,YAAY,YAAY,CAAC,OAAO,YAAY,OAAO,OAAO,aAAa,YAAY,MAAM,QAAQ,OAAO,QAAQ,EAAG,QAAO;AAC7K,MAAI,CAAC,OAAO,OAAO,OAAO,QAAQ,EAAE,MAAM,CAAC,UAAU,OAAO,UAAU,QAAQ,EAAG,QAAO;AACxF,SAAO,EAAE,IAAI,OAAO,IAAmB,SAAS,OAAO,SAAS,UAAU,OAAO,SAAmC;AACrH;AAEA,IAAM,gBAAgB,CAAC,MAAc,OAAe,GAAG,IAAI,KAAK,EAAE;AAE3D,SAAS,6BACf,UAC+B;AAC/B,SAAO,SAAS,YACd,OAAO,CAAC,eAAe,WAAW,YAAY,sBAAsB,MAAM,MAAS,EACnF,IAAI,CAAC,eAAe,eAAe,UAAU,UAAU,CAAC;AAC3D;AAEA,SAAS,eACR,UACA,YAC6B;AAC7B,QAAM,WAAiC,CAAC;AACxC,QAAM,YAAY,uBAAuB,UAAU;AACnD,MAAI,CAAC,WAAW;AACf,aAAS,KAAK,EAAE,MAAM,sBAAsB,YAAY,WAAW,MAAM,SAAS,WAAW,WAAW,IAAI,oBAAoB,sBAAsB,eAAe,CAAC;AACtK,WAAO,EAAE,UAAU,OAAO,YAAY,WAAW,MAAM,SAAS;AAAA,EACjE;AACA,QAAM,aAAa,WAAW,UAAU,EAAE;AAC1C,MAAI,CAAC,YAAY;AAChB,aAAS,KAAK,EAAE,MAAM,qBAAqB,YAAY,WAAW,MAAM,SAAS,sBAAsB,UAAU,EAAE,KAAK,CAAC;AACzH,WAAO,EAAE,UAAU,OAAO,YAAY,WAAW,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,UAAU,OAAO,IAAI,SAAS;AAAA,EACpH;AACA,MAAI,UAAU,YAAY,WAAW,SAAS;AAC7C,aAAS,KAAK,EAAE,MAAM,iCAAiC,YAAY,WAAW,MAAM,SAAS,cAAc,UAAU,EAAE,sBAAsB,WAAW,OAAO,cAAc,UAAU,OAAO,IAAI,CAAC;AAAA,EACpM;AACA,QAAM,WAAW,SAAS,iBAAiB,CAAC,GAAG,KAAK,CAAC,cAAc,UAAU,eAAe,WAAW,IAAI;AAC3G,MAAI,CAAC,SAAS;AACb,aAAS,KAAK,EAAE,MAAM,yBAAyB,YAAY,WAAW,MAAM,SAAS,WAAW,WAAW,IAAI,qDAAqD,CAAC;AACrK,WAAO,EAAE,UAAU,OAAO,YAAY,WAAW,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,UAAU,OAAO,IAAI,SAAS;AAAA,EACpH;AACA,aAAW,SAAS,QAAQ,QAAQ;AACnC,UAAM,SAAS,UAAU,SAAS,MAAM,EAAE;AAC1C,QAAI,CAAC,QAAQ;AACZ,eAAS,KAAK,EAAE,MAAM,kBAAkB,YAAY,WAAW,MAAM,OAAO,MAAM,IAAI,SAAS,UAAU,MAAM,EAAE,mBAAmB,CAAC;AACrI;AAAA,IACD;AACA,UAAM,OAAO,WAAW,OAAO,MAAM;AACrC,QAAI,CAAC,MAAM;AACV,eAAS,KAAK,EAAE,MAAM,2BAA2B,YAAY,WAAW,MAAM,OAAO,MAAM,IAAI,QAAQ,QAAQ,SAAS,UAAU,MAAM,EAAE,sCAAsC,MAAM,KAAK,CAAC;AAAA,IAC7L,WAAW,KAAK,eAAe,MAAM,YAAY;AAChD,eAAS,KAAK,EAAE,MAAM,4BAA4B,YAAY,WAAW,MAAM,OAAO,MAAM,IAAI,QAAQ,QAAQ,SAAS,UAAU,MAAM,EAAE,MAAM,MAAM,UAAU,2BAA2B,MAAM,MAAM,KAAK,UAAU,KAAK,CAAC;AAAA,IAC9N;AAAA,EACD;AACA,QAAM,YAAY,IAAI,IAAI,WAAW,YAAY,IAAI,CAAC,eAAe,cAAc,WAAW,MAAM,WAAW,EAAE,CAAC,CAAC;AACnH,QAAM,WAAW,oBAAI,IAAY;AACjC,aAAW,cAAc,QAAQ,aAAa;AAC7C,UAAM,OAAO,UAAU,SAAS,WAAW,IAAI;AAC/C,UAAM,KAAK,UAAU,SAAS,WAAW,EAAE;AAC3C,QAAI,CAAC,QAAQ,CAAC,GAAI;AAClB,QAAI,OAAO,eAAe,CAAC,WAAW,UAAU;AAC/C,eAAS,KAAK,EAAE,MAAM,kCAAkC,YAAY,WAAW,MAAM,OAAO,WAAW,MAAM,QAAQ,WAAW,IAAI,SAAS,yBAAyB,WAAW,IAAI,SAAS,WAAW,EAAE,qCAAqC,CAAC;AAAA,IAClP;AACA,QAAI,SAAS,MAAM,CAAC,UAAU,IAAI,cAAc,MAAM,EAAE,CAAC,GAAG;AAC3D,eAAS,KAAK,EAAE,MAAM,4BAA4B,YAAY,WAAW,MAAM,OAAO,WAAW,MAAM,QAAQ,WAAW,IAAI,SAAS,eAAe,WAAW,IAAI,SAAS,WAAW,EAAE,8CAA8C,IAAI,SAAS,EAAE,KAAK,CAAC;AAAA,IAC/P,WAAW,SAAS,IAAI;AACvB,eAAS,IAAI,cAAc,MAAM,EAAE,CAAC;AAAA,IACrC;AAAA,EACD;AACA,aAAW,YAAY,WAAW,YAAY,OAAO,CAAC,eAAe,WAAW,QAAQ,GAAG;AAC1F,QAAI,CAAC,SAAS,IAAI,cAAc,SAAS,MAAM,SAAS,EAAE,CAAC,GAAG;AAC7D,eAAS,KAAK,EAAE,MAAM,mCAAmC,YAAY,WAAW,MAAM,OAAO,SAAS,MAAM,QAAQ,SAAS,IAAI,SAAS,kCAAkC,SAAS,IAAI,SAAS,SAAS,EAAE,qBAAqB,CAAC;AAAA,IACpO;AAAA,EACD;AACA,SAAO,EAAE,UAAU,SAAS,WAAW,GAAG,YAAY,WAAW,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,UAAU,OAAO,IAAI,SAAS;AACpI;AAEO,SAAS,2BAA2B,QAAqC;AAC/E,QAAM,WAAW,6BAA6B,qBAAqB,MAAM,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO,QAAQ;AAC/G,MAAI,SAAS,SAAS,GAAG;AACxB,UAAM,IAAI,MAAM;AAAA,EAAkC,SAAS,QAAQ,CAAC,WAAW,OAAO,SAAS,IAAI,CAAC,YAAY,KAAK,OAAO,UAAU,KAAK,QAAQ,OAAO,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;AAAA,EAC5K;AACD;AAEO,IAAM,8BAA0D;AAAA,EACtE,IAAI;AAAA,EACJ,UAAU;AACX;","names":[]}
+{"version":3,"sources":["../index.ts"],"sourcesContent":["import {\n\texportModuleManifest,\n\ttype FabricModule,\n\ttype JsonValue,\n\ttype ModuleManifest,\n\ttype ModuleManifestObjectType,\n\ttype StateClass,\n} from \"@fabricorg/platform\";\n\nexport const ARCHETYPE_SEMANTIC_KEY = \"fabric.archetype\" as const;\n\nexport type ArchetypeId =\n\t| \"fabric.Party\"\n\t| \"fabric.Offering\"\n\t| \"fabric.Agreement\"\n\t| \"fabric.Resource\"\n\t| \"fabric.Activity\"\n\t| \"fabric.Settlement\";\n\nexport interface ArchetypeReference {\n\tid: ArchetypeId;\n\tversion: string;\n\tstateMap: Record<string, string>;\n}\n\nexport interface ArchetypeState {\n\tid: string;\n\tstateClass: StateClass;\n}\n\nexport interface ArchetypeTransition {\n\tfrom: string;\n\tto: string;\n\trequired?: boolean;\n}\n\nexport interface ArchetypeDefinition {\n\tid: ArchetypeId;\n\tversion: string;\n\tdescription: string;\n\tstates: Record<string, ArchetypeState>;\n\ttransitions: ArchetypeTransition[];\n\tobligations: string[];\n}\n\nexport type ConformanceFindingCode =\n\t| \"invalid_annotation\"\n\t| \"unknown_archetype\"\n\t| \"unsupported_archetype_version\"\n\t| \"missing_state_machine\"\n\t| \"unmapped_state\"\n\t| \"unknown_mapped_state\"\n\t| \"unknown_archetype_state\"\n\t| \"incompatible_state_class\"\n\t| \"transition_not_permitted\"\n\t| \"exception_transition_unguarded\"\n\t| \"required_transition_unreachable\";\n\nexport interface ConformanceFinding {\n\tcode: ConformanceFindingCode;\n\tmessage: string;\n\tobjectType: string;\n\tstate?: string;\n\ttarget?: string;\n}\n\nexport interface ArchetypeConformanceReport {\n\tconforms: boolean;\n\tobjectType: string;\n\tarchetype?: string;\n\tfindings: ConformanceFinding[];\n}\n\nexport interface ManifestConformanceAdapter {\n\tid: string;\n\tevaluate(manifest: ModuleManifest): ArchetypeConformanceReport[];\n}\n\nconst states = (definitions: Array<[string, StateClass]>): Record<string, ArchetypeState> =>\n\tObject.fromEntries(definitions.map(([id, stateClass]) => [id, { id, stateClass }]));\n\nexport const ARCHETYPES: Readonly<Record<ArchetypeId, ArchetypeDefinition>> = {\n\t\"fabric.Party\": {\n\t\tid: \"fabric.Party\", version: \"0.1\", description: \"A person or organization participating in business relationships.\",\n\t\tstates: states([[\"prospective\", \"initial\"], [\"active\", \"active\"], [\"inactive\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"prospective\", to: \"active\", required: true }, { from: \"active\", to: \"inactive\" }, { from: \"prospective\", to: \"exception\" }, { from: \"active\", to: \"exception\" }],\n\t\tobligations: [\"identity is tenant-scoped\", \"participation is attributable\"],\n\t},\n\t\"fabric.Offering\": {\n\t\tid: \"fabric.Offering\", version: \"0.1\", description: \"Something a party makes available under defined terms.\",\n\t\tstates: states([[\"available\", \"active\"], [\"retired\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"available\", to: \"retired\" }, { from: \"available\", to: \"exception\" }],\n\t\tobligations: [\"terms are identifiable\", \"availability is explicit\"],\n\t},\n\t\"fabric.Agreement\": {\n\t\tid: \"fabric.Agreement\", version: \"0.1\", description: \"A governed commitment between parties.\",\n\t\tstates: states([[\"proposed\", \"initial\"], [\"committed\", \"active\"], [\"resolved\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"proposed\", to: \"committed\", required: true }, { from: \"committed\", to: \"resolved\", required: true }, { from: \"proposed\", to: \"exception\" }, { from: \"committed\", to: \"exception\" }],\n\t\tobligations: [\"participating parties are attributable\", \"commitment and resolution are auditable\"],\n\t},\n\t\"fabric.Resource\": {\n\t\tid: \"fabric.Resource\", version: \"0.1\", description: \"A capacity or asset allocated by activities.\",\n\t\tstates: states([[\"available\", \"initial\"], [\"allocated\", \"active\"], [\"retired\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"available\", to: \"allocated\", required: true }, { from: \"allocated\", to: \"available\" }, { from: \"available\", to: \"retired\" }, { from: \"allocated\", to: \"exception\" }],\n\t\tobligations: [\"allocation is identifiable\", \"conflicting allocation is governed\"],\n\t},\n\t\"fabric.Activity\": {\n\t\tid: \"fabric.Activity\", version: \"0.1\", description: \"Work planned and performed toward an outcome.\",\n\t\tstates: states([[\"planned\", \"initial\"], [\"executing\", \"active\"], [\"waiting\", \"waiting\"], [\"completed\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"planned\", to: \"executing\", required: true }, { from: \"executing\", to: \"waiting\" }, { from: \"waiting\", to: \"executing\" }, { from: \"executing\", to: \"completed\", required: true }, { from: \"waiting\", to: \"completed\" }, { from: \"planned\", to: \"exception\" }, { from: \"executing\", to: \"exception\" }, { from: \"waiting\", to: \"exception\" }],\n\t\tobligations: [\"responsible party is attributable\", \"resource use and outcome are auditable\"],\n\t},\n\t\"fabric.Settlement\": {\n\t\tid: \"fabric.Settlement\", version: \"0.1\", description: \"Resolution of value exchange associated with an agreement.\",\n\t\tstates: states([[\"pending\", \"initial\"], [\"settled\", \"terminal\"], [\"reversed\", \"terminal\"], [\"exception\", \"exception\"]]),\n\t\ttransitions: [{ from: \"pending\", to: \"settled\", required: true }, { from: \"settled\", to: \"reversed\" }, { from: \"pending\", to: \"exception\" }],\n\t\tobligations: [\"value and currency are explicit\", \"settlement is attributable to an agreement\"],\n\t},\n};\n\nexport function archetypeSemantics(reference: ArchetypeReference): Record<string, JsonValue> {\n\treturn { [ARCHETYPE_SEMANTIC_KEY]: reference as unknown as JsonValue };\n}\n\nexport function readArchetypeReference(\n\tobjectType: ModuleManifestObjectType,\n): ArchetypeReference | undefined {\n\tconst value = objectType.semantics?.[ARCHETYPE_SEMANTIC_KEY];\n\tif (value === undefined) return undefined;\n\tif (!value || typeof value !== \"object\" || Array.isArray(value)) return undefined;\n\tconst record = value as Record<string, JsonValue>;\n\tif (typeof record.id !== \"string\" || typeof record.version !== \"string\" || !record.stateMap || typeof record.stateMap !== \"object\" || Array.isArray(record.stateMap)) return undefined;\n\tif (!Object.values(record.stateMap).every((state) => typeof state === \"string\")) return undefined;\n\treturn { id: record.id as ArchetypeId, version: record.version, stateMap: record.stateMap as Record<string, string> };\n}\n\nconst transitionKey = (from: string, to: string) => `${from}->${to}`;\n\nexport function validateArchetypeConformance(\n\tmanifest: ModuleManifest,\n): ArchetypeConformanceReport[] {\n\treturn manifest.objectTypes\n\t\t.filter((objectType) => objectType.semantics?.[ARCHETYPE_SEMANTIC_KEY] !== undefined)\n\t\t.map((objectType) => validateObject(manifest, objectType));\n}\n\nfunction validateObject(\n\tmanifest: ModuleManifest,\n\tobjectType: ModuleManifestObjectType,\n): ArchetypeConformanceReport {\n\tconst findings: ConformanceFinding[] = [];\n\tconst reference = readArchetypeReference(objectType);\n\tif (!reference) {\n\t\tfindings.push({ code: \"invalid_annotation\", objectType: objectType.type, message: `Object \"${objectType.type}\" has an invalid ${ARCHETYPE_SEMANTIC_KEY} annotation.` });\n\t\treturn { conforms: false, objectType: objectType.type, findings };\n\t}\n\tconst definition = ARCHETYPES[reference.id];\n\tif (!definition) {\n\t\tfindings.push({ code: \"unknown_archetype\", objectType: objectType.type, message: `Unknown archetype \"${reference.id}\".` });\n\t\treturn { conforms: false, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };\n\t}\n\tif (reference.version !== definition.version) {\n\t\tfindings.push({ code: \"unsupported_archetype_version\", objectType: objectType.type, message: `Archetype \"${reference.id}\" supports version ${definition.version}, received ${reference.version}.` });\n\t}\n\tconst machine = (manifest.stateMachines ?? []).find((candidate) => candidate.entityType === objectType.type);\n\tif (!machine) {\n\t\tfindings.push({ code: \"missing_state_machine\", objectType: objectType.type, message: `Object \"${objectType.type}\" needs a state machine for archetype conformance.` });\n\t\treturn { conforms: false, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };\n\t}\n\tconst declaredStates = new Set(machine.states.map((state) => state.id));\n\tfor (const state of Object.keys(reference.stateMap)) {\n\t\tif (!declaredStates.has(state)) findings.push({ code: \"unknown_mapped_state\", objectType: objectType.type, state, message: `State mapping \"${state}\" does not name a declared state.` });\n\t}\n\tfor (const state of machine.states) {\n\t\tconst mapped = reference.stateMap[state.id];\n\t\tif (!mapped) {\n\t\t\tfindings.push({ code: \"unmapped_state\", objectType: objectType.type, state: state.id, message: `State \"${state.id}\" is not mapped.` });\n\t\t\tcontinue;\n\t\t}\n\t\tconst base = definition.states[mapped];\n\t\tif (!base) {\n\t\t\tfindings.push({ code: \"unknown_archetype_state\", objectType: objectType.type, state: state.id, target: mapped, message: `State \"${state.id}\" maps to unknown archetype state \"${mapped}\".` });\n\t\t} else if (base.stateClass !== state.stateClass) {\n\t\t\tfindings.push({ code: \"incompatible_state_class\", objectType: objectType.type, state: state.id, target: mapped, message: `State \"${state.id}\" (${state.stateClass}) is incompatible with \"${mapped}\" (${base.stateClass}).` });\n\t\t}\n\t}\n\tconst permitted = new Set(definition.transitions.map((transition) => transitionKey(transition.from, transition.to)));\n\tconst realized = new Set<string>();\n\tfor (const transition of machine.transitions) {\n\t\tconst from = reference.stateMap[transition.from];\n\t\tconst to = reference.stateMap[transition.to];\n\t\tif (!from || !to) continue;\n\t\tif (to === \"exception\" && !transition.hasGuard) {\n\t\t\tfindings.push({ code: \"exception_transition_unguarded\", objectType: objectType.type, state: transition.from, target: transition.to, message: `Exception transition \"${transition.from}\" -> \"${transition.to}\" must declare a governance guard.` });\n\t\t}\n\t\tif (from !== to && !permitted.has(transitionKey(from, to))) {\n\t\t\tfindings.push({ code: \"transition_not_permitted\", objectType: objectType.type, state: transition.from, target: transition.to, message: `Transition \"${transition.from}\" -> \"${transition.to}\" maps to disallowed archetype transition \"${from}\" -> \"${to}\".` });\n\t\t} else if (from !== to) {\n\t\t\trealized.add(transitionKey(from, to));\n\t\t}\n\t}\n\tfor (const required of definition.transitions.filter((transition) => transition.required)) {\n\t\tif (!realized.has(transitionKey(required.from, required.to))) {\n\t\t\tfindings.push({ code: \"required_transition_unreachable\", objectType: objectType.type, state: required.from, target: required.to, message: `Required archetype transition \"${required.from}\" -> \"${required.to}\" is not realized.` });\n\t\t}\n\t}\n\treturn { conforms: findings.length === 0, objectType: objectType.type, archetype: `${reference.id}@${reference.version}`, findings };\n}\n\nexport function assertArchetypeConformance(module: FabricModule<unknown>): void {\n\tconst failures = validateArchetypeConformance(exportModuleManifest(module)).filter((report) => !report.conforms);\n\tif (failures.length > 0) {\n\t\tthrow new Error(`Archetype conformance failed:\\n${failures.flatMap((report) => report.findings.map((finding) => `- ${report.objectType}: ${finding.message}`)).join(\"\\n\")}`);\n\t}\n}\n\nexport const archetypeConformanceAdapter: ManifestConformanceAdapter = {\n\tid: \"@fabricorg/archetypes\",\n\tevaluate: validateArchetypeConformance,\n};\n"],"mappings":";AAAA;AAAA,EACC;AAAA,OAMM;AAEA,IAAM,yBAAyB;AAqEtC,IAAM,SAAS,CAAC,gBACf,OAAO,YAAY,YAAY,IAAI,CAAC,CAAC,IAAI,UAAU,MAAM,CAAC,IAAI,EAAE,IAAI,WAAW,CAAC,CAAC,CAAC;AAE5E,IAAM,aAAiE;AAAA,EAC7E,gBAAgB;AAAA,IACf,IAAI;AAAA,IAAgB,SAAS;AAAA,IAAO,aAAa;AAAA,IACjD,QAAQ,OAAO,CAAC,CAAC,eAAe,SAAS,GAAG,CAAC,UAAU,QAAQ,GAAG,CAAC,YAAY,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACvH,aAAa,CAAC,EAAE,MAAM,eAAe,IAAI,UAAU,UAAU,KAAK,GAAG,EAAE,MAAM,UAAU,IAAI,WAAW,GAAG,EAAE,MAAM,eAAe,IAAI,YAAY,GAAG,EAAE,MAAM,UAAU,IAAI,YAAY,CAAC;AAAA,IACtL,aAAa,CAAC,6BAA6B,+BAA+B;AAAA,EAC3E;AAAA,EACA,mBAAmB;AAAA,IAClB,IAAI;AAAA,IAAmB,SAAS;AAAA,IAAO,aAAa;AAAA,IACpD,QAAQ,OAAO,CAAC,CAAC,aAAa,QAAQ,GAAG,CAAC,WAAW,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IAC7F,aAAa,CAAC,EAAE,MAAM,aAAa,IAAI,UAAU,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,CAAC;AAAA,IAC1F,aAAa,CAAC,0BAA0B,0BAA0B;AAAA,EACnE;AAAA,EACA,oBAAoB;AAAA,IACnB,IAAI;AAAA,IAAoB,SAAS;AAAA,IAAO,aAAa;AAAA,IACrD,QAAQ,OAAO,CAAC,CAAC,YAAY,SAAS,GAAG,CAAC,aAAa,QAAQ,GAAG,CAAC,YAAY,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACvH,aAAa,CAAC,EAAE,MAAM,YAAY,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,UAAU,KAAK,GAAG,EAAE,MAAM,YAAY,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,CAAC;AAAA,IACzM,aAAa,CAAC,0CAA0C,yCAAyC;AAAA,EAClG;AAAA,EACA,mBAAmB;AAAA,IAClB,IAAI;AAAA,IAAmB,SAAS;AAAA,IAAO,aAAa;AAAA,IACpD,QAAQ,OAAO,CAAC,CAAC,aAAa,SAAS,GAAG,CAAC,aAAa,QAAQ,GAAG,CAAC,WAAW,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACvH,aAAa,CAAC,EAAE,MAAM,aAAa,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,UAAU,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,CAAC;AAAA,IAC1L,aAAa,CAAC,8BAA8B,oCAAoC;AAAA,EACjF;AAAA,EACA,mBAAmB;AAAA,IAClB,IAAI;AAAA,IAAmB,SAAS;AAAA,IAAO,aAAa;AAAA,IACpD,QAAQ,OAAO,CAAC,CAAC,WAAW,SAAS,GAAG,CAAC,aAAa,QAAQ,GAAG,CAAC,WAAW,SAAS,GAAG,CAAC,aAAa,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IAC/I,aAAa,CAAC,EAAE,MAAM,WAAW,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,aAAa,IAAI,UAAU,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,aAAa,UAAU,KAAK,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,GAAG,EAAE,MAAM,aAAa,IAAI,YAAY,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,CAAC;AAAA,IAChW,aAAa,CAAC,qCAAqC,wCAAwC;AAAA,EAC5F;AAAA,EACA,qBAAqB;AAAA,IACpB,IAAI;AAAA,IAAqB,SAAS;AAAA,IAAO,aAAa;AAAA,IACtD,QAAQ,OAAO,CAAC,CAAC,WAAW,SAAS,GAAG,CAAC,WAAW,UAAU,GAAG,CAAC,YAAY,UAAU,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;AAAA,IACtH,aAAa,CAAC,EAAE,MAAM,WAAW,IAAI,WAAW,UAAU,KAAK,GAAG,EAAE,MAAM,WAAW,IAAI,WAAW,GAAG,EAAE,MAAM,WAAW,IAAI,YAAY,CAAC;AAAA,IAC3I,aAAa,CAAC,mCAAmC,4CAA4C;AAAA,EAC9F;AACD;AAEO,SAAS,mBAAmB,WAA0D;AAC5F,SAAO,EAAE,CAAC,sBAAsB,GAAG,UAAkC;AACtE;AAEO,SAAS,uBACf,YACiC;AACjC,QAAM,QAAQ,WAAW,YAAY,sBAAsB;AAC3D,MAAI,UAAU,OAAW,QAAO;AAChC,MAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,EAAG,QAAO;AACxE,QAAM,SAAS;AACf,MAAI,OAAO,OAAO,OAAO,YAAY,OAAO,OAAO,YAAY,YAAY,CAAC,OAAO,YAAY,OAAO,OAAO,aAAa,YAAY,MAAM,QAAQ,OAAO,QAAQ,EAAG,QAAO;AAC7K,MAAI,CAAC,OAAO,OAAO,OAAO,QAAQ,EAAE,MAAM,CAAC,UAAU,OAAO,UAAU,QAAQ,EAAG,QAAO;AACxF,SAAO,EAAE,IAAI,OAAO,IAAmB,SAAS,OAAO,SAAS,UAAU,OAAO,SAAmC;AACrH;AAEA,IAAM,gBAAgB,CAAC,MAAc,OAAe,GAAG,IAAI,KAAK,EAAE;AAE3D,SAAS,6BACf,UAC+B;AAC/B,SAAO,SAAS,YACd,OAAO,CAAC,eAAe,WAAW,YAAY,sBAAsB,MAAM,MAAS,EACnF,IAAI,CAAC,eAAe,eAAe,UAAU,UAAU,CAAC;AAC3D;AAEA,SAAS,eACR,UACA,YAC6B;AAC7B,QAAM,WAAiC,CAAC;AACxC,QAAM,YAAY,uBAAuB,UAAU;AACnD,MAAI,CAAC,WAAW;AACf,aAAS,KAAK,EAAE,MAAM,sBAAsB,YAAY,WAAW,MAAM,SAAS,WAAW,WAAW,IAAI,oBAAoB,sBAAsB,eAAe,CAAC;AACtK,WAAO,EAAE,UAAU,OAAO,YAAY,WAAW,MAAM,SAAS;AAAA,EACjE;AACA,QAAM,aAAa,WAAW,UAAU,EAAE;AAC1C,MAAI,CAAC,YAAY;AAChB,aAAS,KAAK,EAAE,MAAM,qBAAqB,YAAY,WAAW,MAAM,SAAS,sBAAsB,UAAU,EAAE,KAAK,CAAC;AACzH,WAAO,EAAE,UAAU,OAAO,YAAY,WAAW,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,UAAU,OAAO,IAAI,SAAS;AAAA,EACpH;AACA,MAAI,UAAU,YAAY,WAAW,SAAS;AAC7C,aAAS,KAAK,EAAE,MAAM,iCAAiC,YAAY,WAAW,MAAM,SAAS,cAAc,UAAU,EAAE,sBAAsB,WAAW,OAAO,cAAc,UAAU,OAAO,IAAI,CAAC;AAAA,EACpM;AACA,QAAM,WAAW,SAAS,iBAAiB,CAAC,GAAG,KAAK,CAAC,cAAc,UAAU,eAAe,WAAW,IAAI;AAC3G,MAAI,CAAC,SAAS;AACb,aAAS,KAAK,EAAE,MAAM,yBAAyB,YAAY,WAAW,MAAM,SAAS,WAAW,WAAW,IAAI,qDAAqD,CAAC;AACrK,WAAO,EAAE,UAAU,OAAO,YAAY,WAAW,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,UAAU,OAAO,IAAI,SAAS;AAAA,EACpH;AACA,QAAM,iBAAiB,IAAI,IAAI,QAAQ,OAAO,IAAI,CAAC,UAAU,MAAM,EAAE,CAAC;AACtE,aAAW,SAAS,OAAO,KAAK,UAAU,QAAQ,GAAG;AACpD,QAAI,CAAC,eAAe,IAAI,KAAK,EAAG,UAAS,KAAK,EAAE,MAAM,wBAAwB,YAAY,WAAW,MAAM,OAAO,SAAS,kBAAkB,KAAK,oCAAoC,CAAC;AAAA,EACxL;AACA,aAAW,SAAS,QAAQ,QAAQ;AACnC,UAAM,SAAS,UAAU,SAAS,MAAM,EAAE;AAC1C,QAAI,CAAC,QAAQ;AACZ,eAAS,KAAK,EAAE,MAAM,kBAAkB,YAAY,WAAW,MAAM,OAAO,MAAM,IAAI,SAAS,UAAU,MAAM,EAAE,mBAAmB,CAAC;AACrI;AAAA,IACD;AACA,UAAM,OAAO,WAAW,OAAO,MAAM;AACrC,QAAI,CAAC,MAAM;AACV,eAAS,KAAK,EAAE,MAAM,2BAA2B,YAAY,WAAW,MAAM,OAAO,MAAM,IAAI,QAAQ,QAAQ,SAAS,UAAU,MAAM,EAAE,sCAAsC,MAAM,KAAK,CAAC;AAAA,IAC7L,WAAW,KAAK,eAAe,MAAM,YAAY;AAChD,eAAS,KAAK,EAAE,MAAM,4BAA4B,YAAY,WAAW,MAAM,OAAO,MAAM,IAAI,QAAQ,QAAQ,SAAS,UAAU,MAAM,EAAE,MAAM,MAAM,UAAU,2BAA2B,MAAM,MAAM,KAAK,UAAU,KAAK,CAAC;AAAA,IAC9N;AAAA,EACD;AACA,QAAM,YAAY,IAAI,IAAI,WAAW,YAAY,IAAI,CAAC,eAAe,cAAc,WAAW,MAAM,WAAW,EAAE,CAAC,CAAC;AACnH,QAAM,WAAW,oBAAI,IAAY;AACjC,aAAW,cAAc,QAAQ,aAAa;AAC7C,UAAM,OAAO,UAAU,SAAS,WAAW,IAAI;AAC/C,UAAM,KAAK,UAAU,SAAS,WAAW,EAAE;AAC3C,QAAI,CAAC,QAAQ,CAAC,GAAI;AAClB,QAAI,OAAO,eAAe,CAAC,WAAW,UAAU;AAC/C,eAAS,KAAK,EAAE,MAAM,kCAAkC,YAAY,WAAW,MAAM,OAAO,WAAW,MAAM,QAAQ,WAAW,IAAI,SAAS,yBAAyB,WAAW,IAAI,SAAS,WAAW,EAAE,qCAAqC,CAAC;AAAA,IAClP;AACA,QAAI,SAAS,MAAM,CAAC,UAAU,IAAI,cAAc,MAAM,EAAE,CAAC,GAAG;AAC3D,eAAS,KAAK,EAAE,MAAM,4BAA4B,YAAY,WAAW,MAAM,OAAO,WAAW,MAAM,QAAQ,WAAW,IAAI,SAAS,eAAe,WAAW,IAAI,SAAS,WAAW,EAAE,8CAA8C,IAAI,SAAS,EAAE,KAAK,CAAC;AAAA,IAC/P,WAAW,SAAS,IAAI;AACvB,eAAS,IAAI,cAAc,MAAM,EAAE,CAAC;AAAA,IACrC;AAAA,EACD;AACA,aAAW,YAAY,WAAW,YAAY,OAAO,CAAC,eAAe,WAAW,QAAQ,GAAG;AAC1F,QAAI,CAAC,SAAS,IAAI,cAAc,SAAS,MAAM,SAAS,EAAE,CAAC,GAAG;AAC7D,eAAS,KAAK,EAAE,MAAM,mCAAmC,YAAY,WAAW,MAAM,OAAO,SAAS,MAAM,QAAQ,SAAS,IAAI,SAAS,kCAAkC,SAAS,IAAI,SAAS,SAAS,EAAE,qBAAqB,CAAC;AAAA,IACpO;AAAA,EACD;AACA,SAAO,EAAE,UAAU,SAAS,WAAW,GAAG,YAAY,WAAW,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,UAAU,OAAO,IAAI,SAAS;AACpI;AAEO,SAAS,2BAA2B,QAAqC;AAC/E,QAAM,WAAW,6BAA6B,qBAAqB,MAAM,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO,QAAQ;AAC/G,MAAI,SAAS,SAAS,GAAG;AACxB,UAAM,IAAI,MAAM;AAAA,EAAkC,SAAS,QAAQ,CAAC,WAAW,OAAO,SAAS,IAAI,CAAC,YAAY,KAAK,OAAO,UAAU,KAAK,QAAQ,OAAO,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;AAAA,EAC5K;AACD;AAEO,IAAM,8BAA0D;AAAA,EACtE,IAAI;AAAA,EACJ,UAAU;AACX;","names":[]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fabricorg/archetypes",
-  "version": "0.2.0",
+  "version": "1.0.0",
   "description": "Optional cross-industry archetype vocabulary and conformance tools for Fabric module manifests.",
   "license": "MIT",
   "type": "module",
@@ -24,14 +24,15 @@
     "README.md",
     "CHANGELOG.md"
   ],
-  "dependencies": {
-    "@fabricorg/platform": "^0.11.0"
+  "peerDependencies": {
+    "@fabricorg/platform": "^0.12.0"
   },
   "devDependencies": {
     "@types/node": "^22.10.0",
     "tsup": "^8.5.0",
     "typescript": "^5.7.3",
-    "vitest": "^4.1.5"
+    "vitest": "^4.1.5",
+    "@fabricorg/platform": "^0.12.0"
   },
   "engines": {
     "node": ">=20"