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

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

@@ -0,0 +1,41 @@
+import{CodeImports as e,autoHeader as t,skipApplicationTypeImports as n}from"../../common/index.js";import{collectSpecCode as r}from"./collect-spec-code.js";let o="@salsita-ai/sdk/domain",s=`/**
+ * The type at one key of TYPE, or the item type of an array for a numeric key, taken from every
+ * member of a union that has it. \`unknown\` when no member has it, so that a type the path cannot
+ * follow loses the check instead of rejecting valid code.
+ */
+type SpecCodeMember<TYPE, KEY> = TYPE extends readonly (infer ITEM)[]
+  ? KEY extends number
+    ? ITEM
+    : never
+  : TYPE extends object
+    ? KEY extends keyof TYPE
+      ? TYPE[KEY]
+      : never
+    : never
+type SpecCodeAt<TYPE, KEY> = [SpecCodeMember<TYPE, KEY>] extends [never] ? unknown : SpecCodeMember<TYPE, KEY>`,i=`/** The value a component filter criterion yields, as \`withGradualFilter\` takes it: arrays read-only. */
+type SpecCodeFilterCriterion<KEY extends keyof ComponentSystemFilterProps> =
+  | ([Required<ComponentSystemFilterProps>[KEY]] extends [ReadonlyArray<infer ITEM>]
+      ? readonly ITEM[]
+      : Required<ComponentSystemFilterProps>[KEY])
+  | undefined`,p=`/**
+ * Types one closure: \`self\` is the entity it runs on, and what it returns must fit TARGET. The
+ * result is inferred as a constant and then checked against TARGET, as the dependencies of
+ * \`memoEval\` are in generated domain code.
+ */
+const code =
+  <SELF, TARGET>() =>
+  <const RESULT extends TARGET>(closure: (self: SELF) => RESULT): ((self: SELF) => RESULT) =>
+    closure`,a=(e,t,n)=>{if(0===t.length)return"unknown";let r=t.map(t=>(t.length>0&&(n.usesAt=!0),t.reduce((e,t)=>`SpecCodeAt<${e}, ${"number"==typeof t?"number":JSON.stringify(t)}>`,e)));return 1===r.length?r[0]:r.map(e=>`(${e})`).join(" & ")},d=(e,t,n)=>0===e.length?"{}":`{
+${e.map(e=>{let r,s,i;return t.registerOwnerTypes([`$${e.owner}`]),r=`${t.typePrefix}$${e.owner}`,s=((e,t,n,r)=>{if("filter"===e.kind)return r.usesFilter=!0,r.imports.addTypeImport(o,"ComponentSystemFilterProps"),`SpecCodeFilterCriterion<'${e.criterion}'>`;if("component"===e.kind){let t=`${e.componentName}Component`;return r.imports.addTypeImport(o,"StateOfComponent"),r.imports.addTypeImport(o,t),a(`StateOfComponent<typeof ${t}>`,e.paths,r)}return n.registerOwnerTypes([`${t}Expressions`]),a(`${n.typePrefix}${t}Expressions['${e.name}']`,e.paths,r)})(e.target,e.owner,t,n),i=e.usesSelf?`self => (${e.code}
+)`:`() => (${e.code}
+)`,`    ${JSON.stringify(e.id)}: code<${r}, ${s}>()(${i}),`}).join("\n")}
+  }`;export const generateApplicationSpecCodeFile=(o,a=n)=>{let m=new e,c={imports:m,usesAt:!1,usesFilter:!1},l=r(o.configurator),y=r(o.admin),f=d(l,{typePrefix:"",registerOwnerTypes:e=>a(m,e)},c),u=d(y,{typePrefix:"Admin.",registerOwnerTypes:()=>a(m,["Admin"])},c),E=[...c.usesAt?[s]:[],...c.usesFilter?[i]:[],...l.length+y.length>0?[p]:[]];return`${t("spec-code.ts","Code written in YAML ($eval in expressions, component props and filters) as typed closures, keyed by spec code id.")}
+${m.toString()}
+
+${E.map(e=>`${e}
+
+`).join("")}export const specCode = {
+  configurator: ${f},
+  admin: ${u},
+}
+`};

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

@@ -0,0 +1 @@
+export { generateApplicationSpecMessagesFile } from './spec-messages.js';

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

@@ -0,0 +1 @@
+export{generateApplicationSpecMessagesFile}from"./spec-messages.js";

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

@@ -0,0 +1,20 @@
+import type { ComponentEntry, Defaults, Expressions, Invariants } from '../../../../parse-application-files/index.js';
+/** The sections of one domain whose `$msg` texts generated domain code turns into `msg` calls. */
+export interface SpecMessagesDomain {
+    readonly expressions: Expressions;
+    readonly components: readonly ComponentEntry[];
+    readonly invariants: Invariants;
+    readonly defaults: Defaults;
+}
+/** The two domains of a parsed spec whose texts the generated messages file holds. */
+export interface SpecMessagesSpec {
+    readonly configurator: SpecMessagesDomain;
+    readonly admin: SpecMessagesDomain;
+}
+/**
+ * Generates `.phoenix/spec-messages.ts`: one `msg` call for each distinct `$msg` text of the spec
+ * that generated domain code turns into a `msg` call, with the same message id (`$msgId`, or the id
+ * Lingui generates from the text). Lingui extracts the project's catalogues from `.phoenix`, so the
+ * YAML texts reach them through this file. Nothing imports it.
+ */
+export declare const generateApplicationSpecMessagesFile: (spec: SpecMessagesSpec) => string;

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

@@ -0,0 +1,6 @@
+import{isMsgMarker as e,stringifyMsgMacroCode as t}from"../../../../core/index.js";import{CodeImports as s,autoHeader as o}from"../../common/index.js";let n=(e,t)=>{"msg"===e.kind?t.push(e.marker):"array"===e.kind?e.items.forEach(e=>n(e,t)):"object"===e.kind&&e.entries.forEach(([,e])=>n(e,t))},a=(t,s)=>{e(t)?s.push(t):Array.isArray(t)?t.forEach(e=>a(e,s)):"object"==typeof t&&null!==t&&Object.values(t).forEach(e=>a(e,s))},r=(e,t)=>{for(let s of e.expressions.expressions.values())for(let e of s.values())"value"===e.implementation.kind&&n(e.implementation.plan.template,t);for(let s of e.components)"userBound"===s.implementation.kind&&n(s.implementation.plan.template,t);for(let s of Object.values(e.invariants.entries))for(let e of Object.values(s))"static"===e.kind&&"string"!=typeof e.message&&t.push(e.message);a(e.defaults.entries,t)};export const generateApplicationSpecMessagesFile=e=>{let n=[];r(e.configurator,n),r(e.admin,n);let a=[...new Set(n.map(t))],i=new s;return a.length>0&&i.addImport("@lingui/core/macro","msg"),`${o("spec-messages.ts","The texts of the spec as msg calls, for Lingui extraction.")}
+${i.toString()}
+
+export const specMessages = [${a.map(e=>`
+  ${e},`).join("")}${a.length>0?"\n":""}]
+`};

package/dist/application-spec/generate-application/code/templates/story/phx-module.d.ts

@@ -1,7 +1,13 @@
+import type { ApplicationSpec } from '../../../../parse-application-files/index.js';
 /**
  * Emits the story's `phx` module.
  *
  * Stories bind `phx` as a module export rather than through `globalThis`, so several stories can
- * run side by side on one Storybook page without sharing configurator state.
+ * run side by side on one Storybook page without sharing configurator state. Its type is stated from
+ * SDK types and the story's generated application types, as `globals.d.ts` states the global one.
+ *
+ * Each member of `phx.applicationTypes` is typed as a local declared constant, so an editor shows the
+ * type itself (`SchemaOfObject<never>` for data the spec leaves out), as it did when the members were
+ * the generated values, and not the alias as written.
  */
-export declare const generateApplicationSpecStoryPhxModule: () => string;
+export declare const generateApplicationSpecStoryPhxModule: (spec: ApplicationSpec) => string;

package/dist/application-spec/generate-application/code/templates/story/phx-module.js

@@ -1,9 +1,21 @@
-export const generateApplicationSpecStoryPhxModule=()=>`import { configuratorInterface } from './configurator-globals.js'
+import{CodeImports as a}from"../../common/index.js";import{generatePhxTypes as t}from"../global-definition/index.js";let e=[["ApplicationVersion","string"],["PublishedDataHash","string"],...["PublishedData","SessionData","FrontendData","BackendData","FinalizeData","PrefetchedFinalizeData","FinalizeResult","CallbackData"].map(a=>[a,`SchemaOfObject<${a}>`]),...["NavigationState","ViewState","ToolState","ExportState","AdminNavigationState"].map(a=>[a,`EnumLike<${a}>`])];export const generateApplicationSpecStoryPhxModule=o=>{let i=new a,n=t(o,i);for(let a of(i.addTypeImport("@salsita-ai/sdk/domain","SchemaOfObject"),n.applicationTypeNames))i.addTypeImport("./application-types.js",a);let p=e.map(([a,t])=>`declare const phx${a}: ${t}`),r=e.map(([a])=>`    ${a}: typeof phx${a}`);return`${i.toTypeOnlyString()}
+
+import { configuratorInterface } from './configurator-globals.js'
 import { phxApplicationTypes, phxDomain } from './domain-spec.js'
 
-export const phx = {
+${n.declarations}
+
+${p.join("\n")}
+
+export const phx: {
+  domain: ${n.domainType.replaceAll("\n","\n  ")}
+  frontend: ${n.configuratorInterfaceType}
+  applicationTypes: {
+${r.join("\n")}
+  }
+} = {
   domain: phxDomain,
   frontend: configuratorInterface,
   applicationTypes: phxApplicationTypes,
 }
-`;
+`};

package/dist/application-spec/generate-application/code/templates/story/wrapper.d.ts

@@ -7,5 +7,8 @@ import type { MockTemplateDefinition } from '../../../../mock-template-definitio
  * mode change has to arrive as a fresh mount. The Storybook plugin achieves that by reloading the
  * preview whenever the story's marker appears, changes, or disappears. In a production Storybook
  * build the same module always reports `active === false`, so deployed stories stay local-mode.
+ *
+ * `ExampleApp` takes an optional `mockTemplate` key, so a story can pin the mock template it opens
+ * (`args: { mockTemplate: 'read' }`); the editor applies it on mount without storing it.
  */
 export declare const generateApplicationSpecStoryWrapper: (storyFolderName: string, mockTemplates: readonly MockTemplateDefinition[]) => string;

package/dist/application-spec/generate-application/code/templates/story/wrapper.js

@@ -14,13 +14,14 @@ const config = configuratorConfig.withWebComponentTag(tagName).buildConfig()
 
 mountConfiguratorApplication(config)
 
