@skmtc/core 0.16.3 → 0.26.0

package/script/dsl/Lang.d.ts

@@ -10,13 +10,9 @@ import type { SnippetBase, SnippetBaseArgs } from './SnippetBase.js';
  * Arguments for {@link Lang.toDefinition} — everything the language needs
  * to wrap a generated `value` in its own `Definition` subclass.
  *
- * `identifier` stays the neutral {@link IdentifierBase}: the engine holds
- * identifiers as the base and passes that to the factory (which narrows via
- * its own `instanceof` guard). Keeping it neutral is also what lets a typed
- * `Lang` (e.g. `KtLang`) satisfy the bare `Lang` constraint — `identifier`
- * is a contravariant parameter, so a narrower type here would break the
- * subtype relation. The typed identifier surfaces only on `toIdentifier`'s
- * RETURN (a covariant position).
+ * `identifier` is the neutral {@link IdentifierBase}: the engine holds
+ * identifiers as the base and passes that to the factory, which narrows to
+ * its own concrete subclass via `instanceof`.
  */
 export type LangToDefinitionArgs<V extends GeneratedValue = GeneratedValue> = {
     context: GenerateContextType;
@@ -40,12 +36,12 @@ export type LangToImportArgs = {
  * seam. `name` comes from the projection's pure `toIdentifierName`; the
  * remaining fields come from the context-aware `toIdentifierType`
  * (spread in). The language builds its concrete `IdentifierBase` subclass
- * (`TsIdentifier` / `KtIdentifier`), reading the opaque `kind` into its
- * typed `EntityKind` slot.
+ * (`TsIdentifier` / `KtIdentifier`), reading the opaque `type` into its
+ * typed `EntityType` slot.
  */
 export type LangToIdentifierArgs = {
     name: string;
-    kind: string;
+    type: string;
     typeName?: string;
     exported?: boolean;
 };
@@ -72,7 +68,7 @@ export type LangToIdentifierArgs = {
  * vocabulary is intra-lang-package (each language's register function
  * converts its own form), so the neutral interface never names one.
  */
-export type Lang<IdentifierT extends IdentifierBase = IdentifierBase> = {
+export type Lang = {
     /** Construct the language's file for `path`. */
     createFile: (args: {
         path: string;
@@ -84,28 +80,14 @@ export type Lang<IdentifierT extends IdentifierBase = IdentifierBase> = {
     toImport: (args: LangToImportArgs) => ImportBase;
     /**
      * Assemble this language's `IdentifierBase` subclass from name +
-     * kind/type/exported. `kind` arrives as the opaque-boundary `string` (the
-     * engine never narrows it); the language reads it into its typed
-     * `EntityKind` slot. The returned `IdentifierT` is the language's concrete
-     * subclass — its typed `kind` is the ONLY place `IdentifierT` appears (a
-     * covariant return position), which is what lets {@link IdentifierType}
-     * recover the vocabulary to tighten the projection config while a typed
-     * `Lang` still satisfies the bare `Lang` constraint.
+     * type/typeName/exported. `type` arrives as the opaque-boundary `string` — the
+     * engine never narrows it; the language reads it into its own typed
+     * `EntityType` slot. The engine holds the result as the neutral
+     * `IdentifierBase`; the declaration-type vocabulary is a fixed fact of each
+     * language package, never modelled or recovered here.
      */
-    toIdentifier: (args: LangToIdentifierArgs) => IdentifierT;
+    toIdentifier: (args: LangToIdentifierArgs) => IdentifierBase;
 };
-/**
- * The language's declaration-kind vocabulary, recovered from the typed
- * `kind` on the {@link IdentifierBase} subclass a `Lang` produces.
- *
- * `KtIdentifier` carries `kind: KtEntityKind`, `TsIdentifier` carries
- * `kind: TsEntityKind`, … The neutral `IdentifierBase` has no `kind`, so a
- * bare `Lang` falls back to the loose `string` — the opaque-kind boundary
- * the engine speaks.
- */
-export type LangKind<L extends Lang> = ReturnType<L['toIdentifier']> extends {
-    kind: infer Kind extends string;
-} ? Kind : string;
 /**
  * The constructor contract a language's snippet base class must satisfy to
  * be used as the `base` of a projection-base factory
@@ -124,13 +106,11 @@ export type LangKind<L extends Lang> = ReturnType<L['toIdentifier']> extends {
  * generic over the base's *instance* type cannot type-safely extend it
  * (TS2415/TS2545 — see the scratch in `notes/lang/14`), and the price would
  * be that language-specific instance members are type-erased on projection
- * classes. Only the STATIC `lang` is parameterized — over the neutral `Lang`
- * by default, narrowed to a language's typed `Lang` (e.g. `KtLang`) when a
- * veneer threads `L` through. Narrowing a covariant static intersection does
- * not reawaken TS2415; the `extends config.base` in the factories stays well
- * typed because the instance side is unchanged.
+ * classes. The static `lang` is the neutral {@link Lang} — the engine reads
+ * it language-blind; each lang package's concrete declaration-type vocabulary
+ * is a fixed fact of that package, never recovered through this type.
  */
-export type LangSnippetConstructor<L extends Lang = Lang> = (new (args: SnippetBaseArgs) => SnippetBase) & {
-    lang: L;
+export type LangSnippetConstructor = (new (args: SnippetBaseArgs) => SnippetBase) & {
+    lang: Lang;
 };
 //# sourceMappingURL=Lang.d.ts.map

package/script/dsl/Lang.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Lang.d.ts","sourceRoot":"","sources":["../../src/dsl/Lang.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAEpE;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,cAAc,GAAG,cAAc,IAAI;IAC5E,OAAO,EAAE,mBAAmB,CAAA;IAC5B,UAAU,EAAE,cAAc,CAAA;IAC1B,KAAK,EAAE,CAAC,CAAA;IACR,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,WAAW,CAAC,EAAE,MAAM,CAAA;CACrB,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,UAAU,EAAE,cAAc,CAAA;IAC1B,MAAM,EAAE,MAAM,CAAA;CACf,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,IAAI,CAAC,WAAW,SAAS,cAAc,GAAG,cAAc,IAAI;IACtE,gDAAgD;IAChD,UAAU,EAAE,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;KAAE,KAAK,QAAQ,CAAA;IACtF,yEAAyE;IACzE,YAAY,EAAE,CAAC,CAAC,SAAS,cAAc,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,CAAA;IAC5F,mEAAmE;IACnE,QAAQ,EAAE,CAAC,IAAI,EAAE,gBAAgB,KAAK,UAAU,CAAA;IAChD;;;;;;;;;OASG;IACH,YAAY,EAAE,CAAC,IAAI,EAAE,oBAAoB,KAAK,WAAW,CAAA;CAC1D,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,SAAS;IAC3E,IAAI,EAAE,MAAM,IAAI,SAAS,MAAM,CAAA;CAChC,GACG,IAAI,GACJ,MAAM,CAAA;AAEV;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,MAAM,sBAAsB,CAAC,CAAC,SAAS,IAAI,GAAG,IAAI,IAAI,CAAC,KAC3D,IAAI,EAAE,eAAe,KAClB,WAAW,CAAC,GAAG;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAA"}
+{"version":3,"file":"Lang.d.ts","sourceRoot":"","sources":["../../src/dsl/Lang.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAEpE;;;;;;;GAOG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,cAAc,GAAG,cAAc,IAAI;IAC5E,OAAO,EAAE,mBAAmB,CAAA;IAC5B,UAAU,EAAE,cAAc,CAAA;IAC1B,KAAK,EAAE,CAAC,CAAA;IACR,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,WAAW,CAAC,EAAE,MAAM,CAAA;CACrB,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,UAAU,EAAE,cAAc,CAAA;IAC1B,MAAM,EAAE,MAAM,CAAA;CACf,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,IAAI,GAAG;IACjB,gDAAgD;IAChD,UAAU,EAAE,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;KAAE,KAAK,QAAQ,CAAA;IACtF,yEAAyE;IACzE,YAAY,EAAE,CAAC,CAAC,SAAS,cAAc,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,CAAA;IAC5F,mEAAmE;IACnE,QAAQ,EAAE,CAAC,IAAI,EAAE,gBAAgB,KAAK,UAAU,CAAA;IAChD;;;;;;;OAOG;IACH,YAAY,EAAE,CAAC,IAAI,EAAE,oBAAoB,KAAK,cAAc,CAAA;CAC7D,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,sBAAsB,GAAG,CAAC,KACpC,IAAI,EAAE,eAAe,KAClB,WAAW,CAAC,GAAG;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAA"}

package/script/dsl/MarkdownFile.d.ts

@@ -0,0 +1,55 @@
+import { FileBase } from './FileBase.js';
+import type { Stringable } from './Stringable.js';
+/**
+ * Constructor arguments for {@link MarkdownFile}.
+ */
+type MarkdownFileArgs = {
+    /** The file path for the generated Markdown file */
+    path: string;
+    /** The Markdown content to write to the file */
+    content: Stringable;
+};
+/**
+ * Represents a Markdown file in the SKMTC DSL system.
+ *
+ * The Markdown counterpart of {@link import('@/dsl/JsonFile.ts').JsonFile}: a
+ * degenerate, non-code file that extends {@link FileBase} directly — it holds
+ * no definitions, imports or re-exports, because Markdown has no grammar to
+ * coordinate. Its `content` is any {@link Stringable} (a string or a composed
+ * snippet tree) and `toString()` renders it verbatim. Written through
+ * `GenerateContext.registerMarkdown`.
+ *
+ * @example
+ * ```typescript
+ * import { MarkdownFile } from '@skmtc/core';
+ *
+ * const doc = new MarkdownFile({
+ *   path: '@/docs/GetPet.generated.md',
+ *   content: '# Get pet'
+ * });
+ *
+ * console.log(doc.toString()); // '# Get pet'
+ * ```
+ */
+export declare class MarkdownFile extends FileBase {
+    /** The file type, always 'markdown' for Markdown files */
+    fileType: 'markdown';
+    /** The Markdown content to write to the file */
+    content: Stringable;
+    /**
+     * Creates a new MarkdownFile instance.
+     *
+     * @param args - Markdown file configuration
+     * @param args.path - The output path for this Markdown file
+     * @param args.content - The Markdown content to write
+     */
+    constructor({ path, content }: MarkdownFileArgs);
+    /**
+     * Renders the Markdown content to a string.
+     *
+     * @returns The Markdown content as a string
+     */
+    toString(): string;
+}
+export {};
+//# sourceMappingURL=MarkdownFile.d.ts.map

package/script/dsl/MarkdownFile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MarkdownFile.d.ts","sourceRoot":"","sources":["../../src/dsl/MarkdownFile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAEjD;;GAEG;AACH,KAAK,gBAAgB,GAAG;IACtB,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAA;IACZ,gDAAgD;IAChD,OAAO,EAAE,UAAU,CAAA;CACpB,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,qBAAa,YAAa,SAAQ,QAAQ;IACxC,0DAA0D;IAC1D,QAAQ,EAAE,UAAU,CAAa;IAEjC,gDAAgD;IAChD,OAAO,EAAE,UAAU,CAAA;IAEnB;;;;;;OAMG;gBACS,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,gBAAgB;IAK/C;;;;OAIG;IACM,QAAQ,IAAI,MAAM;CAG5B"}

package/script/dsl/MarkdownFile.js

@@ -0,0 +1,62 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MarkdownFile = void 0;
+const FileBase_js_1 = require("./FileBase.js");
+/**
+ * Represents a Markdown file in the SKMTC DSL system.
+ *
+ * The Markdown counterpart of {@link import('@/dsl/JsonFile.ts').JsonFile}: a
+ * degenerate, non-code file that extends {@link FileBase} directly — it holds
+ * no definitions, imports or re-exports, because Markdown has no grammar to
+ * coordinate. Its `content` is any {@link Stringable} (a string or a composed
+ * snippet tree) and `toString()` renders it verbatim. Written through
+ * `GenerateContext.registerMarkdown`.
+ *
+ * @example
+ * ```typescript
+ * import { MarkdownFile } from '@skmtc/core';
+ *
+ * const doc = new MarkdownFile({
+ *   path: '@/docs/GetPet.generated.md',
+ *   content: '# Get pet'
+ * });
+ *
+ * console.log(doc.toString()); // '# Get pet'
+ * ```
+ */
+class MarkdownFile extends FileBase_js_1.FileBase {
+    /**
+     * Creates a new MarkdownFile instance.
+     *
+     * @param args - Markdown file configuration
+     * @param args.path - The output path for this Markdown file
+     * @param args.content - The Markdown content to write
+     */
+    constructor({ path, content }) {
+        super({ path });
+        /** The file type, always 'markdown' for Markdown files */
+        Object.defineProperty(this, "fileType", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: 'markdown'
+        });
+        /** The Markdown content to write to the file */
+        Object.defineProperty(this, "content", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        this.content = content;
+    }
+    /**
+     * Renders the Markdown content to a string.
+     *
+     * @returns The Markdown content as a string
+     */
+    toString() {
+        return this.content.toString();
+    }
+}
+exports.MarkdownFile = MarkdownFile;

package/script/dsl/model/ModelDriver.d.ts

@@ -16,8 +16,10 @@ type CreateModelArgs<V extends GeneratedValue, EnrichmentType> = {
      * peer's enrichment for this variant, asserts the variant exists
      * (or is the default `'main'` which is always permitted), and
      * threads it into the projection's `ContentSettings`.
+     * Optional — omitting it means `'main'`, so variants-unaware
+     * callers keep working unchanged.
      */
-    variant: string;
+    variant?: string;
 };
 /**
  * Driver for the model insertion lifecycle.

package/script/dsl/model/ModelDriver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ModelDriver.d.ts","sourceRoot":"","sources":["../../../src/dsl/model/ModelDriver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAA;AACzE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAI5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AAMrD,KAAK,eAAe,CAAC,CAAC,SAAS,cAAc,EAAE,cAAc,IAAI;IAC/D,OAAO,EAAE,mBAAmB,CAAA;IAC5B,UAAU,EAAE,eAAe,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IAC9C,OAAO,EAAE,OAAO,CAAA;IAChB,eAAe,CAAC,EAAE,MAAM,CAAA;IACxB,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB;;;;;OAKG;IACH,OAAO,EAAE,MAAM,CAAA;CAChB,CAAA;AAWD;;;;;;;;GAQG;AACH,qBAAa,WAAW,CAAC,CAAC,SAAS,cAAc,EAAE,cAAc;IAC/D,OAAO,EAAE,mBAAmB,CAAA;IAC5B,UAAU,EAAE,eAAe,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IAC9C,OAAO,EAAE,OAAO,CAAA;IAChB,QAAQ,EAAE,eAAe,CAAC,cAAc,CAAC,CAAA;IACzC,eAAe,CAAC,EAAE,MAAM,CAAA;IACxB,UAAU,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAA;IAClC,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,OAAO,EAAE,MAAM,CAAA;gBAEH,EACV,OAAO,EACP,UAAU,EACV,OAAO,EACP,eAAe,EACf,OAAO,EACP,QAAQ,EACR,OAAO,EACR,EAAE,eAAe,CAAC,CAAC,EAAE,cAAc,CAAC;IAwBrC,OAAO,CAAC,KAAK;IAoBb;;;;;OAKG;IACH,OAAO,CAAC,UAAU;IAYlB,OAAO,CAAC,aAAa;IAkCrB,OAAO,CAAC,gBAAgB;CAsBzB"}
+{"version":3,"file":"ModelDriver.d.ts","sourceRoot":"","sources":["../../../src/dsl/model/ModelDriver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAA;AACzE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAI5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AAMrD,KAAK,eAAe,CAAC,CAAC,SAAS,cAAc,EAAE,cAAc,IAAI;IAC/D,OAAO,EAAE,mBAAmB,CAAA;IAC5B,UAAU,EAAE,eAAe,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IAC9C,OAAO,EAAE,OAAO,CAAA;IAChB,eAAe,CAAC,EAAE,MAAM,CAAA;IACxB,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB;;;;;;;OAOG;IACH,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB,CAAA;AAWD;;;;;;;;GAQG;AACH,qBAAa,WAAW,CAAC,CAAC,SAAS,cAAc,EAAE,cAAc;IAC/D,OAAO,EAAE,mBAAmB,CAAA;IAC5B,UAAU,EAAE,eAAe,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IAC9C,OAAO,EAAE,OAAO,CAAA;IAChB,QAAQ,EAAE,eAAe,CAAC,cAAc,CAAC,CAAA;IACzC,eAAe,CAAC,EAAE,MAAM,CAAA;IACxB,UAAU,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAA;IAClC,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,OAAO,EAAE,MAAM,CAAA;gBAEH,EACV,OAAO,EACP,UAAU,EACV,OAAO,EACP,eAAe,EACf,OAAO,EACP,QAAQ,EACR,OAAyB,EAC1B,EAAE,eAAe,CAAC,CAAC,EAAE,cAAc,CAAC;IA0BrC,OAAO,CAAC,KAAK;IAoBb;;;;;OAKG;IACH,OAAO,CAAC,UAAU;IAYlB,OAAO,CAAC,aAAa;IAkCrB,OAAO,CAAC,gBAAgB;CAsBzB"}

package/script/dsl/model/ModelDriver.js

@@ -4,7 +4,7 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
 };
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.ModelDriver = void 0;
-const normalize_js_1 = require("../../deps/jsr.io/@std/path/1.1.4/normalize.js");
+const normalize_js_1 = require("../../deps/jsr.io/@std/path/1.1.6/normalize.js");
 const GeneratorKeys_js_1 = require("../GeneratorKeys.js");
 const Variant_js_1 = require("../../types/Variant.js");
 const get_js_1 = __importDefault(require("lodash-es/get.js"));
@@ -18,7 +18,7 @@ const get_js_1 = __importDefault(require("lodash-es/get.js"));
  * from the projection's `exportPath`.
  */
 class ModelDriver {
-    constructor({ context, projection, refName, destinationPath, rootRef, noExport, variant }) {
+    constructor({ context, projection, refName, destinationPath, rootRef, noExport, variant = Variant_js_1.DEFAULT_VARIANT }) {
         Object.defineProperty(this, "context", {
             enumerable: true,
             configurable: true,
@@ -87,6 +87,7 @@ class ModelDriver {
             refName,
             variant
         });
+        assertPeerSupported({ context, projection, refName, variant });
         this.settings = this.context.toModelContentSettings({ refName, projection, variant });
         this.definition = this.apply({ destinationPath });
         this.context.modelDepth[`${projection.id}:${refName}`] = 0;
@@ -197,3 +198,29 @@ const assertPeerVariantExists = ({ context, generatorId, refName, variant }) =>
             `Available variants: ${available}.`);
     }
 };
+/**
+ * Guard the peer-capability invariant for model insertions.
+ *
+ * `insertModel` materialises a peer's Definition regardless of the peer's
+ * `skip` / `include` configuration — dependency edges are intentionally
+ * filter-blind. Capability is different: a peer's `isSupported` declares
+ * which models it can serve *at all*. Handing a peer a model it has declared
+ * unsupported would build a broken Definition or crash inside the peer's
+ * constructor.
+ *
+ * The Driver throws here instead. The throw unwinds into `GenerateContext`'s
+ * per-item `try/catch`, so the *calling* generator's item is recorded as
+ * `error` and the run continues — loud, isolated failure rather than silent
+ * broken output.
+ *
+ * A peer that exposes no static `isSupported` is treated as supporting every
+ * model: `toModelProjectionBase` defaults it to `() => true`, and a
+ * hand-rolled projection may omit it.
+ */
+const assertPeerSupported = ({ context, projection, refName, variant }) => {
+    const isSupported = projection.isSupported ?? (() => true);
+    if (!isSupported({ refName, context, variant })) {
+        throw new Error(`[${projection.id}] Cannot insert '${refName}' — peer generator ` +
+            `does not support this model (isSupported returned false).`);
+    }
+};

package/script/dsl/model/toModelEntry.d.ts

@@ -1,14 +1,30 @@
 import type { RefName } from '../../types/RefName.js';
 import type { EnrichmentRequest } from '../../types/EnrichmentRequest.js';
-import type { TransformModelArgs, ToModelPreviewModuleArgs, ToModelMappingArgs, ToModelEnrichmentsArgs } from './types.js';
+import type { TransformModelArgs, ToModelPreviewModuleArgs, ToModelEnrichmentsArgs, IsSupportedModelArgs } from './types.js';
+import type { PreviewModule } from '../../types/Preview.js';
 import type * as v from 'valibot';
-import type { MappingModule, PreviewModule } from '../../types/Preview.js';
 type ToModelEntryArgs<EnrichmentType = undefined> = {
     id: string;
     transform: ({ context, refName, variant }: TransformModelArgs) => void;
     toEnrichmentSchema: () => v.GenericSchema<EnrichmentType>;
+    isSupported?: (args: IsSupportedModelArgs) => boolean;
+    /**
+     * Optional: whether this generator entry supports variants. Defaults to a
+     * function returning `false` when omitted.
+     */
+    supportsVariant?: () => boolean;
     toPreviewModule?: ({ context, refName, variant }: ToModelPreviewModuleArgs) => PreviewModule;
-    toMappingModule?: ({ context, refName, variant }: ToModelMappingArgs) => MappingModule;
+    toEnrichmentRequest?: <RequestedEnrichment extends EnrichmentType>(refName: RefName) => EnrichmentRequest<RequestedEnrichment> | undefined;
+    toEnrichmentDefaults?: ({ refName, context, variant }: ToModelEnrichmentsArgs) => EnrichmentType | undefined;
+};
+export type ModelEntry<EnrichmentType = undefined> = {
+    id: string;
+    type: 'model';
+    transform: ({ context, refName, variant }: TransformModelArgs) => void;
+    isSupported: (args: IsSupportedModelArgs) => boolean;
+    supportsVariant: () => boolean;
+    toPreviewModule?: ({ context, refName, variant }: ToModelPreviewModuleArgs) => PreviewModule;
+    toEnrichmentSchema: () => v.GenericSchema<EnrichmentType>;
     toEnrichmentRequest?: <RequestedEnrichment extends EnrichmentType>(refName: RefName) => EnrichmentRequest<RequestedEnrichment> | undefined;
     toEnrichmentDefaults?: ({ refName, context, variant }: ToModelEnrichmentsArgs) => EnrichmentType | undefined;
 };
@@ -26,8 +42,11 @@ type ToModelEntryArgs<EnrichmentType = undefined> = {
  * @param args - Configuration for the model entry
  * @param args.id - Unique identifier for this model entry
  * @param args.transform - Function to transform schemas into artifacts
+ * @param args.isSupported - Optional capability gate; a model whose predicate
+ *   returns `false` is recorded `notSupported` and its `transform` is skipped.
+ *   Resolve the schema inside the predicate when needed
+ *   (`context.resolveSchemaRefOnce(refName, id)`). Defaults to supporting every model.
  * @param args.toPreviewModule - Optional function to generate preview modules
- * @param args.toMappingModule - Optional function to generate mapping modules
  * @param args.toEnrichmentSchema - Optional function to provide enrichment validation
  * @param args.toEnrichmentRequest - Optional function to request enrichments
  * @returns Model entry object for use in the generation pipeline
@@ -67,15 +86,6 @@ type ToModelEntryArgs<EnrichmentType = undefined> = {
  * });
  * ```
  */
-export declare const toModelEntry: <EnrichmentType = undefined>({ id, transform, toPreviewModule, toMappingModule, toEnrichmentSchema, toEnrichmentRequest, toEnrichmentDefaults }: ToModelEntryArgs<EnrichmentType>) => {
-    id: string;
-    type: "model";
-    transform: ({ context, refName, variant }: TransformModelArgs) => void;
-    toPreviewModule?: ({ context, refName, variant }: ToModelPreviewModuleArgs) => PreviewModule;
-    toMappingModule?: ({ context, refName, variant }: ToModelMappingArgs) => MappingModule;
-    toEnrichmentSchema: () => v.GenericSchema<EnrichmentType>;
-    toEnrichmentRequest?: <RequestedEnrichment extends EnrichmentType>(refName: RefName) => EnrichmentRequest<RequestedEnrichment> | undefined;
-    toEnrichmentDefaults?: ({ refName, context, variant }: ToModelEnrichmentsArgs) => EnrichmentType | undefined;
-};
+export declare const toModelEntry: <EnrichmentType = undefined>({ id, transform, isSupported, supportsVariant, toPreviewModule, toEnrichmentSchema, toEnrichmentRequest, toEnrichmentDefaults }: ToModelEntryArgs<EnrichmentType>) => ModelEntry<EnrichmentType>;
 export {};
 //# sourceMappingURL=toModelEntry.d.ts.map

package/script/dsl/model/toModelEntry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"toModelEntry.d.ts","sourceRoot":"","sources":["../../../src/dsl/model/toModelEntry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAA;AACzE,OAAO,KAAK,EACV,kBAAkB,EAClB,wBAAwB,EACxB,kBAAkB,EAClB,sBAAsB,EACvB,MAAM,YAAY,CAAA;AACnB,OAAO,KAAK,KAAK,CAAC,MAAM,SAAS,CAAA;AACjC,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AAE1E,KAAK,gBAAgB,CAAC,cAAc,GAAG,SAAS,IAAI;IAClD,EAAE,EAAE,MAAM,CAAA;IACV,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,kBAAkB,KAAK,IAAI,CAAA;IACtE,kBAAkB,EAAE,MAAM,CAAC,CAAC,aAAa,CAAC,cAAc,CAAC,CAAA;IACzD,eAAe,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,wBAAwB,KAAK,aAAa,CAAA;IAC5F,eAAe,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,kBAAkB,KAAK,aAAa,CAAA;IACtF,mBAAmB,CAAC,EAAE,CAAC,mBAAmB,SAAS,cAAc,EAC/D,OAAO,EAAE,OAAO,KACb,iBAAiB,CAAC,mBAAmB,CAAC,GAAG,SAAS,CAAA;IACvD,oBAAoB,CAAC,EAAE,CAAC,EACtB,OAAO,EACP,OAAO,EACP,OAAO,EACR,EAAE,sBAAsB,KAAK,cAAc,GAAG,SAAS,CAAA;CACzD,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AACH,eAAO,MAAM,YAAY,GAAI,cAAc,GAAG,SAAS,EAAE,oHAQtD,gBAAgB,CAAC,cAAc,CAAC,KAAG;IACpC,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,OAAO,CAAA;IACb,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,kBAAkB,KAAK,IAAI,CAAA;IACtE,eAAe,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,wBAAwB,KAAK,aAAa,CAAA;IAC5F,eAAe,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,kBAAkB,KAAK,aAAa,CAAA;IACtF,kBAAkB,EAAE,MAAM,CAAC,CAAC,aAAa,CAAC,cAAc,CAAC,CAAA;IACzD,mBAAmB,CAAC,EAAE,CAAC,mBAAmB,SAAS,cAAc,EAC/D,OAAO,EAAE,OAAO,KACb,iBAAiB,CAAC,mBAAmB,CAAC,GAAG,SAAS,CAAA;IACvD,oBAAoB,CAAC,EAAE,CAAC,EACtB,OAAO,EACP,OAAO,EACP,OAAO,EACR,EAAE,sBAAsB,KAAK,cAAc,GAAG,SAAS,CAAA;CAYzD,CAAA"}
+{"version":3,"file":"toModelEntry.d.ts","sourceRoot":"","sources":["../../../src/dsl/model/toModelEntry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAA;AACzE,OAAO,KAAK,EACV,kBAAkB,EAClB,wBAAwB,EAExB,sBAAsB,EACtB,oBAAoB,EACrB,MAAM,YAAY,CAAA;AACnB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AAC3D,OAAO,KAAK,KAAK,CAAC,MAAM,SAAS,CAAA;AAEjC,KAAK,gBAAgB,CAAC,cAAc,GAAG,SAAS,IAAI;IAClD,EAAE,EAAE,MAAM,CAAA;IACV,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,kBAAkB,KAAK,IAAI,CAAA;IACtE,kBAAkB,EAAE,MAAM,CAAC,CAAC,aAAa,CAAC,cAAc,CAAC,CAAA;IACzD,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,oBAAoB,KAAK,OAAO,CAAA;IACrD;;;OAGG;IACH,eAAe,CAAC,EAAE,MAAM,OAAO,CAAA;IAC/B,eAAe,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,wBAAwB,KAAK,aAAa,CAAA;IAC5F,mBAAmB,CAAC,EAAE,CAAC,mBAAmB,SAAS,cAAc,EAC/D,OAAO,EAAE,OAAO,KACb,iBAAiB,CAAC,mBAAmB,CAAC,GAAG,SAAS,CAAA;IACvD,oBAAoB,CAAC,EAAE,CAAC,EACtB,OAAO,EACP,OAAO,EACP,OAAO,EACR,EAAE,sBAAsB,KAAK,cAAc,GAAG,SAAS,CAAA;CACzD,CAAA;AAED,MAAM,MAAM,UAAU,CAAC,cAAc,GAAG,SAAS,IAAI;IACnD,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,OAAO,CAAA;IACb,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,kBAAkB,KAAK,IAAI,CAAA;IACtE,WAAW,EAAE,CAAC,IAAI,EAAE,oBAAoB,KAAK,OAAO,CAAA;IACpD,eAAe,EAAE,MAAM,OAAO,CAAA;IAC9B,eAAe,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,wBAAwB,KAAK,aAAa,CAAA;IAC5F,kBAAkB,EAAE,MAAM,CAAC,CAAC,aAAa,CAAC,cAAc,CAAC,CAAA;IACzD,mBAAmB,CAAC,EAAE,CAAC,mBAAmB,SAAS,cAAc,EAC/D,OAAO,EAAE,OAAO,KACb,iBAAiB,CAAC,mBAAmB,CAAC,GAAG,SAAS,CAAA;IACvD,oBAAoB,CAAC,EAAE,CAAC,EACtB,OAAO,EACP,OAAO,EACP,OAAO,EACR,EAAE,sBAAsB,KAAK,cAAc,GAAG,SAAS,CAAA;CACzD,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AACH,eAAO,MAAM,YAAY,GAAI,cAAc,GAAG,SAAS,EAAE,iIAStD,gBAAgB,CAAC,cAAc,CAAC,KAAG,UAAU,CAAC,cAAc,CAY9D,CAAA"}

package/script/dsl/model/toModelEntry.js

@@ -15,8 +15,11 @@ exports.toModelEntry = void 0;
  * @param args - Configuration for the model entry
  * @param args.id - Unique identifier for this model entry
  * @param args.transform - Function to transform schemas into artifacts
+ * @param args.isSupported - Optional capability gate; a model whose predicate
+ *   returns `false` is recorded `notSupported` and its `transform` is skipped.
+ *   Resolve the schema inside the predicate when needed
+ *   (`context.resolveSchemaRefOnce(refName, id)`). Defaults to supporting every model.
  * @param args.toPreviewModule - Optional function to generate preview modules
- * @param args.toMappingModule - Optional function to generate mapping modules
  * @param args.toEnrichmentSchema - Optional function to provide enrichment validation
  * @param args.toEnrichmentRequest - Optional function to request enrichments
  * @returns Model entry object for use in the generation pipeline
@@ -56,13 +59,14 @@ exports.toModelEntry = void 0;
  * });
  * ```
  */
-const toModelEntry = ({ id, transform, toPreviewModule, toMappingModule, toEnrichmentSchema, toEnrichmentRequest, toEnrichmentDefaults }) => {
+const toModelEntry = ({ id, transform, isSupported, supportsVariant, toPreviewModule, toEnrichmentSchema, toEnrichmentRequest, toEnrichmentDefaults }) => {
     return {
         id,
         type: 'model',
         transform,
+        isSupported: isSupported ?? (() => true),
+        supportsVariant: supportsVariant ?? (() => false),
         toPreviewModule,
-        toMappingModule,
         toEnrichmentSchema,
         toEnrichmentRequest,
         toEnrichmentDefaults

package/script/dsl/model/toModelProjectionBase.d.ts

@@ -2,7 +2,7 @@ import type { GenerateContextType } from '../../context/generateTypes.js';
 import type { InsertModelOptions, InsertNormalizedModelArgs, InsertNormalizedModelReturn } from '../../context/generateTypes.js';
 import type { RefName } from '../../types/RefName.js';
 import type { ContentSettings } from '../ContentSettings.js';
-import type { Lang, LangSnippetConstructor } from '../Lang.js';
+import type { LangSnippetConstructor } from '../Lang.js';
 import type { IdentifierType } from '../IdentifierType.js';
 import type { GeneratedValue } from '../GeneratedValue.js';
 import type { Inserted } from '../Inserted.js';
@@ -31,24 +31,24 @@ type ToEnrichmentsArgs = {
 /**
  * Configuration for {@link toModelProjectionBase}.
  *
- * Generic over the language `L`: a language veneer parameterizes this config
- * (`ModelProjectionBaseConfig<E, KtLang>`) so `toIdentifierType`'s return
- * tightens to that language's `IdentifierType<L>` — no recast. A bare
- * config (`L = Lang`) keeps the loose `kind: string` boundary.
+ * Generic over the identifier-type shape `IdType`: a language veneer
+ * parameterizes this config with its own `XxIdentifierType`
+ * (`ModelProjectionBaseConfig<E, KtIdentifierType>`) so `toIdentifierType`'s
+ * return tightens to that language's `type` vocabulary — no recast. The
+ * default keeps the loose `type: string` boundary.
  */
-export type ModelProjectionBaseConfig<EnrichmentType = undefined, L extends Lang = Lang> = {
+export type ModelProjectionBaseConfig<EnrichmentType = undefined, IdType extends IdentifierType = IdentifierType> = {
     id: string;
     /** Pure: the cache-key name (the cache-check path runs this). */
     toIdentifierName: (args: ToModelIdentifierNameArgs<EnrichmentType>) => string;
     /**
      * Context-aware, overridable: the non-`name` parts of the identifier
-     * (`kind` / `typeName` / `exported`), derived from the schema. Runs only
-     * on cache-miss. Returns this language's `IdentifierType<L>` — the `kind`
-     * is bound to `L`'s `EntityKind` vocabulary (the loose `string` when
-     * `L = Lang`). The tightening rides the type argument, replacing the old
-     * veneer recast.
+     * (`type` / `typeName` / `exported`), derived from the schema. Runs only
+     * on cache-miss. Returns `IdType` — the veneer's `XxIdentifierType`, whose
+     * `type` is bound to that language's `EntityType` vocabulary (the loose
+     * `string` by default). The tightening rides the type argument.
      */
-    toIdentifierType: (refName: RefName, context: GenerateContextType) => IdentifierType<L>;
+    toIdentifierType: (refName: RefName, context: GenerateContextType) => IdType;
     toExportPath: (args: ToModelExportPathArgs<EnrichmentType>) => string;
     /**
      * Required composite schema for the `{ subject, generator, stack }`
@@ -66,6 +66,16 @@ export type ModelProjectionBaseConfig<EnrichmentType = undefined, L extends Lang
      * static returns `undefined`.
      */
     toEnrichmentDefaults?: (args: ToEnrichmentsArgs) => EnrichmentType | undefined;
+    /**
+     * Family-level applicability predicate. Becomes a static `isSupported`
+     * on the returned base class so other projections can probe it before
+     * `insertModel` (the model counterpart of the operation-reference
+     * protocol). When omitted, advertises support for every model.
+     */
+    isSupported?: (args: {
+        refName: RefName;
+        context: GenerateContextType;
+    }) => boolean;
 };
 /**
  * Build a model projection base class from a per-generator config.
@@ -75,8 +85,8 @@ export type ModelProjectionBaseConfig<EnrichmentType = undefined, L extends Lang
  * while core stays language-blind (the base arrives as an opaque
  * constructor; core never names a concrete language class). The class
  * exposes the generator's `id`, `toIdentifierName`, `toIdentifierType`,
- * `toExportPath`, and `toEnrichments` statics, inherits the static `lang`
- * from the base, and
+ * `toExportPath`, `toEnrichments`, and `isSupported` statics, inherits the
+ * static `lang` from the base, and
  * injects `generatorKey` so subclasses don't have to.
  *
  * Defines NO `register` / `registerInto` — register ergonomics are typed by
@@ -86,7 +96,7 @@ export type ModelProjectionBaseConfig<EnrichmentType = undefined, L extends Lang
  * The projection machinery previously hosted on `ModelProjectionBase` lives
  * here now, because the base class is no longer statically known.
  */
-export declare const toModelProjectionBase: <EnrichmentType = undefined, L extends Lang = Lang>(base: LangSnippetConstructor<L>, config: ModelProjectionBaseConfig<EnrichmentType, L>) => {
+export declare const toModelProjectionBase: <EnrichmentType = undefined, IdType extends IdentifierType = IdentifierType>(base: LangSnippetConstructor, config: ModelProjectionBaseConfig<EnrichmentType, IdType>) => {
     new (args: ModelProjectionArgs<EnrichmentType>): {
         settings: ContentSettings<EnrichmentType>;
         refName: RefName;
@@ -109,7 +119,7 @@ export declare const toModelProjectionBase: <EnrichmentType = undefined, L exten
     id: string;
     type: "model";
     toIdentifierName: (args: ToModelIdentifierNameArgs<EnrichmentType>) => string;
-    toIdentifierType: (refName: RefName, context: GenerateContextType) => IdentifierType<L>;
+    toIdentifierType: (refName: RefName, context: GenerateContextType) => IdType;
     toExportPath: (args: ToModelExportPathArgs<EnrichmentType>) => string;
     toEnrichments: ({ refName, context, variant }: ToEnrichmentsArgs) => EnrichmentType;
     /**
@@ -118,8 +128,11 @@ export declare const toModelProjectionBase: <EnrichmentType = undefined, L exten
      * generator declares no `toEnrichmentDefaults` — the common case.
      */
     toEnrichmentDefaults: (args: ToEnrichmentsArgs) => EnrichmentType | undefined;
-    isSupported: () => boolean;
-    lang: L;
+    isSupported: (args: {
+        refName: RefName;
+        context: GenerateContextType;
+    }) => boolean;
+    lang: import("../Lang.js").Lang;
 };
 export {};
 //# sourceMappingURL=toModelProjectionBase.d.ts.map

package/script/dsl/model/toModelProjectionBase.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"toModelProjectionBase.d.ts","sourceRoot":"","sources":["../../../src/dsl/model/toModelProjectionBase.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAA;AACzE,OAAO,KAAK,EACV,kBAAkB,EAClB,yBAAyB,EACzB,2BAA2B,EAC5B,MAAM,gCAAgC,CAAA;AAEvC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,KAAK,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAC9C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EACV,eAAe,EACf,yBAAyB,EACzB,qBAAqB,EACtB,MAAM,YAAY,CAAA;AACnB,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAM5B;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,CAAC,cAAc,GAAG,SAAS,IAAI;IAC5D,OAAO,EAAE,mBAAmB,CAAA;IAC5B,QAAQ,EAAE,eAAe,CAAC,cAAc,CAAC,CAAA;IACzC,OAAO,EAAE,OAAO,CAAA;CACjB,CAAA;AAED,KAAK,iBAAiB,GAAG;IACvB,OAAO,EAAE,OAAO,CAAA;IAChB,OAAO,EAAE,mBAAmB,CAAA;IAC5B,8EAA8E;IAC9E,OAAO,EAAE,MAAM,CAAA;CAChB,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,yBAAyB,CAAC,cAAc,GAAG,SAAS,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,IAAI;IACzF,EAAE,EAAE,MAAM,CAAA;IACV,iEAAiE;IACjE,gBAAgB,EAAE,CAAC,IAAI,EAAE,yBAAyB,CAAC,cAAc,CAAC,KAAK,MAAM,CAAA;IAC7E;;;;;;;OAOG;IACH,gBAAgB,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,mBAAmB,KAAK,cAAc,CAAC,CAAC,CAAC,CAAA;IACvF,YAAY,EAAE,CAAC,IAAI,EAAE,qBAAqB,CAAC,cAAc,CAAC,KAAK,MAAM,CAAA;IACrE;;;;;OAKG;IACH,kBAAkB,EAAE,MAAM,CAAC,CAAC,aAAa,CAAC,cAAc,CAAC,CAAA;IACzD;;;;;;;OAOG;IACH,oBAAoB,CAAC,EAAE,CAAC,IAAI,EAAE,iBAAiB,KAAK,cAAc,GAAG,SAAS,CAAA;CAC/E,CAAA;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,qBAAqB,GAAI,cAAc,GAAG,SAAS,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,EACrF,MAAM,sBAAsB,CAAC,CAAC,CAAC,EAC/B,QAAQ,yBAAyB,CAAC,cAAc,EAAE,CAAC,CAAC;eAsChC,mBAAmB,CAAC,cAAc,CAAC;kBAH3C,eAAe,CAAC,cAAc,CAAC;iBAChC,OAAO;QAgBhB;;;;WAIG;oBACS,CAAC,SAAS,cAAc,EAAE,kBAAkB,0BAC1C,eAAe,CAAC,CAAC,EAAE,kBAAkB,CAAC,WACzC,OAAO,YACP,IAAI,CAAC,kBAAkB,EAAE,UAAU,GAAG,SAAS,CAAC,GACxD,QAAQ,CAAC,CAAC,EAAE,kBAAkB,CAAC;QAQlC;;;WAGG;8BAED,CAAC,SAAS,cAAc,EACxB,MAAM,SAAS,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,OAAO,gDAGzC,eAAe,CAAC,CAAC,EAAE,oBAAkB,CAAC,4BACxB,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC,YAC3E,IAAI,CAAC,kBAAkB,EAAE,UAAU,GAAG,SAAS,CAAC,GACxD,2BAA2B,CAAC,CAAC,EAAE,MAAM,CAAC;;;;;;;UA7E3B,OAAO;2EAtDgD,MAAM;gCASjD,OAAO,WAAW,mBAAmB;mEACF,MAAM;oBAiD3C,+BAA+B,iBAAiB,KAAG,cAAc;IAgBzF;;;;OAIG;2BAC4B,MAAM,iBAAiB,KAAG,cAAc,GAAG,SAAS;;;CAkEtF,CAAA"}
+{"version":3,"file":"toModelProjectionBase.d.ts","sourceRoot":"","sources":["../../../src/dsl/model/toModelProjectionBase.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAA;AACzE,OAAO,KAAK,EACV,kBAAkB,EAClB,yBAAyB,EACzB,2BAA2B,EAC5B,MAAM,gCAAgC,CAAA;AAEvC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAC9C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EACV,eAAe,EACf,yBAAyB,EACzB,qBAAqB,EACtB,MAAM,YAAY,CAAA;AACnB,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAM5B;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,CAAC,cAAc,GAAG,SAAS,IAAI;IAC5D,OAAO,EAAE,mBAAmB,CAAA;IAC5B,QAAQ,EAAE,eAAe,CAAC,cAAc,CAAC,CAAA;IACzC,OAAO,EAAE,OAAO,CAAA;CACjB,CAAA;AAED,KAAK,iBAAiB,GAAG;IACvB,OAAO,EAAE,OAAO,CAAA;IAChB,OAAO,EAAE,mBAAmB,CAAA;IAC5B,8EAA8E;IAC9E,OAAO,EAAE,MAAM,CAAA;CAChB,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,yBAAyB,CACnC,cAAc,GAAG,SAAS,EAC1B,MAAM,SAAS,cAAc,GAAG,cAAc,IAC5C;IACF,EAAE,EAAE,MAAM,CAAA;IACV,iEAAiE;IACjE,gBAAgB,EAAE,CAAC,IAAI,EAAE,yBAAyB,CAAC,cAAc,CAAC,KAAK,MAAM,CAAA;IAC7E;;;;;;OAMG;IACH,gBAAgB,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,mBAAmB,KAAK,MAAM,CAAA;IAC5E,YAAY,EAAE,CAAC,IAAI,EAAE,qBAAqB,CAAC,cAAc,CAAC,KAAK,MAAM,CAAA;IACrE;;;;;OAKG;IACH,kBAAkB,EAAE,MAAM,CAAC,CAAC,aAAa,CAAC,cAAc,CAAC,CAAA;IACzD;;;;;;;OAOG;IACH,oBAAoB,CAAC,EAAE,CAAC,IAAI,EAAE,iBAAiB,KAAK,cAAc,GAAG,SAAS,CAAA;IAC9E;;;;;OAKG;IACH,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,mBAAmB,CAAA;KAAE,KAAK,OAAO,CAAA;CACpF,CAAA;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,qBAAqB,GAChC,cAAc,GAAG,SAAS,EAC1B,MAAM,SAAS,cAAc,GAAG,cAAc,EAE9C,MAAM,sBAAsB,EAC5B,QAAQ,yBAAyB,CAAC,cAAc,EAAE,MAAM,CAAC;eAsCrC,mBAAmB,CAAC,cAAc,CAAC;kBAH3C,eAAe,CAAC,cAAc,CAAC;iBAChC,OAAO;QAgBhB;;;;WAIG;oBACS,CAAC,SAAS,cAAc,EAAE,kBAAkB,0BAC1C,eAAe,CAAC,CAAC,EAAE,kBAAkB,CAAC,WACzC,OAAO,YACP,IAAI,CAAC,kBAAkB,EAAE,UAAU,GAAG,SAAS,CAAC,GACxD,QAAQ,CAAC,CAAC,EAAE,kBAAkB,CAAC;QAQlC;;;WAGG;8BAED,CAAC,SAAS,cAAc,EACxB,MAAM,SAAS,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,OAAO,gDAGzC,eAAe,CAAC,CAAC,EAAE,oBAAkB,CAAC,4BACxB,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC,YAC3E,IAAI,CAAC,kBAAkB,EAAE,UAAU,GAAG,SAAS,CAAC,GACxD,2BAA2B,CAAC,CAAC,EAAE,MAAM,CAAC;;;;;;;UA7E3B,OAAO;2EA/DgD,MAAM;gCAQjD,OAAO,WAAW,mBAAmB;mEACF,MAAM;oBA2D3C,+BAA+B,iBAAiB,KAAG,cAAc;IAgBzF;;;;OAIG;2BAC4B,MAAM,iBAAiB,KAAG,cAAc,GAAG,SAAS;wBAzDhE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,mBAAmB,CAAA;KAAE,KAAK,OAAO;;CA2HpF,CAAA"}

package/script/dsl/model/toModelProjectionBase.js

@@ -50,8 +50,8 @@ const get_js_1 = __importDefault(require("lodash-es/get.js"));
  * while core stays language-blind (the base arrives as an opaque
  * constructor; core never names a concrete language class). The class
  * exposes the generator's `id`, `toIdentifierName`, `toIdentifierType`,
- * `toExportPath`, and `toEnrichments` statics, inherits the static `lang`
- * from the base, and
+ * `toExportPath`, `toEnrichments`, and `isSupported` statics, inherits the
+ * static `lang` from the base, and
  * injects `generatorKey` so subclasses don't have to.
  *
  * Defines NO `register` / `registerInto` — register ergonomics are typed by
@@ -179,7 +179,7 @@ const toModelProjectionBase = (base, config) => {
             enumerable: true,
             configurable: true,
             writable: true,
-            value: () => true
+            value: config.isSupported ?? (() => true)
         }),
         _a;
 };

package/script/dsl/model/types.d.ts

@@ -5,9 +5,6 @@ import type { RefName } from '../../types/RefName.js';
 import type { IdentifierType } from '../IdentifierType.js';
 import type { IdentifierBase } from '../IdentifierBase.js';
 import type { GeneratedValue } from '../GeneratedValue.js';
-import type { EnrichmentRequest } from '../../types/EnrichmentRequest.js';
-import type * as v from 'valibot';
-import type { MappingModule, PreviewModule } from '../../types/Preview.js';
 import type { SchemaToValueFn } from '../../types/TypeSystem.js';
 /**
  * External constructor signature for a model projection class.
@@ -43,6 +40,20 @@ export type TransformModelArgs = {
      */
     variant: string;
 };
+/**
+ * Arguments a model generator's `isSupported` predicate receives at the
+ * entry/dispatch boundary. The capability counterpart of
+ * {@link TransformModelArgs}: it carries the resolved enrichment umbrella so
+ * the predicate can gate on user config, but no schema — the predicate
+ * resolves the schema itself (`context.resolveSchemaRefOnce(refName, id)`)
+ * when it needs it, mirroring how `transform` works.
+ */
+export type IsSupportedModelArgs = {
+    context: GenerateContextType;
+    refName: RefName;
+    /** Model variant being probed (see {@link Variant}) */
+    variant: string;
+};
 export type ToModelPreviewModuleArgs = {
     context: GenerateContextType;
     refName: RefName;
@@ -96,13 +107,21 @@ export type ModelProjection<V extends GeneratedValue, EnrichmentType = undefined
     toIdentifierName: (args: ToModelIdentifierNameArgs<EnrichmentType>) => string;
     /**
      * Context-aware, overridable: the non-`name` parts of the identifier
-     * (`kind` / `typeName` / `exported`), derived from the schema. The engine
+     * (`type` / `typeName` / `exported`), derived from the schema. The engine
      * assembles `lang.toIdentifier({ name: toIdentifierName(args),
      * ...toIdentifierType(refName, context) })`.
      */
     toIdentifierType: (refName: RefName, context: GenerateContextType) => IdentifierType;
     toExportPath: (args: ToModelExportPathArgs<EnrichmentType>) => string;
     toEnrichments: ({ refName, context, variant }: ToModelEnrichmentsArgs) => EnrichmentType;
+    /**
+     * Family-level capability predicate, surfaced as a static by
+     * `toModelProjectionBase` (default `() => true`). The Driver probes it on
+     * every `insertModel` so a peer is never handed a model it has declared
+     * unsupported. Optional: a hand-rolled projection may omit it, in which
+     * case it is treated as supporting every model.
+     */
+    isSupported?: (args: IsSupportedModelArgs) => boolean;
     schemaToValueFn: SchemaToValueFn;
     /**
      * The inline-schema fallback seam used by `insertNormalizedModel` when a
@@ -112,27 +131,4 @@ export type ModelProjection<V extends GeneratedValue, EnrichmentType = undefined
      */
     createIdentifier: (name: string) => IdentifierBase;
 } & Function;
-/**
- * Pipeline-side configuration for a model projection (built by
- * `toModelEntry`). Carries the iteration callback (`transform`) and
- * optional preview/mapping/enrichment hooks.
- */
-export type ModelConfig<EnrichmentType = undefined> = {
-    id: string;
-    type: 'model';
-    transform: ({ context, refName, variant }: TransformModelArgs) => void;
-    toPreviewModule?: ({ context, refName, variant }: ToModelPreviewModuleArgs) => PreviewModule;
-    toMappingModule?: ({ context, refName, variant }: ToModelMappingArgs) => MappingModule;
-    toEnrichmentSchema: () => v.GenericSchema<EnrichmentType>;
-    toEnrichmentRequest?: <RequestedEnrichment extends EnrichmentType>(refName: RefName) => EnrichmentRequest<RequestedEnrichment> | undefined;
-    /**
-     * Optional: compute the DEFAULT enrichment values for a model from its schema
-     * — the seed the CMS persists and the user then edits. The pipeline
-     * counterpart of the projection base's static of the same name; a generator
-     * forwards `MyProjection.toEnrichmentDefaults` here so the seeding pass can
-     * reach it via the generator-config map. Returns the `{ subject, generator,
-     * stack }` umbrella, or `undefined` when no defaults are advertised.
-     */
-    toEnrichmentDefaults?: ({ refName, context, variant }: ToModelEnrichmentsArgs) => EnrichmentType | undefined;
-};
 //# sourceMappingURL=types.d.ts.map