@salsita-ai/sdk 0.50.0-develop.bd84173265 → 0.50.0-develop.bded01bb03

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/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"../../../../core/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 m of t){let t=m.isAlias?"withAlias":"withEntity",p=`${m.componentName}Component`;r.addImport(a,p);let $=`    attachComponent.withComponent(${p}, '${m.instanceName}', true).${t}('${m.typeOrAlias}')`;e(m.implementation).with({kind:"userBound"},({implementation:e,filters:t,plan:a})=>{let n=d(t.items),m=`${$}${n}`,p=s("composite"===e.kind?e.writeBindings:[],r),c=i(a,r).replaceAll("\n",`
-${l}`);o.push(`${m}.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}${p}
-    )`)}).with({kind:"sdk"},({readFactory:e,writeFactory:t})=>{let i=d(m.implementation.filters.items),a=`${$}${i}`,s=n(e,r),l=n(t,r);o.push(`${a}.attach(
-      ${s},
+    )`)}).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-domain-block.js

@@ -1,87 +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 a}from"./generate-invariants.js";import{generateRelationExpressionsCode as o}from"./generate-relation-expressions.js";import{generateStaticValueCode as i}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 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=l=>{let{domainSpec:$,invariants:p,actions:c,typePrefix:d,versionNsPrefix:y,isAdmin:u,modelVersionsExportName:h,relationExpressionsExportName:S,componentOpticsExportName:f,valueExpressionsExportName:D,createRecipeExportName:E,imports:R,registerApplicationTypeImports:A=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,"RawAliasReflection"),R.addImport(r,"SchemaReflection"),R.addImport(r,"createCustomExpressionFactory"),R.addImport(r,"createCustomInvariantFactory"),u&&(R.addImport(r,"commonAdminCustomExpressions"),R.addImport(r,"commonAdminViolationExpressions"),R.addImport(r,"createMapPublishedRevisionDataHandlerFactory"),R.addImport(r,"createMapPublishedChunkedDataHandlerFactory"),R.addImport(r,"createDataRowValidatorHandler"),R.addImport(r,"createSheetValidatorHandler")),u||R.addImport(r,"createAssistantSetupHandlerFactory"),R.addTypeImport(r,"RuntimeExpressionContext"),R.addTypeImport(r,"SchemaOfObject"),c&&(R.addImport(r,"createActionFactory"),R.addTypeImport(r,"ActionDefinition"),R.addTypeImport(r,"DomainContextSystems"));let{entityTypes:g,entitySchemas:x}=$.latestModel,v=[...$.latestModel.aliases],j=v.map(([e])=>String(e)),C=j.includes("RootEntity")?"RootEntity":"AnyDomainEntity",{resolvedVersions:I}=$,M=I.latestVersion,H=d?`${d}.`:"",w=new Map([...$.expressions.constants].map(([e,n])=>[String(e),n])),F=(e,n)=>{let t=[...w.get(n)?.keys()??[]],a=t.length>0?`, ${t.map(e=>`'${e}'`).join(" | ")}`:"";return`${e}<${H}$${n}${a}>`},P=e=>{let n=w.get(e);if(!n)return"{}";let t=[...n].map(([e,n])=>{let t=i(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")}
-  }`},b=x.map(e=>{let n=JSON.stringify(e.shapeSchema,null,2);return`  const ${e.entityType} = new DomainEntityReflection<${H}${e.entityType}>('${e.entityType}', [${n}])`}),k=v.map(([e,n])=>{let t=n.map(String).join(", ");return`  const ${e} = new RawAliasReflection<${H}${e}>('${e}', [${t}])`}),T=[...$.latestModel.commonTypes],V=T.map(([e])=>String(e)),O=I.versionedModels.filter(e=>!e.isLatest).map(e=>`${y}${e.version}`);A(R,[...u?["Admin",...O]:[...g.map(String),...j,...V,...g.map(e=>`$${String(e)}`),...j.map(e=>`$${e}`),"Aliases","$Map",...O,...c?["ActionTypes","NavigationState","ViewState","ToolState","ExportState"]:[]],"PublishedData","SessionData","FrontendData",...u?[]:["BackendData"]]);let B=T.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<${H}${e}> = new EnumReflection('${e}', ${t}) as EnumLike<${H}${e}>`:`  const ${e}: SchemaReflection<${H}${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=V.map(e=>`    ${e},`).join("\n"),q=L.map(e=>`    ${e},`).join("\n"),K=g.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=g.map(e=>{let n=$.expressions.entityExpressions.get(e),t=(n?.shapeGroups??[]).map(e=>`${e}Expressions`),a=t.length>0?t.map(e=>`...${e}`).join(", "):"",o=F("$DomainEntityReflection",String(e));return`  const $${e}: ${o} = new ${o}('${e}', [${a}], ${P(String(e))})`}).join("\n"),W=g.map(e=>`    ${e}: $${e},`).join("\n"),X=v.map(([e,n])=>{let t=n.map(e=>JSON.stringify(String(e))).join(", "),a=F("EnhancedAliasReflection",String(e));return`  const $${e}: ${a} = new ${a}('$${e}', [${t}], ${P(String(e))})`}).join("\n"),Y=[...g.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}: {
-${g.map(e=>`    readonly ${String(e)}: DomainEntityReflection<${H}${String(e)}>`).join("\n")}
-  }`);else{let n=`${y}${e.version}.`,{entityDecls:t,entityNames:a}=m(e,n,"    "),o=a.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 {
 ${o}
     } as const
-  })(),`),ee.push(`  readonly ${e.version}: {
+  })(),`),et.push(`  readonly ${e.version}: {
 ${a.map(e=>`    readonly ${e}: DomainEntityReflection<${n}${e}>`).join("\n")}
-  }`)}let en=u?"adminDomainBuilder":"domainBuilder",et=u?"attachAdminComponent":"attachComponent",ea=u?"implementAdminCustomExpressions":"implementCustomExpressions",eo=u?"implementCustomAdminInvariants":"implementCustomInvariants",ei=u?"adminAliases":"aliases",es=u?"adminModel":"model",er=u?"adminEnhancedModel":"enhancedModel",em=u?"implementAdminRelation":"implementRelation",el=u?"__adminDomain":"__configuratorDomain",e$="PublishedData, SessionData, FrontendData",ep=`${H}AnyDomainEntity, ${H}RootEntity, ${H}$Map, ${e$}, ${H}Aliases`,ec=`<${ep}>`,ed=`RuntimeExpressionContext<${H}AnyDomainEntity>`,ey=`<${ep}, ${ed}>`,eu=`DomainContextSystems<${H}AnyDomainEntity, ${H}RootEntity, ${H}$Map, NavigationState, ViewState, ToolState, ExportState>`,eh=a(p,ep,ed,R),eS=(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 eD=ef?`
-  const ${em} = createRelationFactory(aliases)
+  }`)}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 = ${o($.expressions,em)}`:"\n  const relationExpressions = {} as const",eE=`
-  const componentOptics = ${n($.components,R)}`,eR=`
-  const valueExpressions = ${s($.expressions,R,"implementCustomExpressions",u?{PresetCategory:"commonAdminCustomExpressions.PresetCategory"}:{})}`;R.addImport(r,"createRecipeFactory");let eA=t($.defaults,R),eg=[...c?.values()??[]].map(e=>({name:String(e.name),...void 0===e.description?{}:{description:e.description},params:e.paramsSchema})),ex=c?`
+  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<${H}AnyDomainEntity, ${H}RootEntity, ${e$}, ActionTypes, ${ed}, ${eu}>()`:"",ev=`
-  const createRecipe = createRecipeFactory<${H}AnyDomainEntity>(aliases, AnyDomainEntity.reflections, defaults)`,ej=[...g.map(e=>`  readonly ${String(e)}: DomainEntityReflection<${H}${String(e)}>`),...j.map(e=>`  readonly ${e}: RawAliasReflection<${H}${e}>`),...T.map(([e,n])=>{let t=n.schema.enum?.length&&n.schema.enum.every(e=>"string"==typeof e)?"EnumLike":"SchemaReflection";return`  readonly ${e}: ${t}<${H}${e}>`}),...L.map(e=>`  readonly ${e}: SchemaReflection<unknown>`)].join("\n"),eC=`{
-${ej}
-}`,eI=[...g.map(e=>`  readonly $${String(e)}: ${F("$DomainEntityReflection",String(e))}`),...j.map(e=>`  readonly $${e}: ${F("EnhancedAliasReflection",e)}`)].join("\n"),eM=`{
-${eI}
-}`,eH=`{
-${ee.join("\n")}
-}`;return`const ${el} = (() => {
-  const modelVersion = ${M}
-
-  ${eA}
+  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}
 
-${b.join("\n")}
+  ${ex}
 
 ${k.join("\n")}
 
-${B.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${ey}()
-${ex}${eD}
+  const implementCustomExpressions = createCustomExpressionFactory${eh}()
+${ev}${eE}
 ${eR}
 
   const modelVersions = {
-${Z.join("\n")}
+${en.join("\n")}
   } as const
-  const attachComponent = DomainComponentOpticBuilder.from${ey}(aliases)
+  const attachComponent = DomainComponentOpticBuilder.from${eh}(aliases)
 
-${eh}
-${u?`  const commonInvariants = implementCustomInvariants(commonAdminViolationExpressions)
+${ef}
+${h?`  const commonInvariants = implementCustomInvariants(commonAdminViolationExpressions)
 
-  const createMapPublishedRevisionDataHandler = createMapPublishedRevisionDataHandlerFactory<${H}AnyDomainEntity, ${H}RootEntity, ${H}$Map, PublishedData>()
-  const createMapPublishedChunkedDataHandler = createMapPublishedChunkedDataHandlerFactory<${H}AnyDomainEntity, ${H}RootEntity, ${H}$Map>()
-`:"\n  const createAssistantSetupHandler = createAssistantSetupHandlerFactory<SessionData, AnyDomainEntity, $Map, ActionTypes>()\n"}${eE}
-${ev}
+  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,
@@ -90,13 +86,13 @@ ${ev}
       PublishedData,
       SessionData,
       FrontendData,
-      ${u?"undefined":"BackendData"},
-      ${u}
-    ).withExpressions(valueExpressions)${c?".withActions(actionDefinitions)":""},
-    attachComponent,${c?"\n    implementActions,":""}
+      ${h?"undefined":"BackendData"},
+      ${h}
+    ).withExpressions(valueExpressions)${d?".withActions(actionDefinitions)":""},
+    attachComponent,${d?"\n    implementActions,":""}
     implementCustomExpressions,
     implementCustomInvariants,
-    aliases,${u?`
+    aliases,${h?`
     commonInvariants,
     createMapPublishedRevisionDataHandler,
     createMapPublishedChunkedDataHandler,`:"\n    createAssistantSetupHandler,"}
@@ -111,23 +107,23 @@ ${ev}
 })()
 
 const {
-  ${eS("domainBuilder",en)},
-  ${eS("attachComponent",et)},
-  ${eS("implementCustomExpressions",ea)},
-  ${eS("implementCustomInvariants",eo)},
-  ${eS("aliases",ei)},${u?`
+  ${eD("domainBuilder",ea)},
+  ${eD("attachComponent",eo)},
+  ${eD("implementCustomExpressions",ei)},
+  ${eD("implementCustomInvariants",es)},
+  ${eD("aliases",er)},${h?`
   commonInvariants: commonAdminInvariants,
   createMapPublishedRevisionDataHandler,
   createMapPublishedChunkedDataHandler,`:`
   implementActions,
   createAssistantSetupHandler,`}
-  ${eS("relationExpressions",S)},
-  ${eS("valueExpressions",D)},
-  ${eS("componentOptics",f)},
-  ${eS("createRecipe",E)},
-} = ${el}
-
-const ${es}: ${eC} = ${el}.model
-const ${er}: ${eM} = ${el}.enhancedModel
-const ${h}: ${eH} = ${el}.modelVersions
-export { ${en}, ${et}, ${ea}, ${eo}, ${ei}, ${u?"commonAdminInvariants, ":""}${es}, ${er}, ${S}, ${D}, ${f}, ${h}, ${E}${u?", createMapPublishedRevisionDataHandler, createMapPublishedChunkedDataHandler, createDataRowValidatorHandler, createSheetValidatorHandler":", 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-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-resources.js

@@ -1,30 +1,30 @@
-import{P as e,match as t}from"ts-pattern";export const generateResourcesLiteral=r=>{let n=r.map(r=>t(r).with({type:"ConfigurationLink"},e=>`  {
+import{P as e,match as t}from"ts-pattern";import{toSingleQuotedString as r}from"../../common/index.js";export const generateResourcesLiteral=n=>{let s=n.map(n=>t(n).with({type:"ConfigurationLink"},e=>`  {
     type: 'ConfigurationLink',
-    name: '${e.name}',
+    name: ${r(e.name)},
   },`).with({type:"Csv"},e=>{let t=e.s3Key?`,
-    s3Key: '${e.s3Key}'`:"";return`  {
+    s3Key: ${r(e.s3Key)}`:"";return`  {
     type: 'Csv',
-    name: '${e.name}'${t},
+    name: ${r(e.name)}${t},
   },`}).with({type:"Pdf"},e=>{let t=e.s3Key?`,
-    s3Key: '${e.s3Key}'`:"";return`  {
+    s3Key: ${r(e.s3Key)}`:"";return`  {
     type: 'Pdf',
-    name: '${e.name}'${t},
+    name: ${r(e.name)}${t},
   },`}).with({type:"Image",clientGenerated:!0,s3Key:e.string},e=>`  {
     type: 'Image',
-    name: '${e.name}',
+    name: ${r(e.name)},
     clientGenerated: true,
-    s3Key: '${e.s3Key}',
+    s3Key: ${r(e.s3Key)},
   },`).with({type:"Image",exists:!0,url:e.string},e=>`  {
     type: 'Image',
-    name: '${e.name}',
+    name: ${r(e.name)},
     exists: true,
-    url: '${e.url}',
+    url: ${r(e.url)},
   },`).with({type:"Image"},e=>`  {
     type: 'Image',
-    name: '${e.name}',
-    s3Key: '${e.s3Key}',
+    name: ${r(e.name)},
+    s3Key: ${r(e.s3Key)},
   },`).exhaustive());return`[
-${n.join("\n")}
+${s.join("\n")}
 ] as const`};export const generateResourcesCodegen=e=>{let t=e.infra.resources;if(void 0===t||0===t.length)return{preBlock:"",builderCall:""};let r=generateResourcesLiteral(t);return{preBlock:`
 // ---- Resources ----
 

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

@@ -1,5 +1,5 @@
 import type { AdminStates, ConfiguratorStates } from '../../../../parse-application-files/spec/index.js';
-import type { ApplicationTypeImportRegistrar, CodeImports } from '../../common/index.js';
+import { type ApplicationTypeImportRegistrar, type CodeImports } from '../../common/index.js';
 interface StateConstantsProps {
     readonly configuratorStates: ConfiguratorStates;
     readonly adminStates: AdminStates;

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

@@ -1,2 +1,2 @@
-let e=[{typeName:"NavigationState",key:"navigationStates"},{typeName:"ViewState",key:"viewStates"},{typeName:"ToolState",key:"toolStates"},{typeName:"ExportState",key:"exportStates"}],t=[{typeName:"AdminNavigationState",key:"navigationStates"}],a=e=>{let t=e.values.map(e=>`'${e}'`).join(" | ");return`type ${e.typeName} = ${t}
-const ${e.typeName}: EnumLike<${e.typeName}> = new EnumReflection('${e.typeName}', { enum: ${JSON.stringify(e.values)} }) as EnumLike<${e.typeName}>`},n=e=>`const ${e.typeName}: EnumLike<${e.typeName}> = new EnumReflection('${e.typeName}', { enum: ${JSON.stringify(e.values)} }) as EnumLike<${e.typeName}>`,m=a=>[...e.map(({typeName:e,key:t})=>({typeName:e,values:a.configuratorStates[t]})),...t.map(({typeName:e,key:t})=>({typeName:e,values:a.adminStates[t]}))];export const generateStateConstants=e=>m(e).map(a).join("\n\n");export const generateImportedStateConstants=(e,t,a)=>{let p=m(e);return a(t,p.map(e=>e.typeName)),p.map(n).join("\n\n")};export const generateStateTypeDecls=(a,n)=>{let m=" ".repeat(n);return[...e.map(({typeName:e,key:t})=>{let n=a.configuratorStates[t].map(e=>`'${e}'`).join(" | ");return`${m}type ${e} = ${n}`}),...t.map(({typeName:e,key:t})=>{let n=a.adminStates[t].map(e=>`'${e}'`).join(" | ");return`${m}type ${e} = ${n}`})].join("\n")};
+import{toSingleQuotedString as e}from"../../common/index.js";let t=[{typeName:"NavigationState",key:"navigationStates"},{typeName:"ViewState",key:"viewStates"},{typeName:"ToolState",key:"toolStates"},{typeName:"ExportState",key:"exportStates"}],a=[{typeName:"AdminNavigationState",key:"navigationStates"}],n=t=>{let a=t.values.map(e).join(" | ");return`type ${t.typeName} = ${a}
+const ${t.typeName}: EnumLike<${t.typeName}> = new EnumReflection('${t.typeName}', { enum: ${JSON.stringify(t.values)} }) as EnumLike<${t.typeName}>`},m=e=>`const ${e.typeName}: EnumLike<${e.typeName}> = new EnumReflection('${e.typeName}', { enum: ${JSON.stringify(e.values)} }) as EnumLike<${e.typeName}>`,o=e=>[...t.map(({typeName:t,key:a})=>({typeName:t,values:e.configuratorStates[a]})),...a.map(({typeName:t,key:a})=>({typeName:t,values:e.adminStates[a]}))];export const generateStateConstants=e=>o(e).map(n).join("\n\n");export const generateImportedStateConstants=(e,t,a)=>{let n=o(e);return a(t,n.map(e=>e.typeName)),n.map(m).join("\n\n")};export const generateStateTypeDecls=(n,m)=>{let o=" ".repeat(m);return[...t.map(({typeName:t,key:a})=>{let m=n.configuratorStates[a].map(e).join(" | ");return`${o}type ${t} = ${m}`}),...a.map(({typeName:t,key:a})=>{let m=n.adminStates[a].map(e).join(" | ");return`${o}type ${t} = ${m}`})].join("\n")};

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

@@ -6,8 +6,9 @@ export { generateComponentOpticsCode } from './generate-component-optics.js';
 export { generateDataSchemaConstants } from './generate-data-schemas.js';
 export { generateChunksSpec, generateDataSpec } from './generate-data-spec.js';
 export { generateDefaultsBlock } from './generate-defaults.js';
+export { getDomainFactoryTypes, type DomainFactoryTypes, type EnhancedReflectionClass } from './factory-types/index.js';
 export { generateDomainBlock, type DomainBlockOptions } from './generate-domain-block.js';
-export { generateInvariantsBlock } from './generate-invariants.js';
+export { generateInvariantBlueprintMembers, generateInvariantsBlock } from './generate-invariants.js';
 export { generateLocaleCodegen } from './generate-locale.js';
 export { generatePhxExportsBlock, generatePhxGlobalsBlock } from './generate-phx-globals.js';
 export { generatePresetsCode } from './generate-presets.js';

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

@@ -1 +1 @@
-export{generateAclCall}from"./generate-acl.js";export{generateApplicationMetadataBlock}from"./generate-application-metadata.js";export{generateAssistantBlock}from"./generate-assistant.js";export{generateBaseConfiguratorBuilder}from"./generate-base-configurator-builder.js";export{generateComponentOpticsCode}from"./generate-component-optics.js";export{generateDataSchemaConstants}from"./generate-data-schemas.js";export{generateChunksSpec,generateDataSpec}from"./generate-data-spec.js";export{generateDefaultsBlock}from"./generate-defaults.js";export{generateDomainBlock}from"./generate-domain-block.js";export{generateInvariantsBlock}from"./generate-invariants.js";export{generateLocaleCodegen}from"./generate-locale.js";export{generatePhxExportsBlock,generatePhxGlobalsBlock}from"./generate-phx-globals.js";export{generatePresetsCode}from"./generate-presets.js";export{generateRelationExpressionsCode}from"./generate-relation-expressions.js";export{generateMemoEvalPlanCode}from"./generate-memo-eval-plan-code.js";export{generateResourcesLiteral,generateResourcesCodegen}from"./generate-resources.js";export{generateResourcesConfigCall}from"./generate-resources-config.js";export{generateImportedStateConstants,generateStateConstants,generateStateTypeDecls}from"./generate-states.js";export{generateTextLanguagesCall}from"./generate-text-languages.js";
+export{generateAclCall}from"./generate-acl.js";export{generateApplicationMetadataBlock}from"./generate-application-metadata.js";export{generateAssistantBlock}from"./generate-assistant.js";export{generateBaseConfiguratorBuilder}from"./generate-base-configurator-builder.js";export{generateComponentOpticsCode}from"./generate-component-optics.js";export{generateDataSchemaConstants}from"./generate-data-schemas.js";export{generateChunksSpec,generateDataSpec}from"./generate-data-spec.js";export{generateDefaultsBlock}from"./generate-defaults.js";export{getDomainFactoryTypes}from"./factory-types/index.js";export{generateDomainBlock}from"./generate-domain-block.js";export{generateInvariantBlueprintMembers,generateInvariantsBlock}from"./generate-invariants.js";export{generateLocaleCodegen}from"./generate-locale.js";export{generatePhxExportsBlock,generatePhxGlobalsBlock}from"./generate-phx-globals.js";export{generatePresetsCode}from"./generate-presets.js";export{generateRelationExpressionsCode}from"./generate-relation-expressions.js";export{generateMemoEvalPlanCode}from"./generate-memo-eval-plan-code.js";export{generateResourcesLiteral,generateResourcesCodegen}from"./generate-resources.js";export{generateResourcesConfigCall}from"./generate-resources-config.js";export{generateImportedStateConstants,generateStateConstants,generateStateTypeDecls}from"./generate-states.js";export{generateTextLanguagesCall}from"./generate-text-languages.js";

package/dist/application-spec/generate-application/code/templates/global-definition/generate-phx-types.d.ts

@@ -0,0 +1,43 @@
+import type { ApplicationSpec } from '../../../../parse-application-files/index.js';
+import type { CodeImports } from '../../common/index.js';
+/**
+ * The types of the `phx` members, stated from SDK types and the project's generated types alone.
+ *
+ * Each member that the generated code builds with an SDK factory is declared as that factory's
+ * result for the type arguments the generated call states (`ReturnType<typeof factory<…>>`), so the
+ * declared type is the very type of the generated value; each member that is an SDK function as is
+ * is declared as that function's type; the model reflections are declared member by member.
+ *
+ * The factory results are named by type aliases local to the declaring file, and the members refer
+ * to those names. An editor cannot name a local alias where `phx` is used, so it shows the type
+ * itself, as it did when the members referred to the generated values; a member written as
+ * `ReturnType<typeof factory<…>>` in place would be shown as written, and printing it overflows the
+ * stack of the TypeScript 6 type printer.
+ */
+export interface PhxTypes {
+    /** Declarations the member types refer to, to emit once beside them, outside `declare global`. */
+    readonly declarations: string;
+    /** `phx.domain`, its admin part included. */
+    readonly domainType: string;
+    /** `phx.frontend` without its admin part. */
+    readonly configuratorInterfaceType: string;
+    /** The generated application types the member types refer to. */
+    readonly applicationTypeNames: readonly string[];
+}
+/** The types of a generated project's global `phx`, which also has `phx.frontend.admin` and `phx.webhooks`. */
+export interface GlobalPhxTypes extends PhxTypes {
+    /** `phx.frontend.admin`. */
+    readonly adminInterfaceType: string;
+    /** `phx.webhooks`. */
+    readonly webhooksType: string;
+}
+/**
+ * Generates the types of the `phx` members a story's module binding has (`domain` and
+ * `frontend`) and registers the SDK imports they need.
+ */
+export declare const generatePhxTypes: (spec: ApplicationSpec, imports: CodeImports) => PhxTypes;
+/**
+ * Generates the types of the members of a generated project's global `phx`, `phx.frontend.admin` and
+ * `phx.webhooks` included, and registers the SDK imports they need.
+ */
+export declare const generateGlobalPhxTypes: (spec: ApplicationSpec, imports: CodeImports) => GlobalPhxTypes;

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

@@ -0,0 +1,31 @@
+import{generateInvariantBlueprintMembers as e,getDomainFactoryTypes as t}from"../domain-spec/index.js";let a="CustomInvariantBlueprints",n="AdminCustomInvariantBlueprints",o=["authHandlerBuilder","webhookBuilder","taskFactory","finalizeHandlerBuilder","callbackBuilder","prefetchBuilder","dynamicResourcesFactory"],i=(e,t)=>e.replaceAll("\n",`
+${t}`),r=e=>{let t=(e.infra.resources??[]).map(e=>JSON.stringify(e.name));return["AnyDomainEntity","RootEntity","$Map","NavigationState","ViewState","ToolState","ExportState","PublishedData","SessionData","FrontendData","Admin.AnyDomainEntity","Admin.RootEntity","Admin.$Map","AdminNavigationState","never","FinalizeData","PrefetchedFinalizeData","FinalizeResult","CallbackData",t.length>0?[...new Set(t)].join(" | "):"never"].join(", ")},s=()=>{let e=new Map;return{member:(t,a)=>(e.set(t,a),t),declarations:()=>[...e].map(([e,t])=>`type ${e} = ${t}`).join("\n")}},d=(o,s,d)=>{for(let e of["$DomainEntityReflection","DomainComponentOpticBuilder","DomainContextSystems","DomainEntityReflection","EnhancedAliasReflection","EnumLike","RawAliasReflection","RuntimeExpressionContext","SchemaReflection","createActionFactory","createAssistantSetupHandlerFactory","createCustomExpressionFactory","createCustomInvariantFactory","createDataRowValidatorHandler","createMapPublishedChunkedDataHandlerFactory","createMapPublishedRevisionDataHandlerFactory","createRecipeFactory","createSheetValidatorHandler"])s.addTypeImport("@salsita-ai/sdk/domain",e);s.addTypeImport("@salsita-ai/sdk/configurator","createConfiguratorInterface");let l=t(o.configurator,""),p=t(o.admin,"Admin"),c=r(o),m=(e,t)=>t?`interface ${e} {
+${t}
+}`:`interface ${e} {}`,{member:y}=d,u=`{
+  readonly model: ${i(l.modelType,"  ")}
+  readonly enhancedModel: ${i(l.enhancedModelType,"  ")}
+  readonly implementCustomExpressions: ${y("PhxImplementCustomExpressions",`ReturnType<typeof createCustomExpressionFactory<${l.typeArguments}, ${l.contextExtension}>>`)}
+  readonly implementCustomInvariants: ${y("PhxImplementCustomInvariants",`ReturnType<ReturnType<typeof createCustomInvariantFactory<${l.typeArguments}, ${a}, ${l.contextExtension}>>>`)}
+  readonly implementActions: ${y("PhxImplementActions",`ReturnType<typeof createActionFactory<AnyDomainEntity, RootEntity, PublishedData, SessionData, FrontendData, ActionTypes, ${l.contextExtension}, ${l.systems}>>`)}
+  readonly createAssistantSetupHandler: ${y("PhxCreateAssistantSetupHandler","ReturnType<typeof createAssistantSetupHandlerFactory<SessionData, AnyDomainEntity, $Map, ActionTypes>>")}
+  readonly attachComponent: ${y("PhxAttachComponent",`ReturnType<typeof DomainComponentOpticBuilder.from<${l.typeArguments}, ${l.contextExtension}>>`)}
+  readonly createRecipe: ${y("PhxCreateRecipe","ReturnType<typeof createRecipeFactory<AnyDomainEntity>>")}
+  readonly admin: {
+    readonly model: ${i(p.modelType,"    ")}
+    readonly enhancedModel: ${i(p.enhancedModelType,"    ")}
+    readonly implementCustomExpressions: ${y("PhxAdminImplementCustomExpressions",`ReturnType<typeof createCustomExpressionFactory<${p.typeArguments}, ${p.contextExtension}>>`)}
+    readonly implementCustomInvariants: ${y("PhxAdminImplementCustomInvariants",`ReturnType<ReturnType<typeof createCustomInvariantFactory<${p.typeArguments}, ${n}, ${p.contextExtension}>>>`)}
+    readonly attachComponent: ${y("PhxAdminAttachComponent",`ReturnType<typeof DomainComponentOpticBuilder.from<${p.typeArguments}, ${p.contextExtension}>>`)}
+    readonly createMapPublishedRevisionDataHandler: ${y("PhxAdminCreateMapPublishedRevisionDataHandler","ReturnType<typeof createMapPublishedRevisionDataHandlerFactory<Admin.AnyDomainEntity, Admin.RootEntity, Admin.$Map, PublishedData>>")}
+    readonly createMapPublishedChunkedDataHandler: ${y("PhxAdminCreateMapPublishedChunkedDataHandler","ReturnType<typeof createMapPublishedChunkedDataHandlerFactory<Admin.AnyDomainEntity, Admin.RootEntity, Admin.$Map>>")}
+    readonly createDataRowValidatorHandler: typeof createDataRowValidatorHandler
+    readonly createSheetValidatorHandler: typeof createSheetValidatorHandler
+    readonly createRecipe: ${y("PhxAdminCreateRecipe","ReturnType<typeof createRecipeFactory<Admin.AnyDomainEntity>>")}
+  }
+}`,$=y("PhxFrontend",`ReturnType<typeof createConfiguratorInterface<${c}>>`),{latestModel:h}=o.configurator;return{declarations:[m(a,e(o.configurator.invariants,"  ")),m(n,e(o.admin.invariants,"  "))].join("\n\n"),domainType:u,configuratorInterfaceType:$,applicationTypeNames:[...h.entityTypes.map(String),...[...h.aliases].map(([e])=>String(e)),...[...h.commonTypes].map(([e])=>String(e)),...h.entityTypes.map(e=>`$${String(e)}`),...[...h.aliases].map(([e])=>`$${String(e)}`),"Aliases","$Map","ActionTypes","Admin","PublishedData","SessionData","FrontendData","BackendData","FinalizeData","PrefetchedFinalizeData","FinalizeResult","CallbackData","NavigationState","ViewState","ToolState","ExportState","AdminNavigationState"]}};export const generatePhxTypes=(e,t)=>{let a=s(),n=d(e,t,a);return{...n,declarations:`${n.declarations}
+
+${a.declarations()}`}};export const generateGlobalPhxTypes=(e,t)=>{let a=s(),{member:n}=a,i=d(e,t,a);t.addTypeImport("@salsita-ai/sdk/admin","createAdminInterface"),t.addTypeImport("@salsita-ai/sdk/webhook","createDomainWebhook");let l=r(e),p=n("PhxFrontendAdmin",`ReturnType<typeof createAdminInterface<${l}>>`),c=n("PhxWebhookBuilders",`ReturnType<typeof createDomainWebhook<${l}>>`),m=o.map(e=>`  readonly ${e}: ${n(`PhxWebhooks${e.charAt(0).toUpperCase()}${e.slice(1)}`,`${c}['${e}']`)}`);return{...i,declarations:`${i.declarations}
+
+${a.declarations()}`,adminInterfaceType:p,webhooksType:`{
+${m.join("\n")}
+}`}};

package/dist/application-spec/generate-application/code/templates/global-definition/index.d.ts

@@ -2,3 +2,4 @@ export { generateActionTypeDecls } from './generate-action-types.js';
 export { generateModelTypeDecls } from './generate-model-types.js';
 export { generateExpressionTypeDecls, generateEntityExpressionComposites } from './generate-expression-types.js';
 export { generateDataSchemaTypeDecls } from './generate-data-schema-types.js';
+export { generateGlobalPhxTypes, generatePhxTypes, type GlobalPhxTypes, type PhxTypes } from './generate-phx-types.js';

package/dist/application-spec/generate-application/code/templates/global-definition/index.js

@@ -1 +1 @@
-export{generateActionTypeDecls}from"./generate-action-types.js";export{generateModelTypeDecls}from"./generate-model-types.js";export{generateExpressionTypeDecls,generateEntityExpressionComposites}from"./generate-expression-types.js";export{generateDataSchemaTypeDecls}from"./generate-data-schema-types.js";
+export{generateActionTypeDecls}from"./generate-action-types.js";export{generateModelTypeDecls}from"./generate-model-types.js";export{generateExpressionTypeDecls,generateEntityExpressionComposites}from"./generate-expression-types.js";export{generateDataSchemaTypeDecls}from"./generate-data-schema-types.js";export{generateGlobalPhxTypes,generatePhxTypes}from"./generate-phx-types.js";