-export const ExampleApp = () => (
+export const ExampleApp = ({ mockTemplate }: { readonly mockTemplate?: string }) => (
   <Editor
     localMode={!active}
     wsUrl={wsUrl}
     initialRawProjectFiles={rawProjectFiles}
     mockTemplates={mockTemplates}
     autoApplyTemplate
+    initialTemplateKey={mockTemplate}
     tagName={tagName}
     enableAdmin={false}
   />

package/dist/application-spec/generate-application/runtime/admin-runtime/admin-model-runtime.d.ts

@@ -3,6 +3,7 @@ import { type $DomainEntity, $DomainEntityReflection, DomainBuilder, type Domain
 import type { RuntimeReferenceStore } from '../../../caching/index.js';
 import type { DataSchemas, Expressions } from '../../../parse-application-files/index.js';
 import type { RuntimeModelVersion, RuntimeResolvedVersions } from '../../runtime-spec/index.js';
+import type { SpecCodeMap } from '../spec-code/index.js';
 type AnyEntity = DomainEntity<string>;
 type AnyAliases = Record<string, AnyEntity>;
 type AnyData = Record<string, unknown>;
@@ -25,5 +26,5 @@ interface AdminModelRuntimeFields {
     readonly schemaChanged: boolean;
 }
 export type AdminModelRuntime = Branded<'AdminModelRuntime', AdminModelRuntimeFields>;
-export declare const AdminModelRuntime: (domainSpec: AdminModelRuntimeSpec, dataSchemas: DataSchemas, referenceStore: RuntimeReferenceStore) => AdminModelRuntime;
+export declare const AdminModelRuntime: (domainSpec: AdminModelRuntimeSpec, dataSchemas: DataSchemas, referenceStore: RuntimeReferenceStore, code: SpecCodeMap | undefined) => AdminModelRuntime;
 export {};

package/dist/application-spec/generate-application/runtime/admin-runtime/admin-model-runtime.js

@@ -1 +1 @@
-import e from"lodash-es/isEqual.js";import{Branded as t}from"@salsita-ai/common/utils";import{$DomainEntityReflection as s,DomainBuilder as a,DomainEntityReflection as n,RawAliasReflection as i,SchemaReflection as o}from"#package/domain";import{evaluateReflectionConstants as r,findReflectionConstants as m}from"../sections/reflection-constants-runtime.js";let l=e=>({latestVersion:e.resolvedVersions.latestVersion,versionedModels:e.resolvedVersions.versionedModels.map(e=>({version:e.version,key:e.key,isLatest:e.isLatest,migrationFile:e.migrationFile}))}),p=e=>{let t=[];for(let[s,a]of e.expressions.entityExpressions)t.push({entityType:String(s),shapeGroups:a.shapeGroups.map(String),expressionNamesByGroup:a.shapeGroups.map(t=>{let s=e.expressions.expressions.get(t);return{group:String(t),names:s?[...s.keys()].map(String):[]}}),constants:[...m(e.expressions,String(s))??[]].map(([e,t])=>[String(e),t])});return t},S=(t,s)=>{let a,n;return a=t.domainSpec,n=s.domainSpec,e(a.latestModel.entitySchemas.map(e=>e.shapeSchema),n.latestModel.entitySchemas.map(e=>e.shapeSchema))&&e([...a.latestModel.aliases],[...n.latestModel.aliases])&&e([...a.latestModel.commonTypes],[...n.latestModel.commonTypes])&&e(l(a),l(n))&&e(p(a),p(n))&&e(t.dataSchemas.publishedData.runtimeSchema,s.dataSchemas.publishedData.runtimeSchema)&&e(t.dataSchemas.sessionData.runtimeSchema,s.dataSchemas.sessionData.runtimeSchema)&&e(t.dataSchemas.frontendData.runtimeSchema,s.dataSchemas.frontendData.runtimeSchema)},c=e=>{let{latestModel:t,resolvedVersions:m,expressions:l}=e.domainSpec,p={};for(let e of t.entitySchemas)p[String(e.entityType)]=new n(String(e.entityType),[e.shapeSchema]);let S={};for(let[e,s]of t.commonTypes){let t=s.runtimeSchema;S[String(e)]=new o(String(e),t)}let c=[...t.aliases],d={},h={};for(let[e,t]of c){let s=t.map(e=>p[String(e)]),a=new i(String(e),s);d[String(e)]=a,h[String(e)]=a.types}let u={};for(let e of t.entityTypes){let t=String(e),a=l.entityExpressions.get(e),n=[];if(a)for(let e of a.shapeGroups){let t=l.expressions.get(e);t&&n.push(...t.keys())}u[t]=new s(t,n,r(l,t))}let y=c.map(([e])=>String(e)).includes("RootEntity")?"RootEntity":"AnyDomainEntity",g=d[y]?.types??[],f=m.latestVersion,D=e.dataSchemas.publishedData.runtimeSchema,x=e.dataSchemas.sessionData.runtimeSchema,M=e.dataSchemas.frontendData.runtimeSchema,v=a.from(p,h,u,g,f,D,x,M,void 0,!0);return{entities:p,aliasReflections:d,commonTypeReflections:S,aliases:h,$entityReflections:u,rootEntityTypes:g,modelVersion:f,domainBuilder:v}};export const AdminModelRuntime=(e,s,a)=>{let n=a.createBuilder("modelRuntime:admin",{build:c,getKey:()=>"singleton",compare:S}).build({domainSpec:e,dataSchemas:s});return t({...n.output,schemaChanged:n.changed})};
+import e from"lodash-es/isEqual.js";import{Branded as t}from"@salsita-ai/common/utils";import{$DomainEntityReflection as s,DomainBuilder as a,DomainEntityReflection as n,RawAliasReflection as i,SchemaReflection as o}from"#package/domain";import{evaluateReflectionConstants as r,findReflectionConstants as m}from"../sections/reflection-constants-runtime.js";let l=e=>({latestVersion:e.resolvedVersions.latestVersion,versionedModels:e.resolvedVersions.versionedModels.map(e=>({version:e.version,key:e.key,isLatest:e.isLatest,migrationFile:e.migrationFile}))}),p=e=>{let t=[];for(let[s,a]of e.expressions.entityExpressions)t.push({entityType:String(s),shapeGroups:a.shapeGroups.map(String),expressionNamesByGroup:a.shapeGroups.map(t=>{let s=e.expressions.expressions.get(t);return{group:String(t),names:s?[...s.keys()].map(String):[]}}),constants:[...m(e.expressions,String(s))??[]].map(([e,t])=>[String(e),t])});return t},c=(t,s)=>{let a,n;return t.code===s.code&&(a=t.domainSpec,n=s.domainSpec,e(a.latestModel.entitySchemas.map(e=>e.shapeSchema),n.latestModel.entitySchemas.map(e=>e.shapeSchema))&&e([...a.latestModel.aliases],[...n.latestModel.aliases])&&e([...a.latestModel.commonTypes],[...n.latestModel.commonTypes])&&e(l(a),l(n))&&e(p(a),p(n)))&&e(t.dataSchemas.publishedData.runtimeSchema,s.dataSchemas.publishedData.runtimeSchema)&&e(t.dataSchemas.sessionData.runtimeSchema,s.dataSchemas.sessionData.runtimeSchema)&&e(t.dataSchemas.frontendData.runtimeSchema,s.dataSchemas.frontendData.runtimeSchema)},d=e=>{let{latestModel:t,resolvedVersions:m,expressions:l}=e.domainSpec,p={};for(let e of t.entitySchemas)p[String(e.entityType)]=new n(String(e.entityType),[e.shapeSchema]);let c={};for(let[e,s]of t.commonTypes){let t=s.runtimeSchema;c[String(e)]=new o(String(e),t)}let d=[...t.aliases],S={},h={};for(let[e,t]of d){let s=t.map(e=>p[String(e)]),a=new i(String(e),s);S[String(e)]=a,h[String(e)]=a.types}let u={};for(let a of t.entityTypes){let t=String(a),n=l.entityExpressions.get(a),i=[];if(n)for(let e of n.shapeGroups){let t=l.expressions.get(e);t&&i.push(...t.keys())}u[t]=new s(t,i,r(l,t,e.code))}let y=d.map(([e])=>String(e)).includes("RootEntity")?"RootEntity":"AnyDomainEntity",g=S[y]?.types??[],f=m.latestVersion,D=e.dataSchemas.publishedData.runtimeSchema,x=e.dataSchemas.sessionData.runtimeSchema,M=e.dataSchemas.frontendData.runtimeSchema,v=a.from(p,h,u,g,f,D,x,M,void 0,!0);return{entities:p,aliasReflections:S,commonTypeReflections:c,aliases:h,$entityReflections:u,rootEntityTypes:g,modelVersion:f,domainBuilder:v}};export const AdminModelRuntime=(e,s,a,n)=>{let i=a.createBuilder("modelRuntime:admin",{build:d,getKey:()=>"singleton",compare:c}).build({domainSpec:e,dataSchemas:s,code:n});return t({...i.output,schemaChanged:i.changed})};

package/dist/application-spec/generate-application/runtime/admin-runtime/admin-runtime.d.ts

@@ -6,6 +6,7 @@ import { type MigrationModules, MigrationRuntime } from '../migrations/index.js'
 import { ComponentOptics } from '../sections/component-optic.js';
 import { type ExpressionImplementations, ExpressionRuntime, type InvariantImplementations, type MissingExpression } from '../sections/expression-runtime.js';
 import { PresetRuntime } from '../sections/preset-runtime.js';
+import type { SpecCodeMap } from '../spec-code/index.js';
 import { AdminModelRuntime } from './admin-model-runtime.js';
 import { AdminStatesRuntime } from './states-runtime.js';
 export type AdminRuntime = Branded<'AdminRuntime', {
@@ -24,4 +25,4 @@ export type AdminRuntimeResult = {
     readonly ok: false;
     readonly missingExpressions: readonly MissingExpression[];
 };
-export declare const AdminRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, implementations: ExpressionImplementations, invariantImplementations: InvariantImplementations, migrationModules: MigrationModules) => AdminRuntimeResult;
+export declare const AdminRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, implementations: ExpressionImplementations, invariantImplementations: InvariantImplementations, migrationModules: MigrationModules, code: SpecCodeMap | undefined) => AdminRuntimeResult;

package/dist/application-spec/generate-application/runtime/admin-runtime/admin-runtime.js

@@ -1 +1 @@
-import{Branded as e}from"@salsita-ai/common/utils";import{Preset as t,PresetCategory as i,commonAdminCustomExpressions as n,commonAdminViolationExpressions as r}from"#package/domain";import{FactoryDataRuntime as s}from"../factory-data/index.js";import{MigrationRuntime as o}from"../migrations/index.js";import{ComponentOptics as m}from"../sections/component-optic.js";import{ExpressionRuntime as a}from"../sections/expression-runtime.js";import{PresetRuntime as p}from"../sections/preset-runtime.js";import{AdminModelRuntime as f}from"./admin-model-runtime.js";import{AdminStatesRuntime as u}from"./states-runtime.js";let c={Preset:[{evaluate:(e,i,n)=>{let s=n.domain.get$Entity(e,i);return t.assert(s),r.Preset.nameNotEmpty(s)}}]},l={PresetCategory:{$isDraft:{origin:{name:"$isDraft",typeOrAlias:"PresetCategory"},evaluate:(e,t,r)=>{let s=r.domain.get$Entity(e,t);return i.assert(s),n.PresetCategory.$isDraft(s)},meta:{}}}},d=new WeakMap;export const AdminRuntime=(t,i,n,r,g)=>{let R={...l};for(let[e,t]of Object.entries(n))R[e]={...R[e],...t};let y=f(t.admin,t.configurator.dataSchemas,i),j=a(t.admin,i,R,"adminExpressionRuntime",((e,t)=>{if(0===Object.keys(e).length)return c;let i=d.get(t)??new WeakMap;d.set(t,i);let n=i.get(e);if(n)return n;let r={};for(let i of[c,e])for(let[e,n]of Object.entries(i))for(let i of t[e]??[e])r[i]=[...r[i]??[],...n];return i.set(e,r),r})(r,y.aliases));return j.ok?{ok:!0,runtime:e({modelRuntime:y,componentOptics:m(i,{components:t.admin.components,referenceScope:"adminRuntime/componentOptics",modelRuntime:y}),expressionRuntime:j.runtime,presetRuntime:p(i,{referenceScope:"adminRuntime/presetRuntime",presets:t.admin.presets.presets}),statesRuntime:u(t,i),migrationRuntime:o(i,{referenceScope:"adminRuntime/migrationRuntime",resolvedVersions:t.admin.resolvedVersions,latestEntities:y.entities,migrationModules:g}),factoryDataRuntime:s(i,{referenceScope:"adminRuntime/factoryDataRuntime",invariants:t.admin.invariants,defaults:t.admin.defaults,aliases:y.aliases,entities:y.entities})})}:{ok:!1,missingExpressions:j.missing}};
+import{Branded as e}from"@salsita-ai/common/utils";import{Preset as t,PresetCategory as i,commonAdminCustomExpressions as n,commonAdminViolationExpressions as r}from"#package/domain";import{FactoryDataRuntime as s}from"../factory-data/index.js";import{MigrationRuntime as o}from"../migrations/index.js";import{ComponentOptics as m}from"../sections/component-optic.js";import{ExpressionRuntime as a}from"../sections/expression-runtime.js";import{PresetRuntime as p}from"../sections/preset-runtime.js";import{AdminModelRuntime as f}from"./admin-model-runtime.js";import{AdminStatesRuntime as u}from"./states-runtime.js";let c={Preset:[{evaluate:(e,i,n)=>{let s=n.domain.get$Entity(e,i);return t.assert(s),r.Preset.nameNotEmpty(s)}}]},l={PresetCategory:{$isDraft:{origin:{name:"$isDraft",typeOrAlias:"PresetCategory"},evaluate:(e,t,r)=>{let s=r.domain.get$Entity(e,t);return i.assert(s),n.PresetCategory.$isDraft(s)},meta:{}}}},d=new WeakMap;export const AdminRuntime=(t,i,n,r,g,R)=>{let y={...l};for(let[e,t]of Object.entries(n))y[e]={...y[e],...t};let j=f(t.admin,t.configurator.dataSchemas,i,R),k=a(t.admin,i,y,"adminExpressionRuntime",((e,t)=>{if(0===Object.keys(e).length)return c;let i=d.get(t)??new WeakMap;d.set(t,i);let n=i.get(e);if(n)return n;let r={};for(let i of[c,e])for(let[e,n]of Object.entries(i))for(let i of t[e]??[e])r[i]=[...r[i]??[],...n];return i.set(e,r),r})(r,j.aliases),R);return k.ok?{ok:!0,runtime:e({modelRuntime:j,componentOptics:m(i,{components:t.admin.components,referenceScope:"adminRuntime/componentOptics",modelRuntime:j,code:R}),expressionRuntime:k.runtime,presetRuntime:p(i,{referenceScope:"adminRuntime/presetRuntime",presets:t.admin.presets.presets}),statesRuntime:u(t,i),migrationRuntime:o(i,{referenceScope:"adminRuntime/migrationRuntime",resolvedVersions:t.admin.resolvedVersions,latestEntities:j.entities,migrationModules:g}),factoryDataRuntime:s(i,{referenceScope:"adminRuntime/factoryDataRuntime",invariants:t.admin.invariants,defaults:t.admin.defaults,aliases:j.aliases,entities:j.entities})})}:{ok:!1,missingExpressions:k.missing}};

package/dist/application-spec/generate-application/runtime/application-runtime.d.ts

@@ -7,6 +7,7 @@ import { ConfiguratorRuntime } from './configurator-runtime/configurator-runtime
 import type { MigrationModules } from './migrations/index.js';
 import { DataRuntime } from './sections/data-runtime.js';
 import type { ExpressionImplementations, InvariantImplementations, MissingExpression } from './sections/expression-runtime.js';
+import type { SpecCodeModule } from './spec-code/index.js';
 /**
  * Runtime objects built from a RuntimeSpec.
  * Domain-specific fields mirror the spec's configurator/admin nesting.
@@ -34,8 +35,13 @@ export type ApplicationRuntimeResult = {
  * admin domain checks them after the invariants every admin domain has. `migrationModules` are the
  * project's migration modules of both domains (`src/migrations/`, `src/admin/migrations/`), keyed by
  * project path; a migration they do not provide is listed in `missingMigrations` of the domain's
- * `migrationRuntime`.
+ * `migrationRuntime`. `specCode` is the generated `.phoenix/spec-code.ts` module: the runtime takes
+ * each piece of YAML code (`$eval` in expressions, component props and filters) from it by spec code
+ * id, and compiles the text with `new Function` only for an id it does not hold, or without it (the
+ * editor, which rebuilds from YAML it has no generated module for). The module must come from the
+ * same generation as `spec`; an id carries a hash of its code, so a module from another generation
+ * misses the ids of changed code instead of running an old closure.
  *
  * Returns an error result when declared expressions are missing implementations.
  */
-export declare const ApplicationRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, implementations: ExpressionImplementations, importedTransformers: readonly ImportedTransformer[], invariantImplementations?: InvariantImplementations, adminImplementations?: ExpressionImplementations, adminInvariantImplementations?: InvariantImplementations, migrationModules?: MigrationModules) => ApplicationRuntimeResult;
+export declare const ApplicationRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, implementations: ExpressionImplementations, importedTransformers: readonly ImportedTransformer[], invariantImplementations?: InvariantImplementations, adminImplementations?: ExpressionImplementations, adminInvariantImplementations?: InvariantImplementations, migrationModules?: MigrationModules, specCode?: SpecCodeModule) => ApplicationRuntimeResult;

