@salsita-ai/sdk 0.50.0-develop.bc4bdb2ffc → 0.50.0-develop.bcb0516d62

package/dist/application-spec/generate-application/code/story-files.js

@@ -1 +1 @@
-import{GeneratedApplicationFile as e,isTextFile as t}from"../../core/index.js";import{generateDomainRuntimeFiles as i,modulePhxBindingStrategy as r}from"./domain-runtime-files.js";import{generateApplicationSpecStoryDevDeclaration as o,generateApplicationSpecStoryPhxModule as a,generateApplicationSpecStoryRawProjectFiles as n,generateApplicationSpecStoryWrapper as s,generateLinguiRcFile as l}from"./templates/index.js";let p=".phoenix";export const getStoryTextFiles=e=>{let i=e.files.find(e=>"binary"===e.kind);if(i)throw Error(`Cannot build application-spec story: "${i.name}" is binary. Stories inline text project files only; remove the binary asset or demonstrate this project in a demo instead.`);return e.files.filter(t)};export const generateApplicationSpecStoryFiles=t=>{let{application:c,phxDefinitions:m,rawProjectFiles:f,storyFolderName:d,storyName:u}=t,y=getStoryTextFiles(f);return[...i({applicationSpec:c.applicationSpec,categorizedFiles:c.categorizedFiles,phxDefinitions:m,includeDefaultEnvs:!1},r).map(t=>e(`${p}/${t.path}`,t.content,{binary:t.binary,format:t.format})),e(".linguirc",l([...c.applicationSpec.configurator.ui.availableLocales]),{format:!1}),e(`${p}/phx.ts`,a()),e(`${p}/raw-project-files.ts`,n(y,f.envs)),e(`${p}/${u}.tsx`,s(d,c.rawMockTemplates.templates)),e(`${p}/story-dev-virtual-module.d.ts`,o(d))]};
+import{GeneratedApplicationFile as e,isTextFile as t}from"../../core/index.js";import{generateDomainRuntimeFiles as i,modulePhxBindingStrategy as r}from"./domain-runtime-files.js";import{generateApplicationSpecStoryDevDeclaration as o,generateApplicationSpecStoryPhxModule as a,generateApplicationSpecStoryRawProjectFiles as n,generateApplicationSpecStoryWrapper as s,generateLinguiRcFile as l}from"./templates/index.js";let p=".phoenix";export const getStoryTextFiles=e=>{let i=e.files.find(e=>"binary"===e.kind);if(i)throw Error(`Cannot build application-spec story: "${i.name}" is binary. Stories inline text project files only; remove the binary asset or demonstrate this project in a demo instead.`);return e.files.filter(t)};export const generateApplicationSpecStoryFiles=t=>{let{application:c,phxDefinitions:m,rawProjectFiles:f,storyFolderName:d,storyName:u}=t,y=getStoryTextFiles(f);return[...i({applicationSpec:c.applicationSpec,categorizedFiles:c.categorizedFiles,phxDefinitions:m,includeDefaultEnvs:!1},r).map(t=>e(`${p}/${t.path}`,t.content,{binary:t.binary,format:t.format})),e(".linguirc",l([...c.applicationSpec.configurator.ui.availableLocales]),{format:!1}),e(`${p}/phx.ts`,a(c.applicationSpec)),e(`${p}/raw-project-files.ts`,n(y,f.envs)),e(`${p}/${u}.tsx`,s(d,c.rawMockTemplates.templates)),e(`${p}/story-dev-virtual-module.d.ts`,o(d))]};

package/dist/application-spec/generate-application/code/templates/admin-config.js

@@ -1,4 +1,6 @@
 import{autoHeader as n}from"../common/file-headers.js";export const generateApplicationSpecAdminConfig=()=>`${n("admin-config.ts","Admin configurator config — builds admin interface and wires admin components/elements.")}
+import { defaultAdminElements } from '@salsita-ai/sdk/admin'
+
 import { configuratorConfig } from './configurator-config.js'
 import { adminInterface } from './admin-globals.js'
 import { customAdminComponentOptics } from './admin-domain-code.js'
@@ -9,5 +11,6 @@ export const adminConfig = configuratorConfig
   .withInterface(adminInterface)
   .withAdminComponentOptics(customAdminComponentOptics)
   .withAdminComponentOptics(customFrontendAdminComponentOptics)
+  .withDefaultElements(defaultAdminElements)
   .withElements([...customElements, ...customAdminElements])
 `;

package/dist/application-spec/generate-application/code/templates/application-types.js

