@salsita-ai/sdk 0.50.0-develop.71209819cd → 0.50.0-develop.715948fb3b

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

@@ -0,0 +1,3 @@
+export { FactoryDataRuntime } from './factory-data-runtime.js';
+export type { RecipeDefaults } from './recipe-defaults.js';
+export type { StaticViolations } from './static-violations.js';

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

@@ -0,0 +1 @@
+export{FactoryDataRuntime}from"./factory-data-runtime.js";

package/dist/application-spec/generate-application/runtime/factory-data/recipe-defaults.d.ts

@@ -0,0 +1,13 @@
+import type { Defaults } from '../../../parse-application-files/index.js';
+/**
+ * The default property values of each entity type, keyed by entity type: what
+ * `phx.domain.createRecipe` puts into a new recipe before the caller's overrides. Alias entries are
+ * already expanded to their member types by the parser.
+ */
+export type RecipeDefaults = Readonly<Record<string, Readonly<Record<string, unknown>>>>;
+/**
+ * The runtime counterpart of the `defaults` literal the generated `domain-spec.ts` passes to
+ * `createRecipeFactory`: the parsed per-entity defaults with every `$msg` lowered to the descriptor
+ * the `msg` macro produces.
+ */
+export declare const createRecipeDefaults: (defaults: Defaults) => RecipeDefaults;

package/dist/application-spec/generate-application/runtime/factory-data/recipe-defaults.js

@@ -0,0 +1 @@
+import{createMessageDescriptor as e,isEvalMarker as t,isMsgMarker as r}from"../../../core/index.js";let s=(a,i)=>{if(null===a||"object"!=typeof a)return a;if(r(a))return e(a);if(t(a))throw Error(`The default at ${i} is an $eval expression. Defaults are static values; the parser rejects $eval in them, so the spec given to the runtime was not produced by it. Parse the spec again and pass the result.`);return Array.isArray(a)?a.map((e,t)=>s(e,`${i}[${t}]`)):Object.fromEntries(Object.entries(a).map(([e,t])=>[e,s(t,`${i}.${e}`)]))};export const createRecipeDefaults=e=>Object.fromEntries(Object.entries(e.entries).map(([e,t])=>[e,Object.fromEntries(Object.entries(t).map(([t,r])=>[t,s(r,`${e}.${t}`)]))]));

package/dist/application-spec/generate-application/runtime/factory-data/static-violations.d.ts

@@ -0,0 +1,16 @@
+import type { Violation } from '#package/domain';
+import type { Invariants } from '../../../parse-application-files/index.js';
+/**
+ * The violation each static invariant of a domain reports when its implementation returns `false`,
+ * by entity type or alias and by invariant name. `phx.domain.implementCustomInvariants` closes over
+ * it: a project implements a static invariant as a boolean and the factory turns `false` into this
+ * violation.
+ */
+export type StaticViolations = Readonly<Record<string, Readonly<Record<string, Violation<string>>>>>;
+/**
+ * The runtime counterpart of the `staticViolations` literal the generated `domain-spec.ts` passes
+ * to `createCustomInvariantFactory`: one entry per static invariant, keyed as the spec declares it,
+ * with a `$msg` message lowered to the descriptor the `msg` macro produces. Types and aliases
+ * without a static invariant have no entry.
+ */
+export declare const createStaticViolations: (invariants: Invariants) => StaticViolations;

package/dist/application-spec/generate-application/runtime/factory-data/static-violations.js

@@ -0,0 +1 @@
+import{createMessageDescriptor as t}from"../../../core/index.js";export const createStaticViolations=e=>{let i={};for(let[o,r]of Object.entries(e.entries))for(let e of Object.values(r)){if("static"!==e.kind)continue;let r={type:String(e.violationType),severity:e.severity,message:"string"==typeof e.message?e.message:t(e.message),...void 0===e.controlViolationPriority?{}:{controlViolationPriority:e.controlViolationPriority}};i[o]={...i[o],[String(e.name)]:r}}return i};

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

@@ -0,0 +1,8 @@
+export { ApplicationRuntime, type ApplicationRuntimeResult } from './application-runtime.js';
+export { AdminModelRuntime } from './admin-runtime/admin-model-runtime.js';
+export { ConfiguratorModelRuntime } from './configurator-runtime/configurator-model-runtime.js';
+export { SpecRuntime } from './spec-runtime.js';
+export * from './factory-data/index.js';
+export * from './migrations/index.js';
+export * from './sections/index.js';
+export * from './spec-code/index.js';

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