package/dist/application-spec/generate-application/runtime/application-runtime.js

@@ -1 +1 @@
-import{Branded as i}from"@salsita-ai/common/utils";import{AdminRuntime as r}from"./admin-runtime/admin-runtime.js";import{ConfiguratorRuntime as n}from"./configurator-runtime/configurator-runtime.js";import{DataRuntime as o}from"./sections/data-runtime.js";export const ApplicationRuntime=(s,t,m,e,u,a={},p={},f={})=>{let c=n(s,t,m,e,u,f);if(!c.ok)return{ok:!1,missingExpressions:c.missingExpressions};let g=r(s,t,a,p,f);return g.ok?{ok:!0,runtime:i({configurator:c.runtime,admin:g.runtime,data:o(s,t)})}:{ok:!1,missingExpressions:g.missingExpressions}};
+import{Branded as i}from"@salsita-ai/common/utils";import{AdminRuntime as r}from"./admin-runtime/admin-runtime.js";import{ConfiguratorRuntime as n}from"./configurator-runtime/configurator-runtime.js";import{DataRuntime as o}from"./sections/data-runtime.js";export const ApplicationRuntime=(s,t,m,e,a,u={},p={},f={},c)=>{let g=n(s,t,m,e,a,f,c?.configurator);if(!g.ok)return{ok:!1,missingExpressions:g.missingExpressions};let d=r(s,t,u,p,f,c?.admin);return d.ok?{ok:!0,runtime:i({configurator:g.runtime,admin:d.runtime,data:o(s,t)})}:{ok:!1,missingExpressions:d.missingExpressions}};

package/dist/application-spec/generate-application/runtime/configurator-runtime/configurator-model-runtime.d.ts

