@fabricorg/gen-capability 0.3.1 → 0.4.0

package/CHANGELOG.md

@@ -1,5 +1,33 @@
 # Changelog
 
+## 0.4.0
+
+### Minor Changes
+
+- c504d0a: Make generated artifacts carry their own weight instead of handing back a seam.
+
+  `gen-graphql` projects each view's JSON Schema into named GraphQL types rather than an opaque
+  `JSON` scalar, declares the Federation 2 `@link` directive, and emits `createResolvers()` — an
+  executable resolver map whose Query fields read through `ProjectionHost` and whose Mutation fields
+  submit through `submitAction()`. Shapes with no GraphQL projection (`oneOf`, `anyOf`, `allOf`, tuple
+  `items`, multi-type unions, non-local `$ref`) now fail the generator instead of silently degrading
+  to `JSON`; only a schema that genuinely admits any value projects as `JSON`. Recursive `#/$defs`
+  references resolve to a single named type.
+
+  `gen-conformance` emits a runnable suite alongside the plan. The ten Phase 1 checks split into eight
+  `MODULE_CONFORMANCE_CHECKS` a module verifies against a governed host and two
+  `PLATFORM_CONFORMANCE_CHECKS` a repository owns. A check a module cannot exercise reports
+  `not-applicable` with a reason rather than passing silently, and `@fabricorg/gen-conformance/memory`
+  ships a reference harness so a suite runs with no infrastructure.
+
+  `gen-capability` emits a usage contract with its own `formatVersion`, validated by
+  `assertUsageContract` and described by `USAGE_CONTRACT_JSON_SCHEMA`.
+
+### Patch Changes
+
+- Updated dependencies [c504d0a]
+  - @fabricorg/compiler@2.1.0
+
 ## 0.3.1
 
 ### Patch Changes

package/dist/index.cjs

@@ -20,15 +20,201 @@ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: tru
 // index.ts
 var index_exports = {};
 __export(index_exports, {
+  USAGE_CONTRACT_FORMAT_VERSION: () => USAGE_CONTRACT_FORMAT_VERSION,
+  USAGE_CONTRACT_JSON_SCHEMA: () => USAGE_CONTRACT_JSON_SCHEMA,
+  assertUsageContract: () => assertUsageContract,
+  assertUsageContractDocument: () => assertUsageContractDocument,
+  buildUsageContract: () => buildUsageContract,
   capabilityGenerator: () => capabilityGenerator
 });
 module.exports = __toCommonJS(index_exports);
 var import_compiler = require("@fabricorg/compiler");
-var capabilityGenerator = { name: "@fabricorg/gen-capability", version: "0.3.1", generate(ir) {
-  return ir.modules.filter((module2) => module2.capability).map((module2) => ({ path: `${module2.namespace}/capability.json`, content: (0, import_compiler.stableStringify)({ generator: { name: capabilityGenerator.name, version: capabilityGenerator.version }, manifestDigest: ir.manifestDigest, capability: { namespace: module2.namespace, version: module2.version, ...module2.capability, actions: module2.actions.map(({ actionId, version, parameterSchema, resultSchema, requiredRoles, requiredPermissions, execution }) => ({ actionId, version, parameterSchema, resultSchema, requiredRoles, requiredPermissions, execution })), views: module2.views, events: module2.eventTypes } }) }));
-} };
+var USAGE_CONTRACT_FORMAT_VERSION = 1;
+var STABILITIES = ["experimental", "beta", "stable", "deprecated"];
+function fail(path, message) {
+  throw new Error(`Usage contract ${path} ${message}.`);
+}
+function requireString(value, path) {
+  if (typeof value !== "string" || !value.trim()) fail(path, "must be a non-empty string");
+  return value;
+}
+function requireArray(value, path) {
+  if (!Array.isArray(value)) fail(path, "must be an array");
+  return value;
+}
+function assertUsageContract(value, path = "capability") {
+  if (!value || typeof value !== "object" || Array.isArray(value)) fail(path, "must be an object");
+  const contract = value;
+  if (contract.formatVersion !== USAGE_CONTRACT_FORMAT_VERSION) {
+    fail(`${path}.formatVersion`, `must be ${USAGE_CONTRACT_FORMAT_VERSION}, received ${JSON.stringify(contract.formatVersion)}`);
+  }
+  if (!/^[a-z][a-z0-9-]*$/.test(requireString(contract.namespace, `${path}.namespace`))) {
+    fail(`${path}.namespace`, "must be lowercase letters, numbers and hyphens");
+  }
+  requireString(contract.displayName, `${path}.displayName`);
+  requireString(contract.description, `${path}.description`);
+  if (!STABILITIES.includes(contract.stability)) {
+    fail(`${path}.stability`, `must be one of ${STABILITIES.join(", ")}`);
+  }
+  const actionIds = /* @__PURE__ */ new Set();
+  requireArray(contract.actions, `${path}.actions`).forEach((entry, index) => {
+    const action = entry;
+    const actionId = requireString(action?.actionId, `${path}.actions[${index}].actionId`);
+    if (actionIds.has(actionId)) fail(`${path}.actions[${index}]`, `repeats actionId "${actionId}"`);
+    actionIds.add(actionId);
+    if (!Number.isInteger(action.version)) fail(`${path}.actions[${index}].version`, "must be an integer");
+    if (action.requiredRoles !== void 0 && !Array.isArray(action.requiredRoles)) fail(`${path}.actions[${index}].requiredRoles`, "must be an array");
+    if (action.requiredPermissions !== void 0 && !Array.isArray(action.requiredPermissions)) fail(`${path}.actions[${index}].requiredPermissions`, "must be an array");
+  });
+  const viewKeys = /* @__PURE__ */ new Set();
+  requireArray(contract.views, `${path}.views`).forEach((entry, index) => {
+    const view = entry;
+    const name = requireString(view?.name, `${path}.views[${index}].name`);
+    const version = requireString(view?.version, `${path}.views[${index}].version`);
+    const key = `${name}@${version}`;
+    if (viewKeys.has(key)) fail(`${path}.views[${index}]`, `repeats view "${key}"`);
+    viewKeys.add(key);
+    if (!view.shape || typeof view.shape !== "object" || Array.isArray(view.shape)) fail(`${path}.views[${index}].shape`, "must be a JSON Schema object");
+    if (view.scope !== "tenant-space") fail(`${path}.views[${index}].scope`, 'must be "tenant-space"');
+    if (!Number.isInteger(view.snapshotVersion) || view.snapshotVersion < 1) fail(`${path}.views[${index}].snapshotVersion`, "must be a positive integer");
+  });
+  requireArray(contract.events, `${path}.events`).forEach((entry, index) => {
+    const event = entry;
+    requireString(event?.eventType, `${path}.events[${index}].eventType`);
+    if (!Number.isInteger(event.schemaVersion)) fail(`${path}.events[${index}].schemaVersion`, "must be an integer");
+  });
+  if (contract.extensions !== void 0) {
+    if (!contract.extensions || typeof contract.extensions !== "object" || Array.isArray(contract.extensions)) fail(`${path}.extensions`, "must be an object");
+    for (const namespace of Object.keys(contract.extensions)) {
+      if (!/^[a-z][a-z0-9.-]*\.[a-z0-9.-]+\/v[1-9][0-9]*$/.test(namespace)) {
+        fail(`${path}.extensions`, `has invalid extension namespace "${namespace}"`);
+      }
+    }
+  }
+}
+function assertUsageContractDocument(value) {
+  if (!value || typeof value !== "object" || Array.isArray(value)) fail("document", "must be an object");
+  const document = value;
+  if (!/^[0-9a-f]{64}$/.test(String(document.manifestDigest))) fail("document.manifestDigest", "must be a lowercase SHA-256 digest");
+  const generator = document.generator;
+  if (!generator || typeof generator !== "object" || Array.isArray(generator)) fail("document.generator", "must be an object");
+  requireString(generator.name, "document.generator.name");
+  requireString(generator.version, "document.generator.version");
+  assertUsageContract(document.capability);
+}
+var USAGE_CONTRACT_JSON_SCHEMA = {
+  $schema: "https://json-schema.org/draft/2020-12/schema",
+  title: "Fabric capability usage contract",
+  type: "object",
+  required: ["formatVersion", "namespace", "displayName", "description", "stability", "actions", "views", "events"],
+  properties: {
+    formatVersion: { type: "integer", enum: [USAGE_CONTRACT_FORMAT_VERSION] },
+    namespace: { type: "string", pattern: "^[a-z][a-z0-9-]*$" },
+    version: { type: "string" },
+    displayName: { type: "string", minLength: 1 },
+    description: { type: "string", minLength: 1 },
+    stability: { type: "string", enum: [...STABILITIES] },
+    deprecated: { type: "object" },
+    requirements: { type: "object" },
+    certification: { type: "object" },
+    extensions: { type: "object" },
+    actions: {
+      type: "array",
+      items: {
+        type: "object",
+        required: ["actionId", "version"],
+        properties: {
+          actionId: { type: "string" },
+          version: { type: "integer" },
+          parameterSchema: { type: "object" },
+          resultSchema: { type: "object" },
+          requiredRoles: { type: "array", items: { type: "string" } },
+          requiredPermissions: { type: "array", items: { type: "string" } },
+          execution: { type: "object" }
+        }
+      }
+    },
+    views: {
+      type: "array",
+      items: {
+        type: "object",
+        required: ["name", "version", "shape", "scope", "snapshotVersion"],
+        properties: {
+          name: { type: "string" },
+          version: { type: "string" },
+          shape: { type: "object" },
+          scope: { type: "string", enum: ["tenant-space"] },
+          snapshotVersion: { type: "integer" },
+          usage: { type: "object" }
+        }
+      }
+    },
+    events: {
+      type: "array",
+      items: {
+        type: "object",
+        required: ["eventType", "schemaVersion"],
+        properties: {
+          eventType: { type: "string" },
+          schemaVersion: { type: "integer" },
+          description: { type: "string" },
+          schema: { type: "object" }
+        }
+      }
+    }
+  }
+};
+function buildUsageContract(module2) {
+  const capability = module2.capability;
+  if (!capability) return void 0;
+  return {
+    formatVersion: USAGE_CONTRACT_FORMAT_VERSION,
+    namespace: module2.namespace,
+    ...module2.version === void 0 ? {} : { version: module2.version },
+    displayName: capability.displayName,
+    description: capability.description,
+    stability: capability.stability,
+    ...capability.deprecated === void 0 ? {} : { deprecated: capability.deprecated },
+    ...capability.requirements === void 0 ? {} : { requirements: capability.requirements },
+    ...capability.certification === void 0 ? {} : { certification: capability.certification },
+    ...capability.extensions === void 0 ? {} : { extensions: capability.extensions },
+    actions: module2.actions.map(({ actionId, version, parameterSchema, resultSchema, requiredRoles, requiredPermissions, execution }) => ({
+      actionId,
+      version,
+      parameterSchema,
+      resultSchema,
+      requiredRoles,
+      requiredPermissions,
+      execution
+    })),
+    views: module2.views.map(({ name, version, shape, scope, snapshotVersion, usage }) => ({ name, version, shape, scope, snapshotVersion, usage })),
+    events: module2.eventTypes.map(({ eventType, schemaVersion, description, schema }) => ({ eventType, schemaVersion, description, schema }))
+  };
+}
+var capabilityGenerator = {
+  name: "@fabricorg/gen-capability",
+  version: "0.4.0",
+  generate(ir) {
+    return ir.modules.flatMap((module2) => {
+      const capability = buildUsageContract(module2);
+      if (!capability) return [];
+      assertUsageContract(capability);
+      const document = {
+        generator: { name: capabilityGenerator.name, version: capabilityGenerator.version },
+        manifestDigest: ir.manifestDigest,
+        capability
+      };
+      return [{ path: `${module2.namespace}/capability.json`, content: (0, import_compiler.stableStringify)(document) }];
+    });
+  }
+};
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
+  USAGE_CONTRACT_FORMAT_VERSION,
+  USAGE_CONTRACT_JSON_SCHEMA,
+  assertUsageContract,
+  assertUsageContractDocument,
+  buildUsageContract,
   capabilityGenerator
 });
 //# sourceMappingURL=index.cjs.map