@@ -0,0 +1 @@
+export{ApplicationRuntime}from"./application-runtime.js";export{AdminModelRuntime}from"./admin-runtime/admin-model-runtime.js";export{ConfiguratorModelRuntime}from"./configurator-runtime/configurator-model-runtime.js";export{SpecRuntime}from"./spec-runtime.js";export*from"./factory-data/index.js";export*from"./migrations/index.js";export*from"./sections/index.js";export*from"./spec-code/index.js";

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

@@ -0,0 +1 @@
+export { MigrationRuntime, type MigrationModules } from './migration-runtime.js';

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

@@ -0,0 +1 @@
+export{MigrationRuntime}from"./migration-runtime.js";

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

@@ -0,0 +1,53 @@
+import { Branded } from '@salsita-ai/common/utils';
+import { type AnyEntityReflections, type DomainEntity, type MigrateFunction, type Migration } from '#package/domain';
+import type { RuntimeReferenceStore } from '../../../caching/index.js';
+import type { RuntimeResolvedVersions } from '../../runtime-spec/index.js';
+type AnyEntity = DomainEntity<string>;
+type AnyMigration = Migration<AnyEntity, AnyEntity>;
+/**
+ * The project's migration modules, keyed by the project path the parser records for each model
+ * version (`src/migrations/v2.ts`, `src/admin/migrations/v2.ts`), each holding the module's exports.
+ * The module of version `N` exports the migration to that version as `migrateToV<N>`, the name the
+ * generated `domain.ts` imports.
+ */
+export type MigrationModules = Readonly<Record<string, Readonly<Record<string, unknown>>>>;
+interface MigrationRuntimeFields {
+    /** The entity reflections of each model version, keyed by version; the latest is the domain's own. */
+    readonly modelVersions: Readonly<Record<number, AnyEntityReflections>>;
+    /** The migration to each version, keyed by the version it yields. */
+    readonly migrations: Readonly<Record<number, AnyMigration>>;
+    readonly migrate: MigrateFunction<AnyEntity>;
+    /**
+     * The migrations the spec declares but the migration modules do not provide, as
+     * `<migration file>#migrateToV<N>`. A state that needs one fails to load with a
+     * `StateMigrationError` naming the missing step.
+     */
+    readonly missingMigrations: readonly string[];
+    readonly changed: boolean;
+}
+/**
+ * How a domain migrates a stored state of any of its model versions to the latest one: the entity
+ * reflections of every version, the project's migration to each version above the first, and the
+ * migrate function built from both, which `DomainBuilder.withMigrate` takes.
+ *
+ * The configurator and the admin domain each have one. The admin domain's factory first applies the
+ * SDK's own migration of the common admin entities (`migrateCommonAdminDomain`) and then this one.
+ */
+export type MigrationRuntime = Branded<'MigrationRuntime', MigrationRuntimeFields>;
+interface MigrationRuntimeInput {
+    readonly resolvedVersions: RuntimeResolvedVersions;
+    readonly latestEntities: AnyEntityReflections;
+    readonly migrationModules: MigrationModules;
+}
+interface MigrationRuntimeProps extends MigrationRuntimeInput {
+    readonly referenceScope: string;
+}
+/**
+ * Builds a domain's migrations from its resolved model versions and the project's migration
+ * modules: the runtime counterpart of the `modelVersions` literal of the generated `domain-spec.ts`
+ * and the `createMigrateFunction(...)` call of the generated `domain.ts`. The latest version uses the
+ * domain's own entity reflections, as generated code does. The result keeps its reference while
+ * the versions, the latest reflections and the migration modules stay the same.
+ */
+export declare const MigrationRuntime: (referenceStore: RuntimeReferenceStore, props: MigrationRuntimeProps) => MigrationRuntime;
+export {};

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