@@ -3,6 +3,7 @@ import { type $DomainEntity, $DomainEntityReflection, DomainBuilder, type Domain
 import type { RuntimeReferenceStore } from '../../../caching/index.js';
 import type { DataSchemas, Expressions } from '../../../parse-application-files/index.js';
 import type { RuntimeModelVersion, RuntimeResolvedVersions } from '../../runtime-spec/index.js';
+import type { SpecCodeMap } from '../spec-code/index.js';
 type AnyEntity = DomainEntity<string>;
 type AnyAliases = Record<string, AnyEntity>;
 type AnyData = Record<string, unknown>;
@@ -27,5 +28,5 @@ interface ConfiguratorModelRuntimeFields {
 }
 export type ConfiguratorModelRuntime = Branded<'ConfiguratorModelRuntime', ConfiguratorModelRuntimeFields>;
 export declare const isConfiguratorModelSchemaCompatible: (prev: ConfiguratorModelRuntimeSpec, curr: ConfiguratorModelRuntimeSpec) => boolean;
-export declare const ConfiguratorModelRuntime: (domainSpec: ConfiguratorModelRuntimeSpec, referenceStore: RuntimeReferenceStore) => ConfiguratorModelRuntime;
+export declare const ConfiguratorModelRuntime: (domainSpec: ConfiguratorModelRuntimeSpec, referenceStore: RuntimeReferenceStore, code: SpecCodeMap | undefined) => ConfiguratorModelRuntime;
 export {};

package/dist/application-spec/generate-application/runtime/configurator-runtime/configurator-model-runtime.js

@@ -1 +1 @@
-import e from"lodash-es/isEqual.js";import{Branded as t}from"@salsita-ai/common/utils";import{$DomainEntityReflection as s,DomainBuilder as o,DomainEntityReflection as i,RawAliasReflection as n,SchemaReflection as a}from"#package/domain";import{evaluateReflectionConstants as r,findReflectionConstants as m}from"../sections/reflection-constants-runtime.js";let l=e=>({latestVersion:e.resolvedVersions.latestVersion,versionedModels:e.resolvedVersions.versionedModels.map(e=>({version:e.version,key:e.key,isLatest:e.isLatest,migrationFile:e.migrationFile}))}),p=e=>{let t=[];for(let[s,o]of e.expressions.entityExpressions)t.push({entityType:String(s),shapeGroups:o.shapeGroups.map(String),expressionNamesByGroup:o.shapeGroups.map(t=>{let s=e.expressions.expressions.get(t);return{group:String(t),names:s?[...s.keys()].map(String):[]}}),constants:[...m(e.expressions,String(s))??[]].map(([e,t])=>[String(e),t])});return t};export const isConfiguratorModelSchemaCompatible=(t,s)=>e(t.latestModel.entitySchemas.map(e=>e.shapeSchema),s.latestModel.entitySchemas.map(e=>e.shapeSchema))&&e([...t.latestModel.aliases],[...s.latestModel.aliases])&&e([...t.latestModel.commonTypes],[...s.latestModel.commonTypes])&&e(l(t),l(s))&&e(p(t),p(s))&&e(t.dataSchemas,s.dataSchemas);let c=e=>{let{latestModel:t,resolvedVersions:m,dataSchemas:l,expressions:p}=e.domainSpec,c={};for(let e of t.entitySchemas)c[String(e.entityType)]=new i(String(e.entityType),[e.shapeSchema]);let S={};for(let[e,s]of t.commonTypes){let t=s.runtimeSchema;S[String(e)]=new a(String(e),t)}let u=[...t.aliases],d={},g={};for(let[e,t]of u){let s=t.map(e=>c[String(e)]),o=new n(String(e),s);d[String(e)]=o,g[String(e)]=o.types}let h={};for(let e of t.entityTypes){let t=String(e),o=p.entityExpressions.get(e),i=[];if(o)for(let e of o.shapeGroups){let t=p.expressions.get(e);t&&i.push(...t.keys())}h[t]=new s(t,i,r(p,t))}let y=u.map(([e])=>String(e)).includes("RootEntity")?"RootEntity":"AnyDomainEntity",f=d[y]?.types??[],M=m.latestVersion,x=l.publishedData.runtimeSchema,T=l.sessionData.runtimeSchema,b=l.frontendData.runtimeSchema,k=l.backendData?.runtimeSchema,v=o.from(c,g,h,f,M,x,T,b,k,!1);return{entities:c,aliasReflections:d,commonTypeReflections:S,aliases:g,$entityReflections:h,rootEntityTypes:f,modelVersion:M,domainBuilder:v}};export const ConfiguratorModelRuntime=(e,s)=>{let o=s.createBuilder("modelRuntime:configurator",{build:c,getKey:()=>"singleton",compare:(e,t)=>isConfiguratorModelSchemaCompatible(e.domainSpec,t.domainSpec)}).build({domainSpec:e});return t({...o.output,schemaChanged:o.changed})};
+import e from"lodash-es/isEqual.js";import{Branded as t}from"@salsita-ai/common/utils";import{$DomainEntityReflection as s,DomainBuilder as o,DomainEntityReflection as i,RawAliasReflection as n,SchemaReflection as a}from"#package/domain";import{evaluateReflectionConstants as r,findReflectionConstants as m}from"../sections/reflection-constants-runtime.js";let l=e=>({latestVersion:e.resolvedVersions.latestVersion,versionedModels:e.resolvedVersions.versionedModels.map(e=>({version:e.version,key:e.key,isLatest:e.isLatest,migrationFile:e.migrationFile}))}),p=e=>{let t=[];for(let[s,o]of e.expressions.entityExpressions)t.push({entityType:String(s),shapeGroups:o.shapeGroups.map(String),expressionNamesByGroup:o.shapeGroups.map(t=>{let s=e.expressions.expressions.get(t);return{group:String(t),names:s?[...s.keys()].map(String):[]}}),constants:[...m(e.expressions,String(s))??[]].map(([e,t])=>[String(e),t])});return t};export const isConfiguratorModelSchemaCompatible=(t,s)=>e(t.latestModel.entitySchemas.map(e=>e.shapeSchema),s.latestModel.entitySchemas.map(e=>e.shapeSchema))&&e([...t.latestModel.aliases],[...s.latestModel.aliases])&&e([...t.latestModel.commonTypes],[...s.latestModel.commonTypes])&&e(l(t),l(s))&&e(p(t),p(s))&&e(t.dataSchemas,s.dataSchemas);let c=e=>{let{latestModel:t,resolvedVersions:m,dataSchemas:l,expressions:p}=e.domainSpec,c={};for(let e of t.entitySchemas)c[String(e.entityType)]=new i(String(e.entityType),[e.shapeSchema]);let d={};for(let[e,s]of t.commonTypes){let t=s.runtimeSchema;d[String(e)]=new a(String(e),t)}let S=[...t.aliases],u={},g={};for(let[e,t]of S){let s=t.map(e=>c[String(e)]),o=new n(String(e),s);u[String(e)]=o,g[String(e)]=o.types}let h={};for(let o of t.entityTypes){let t=String(o),i=p.entityExpressions.get(o),n=[];if(i)for(let e of i.shapeGroups){let t=p.expressions.get(e);t&&n.push(...t.keys())}h[t]=new s(t,n,r(p,t,e.code))}let y=S.map(([e])=>String(e)).includes("RootEntity")?"RootEntity":"AnyDomainEntity",f=u[y]?.types??[],M=m.latestVersion,x=l.publishedData.runtimeSchema,T=l.sessionData.runtimeSchema,b=l.frontendData.runtimeSchema,k=l.backendData?.runtimeSchema,v=o.from(c,g,h,f,M,x,T,b,k,!1);return{entities:c,aliasReflections:u,commonTypeReflections:d,aliases:g,$entityReflections:h,rootEntityTypes:f,modelVersion:M,domainBuilder:v}};export const ConfiguratorModelRuntime=(e,s,o)=>{let i=s.createBuilder("modelRuntime:configurator",{build:c,getKey:()=>"singleton",compare:(e,t)=>e.code===t.code&&isConfiguratorModelSchemaCompatible(e.domainSpec,t.domainSpec)}).build({domainSpec:e,code:o});return t({...i.output,schemaChanged:i.changed})};

package/dist/application-spec/generate-application/runtime/configurator-runtime/configurator-runtime.d.ts

@@ -11,6 +11,7 @@ import { type ExpressionImplementations, ExpressionRuntime, type InvariantImplem
 import { PresetRuntime } from '../sections/preset-runtime.js';
 import { ThemeRuntime } from '../sections/theme-runtime.js';
 import { TransformersRuntime } from '../sections/transformers-runtime.js';
+import type { SpecCodeMap } from '../spec-code/index.js';
 import { ConfiguratorModelRuntime } from './configurator-model-runtime.js';
 import { ConfiguratorStatesRuntime } from './states-runtime.js';
 export type ConfiguratorRuntime = Branded<'ConfiguratorRuntime', {
@@ -33,4 +34,4 @@ export type ConfiguratorRuntimeResult = {
     readonly ok: false;
     readonly missingExpressions: readonly MissingExpression[];
 };
-export declare const ConfiguratorRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, implementations: ExpressionImplementations, importedTransformers: readonly ImportedTransformer[], invariantImplementations: InvariantImplementations | undefined, migrationModules: MigrationModules) => ConfiguratorRuntimeResult;
+export declare const ConfiguratorRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, implementations: ExpressionImplementations, importedTransformers: readonly ImportedTransformer[], invariantImplementations: InvariantImplementations | undefined, migrationModules: MigrationModules, code: SpecCodeMap | undefined) => ConfiguratorRuntimeResult;

package/dist/application-spec/generate-application/runtime/configurator-runtime/configurator-runtime.js

@@ -1 +1 @@
-import{Branded as t}from"@salsita-ai/common/utils";import{FactoryDataRuntime as e}from"../factory-data/index.js";import{MigrationRuntime as i}from"../migrations/index.js";import{ActionsRuntime as o}from"../sections/actions-runtime.js";import{AssistantRuntime as r}from"../sections/assistant-runtime.js";import{ComponentOptics as n}from"../sections/component-optic.js";import{ExpressionRuntime as s}from"../sections/expression-runtime.js";import{PresetRuntime as m}from"../sections/preset-runtime.js";import{ThemeRuntime as a}from"../sections/theme-runtime.js";import{TransformersRuntime as u}from"../sections/transformers-runtime.js";import{ConfiguratorModelRuntime as c}from"./configurator-model-runtime.js";import{ConfiguratorStatesRuntime as f}from"./states-runtime.js";export const ConfiguratorRuntime=(p,g,R,j,l,d)=>{let x=c(p.configurator,g),v=s(p.configurator,g,R,"configuratorExpressionRuntime",l);return v.ok?{ok:!0,runtime:t({modelRuntime:x,componentOptics:n(g,{components:p.configurator.components,referenceScope:"configuratorRuntime/componentOptics",modelRuntime:x}),presetRuntime:m(g,{referenceScope:"configuratorRuntime/presetRuntime",presets:p.configurator.presets.presets}),statesRuntime:f(p,g),expressionRuntime:v.runtime,themeRuntime:a(p,g),transformersRuntime:u(p,g,j),assistantRuntime:r(p,g),actionsRuntime:o(p.configurator.actions,g),migrationRuntime:i(g,{referenceScope:"configuratorRuntime/migrationRuntime",resolvedVersions:p.configurator.resolvedVersions,latestEntities:x.entities,migrationModules:d}),factoryDataRuntime:e(g,{referenceScope:"configuratorRuntime/factoryDataRuntime",invariants:p.configurator.invariants,defaults:p.configurator.defaults,aliases:x.aliases,entities:x.entities})})}:{ok:!1,missingExpressions:v.missing}};
+import{Branded as t}from"@salsita-ai/common/utils";import{FactoryDataRuntime as e}from"../factory-data/index.js";import{MigrationRuntime as i}from"../migrations/index.js";import{ActionsRuntime as o}from"../sections/actions-runtime.js";import{AssistantRuntime as r}from"../sections/assistant-runtime.js";import{ComponentOptics as n}from"../sections/component-optic.js";import{ExpressionRuntime as s}from"../sections/expression-runtime.js";import{PresetRuntime as m}from"../sections/preset-runtime.js";import{ThemeRuntime as a}from"../sections/theme-runtime.js";import{TransformersRuntime as u}from"../sections/transformers-runtime.js";import{ConfiguratorModelRuntime as c}from"./configurator-model-runtime.js";import{ConfiguratorStatesRuntime as f}from"./states-runtime.js";export const ConfiguratorRuntime=(p,g,R,j,l,d,x)=>{let v=c(p.configurator,g,x),S=s(p.configurator,g,R,"configuratorExpressionRuntime",l,x);return S.ok?{ok:!0,runtime:t({modelRuntime:v,componentOptics:n(g,{components:p.configurator.components,referenceScope:"configuratorRuntime/componentOptics",modelRuntime:v,code:x}),presetRuntime:m(g,{referenceScope:"configuratorRuntime/presetRuntime",presets:p.configurator.presets.presets}),statesRuntime:f(p,g),expressionRuntime:S.runtime,themeRuntime:a(p,g),transformersRuntime:u(p,g,j),assistantRuntime:r(p,g),actionsRuntime:o(p.configurator.actions,g),migrationRuntime:i(g,{referenceScope:"configuratorRuntime/migrationRuntime",resolvedVersions:p.configurator.resolvedVersions,latestEntities:v.entities,migrationModules:d}),factoryDataRuntime:e(g,{referenceScope:"configuratorRuntime/factoryDataRuntime",invariants:p.configurator.invariants,defaults:p.configurator.defaults,aliases:v.aliases,entities:v.entities})})}:{ok:!1,missingExpressions:S.missing}};

package/dist/application-spec/generate-application/runtime/sections/build-sdk-optic.d.ts

@@ -1,7 +1,8 @@
 import type { ComponentEntry, ComponentImplementation } from '../../../parse-application-files/spec/index.js';
 import type { AdminModelRuntime } from '../admin-runtime/admin-model-runtime.js';
 import type { ConfiguratorModelRuntime } from '../configurator-runtime/configurator-model-runtime.js';
+import { type SpecCodeMap } from '../spec-code/index.js';
 import type { ComponentOptic } from './component-optic.js';
 export declare const buildSdkOptic: (entry: ComponentEntry, impl: ComponentImplementation & {
     readonly kind: 'sdk';
-}, aliasMap: Record<string, readonly string[]>, configuratorModel: AdminModelRuntime | ConfiguratorModelRuntime) => ComponentOptic;
+}, aliasMap: Record<string, readonly string[]>, configuratorModel: AdminModelRuntime | ConfiguratorModelRuntime, code: SpecCodeMap | undefined) => ComponentOptic;