package/dist/index.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../index.ts"],"sourcesContent":["import { stableStringify, type GeneratorTarget } from \"@fabricorg/compiler\";\nexport const capabilityGenerator: GeneratorTarget = { name:\"@fabricorg/gen-capability\", version:\"0.3.1\", generate(ir) { return ir.modules.filter((module) => module.capability).map((module) => ({ path:`${module.namespace}/capability.json`, content:stableStringify({ generator:{name:capabilityGenerator.name,version:capabilityGenerator.version},manifestDigest:ir.manifestDigest,capability:{namespace:module.namespace,version:module.version,...module.capability,actions:module.actions.map(({actionId,version,parameterSchema,resultSchema,requiredRoles,requiredPermissions,execution})=>({actionId,version,parameterSchema,resultSchema,requiredRoles,requiredPermissions,execution})),views:module.views,events:module.eventTypes}}) })); } };\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,sBAAsD;AAC/C,IAAM,sBAAuC,EAAE,MAAK,6BAA6B,SAAQ,SAAS,SAAS,IAAI;AAAE,SAAO,GAAG,QAAQ,OAAO,CAACA,YAAWA,QAAO,UAAU,EAAE,IAAI,CAACA,aAAY,EAAE,MAAK,GAAGA,QAAO,SAAS,oBAAoB,aAAQ,iCAAgB,EAAE,WAAU,EAAC,MAAK,oBAAoB,MAAK,SAAQ,oBAAoB,QAAO,GAAE,gBAAe,GAAG,gBAAe,YAAW,EAAC,WAAUA,QAAO,WAAU,SAAQA,QAAO,SAAQ,GAAGA,QAAO,YAAW,SAAQA,QAAO,QAAQ,IAAI,CAAC,EAAC,UAAS,SAAQ,iBAAgB,cAAa,eAAc,qBAAoB,UAAS,OAAK,EAAC,UAAS,SAAQ,iBAAgB,cAAa,eAAc,qBAAoB,UAAS,EAAE,GAAE,OAAMA,QAAO,OAAM,QAAOA,QAAO,WAAU,EAAC,CAAC,EAAE,EAAE;AAAG,EAAE;","names":["module"]}
+{"version":3,"sources":["../index.ts"],"sourcesContent":["import { stableStringify, type GeneratorTarget } from \"@fabricorg/compiler\";\nimport type {\n\tActionExecutionContract,\n\tCapabilityMetadata,\n\tJsonValue,\n\tModuleManifest,\n\tPortableJsonSchema,\n} from \"@fabricorg/platform\";\n\n/**\n * Version of the usage contract document. Adopters negotiate on this, not on the\n * generator's package version, and bump it only when the serialized shape changes\n * in a way a consumer must detect.\n */\nexport const USAGE_CONTRACT_FORMAT_VERSION = 1 as const;\n\nexport interface UsageContractAction {\n\tactionId: string;\n\tversion: number;\n\tparameterSchema?: unknown;\n\tresultSchema?: unknown;\n\trequiredRoles?: string[];\n\trequiredPermissions?: string[];\n\texecution?: ActionExecutionContract;\n}\n\nexport interface UsageContractView {\n\tname: string;\n\tversion: string;\n\tshape: PortableJsonSchema;\n\tscope: \"tenant-space\";\n\tsnapshotVersion: number;\n\tusage?: ModuleManifest[\"views\"][number][\"usage\"];\n}\n\nexport interface UsageContractEvent {\n\teventType: string;\n\tschemaVersion: number;\n\tdescription?: string;\n\tschema?: PortableJsonSchema;\n}\n\n/**\n * What a capability promises its adopters: the governed operations it dispatches,\n * the view payloads it serves, the events it emits, and the namespaced extensions\n * an experience system interprets. Experience semantics stay inside `extensions`,\n * where ADR 0006 put them — this document never interprets them.\n */\nexport interface UsageContract {\n\tformatVersion: typeof USAGE_CONTRACT_FORMAT_VERSION;\n\tnamespace: string;\n\tversion?: string;\n\tdisplayName: string;\n\tdescription: string;\n\tstability: CapabilityMetadata[\"stability\"];\n\tdeprecated?: CapabilityMetadata[\"deprecated\"];\n\trequirements?: CapabilityMetadata[\"requirements\"];\n\tcertification?: CapabilityMetadata[\"certification\"];\n\textensions?: Record<string, JsonValue>;\n\tactions: UsageContractAction[];\n\tviews: UsageContractView[];\n\tevents: UsageContractEvent[];\n}\n\nexport interface UsageContractDocument {\n\tgenerator: { name: string; version: string };\n\tmanifestDigest: string;\n\tcapability: UsageContract;\n}\n\nconst STABILITIES = [\"experimental\", \"beta\", \"stable\", \"deprecated\"];\n\nfunction fail(path: string, message: string): never {\n\tthrow new Error(`Usage contract ${path} ${message}.`);\n}\n\nfunction requireString(value: unknown, path: string): string {\n\tif (typeof value !== \"string\" || !value.trim()) fail(path, \"must be a non-empty string\");\n\treturn value;\n}\n\nfunction requireArray(value: unknown, path: string): unknown[] {\n\tif (!Array.isArray(value)) fail(path, \"must be an array\");\n\treturn value;\n}\n\n/**\n * Structural validation an adopter can run before binding against a contract.\n * It checks the document's own shape; it does not re-validate the manifest it\n * was generated from.\n */\nexport function assertUsageContract(value: unknown, path = \"capability\"): asserts value is UsageContract {\n\tif (!value || typeof value !== \"object\" || Array.isArray(value)) fail(path, \"must be an object\");\n\tconst contract = value as Record<string, unknown>;\n\tif (contract.formatVersion !== USAGE_CONTRACT_FORMAT_VERSION) {\n\t\tfail(`${path}.formatVersion`, `must be ${USAGE_CONTRACT_FORMAT_VERSION}, received ${JSON.stringify(contract.formatVersion)}`);\n\t}\n\tif (!/^[a-z][a-z0-9-]*$/.test(requireString(contract.namespace, `${path}.namespace`))) {\n\t\tfail(`${path}.namespace`, \"must be lowercase letters, numbers and hyphens\");\n\t}\n\trequireString(contract.displayName, `${path}.displayName`);\n\trequireString(contract.description, `${path}.description`);\n\tif (!STABILITIES.includes(contract.stability as string)) {\n\t\tfail(`${path}.stability`, `must be one of ${STABILITIES.join(\", \")}`);\n\t}\n\tconst actionIds = new Set<string>();\n\trequireArray(contract.actions, `${path}.actions`).forEach((entry, index) => {\n\t\tconst action = entry as Record<string, unknown>;\n\t\tconst actionId = requireString(action?.actionId, `${path}.actions[${index}].actionId`);\n\t\tif (actionIds.has(actionId)) fail(`${path}.actions[${index}]`, `repeats actionId \"${actionId}\"`);\n\t\tactionIds.add(actionId);\n\t\tif (!Number.isInteger(action.version)) fail(`${path}.actions[${index}].version`, \"must be an integer\");\n\t\tif (action.requiredRoles !== undefined && !Array.isArray(action.requiredRoles)) fail(`${path}.actions[${index}].requiredRoles`, \"must be an array\");\n\t\tif (action.requiredPermissions !== undefined && !Array.isArray(action.requiredPermissions)) fail(`${path}.actions[${index}].requiredPermissions`, \"must be an array\");\n\t});\n\tconst viewKeys = new Set<string>();\n\trequireArray(contract.views, `${path}.views`).forEach((entry, index) => {\n\t\tconst view = entry as Record<string, unknown>;\n\t\tconst name = requireString(view?.name, `${path}.views[${index}].name`);\n\t\tconst version = requireString(view?.version, `${path}.views[${index}].version`);\n\t\tconst key = `${name}@${version}`;\n\t\tif (viewKeys.has(key)) fail(`${path}.views[${index}]`, `repeats view \"${key}\"`);\n\t\tviewKeys.add(key);\n\t\tif (!view.shape || typeof view.shape !== \"object\" || Array.isArray(view.shape)) fail(`${path}.views[${index}].shape`, \"must be a JSON Schema object\");\n\t\tif (view.scope !== \"tenant-space\") fail(`${path}.views[${index}].scope`, 'must be \"tenant-space\"');\n\t\tif (!Number.isInteger(view.snapshotVersion) || (view.snapshotVersion as number) < 1) fail(`${path}.views[${index}].snapshotVersion`, \"must be a positive integer\");\n\t});\n\trequireArray(contract.events, `${path}.events`).forEach((entry, index) => {\n\t\tconst event = entry as Record<string, unknown>;\n\t\trequireString(event?.eventType, `${path}.events[${index}].eventType`);\n\t\tif (!Number.isInteger(event.schemaVersion)) fail(`${path}.events[${index}].schemaVersion`, \"must be an integer\");\n\t});\n\tif (contract.extensions !== undefined) {\n\t\tif (!contract.extensions || typeof contract.extensions !== \"object\" || Array.isArray(contract.extensions)) fail(`${path}.extensions`, \"must be an object\");\n\t\tfor (const namespace of Object.keys(contract.extensions as Record<string, unknown>)) {\n\t\t\tif (!/^[a-z][a-z0-9.-]*\\.[a-z0-9.-]+\\/v[1-9][0-9]*$/.test(namespace)) {\n\t\t\t\tfail(`${path}.extensions`, `has invalid extension namespace \"${namespace}\"`);\n\t\t\t}\n\t\t}\n\t}\n}\n\nexport function assertUsageContractDocument(value: unknown): asserts value is UsageContractDocument {\n\tif (!value || typeof value !== \"object\" || Array.isArray(value)) fail(\"document\", \"must be an object\");\n\tconst document = value as Record<string, unknown>;\n\tif (!/^[0-9a-f]{64}$/.test(String(document.manifestDigest))) fail(\"document.manifestDigest\", \"must be a lowercase SHA-256 digest\");\n\tconst generator = document.generator as { name?: unknown; version?: unknown } | undefined;\n\tif (!generator || typeof generator !== \"object\" || Array.isArray(generator)) fail(\"document.generator\", \"must be an object\");\n\trequireString(generator.name, \"document.generator.name\");\n\trequireString(generator.version, \"document.generator.version\");\n\tassertUsageContract(document.capability);\n}\n\n/** Machine-readable shape of the usage contract, for adopters that validate with their own tooling. */\nexport const USAGE_CONTRACT_JSON_SCHEMA: PortableJsonSchema = {\n\t$schema: \"https://json-schema.org/draft/2020-12/schema\",\n\ttitle: \"Fabric capability usage contract\",\n\ttype: \"object\",\n\trequired: [\"formatVersion\", \"namespace\", \"displayName\", \"description\", \"stability\", \"actions\", \"views\", \"events\"],\n\tproperties: {\n\t\tformatVersion: { type: \"integer\", enum: [USAGE_CONTRACT_FORMAT_VERSION] },\n\t\tnamespace: { type: \"string\", pattern: \"^[a-z][a-z0-9-]*$\" },\n\t\tversion: { type: \"string\" },\n\t\tdisplayName: { type: \"string\", minLength: 1 },\n\t\tdescription: { type: \"string\", minLength: 1 },\n\t\tstability: { type: \"string\", enum: [...STABILITIES] },\n\t\tdeprecated: { type: \"object\" },\n\t\trequirements: { type: \"object\" },\n\t\tcertification: { type: \"object\" },\n\t\textensions: { type: \"object\" },\n\t\tactions: {\n\t\t\ttype: \"array\",\n\t\t\titems: {\n\t\t\t\ttype: \"object\",\n\t\t\t\trequired: [\"actionId\", \"version\"],\n\t\t\t\tproperties: {\n\t\t\t\t\tactionId: { type: \"string\" },\n\t\t\t\t\tversion: { type: \"integer\" },\n\t\t\t\t\tparameterSchema: { type: \"object\" },\n\t\t\t\t\tresultSchema: { type: \"object\" },\n\t\t\t\t\trequiredRoles: { type: \"array\", items: { type: \"string\" } },\n\t\t\t\t\trequiredPermissions: { type: \"array\", items: { type: \"string\" } },\n\t\t\t\t\texecution: { type: \"object\" },\n\t\t\t\t},\n\t\t\t},\n\t\t},\n\t\tviews: {\n\t\t\ttype: \"array\",\n\t\t\titems: {\n\t\t\t\ttype: \"object\",\n\t\t\t\trequired: [\"name\", \"version\", \"shape\", \"scope\", \"snapshotVersion\"],\n\t\t\t\tproperties: {\n\t\t\t\t\tname: { type: \"string\" },\n\t\t\t\t\tversion: { type: \"string\" },\n\t\t\t\t\tshape: { type: \"object\" },\n\t\t\t\t\tscope: { type: \"string\", enum: [\"tenant-space\"] },\n\t\t\t\t\tsnapshotVersion: { type: \"integer\" },\n\t\t\t\t\tusage: { type: \"object\" },\n\t\t\t\t},\n\t\t\t},\n\t\t},\n\t\tevents: {\n\t\t\ttype: \"array\",\n\t\t\titems: {\n\t\t\t\ttype: \"object\",\n\t\t\t\trequired: [\"eventType\", \"schemaVersion\"],\n\t\t\t\tproperties: {\n\t\t\t\t\teventType: { type: \"string\" },\n\t\t\t\t\tschemaVersion: { type: \"integer\" },\n\t\t\t\t\tdescription: { type: \"string\" },\n\t\t\t\t\tschema: { type: \"object\" },\n\t\t\t\t},\n\t\t\t},\n\t\t},\n\t},\n};\n\nexport function buildUsageContract(module: ModuleManifest): UsageContract | undefined {\n\tconst capability = module.capability;\n\tif (!capability) return undefined;\n\treturn {\n\t\tformatVersion: USAGE_CONTRACT_FORMAT_VERSION,\n\t\tnamespace: module.namespace,\n\t\t...(module.version === undefined ? {} : { version: module.version }),\n\t\tdisplayName: capability.displayName,\n\t\tdescription: capability.description,\n\t\tstability: capability.stability,\n\t\t...(capability.deprecated === undefined ? {} : { deprecated: capability.deprecated }),\n\t\t...(capability.requirements === undefined ? {} : { requirements: capability.requirements }),\n\t\t...(capability.certification === undefined ? {} : { certification: capability.certification }),\n\t\t...(capability.extensions === undefined ? {} : { extensions: capability.extensions }),\n\t\tactions: module.actions.map(({ actionId, version, parameterSchema, resultSchema, requiredRoles, requiredPermissions, execution }) => ({\n\t\t\tactionId,\n\t\t\tversion,\n\t\t\tparameterSchema,\n\t\t\tresultSchema,\n\t\t\trequiredRoles,\n\t\t\trequiredPermissions,\n\t\t\texecution,\n\t\t})),\n\t\tviews: module.views.map(({ name, version, shape, scope, snapshotVersion, usage }) => ({ name, version, shape, scope, snapshotVersion, usage })),\n\t\tevents: module.eventTypes.map(({ eventType, schemaVersion, description, schema }) => ({ eventType, schemaVersion, description, schema })),\n\t};\n}\n\nexport const capabilityGenerator: GeneratorTarget = {\n\tname: \"@fabricorg/gen-capability\",\n\tversion: \"0.4.0\",\n\tgenerate(ir) {\n\t\treturn ir.modules.flatMap((module) => {\n\t\t\tconst capability = buildUsageContract(module);\n\t\t\tif (!capability) return [];\n\t\t\tassertUsageContract(capability);\n\t\t\tconst document: UsageContractDocument = {\n\t\t\t\tgenerator: { name: capabilityGenerator.name, version: capabilityGenerator.version },\n\t\t\t\tmanifestDigest: ir.manifestDigest,\n\t\t\t\tcapability,\n\t\t\t};\n\t\t\treturn [{ path: `${module.namespace}/capability.json`, content: stableStringify(document) }];\n\t\t});\n\t},\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,sBAAsD;AAc/C,IAAM,gCAAgC;AAwD7C,IAAM,cAAc,CAAC,gBAAgB,QAAQ,UAAU,YAAY;AAEnE,SAAS,KAAK,MAAc,SAAwB;AACnD,QAAM,IAAI,MAAM,kBAAkB,IAAI,IAAI,OAAO,GAAG;AACrD;AAEA,SAAS,cAAc,OAAgB,MAAsB;AAC5D,MAAI,OAAO,UAAU,YAAY,CAAC,MAAM,KAAK,EAAG,MAAK,MAAM,4BAA4B;AACvF,SAAO;AACR;AAEA,SAAS,aAAa,OAAgB,MAAyB;AAC9D,MAAI,CAAC,MAAM,QAAQ,KAAK,EAAG,MAAK,MAAM,kBAAkB;AACxD,SAAO;AACR;AAOO,SAAS,oBAAoB,OAAgB,OAAO,cAA8C;AACxG,MAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,EAAG,MAAK,MAAM,mBAAmB;AAC/F,QAAM,WAAW;AACjB,MAAI,SAAS,kBAAkB,+BAA+B;AAC7D,SAAK,GAAG,IAAI,kBAAkB,WAAW,6BAA6B,cAAc,KAAK,UAAU,SAAS,aAAa,CAAC,EAAE;AAAA,EAC7H;AACA,MAAI,CAAC,oBAAoB,KAAK,cAAc,SAAS,WAAW,GAAG,IAAI,YAAY,CAAC,GAAG;AACtF,SAAK,GAAG,IAAI,cAAc,gDAAgD;AAAA,EAC3E;AACA,gBAAc,SAAS,aAAa,GAAG,IAAI,cAAc;AACzD,gBAAc,SAAS,aAAa,GAAG,IAAI,cAAc;AACzD,MAAI,CAAC,YAAY,SAAS,SAAS,SAAmB,GAAG;AACxD,SAAK,GAAG,IAAI,cAAc,kBAAkB,YAAY,KAAK,IAAI,CAAC,EAAE;AAAA,EACrE;AACA,QAAM,YAAY,oBAAI,IAAY;AAClC,eAAa,SAAS,SAAS,GAAG,IAAI,UAAU,EAAE,QAAQ,CAAC,OAAO,UAAU;AAC3E,UAAM,SAAS;AACf,UAAM,WAAW,cAAc,QAAQ,UAAU,GAAG,IAAI,YAAY,KAAK,YAAY;AACrF,QAAI,UAAU,IAAI,QAAQ,EAAG,MAAK,GAAG,IAAI,YAAY,KAAK,KAAK,qBAAqB,QAAQ,GAAG;AAC/F,cAAU,IAAI,QAAQ;AACtB,QAAI,CAAC,OAAO,UAAU,OAAO,OAAO,EAAG,MAAK,GAAG,IAAI,YAAY,KAAK,aAAa,oBAAoB;AACrG,QAAI,OAAO,kBAAkB,UAAa,CAAC,MAAM,QAAQ,OAAO,aAAa,EAAG,MAAK,GAAG,IAAI,YAAY,KAAK,mBAAmB,kBAAkB;AAClJ,QAAI,OAAO,wBAAwB,UAAa,CAAC,MAAM,QAAQ,OAAO,mBAAmB,EAAG,MAAK,GAAG,IAAI,YAAY,KAAK,yBAAyB,kBAAkB;AAAA,EACrK,CAAC;AACD,QAAM,WAAW,oBAAI,IAAY;AACjC,eAAa,SAAS,OAAO,GAAG,IAAI,QAAQ,EAAE,QAAQ,CAAC,OAAO,UAAU;AACvE,UAAM,OAAO;AACb,UAAM,OAAO,cAAc,MAAM,MAAM,GAAG,IAAI,UAAU,KAAK,QAAQ;AACrE,UAAM,UAAU,cAAc,MAAM,SAAS,GAAG,IAAI,UAAU,KAAK,WAAW;AAC9E,UAAM,MAAM,GAAG,IAAI,IAAI,OAAO;AAC9B,QAAI,SAAS,IAAI,GAAG,EAAG,MAAK,GAAG,IAAI,UAAU,KAAK,KAAK,iBAAiB,GAAG,GAAG;AAC9E,aAAS,IAAI,GAAG;AAChB,QAAI,CAAC,KAAK,SAAS,OAAO,KAAK,UAAU,YAAY,MAAM,QAAQ,KAAK,KAAK,EAAG,MAAK,GAAG,IAAI,UAAU,KAAK,WAAW,8BAA8B;AACpJ,QAAI,KAAK,UAAU,eAAgB,MAAK,GAAG,IAAI,UAAU,KAAK,WAAW,wBAAwB;AACjG,QAAI,CAAC,OAAO,UAAU,KAAK,eAAe,KAAM,KAAK,kBAA6B,EAAG,MAAK,GAAG,IAAI,UAAU,KAAK,qBAAqB,4BAA4B;AAAA,EAClK,CAAC;AACD,eAAa,SAAS,QAAQ,GAAG,IAAI,SAAS,EAAE,QAAQ,CAAC,OAAO,UAAU;AACzE,UAAM,QAAQ;AACd,kBAAc,OAAO,WAAW,GAAG,IAAI,WAAW,KAAK,aAAa;AACpE,QAAI,CAAC,OAAO,UAAU,MAAM,aAAa,EAAG,MAAK,GAAG,IAAI,WAAW,KAAK,mBAAmB,oBAAoB;AAAA,EAChH,CAAC;AACD,MAAI,SAAS,eAAe,QAAW;AACtC,QAAI,CAAC,SAAS,cAAc,OAAO,SAAS,eAAe,YAAY,MAAM,QAAQ,SAAS,UAAU,EAAG,MAAK,GAAG,IAAI,eAAe,mBAAmB;AACzJ,eAAW,aAAa,OAAO,KAAK,SAAS,UAAqC,GAAG;AACpF,UAAI,CAAC,gDAAgD,KAAK,SAAS,GAAG;AACrE,aAAK,GAAG,IAAI,eAAe,oCAAoC,SAAS,GAAG;AAAA,MAC5E;AAAA,IACD;AAAA,EACD;AACD;AAEO,SAAS,4BAA4B,OAAwD;AACnG,MAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,EAAG,MAAK,YAAY,mBAAmB;AACrG,QAAM,WAAW;AACjB,MAAI,CAAC,iBAAiB,KAAK,OAAO,SAAS,cAAc,CAAC,EAAG,MAAK,2BAA2B,oCAAoC;AACjI,QAAM,YAAY,SAAS;AAC3B,MAAI,CAAC,aAAa,OAAO,cAAc,YAAY,MAAM,QAAQ,SAAS,EAAG,MAAK,sBAAsB,mBAAmB;AAC3H,gBAAc,UAAU,MAAM,yBAAyB;AACvD,gBAAc,UAAU,SAAS,4BAA4B;AAC7D,sBAAoB,SAAS,UAAU;AACxC;AAGO,IAAM,6BAAiD;AAAA,EAC7D,SAAS;AAAA,EACT,OAAO;AAAA,EACP,MAAM;AAAA,EACN,UAAU,CAAC,iBAAiB,aAAa,eAAe,eAAe,aAAa,WAAW,SAAS,QAAQ;AAAA,EAChH,YAAY;AAAA,IACX,eAAe,EAAE,MAAM,WAAW,MAAM,CAAC,6BAA6B,EAAE;AAAA,IACxE,WAAW,EAAE,MAAM,UAAU,SAAS,oBAAoB;AAAA,IAC1D,SAAS,EAAE,MAAM,SAAS;AAAA,IAC1B,aAAa,EAAE,MAAM,UAAU,WAAW,EAAE;AAAA,IAC5C,aAAa,EAAE,MAAM,UAAU,WAAW,EAAE;AAAA,IAC5C,WAAW,EAAE,MAAM,UAAU,MAAM,CAAC,GAAG,WAAW,EAAE;AAAA,IACpD,YAAY,EAAE,MAAM,SAAS;AAAA,IAC7B,cAAc,EAAE,MAAM,SAAS;AAAA,IAC/B,eAAe,EAAE,MAAM,SAAS;AAAA,IAChC,YAAY,EAAE,MAAM,SAAS;AAAA,IAC7B,SAAS;AAAA,MACR,MAAM;AAAA,MACN,OAAO;AAAA,QACN,MAAM;AAAA,QACN,UAAU,CAAC,YAAY,SAAS;AAAA,QAChC,YAAY;AAAA,UACX,UAAU,EAAE,MAAM,SAAS;AAAA,UAC3B,SAAS,EAAE,MAAM,UAAU;AAAA,UAC3B,iBAAiB,EAAE,MAAM,SAAS;AAAA,UAClC,cAAc,EAAE,MAAM,SAAS;AAAA,UAC/B,eAAe,EAAE,MAAM,SAAS,OAAO,EAAE,MAAM,SAAS,EAAE;AAAA,UAC1D,qBAAqB,EAAE,MAAM,SAAS,OAAO,EAAE,MAAM,SAAS,EAAE;AAAA,UAChE,WAAW,EAAE,MAAM,SAAS;AAAA,QAC7B;AAAA,MACD;AAAA,IACD;AAAA,IACA,OAAO;AAAA,MACN,MAAM;AAAA,MACN,OAAO;AAAA,QACN,MAAM;AAAA,QACN,UAAU,CAAC,QAAQ,WAAW,SAAS,SAAS,iBAAiB;AAAA,QACjE,YAAY;AAAA,UACX,MAAM,EAAE,MAAM,SAAS;AAAA,UACvB,SAAS,EAAE,MAAM,SAAS;AAAA,UAC1B,OAAO,EAAE,MAAM,SAAS;AAAA,UACxB,OAAO,EAAE,MAAM,UAAU,MAAM,CAAC,cAAc,EAAE;AAAA,UAChD,iBAAiB,EAAE,MAAM,UAAU;AAAA,UACnC,OAAO,EAAE,MAAM,SAAS;AAAA,QACzB;AAAA,MACD;AAAA,IACD;AAAA,IACA,QAAQ;AAAA,MACP,MAAM;AAAA,MACN,OAAO;AAAA,QACN,MAAM;AAAA,QACN,UAAU,CAAC,aAAa,eAAe;AAAA,QACvC,YAAY;AAAA,UACX,WAAW,EAAE,MAAM,SAAS;AAAA,UAC5B,eAAe,EAAE,MAAM,UAAU;AAAA,UACjC,aAAa,EAAE,MAAM,SAAS;AAAA,UAC9B,QAAQ,EAAE,MAAM,SAAS;AAAA,QAC1B;AAAA,MACD;AAAA,IACD;AAAA,EACD;AACD;AAEO,SAAS,mBAAmBA,SAAmD;AACrF,QAAM,aAAaA,QAAO;AAC1B,MAAI,CAAC,WAAY,QAAO;AACxB,SAAO;AAAA,IACN,eAAe;AAAA,IACf,WAAWA,QAAO;AAAA,IAClB,GAAIA,QAAO,YAAY,SAAY,CAAC,IAAI,EAAE,SAASA,QAAO,QAAQ;AAAA,IAClE,aAAa,WAAW;AAAA,IACxB,aAAa,WAAW;AAAA,IACxB,WAAW,WAAW;AAAA,IACtB,GAAI,WAAW,eAAe,SAAY,CAAC,IAAI,EAAE,YAAY,WAAW,WAAW;AAAA,IACnF,GAAI,WAAW,iBAAiB,SAAY,CAAC,IAAI,EAAE,cAAc,WAAW,aAAa;AAAA,IACzF,GAAI,WAAW,kBAAkB,SAAY,CAAC,IAAI,EAAE,eAAe,WAAW,cAAc;AAAA,IAC5F,GAAI,WAAW,eAAe,SAAY,CAAC,IAAI,EAAE,YAAY,WAAW,WAAW;AAAA,IACnF,SAASA,QAAO,QAAQ,IAAI,CAAC,EAAE,UAAU,SAAS,iBAAiB,cAAc,eAAe,qBAAqB,UAAU,OAAO;AAAA,MACrI;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACD,EAAE;AAAA,IACF,OAAOA,QAAO,MAAM,IAAI,CAAC,EAAE,MAAM,SAAS,OAAO,OAAO,iBAAiB,MAAM,OAAO,EAAE,MAAM,SAAS,OAAO,OAAO,iBAAiB,MAAM,EAAE;AAAA,IAC9I,QAAQA,QAAO,WAAW,IAAI,CAAC,EAAE,WAAW,eAAe,aAAa,OAAO,OAAO,EAAE,WAAW,eAAe,aAAa,OAAO,EAAE;AAAA,EACzI;AACD;AAEO,IAAM,sBAAuC;AAAA,EACnD,MAAM;AAAA,EACN,SAAS;AAAA,EACT,SAAS,IAAI;AACZ,WAAO,GAAG,QAAQ,QAAQ,CAACA,YAAW;AACrC,YAAM,aAAa,mBAAmBA,OAAM;AAC5C,UAAI,CAAC,WAAY,QAAO,CAAC;AACzB,0BAAoB,UAAU;AAC9B,YAAM,WAAkC;AAAA,QACvC,WAAW,EAAE,MAAM,oBAAoB,MAAM,SAAS,oBAAoB,QAAQ;AAAA,QAClF,gBAAgB,GAAG;AAAA,QACnB;AAAA,MACD;AACA,aAAO,CAAC,EAAE,MAAM,GAAGA,QAAO,SAAS,oBAAoB,aAAS,iCAAgB,QAAQ,EAAE,CAAC;AAAA,IAC5F,CAAC;AAAA,EACF;AACD;","names":["module"]}

package/dist/index.d.cts

@@ -1,5 +1,74 @@
 import { GeneratorTarget } from '@fabricorg/compiler';
+import { PortableJsonSchema, CapabilityMetadata, JsonValue, ActionExecutionContract, ModuleManifest } from '@fabricorg/platform';
 
+/**
+ * Version of the usage contract document. Adopters negotiate on this, not on the
+ * generator's package version, and bump it only when the serialized shape changes
+ * in a way a consumer must detect.
+ */
+declare const USAGE_CONTRACT_FORMAT_VERSION: 1;
+interface UsageContractAction {
+    actionId: string;
+    version: number;
+    parameterSchema?: unknown;
+    resultSchema?: unknown;
+    requiredRoles?: string[];
+    requiredPermissions?: string[];
+    execution?: ActionExecutionContract;
+}
+interface UsageContractView {
+    name: string;
+    version: string;
+    shape: PortableJsonSchema;
+    scope: "tenant-space";
+    snapshotVersion: number;
+    usage?: ModuleManifest["views"][number]["usage"];
+}
+interface UsageContractEvent {
+    eventType: string;
+    schemaVersion: number;
+    description?: string;
+    schema?: PortableJsonSchema;
+}
+/**
+ * What a capability promises its adopters: the governed operations it dispatches,
+ * the view payloads it serves, the events it emits, and the namespaced extensions
+ * an experience system interprets. Experience semantics stay inside `extensions`,
+ * where ADR 0006 put them — this document never interprets them.
+ */
+interface UsageContract {
+    formatVersion: typeof USAGE_CONTRACT_FORMAT_VERSION;
+    namespace: string;
+    version?: string;
+    displayName: string;
+    description: string;
+    stability: CapabilityMetadata["stability"];
+    deprecated?: CapabilityMetadata["deprecated"];
+    requirements?: CapabilityMetadata["requirements"];
+    certification?: CapabilityMetadata["certification"];
+    extensions?: Record<string, JsonValue>;
+    actions: UsageContractAction[];
+    views: UsageContractView[];
+    events: UsageContractEvent[];
+}
+interface UsageContractDocument {
+    generator: {
+        name: string;
+        version: string;
+    };
+    manifestDigest: string;
+    capability: UsageContract;
+}
+/**
+ * Structural validation an adopter can run before binding against a contract.
+ * It checks the document's own shape; it does not re-validate the manifest it
+ * was generated from.
+ */
+declare function assertUsageContract(value: unknown, path?: string): asserts value is UsageContract;
+declare function assertUsageContractDocument(value: unknown): asserts value is UsageContractDocument;
+/** Machine-readable shape of the usage contract, for adopters that validate with their own tooling. */
+declare const USAGE_CONTRACT_JSON_SCHEMA: PortableJsonSchema;
+declare function buildUsageContract(module: ModuleManifest): UsageContract | undefined;
 declare const capabilityGenerator: GeneratorTarget;
 
-export { capabilityGenerator };
+export { USAGE_CONTRACT_FORMAT_VERSION, USAGE_CONTRACT_JSON_SCHEMA, type UsageContract, type UsageContractAction, type UsageContractDocument, type UsageContractEvent, type UsageContractView, assertUsageContract, assertUsageContractDocument, buildUsageContract, capabilityGenerator };

package/dist/index.d.ts

@@ -1,5 +1,74 @@
 import { GeneratorTarget } from '@fabricorg/compiler';
+import { PortableJsonSchema, CapabilityMetadata, JsonValue, ActionExecutionContract, ModuleManifest } from '@fabricorg/platform';
 
+/**
+ * Version of the usage contract document. Adopters negotiate on this, not on the
+ * generator's package version, and bump it only when the serialized shape changes
+ * in a way a consumer must detect.
+ */
+declare const USAGE_CONTRACT_FORMAT_VERSION: 1;
+interface UsageContractAction {
+    actionId: string;
+    version: number;
+    parameterSchema?: unknown;
+    resultSchema?: unknown;
+    requiredRoles?: string[];
+    requiredPermissions?: string[];
+    execution?: ActionExecutionContract;
+}
+interface UsageContractView {
+    name: string;
+    version: string;
+    shape: PortableJsonSchema;
+    scope: "tenant-space";
+    snapshotVersion: number;
+    usage?: ModuleManifest["views"][number]["usage"];
+}
+interface UsageContractEvent {
+    eventType: string;
+    schemaVersion: number;
+    description?: string;
+    schema?: PortableJsonSchema;
+}
+/**
+ * What a capability promises its adopters: the governed operations it dispatches,
+ * the view payloads it serves, the events it emits, and the namespaced extensions
+ * an experience system interprets. Experience semantics stay inside `extensions`,
+ * where ADR 0006 put them — this document never interprets them.
+ */
+interface UsageContract {
+    formatVersion: typeof USAGE_CONTRACT_FORMAT_VERSION;
+    namespace: string;
+    version?: string;
+    displayName: string;
+    description: string;
+    stability: CapabilityMetadata["stability"];
+    deprecated?: CapabilityMetadata["deprecated"];
+    requirements?: CapabilityMetadata["requirements"];
+    certification?: CapabilityMetadata["certification"];
+    extensions?: Record<string, JsonValue>;
+    actions: UsageContractAction[];
+    views: UsageContractView[];
+    events: UsageContractEvent[];
+}
+interface UsageContractDocument {
+    generator: {
+        name: string;
+        version: string;
+    };
+    manifestDigest: string;
+    capability: UsageContract;
+}
+/**
+ * Structural validation an adopter can run before binding against a contract.
+ * It checks the document's own shape; it does not re-validate the manifest it
+ * was generated from.
+ */
+declare function assertUsageContract(value: unknown, path?: string): asserts value is UsageContract;
+declare function assertUsageContractDocument(value: unknown): asserts value is UsageContractDocument;
+/** Machine-readable shape of the usage contract, for adopters that validate with their own tooling. */
+declare const USAGE_CONTRACT_JSON_SCHEMA: PortableJsonSchema;
+declare function buildUsageContract(module: ModuleManifest): UsageContract | undefined;
 declare const capabilityGenerator: GeneratorTarget;
 
-export { capabilityGenerator };
+export { USAGE_CONTRACT_FORMAT_VERSION, USAGE_CONTRACT_JSON_SCHEMA, type UsageContract, type UsageContractAction, type UsageContractDocument, type UsageContractEvent, type UsageContractView, assertUsageContract, assertUsageContractDocument, buildUsageContract, capabilityGenerator };

package/dist/index.js

@@ -1,9 +1,190 @@
 // index.ts
 import { stableStringify } from "@fabricorg/compiler";
-var capabilityGenerator = { name: "@fabricorg/gen-capability", version: "0.3.1", generate(ir) {
-  return ir.modules.filter((module) => module.capability).map((module) => ({ path: `${module.namespace}/capability.json`, content: stableStringify({ generator: { name: capabilityGenerator.name, version: capabilityGenerator.version }, manifestDigest: ir.manifestDigest, capability: { namespace: module.namespace, version: module.version, ...module.capability, actions: module.actions.map(({ actionId, version, parameterSchema, resultSchema, requiredRoles, requiredPermissions, execution }) => ({ actionId, version, parameterSchema, resultSchema, requiredRoles, requiredPermissions, execution })), views: module.views, events: module.eventTypes } }) }));
-} };
+var USAGE_CONTRACT_FORMAT_VERSION = 1;
+var STABILITIES = ["experimental", "beta", "stable", "deprecated"];
+function fail(path, message) {
+  throw new Error(`Usage contract ${path} ${message}.`);
+}
+function requireString(value, path) {
+  if (typeof value !== "string" || !value.trim()) fail(path, "must be a non-empty string");
+  return value;
+}
+function requireArray(value, path) {
+  if (!Array.isArray(value)) fail(path, "must be an array");
+  return value;
+}
+function assertUsageContract(value, path = "capability") {
+  if (!value || typeof value !== "object" || Array.isArray(value)) fail(path, "must be an object");
+  const contract = value;
+  if (contract.formatVersion !== USAGE_CONTRACT_FORMAT_VERSION) {
+    fail(`${path}.formatVersion`, `must be ${USAGE_CONTRACT_FORMAT_VERSION}, received ${JSON.stringify(contract.formatVersion)}`);
+  }
+  if (!/^[a-z][a-z0-9-]*$/.test(requireString(contract.namespace, `${path}.namespace`))) {
+    fail(`${path}.namespace`, "must be lowercase letters, numbers and hyphens");
+  }
+  requireString(contract.displayName, `${path}.displayName`);
+  requireString(contract.description, `${path}.description`);
+  if (!STABILITIES.includes(contract.stability)) {
+    fail(`${path}.stability`, `must be one of ${STABILITIES.join(", ")}`);
+  }
+  const actionIds = /* @__PURE__ */ new Set();
+  requireArray(contract.actions, `${path}.actions`).forEach((entry, index) => {
+    const action = entry;
+    const actionId = requireString(action?.actionId, `${path}.actions[${index}].actionId`);
+    if (actionIds.has(actionId)) fail(`${path}.actions[${index}]`, `repeats actionId "${actionId}"`);
+    actionIds.add(actionId);
+    if (!Number.isInteger(action.version)) fail(`${path}.actions[${index}].version`, "must be an integer");
+    if (action.requiredRoles !== void 0 && !Array.isArray(action.requiredRoles)) fail(`${path}.actions[${index}].requiredRoles`, "must be an array");
+    if (action.requiredPermissions !== void 0 && !Array.isArray(action.requiredPermissions)) fail(`${path}.actions[${index}].requiredPermissions`, "must be an array");
+  });
+  const viewKeys = /* @__PURE__ */ new Set();
+  requireArray(contract.views, `${path}.views`).forEach((entry, index) => {
+    const view = entry;
+    const name = requireString(view?.name, `${path}.views[${index}].name`);
+    const version = requireString(view?.version, `${path}.views[${index}].version`);
+    const key = `${name}@${version}`;
+    if (viewKeys.has(key)) fail(`${path}.views[${index}]`, `repeats view "${key}"`);
+    viewKeys.add(key);
+    if (!view.shape || typeof view.shape !== "object" || Array.isArray(view.shape)) fail(`${path}.views[${index}].shape`, "must be a JSON Schema object");
+    if (view.scope !== "tenant-space") fail(`${path}.views[${index}].scope`, 'must be "tenant-space"');
+    if (!Number.isInteger(view.snapshotVersion) || view.snapshotVersion < 1) fail(`${path}.views[${index}].snapshotVersion`, "must be a positive integer");
+  });
+  requireArray(contract.events, `${path}.events`).forEach((entry, index) => {
+    const event = entry;
+    requireString(event?.eventType, `${path}.events[${index}].eventType`);
+    if (!Number.isInteger(event.schemaVersion)) fail(`${path}.events[${index}].schemaVersion`, "must be an integer");
+  });
+  if (contract.extensions !== void 0) {
+    if (!contract.extensions || typeof contract.extensions !== "object" || Array.isArray(contract.extensions)) fail(`${path}.extensions`, "must be an object");
+    for (const namespace of Object.keys(contract.extensions)) {
+      if (!/^[a-z][a-z0-9.-]*\.[a-z0-9.-]+\/v[1-9][0-9]*$/.test(namespace)) {
+        fail(`${path}.extensions`, `has invalid extension namespace "${namespace}"`);
+      }
+    }
+  }
+}
+function assertUsageContractDocument(value) {
+  if (!value || typeof value !== "object" || Array.isArray(value)) fail("document", "must be an object");
+  const document = value;
+  if (!/^[0-9a-f]{64}$/.test(String(document.manifestDigest))) fail("document.manifestDigest", "must be a lowercase SHA-256 digest");
+  const generator = document.generator;
+  if (!generator || typeof generator !== "object" || Array.isArray(generator)) fail("document.generator", "must be an object");
+  requireString(generator.name, "document.generator.name");
+  requireString(generator.version, "document.generator.version");
+  assertUsageContract(document.capability);
+}
+var USAGE_CONTRACT_JSON_SCHEMA = {
+  $schema: "https://json-schema.org/draft/2020-12/schema",
+  title: "Fabric capability usage contract",
+  type: "object",
+  required: ["formatVersion", "namespace", "displayName", "description", "stability", "actions", "views", "events"],
+  properties: {
+    formatVersion: { type: "integer", enum: [USAGE_CONTRACT_FORMAT_VERSION] },
+    namespace: { type: "string", pattern: "^[a-z][a-z0-9-]*$" },
+    version: { type: "string" },
+    displayName: { type: "string", minLength: 1 },
+    description: { type: "string", minLength: 1 },
+    stability: { type: "string", enum: [...STABILITIES] },
+    deprecated: { type: "object" },
+    requirements: { type: "object" },
+    certification: { type: "object" },
+    extensions: { type: "object" },
+    actions: {
+      type: "array",
+      items: {
+        type: "object",
+        required: ["actionId", "version"],
+        properties: {
+          actionId: { type: "string" },
+          version: { type: "integer" },
+          parameterSchema: { type: "object" },
+          resultSchema: { type: "object" },
+          requiredRoles: { type: "array", items: { type: "string" } },
+          requiredPermissions: { type: "array", items: { type: "string" } },
+          execution: { type: "object" }
+        }
+      }
+    },
+    views: {
+      type: "array",
+      items: {
+        type: "object",
+        required: ["name", "version", "shape", "scope", "snapshotVersion"],
+        properties: {
+          name: { type: "string" },
+          version: { type: "string" },
+          shape: { type: "object" },
+          scope: { type: "string", enum: ["tenant-space"] },
+          snapshotVersion: { type: "integer" },
+          usage: { type: "object" }
+        }
+      }
+    },
+    events: {
+      type: "array",
+      items: {
+        type: "object",
+        required: ["eventType", "schemaVersion"],
+        properties: {
+          eventType: { type: "string" },
+          schemaVersion: { type: "integer" },
+          description: { type: "string" },
+          schema: { type: "object" }
+        }
+      }
+    }
+  }
+};
+function buildUsageContract(module) {
+  const capability = module.capability;
+  if (!capability) return void 0;
+  return {
+    formatVersion: USAGE_CONTRACT_FORMAT_VERSION,
+    namespace: module.namespace,
+    ...module.version === void 0 ? {} : { version: module.version },
+    displayName: capability.displayName,
+    description: capability.description,
+    stability: capability.stability,
+    ...capability.deprecated === void 0 ? {} : { deprecated: capability.deprecated },
+    ...capability.requirements === void 0 ? {} : { requirements: capability.requirements },
+    ...capability.certification === void 0 ? {} : { certification: capability.certification },
+    ...capability.extensions === void 0 ? {} : { extensions: capability.extensions },
+    actions: module.actions.map(({ actionId, version, parameterSchema, resultSchema, requiredRoles, requiredPermissions, execution }) => ({
+      actionId,
+      version,
+      parameterSchema,
+      resultSchema,
+      requiredRoles,
+      requiredPermissions,
+      execution
+    })),
+    views: module.views.map(({ name, version, shape, scope, snapshotVersion, usage }) => ({ name, version, shape, scope, snapshotVersion, usage })),
+    events: module.eventTypes.map(({ eventType, schemaVersion, description, schema }) => ({ eventType, schemaVersion, description, schema }))
+  };
+}
+var capabilityGenerator = {
+  name: "@fabricorg/gen-capability",
+  version: "0.4.0",
+  generate(ir) {
+    return ir.modules.flatMap((module) => {
+      const capability = buildUsageContract(module);
+      if (!capability) return [];
+      assertUsageContract(capability);
+      const document = {
+        generator: { name: capabilityGenerator.name, version: capabilityGenerator.version },
+        manifestDigest: ir.manifestDigest,
+        capability
+      };
+      return [{ path: `${module.namespace}/capability.json`, content: stableStringify(document) }];
+    });
+  }
+};
 export {
+  USAGE_CONTRACT_FORMAT_VERSION,
+  USAGE_CONTRACT_JSON_SCHEMA,
+  assertUsageContract,
+  assertUsageContractDocument,
+  buildUsageContract,
   capabilityGenerator
 };
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../index.ts"],"sourcesContent":["import { stableStringify, type GeneratorTarget } from \"@fabricorg/compiler\";\nexport const capabilityGenerator: GeneratorTarget = { name:\"@fabricorg/gen-capability\", version:\"0.3.1\", generate(ir) { return ir.modules.filter((module) => module.capability).map((module) => ({ path:`${module.namespace}/capability.json`, content:stableStringify({ generator:{name:capabilityGenerator.name,version:capabilityGenerator.version},manifestDigest:ir.manifestDigest,capability:{namespace:module.namespace,version:module.version,...module.capability,actions:module.actions.map(({actionId,version,parameterSchema,resultSchema,requiredRoles,requiredPermissions,execution})=>({actionId,version,parameterSchema,resultSchema,requiredRoles,requiredPermissions,execution})),views:module.views,events:module.eventTypes}}) })); } };\n"],"mappings":";AAAA,SAAS,uBAA6C;AAC/C,IAAM,sBAAuC,EAAE,MAAK,6BAA6B,SAAQ,SAAS,SAAS,IAAI;AAAE,SAAO,GAAG,QAAQ,OAAO,CAAC,WAAW,OAAO,UAAU,EAAE,IAAI,CAAC,YAAY,EAAE,MAAK,GAAG,OAAO,SAAS,oBAAoB,SAAQ,gBAAgB,EAAE,WAAU,EAAC,MAAK,oBAAoB,MAAK,SAAQ,oBAAoB,QAAO,GAAE,gBAAe,GAAG,gBAAe,YAAW,EAAC,WAAU,OAAO,WAAU,SAAQ,OAAO,SAAQ,GAAG,OAAO,YAAW,SAAQ,OAAO,QAAQ,IAAI,CAAC,EAAC,UAAS,SAAQ,iBAAgB,cAAa,eAAc,qBAAoB,UAAS,OAAK,EAAC,UAAS,SAAQ,iBAAgB,cAAa,eAAc,qBAAoB,UAAS,EAAE,GAAE,OAAM,OAAO,OAAM,QAAO,OAAO,WAAU,EAAC,CAAC,EAAE,EAAE;AAAG,EAAE;","names":[]}
+{"version":3,"sources":["../index.ts"],"sourcesContent":["import { stableStringify, type GeneratorTarget } from \"@fabricorg/compiler\";\nimport type {\n\tActionExecutionContract,\n\tCapabilityMetadata,\n\tJsonValue,\n\tModuleManifest,\n\tPortableJsonSchema,\n} from \"@fabricorg/platform\";\n\n/**\n * Version of the usage contract document. Adopters negotiate on this, not on the\n * generator's package version, and bump it only when the serialized shape changes\n * in a way a consumer must detect.\n */\nexport const USAGE_CONTRACT_FORMAT_VERSION = 1 as const;\n\nexport interface UsageContractAction {\n\tactionId: string;\n\tversion: number;\n\tparameterSchema?: unknown;\n\tresultSchema?: unknown;\n\trequiredRoles?: string[];\n\trequiredPermissions?: string[];\n\texecution?: ActionExecutionContract;\n}\n\nexport interface UsageContractView {\n\tname: string;\n\tversion: string;\n\tshape: PortableJsonSchema;\n\tscope: \"tenant-space\";\n\tsnapshotVersion: number;\n\tusage?: ModuleManifest[\"views\"][number][\"usage\"];\n}\n\nexport interface UsageContractEvent {\n\teventType: string;\n\tschemaVersion: number;\n\tdescription?: string;\n\tschema?: PortableJsonSchema;\n}\n\n/**\n * What a capability promises its adopters: the governed operations it dispatches,\n * the view payloads it serves, the events it emits, and the namespaced extensions\n * an experience system interprets. Experience semantics stay inside `extensions`,\n * where ADR 0006 put them — this document never interprets them.\n */\nexport interface UsageContract {\n\tformatVersion: typeof USAGE_CONTRACT_FORMAT_VERSION;\n\tnamespace: string;\n\tversion?: string;\n\tdisplayName: string;\n\tdescription: string;\n\tstability: CapabilityMetadata[\"stability\"];\n\tdeprecated?: CapabilityMetadata[\"deprecated\"];\n\trequirements?: CapabilityMetadata[\"requirements\"];\n\tcertification?: CapabilityMetadata[\"certification\"];\n\textensions?: Record<string, JsonValue>;\n\tactions: UsageContractAction[];\n\tviews: UsageContractView[];\n\tevents: UsageContractEvent[];\n}\n\nexport interface UsageContractDocument {\n\tgenerator: { name: string; version: string };\n\tmanifestDigest: string;\n\tcapability: UsageContract;\n}\n\nconst STABILITIES = [\"experimental\", \"beta\", \"stable\", \"deprecated\"];\n\nfunction fail(path: string, message: string): never {\n\tthrow new Error(`Usage contract ${path} ${message}.`);\n}\n\nfunction requireString(value: unknown, path: string): string {\n\tif (typeof value !== \"string\" || !value.trim()) fail(path, \"must be a non-empty string\");\n\treturn value;\n}\n\nfunction requireArray(value: unknown, path: string): unknown[] {\n\tif (!Array.isArray(value)) fail(path, \"must be an array\");\n\treturn value;\n}\n\n/**\n * Structural validation an adopter can run before binding against a contract.\n * It checks the document's own shape; it does not re-validate the manifest it\n * was generated from.\n */\nexport function assertUsageContract(value: unknown, path = \"capability\"): asserts value is UsageContract {\n\tif (!value || typeof value !== \"object\" || Array.isArray(value)) fail(path, \"must be an object\");\n\tconst contract = value as Record<string, unknown>;\n\tif (contract.formatVersion !== USAGE_CONTRACT_FORMAT_VERSION) {\n\t\tfail(`${path}.formatVersion`, `must be ${USAGE_CONTRACT_FORMAT_VERSION}, received ${JSON.stringify(contract.formatVersion)}`);\n\t}\n\tif (!/^[a-z][a-z0-9-]*$/.test(requireString(contract.namespace, `${path}.namespace`))) {\n\t\tfail(`${path}.namespace`, \"must be lowercase letters, numbers and hyphens\");\n\t}\n\trequireString(contract.displayName, `${path}.displayName`);\n\trequireString(contract.description, `${path}.description`);\n\tif (!STABILITIES.includes(contract.stability as string)) {\n\t\tfail(`${path}.stability`, `must be one of ${STABILITIES.join(\", \")}`);\n\t}\n\tconst actionIds = new Set<string>();\n\trequireArray(contract.actions, `${path}.actions`).forEach((entry, index) => {\n\t\tconst action = entry as Record<string, unknown>;\n\t\tconst actionId = requireString(action?.actionId, `${path}.actions[${index}].actionId`);\n\t\tif (actionIds.has(actionId)) fail(`${path}.actions[${index}]`, `repeats actionId \"${actionId}\"`);\n\t\tactionIds.add(actionId);\n\t\tif (!Number.isInteger(action.version)) fail(`${path}.actions[${index}].version`, \"must be an integer\");\n\t\tif (action.requiredRoles !== undefined && !Array.isArray(action.requiredRoles)) fail(`${path}.actions[${index}].requiredRoles`, \"must be an array\");\n\t\tif (action.requiredPermissions !== undefined && !Array.isArray(action.requiredPermissions)) fail(`${path}.actions[${index}].requiredPermissions`, \"must be an array\");\n\t});\n\tconst viewKeys = new Set<string>();\n\trequireArray(contract.views, `${path}.views`).forEach((entry, index) => {\n\t\tconst view = entry as Record<string, unknown>;\n\t\tconst name = requireString(view?.name, `${path}.views[${index}].name`);\n\t\tconst version = requireString(view?.version, `${path}.views[${index}].version`);\n\t\tconst key = `${name}@${version}`;\n\t\tif (viewKeys.has(key)) fail(`${path}.views[${index}]`, `repeats view \"${key}\"`);\n\t\tviewKeys.add(key);\n\t\tif (!view.shape || typeof view.shape !== \"object\" || Array.isArray(view.shape)) fail(`${path}.views[${index}].shape`, \"must be a JSON Schema object\");\n\t\tif (view.scope !== \"tenant-space\") fail(`${path}.views[${index}].scope`, 'must be \"tenant-space\"');\n\t\tif (!Number.isInteger(view.snapshotVersion) || (view.snapshotVersion as number) < 1) fail(`${path}.views[${index}].snapshotVersion`, \"must be a positive integer\");\n\t});\n\trequireArray(contract.events, `${path}.events`).forEach((entry, index) => {\n\t\tconst event = entry as Record<string, unknown>;\n\t\trequireString(event?.eventType, `${path}.events[${index}].eventType`);\n\t\tif (!Number.isInteger(event.schemaVersion)) fail(`${path}.events[${index}].schemaVersion`, \"must be an integer\");\n\t});\n\tif (contract.extensions !== undefined) {\n\t\tif (!contract.extensions || typeof contract.extensions !== \"object\" || Array.isArray(contract.extensions)) fail(`${path}.extensions`, \"must be an object\");\n\t\tfor (const namespace of Object.keys(contract.extensions as Record<string, unknown>)) {\n\t\t\tif (!/^[a-z][a-z0-9.-]*\\.[a-z0-9.-]+\\/v[1-9][0-9]*$/.test(namespace)) {\n\t\t\t\tfail(`${path}.extensions`, `has invalid extension namespace \"${namespace}\"`);\n\t\t\t}\n\t\t}\n\t}\n}\n\nexport function assertUsageContractDocument(value: unknown): asserts value is UsageContractDocument {\n\tif (!value || typeof value !== \"object\" || Array.isArray(value)) fail(\"document\", \"must be an object\");\n\tconst document = value as Record<string, unknown>;\n\tif (!/^[0-9a-f]{64}$/.test(String(document.manifestDigest))) fail(\"document.manifestDigest\", \"must be a lowercase SHA-256 digest\");\n\tconst generator = document.generator as { name?: unknown; version?: unknown } | undefined;\n\tif (!generator || typeof generator !== \"object\" || Array.isArray(generator)) fail(\"document.generator\", \"must be an object\");\n\trequireString(generator.name, \"document.generator.name\");\n\trequireString(generator.version, \"document.generator.version\");\n\tassertUsageContract(document.capability);\n}\n\n/** Machine-readable shape of the usage contract, for adopters that validate with their own tooling. */\nexport const USAGE_CONTRACT_JSON_SCHEMA: PortableJsonSchema = {\n\t$schema: \"https://json-schema.org/draft/2020-12/schema\",\n\ttitle: \"Fabric capability usage contract\",\n\ttype: \"object\",\n\trequired: [\"formatVersion\", \"namespace\", \"displayName\", \"description\", \"stability\", \"actions\", \"views\", \"events\"],\n\tproperties: {\n\t\tformatVersion: { type: \"integer\", enum: [USAGE_CONTRACT_FORMAT_VERSION] },\n\t\tnamespace: { type: \"string\", pattern: \"^[a-z][a-z0-9-]*$\" },\n\t\tversion: { type: \"string\" },\n\t\tdisplayName: { type: \"string\", minLength: 1 },\n\t\tdescription: { type: \"string\", minLength: 1 },\n\t\tstability: { type: \"string\", enum: [...STABILITIES] },\n\t\tdeprecated: { type: \"object\" },\n\t\trequirements: { type: \"object\" },\n\t\tcertification: { type: \"object\" },\n\t\textensions: { type: \"object\" },\n\t\tactions: {\n\t\t\ttype: \"array\",\n\t\t\titems: {\n\t\t\t\ttype: \"object\",\n\t\t\t\trequired: [\"actionId\", \"version\"],\n\t\t\t\tproperties: {\n\t\t\t\t\tactionId: { type: \"string\" },\n\t\t\t\t\tversion: { type: \"integer\" },\n\t\t\t\t\tparameterSchema: { type: \"object\" },\n\t\t\t\t\tresultSchema: { type: \"object\" },\n\t\t\t\t\trequiredRoles: { type: \"array\", items: { type: \"string\" } },\n\t\t\t\t\trequiredPermissions: { type: \"array\", items: { type: \"string\" } },\n\t\t\t\t\texecution: { type: \"object\" },\n\t\t\t\t},\n\t\t\t},\n\t\t},\n\t\tviews: {\n\t\t\ttype: \"array\",\n\t\t\titems: {\n\t\t\t\ttype: \"object\",\n\t\t\t\trequired: [\"name\", \"version\", \"shape\", \"scope\", \"snapshotVersion\"],\n\t\t\t\tproperties: {\n\t\t\t\t\tname: { type: \"string\" },\n\t\t\t\t\tversion: { type: \"string\" },\n\t\t\t\t\tshape: { type: \"object\" },\n\t\t\t\t\tscope: { type: \"string\", enum: [\"tenant-space\"] },\n\t\t\t\t\tsnapshotVersion: { type: \"integer\" },\n\t\t\t\t\tusage: { type: \"object\" },\n\t\t\t\t},\n\t\t\t},\n\t\t},\n\t\tevents: {\n\t\t\ttype: \"array\",\n\t\t\titems: {\n\t\t\t\ttype: \"object\",\n\t\t\t\trequired: [\"eventType\", \"schemaVersion\"],\n\t\t\t\tproperties: {\n\t\t\t\t\teventType: { type: \"string\" },\n\t\t\t\t\tschemaVersion: { type: \"integer\" },\n\t\t\t\t\tdescription: { type: \"string\" },\n\t\t\t\t\tschema: { type: \"object\" },\n\t\t\t\t},\n\t\t\t},\n\t\t},\n\t},\n};\n\nexport function buildUsageContract(module: ModuleManifest): UsageContract | undefined {\n\tconst capability = module.capability;\n\tif (!capability) return undefined;\n\treturn {\n\t\tformatVersion: USAGE_CONTRACT_FORMAT_VERSION,\n\t\tnamespace: module.namespace,\n\t\t...(module.version === undefined ? {} : { version: module.version }),\n\t\tdisplayName: capability.displayName,\n\t\tdescription: capability.description,\n\t\tstability: capability.stability,\n\t\t...(capability.deprecated === undefined ? {} : { deprecated: capability.deprecated }),\n\t\t...(capability.requirements === undefined ? {} : { requirements: capability.requirements }),\n\t\t...(capability.certification === undefined ? {} : { certification: capability.certification }),\n\t\t...(capability.extensions === undefined ? {} : { extensions: capability.extensions }),\n\t\tactions: module.actions.map(({ actionId, version, parameterSchema, resultSchema, requiredRoles, requiredPermissions, execution }) => ({\n\t\t\tactionId,\n\t\t\tversion,\n\t\t\tparameterSchema,\n\t\t\tresultSchema,\n\t\t\trequiredRoles,\n\t\t\trequiredPermissions,\n\t\t\texecution,\n\t\t})),\n\t\tviews: module.views.map(({ name, version, shape, scope, snapshotVersion, usage }) => ({ name, version, shape, scope, snapshotVersion, usage })),\n\t\tevents: module.eventTypes.map(({ eventType, schemaVersion, description, schema }) => ({ eventType, schemaVersion, description, schema })),\n\t};\n}\n\nexport const capabilityGenerator: GeneratorTarget = {\n\tname: \"@fabricorg/gen-capability\",\n\tversion: \"0.4.0\",\n\tgenerate(ir) {\n\t\treturn ir.modules.flatMap((module) => {\n\t\t\tconst capability = buildUsageContract(module);\n\t\t\tif (!capability) return [];\n\t\t\tassertUsageContract(capability);\n\t\t\tconst document: UsageContractDocument = {\n\t\t\t\tgenerator: { name: capabilityGenerator.name, version: capabilityGenerator.version },\n\t\t\t\tmanifestDigest: ir.manifestDigest,\n\t\t\t\tcapability,\n\t\t\t};\n\t\t\treturn [{ path: `${module.namespace}/capability.json`, content: stableStringify(document) }];\n\t\t});\n\t},\n};\n"],"mappings":";AAAA,SAAS,uBAA6C;AAc/C,IAAM,gCAAgC;AAwD7C,IAAM,cAAc,CAAC,gBAAgB,QAAQ,UAAU,YAAY;AAEnE,SAAS,KAAK,MAAc,SAAwB;AACnD,QAAM,IAAI,MAAM,kBAAkB,IAAI,IAAI,OAAO,GAAG;AACrD;AAEA,SAAS,cAAc,OAAgB,MAAsB;AAC5D,MAAI,OAAO,UAAU,YAAY,CAAC,MAAM,KAAK,EAAG,MAAK,MAAM,4BAA4B;AACvF,SAAO;AACR;AAEA,SAAS,aAAa,OAAgB,MAAyB;AAC9D,MAAI,CAAC,MAAM,QAAQ,KAAK,EAAG,MAAK,MAAM,kBAAkB;AACxD,SAAO;AACR;AAOO,SAAS,oBAAoB,OAAgB,OAAO,cAA8C;AACxG,MAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,EAAG,MAAK,MAAM,mBAAmB;AAC/F,QAAM,WAAW;AACjB,MAAI,SAAS,kBAAkB,+BAA+B;AAC7D,SAAK,GAAG,IAAI,kBAAkB,WAAW,6BAA6B,cAAc,KAAK,UAAU,SAAS,aAAa,CAAC,EAAE;AAAA,EAC7H;AACA,MAAI,CAAC,oBAAoB,KAAK,cAAc,SAAS,WAAW,GAAG,IAAI,YAAY,CAAC,GAAG;AACtF,SAAK,GAAG,IAAI,cAAc,gDAAgD;AAAA,EAC3E;AACA,gBAAc,SAAS,aAAa,GAAG,IAAI,cAAc;AACzD,gBAAc,SAAS,aAAa,GAAG,IAAI,cAAc;AACzD,MAAI,CAAC,YAAY,SAAS,SAAS,SAAmB,GAAG;AACxD,SAAK,GAAG,IAAI,cAAc,kBAAkB,YAAY,KAAK,IAAI,CAAC,EAAE;AAAA,EACrE;AACA,QAAM,YAAY,oBAAI,IAAY;AAClC,eAAa,SAAS,SAAS,GAAG,IAAI,UAAU,EAAE,QAAQ,CAAC,OAAO,UAAU;AAC3E,UAAM,SAAS;AACf,UAAM,WAAW,cAAc,QAAQ,UAAU,GAAG,IAAI,YAAY,KAAK,YAAY;AACrF,QAAI,UAAU,IAAI,QAAQ,EAAG,MAAK,GAAG,IAAI,YAAY,KAAK,KAAK,qBAAqB,QAAQ,GAAG;AAC/F,cAAU,IAAI,QAAQ;AACtB,QAAI,CAAC,OAAO,UAAU,OAAO,OAAO,EAAG,MAAK,GAAG,IAAI,YAAY,KAAK,aAAa,oBAAoB;AACrG,QAAI,OAAO,kBAAkB,UAAa,CAAC,MAAM,QAAQ,OAAO,aAAa,EAAG,MAAK,GAAG,IAAI,YAAY,KAAK,mBAAmB,kBAAkB;AAClJ,QAAI,OAAO,wBAAwB,UAAa,CAAC,MAAM,QAAQ,OAAO,mBAAmB,EAAG,MAAK,GAAG,IAAI,YAAY,KAAK,yBAAyB,kBAAkB;AAAA,EACrK,CAAC;AACD,QAAM,WAAW,oBAAI,IAAY;AACjC,eAAa,SAAS,OAAO,GAAG,IAAI,QAAQ,EAAE,QAAQ,CAAC,OAAO,UAAU;AACvE,UAAM,OAAO;AACb,UAAM,OAAO,cAAc,MAAM,MAAM,GAAG,IAAI,UAAU,KAAK,QAAQ;AACrE,UAAM,UAAU,cAAc,MAAM,SAAS,GAAG,IAAI,UAAU,KAAK,WAAW;AAC9E,UAAM,MAAM,GAAG,IAAI,IAAI,OAAO;AAC9B,QAAI,SAAS,IAAI,GAAG,EAAG,MAAK,GAAG,IAAI,UAAU,KAAK,KAAK,iBAAiB,GAAG,GAAG;AAC9E,aAAS,IAAI,GAAG;AAChB,QAAI,CAAC,KAAK,SAAS,OAAO,KAAK,UAAU,YAAY,MAAM,QAAQ,KAAK,KAAK,EAAG,MAAK,GAAG,IAAI,UAAU,KAAK,WAAW,8BAA8B;AACpJ,QAAI,KAAK,UAAU,eAAgB,MAAK,GAAG,IAAI,UAAU,KAAK,WAAW,wBAAwB;AACjG,QAAI,CAAC,OAAO,UAAU,KAAK,eAAe,KAAM,KAAK,kBAA6B,EAAG,MAAK,GAAG,IAAI,UAAU,KAAK,qBAAqB,4BAA4B;AAAA,EAClK,CAAC;AACD,eAAa,SAAS,QAAQ,GAAG,IAAI,SAAS,EAAE,QAAQ,CAAC,OAAO,UAAU;AACzE,UAAM,QAAQ;AACd,kBAAc,OAAO,WAAW,GAAG,IAAI,WAAW,KAAK,aAAa;AACpE,QAAI,CAAC,OAAO,UAAU,MAAM,aAAa,EAAG,MAAK,GAAG,IAAI,WAAW,KAAK,mBAAmB,oBAAoB;AAAA,EAChH,CAAC;AACD,MAAI,SAAS,eAAe,QAAW;AACtC,QAAI,CAAC,SAAS,cAAc,OAAO,SAAS,eAAe,YAAY,MAAM,QAAQ,SAAS,UAAU,EAAG,MAAK,GAAG,IAAI,eAAe,mBAAmB;AACzJ,eAAW,aAAa,OAAO,KAAK,SAAS,UAAqC,GAAG;AACpF,UAAI,CAAC,gDAAgD,KAAK,SAAS,GAAG;AACrE,aAAK,GAAG,IAAI,eAAe,oCAAoC,SAAS,GAAG;AAAA,MAC5E;AAAA,IACD;AAAA,EACD;AACD;AAEO,SAAS,4BAA4B,OAAwD;AACnG,MAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,EAAG,MAAK,YAAY,mBAAmB;AACrG,QAAM,WAAW;AACjB,MAAI,CAAC,iBAAiB,KAAK,OAAO,SAAS,cAAc,CAAC,EAAG,MAAK,2BAA2B,oCAAoC;AACjI,QAAM,YAAY,SAAS;AAC3B,MAAI,CAAC,aAAa,OAAO,cAAc,YAAY,MAAM,QAAQ,SAAS,EAAG,MAAK,sBAAsB,mBAAmB;AAC3H,gBAAc,UAAU,MAAM,yBAAyB;AACvD,gBAAc,UAAU,SAAS,4BAA4B;AAC7D,sBAAoB,SAAS,UAAU;AACxC;AAGO,IAAM,6BAAiD;AAAA,EAC7D,SAAS;AAAA,EACT,OAAO;AAAA,EACP,MAAM;AAAA,EACN,UAAU,CAAC,iBAAiB,aAAa,eAAe,eAAe,aAAa,WAAW,SAAS,QAAQ;AAAA,EAChH,YAAY;AAAA,IACX,eAAe,EAAE,MAAM,WAAW,MAAM,CAAC,6BAA6B,EAAE;AAAA,IACxE,WAAW,EAAE,MAAM,UAAU,SAAS,oBAAoB;AAAA,IAC1D,SAAS,EAAE,MAAM,SAAS;AAAA,IAC1B,aAAa,EAAE,MAAM,UAAU,WAAW,EAAE;AAAA,IAC5C,aAAa,EAAE,MAAM,UAAU,WAAW,EAAE;AAAA,IAC5C,WAAW,EAAE,MAAM,UAAU,MAAM,CAAC,GAAG,WAAW,EAAE;AAAA,IACpD,YAAY,EAAE,MAAM,SAAS;AAAA,IAC7B,cAAc,EAAE,MAAM,SAAS;AAAA,IAC/B,eAAe,EAAE,MAAM,SAAS;AAAA,IAChC,YAAY,EAAE,MAAM,SAAS;AAAA,IAC7B,SAAS;AAAA,MACR,MAAM;AAAA,MACN,OAAO;AAAA,QACN,MAAM;AAAA,QACN,UAAU,CAAC,YAAY,SAAS;AAAA,QAChC,YAAY;AAAA,UACX,UAAU,EAAE,MAAM,SAAS;AAAA,UAC3B,SAAS,EAAE,MAAM,UAAU;AAAA,UAC3B,iBAAiB,EAAE,MAAM,SAAS;AAAA,UAClC,cAAc,EAAE,MAAM,SAAS;AAAA,UAC/B,eAAe,EAAE,MAAM,SAAS,OAAO,EAAE,MAAM,SAAS,EAAE;AAAA,UAC1D,qBAAqB,EAAE,MAAM,SAAS,OAAO,EAAE,MAAM,SAAS,EAAE;AAAA,UAChE,WAAW,EAAE,MAAM,SAAS;AAAA,QAC7B;AAAA,MACD;AAAA,IACD;AAAA,IACA,OAAO;AAAA,MACN,MAAM;AAAA,MACN,OAAO;AAAA,QACN,MAAM;AAAA,QACN,UAAU,CAAC,QAAQ,WAAW,SAAS,SAAS,iBAAiB;AAAA,QACjE,YAAY;AAAA,UACX,MAAM,EAAE,MAAM,SAAS;AAAA,UACvB,SAAS,EAAE,MAAM,SAAS;AAAA,UAC1B,OAAO,EAAE,MAAM,SAAS;AAAA,UACxB,OAAO,EAAE,MAAM,UAAU,MAAM,CAAC,cAAc,EAAE;AAAA,UAChD,iBAAiB,EAAE,MAAM,UAAU;AAAA,UACnC,OAAO,EAAE,MAAM,SAAS;AAAA,QACzB;AAAA,MACD;AAAA,IACD;AAAA,IACA,QAAQ;AAAA,MACP,MAAM;AAAA,MACN,OAAO;AAAA,QACN,MAAM;AAAA,QACN,UAAU,CAAC,aAAa,eAAe;AAAA,QACvC,YAAY;AAAA,UACX,WAAW,EAAE,MAAM,SAAS;AAAA,UAC5B,eAAe,EAAE,MAAM,UAAU;AAAA,UACjC,aAAa,EAAE,MAAM,SAAS;AAAA,UAC9B,QAAQ,EAAE,MAAM,SAAS;AAAA,QAC1B;AAAA,MACD;AAAA,IACD;AAAA,EACD;AACD;AAEO,SAAS,mBAAmB,QAAmD;AACrF,QAAM,aAAa,OAAO;AAC1B,MAAI,CAAC,WAAY,QAAO;AACxB,SAAO;AAAA,IACN,eAAe;AAAA,IACf,WAAW,OAAO;AAAA,IAClB,GAAI,OAAO,YAAY,SAAY,CAAC,IAAI,EAAE,SAAS,OAAO,QAAQ;AAAA,IAClE,aAAa,WAAW;AAAA,IACxB,aAAa,WAAW;AAAA,IACxB,WAAW,WAAW;AAAA,IACtB,GAAI,WAAW,eAAe,SAAY,CAAC,IAAI,EAAE,YAAY,WAAW,WAAW;AAAA,IACnF,GAAI,WAAW,iBAAiB,SAAY,CAAC,IAAI,EAAE,cAAc,WAAW,aAAa;AAAA,IACzF,GAAI,WAAW,kBAAkB,SAAY,CAAC,IAAI,EAAE,eAAe,WAAW,cAAc;AAAA,IAC5F,GAAI,WAAW,eAAe,SAAY,CAAC,IAAI,EAAE,YAAY,WAAW,WAAW;AAAA,IACnF,SAAS,OAAO,QAAQ,IAAI,CAAC,EAAE,UAAU,SAAS,iBAAiB,cAAc,eAAe,qBAAqB,UAAU,OAAO;AAAA,MACrI;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACD,EAAE;AAAA,IACF,OAAO,OAAO,MAAM,IAAI,CAAC,EAAE,MAAM,SAAS,OAAO,OAAO,iBAAiB,MAAM,OAAO,EAAE,MAAM,SAAS,OAAO,OAAO,iBAAiB,MAAM,EAAE;AAAA,IAC9I,QAAQ,OAAO,WAAW,IAAI,CAAC,EAAE,WAAW,eAAe,aAAa,OAAO,OAAO,EAAE,WAAW,eAAe,aAAa,OAAO,EAAE;AAAA,EACzI;AACD;AAEO,IAAM,sBAAuC;AAAA,EACnD,MAAM;AAAA,EACN,SAAS;AAAA,EACT,SAAS,IAAI;AACZ,WAAO,GAAG,QAAQ,QAAQ,CAAC,WAAW;AACrC,YAAM,aAAa,mBAAmB,MAAM;AAC5C,UAAI,CAAC,WAAY,QAAO,CAAC;AACzB,0BAAoB,UAAU;AAC9B,YAAM,WAAkC;AAAA,QACvC,WAAW,EAAE,MAAM,oBAAoB,MAAM,SAAS,oBAAoB,QAAQ;AAAA,QAClF,gBAAgB,GAAG;AAAA,QACnB;AAAA,MACD;AACA,aAAO,CAAC,EAAE,MAAM,GAAG,OAAO,SAAS,oBAAoB,SAAS,gBAAgB,QAAQ,EAAE,CAAC;AAAA,IAC5F,CAAC;AAAA,EACF;AACD;","names":[]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fabricorg/gen-capability",
-  "version": "0.3.1",
+  "version": "0.4.0",
   "description": "Capability usage contract generator for Fabric compiler IR.",
   "license": "MIT",
   "type": "module",
@@ -25,13 +25,14 @@
     "CHANGELOG.md"
   ],
   "dependencies": {
-    "@fabricorg/compiler": "^2.0.0"
+    "@fabricorg/compiler": "^2.1.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": "^1.1.0"
   },
   "engines": {
     "node": ">=20"
@@ -39,6 +40,9 @@
   "publishConfig": {
     "access": "public"
   },
+  "peerDependencies": {
+    "@fabricorg/platform": "^1.1.0"
+  },
   "scripts": {
     "clean": "rm -rf dist tsconfig.tsbuildinfo",
     "build": "tsup",