@@ -0,0 +1 @@
+import e from"lodash-es/isEqual.js";import{Branded as i}from"@salsita-ai/common/utils";import{DomainEntityReflection as t,createMigrateFunction as s}from"#package/domain";let o=e=>"function"==typeof e,r=e=>`migrateToV${e}`,n=e=>{let{resolvedVersions:i,latestEntities:n,migrationModules:a}=e,l={},m={},d=[];for(let e of i.versionedModels){if(e.isLatest)l[e.version]=n;else{let i={};for(let s of e.modelVersion.entitySchemas)i[String(s.entityType)]=new t(String(s.entityType),[s.shapeSchema]);l[e.version]=i}if(void 0===e.migrationFile)continue;let i=r(e.version),s=a[e.migrationFile]?.[i];o(s)?m[e.version]=s:d.push(`${e.migrationFile}#${i}`)}return{modelVersions:l,migrations:m,migrate:s(l,i.latestVersion,m),missingMigrations:d}},a=e=>e.versionedModels.map(e=>({version:e.version,isLatest:e.isLatest,migrationFile:e.migrationFile,schemas:e.isLatest?[]:e.modelVersion.entitySchemas.map(e=>e.shapeSchema)})),l=(i,t)=>i.latestEntities===t.latestEntities&&i.resolvedVersions.latestVersion===t.resolvedVersions.latestVersion&&e(a(i.resolvedVersions),a(t.resolvedVersions))&&i.resolvedVersions.versionedModels.every(e=>void 0===e.migrationFile||i.migrationModules[e.migrationFile]===t.migrationModules[e.migrationFile]);export const MigrationRuntime=(e,t)=>{let s=e.createBuilder(t.referenceScope,{build:n,getKey:()=>"singleton",compare:l}).build({resolvedVersions:t.resolvedVersions,latestEntities:t.latestEntities,migrationModules:t.migrationModules});return i({...s.output,changed:s.changed})};

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

@@ -1,10 +1,10 @@
 import { Branded } from '@salsita-ai/common/utils';
 import type { AssistantResolvedManifest } from '#package/domain';
 import type { RuntimeReferenceStore } from '../../../caching/index.js';
-import type { ApplicationSpec } from '../../../parse-application-files/index.js';
+import type { RuntimeSpec } from '../../runtime-spec/index.js';
 /** Resolved assistant manifest with change tracking, carried to the runtime spec on hot reload. */
 export type AssistantRuntime = Branded<'AssistantRuntime', {
     readonly assistant: AssistantResolvedManifest | null;
     readonly changed: boolean;
 }>;
-export declare const AssistantRuntime: (spec: ApplicationSpec, referenceStore: RuntimeReferenceStore) => AssistantRuntime;
+export declare const AssistantRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore) => AssistantRuntime;

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