package/dist/application-spec/generate-application/runtime/sections/build-sdk-optic.js

@@ -1 +1 @@
-import{Branded as e}from"@salsita-ai/common/utils";import{DomainComponentOpticBuilder as t,adminSidebarComponent as a,attributeSelectionComponent as i,componentsByName as r,composedOfComponent as n,navigationPageComponent as o,navigationPanelListComponent as d,referenceComponent as c}from"#package/domain";import*as m from"#package/domain";import{FILTER_CRITERION_KEYS as s,isSdkCodeRef as l}from"../../../core/index.js";let g=new Map([["reference",c],["composedOf",n],["adminSidebar",a],["attributeSelection",i],["navigationPage",o],["navigationPanelList",d]]),R={createAdminCustomPageRead:m.createAdminCustomPageRead,createAdminCustomSidebarRead:m.createAdminCustomSidebarRead,createAdminDataPageRead:m.createAdminDataPageRead,createAdminDataTableSidebarRead:m.createAdminDataTableSidebarRead,createAdminNavigationPanelRead:m.createAdminNavigationPanelRead,createAdminPresetCategoryPageRead:m.createAdminPresetCategoryPageRead,createAdminPresetCategorySelectionRead:m.createAdminPresetCategorySelectionRead,createAdminPresetCategorySelectionWrite:m.createAdminPresetCategorySelectionWrite,createAdminPresetCategorySidebarRead:m.createAdminPresetCategorySidebarRead,createAdminPresetListPageRead:m.createAdminPresetListPageRead,createAdminPresetSidebarRead:m.createAdminPresetSidebarRead,createAdminRecipeCollectionPageRead:m.createAdminRecipeCollectionPageRead,createAdminRecipeSidebarRead:m.createAdminRecipeSidebarRead},p=(e,t)=>{let a=R[e.sdkFunction]??m[e.sdkFunction];if("function"!=typeof a)throw Error(`SDK factory function "${e.sdkFunction}" not found. Make sure it is exported from the package.`);return a(...e.params.map(e=>{if(l(e)){let a=t.entities[e.$codeRef]??t.aliasReflections[e.$codeRef];if(!a)throw Error(`Reflection "${e.$codeRef}" not found in ModelRuntime. This is a bug — the target was validated at parse time.`);return a}return e}))};export const buildSdkOptic=(a,i,n,o)=>{let d=t.from(n),c=r.get(a.componentName)??g.get(a.componentName);if(!c)throw Error(`SDK component "${a.componentName}" not found. This is a bug — the component was validated at parse time.`);let m=d.withComponent(c,a.instanceName,!0),l=a.isAlias?m.withAlias(String(a.typeOrAlias)):m.withEntity(String(a.typeOrAlias));for(let e of i.filters.items){if("root"===e.kind){let t=e.target,a=e=>e[t];l=l.withFilter(a);continue}let t={};for(let a of s){let i=e[a];void 0!==i&&("dynamic"===i.kind?t[a]=e=>e[i.target]:"eval"===i.kind?t[a]=Function("self",`return (${i.code})`):t[a]=i.value)}l=l.withGradualFilter(t)}let R=p(i.readFactory,o),A=p(i.writeFactory,o),f=l.attach(R,A);return e({typeOrAlias:String(a.typeOrAlias),componentName:a.componentName,instanceName:String(a.instanceName),optic:f})};
+import{Branded as e}from"@salsita-ai/common/utils";import{DomainComponentOpticBuilder as t,adminSidebarComponent as a,attributeSelectionComponent as i,componentsByName as r,composedOfComponent as n,navigationPageComponent as o,navigationPanelListComponent as d,referenceComponent as c}from"#package/domain";import*as m from"#package/domain";import{FILTER_CRITERION_KEYS as s,isSdkCodeRef as l}from"../../../core/index.js";import{specCodeComponentKey as g,specCodeFilterId as p}from"../../runtime-spec/index.js";import{resolveSpecCode as R}from"../spec-code/index.js";let A=new Map([["reference",c],["composedOf",n],["adminSidebar",a],["attributeSelection",i],["navigationPage",o],["navigationPanelList",d]]),f={createAdminCustomPageRead:m.createAdminCustomPageRead,createAdminCustomSidebarRead:m.createAdminCustomSidebarRead,createAdminDataPageRead:m.createAdminDataPageRead,createAdminDataTableSidebarRead:m.createAdminDataTableSidebarRead,createAdminNavigationPanelRead:m.createAdminNavigationPanelRead,createAdminPresetCategoryPageRead:m.createAdminPresetCategoryPageRead,createAdminPresetCategorySelectionRead:m.createAdminPresetCategorySelectionRead,createAdminPresetCategorySelectionWrite:m.createAdminPresetCategorySelectionWrite,createAdminPresetCategorySidebarRead:m.createAdminPresetCategorySidebarRead,createAdminPresetListPageRead:m.createAdminPresetListPageRead,createAdminPresetSidebarRead:m.createAdminPresetSidebarRead,createAdminRecipeCollectionPageRead:m.createAdminRecipeCollectionPageRead,createAdminRecipeSidebarRead:m.createAdminRecipeSidebarRead},u=(e,t)=>{let a=f[e.sdkFunction]??m[e.sdkFunction];if("function"!=typeof a)throw Error(`SDK factory function "${e.sdkFunction}" not found. Make sure it is exported from the package.`);return a(...e.params.map(e=>{if(l(e)){let a=t.entities[e.$codeRef]??t.aliasReflections[e.$codeRef];if(!a)throw Error(`Reflection "${e.$codeRef}" not found in ModelRuntime. This is a bug — the target was validated at parse time.`);return a}return e}))};export const buildSdkOptic=(a,i,n,o,d)=>{let c=t.from(n),m=r.get(a.componentName)??A.get(a.componentName);if(!m)throw Error(`SDK component "${a.componentName}" not found. This is a bug — the component was validated at parse time.`);let l=c.withComponent(m,a.instanceName,!0),f=a.isAlias?l.withAlias(String(a.typeOrAlias)):l.withEntity(String(a.typeOrAlias)),P=g(String(a.typeOrAlias),String(a.instanceName),a.componentName);for(let[e,t]of i.filters.items.entries()){if("root"===t.kind){let e=t.target,a=t=>t[e];f=f.withFilter(a);continue}let a={};for(let i of s){let r=t[i];void 0!==r&&("dynamic"===r.kind?a[i]=e=>e[r.target]:"eval"===r.kind?a[i]=R(d,p(P,e,i,r.code),r.code):a[i]=r.value)}f=f.withGradualFilter(a)}let S=u(i.readFactory,o),y=u(i.writeFactory,o),b=f.attach(S,y);return e({typeOrAlias:String(a.typeOrAlias),componentName:a.componentName,instanceName:String(a.instanceName),optic:b})};

package/dist/application-spec/generate-application/runtime/sections/build-user-bound-optic.d.ts

@@ -1,7 +1,8 @@
 import { type ComponentEntry, type ComponentImplementation } from '../../../parse-application-files/spec/index.js';
 import type { AdminModelRuntime } from '../admin-runtime/admin-model-runtime.js';
 import type { ConfiguratorModelRuntime } from '../configurator-runtime/configurator-model-runtime.js';
+import { type SpecCodeMap } from '../spec-code/index.js';
 import type { ComponentOptic } from './component-optic.js';
 export declare const buildUserBoundOptic: (entry: ComponentEntry, impl: ComponentImplementation & {
     readonly kind: 'userBound';
-}, model: AdminModelRuntime | ConfiguratorModelRuntime) => ComponentOptic | undefined;
+}, model: AdminModelRuntime | ConfiguratorModelRuntime, code: SpecCodeMap | undefined) => ComponentOptic | undefined;

package/dist/application-spec/generate-application/runtime/sections/build-user-bound-optic.js