@@ -1,9 +1,9 @@
-import{CodeImports as e}from"../common/code-imports.js";import{autoHeader as o}from"../common/file-headers.js";import{generateStateTypeDecls as t}from"./domain-spec/index.js";import{generateActionTypeDecls as n,generateDataSchemaTypeDecls as i,generateEntityExpressionComposites as a,generateExpressionTypeDecls as s,generateModelTypeDecls as r}from"./global-definition/index.js";export const generateApplicationSpecTypeDeclarations=(o,p,l)=>{let d=new e,m=l+2,c=" ".repeat(l),f=r(o.configurator.latestModel,p,d,l),$=[];for(let e of o.configurator.resolvedVersions.versionedModels){let o=`ModelV${e.version}`,t=r(e.modelVersion,p,d,m);$.push(`${c}namespace ${o} {
-${t}${c}}`)}let g=r(o.admin.latestModel,p,d,m),u=`${c}namespace Admin {
-${g}${c}}`,y=[];for(let e of o.admin.resolvedVersions.versionedModels){let o=`AdminV${e.version}`,t=r(e.modelVersion,p,d,m);y.push(`${c}namespace ${o} {
-${t}${c}}`)}let x=s(o.configurator.expressions,p,d,l),M=a(o.configurator.latestModel,o.configurator.expressions,d,l,""),v=[s(o.admin.expressions,p,d,m),a(o.admin.latestModel,o.admin.expressions,d,m,"Admin")].filter(Boolean).join("\n\n"),A=v?`${c}namespace Admin {
-${v}
-${c}}`:"",S=n(o.configurator.actions,o.configurator.latestModel,p,d,l),j=i(o,p,d,l),V=t({configuratorStates:o.configurator.states,adminStates:o.admin.states},l);return d.addTypeImport("@salsita-ai/sdk/domain","DomainEntityId"),{imports:d,declarations:[f,x,M,S,j,V,...$,u,A,...y].filter(Boolean).join("\n\n")}};export const generateApplicationSpecTypesModule=(e,t)=>{let{declarations:n,imports:i}=generateApplicationSpecTypeDeclarations(e,t,0);return`${o("application-types.ts","Story-local application, model and state types derived from the spec.")}
+import{CodeImports as e}from"../common/code-imports.js";import{autoHeader as o}from"../common/file-headers.js";import{generateStateTypeDecls as t}from"./domain-spec/index.js";import{generateActionTypeDecls as n,generateAssistantFormElementTypeDecls as i,generateDataSchemaTypeDecls as a,generateEntityExpressionComposites as s,generateExpressionTypeDecls as r,generateModelTypeDecls as l}from"./global-definition/index.js";export const generateApplicationSpecTypeDeclarations=(o,p,d)=>{let m=new e,c=d+2,f=" ".repeat(d),$=l(o.configurator.latestModel,p,m,d),g=[];for(let e of o.configurator.resolvedVersions.versionedModels){let o=`ModelV${e.version}`,t=l(e.modelVersion,p,m,c);g.push(`${f}namespace ${o} {
+${t}${f}}`)}let u=l(o.admin.latestModel,p,m,c),y=`${f}namespace Admin {
+${u}${f}}`,x=[];for(let e of o.admin.resolvedVersions.versionedModels){let o=`AdminV${e.version}`,t=l(e.modelVersion,p,m,c);x.push(`${f}namespace ${o} {
+${t}${f}}`)}let M=r(o.configurator.expressions,p,m,d),v=s(o.configurator.latestModel,o.configurator.expressions,m,d,""),A=[r(o.admin.expressions,p,m,c),s(o.admin.latestModel,o.admin.expressions,m,c,"Admin")].filter(Boolean).join("\n\n"),S=A?`${f}namespace Admin {
+${A}
+${f}}`:"",j=n(o.configurator.actions,o.configurator.latestModel,p,m,d),V=i(o.configurator.assistant?.resolved.formElements??[],p,m,d),h=a(o,p,m,d),T=t({configuratorStates:o.configurator.states,adminStates:o.admin.states},d);return m.addTypeImport("@salsita-ai/sdk/domain","DomainEntityId"),{imports:m,declarations:[$,M,v,j,V,h,T,...g,y,S,...x].filter(Boolean).join("\n\n")}};export const generateApplicationSpecTypesModule=(e,t)=>{let{declarations:n,imports:i}=generateApplicationSpecTypeDeclarations(e,t,0);return`${o("application-types.ts","Story-local application, model and state types derived from the spec.")}
 ${i.toTypeOnlyString(".phoenix/application-types.ts")}
 
 ${n.replace(/^(\s*)(type|interface|namespace) /gm,"$1export $2 ")}

package/dist/application-spec/generate-application/code/templates/common/doc-comment.d.ts

@@ -0,0 +1,2 @@
+/** The doc comment lines of a declared description at `pad`; none when there is no description. */
+export declare const docComment: (description: string | undefined, pad: string) => readonly string[];

package/dist/application-spec/generate-application/code/templates/common/doc-comment.js

@@ -0,0 +1 @@
+export const docComment=(t,e)=>{let m=(t??"").trim().replaceAll("*/","*\\/").split("\n").map(t=>t.trim());return""===m[0]||void 0===m[0]?[]:1===m.length?[`${e}/** ${m[0]} */`]:[`${e}/**`,...m.map(t=>`${e} * ${t}`.trimEnd()),`${e} */`]};

package/dist/application-spec/generate-application/code/templates/common/format-property-key.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Writes a property name taken from the YAML spec (a key of a JSON schema's `properties`) as the
+ * key of a generated TypeScript type member. An ASCII identifier stays bare, so generated code for
+ * such names reads as before; any other name (`my-key`, `Children's`, `1st`, `with space`, `größe`)
+ * becomes a string literal, which TypeScript accepts for every name.
+ */
+export declare const formatPropertyKey: (key: string) => string;

package/dist/application-spec/generate-application/code/templates/common/format-property-key.js

@@ -0,0 +1 @@
+let t=/^[A-Za-z_$][\w$]*$/;export const formatPropertyKey=e=>t.test(e)?e:JSON.stringify(e);

package/dist/application-spec/generate-application/code/templates/common/schema-to-type-string.js

@@ -1,3 +1,3 @@
-import{COMMON_SHORT_PREFIX as e,INTERNAL_REF_PATTERN as r,extractPhxDefName as n}from"../../../../core/index.js";let t=(e,r,n)=>{let t=e.importModuleOverrides?.[n]??r;e.typeOnlyImports?e.imports?.addTypeImport(t,n):e.imports?.addImport(t,n)},i={string:"string",number:"number",integer:"number",boolean:"boolean",null:"null",object:"Record<string, unknown>",array:"readonly unknown[]"},o=e=>null===e?"null":"string"==typeof e?`'${e}'`:"number"==typeof e||"boolean"==typeof e?String(e):"unknown",a=(e,r)=>{if("object"==typeof e.additionalProperties){let n=schemaToTypeString(e.additionalProperties,r);return`Readonly<Record<string, ${n}>>`}if(!e.properties)return"Record<string, unknown>";let n=new Set(e.required??[]),t=Object.entries(e.properties);if(0===t.length)return"Record<string, never>";let i=t.map(([e,t])=>{let i=schemaToTypeString(t,r),o=n.has(e)?"":"?";return`  readonly ${e}${o}: ${i}`});return`{
-${i.join("\n")}
-}`},p=(e,r)=>{let{items:n}=e;if(Array.isArray(n)){let e=n.map(e=>schemaToTypeString(e,r)).join(", ");return`readonly [${e}]`}let t=schemaToTypeString(n,r);return t.includes(" | ")||t.includes(" & ")?`readonly (${t})[]`:`readonly ${t}[]`};export const schemaToTypeString=(l,m)=>{if(l.tsType){if(m.imports&&l.import)for(let e of l.import)t(m,e.module,e.member);return l.tsType}if(l.$ref){let e=n(l.$ref);if(void 0!==e){var s;let r,n,i=m.phxDefinitions[e];if(m.imports&&i?.import)for(let e of i.import)t(m,e.module,e.member);return s=l.references,r=m.phxDefinitions[e],"DomainEntityId"===(n=r?.tsType)?s?`${s}['id']`:"DomainEntityId<string>":"DomainEntity"===n?s??"DomainEntity<string>":"$DomainEntity"===n?s?`$${s}`:"$DomainEntity<string>":n||"unknown"}}if(l.$ref){if(l.$ref.startsWith(e))return l.$ref.slice(e.length);let n=r.exec(l.$ref);return n?n[2]??"unknown":"unknown"}if(l.enum)return l.enum.map(o).join(" | ");if(l.anyOf)return l.anyOf.map(e=>schemaToTypeString(e,m)).join(" | ");if(l.oneOf)return l.oneOf.map(e=>schemaToTypeString(e,m)).join(" | ");if(l.allOf)return l.allOf.map(e=>{let r=schemaToTypeString(e,m);return r.includes("|")?`(${r})`:r}).join(" & ");if("array"===l.type&&l.items)return p(l,m);if("object"===l.type)return a(l,m);if("string"==typeof l.type)return i[l.type]??"unknown";if(Array.isArray(l.type)){let e;return e=l.type,e.map(e=>"array"===e&&l.items?p(l,m):"object"===e?a(l,m):i[e]??"unknown").join(" | ")}return"unknown"};
+import{COMMON_SHORT_PREFIX as e,INTERNAL_REF_PATTERN as r,extractPhxDefName as n}from"../../../../core/index.js";import{formatPropertyKey as t}from"./format-property-key.js";let i=(e,r,n)=>{let t=e.importModuleOverrides?.[n]??r;e.typeOnlyImports?e.imports?.addTypeImport(t,n):e.imports?.addImport(t,n)},o={string:"string",number:"number",integer:"number",boolean:"boolean",null:"null",object:"Record<string, unknown>",array:"readonly unknown[]"},l=e=>null===e?"null":"string"==typeof e?`'${e.replaceAll("\\","\\\\").replaceAll("'","\\'").replaceAll("\n","\\n").replaceAll("\r","\\r")}'`:"number"==typeof e||"boolean"==typeof e?String(e):"unknown",p=(e,r)=>{if("object"==typeof e.additionalProperties){let n=schemaToTypeString(e.additionalProperties,r);return`Readonly<Record<string, ${n}>>`}if(!e.properties)return"Record<string, unknown>";let n=new Set(e.required??[]),i=Object.entries(e.properties);if(0===i.length)return"Record<string, never>";let o=i.map(([e,i])=>{let o=schemaToTypeString(i,r),l=n.has(e)?"":"?";return`  readonly ${t(e)}${l}: ${o}`});return`{
+${o.join("\n")}
+}`},a=(e,r)=>{let{items:n}=e;if(Array.isArray(n)){let e=n.map(e=>schemaToTypeString(e,r)).join(", ");return`readonly [${e}]`}let t=schemaToTypeString(n,r);return t.includes(" | ")||t.includes(" & ")?`readonly (${t})[]`:`readonly ${t}[]`};export const schemaToTypeString=(t,m)=>{if(t.tsType){if(m.imports&&t.import)for(let e of t.import)i(m,e.module,e.member);return t.tsType}if(t.$ref){let e=n(t.$ref);if(void 0!==e){var s;let r,n,o=m.phxDefinitions[e];if(m.imports&&o?.import)for(let e of o.import)i(m,e.module,e.member);return s=t.references,r=m.phxDefinitions[e],"DomainEntityId"===(n=r?.tsType)?s?`${s}['id']`:"DomainEntityId<string>":"DomainEntity"===n?s??"DomainEntity<string>":"$DomainEntity"===n?s?`$${s}`:"$DomainEntity<string>":n||"unknown"}}if(t.$ref){if(t.$ref.startsWith(e))return t.$ref.slice(e.length);let n=r.exec(t.$ref);return n?n[2]??"unknown":"unknown"}if(t.enum)return t.enum.map(l).join(" | ");if(t.anyOf)return t.anyOf.map(e=>schemaToTypeString(e,m)).join(" | ");if(t.oneOf)return t.oneOf.map(e=>schemaToTypeString(e,m)).join(" | ");if(t.allOf)return t.allOf.map(e=>{let r=schemaToTypeString(e,m);return r.includes("|")?`(${r})`:r}).join(" & ");if("array"===t.type&&t.items)return a(t,m);if("object"===t.type)return p(t,m);if("string"==typeof t.type)return o[t.type]??"unknown";if(Array.isArray(t.type)){let e;return e=t.type,e.map(e=>"array"===e&&t.items?a(t,m):"object"===e?p(t,m):o[e]??"unknown").join(" | ")}return"unknown"};

package/dist/application-spec/generate-application/code/templates/configurator-config.js

@@ -1,4 +1,4 @@
-import{autoHeader as e}from"../common/file-headers.js";export const generateApplicationSpecConfiguratorConfig=(o,n)=>{let t=o.configurator.transformers,r=n?.includeDefaultEnvs===!1?"":`
+import{autoHeader as e}from"../common/file-headers.js";export const generateApplicationSpecConfiguratorConfig=(t,o)=>{let n=t.configurator.transformers,r=o?.includeDefaultEnvs===!1?"":`
   .withDefaultEnvs({
     isDev: phx.frontendEnv.IS_DEV,
     deploymentId: phx.frontendEnv.DEPLOYMENT_ID,
@@ -13,6 +13,7 @@ import{autoHeader as e}from"../common/file-headers.js";export const generateAppl
     gtmDebug: phx.frontendEnv.GTM_DEBUG,
   })`;return`${e("configurator-config.ts","Configurator config — builds the interface and wires handlers, elements, transformers, components and theme.")}
 import { getPhoenixThemes } from '@salsita-ai/sdk/ui'
+import { defaultConfiguratorElements } from '@salsita-ai/sdk/configurator'
 
 // Import order matters — each step sets globals needed by the next:
 // 1. domain.js → domain-spec.ts runs → sets phx.domain
@@ -28,9 +29,10 @@ export const configuratorConfig = configuratorBuilder
   .withComponentOptics(customComponentOptics)
   .withComponentOptics(customFrontendComponentOptics)
   .withHandlers(customHandlers)
+  .withDefaultElements(defaultConfiguratorElements)
   .withElements(customElements)
-  .withTransformers(customTransformers, ${JSON.stringify(t)})${r}
-  ${(e=>{let{theme:o}=e.configurator;return Object.keys(o.options).length>0?`.withTheme({ ...getPhoenixThemes().${o.preset}, ...${JSON.stringify(o.options)} })`:`.withTheme(getPhoenixThemes().${o.preset})`})(o)}${(e=>{let{ui:o}=e.configurator,n=[];return(void 0!==o.preview&&n.push(`preview: '${o.preview}'`),void 0!==o.alwaysExpand&&n.push(`alwaysExpand: ${o.alwaysExpand}`),void 0!==o.appLoader&&n.push(`appLoader: '${o.appLoader}'`),0===n.length)?"":`
-  .withUi({ ${n.join(", ")} })`})(o)}${!o.appMetadata.enableAdminRelease?"":`
+  .withTransformers(customTransformers, ${JSON.stringify(n)})${r}
+  ${(e=>{let{theme:t}=e.configurator;return Object.keys(t.options).length>0?`.withTheme({ ...getPhoenixThemes().${t.preset}, ...${JSON.stringify(t.options)} })`:`.withTheme(getPhoenixThemes().${t.preset})`})(t)}${(e=>{let{ui:t}=e.configurator,o=[];return(void 0!==t.preview&&o.push(`preview: '${t.preview}'`),void 0!==t.alwaysExpand&&o.push(`alwaysExpand: ${t.alwaysExpand}`),void 0!==t.appLoader&&o.push(`appLoader: '${t.appLoader}'`),0===o.length)?"":`
+  .withUi({ ${o.join(", ")} })`})(t)}${!t.appMetadata.enableAdminRelease?"":`
   .withAdminRelease(true)`}
 `};

package/dist/application-spec/generate-application/code/templates/configurator-globals.d.ts

@@ -1,3 +1,4 @@
+import { type ApplicationTypeImportRegistrar } from '../common/index.js';
 export type ConfiguratorBindingBlockGenerator = () => string;
 export declare const generateConfiguratorGlobalBindingBlock: ConfiguratorBindingBlockGenerator;
-export declare const generateApplicationSpecConfiguratorGlobals: (generateBindingBlock?: ConfiguratorBindingBlockGenerator, description?: string) => string;
+export declare const generateApplicationSpecConfiguratorGlobals: (generateBindingBlock: ConfiguratorBindingBlockGenerator, description: string, registerApplicationTypeImports: ApplicationTypeImportRegistrar) => string;

package/dist/application-spec/generate-application/code/templates/configurator-globals.js

@@ -1,10 +1,23 @@
-import{autoHeader as o}from"../common/file-headers.js";export const generateConfiguratorGlobalBindingBlock=()=>`
+import{CodeImports as e,autoHeader as t}from"../common/index.js";export const generateConfiguratorGlobalBindingBlock=()=>`
 // @ts-ignore - Initialize the globals
 globalThis.phx.frontend = configuratorInterface
-`;export const generateApplicationSpecConfiguratorGlobals=(r=generateConfiguratorGlobalBindingBlock,e="Creates the configurator interface and sets phx.frontend — must run before any user code imports.")=>`${o("configurator-globals.ts",e)}
-import { createConfiguratorInterface } from '@salsita-ai/sdk/configurator'
-
+`;export const generateApplicationSpecConfiguratorGlobals=(r,o,n)=>{let a=new e;n(a,["AssistantFormElementTypes"]);let s=a.toString();return`${t("configurator-globals.ts",o)}
+import {
+  type CreateAssistantFormElement,
+  createAssistantFormElementFactory,
+  createConfiguratorInterface,
+} from '@salsita-ai/sdk/configurator'
+${s?`${s}
+`:""}
 import { baseConfiguratorBuilder } from './domain-spec.js'
 
-export const configuratorInterface = createConfiguratorInterface(baseConfiguratorBuilder)
-${r()}`;
+const baseConfiguratorInterface = createConfiguratorInterface(baseConfiguratorBuilder)
+
+// The project's own assistant form elements type createAssistantFormElement by name, from the YAML.
+export const configuratorInterface: typeof baseConfiguratorInterface & {
+  readonly createAssistantFormElement: CreateAssistantFormElement<AssistantFormElementTypes>
+} = {
+  ...baseConfiguratorInterface,
+  createAssistantFormElement: createAssistantFormElementFactory<AssistantFormElementTypes>(),
+}
+${r()}`};

package/dist/application-spec/generate-application/code/templates/domain-spec/factory-types/domain-factory-types.d.ts

@@ -0,0 +1,35 @@
+import type { Expressions, ModelVersion } from '../../../../../parse-application-files/index.js';
+/**
+ * The types one generated domain closes its factories and reflections with.
+ *
+ * `domain-spec.ts` writes them where it builds the domain's values, and the `phx` declarations
+ * (`globals.d.ts`, a story's `phx.ts`) write them where they declare those values' types, so both
+ * name the same types.
+ */
+export interface DomainFactoryTypes {
+    /** Entities, root entities, `$Map`, the three data types and the aliases, in the factories' order. */
+    readonly typeArguments: string;
+    /** What the domain runtime adds to the expression context. */
+    readonly contextExtension: string;
+    /** The systems the domain runtime hands to an action. */
+    readonly systems: string;
+    /** The type of the domain's `model`: one reflection per entity, alias, common type and shape. */
+    readonly modelType: string;
+    /** The type of the domain's `enhancedModel`: one enhanced reflection per entity and alias. */
+    readonly enhancedModelType: string;
+    /** The enhanced reflection type of one entity or alias, with the names of its constant expressions. */
+    readonly enhancedReflectionType: (reflectionClass: EnhancedReflectionClass, name: string) => string;
+}
+/** Enhanced reflection classes that receive module-level constants through their constructor. */
+export type EnhancedReflectionClass = '$DomainEntityReflection' | 'EnhancedAliasReflection';
+interface DomainFactoryTypesSpec {
+    readonly latestModel: ModelVersion;
+    readonly expressions: Expressions;
+}
+/**
+ * Builds the type strings of a domain.
+ *
+ * @param typePrefix The namespace the domain's types live in (`Admin` for the admin domain), or `''`.
+ */
+export declare const getDomainFactoryTypes: (domainSpec: DomainFactoryTypesSpec, typePrefix: string) => DomainFactoryTypes;
+export {};

package/dist/application-spec/generate-application/code/templates/domain-spec/factory-types/domain-factory-types.js

@@ -0,0 +1,5 @@
+export const getDomainFactoryTypes=(e,t)=>{let n=t?`${t}.`:"",{entityTypes:a}=e.latestModel,o=[...e.latestModel.aliases].map(([e])=>String(e)),i=[...e.latestModel.commonTypes],$=[...e.latestModel.shapes].map(([e])=>`${e}Shape`),s=new Map([...e.expressions.constants].map(([e,t])=>[String(e),t])),l=(e,t)=>{let a=[...s.get(t)?.keys()??[]],o=a.length>0?`, ${a.map(e=>`'${e}'`).join(" | ")}`:"";return`${e}<${n}$${t}${o}>`},m=[...a.map(e=>`  readonly ${String(e)}: DomainEntityReflection<${n}${String(e)}>`),...o.map(e=>`  readonly ${e}: RawAliasReflection<${n}${e}>`),...i.map(([e,t])=>{let a,o=(a=t.schema.enum,a?.length&&a.every(e=>"string"==typeof e))?"EnumLike":"SchemaReflection";return`  readonly ${e}: ${o}<${n}${e}>`}),...$.map(e=>`  readonly ${e}: SchemaReflection<unknown>`)].join("\n"),r=[...a.map(e=>`  readonly $${String(e)}: ${l("$DomainEntityReflection",String(e))}`),...o.map(e=>`  readonly $${e}: ${l("EnhancedAliasReflection",e)}`)].join("\n");return{typeArguments:`${n}AnyDomainEntity, ${n}RootEntity, ${n}$Map, PublishedData, SessionData, FrontendData, ${n}Aliases`,contextExtension:`RuntimeExpressionContext<${n}AnyDomainEntity>`,systems:`DomainContextSystems<${n}AnyDomainEntity, ${n}RootEntity, ${n}$Map, NavigationState, ViewState, ToolState, ExportState>`,modelType:`{
+${m}
+}`,enhancedModelType:`{
+${r}
+}`,enhancedReflectionType:l}};

package/dist/application-spec/generate-application/code/templates/domain-spec/factory-types/index.d.ts

@@ -0,0 +1 @@
+export { getDomainFactoryTypes, type DomainFactoryTypes, type EnhancedReflectionClass } from './domain-factory-types.js';

package/dist/application-spec/generate-application/code/templates/domain-spec/factory-types/index.js

@@ -0,0 +1 @@
+export{getDomainFactoryTypes}from"./domain-factory-types.js";

package/dist/application-spec/generate-application/code/templates/domain-spec/generate-component-optics.d.ts

@@ -1,5 +1,5 @@
 import { type ComponentEntry } from '../../../../parse-application-files/spec/index.js';
-import type { CodeImports } from '../../common/index.js';
+import { type CodeImports } from '../../common/index.js';
 /**
  * Generates the `componentOptics` array code from unified ComponentEntry[].
  * Walks all entries and dispatches on implementation.kind.

package/dist/application-spec/generate-application/code/templates/domain-spec/generate-component-optics.js

@@ -1,10 +1,10 @@
-import{match as e}from"ts-pattern";import{isSdkCodeRef as t}from"../../../../parse-application-files/spec/index.js";import{generateMemoEvalPlanCode as i}from"./generate-memo-eval-plan-code.js";let a="@salsita-ai/sdk/domain",r={createAdminCustomPageRead:a,createAdminCustomSidebarRead:a,createAdminDataPageRead:a,createAdminDataTableSidebarRead:a,createAdminNavigationPanelRead:a,createAdminPresetCategoryPageRead:a,createAdminPresetCategorySelectionRead:a,createAdminPresetCategorySelectionWrite:a,createAdminPresetCategorySidebarRead:a,createAdminPresetListPageRead:a,createAdminPresetSidebarRead:a,createAdminRecipeCollectionPageRead:a,createAdminRecipeSidebarRead:a},n=(e,i)=>{i.addImport(r[e.sdkFunction]??a,e.sdkFunction);let n=e.params.map(e=>t(e)?e.$codeRef:"string"==typeof e?`'${e}'`:JSON.stringify(e));return`${e.sdkFunction}(${n.join(", ")})`},d=e=>0===e.length?"":e.map(e=>{if("root"===e.kind)return`.withFilter(self => (self.${e.target}))`;let t=Object.entries(e).filter(([e,t])=>"kind"!==e&&void 0!==t).map(([e,t])=>`${e}: ${"dynamic"===t.kind?`self => (self.${t.target})`:"eval"===t.kind?`self => (${t.code})`:JSON.stringify(t.value)}`);return`.withGradualFilter({ ${t.join(", ")} })`}).join(""),o=(t,i)=>e(t).with({kind:"primitive"},({assertFn:e})=>`typeof ${i} === '${"assertNumber"===e?"number":"assertBoolean"===e?"boolean":"string"}'`).with({kind:"declaredType"},({typeName:e})=>`${e}.is(${i})`).with({kind:"declaredTypeId"},({referencedType:e})=>`${e}.isId(${i})`).with({kind:"literal"},({value:e})=>`${i} === ${JSON.stringify(e)}`).with({kind:"anyOf"},({assertions:e})=>e.map(e=>`(${o(e,i)})`).join(" || ")).with({kind:"none"},()=>"true").exhaustive(),s=(t,i)=>{if(0===t.length)return"() => ({})";let r=t.map(t=>e(t.assertion).with({kind:"primitive"},({assertFn:e})=>(i.addImport(a,e),`${e}(state.${t.propKey})`)).with({kind:"declaredType"},({typeName:e})=>`${e}.assert(state.${t.propKey})`).with({kind:"declaredTypeId"},({referencedType:e})=>`${e}.assertId(state.${t.propKey})`).with({kind:"literal"},e=>{let i=o(e,`state.${t.propKey}`);return`if (!(${i})) throw new Error('Expected ${t.propKey} to match its declared schema')`}).with({kind:"anyOf"},e=>{let i=o(e,`state.${t.propKey}`);return`if (!(${i})) throw new Error('Expected ${t.propKey} to match one of its declared schemas')`}).with({kind:"none"},()=>void 0).exhaustive()).filter(e=>void 0!==e),n=t.map(e=>`${JSON.stringify(e.entityField)}: state.${e.propKey}`).join(", ");return 0===r.length?`(state) => ({ ${n} })`:`(state) => { ${r.join("; ")}; return { ${n} } }`},l="      ";export const generateComponentOpticsCode=(t,r)=>{let o=[];for(let p of t){let t=p.isAlias?"withAlias":"withEntity",m=`${p.componentName}Component`;r.addImport(a,m);let $=`    attachComponent.withComponent(${m}, '${p.instanceName}', true).${t}('${p.typeOrAlias}')`;e(p.implementation).with({kind:"userBound"},({implementation:e,filters:t,plan:a})=>{let n=d(t.items),p=`${$}${n}`,m=s("composite"===e.kind?e.writeBindings:[],r),c=i(a,r).replaceAll("\n",`
-${l}`);o.push(`${p}.attach(
+import{match as e}from"ts-pattern";import{isSdkCodeRef as t}from"../../../../core/index.js";import{toSingleQuotedString as i}from"../../common/index.js";import{generateMemoEvalPlanCode as a}from"./generate-memo-eval-plan-code.js";let r="@salsita-ai/sdk/domain",n={createAdminCustomPageRead:r,createAdminCustomSidebarRead:r,createAdminDataPageRead:r,createAdminDataTableSidebarRead:r,createAdminNavigationPanelRead:r,createAdminPresetCategoryPageRead:r,createAdminPresetCategorySelectionRead:r,createAdminPresetCategorySelectionWrite:r,createAdminPresetCategorySidebarRead:r,createAdminPresetListPageRead:r,createAdminPresetSidebarRead:r,createAdminRecipeCollectionPageRead:r,createAdminRecipeSidebarRead:r},d=(e,a)=>{a.addImport(n[e.sdkFunction]??r,e.sdkFunction);let d=e.params.map(e=>t(e)?e.$codeRef:"string"==typeof e?i(e):JSON.stringify(e));return`${e.sdkFunction}(${d.join(", ")})`},o=e=>0===e.length?"":e.map(e=>{if("root"===e.kind)return`.withFilter(self => (self.${e.target}))`;let t=Object.entries(e).filter(([e,t])=>"kind"!==e&&void 0!==t).map(([e,t])=>`${e}: ${"dynamic"===t.kind?`self => (self.${t.target})`:"eval"===t.kind?`self => (${t.code})`:JSON.stringify(t.value)}`);return`.withGradualFilter({ ${t.join(", ")} })`}).join(""),s=(t,i)=>e(t).with({kind:"primitive"},({assertFn:e})=>`typeof ${i} === '${"assertNumber"===e?"number":"assertBoolean"===e?"boolean":"string"}'`).with({kind:"declaredType"},({typeName:e})=>`${e}.is(${i})`).with({kind:"declaredTypeId"},({referencedType:e})=>`${e}.isId(${i})`).with({kind:"literal"},({value:e})=>`${i} === ${JSON.stringify(e)}`).with({kind:"anyOf"},({assertions:e})=>e.map(e=>`(${s(e,i)})`).join(" || ")).with({kind:"none"},()=>"true").exhaustive(),m=(t,i)=>{if(0===t.length)return"() => ({})";let a=t.map(t=>e(t.assertion).with({kind:"primitive"},({assertFn:e})=>(i.addImport(r,e),`${e}(state.${t.propKey})`)).with({kind:"declaredType"},({typeName:e})=>`${e}.assert(state.${t.propKey})`).with({kind:"declaredTypeId"},({referencedType:e})=>`${e}.assertId(state.${t.propKey})`).with({kind:"literal"},e=>{let i=s(e,`state.${t.propKey}`);return`if (!(${i})) throw new Error('Expected ${t.propKey} to match its declared schema')`}).with({kind:"anyOf"},e=>{let i=s(e,`state.${t.propKey}`);return`if (!(${i})) throw new Error('Expected ${t.propKey} to match one of its declared schemas')`}).with({kind:"none"},()=>void 0).exhaustive()).filter(e=>void 0!==e),n=t.map(e=>`${JSON.stringify(e.entityField)}: state.${e.propKey}`).join(", ");return 0===a.length?`(state) => ({ ${n} })`:`(state) => { ${a.join("; ")}; return { ${n} } }`},l="      ";export const generateComponentOpticsCode=(t,i)=>{let n=[];for(let s of t){let t=s.isAlias?"withAlias":"withEntity",p=`${s.componentName}Component`;i.addImport(r,p);let $=`    attachComponent.withComponent(${p}, '${s.instanceName}', true).${t}('${s.typeOrAlias}')`;e(s.implementation).with({kind:"userBound"},({implementation:e,filters:t,plan:r})=>{let d=o(t.items),s=`${$}${d}`,p=m("composite"===e.kind?e.writeBindings:[],i),c=a(r,i).replaceAll("\n",`
+${l}`);n.push(`${s}.attach(
 ${l}${c},
-${l}${m}
-    )`)}).with({kind:"sdk"},({readFactory:e,writeFactory:t})=>{let i=d(p.implementation.filters.items),a=`${$}${i}`,s=n(e,r),l=n(t,r);o.push(`${a}.attach(
-      ${s},
+${l}${p}
+    )`)}).with({kind:"sdk"},({readFactory:e,writeFactory:t})=>{let a=o(s.implementation.filters.items),r=`${$}${a}`,m=d(e,i),l=d(t,i);n.push(`${r}.attach(
+      ${m},
       ${l}
-    )`)}).exhaustive()}return 0===o.length?"[] as const":`[
-${o.join(",\n")}
+    )`)}).exhaustive()}return 0===n.length?"[] as const":`[
+${n.join(",\n")}
   ] as const`};

package/dist/application-spec/generate-application/code/templates/domain-spec/generate-defaults.d.ts

@@ -7,7 +7,9 @@ import type { CodeImports } from '../../common/index.js';
  * `$msg`; rejects `$eval` since defaults are static).
  *
  * **Deprecated feature.** Kept for legacy parity; prefer `$data` for new specs.
- * The `as const` assertion preserves literal types so `RecipeFactoryBuilder
- * .withDefaults(defaults)` can type-check the defaults against entity shapes.
+ * The declaration is the third argument of `createRecipeFactory`, which validates
+ * each entry against the entity's schema when the generated module loads. The
+ * compiler does not check the entries: the spec parser reports a wrong or
+ * incomplete entry at its key under `defaults:`.
  */
 export declare const generateDefaultsBlock: (defaults: Defaults, imports: CodeImports) => string;

package/dist/application-spec/generate-application/code/templates/domain-spec/generate-defaults.js

@@ -1 +1 @@
-import{CONSTANT_CAPS as e,ParseContext as t,stringifyEnhancedJsonValue as r}from"../../../../core/index.js";export const generateDefaultsBlock=(a,n)=>{let o=new t,s=r({...a.entries},n,e,o);if(void 0===s){let e=o.errors.map(e=>`${e.code}: ${e.message}`).join("; ");throw Error(`generateDefaultsBlock: stringifyEnhancedJsonValue returned undefined. Parse-time capability validation should have caught this — caps: CONSTANT_CAPS. ${e}`)}return`const defaults = ${s} as const`};
+import{CONSTANT_CAPS as e,ParseContext as t}from"../../../../core/index.js";import{stringifyEnhancedJsonValue as n}from"../../../../enhanced-json/index.js";export const generateDefaultsBlock=(r,o)=>{let s=new t,a=n({...r.entries},o,e,s);if(void 0===a){let e=s.errors.map(e=>`${e.code}: ${e.message}`).join("; ");throw Error(`generateDefaultsBlock: stringifyEnhancedJsonValue returned undefined. Parse-time capability validation should have caught this — caps: CONSTANT_CAPS. ${e}`)}return`const defaults = ${a} as const`};

package/dist/application-spec/generate-application/code/templates/domain-spec/generate-domain-block.js

@@ -1,90 +1,83 @@
-import{skipApplicationTypeImports as e}from"../../common/index.js";import{generateComponentOpticsCode as n}from"./generate-component-optics.js";import{generateDefaultsBlock as t}from"./generate-defaults.js";import{generateInvariantsBlock as i}from"./generate-invariants.js";import{generateRelationExpressionsCode as a}from"./generate-relation-expressions.js";import{generateStaticValueCode as o}from"./generate-static-value-code.js";import{generateValueExpressionsCode as s}from"./generate-value-expressions.js";let r="@salsita-ai/sdk/domain",m=(e,n,t)=>{let i=[],a=[];for(let o of e.modelVersion.entitySchemas){let e=JSON.stringify(o.shapeSchema,null,2);i.push(`${t}const ${o.entityType} = new DomainEntityReflection<${n}${o.entityType}>('${o.entityType}', [${e}])`),a.push(String(o.entityType))}return{entityDecls:i.join("\n"),entityNames:a}};export const generateDomainBlock=l=>{let{domainSpec:$,invariants:p,actions:c,typePrefix:d,versionNsPrefix:u,isAdmin:y,modelVersionsExportName:h,relationExpressionsExportName:f,componentOpticsExportName:E,valueExpressionsExportName:D,createRecipeExportName:S,imports:R,registerApplicationTypeImports:g=e}=l;R.addImport(r,"$DomainEntityReflection"),R.addImport(r,"DomainBuilder"),R.addImport(r,"DomainComponentOpticBuilder"),R.addImport(r,"DomainEntityReflection"),R.addImport(r,"EnhancedAliasReflection"),R.addImport(r,"InvariantBuilder"),R.addImport(r,"RawAliasReflection"),R.addImport(r,"SchemaReflection"),R.addImport(r,"createCustomExpressionFactory"),R.addImport(r,"createCustomInvariantFactory"),y&&(R.addImport(r,"commonAdminCustomExpressions"),R.addImport(r,"commonAdminViolationExpressions"),R.addImport(r,"createMapPublishedRevisionDataHandlerFactory"),R.addImport(r,"createMapPublishedChunkedDataHandlerFactory"),R.addImport(r,"createDataRowValidatorHandler"),R.addImport(r,"createSheetValidatorHandler")),R.addTypeImport(r,"RuntimeExpressionContext"),R.addTypeImport(r,"SchemaOfObject"),c&&(R.addImport(r,"createActionFactory"),R.addTypeImport(r,"ActionDefinition"));let{entityTypes:v,entitySchemas:x}=$.latestModel,A=[...$.latestModel.aliases],j=A.map(([e])=>String(e)),C=j.includes("RootEntity")?"RootEntity":"AnyDomainEntity",{resolvedVersions:I}=$,M=I.latestVersion,w=d?`${d}.`:"",B=new Map([...$.expressions.constants].map(([e,n])=>[String(e),n])),b=(e,n)=>{let t=[...B.get(n)?.keys()??[]],i=t.length>0?`, ${t.map(e=>`'${e}'`).join(" | ")}`:"";return`${e}<${w}$${n}${i}>`},P=e=>{let n=B.get(e);if(!n)return"{}";let t=[...n].map(([e,n])=>{let t=o(n,R).replaceAll("\n","\n    ");return`    ${e}: ${t},`});return`{
+import{skipApplicationTypeImports as e}from"../../common/index.js";import{getDomainFactoryTypes as n}from"./factory-types/index.js";import{generateComponentOpticsCode as t}from"./generate-component-optics.js";import{generateDefaultsBlock as a}from"./generate-defaults.js";import{generateInvariantsBlock as o}from"./generate-invariants.js";import{generateRelationExpressionsCode as i}from"./generate-relation-expressions.js";import{generateStaticValueCode as s}from"./generate-static-value-code.js";import{generateValueExpressionsCode as r}from"./generate-value-expressions.js";let m="@salsita-ai/sdk/domain",l=(e,n,t)=>{let a=[],o=[];for(let i of e.modelVersion.entitySchemas){let e=JSON.stringify(i.shapeSchema,null,2);a.push(`${t}const ${i.entityType} = new DomainEntityReflection<${n}${i.entityType}>('${i.entityType}', [${e}])`),o.push(String(i.entityType))}return{entityDecls:a.join("\n"),entityNames:o}};export const generateDomainBlock=p=>{let{domainSpec:c,invariants:$,actions:d,typePrefix:u,versionNsPrefix:y,isAdmin:h,modelVersionsExportName:f,relationExpressionsExportName:D,componentOpticsExportName:S,valueExpressionsExportName:E,createRecipeExportName:A,imports:R,registerApplicationTypeImports:x=e}=p;R.addImport(m,"$DomainEntityReflection"),R.addImport(m,"DomainBuilder"),R.addImport(m,"DomainComponentOpticBuilder"),R.addImport(m,"DomainEntityReflection"),R.addImport(m,"EnhancedAliasReflection"),R.addImport(m,"RawAliasReflection"),R.addImport(m,"SchemaReflection"),R.addImport(m,"createCustomExpressionFactory"),R.addImport(m,"createCustomInvariantFactory"),h&&(R.addImport(m,"commonAdminCustomExpressions"),R.addImport(m,"commonAdminViolationExpressions"),R.addImport(m,"createMapPublishedRevisionDataHandlerFactory"),R.addImport(m,"createMapPublishedChunkedDataHandlerFactory"),R.addImport(m,"createDataRowValidatorHandler"),R.addImport(m,"createSheetValidatorHandler")),h||R.addImport(m,"createAssistantSetupHandlerFactory"),R.addTypeImport(m,"RuntimeExpressionContext"),R.addTypeImport(m,"SchemaOfObject"),d&&(R.addImport(m,"createActionFactory"),R.addTypeImport(m,"ActionDefinition"),R.addTypeImport(m,"DomainContextSystems"));let{entityTypes:g,entitySchemas:v}=c.latestModel,I=[...c.latestModel.aliases],j=I.map(([e])=>String(e)),C=j.includes("RootEntity")?"RootEntity":"AnyDomainEntity",{resolvedVersions:M}=c,H=M.latestVersion,F=u?`${u}.`:"",P=new Map([...c.expressions.constants].map(([e,n])=>[String(e),n])),b=n(c,u),{enhancedReflectionType:w}=b,T=e=>{let n=P.get(e);if(!n)return"{}";let t=[...n].map(([e,n])=>{let t=s(n,R).replaceAll("\n","\n    ");return`    ${e}: ${t},`});return`{
 ${t.join("\n")}
-  }`},k=x.map(e=>{let n=JSON.stringify(e.shapeSchema,null,2);return`  const ${e.entityType} = new DomainEntityReflection<${w}${e.entityType}>('${e.entityType}', [${n}])`}),F=A.map(([e,n])=>{let t=n.map(String).join(", ");return`  const ${e} = new RawAliasReflection<${w}${e}>('${e}', [${t}])`}),H=[...$.latestModel.commonTypes],T=H.map(([e])=>String(e)),V=I.versionedModels.filter(e=>!e.isLatest).map(e=>`${u}${e.version}`);g(R,[...y?["Admin",...V]:[...v.map(String),...j,...T,...v.map(e=>`$${String(e)}`),...j.map(e=>`$${e}`),"Aliases","$Map",...V,...c?["ActionTypes","NavigationState","ViewState","ToolState","ExportState"]:[]],"PublishedData","SessionData","FrontendData",...y?[]:["BackendData"]]);let O=H.map(([e,n])=>{let t=JSON.stringify(n.runtimeSchema,null,2);return n.schema.enum?.length&&n.schema.enum.every(e=>"string"==typeof e)?`  const ${e}: EnumLike<${w}${e}> = new EnumReflection('${e}', ${t}) as EnumLike<${w}${e}>`:`  const ${e}: SchemaReflection<${w}${e}> = new SchemaReflection('${e}', ${t})`}),N=[...$.latestModel.shapes],J=N.map(([e,n])=>{let t=JSON.stringify(n.runtimeSchema,null,2);return`  const ${e}Shape = new SchemaReflection('${e}Shape', ${t})`}),L=N.map(([e])=>`${e}Shape`),_=j.map(e=>`    ${e}: ${e}.types,`).join("\n"),z=j.map(e=>`    ${e},`).join("\n"),G=T.map(e=>`    ${e},`).join("\n"),q=L.map(e=>`    ${e},`).join("\n"),K=v.map(e=>`    ${e},`).join("\n"),Q=[];for(let[e,n]of $.expressions.expressions)n.size>0&&Q.push(`  const ${e}Expressions = ${JSON.stringify([...n.keys()])}`);let U=v.map(e=>{let n=$.expressions.entityExpressions.get(e),t=(n?.shapeGroups??[]).map(e=>`${e}Expressions`),i=t.length>0?t.map(e=>`...${e}`).join(", "):"",a=b("$DomainEntityReflection",String(e));return`  const $${e}: ${a} = new ${a}('${e}', [${i}], ${P(String(e))})`}).join("\n"),W=v.map(e=>`    ${e}: $${e},`).join("\n"),X=A.map(([e,n])=>{let t=n.map(e=>JSON.stringify(String(e))).join(", "),i=b("EnhancedAliasReflection",String(e));return`  const $${e}: ${i} = new ${i}('$${e}', [${t}], ${P(String(e))})`}).join("\n"),Y=[...v.map(String),...j].map(e=>`    $${e},`).join("\n"),Z=[],ee=[];for(let e of I.versionedModels)if(e.isLatest)Z.push(`  ${e.version}: entities,`),ee.push(`  readonly ${e.version}: {
-${v.map(e=>`    readonly ${String(e)}: DomainEntityReflection<${w}${String(e)}>`).join("\n")}
-  }`);else{let n=`${u}${e.version}.`,{entityDecls:t,entityNames:i}=m(e,n,"    "),a=i.map(e=>`      ${e},`).join("\n");Z.push(`  ${e.version}: (() => {
+  }`},k=v.map(e=>{let n=JSON.stringify(e.shapeSchema,null,2);return`  const ${e.entityType} = new DomainEntityReflection<${F}${e.entityType}>('${e.entityType}', [${n}])`}),O=I.map(([e,n])=>{let t=n.map(String).join(", ");return`  const ${e} = new RawAliasReflection<${F}${e}>('${e}', [${t}])`}),V=[...c.latestModel.commonTypes],B=V.map(([e])=>String(e)),N=M.versionedModels.filter(e=>!e.isLatest).map(e=>`${y}${e.version}`);x(R,[...h?["Admin",...N]:[...g.map(String),...j,...B,...g.map(e=>`$${String(e)}`),...j.map(e=>`$${e}`),"Aliases","$Map",...N,...d?["ActionTypes","NavigationState","ViewState","ToolState","ExportState"]:[]],"PublishedData","SessionData","FrontendData",...h?[]:["BackendData"]]);let J=V.map(([e,n])=>{let t=JSON.stringify(n.runtimeSchema,null,2);return n.schema.enum?.length&&n.schema.enum.every(e=>"string"==typeof e)?`  const ${e}: EnumLike<${F}${e}> = new EnumReflection('${e}', ${t}) as EnumLike<${F}${e}>`:`  const ${e}: SchemaReflection<${F}${e}> = new SchemaReflection('${e}', ${t})`}),L=[...c.latestModel.shapes],_=L.map(([e,n])=>{let t=JSON.stringify(n.runtimeSchema,null,2);return`  const ${e}Shape = new SchemaReflection('${e}Shape', ${t})`}),z=L.map(([e])=>`${e}Shape`),G=j.map(e=>`    ${e}: ${e}.types,`).join("\n"),q=j.map(e=>`    ${e},`).join("\n"),K=B.map(e=>`    ${e},`).join("\n"),Q=z.map(e=>`    ${e},`).join("\n"),U=g.map(e=>`    ${e},`).join("\n"),W=[];for(let[e,n]of c.expressions.expressions)n.size>0&&W.push(`  const ${e}Expressions = ${JSON.stringify([...n.keys()])}`);let X=g.map(e=>{let n=c.expressions.entityExpressions.get(e),t=(n?.shapeGroups??[]).map(e=>`${e}Expressions`),a=t.length>0?t.map(e=>`...${e}`).join(", "):"",o=w("$DomainEntityReflection",String(e));return`  const $${e}: ${o} = new ${o}('${e}', [${a}], ${T(String(e))})`}).join("\n"),Y=g.map(e=>`    ${e}: $${e},`).join("\n"),Z=I.map(([e,n])=>{let t=n.map(e=>JSON.stringify(String(e))).join(", "),a=w("EnhancedAliasReflection",String(e));return`  const $${e}: ${a} = new ${a}('$${e}', [${t}], ${T(String(e))})`}).join("\n"),ee=[...g.map(String),...j].map(e=>`    $${e},`).join("\n"),en=[],et=[];for(let e of M.versionedModels)if(e.isLatest)en.push(`  ${e.version}: entities,`),et.push(`  readonly ${e.version}: {
+${g.map(e=>`    readonly ${String(e)}: DomainEntityReflection<${F}${String(e)}>`).join("\n")}
+  }`);else{let n=`${y}${e.version}.`,{entityDecls:t,entityNames:a}=l(e,n,"    "),o=a.map(e=>`      ${e},`).join("\n");en.push(`  ${e.version}: (() => {
 ${t}
     return {
-${a}
+${o}
     } as const
-  })(),`),ee.push(`  readonly ${e.version}: {
-${i.map(e=>`    readonly ${e}: DomainEntityReflection<${n}${e}>`).join("\n")}
-  }`)}let en=y?"adminDomainBuilder":"domainBuilder",et=y?"attachAdminComponent":"attachComponent",ei=y?"implementAdminCustomExpressions":"implementCustomExpressions",ea=y?"implementCustomAdminInvariants":"implementCustomInvariants",eo=y?"adminInvariantBuilder":"invariantBuilder",es=y?"adminModel":"model",er=y?"adminEnhancedModel":"enhancedModel",em=y?"implementAdminRelation":"implementRelation",el=y?"__adminDomain":"__configuratorDomain",e$="PublishedData, SessionData, FrontendData",ep=`${w}AnyDomainEntity, ${w}RootEntity, ${w}$Map, ${e$}, ${w}Aliases`,ec=`<${ep}>`,ed=`RuntimeExpressionContext<${w}AnyDomainEntity>`,eu=`<${ep}, ${ed}>`,ey=i(p,ep,ed,R),eh=(e,n)=>e===n?e:`${e}: ${n}`,ef=[...$.expressions.expressions.values()].some(e=>[...e.values()].some(e=>"relation"===e.implementation.kind));ef&&R.addImport(r,"createRelationFactory");let eE=ef?`
-  const ${em} = createRelationFactory${ec}(aliases)
-
-  const relationExpressions = ${a($.expressions,em)}`:"\n  const relationExpressions = {} as const",eD=`
-  const componentOptics = ${n($.components,R)}`,eS=`
-  const valueExpressions = ${s($.expressions,R,"implementCustomExpressions",y?{PresetCategory:"commonAdminCustomExpressions.PresetCategory"}:{})}`;R.addImport(r,"RecipeFactoryBuilder");let eR=t($.defaults,R),eg=[...c?.values()??[]].map(e=>({name:String(e.name),...void 0===e.description?{}:{description:e.description},params:e.paramsSchema})),ev=c?`
+  })(),`),et.push(`  readonly ${e.version}: {
+${a.map(e=>`    readonly ${e}: DomainEntityReflection<${n}${e}>`).join("\n")}
+  }`)}let ea=h?"adminDomainBuilder":"domainBuilder",eo=h?"attachAdminComponent":"attachComponent",ei=h?"implementAdminCustomExpressions":"implementCustomExpressions",es=h?"implementCustomAdminInvariants":"implementCustomInvariants",er=h?"adminAliases":"aliases",em=h?"adminModel":"model",el=h?"adminEnhancedModel":"enhancedModel",ep=h?"implementAdminRelation":"implementRelation",ec=h?"__adminDomain":"__configuratorDomain",e$=b.typeArguments,ed=`<${e$}>`,{contextExtension:eu,systems:ey}=b,eh=`<${e$}, ${eu}>`,ef=o($,e$,eu,R),eD=(e,n)=>e===n?e:`${e}: ${n}`,eS=[...c.expressions.expressions.values()].some(e=>[...e.values()].some(e=>"relation"===e.implementation.kind));eS&&R.addImport(m,"createRelationFactory");let eE=eS?`
+  const ${ep} = createRelationFactory(aliases)
+
+  const relationExpressions = ${i(c.expressions,ep)}`:"\n  const relationExpressions = {} as const",eA=`
+  const componentOptics = ${t(c.components,R)}`,eR=`
+  const valueExpressions = ${r(c.expressions,R,"implementCustomExpressions",h?{PresetCategory:"commonAdminCustomExpressions.PresetCategory"}:{})}`;R.addImport(m,"createRecipeFactory");let ex=a(c.defaults,R),eg=[...d?.values()??[]].map(e=>({name:String(e.name),...void 0===e.description?{}:{description:e.description},params:e.paramsSchema})),ev=d?`
   const actionDefinitions: readonly ActionDefinition[] = ${JSON.stringify(eg,null,2).replaceAll("\n","\n  ")}
 
-  const implementActions = createActionFactory<${w}AnyDomainEntity, ${w}RootEntity, ${w}$Map, ${e$}, NavigationState, ViewState, ToolState, ExportState, ActionTypes, ${ed}>()`:"",ex=`
-  const createRecipe = RecipeFactoryBuilder.forAliases<${w}AnyDomainEntity, ${w}Aliases>(aliases)
-    .forEntities(AnyDomainEntity.reflections)
-    .withDefaults(defaults)
-    .build()`,eA=[...v.map(e=>`  readonly ${String(e)}: DomainEntityReflection<${w}${String(e)}>`),...j.map(e=>`  readonly ${e}: RawAliasReflection<${w}${e}>`),...H.map(([e,n])=>{let t=n.schema.enum?.length&&n.schema.enum.every(e=>"string"==typeof e)?"EnumLike":"SchemaReflection";return`  readonly ${e}: ${t}<${w}${e}>`}),...L.map(e=>`  readonly ${e}: SchemaReflection<unknown>`)].join("\n"),ej=`{
-${eA}
-}`,eC=[...v.map(e=>`  readonly $${String(e)}: ${b("$DomainEntityReflection",String(e))}`),...j.map(e=>`  readonly $${e}: ${b("EnhancedAliasReflection",e)}`)].join("\n"),eI=`{
-${eC}
-}`,eM=`{
-${ee.join("\n")}
-}`;return`const ${el} = (() => {
-  const modelVersion = ${M}
-
-  ${eR}
+  const implementActions = createActionFactory<${F}AnyDomainEntity, ${F}RootEntity, PublishedData, SessionData, FrontendData, ActionTypes, ${eu}, ${ey}>()`:"",eI=`
+  const createRecipe = createRecipeFactory<${F}AnyDomainEntity>(aliases, AnyDomainEntity.reflections, defaults)`,{modelType:ej,enhancedModelType:eC}=b,eM=`{
+${et.join("\n")}
+}`;return`const ${ec} = (() => {
+  const modelVersion = ${H}
 
-${k.join("\n")}
+  ${ex}
 
-${F.join("\n")}
+${k.join("\n")}
 
 ${O.join("\n")}
 
 ${J.join("\n")}
 
+${_.join("\n")}
+
   const aliases = {
-${_}
+${G}
   } as const
 
   const entities = {
-${K}
+${U}
   } as const
 
   const model = {
-${K}
-${z}
-${G}
+${U}
 ${q}
+${K}
+${Q}
   } as const
 
-${Q.length>0?Q.join("\n")+"\n":""}
-${U}
+${W.length>0?W.join("\n")+"\n":""}
 ${X}
+${Z}
   const $entityReflections = {
-${W}
+${Y}
   }
 
   const enhancedModel = {
-${Y}
+${ee}
   } as const
 
-  const implementCustomExpressions = createCustomExpressionFactory${eu}({})
+  const implementCustomExpressions = createCustomExpressionFactory${eh}()
 ${ev}${eE}
-${eS}
+${eR}
 
   const modelVersions = {
-${Z.join("\n")}
+${en.join("\n")}
   } as const
-  const attachComponent = DomainComponentOpticBuilder.from${eu}(aliases)
+  const attachComponent = DomainComponentOpticBuilder.from${eh}(aliases)
+
+${ef}
+${h?`  const commonInvariants = implementCustomInvariants(commonAdminViolationExpressions)
 
-${ey}
-  const invariantBuilder = new InvariantBuilder${ec}(aliases)${y?"\n    .withInvariants(implementCustomInvariants(commonAdminViolationExpressions))":""}
-${y?`
-  const createMapPublishedRevisionDataHandler = createMapPublishedRevisionDataHandlerFactory<${w}AnyDomainEntity, ${w}RootEntity, ${w}$Map, PublishedData>()
-  const createMapPublishedChunkedDataHandler = createMapPublishedChunkedDataHandlerFactory<${w}AnyDomainEntity, ${w}RootEntity, ${w}$Map>()
-`:""}${eD}
-${ex}
+  const createMapPublishedRevisionDataHandler = createMapPublishedRevisionDataHandlerFactory<${F}AnyDomainEntity, ${F}RootEntity, ${F}$Map, PublishedData>()
+  const createMapPublishedChunkedDataHandler = createMapPublishedChunkedDataHandlerFactory<${F}AnyDomainEntity, ${F}RootEntity, ${F}$Map>()
+`:"\n  const createAssistantSetupHandler = createAssistantSetupHandlerFactory<SessionData, AnyDomainEntity, $Map, ActionTypes>()\n"}${eA}
+${eI}
 
   return {
-    domainBuilder: DomainBuilder.from${ec}(
+    domainBuilder: DomainBuilder.from${ed}(
       entities,
       aliases,
       $entityReflections,
@@ -93,15 +86,16 @@ ${ex}
       PublishedData,
       SessionData,
       FrontendData,
-      ${y?"undefined":"BackendData"},
-      ${y}
-    ).withExpressions(valueExpressions)${c?".withActions(actionDefinitions)":""},
-    attachComponent,${c?"\n    implementActions,":""}
+      ${h?"undefined":"BackendData"},
+      ${h}
+    ).withExpressions(valueExpressions)${d?".withActions(actionDefinitions)":""},
+    attachComponent,${d?"\n    implementActions,":""}
     implementCustomExpressions,
     implementCustomInvariants,
-    invariantBuilder,${y?`
+    aliases,${h?`
+    commonInvariants,
     createMapPublishedRevisionDataHandler,
-    createMapPublishedChunkedDataHandler,`:""}
+    createMapPublishedChunkedDataHandler,`:"\n    createAssistantSetupHandler,"}
     model,
     enhancedModel,
     relationExpressions,
@@ -113,21 +107,23 @@ ${ex}
 })()
 
 const {
-  ${eh("domainBuilder",en)},
-  ${eh("attachComponent",et)},
-  ${eh("implementCustomExpressions",ei)},
-  ${eh("implementCustomInvariants",ea)},
-  ${eh("invariantBuilder",eo)},${y?`
+  ${eD("domainBuilder",ea)},
+  ${eD("attachComponent",eo)},
+  ${eD("implementCustomExpressions",ei)},
+  ${eD("implementCustomInvariants",es)},
+  ${eD("aliases",er)},${h?`
+  commonInvariants: commonAdminInvariants,
   createMapPublishedRevisionDataHandler,
   createMapPublishedChunkedDataHandler,`:`
-  implementActions,`}
-  ${eh("relationExpressions",f)},
-  ${eh("valueExpressions",D)},
-  ${eh("componentOptics",E)},
-  ${eh("createRecipe",S)},
-} = ${el}
-
-const ${es}: ${ej} = ${el}.model
-const ${er}: ${eI} = ${el}.enhancedModel
-const ${h}: ${eM} = ${el}.modelVersions
-export { ${en}, ${et}, ${ei}, ${ea}, ${eo}, ${es}, ${er}, ${f}, ${D}, ${E}, ${h}, ${S}${y?", createMapPublishedRevisionDataHandler, createMapPublishedChunkedDataHandler, createDataRowValidatorHandler, createSheetValidatorHandler":", implementActions"} }`};
+  implementActions,
+  createAssistantSetupHandler,`}
+  ${eD("relationExpressions",D)},
+  ${eD("valueExpressions",E)},
+  ${eD("componentOptics",S)},
+  ${eD("createRecipe",A)},
+} = ${ec}
+
+const ${em}: ${ej} = ${ec}.model
+const ${el}: ${eC} = ${ec}.enhancedModel
+const ${f}: ${eM} = ${ec}.modelVersions
+export { ${ea}, ${eo}, ${ei}, ${es}, ${er}, ${h?"commonAdminInvariants, ":""}${em}, ${el}, ${D}, ${E}, ${S}, ${f}, ${A}${h?", createMapPublishedRevisionDataHandler, createMapPublishedChunkedDataHandler, createDataRowValidatorHandler, createSheetValidatorHandler":", implementActions, createAssistantSetupHandler"} }`};

package/dist/application-spec/generate-application/code/templates/domain-spec/generate-invariants.d.ts

@@ -1,4 +1,12 @@
 import type { Invariants } from '../../../../parse-application-files/index.js';
 import type { CodeImports } from '../../common/index.js';
+/**
+ * Emits the members of a domain's invariant blueprints: by entity type or alias, each invariant's name
+ * with what it reports (`boolean` for a static invariant, the union of its violation types otherwise).
+ * The custom-invariant factory is closed with them, in `domain-spec.ts` and in the `phx` declarations.
+ *
+ * @param indent The indentation of the members' lines.
+ */
+export declare const generateInvariantBlueprintMembers: (invariants: Invariants, indent: string) => string;
 /** Emits the custom-invariant blueprint and factory declarations for one generated domain block. */
 export declare const generateInvariantsBlock: (invariants: Invariants, factoryGenerics: string, contextExtension: string, imports: CodeImports) => string;

package/dist/application-spec/generate-application/code/templates/domain-spec/generate-invariants.js

@@ -1 +1 @@
-import{stringifyMsgMacroCode as t}from"../../../../core/index.js";let i=(i,o)=>"string"==typeof i?JSON.stringify(i):(o.addImport("@lingui/core/macro","msg"),t(i)),o=t=>"static"===t.kind?"boolean":t.violationTypes.map(t=>JSON.stringify(String(t))).join(" | ");export const generateInvariantsBlock=(t,e,n,r)=>{let{entries:s}=t,a=["  interface CustomInvariantBlueprints {"];for(let[t,i]of Object.entries(s)){for(let[e,n]of(a.push(`    ${t}: {`),Object.entries(i)))a.push(`      ${e}: ${o(n)}`);a.push("    }")}for(let[t,o]of(a.push("  }","  const staticViolations = {"),Object.entries(s))){let e=Object.values(o).filter(t=>"static"===t.kind);if(0!==e.length){for(let o of(a.push(`    ${t}: {`),e)){let t=[`type: ${JSON.stringify(String(o.violationType))}`,`severity: ${JSON.stringify(o.severity)}`,`message: ${i(o.message,r)}`];void 0!==o.controlViolationPriority&&t.push(`controlViolationPriority: ${o.controlViolationPriority}`),a.push(`      ${o.name}: { ${t.join(", ")} },`)}a.push("    },")}}return a.push("  } as const",`  const implementCustomInvariants = createCustomInvariantFactory<${e}, CustomInvariantBlueprints, ${n}>()(staticViolations)`),a.join("\n")};
+import{stringifyMsgMacroCode as t}from"../../../../core/index.js";let e=(e,i)=>"string"==typeof e?JSON.stringify(e):(i.addImport("@lingui/core/macro","msg"),t(e)),i=t=>"static"===t.kind?"boolean":t.violationTypes.map(t=>JSON.stringify(String(t))).join(" | ");export const generateInvariantBlueprintMembers=(t,e)=>{let n=[];for(let[o,r]of Object.entries(t.entries)){for(let[t,s]of(n.push(`${e}${o}: {`),Object.entries(r)))n.push(`${e}  ${t}: ${i(s)}`);n.push(`${e}}`)}return n.join("\n")};export const generateInvariantsBlock=(t,i,n,o)=>{let{entries:r}=t,s=generateInvariantBlueprintMembers(t,"    "),a=["  interface CustomInvariantBlueprints {",...s?[s]:[]];for(let[t,i]of(a.push("  }","  const staticViolations = {"),Object.entries(r))){let n=Object.values(i).filter(t=>"static"===t.kind);if(0!==n.length){for(let i of(a.push(`    ${t}: {`),n)){let t=[`type: ${JSON.stringify(String(i.violationType))}`,`severity: ${JSON.stringify(i.severity)}`,`message: ${e(i.message,o)}`];void 0!==i.controlViolationPriority&&t.push(`controlViolationPriority: ${i.controlViolationPriority}`),a.push(`      ${i.name}: { ${t.join(", ")} },`)}a.push("    },")}}return a.push("  } as const",`  const implementCustomInvariants = createCustomInvariantFactory<${i}, CustomInvariantBlueprints, ${n}>()(staticViolations)`),a.join("\n")};

package/dist/application-spec/generate-application/code/templates/domain-spec/generate-phx-globals.js

@@ -11,6 +11,7 @@ globalThis.phx.domain = {
   implementCustomExpressions,
   implementCustomInvariants,
   implementActions,
+  createAssistantSetupHandler,
   attachComponent,
   createRecipe,
 
@@ -52,6 +53,7 @@ globalThis.phx.applicationTypes = {
   readonly implementCustomExpressions: typeof implementCustomExpressions
   readonly implementCustomInvariants: typeof implementCustomInvariants
   readonly implementActions: typeof implementActions
+  readonly createAssistantSetupHandler: typeof createAssistantSetupHandler
   readonly attachComponent: typeof attachComponent
   readonly createRecipe: typeof createRecipe
   readonly admin: {
@@ -72,6 +74,7 @@ globalThis.phx.applicationTypes = {
   implementCustomExpressions,
   implementCustomInvariants,
   implementActions,
+  createAssistantSetupHandler,
   attachComponent,
   createRecipe,
 

package/dist/application-spec/generate-application/code/templates/domain-spec/generate-presets.js

@@ -1,3 +1,3 @@
-export const getReferencesTarget=e=>{if(e.references)return e.references;for(let t of["anyOf","oneOf"]){let i=e[t];if(i){for(let e of i)if(e.references)return e.references}}if(e.items){let t=Array.isArray(e.items)?e.items[0]:e.items;if(t)return getReferencesTarget(t)}};export const serializeEntityValue=(e,t,i)=>{if(t&&"string"==typeof e)return`"${e}" as ${i}${t}['id']`;if(t&&Array.isArray(e)){let r=e.map(e=>"string"==typeof e?`"${e}" as ${i}${t}['id']`:JSON.stringify(e));return`[${r.join(", ")}]`}return JSON.stringify(e)};export const generateEntityCode=(e,t,i,r)=>{let n=t.get(e.type),s=[];for(let[t,o]of(s.push(`${i}{`),s.push(`${i}  type: '${e.type}',`),s.push(`${i}  id: "${e.id}" as ${r}${e.type}['id'],`),Object.entries(e.properties))){let e=n?.shapeProperties[t],a=e?getReferencesTarget(e):void 0;s.push(`${i}  ${t}: ${serializeEntityValue(o,a,r)},`)}return s.push(`${i}}`),s.join("\n")};let e=["name","description","img","imgAlt","detailTitle","detailDescription","tags"],t=(t,i)=>e.flatMap(e=>{let r=t[e];return void 0===r?[]:[`${i}${e}: ${JSON.stringify(r)},`]});export const generatePresetsCode=(e,i,r)=>{let{presets:n}=e;if(0===n.length)return;let s=r?`${r}.`:"",o=new Map(i.entitySchemas.map(e=>[String(e.entityType),e])),a=[];for(let e of n){let i=e.initialDomainEntities.map(e=>generateEntityCode(e,o,"        ",s)).join(",\n");a.push(["    {",`      rootEntityType: '${e.rootEntityType}',`,...t(e,"      "),"      initialDomainEntities: [",`${i},`,"      ],","    }"].join("\n"))}return`[
+export const getReferencesTarget=e=>{if(e.references)return e.references;for(let t of["anyOf","oneOf"]){let i=e[t];if(i){for(let e of i)if(e.references)return e.references}}if(e.items){let t=Array.isArray(e.items)?e.items[0]:e.items;if(t)return getReferencesTarget(t)}};export const serializeEntityValue=(e,t,i)=>{if(t&&"string"==typeof e)return`${JSON.stringify(e)} as ${i}${t}['id']`;if(t&&Array.isArray(e)){let r=e.map(e=>"string"==typeof e?`${JSON.stringify(e)} as ${i}${t}['id']`:JSON.stringify(e));return`[${r.join(", ")}]`}return JSON.stringify(e)};export const generateEntityCode=(e,t,i,r)=>{let n=t.get(e.type),s=[];for(let[t,o]of(s.push(`${i}{`),s.push(`${i}  type: '${e.type}',`),s.push(`${i}  id: ${JSON.stringify(e.id)} as ${r}${e.type}['id'],`),Object.entries(e.properties))){let e=n?.shapeProperties[t],a=e?getReferencesTarget(e):void 0;s.push(`${i}  ${t}: ${serializeEntityValue(o,a,r)},`)}return s.push(`${i}}`),s.join("\n")};let e=["name","description","img","imgAlt","detailTitle","detailDescription","tags"],t=(t,i)=>e.flatMap(e=>{let r=t[e];return void 0===r?[]:[`${i}${e}: ${JSON.stringify(r)},`]});export const generatePresetsCode=(e,i,r)=>{let{presets:n}=e;if(0===n.length)return;let s=r?`${r}.`:"",o=new Map(i.entitySchemas.map(e=>[String(e.entityType),e])),a=[];for(let e of n){let i=e.initialDomainEntities.map(e=>generateEntityCode(e,o,"        ",s)).join(",\n");a.push(["    {",`      rootEntityType: '${e.rootEntityType}',`,...t(e,"      "),"      initialDomainEntities: [",`${i},`,"      ],","    }"].join("\n"))}return`[
 ${a.join(",\n")}
   ]`};

package/dist/application-spec/generate-application/code/templates/domain-spec/generate-relation-expressions.js

@@ -1,4 +1,4 @@
-export const generateRelationExpressionsCode=(e,n)=>{let t=new Map;for(let[n,o]of e.expressions)for(let[,e]of o){if("relation"!==e.implementation.kind)continue;let o=String(n);t.has(o)||t.set(o,[]);let[r]=e.implementation.params;t.get(o).push({relName:String(e.name),rawRelation:r})}if(0===t.size)return"{} as const";let o=[];for(let[e,r]of t){let t=r.map(({relName:t,rawRelation:o})=>{let{target:r}=o,i=JSON.stringify(o,null,2).replace(/\n/g,"\n      ");return`    ${t}: ${n}<'${e}', '${r}'>(${i}),`});o.push(`  ${e}: {
+export const generateRelationExpressionsCode=(e,n)=>{let t=new Map;for(let[n,o]of e.expressions)for(let[,e]of o){if("relation"!==e.implementation.kind)continue;let o=String(n);t.has(o)||t.set(o,[]);let[r]=e.implementation.params;t.get(o).push({relName:String(e.name),rawRelation:r})}if(0===t.size)return"{} as const";let o=[];for(let[e,r]of t){let t=r.map(({relName:e,rawRelation:t})=>{let o=JSON.stringify(t,null,2).replace(/\n/g,"\n      ");return`    ${e}: ${n}(${o}),`});o.push(`  ${e}: {
 ${t.join("\n")}
   },`)}return`{
 ${o.join("\n")}