@@ -1,7 +1,8 @@
-import { type ComponentEntry, type ComponentImplementation } from '../../../parse-application-files/spec/index.js';
+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"../../../parse-application-files/spec/index.js";let g=new Map([["reference",c],["composedOf",n],["adminSidebar",a],["attributeSelection",i],["navigationPage",o],["navigationPanelList",d]]),p={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},R=(e,t)=>{let a=p[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 p=R(i.readFactory,o),f=R(i.writeFactory,o),A=l.attach(p,f);return e({typeOrAlias:String(a.typeOrAlias),componentName:a.componentName,instanceName:String(a.instanceName),optic:A})};
+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,7 +4,9 @@ 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';
-type AnyComponentOptic = DomainComponentOptic<any, any, any, any, any, any, SystemComponentTypeConstraint>;
+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. */
 export type ComponentOptic = Branded<'ComponentOptic', {
     readonly typeOrAlias: string;
@@ -21,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/data-runtime.d.ts

@@ -1,13 +1,13 @@
 import { Branded } from '@salsita-ai/common/utils';
 import type { RuntimeReferenceStore } from '../../../caching/index.js';
-import type { ApplicationSpec } from '../../../parse-application-files/index.js';
-type ParsedDataSpecEntries = ApplicationSpec['dataSpec']['entries'];
-type ParsedChunks = ApplicationSpec['dataSpec']['chunks'];
+import type { RuntimeSpec } from '../../runtime-spec/index.js';
+type ParsedDataSpecEntries = RuntimeSpec['dataSpec']['entries'];
+type ParsedChunks = RuntimeSpec['dataSpec']['chunks'];
 export type DataRuntime = Branded<'DataRuntime', {
     readonly dataSpec: ParsedDataSpecEntries;
     readonly chunks: ParsedChunks;
     readonly publishedDataHash: string;
     readonly changed: boolean;
 }>;
-export declare const DataRuntime: (spec: ApplicationSpec, referenceStore: RuntimeReferenceStore) => DataRuntime;
+export declare const DataRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore) => DataRuntime;
 export {};

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

@@ -1,7 +1,9 @@
 import { Branded } from '@salsita-ai/common/utils';
-import type { DomainEntity, Expression as DomainExpression, Invariant as DomainInvariant } from '#package/domain';
+import type { DomainEntity, Expression as DomainExpression, Invariant as DomainInvariant, ImplementationErrorCollector, ProjectModule } from '#package/domain';
 import type { RuntimeReferenceStore } from '../../../caching/index.js';
-import type { Expressions, ModelVersion } from '../../../parse-application-files/index.js';
+import type { Expressions } from '../../../parse-application-files/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>;
@@ -30,17 +32,24 @@ export type ExpressionRuntimeResult = {
 };
 interface ExpressionRuntimeSpec {
     readonly expressions: Expressions;
-    readonly latestModel: ModelVersion;
+    readonly latestModel: RuntimeModelVersion;
 }
 /**
  * Runtime section that produces the single merged expression map for the registry.
  *
  * Dispatches on `expression.implementation.kind`:
  * - `relation` / `violations` — calls the matching SDK factory with params + runtime context
- * - `user` — uses the dynamically imported impl from `src/expressions/*.ts`
+ * - `user` — uses the implementation of the project files `expressionModules` (`src/expressions/`,
+ *   or `src/admin/expressions/`), merged with the spec's aliases by `mergeExpressionModules`, or the
+ *   one `builtIn` holds
  * - `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.
+ *
+ * A file that is wrong, or that defines an expression another file, the spec or `builtIn` already
+ * defines, is recorded in `errors` as an `ImplementationError` and left out. So is every declared
+ * expression without an implementation, which also makes the result an error.
  */
-export declare const ExpressionRuntime: (spec: ExpressionRuntimeSpec, referenceStore: RuntimeReferenceStore, implementations: ExpressionImplementations, referenceScopePrefix: string, invariantImplementations?: InvariantImplementations) => ExpressionRuntimeResult;
+export declare const ExpressionRuntime: (spec: ExpressionRuntimeSpec, referenceStore: RuntimeReferenceStore, expressionModules: readonly ProjectModule[], referenceScopePrefix: string, invariantImplementations: InvariantImplementations | undefined, code: SpecCodeMap | undefined, errors: ImplementationErrorCollector, builtIn?: ExpressionImplementations) => 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 a}from"../../../core/index.js";import{isSdkExpressionImplementation as n}from"../../../parse-application-files/spec/index.js";import{generateMemoEvalPlanRuntime as r}from"./generate-memo-eval-plan-runtime.js";let l={},o={relation:(e,t)=>i(e.aliasMap)(t[0]),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 a=i.entityType,n=Object.entries(e.invariantImplementations).flatMap(([t,i])=>{let n=e.aliasMap[t];return t===a||n?.includes(a)?i:[]});return{origin:{name:"$violations",typeOrAlias:a},evaluate:(e,t,i)=>n.flatMap(a=>a.evaluate(e,t,i)),meta:{}}}},s=e=>{let t=r(e.plan);return{origin:{name:e.name,typeOrAlias:e.entityOrAlias},evaluate:(e,i,a)=>t(a.domain.get$Entity(e,i),i,a),meta:{}}},p=e=>({...(0,o[e.kind])({aliasMap:e.aliasMap,invariantImplementations:e.invariantImplementations},e.params),origin:{name:e.name,typeOrAlias:e.entityOrAlias}});export const ExpressionRuntime=(i,r,o,m,u=l)=>{let d={};for(let[e,t]of i.latestModel.aliases)d[String(e)]=t.map(String);let f=r.createBuilder(`${m}/sdk`,{build:p,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(`${m}/user`,{build:e=>e.impl,getKey:e=>`user::${e.entityType}::${e.name}`,compare:(e,t)=>e.impl===t.impl}),g=r.createBuilder(`${m}/value`,{build:s,getKey:e=>`value::${e.entityOrAlias}::${e.name}`,compare:(e,t)=>e.valueKey===t.valueKey}),c={},v=!1,S=new Set,b=new Set,k=new Set;for(let[e,t]of i.expressions.expressions)for(let[,i]of t){let t=d[String(e)]??[String(e)];if(n(i.implementation)){let a={entityOrAlias:String(e),name:String(i.name),kind:i.implementation.kind,params:i.implementation.params,aliasMap:d,invariantImplementations:u},n=f.build(a);for(let e of(n.changed&&(v=!0),S.add(f.getKey(a)),t))c[e]||(c[e]={}),c[e][String(i.name)]=n.output;continue}if("value"===i.implementation.kind){let n=i.implementation.value,r={entityOrAlias:String(e),name:String(i.name),valueKey:a(n),plan:i.implementation.plan},l=g.build(r);for(let e of(l.changed&&(v=!0),k.add(g.getKey(r)),t))c[e]||(c[e]={}),c[e][String(i.name)]=l.output;continue}}for(let[e,t]of Object.entries(o))for(let[i,a]of Object.entries(t)){let t={entityType:e,name:i,impl:a},n=y.build(t);n.changed&&(v=!0),b.add(y.getKey(t)),c[e]||(c[e]={}),c[e][i]=n.output}f.cleanup(S)&&(v=!0),y.cleanup(b)&&(v=!0),g.cleanup(k)&&(v=!0);let x=[];for(let[e,t]of i.expressions.entityExpressions)for(let a of t.shapeGroups){let t=i.expressions.expressions.get(a);if(t)for(let[i]of t)c[String(e)]?.[String(i)]||x.push({entityType:String(e),exprName:String(i)})}return x.length>0?{ok:!1,missing:x}:{ok:!0,runtime:t({merged:c,changed:v})}};
+import e from"lodash-es/isEqual.js";import{Branded as t}from"@salsita-ai/common/utils";import{ImplementationError as i,createRelationFactory as n,mergeExpressionModules as a}from"#package/domain";import{canonicalEnhancedJsonValueKey as r,isSdkExpressionImplementation as o}from"../../../core/index.js";import{specCodeExpressionKey as l}from"../../runtime-spec/index.js";import{generateMemoEvalPlanRuntime as s}from"./generate-memo-eval-plan-runtime.js";let p={},m=["0-1","1-1","0-N","1-N"],d={relation:(e,t)=>{let i=t[0];if(!("object"==typeof i&&null!==i&&"kind"in i&&"target"in i&&"string"==typeof i.target&&"cardinality"in i&&m.includes(i.cardinality)&&("allOfType"===i.kind||("direct"===i.kind||"indirect"===i.kind)&&"field"in i&&"string"==typeof i.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 n(e.aliasMap)(i)},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:{}}}},f=e=>{let t=s(e.plan,l(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:{}}},u=e=>({...(0,d[e.kind])({aliasMap:e.aliasMap,invariantImplementations:e.invariantImplementations},e.params),origin:{name:e.name,typeOrAlias:e.entityOrAlias}});export const ExpressionRuntime=(n,l,s,m,d=p,c,g,y={})=>{let v={};for(let[e,t]of n.latestModel.aliases)v[String(e)]=t.map(String);let x={...y};for(let[e,t]of Object.entries(a(s,v,g,((e,t,i)=>{let n=new Map,a=(e,t)=>{n.set(e,(n.get(e)??new Set).add(t))};for(let[i,n]of e.expressions.expressions)for(let[e,r]of n)if("user"!==r.implementation.kind)for(let n of t[String(i)]??[String(i)])a(n,String(e));for(let[e,t]of Object.entries(i))for(let i of Object.keys(t))a(e,i);return n})(n,v,y))))x[e]={...x[e],...t};let S=l.createBuilder(`${m}/sdk`,{build:u,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)}),h=l.createBuilder(`${m}/user`,{build:e=>e.impl,getKey:e=>`user::${e.entityType}::${e.name}`,compare:(e,t)=>{let i,n;return(i=e.impl)===(n=t.impl)||i.evaluate===n.evaluate&&i.meta===n.meta&&i.origin.name===n.origin.name&&i.origin.typeOrAlias===n.origin.typeOrAlias}}),O=l.createBuilder(`${m}/value`,{build:f,getKey:e=>`value::${e.entityOrAlias}::${e.name}`,compare:(e,t)=>e.valueKey===t.valueKey&&e.code===t.code}),b={},k=!1,$=new Set,M=new Set,j=new Set;for(let[e,t]of n.expressions.expressions)for(let[,i]of t){let t=v[String(e)]??[String(e)];if(o(i.implementation)){let n={entityOrAlias:String(e),name:String(i.name),kind:i.implementation.kind,params:i.implementation.params,aliasMap:v,invariantImplementations:d},a=S.build(n);for(let e of(a.changed&&(k=!0),$.add(S.getKey(n)),t))b[e]||(b[e]={}),b[e][String(i.name)]=a.output;continue}if("value"===i.implementation.kind){let n=i.implementation.value,a={entityOrAlias:String(e),name:String(i.name),valueKey:r(n),plan:i.implementation.plan,code:c},o=O.build(a);for(let e of(o.changed&&(k=!0),j.add(O.getKey(a)),t))b[e]||(b[e]={}),b[e][String(i.name)]=o.output;continue}}for(let[e,t]of Object.entries(x))for(let[i,n]of Object.entries(t)){let t={entityType:e,name:i,impl:n},a=h.build(t);a.changed&&(k=!0),M.add(h.getKey(t)),b[e]||(b[e]={}),b[e][i]=a.output}S.cleanup($)&&(k=!0),h.cleanup(M)&&(k=!0),O.cleanup(j)&&(k=!0);let A=[];for(let[e,t]of n.expressions.entityExpressions)for(let i of t.shapeGroups){let t=n.expressions.expressions.get(i);if(t)for(let[i]of t)b[String(e)]?.[String(i)]||A.push({entityType:String(e),exprName:String(i)})}return A.length>0?(A.forEach(e=>g.add(new i({code:"MISSING_IMPLEMENTATION",origin:null,problem:`Missing implementation of expression ${e.entityType}.${e.exprName}`,fix:"The spec declares it without a value of its own ($eval, $msg or a read), so a project file implements it: a default export of phx.domain.implementCustomExpressions({ ... }) in src/expressions/, or of phx.domain.admin.implementCustomExpressions({ ... }) in src/admin/expressions/ for an admin entity type. Implement it, or remove the declaration from the spec."}))),{ok:!1,missing:A}):{ok:!0,runtime:t({merged:b,changed:k})}};

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/sections/theme-runtime.d.ts

@@ -1,10 +1,10 @@
 import { Branded } from '@salsita-ai/common/utils';
 import type { RuntimeReferenceStore } from '../../../caching/index.js';
-import type { ApplicationSpec } from '../../../parse-application-files/index.js';
+import type { RuntimeSpec } from '../../runtime-spec/index.js';
 /** Resolved theme spec with change tracking — no UI deps, just preset + options. */
 export type ThemeRuntime = Branded<'ThemeRuntime', {
     readonly preset: string;
     readonly options: Readonly<Record<string, unknown>>;
     readonly changed: boolean;
 }>;
-export declare const ThemeRuntime: (spec: ApplicationSpec, referenceStore: RuntimeReferenceStore) => ThemeRuntime;
+export declare const ThemeRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore) => ThemeRuntime;

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

@@ -1,8 +1,7 @@
 import { Branded } from '@salsita-ai/common/utils';
 import type { ImportedTransformer } from '#package/domain';
 import type { RuntimeReferenceStore } from '../../../caching/index.js';
-import type { ApplicationSpec } from '../../../parse-application-files/index.js';
-type AnyImportedTransformer = ImportedTransformer<any, any, any, any, any, any, any>;
+import type { RuntimeSpec } from '../../runtime-spec/index.js';
 /**
  * Runtime section for transformers. Combines two sources of truth:
  * - `importedTransformers` — factory functions from src/transformers/*.ts
@@ -13,9 +12,8 @@ type AnyImportedTransformer = ImportedTransformer<any, any, any, any, any, any,
  * decide whether to push a fresh `createTransformers` factory into the registry.
  */
 export type TransformersRuntime = Branded<'TransformersRuntime', {
-    readonly importedTransformers: readonly AnyImportedTransformer[];
-    readonly specTransformers: ApplicationSpec['configurator']['transformers'];
+    readonly importedTransformers: readonly ImportedTransformer[];
+    readonly specTransformers: RuntimeSpec['configurator']['transformers'];
     readonly changed: boolean;
 }>;
-export declare const TransformersRuntime: (spec: ApplicationSpec, referenceStore: RuntimeReferenceStore, importedTransformers: readonly AnyImportedTransformer[]) => TransformersRuntime;
-export {};
+export declare const TransformersRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, importedTransformers: readonly ImportedTransformer[]) => TransformersRuntime;

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-runtime.d.ts

@@ -0,0 +1,21 @@
+import { Branded } from '@salsita-ai/common/utils';
+import type { RuntimeReferenceStore } from '../../caching/index.js';
+import type { RuntimeSpec } from '../runtime-spec/index.js';
+import { AdminSpecRuntime } from './admin-runtime/admin-spec-runtime.js';
+import { ConfiguratorSpecRuntime } from './configurator-runtime/configurator-spec-runtime.js';
+import type { SpecCodeModule } from './spec-code/index.js';
+/**
+ * The sections of both domains that the spec alone determines, without a project module: each
+ * domain's model and the data of its `phx.domain` factories.
+ *
+ * An application is built in two steps in one reference store. This is the first: it runs before
+ * the project's modules load, because they call the `phx.domain` factories while they are evaluated.
+ * The second, `ApplicationRuntime` with the loaded modules, builds the same sections through the
+ * same functions, so it returns the same objects: `phx.domain.model.X` is the reflection the
+ * application's domain validates with.
+ */
+export type SpecRuntime = Branded<'SpecRuntime', {
+    readonly configurator: ConfiguratorSpecRuntime;
+    readonly admin: AdminSpecRuntime;
+}>;
+export declare const SpecRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, specCode: SpecCodeModule | undefined) => SpecRuntime;

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