@@ -1 +1 @@
-import{match as e}from"ts-pattern";import{Branded as t}from"@salsita-ai/common/utils";import{DomainComponentOpticBuilder as i,assertBoolean as n,assertNumber as r,assertString as o,componentsByName as a}from"#package/domain";import{generateMemoEvalPlanRuntime as s}from"./generate-memo-eval-plan-runtime.js";let l=e=>{if("dynamic"===e.kind){let t=e.target;return e=>e[t]}return"eval"===e.kind?Function("self",`return (${e.code})`):e.value},d=e=>{let t={};for(let[i,n]of Object.entries(e))"kind"!==i&&void 0!==n&&(t[i]=l(n));return t},m={assertString:o,assertNumber:r,assertBoolean:n},p=(e,t)=>{let i=t.commonTypeReflections[e]??t.entities[e]??t.aliasReflections[e];if(!i)throw Error(`Reflection "${e}" not found in ModelRuntime for write assertion. This is a bug — the type was resolved at parse time.`);return i},c=(e,t)=>{let i=t.entities[e]??t.aliasReflections[e];if(!i)throw Error(`Entity reflection "${e}" not found in ModelRuntime for write assertion. This is a bug — the type was resolved at parse time.`);return i},f=(t,i,n)=>e(t).with({kind:"primitive"},({assertFn:e})=>typeof i==("assertNumber"===e?"number":"assertBoolean"===e?"boolean":"string")).with({kind:"declaredType"},({typeName:e})=>p(e,n).is(i)).with({kind:"declaredTypeId"},({referencedType:e})=>c(e,n).isId(i)).with({kind:"literal"},({value:e})=>i===e).with({kind:"anyOf"},({assertions:e})=>e.some(e=>f(e,i,n))).with({kind:"none"},()=>!0).exhaustive(),h=(t,i,n)=>{e(t).with({kind:"primitive"},({assertFn:e})=>{m[e](i)}).with({kind:"declaredType"},({typeName:e})=>{p(e,n).assert(i)}).with({kind:"declaredTypeId"},({referencedType:e})=>{c(e,n).assertId(i)}).with({kind:"literal"},e=>{if(!f(e,i,n))throw Error(`Expected value to match its declared schema but got ${i}`)}).with({kind:"anyOf"},e=>{if(!f(e,i,n))throw Error(`Expected value to match one of its declared schemas but got ${i}`)}).with({kind:"none"},()=>{}).exhaustive()};export const buildUserBoundOptic=(e,n,r)=>{let o,l=(o=r.aliases,i.from(o)),m=a.get(e.componentName);if(!m)return void console.warn(`[ComponentOptic] Unknown component: ${e.componentName}`);let p=l.withComponent(m,e.instanceName,!0),c=e.isAlias?p.withAlias(String(e.typeOrAlias)):p.withEntity(String(e.typeOrAlias));for(let e of n.filters.items){if("root"===e.kind){let t=e.target,i=e=>e[t];c=c.withFilter(i);continue}c=c.withGradualFilter(d(e))}let f=s(n.plan),u="composite"===n.implementation.kind?n.implementation.writeBindings:[],w=u.length>0?e=>{let t={};for(let i of u)h(i.assertion,e[i.propKey],r),t[i.entityField]=e[i.propKey];return t}:()=>({}),y=c.attach(f,w);return t({typeOrAlias:String(e.typeOrAlias),componentName:e.componentName,instanceName:String(e.instanceName),optic:y})};
+import{match as e}from"ts-pattern";import{Branded as t}from"@salsita-ai/common/utils";import{DomainComponentOpticBuilder as i,assertBoolean as n,assertNumber as r,assertString as o,componentsByName as a}from"#package/domain";import{specCodeComponentKey as s,specCodeFilterId as l}from"../../runtime-spec/index.js";import{resolveSpecCode as m}from"../spec-code/index.js";import{generateMemoEvalPlanRuntime as d}from"./generate-memo-eval-plan-runtime.js";let p=(e,t,i)=>{if("dynamic"===e.kind){let t=e.target;return e=>e[t]}if("eval"===e.kind){let n=l(i.componentKey,i.branch,t,e.code);return m(i.code,n,e.code)}return e.value},c=(e,t)=>{let i={};for(let[n,r]of Object.entries(e))"kind"!==n&&void 0!==r&&(i[n]=p(r,n,t));return i},f={assertString:o,assertNumber:r,assertBoolean:n},h=(e,t)=>{let i=t.commonTypeReflections[e]??t.entities[e]??t.aliasReflections[e];if(!i)throw Error(`Reflection "${e}" not found in ModelRuntime for write assertion. This is a bug — the type was resolved at parse time.`);return i},u=(e,t)=>{let i=t.entities[e]??t.aliasReflections[e];if(!i)throw Error(`Entity reflection "${e}" not found in ModelRuntime for write assertion. This is a bug — the type was resolved at parse time.`);return i},w=(t,i,n)=>e(t).with({kind:"primitive"},({assertFn:e})=>typeof i==("assertNumber"===e?"number":"assertBoolean"===e?"boolean":"string")).with({kind:"declaredType"},({typeName:e})=>h(e,n).is(i)).with({kind:"declaredTypeId"},({referencedType:e})=>u(e,n).isId(i)).with({kind:"literal"},({value:e})=>i===e).with({kind:"anyOf"},({assertions:e})=>e.some(e=>w(e,i,n))).with({kind:"none"},()=>!0).exhaustive(),y=(t,i,n)=>{e(t).with({kind:"primitive"},({assertFn:e})=>{f[e](i)}).with({kind:"declaredType"},({typeName:e})=>{h(e,n).assert(i)}).with({kind:"declaredTypeId"},({referencedType:e})=>{u(e,n).assertId(i)}).with({kind:"literal"},e=>{if(!w(e,i,n))throw Error(`Expected value to match its declared schema but got ${i}`)}).with({kind:"anyOf"},e=>{if(!w(e,i,n))throw Error(`Expected value to match one of its declared schemas but got ${i}`)}).with({kind:"none"},()=>{}).exhaustive()};export const buildUserBoundOptic=(e,n,r,o)=>{let l,m=(l=r.aliases,i.from(l)),p=a.get(e.componentName);if(!p)return void console.warn(`[ComponentOptic] Unknown component: ${e.componentName}`);let f=m.withComponent(p,e.instanceName,!0),h=e.isAlias?f.withAlias(String(e.typeOrAlias)):f.withEntity(String(e.typeOrAlias)),u=s(String(e.typeOrAlias),String(e.instanceName),e.componentName);for(let[e,t]of n.filters.items.entries()){if("root"===t.kind){let e=t.target,i=t=>t[e];h=h.withFilter(i);continue}h=h.withGradualFilter(c(t,{componentKey:u,branch:e,code:o}))}let w=d(n.plan,u,o),k="composite"===n.implementation.kind?n.implementation.writeBindings:[],g=k.length>0?e=>{let t={};for(let i of k)y(i.assertion,e[i.propKey],r),t[i.entityField]=e[i.propKey];return t}:()=>({}),v=h.attach(w,g);return t({typeOrAlias:String(e.typeOrAlias),componentName:e.componentName,instanceName:String(e.instanceName),optic:v})};

package/dist/application-spec/generate-application/runtime/sections/component-optic.d.ts

@@ -4,6 +4,7 @@ import type { RuntimeReferenceStore } from '../../../caching/index.js';
 import type { ComponentEntry } from '../../../parse-application-files/spec/index.js';
 import type { AdminModelRuntime } from '../admin-runtime/admin-model-runtime.js';
 import type { ConfiguratorModelRuntime } from '../configurator-runtime/configurator-model-runtime.js';
+import type { SpecCodeMap } from '../spec-code/index.js';
 /** A component optic of any project, for any component type. */
 export type AnyComponentOptic = DomainComponentOptic<any, any, any, any, any, any, SystemComponentTypeConstraint>;
 /** A single built component optic with its identifying metadata. */
@@ -22,6 +23,8 @@ interface ComponentOpticsProps {
     readonly referenceScope: string;
     readonly components: readonly ComponentEntry[];
     readonly modelRuntime: AdminModelRuntime | ConfiguratorModelRuntime;
+    /** The domain's map of the generated code module, which holds the entries' `$eval` code. */
+    readonly code: SpecCodeMap | undefined;
 }
 /**
  * Builds component optics from the unified ComponentEntry[] on ApplicationSpec.

package/dist/application-spec/generate-application/runtime/sections/component-optic.js

@@ -1 +1 @@
-import e from"lodash-es/isEqual.js";import{match as t}from"ts-pattern";import{Branded as i}from"@salsita-ai/common/utils";import{buildSdkOptic as o}from"./build-sdk-optic.js";import{buildUserBoundOptic as n}from"./build-user-bound-optic.js";export const ComponentOptics=(t,o)=>{let n=t.createBuilder(o.referenceScope,{build:({entry:e,modelRuntime:t})=>m(e,t),getKey:({entry:e})=>`${e.implementation.kind}::${e.typeOrAlias}::${e.componentName}::${e.instanceName}`,compare:(t,i)=>t.modelRuntime.domainBuilder===i.modelRuntime.domainBuilder&&e(t.entry.implementation,i.entry.implementation)}),r=[],l=new Set,u=!1;for(let e of o.components){let t={entry:e,modelRuntime:o.modelRuntime},i=n.build(t);i.output&&r.push(i.output),l.add(n.getKey(t)),i.changed&&(u=!0)}return n.cleanup(l)&&(u=!0),i({optics:r,changed:u})};let m=(e,i)=>t(e.implementation).with({kind:"userBound"},t=>n(e,t,i)).with({kind:"sdk"},t=>o(e,t,i.aliases,i)).exhaustive();
+import e from"lodash-es/isEqual.js";import{match as t}from"ts-pattern";import{Branded as o}from"@salsita-ai/common/utils";import{buildSdkOptic as i}from"./build-sdk-optic.js";import{buildUserBoundOptic as n}from"./build-user-bound-optic.js";export const ComponentOptics=(t,i)=>{let n=t.createBuilder(i.referenceScope,{build:({entry:e,modelRuntime:t,code:o})=>m(e,t,o),getKey:({entry:e})=>`${e.implementation.kind}::${e.typeOrAlias}::${e.componentName}::${e.instanceName}`,compare:(t,o)=>t.modelRuntime.domainBuilder===o.modelRuntime.domainBuilder&&t.code===o.code&&e(t.entry.implementation,o.entry.implementation)}),d=[],r=new Set,l=!1;for(let e of i.components){let t={entry:e,modelRuntime:i.modelRuntime,code:i.code},o=n.build(t);o.output&&d.push(o.output),r.add(n.getKey(t)),o.changed&&(l=!0)}return n.cleanup(r)&&(l=!0),o({optics:d,changed:l})};let m=(e,o,m)=>t(e.implementation).with({kind:"userBound"},t=>n(e,t,o,m)).with({kind:"sdk"},t=>i(e,t,o.aliases,o,m)).exhaustive();

package/dist/application-spec/generate-application/runtime/sections/expression-runtime.d.ts

@@ -2,7 +2,8 @@ import { Branded } from '@salsita-ai/common/utils';
 import type { DomainEntity, Expression as DomainExpression, Invariant as DomainInvariant } from '#package/domain';
 import type { RuntimeReferenceStore } from '../../../caching/index.js';
 import type { Expressions } from '../../../parse-application-files/index.js';
-import type { RuntimeModelVersion } from '../../runtime-spec/index.js';
+import { type RuntimeModelVersion } from '../../runtime-spec/index.js';
+import type { SpecCodeMap } from '../spec-code/index.js';
 type RuntimeData = Record<string, unknown>;
 type RuntimeEntity = DomainEntity<string>;
 type AnyExpression = DomainExpression<RuntimeEntity, RuntimeEntity, RuntimeData, RuntimeData, RuntimeData, RuntimeEntity, unknown>;
@@ -41,7 +42,8 @@ interface ExpressionRuntimeSpec {
  * - `user` — uses the dynamically imported impl from `src/expressions/*.ts`
  * - `value` — evaluates the parsed {@link MemoEvalPlan}; stabilized per
  *   {@link canonicalEnhancedJsonValueKey} so identical values reuse the same
- *   evaluator across rebuilds.
+ *   evaluator across rebuilds. Its `$eval` code comes from `code`, the domain's map of the generated
+ *   code module, when that holds it.
  */
-export declare const ExpressionRuntime: (spec: ExpressionRuntimeSpec, referenceStore: RuntimeReferenceStore, implementations: ExpressionImplementations, referenceScopePrefix: string, invariantImplementations?: InvariantImplementations) => ExpressionRuntimeResult;
+export declare const ExpressionRuntime: (spec: ExpressionRuntimeSpec, referenceStore: RuntimeReferenceStore, implementations: ExpressionImplementations, referenceScopePrefix: string, invariantImplementations: InvariantImplementations | undefined, code: SpecCodeMap | undefined) => ExpressionRuntimeResult;
 export {};

package/dist/application-spec/generate-application/runtime/sections/expression-runtime.js

@@ -1 +1 @@
-import e from"lodash-es/isEqual.js";import{Branded as t}from"@salsita-ai/common/utils";import{createRelationFactory as i}from"#package/domain";import{canonicalEnhancedJsonValueKey as n,isSdkExpressionImplementation as a}from"../../../core/index.js";import{generateMemoEvalPlanRuntime as r}from"./generate-memo-eval-plan-runtime.js";let l={},o=["0-1","1-1","0-N","1-N"],s={relation:(e,t)=>{let n=t[0];if(!("object"==typeof n&&null!==n&&"kind"in n&&"target"in n&&"string"==typeof n.target&&"cardinality"in n&&o.includes(n.cardinality)&&("allOfType"===n.kind||("direct"===n.kind||"indirect"===n.kind)&&"field"in n&&"string"==typeof n.field)))throw Error("Cannot create the relation expression because its parameter is not a relation declaration. The application spec is inconsistent; rebuild it from a valid relations declaration.");return i(e.aliasMap)(n)},violations:(e,t)=>{let i=t[0];if("object"!=typeof i||null===i||!("entityType"in i)||"string"!=typeof i.entityType)throw Error("Cannot create the violations expression because its entityType parameter is missing. The application spec is inconsistent; rebuild it from a valid invariants declaration.");let n=i.entityType,a=Object.entries(e.invariantImplementations).flatMap(([t,i])=>{let a=e.aliasMap[t];return t===n||a?.includes(n)?i:[]});return{origin:{name:"$violations",typeOrAlias:n},evaluate:(e,t,i)=>a.flatMap(n=>n.evaluate(e,t,i)),meta:{}}}},p=e=>{let t=r(e.plan);return{origin:{name:e.name,typeOrAlias:e.entityOrAlias},evaluate:(e,i,n)=>t(n.domain.get$Entity(e,i),i,n),meta:{}}},m=e=>({...(0,s[e.kind])({aliasMap:e.aliasMap,invariantImplementations:e.invariantImplementations},e.params),origin:{name:e.name,typeOrAlias:e.entityOrAlias}});export const ExpressionRuntime=(i,r,o,s,u=l)=>{let d={};for(let[e,t]of i.latestModel.aliases)d[String(e)]=t.map(String);let c=r.createBuilder(`${s}/sdk`,{build:m,getKey:e=>`sdk::${e.entityOrAlias}::${e.name}`,compare:(t,i)=>t.kind===i.kind&&e(t.params,i.params)&&e(t.aliasMap,i.aliasMap)&&("violations"!==i.kind||t.invariantImplementations===i.invariantImplementations)}),f=r.createBuilder(`${s}/user`,{build:e=>e.impl,getKey:e=>`user::${e.entityType}::${e.name}`,compare:(e,t)=>e.impl===t.impl}),y=r.createBuilder(`${s}/value`,{build:p,getKey:e=>`value::${e.entityOrAlias}::${e.name}`,compare:(e,t)=>e.valueKey===t.valueKey}),g={},v=!1,S=new Set,k=new Set,b=new Set;for(let[e,t]of i.expressions.expressions)for(let[,i]of t){let t=d[String(e)]??[String(e)];if(a(i.implementation)){let n={entityOrAlias:String(e),name:String(i.name),kind:i.implementation.kind,params:i.implementation.params,aliasMap:d,invariantImplementations:u},a=c.build(n);for(let e of(a.changed&&(v=!0),S.add(c.getKey(n)),t))g[e]||(g[e]={}),g[e][String(i.name)]=a.output;continue}if("value"===i.implementation.kind){let a=i.implementation.value,r={entityOrAlias:String(e),name:String(i.name),valueKey:n(a),plan:i.implementation.plan},l=y.build(r);for(let e of(l.changed&&(v=!0),b.add(y.getKey(r)),t))g[e]||(g[e]={}),g[e][String(i.name)]=l.output;continue}}for(let[e,t]of Object.entries(o))for(let[i,n]of Object.entries(t)){let t={entityType:e,name:i,impl:n},a=f.build(t);a.changed&&(v=!0),k.add(f.getKey(t)),g[e]||(g[e]={}),g[e][i]=a.output}c.cleanup(S)&&(v=!0),f.cleanup(k)&&(v=!0),y.cleanup(b)&&(v=!0);let h=[];for(let[e,t]of i.expressions.entityExpressions)for(let n of t.shapeGroups){let t=i.expressions.expressions.get(n);if(t)for(let[i]of t)g[String(e)]?.[String(i)]||h.push({entityType:String(e),exprName:String(i)})}return h.length>0?{ok:!1,missing:h}:{ok:!0,runtime:t({merged:g,changed:v})}};
+import e from"lodash-es/isEqual.js";import{Branded as t}from"@salsita-ai/common/utils";import{createRelationFactory as i}from"#package/domain";import{canonicalEnhancedJsonValueKey as n,isSdkExpressionImplementation as a}from"../../../core/index.js";import{specCodeExpressionKey as r}from"../../runtime-spec/index.js";import{generateMemoEvalPlanRuntime as l}from"./generate-memo-eval-plan-runtime.js";let o={},s=["0-1","1-1","0-N","1-N"],p={relation:(e,t)=>{let n=t[0];if(!("object"==typeof n&&null!==n&&"kind"in n&&"target"in n&&"string"==typeof n.target&&"cardinality"in n&&s.includes(n.cardinality)&&("allOfType"===n.kind||("direct"===n.kind||"indirect"===n.kind)&&"field"in n&&"string"==typeof n.field)))throw Error("Cannot create the relation expression because its parameter is not a relation declaration. The application spec is inconsistent; rebuild it from a valid relations declaration.");return i(e.aliasMap)(n)},violations:(e,t)=>{let i=t[0];if("object"!=typeof i||null===i||!("entityType"in i)||"string"!=typeof i.entityType)throw Error("Cannot create the violations expression because its entityType parameter is missing. The application spec is inconsistent; rebuild it from a valid invariants declaration.");let n=i.entityType,a=Object.entries(e.invariantImplementations).flatMap(([t,i])=>{let a=e.aliasMap[t];return t===n||a?.includes(n)?i:[]});return{origin:{name:"$violations",typeOrAlias:n},evaluate:(e,t,i)=>a.flatMap(n=>n.evaluate(e,t,i)),meta:{}}}},m=e=>{let t=l(e.plan,r(e.entityOrAlias,e.name),e.code);return{origin:{name:e.name,typeOrAlias:e.entityOrAlias},evaluate:(e,i,n)=>t(n.domain.get$Entity(e,i),i,n),meta:{}}},d=e=>({...(0,p[e.kind])({aliasMap:e.aliasMap,invariantImplementations:e.invariantImplementations},e.params),origin:{name:e.name,typeOrAlias:e.entityOrAlias}});export const ExpressionRuntime=(i,r,l,s,p=o,u)=>{let c={};for(let[e,t]of i.latestModel.aliases)c[String(e)]=t.map(String);let f=r.createBuilder(`${s}/sdk`,{build:d,getKey:e=>`sdk::${e.entityOrAlias}::${e.name}`,compare:(t,i)=>t.kind===i.kind&&e(t.params,i.params)&&e(t.aliasMap,i.aliasMap)&&("violations"!==i.kind||t.invariantImplementations===i.invariantImplementations)}),y=r.createBuilder(`${s}/user`,{build:e=>e.impl,getKey:e=>`user::${e.entityType}::${e.name}`,compare:(e,t)=>e.impl===t.impl}),g=r.createBuilder(`${s}/value`,{build:m,getKey:e=>`value::${e.entityOrAlias}::${e.name}`,compare:(e,t)=>e.valueKey===t.valueKey&&e.code===t.code}),v={},S=!1,k=new Set,b=new Set,O=new Set;for(let[e,t]of i.expressions.expressions)for(let[,i]of t){let t=c[String(e)]??[String(e)];if(a(i.implementation)){let n={entityOrAlias:String(e),name:String(i.name),kind:i.implementation.kind,params:i.implementation.params,aliasMap:c,invariantImplementations:p},a=f.build(n);for(let e of(a.changed&&(S=!0),k.add(f.getKey(n)),t))v[e]||(v[e]={}),v[e][String(i.name)]=a.output;continue}if("value"===i.implementation.kind){let a=i.implementation.value,r={entityOrAlias:String(e),name:String(i.name),valueKey:n(a),plan:i.implementation.plan,code:u},l=g.build(r);for(let e of(l.changed&&(S=!0),O.add(g.getKey(r)),t))v[e]||(v[e]={}),v[e][String(i.name)]=l.output;continue}}for(let[e,t]of Object.entries(l))for(let[i,n]of Object.entries(t)){let t={entityType:e,name:i,impl:n},a=y.build(t);a.changed&&(S=!0),b.add(y.getKey(t)),v[e]||(v[e]={}),v[e][i]=a.output}f.cleanup(k)&&(S=!0),y.cleanup(b)&&(S=!0),g.cleanup(O)&&(S=!0);let h=[];for(let[e,t]of i.expressions.entityExpressions)for(let n of t.shapeGroups){let t=i.expressions.expressions.get(n);if(t)for(let[i]of t)v[String(e)]?.[String(i)]||h.push({entityType:String(e),exprName:String(i)})}return h.length>0?{ok:!1,missing:h}:{ok:!0,runtime:t({merged:v,changed:S})}};

package/dist/application-spec/generate-application/runtime/sections/generate-memo-eval-plan-runtime.d.ts

@@ -1,5 +1,6 @@
 import type { SelfAccessor } from '../../../core/index.js';
 import type { MemoEvalPlan } from '../../../parse-application-files/spec/index.js';