@@ -0,0 +1 @@
+import{Branded as i}from"@salsita-ai/common/utils";import{AdminSpecRuntime as r}from"./admin-runtime/admin-spec-runtime.js";import{ConfiguratorSpecRuntime as o}from"./configurator-runtime/configurator-spec-runtime.js";export const SpecRuntime=(m,t,n)=>i({configurator:o(m,t,n?.configurator),admin:r(m,t,n?.admin)});

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

@@ -0,0 +1,9 @@
+import type { RuntimeSpec } from './runtime-spec.js';
+/**
+ * Reads the JSON text of `.phoenix/application-spec.json` back into the runtime spec that
+ * `encodeRuntimeSpec` wrote: one `JSON.parse`, then each listed array back into its Map or Set.
+ *
+ * Throws when the text is not a runtime spec artifact, or when it was written in another format
+ * version than this SDK reads; `phoenix sync` writes the artifact again in the right one.
+ */
+export declare const decodeRuntimeSpec: (text: string) => RuntimeSpec;

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

@@ -0,0 +1 @@
+import{RUNTIME_SPEC_FORMAT_VERSION as e}from"./encoded-runtime-spec.js";let t="Run `phoenix sync` to write it again with the SDK the project uses.",r=e=>"object"==typeof e&&null!==e,i=e=>Error(`Cannot read .phoenix/application-spec.json: its ${e.kind} at ${JSON.stringify(e.path)} is not where the file says it is, so the file was changed after it was written. ${t}`),o=(e,t)=>{let o=e,n="spec";for(let e of t.path)o=r(o)?o[n]:void 0,n=e;let s=r(o)?o[n]:void 0;if(!r(o)||!Array.isArray(s))throw i(t);o[n]="Map"===t.kind?new Map(s.map(e=>{if(!Array.isArray(e)||2!==e.length)throw i(t);return[e[0],e[1]]})):new Set(s)};export const decodeRuntimeSpec=i=>{let n=JSON.parse(i);if(!(r(n)&&"number"==typeof n.format&&Array.isArray(n.collections)&&"spec"in n))throw Error(`Cannot read .phoenix/application-spec.json: it is not a runtime spec written by \`phoenix sync\` or \`phoenix build\`. ${t}`);if(n.format!==e)throw Error(`Cannot read .phoenix/application-spec.json: it is written in format version ${n.format}, and this SDK reads format version ${e}, so it was written by another version of the SDK. ${t}`);let s={spec:n.spec};for(let e of n.collections)o(s,e);return s.spec};

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