+import { type SpecCodeMap } from '../spec-code/index.js';
 /**
  * Runtime counterpart to
  * {@link ../../code/templates/domain-spec/generate-memo-eval-plan-code#generateMemoEvalPlanCode | generateMemoEvalPlanCode}.
@@ -13,17 +14,20 @@ import type { MemoEvalPlan } from '../../../parse-application-files/spec/index.j
  * - With deps: wraps the per-dep resolution in `memoEval` so equal dep arrays
  *   short-circuit to the cached body, matching codegen semantics exactly.
  *
- * Each `$eval` dep is compiled with `new Function('self', 'return (<code>)')`;
- * each `$target` dep reads `self[target]` verbatim. `$msg` markers inside the
+ * Each `$eval` dep is the closure the generated code module holds under its spec code id
+ * (`<key>#<n>`, `key` naming the expression or component the plan belongs to), or its text
+ * compiled with `new Function` when there is no such closure; each `$target` dep reads
+ * `self[target]` verbatim. `$msg` markers inside the
  * template lower to `{ id?, message }` descriptors for i18n consumers.
  */
 type MemoEvalPlanRuntimeReader = (self: SelfAccessor, state?: unknown, ctx?: unknown) => unknown;
-export declare const generateMemoEvalPlanRuntime: (plan: MemoEvalPlan) => MemoEvalPlanRuntimeReader;
+export declare const generateMemoEvalPlanRuntime: (plan: MemoEvalPlan, key: string, code: SpecCodeMap | undefined) => MemoEvalPlanRuntimeReader;
 /**
  * Runtime counterpart to
  * {@link ../../code/templates/domain-spec/generate-static-value-code#generateStaticValueCode | generateStaticValueCode}:
  * evaluates a self-free plan once to the plain value a module-level constant holds. Plans that read
- * `self` need an entity instance and are rejected.
+ * `self` need an entity instance and are rejected. `key` and `code` resolve its `$eval` code as in
+ * {@link generateMemoEvalPlanRuntime}.
  */
-export declare const evaluateStaticMemoEvalPlan: (plan: MemoEvalPlan) => unknown;
+export declare const evaluateStaticMemoEvalPlan: (plan: MemoEvalPlan, key: string, code: SpecCodeMap | undefined) => unknown;
 export {};

package/dist/application-spec/generate-application/runtime/sections/generate-memo-eval-plan-runtime.js

@@ -1 +1 @@
-import{memoEval as e}from"#package/domain";import{createMessageDescriptor as t}from"../../../core/index.js";let r=(e,a)=>{if("literal"===e.kind)return e.value;if("slot"===e.kind)return a[e.depIndex];if("msg"===e.kind)return t(e.marker);if("array"===e.kind)return e.items.map(e=>r(e,a));let n={};for(let[t,l]of e.entries)n[t]=r(l,a);return n};export const generateMemoEvalPlanRuntime=t=>{if(0===t.deps.length){let e=r(t.template,[]);return()=>e}let a=t.deps.map(e=>{if("eval"===e.kind)return Function("self",`return (${e.code})`)});return e(e=>t.deps.map((t,r)=>"eval"===t.kind?a[r](e):Reflect.get(e,t.target)),(...e)=>r(t.template,e))};export const evaluateStaticMemoEvalPlan=e=>{if(e.usesSelf)throw Error("Cannot evaluate a plan that uses self as a static value. Filter self-dependent plans before evaluating constants.");let t=e.deps.map(e=>{if("read"===e.kind)throw Error(`Cannot evaluate the self-dependent read "${e.target}" as a static value. Filter self-dependent plans before evaluating constants.`);return Function(`return (${e.code})`)()});return r(e.template,t)};
+import{memoEval as e}from"#package/domain";import{createMessageDescriptor as t}from"../../../core/index.js";import{specCodeEvalIds as r}from"../../runtime-spec/index.js";import{resolveSpecCode as a}from"../spec-code/index.js";let n=(e,r)=>{if("literal"===e.kind)return e.value;if("slot"===e.kind)return r[e.depIndex];if("msg"===e.kind)return t(e.marker);if("array"===e.kind)return e.items.map(e=>n(e,r));let a={};for(let[t,l]of e.entries)a[t]=n(l,r);return a};export const generateMemoEvalPlanRuntime=(t,l,i)=>{if(0===t.deps.length){let e=n(t.template,[]);return()=>e}let o=r(t,l),s=t.deps.map((e,t)=>{let r=o[t];return"eval"===e.kind&&void 0!==r?a(i,r,e.code):void 0});return e(e=>t.deps.map((t,r)=>"eval"===t.kind?s[r](e):Reflect.get(e,t.target)),(...e)=>n(t.template,e))};export const evaluateStaticMemoEvalPlan=(e,t,l)=>{if(e.usesSelf)throw Error("Cannot evaluate a plan that uses self as a static value. Filter self-dependent plans before evaluating constants.");let i=r(e,t),o=e.deps.map((e,t)=>{if("read"===e.kind)throw Error(`Cannot evaluate the self-dependent read "${e.target}" as a static value. Filter self-dependent plans before evaluating constants.`);return a(l,i[t],e.code)()});return n(e.template,o)};

package/dist/application-spec/generate-application/runtime/sections/reflection-constants-runtime.d.ts

@@ -1,8 +1,10 @@
 import type { ExpressionName, Expressions, MemoEvalPlan } from '../../../parse-application-files/index.js';
+import type { SpecCodeMap } from '../spec-code/index.js';
 /** The self-free `constants:` plans declared on one entity or alias, or `undefined` when it has none. */
 export declare const findReflectionConstants: (expressions: Expressions, entityOrAlias: string) => ReadonlyMap<ExpressionName, MemoEvalPlan> | undefined;
 /**
  * Runtime counterpart of the constants literal codegen passes to an enhanced reflection: the
  * entity's or alias's self-free `constants:` values evaluated once to plain values, keyed by name.
+ * Their `$eval` code comes from `code` when the generated code module holds it.
  */
-export declare const evaluateReflectionConstants: (expressions: Expressions, entityOrAlias: string) => Readonly<Record<string, unknown>>;
+export declare const evaluateReflectionConstants: (expressions: Expressions, entityOrAlias: string, code: SpecCodeMap | undefined) => Readonly<Record<string, unknown>>;

package/dist/application-spec/generate-application/runtime/sections/reflection-constants-runtime.js

@@ -1 +1 @@
-import{evaluateStaticMemoEvalPlan as t}from"./generate-memo-eval-plan-runtime.js";export const findReflectionConstants=(t,n)=>{for(let[e,o]of t.constants)if(String(e)===n)return o};export const evaluateReflectionConstants=(n,e)=>{let o=findReflectionConstants(n,e);return o?Object.fromEntries([...o].map(([n,e])=>[String(n),t(e)])):{}};
+import{specCodeExpressionKey as t}from"../../runtime-spec/index.js";import{evaluateStaticMemoEvalPlan as n}from"./generate-memo-eval-plan-runtime.js";export const findReflectionConstants=(t,n)=>{for(let[e,o]of t.constants)if(String(e)===n)return o};export const evaluateReflectionConstants=(e,o,r)=>{let i=findReflectionConstants(e,o);return i?Object.fromEntries([...i].map(([e,i])=>[String(e),n(i,t(o,String(e)),r)])):{}};

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

@@ -0,0 +1,2 @@
+export type * from './spec-code-module.js';
+export * from './resolve-spec-code.js';

package/dist/application-spec/generate-application/runtime/spec-code/index.js

@@ -0,0 +1 @@
+export*from"./resolve-spec-code.js";

package/dist/application-spec/generate-application/runtime/spec-code/resolve-spec-code.d.ts

@@ -0,0 +1,18 @@
+import type { SelfAccessor } from '../../../core/index.js';
+import type { SpecCodeId } from '../../runtime-spec/index.js';
+import type { SpecCodeMap } from './spec-code-module.js';
+/**
+ * A piece of YAML code ready to run: it takes the `$` view of the entity it runs on, or nothing when
+ * the code does not read `self` (a constant).
+ */
+export type ResolvedSpecCode = (self?: SelfAccessor) => unknown;
+/**
+ * The function for one piece of YAML code: the closure the generated code module holds under `id`,
+ * or the text compiled with `new Function` when there is no module (the editor, which rebuilds from
+ * YAML it has no generated module for) or the module has no such id.
+ *
+ * The module must come from the same generation as the spec. An id carries a hash of its code, so a
+ * module from another generation does not hold the ids of code that changed since: such code is
+ * compiled from the spec's text, never run from an old closure.
+ */
+export declare const resolveSpecCode: (code: SpecCodeMap | undefined, id: SpecCodeId, source: string) => ResolvedSpecCode;

package/dist/application-spec/generate-application/runtime/spec-code/resolve-spec-code.js

@@ -0,0 +1 @@
+export const resolveSpecCode=(e,o,r)=>{let t=e?.[o];return void 0!==t?t:Function("self",`return (${r})`)};

package/dist/application-spec/generate-application/runtime/spec-code/spec-code-module.d.ts

@@ -0,0 +1,17 @@
+import type { SpecCodeId } from '../../runtime-spec/index.js';
+/**
+ * One closure of the generated `.phoenix/spec-code.ts`. Each closure there is typed by the entity it
+ * runs on, so the map accepts any parameter type; the runtime calls every closure with the entity's
+ * `$` view, or with nothing when the code does not read `self`.
+ */
+export type SpecCode = (self: never) => unknown;
+/** The closures of one domain, keyed by spec code id. */
+export type SpecCodeMap = Readonly<Record<SpecCodeId, SpecCode>>;
+/**
+ * The generated `.phoenix/spec-code.ts` module: the code written in YAML, one map per domain. The
+ * runtime looks code up here by id and compiles the text only for an id the module does not hold.
+ */
+export interface SpecCodeModule {
+    readonly configurator: SpecCodeMap;
+    readonly admin: SpecCodeMap;
+}

package/dist/application-spec/generate-application/runtime/spec-code/spec-code-module.js

@@ -0,0 +1 @@
+export{};

package/dist/application-spec/generate-application/runtime-spec/index.d.ts

@@ -2,3 +2,4 @@ export * from './runtime-spec.js';
 export * from './encoded-runtime-spec.js';
 export * from './encode-runtime-spec.js';
 export * from './decode-runtime-spec.js';
+export * from './spec-code-id.js';

package/dist/application-spec/generate-application/runtime-spec/index.js

@@ -1 +1 @@
-export*from"./runtime-spec.js";export*from"./encoded-runtime-spec.js";export*from"./encode-runtime-spec.js";export*from"./decode-runtime-spec.js";
+export*from"./runtime-spec.js";export*from"./encoded-runtime-spec.js";export*from"./encode-runtime-spec.js";export*from"./decode-runtime-spec.js";export*from"./spec-code-id.js";