@@ -0,0 +1,8 @@
+import type { RuntimeSpec } from './runtime-spec.js';
+/**
+ * Writes a runtime spec as the JSON text of `.phoenix/application-spec.json`, which
+ * `decodeRuntimeSpec` reads back. Maps and Sets become arrays listed in `collections`, properties
+ * whose value is `undefined` are left out, and the document carries the format version. The text
+ * is the same for the same spec, so an unchanged spec leaves the file unchanged.
+ */
+export declare const encodeRuntimeSpec: (spec: RuntimeSpec) => string;

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

@@ -0,0 +1 @@
+import{RUNTIME_SPEC_FORMAT_VERSION as t}from"./encoded-runtime-spec.js";let e=(t,e)=>Error(`Cannot write .phoenix/application-spec.json: the parsed spec holds ${e} at ${JSON.stringify(t.path)}, which the runtime spec cannot hold. The runtime spec holds only plain data, Maps and Sets, so the parser produced a value it should not have. Report this to the Phoenix team with the YAML that declares this value.`),o=(t,e,o)=>{t.path.push(e);let n=r(t,o);return t.path.pop(),n},r=(t,r)=>{let n;if(null===r||"string"==typeof r||"boolean"==typeof r)return r;if("number"==typeof r){if(!Number.isFinite(r))throw e(t,`the number ${r}`);return r}if("object"!=typeof r)throw e(t,`a value of type ${typeof r}`);if(r instanceof Map){let e=[...r].map(([e,r],n)=>{t.path.push(n);let p=[o(t,0,e),o(t,1,r)];return t.path.pop(),p});return t.collections.push({kind:"Map",path:[...t.path]}),e}if(r instanceof Set){let e=[...r].map((e,r)=>o(t,r,e));return t.collections.push({kind:"Set",path:[...t.path]}),e}if(Array.isArray(r))return r.map((r,n)=>{if(void 0===r)throw e(t,`undefined as item ${n} of an array`);return o(t,n,r)});if((n=Object.getPrototypeOf(r))!==Object.prototype&&null!==n)throw e(t,`an instance of ${r.constructor.name}`);let p={};for(let[e,n]of Object.entries(r))void 0!==n&&(p[e]=o(t,e,n));return p};export const encodeRuntimeSpec=e=>{let o={path:[],collections:[]},n=r(o,e);return JSON.stringify({format:t,collections:o.collections,spec:n})};

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

@@ -0,0 +1,28 @@
+/**
+ * The version of the JSON format `encodeRuntimeSpec` writes. Raise it with every change to the
+ * format or to the shape of `RuntimeSpec` once a released SDK has written the current version, so
+ * that `decodeRuntimeSpec` refuses an artifact an older or newer SDK wrote instead of building a
+ * runtime from data it does not understand.
+ */
+export declare const RUNTIME_SPEC_FORMAT_VERSION = 1;
+/** One step from a value into a part of it: an object key or an array index. */
+export type RuntimeSpecPathSegment = string | number;
+/**
+ * A Map or Set of the runtime spec, which JSON cannot hold: it is written as an array (a Map as its
+ * `[key, value]` entries), and `path` leads from the spec to that array. Paths into a Map run
+ * through its entries, so `[..., 2, 1]` is the value of its third entry.
+ */
+export interface EncodedCollection {
+    readonly kind: 'Map' | 'Set';
+    readonly path: readonly RuntimeSpecPathSegment[];
+}
+/**
+ * The JSON document of `.phoenix/application-spec.json`. `spec` is the runtime spec with every Map
+ * and Set written as an array, and `collections` lists those arrays, inner ones before the ones
+ * that hold them, so a decoder turns them back in that order without walking the whole spec.
+ */
+export interface EncodedRuntimeSpec {
+    readonly format: number;
+    readonly collections: readonly EncodedCollection[];
+    readonly spec: unknown;
+}

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

@@ -0,0 +1 @@
+export const RUNTIME_SPEC_FORMAT_VERSION=1;

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

@@ -0,0 +1,5 @@
+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

@@ -0,0 +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"./spec-code-id.js";