@salsita-ai/sdk 0.50.0-develop.eb204e0da4 → 0.50.0-develop.ecda3c6152

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

@@ -1,16 +1,19 @@
 import { Branded } from '@salsita-ai/common/utils';
-import type { ImportedTransformer } from '#package/domain';
+import type { ImplementationErrorCollector, ImportedTransformer, ProjectModule } 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';
+import type { FactoryDataRuntime } from '../factory-data/index.js';
+import { type MigrationModules, MigrationRuntime } from '../migrations/index.js';
+import { ActionsRuntime } from '../sections/actions-runtime.js';
 import { AssistantRuntime } from '../sections/assistant-runtime.js';
 import { ComponentOptics } from '../sections/component-optic.js';
-import { type ExpressionImplementations, ExpressionRuntime, type InvariantImplementations, type MissingExpression } from '../sections/expression-runtime.js';
+import { ExpressionRuntime, type InvariantImplementations, type MissingExpression } from '../sections/expression-runtime.js';
 import { PresetRuntime } from '../sections/preset-runtime.js';
 import { ThemeRuntime } from '../sections/theme-runtime.js';
 import { TransformersRuntime } from '../sections/transformers-runtime.js';
-import { ConfiguratorModelRuntime } from './configurator-model-runtime.js';
+import type { SpecCodeMap } from '../spec-code/index.js';
+import type { ConfiguratorModelRuntime } from './configurator-model-runtime.js';
 import { ConfiguratorStatesRuntime } from './states-runtime.js';
-type AnyImportedTransformer = ImportedTransformer<any, any, any, any, any, any, any>;
 export type ConfiguratorRuntime = Branded<'ConfiguratorRuntime', {
     readonly modelRuntime: ConfiguratorModelRuntime;
     readonly componentOptics: ComponentOptics;
@@ -20,6 +23,9 @@ export type ConfiguratorRuntime = Branded<'ConfiguratorRuntime', {
     readonly themeRuntime: ThemeRuntime;
     readonly transformersRuntime: TransformersRuntime;
     readonly assistantRuntime: AssistantRuntime;
+    readonly actionsRuntime: ActionsRuntime;
+    readonly migrationRuntime: MigrationRuntime;
+    readonly factoryDataRuntime: FactoryDataRuntime;
 }>;
 export type ConfiguratorRuntimeResult = {
     readonly ok: true;
@@ -27,6 +33,7 @@ export type ConfiguratorRuntimeResult = {
 } | {
     readonly ok: false;
     readonly missingExpressions: readonly MissingExpression[];
+    /** The migrations the migration modules do not export, as `migrationRuntime.missingMigrations` lists them. */
+    readonly missingMigrations: readonly string[];
 };
-export declare const ConfiguratorRuntime: (spec: ApplicationSpec, referenceStore: RuntimeReferenceStore, implementations: ExpressionImplementations, importedTransformers: readonly AnyImportedTransformer[], invariantImplementations?: InvariantImplementations) => ConfiguratorRuntimeResult;
-export {};
+export declare const ConfiguratorRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, expressionModules: readonly ProjectModule[], importedTransformers: readonly ImportedTransformer[], invariantImplementations: InvariantImplementations | undefined, migrationModules: MigrationModules, code: SpecCodeMap | undefined, errors: ImplementationErrorCollector) => 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{AssistantRuntime as e}from"../sections/assistant-runtime.js";import{ComponentOptics as o}from"../sections/component-optic.js";import{ExpressionRuntime as r}from"../sections/expression-runtime.js";import{PresetRuntime as s}from"../sections/preset-runtime.js";import{ThemeRuntime as i}from"../sections/theme-runtime.js";import{TransformersRuntime as n}from"../sections/transformers-runtime.js";import{ConfiguratorModelRuntime as m}from"./configurator-model-runtime.js";import{ConfiguratorStatesRuntime as u}from"./states-runtime.js";export const ConfiguratorRuntime=(p,c,f,a,g)=>{let R=m(p.configurator,c),j=r(p.configurator,c,f,"configuratorExpressionRuntime",g);return j.ok?{ok:!0,runtime:t({modelRuntime:R,componentOptics:o(c,{components:p.configurator.components,referenceScope:"configuratorRuntime/componentOptics",modelRuntime:R}),presetRuntime:s(c,{referenceScope:"configuratorRuntime/presetRuntime",presets:p.configurator.presets.presets}),statesRuntime:u(p,c),expressionRuntime:j.runtime,themeRuntime:i(p,c),transformersRuntime:n(p,c,a),assistantRuntime:e(p,c)})}:{ok:!1,missingExpressions:j.missing}};
+import{Branded as t}from"@salsita-ai/common/utils";import{MigrationRuntime as e}from"../migrations/index.js";import{ActionsRuntime as i}from"../sections/actions-runtime.js";import{AssistantRuntime as o}from"../sections/assistant-runtime.js";import{ComponentOptics as s}from"../sections/component-optic.js";import{ExpressionRuntime as r}from"../sections/expression-runtime.js";import{PresetRuntime as n}from"../sections/preset-runtime.js";import{ThemeRuntime as m}from"../sections/theme-runtime.js";import{TransformersRuntime as c}from"../sections/transformers-runtime.js";import{ConfiguratorSpecRuntime as u}from"./configurator-spec-runtime.js";import{ConfiguratorStatesRuntime as p}from"./states-runtime.js";export const ConfiguratorRuntime=(a,f,g,R,j,l,x,d)=>{let{modelRuntime:k,factoryDataRuntime:E}=u(a,f,x),S=r(a.configurator,f,g,"configuratorExpressionRuntime",j,x,d),h=e(f,{referenceScope:"configuratorRuntime/migrationRuntime",resolvedVersions:a.configurator.resolvedVersions,latestEntities:k.entities,migrationModules:l});return S.ok?{ok:!0,runtime:t({modelRuntime:k,componentOptics:s(f,{components:a.configurator.components,referenceScope:"configuratorRuntime/componentOptics",modelRuntime:k,code:x}),presetRuntime:n(f,{referenceScope:"configuratorRuntime/presetRuntime",presets:a.configurator.presets.presets}),statesRuntime:p(a,f),expressionRuntime:S.runtime,themeRuntime:m(a,f),transformersRuntime:c(a,f,R),assistantRuntime:o(a,f),actionsRuntime:i(a.configurator.actions,f),migrationRuntime:h,factoryDataRuntime:E})}:{ok:!1,missingExpressions:S.missing,missingMigrations:h.missingMigrations}};

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

@@ -0,0 +1,16 @@
+import { Branded } from '@salsita-ai/common/utils';
+import type { RuntimeReferenceStore } from '../../../caching/index.js';
+import type { RuntimeSpec } from '../../runtime-spec/index.js';
+import { FactoryDataRuntime } from '../factory-data/index.js';
+import type { SpecCodeMap } from '../spec-code/index.js';
+import { ConfiguratorModelRuntime } from './configurator-model-runtime.js';
+/**
+ * The sections of the configurator domain that the spec alone determines: its model and the data
+ * of its `phx.domain` factories. `ConfiguratorRuntime` builds its own from this function, so a
+ * build of either in the same reference store returns the same objects.
+ */
+export type ConfiguratorSpecRuntime = Branded<'ConfiguratorSpecRuntime', {
+    readonly modelRuntime: ConfiguratorModelRuntime;
+    readonly factoryDataRuntime: FactoryDataRuntime;
+}>;
+export declare const ConfiguratorSpecRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, code: SpecCodeMap | undefined) => ConfiguratorSpecRuntime;

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

@@ -0,0 +1 @@
+import{Branded as t}from"@salsita-ai/common/utils";import{FactoryDataRuntime as r}from"../factory-data/index.js";import{ConfiguratorModelRuntime as a}from"./configurator-model-runtime.js";export const ConfiguratorSpecRuntime=(i,o,e)=>{let n=a(i.configurator,o,e);return t({modelRuntime:n,factoryDataRuntime:r(o,{referenceScope:"configuratorRuntime/factoryDataRuntime",invariants:i.configurator.invariants,defaults:i.configurator.defaults,aliases:n.aliases,entities:n.entities})})};

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

@@ -1,6 +1,6 @@
 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';
 export type ConfiguratorStatesRuntime = Branded<'ConfiguratorStatesRuntime', {
     readonly navigationStates: readonly string[];
     readonly viewStates: readonly string[];
@@ -8,4 +8,4 @@ export type ConfiguratorStatesRuntime = Branded<'ConfiguratorStatesRuntime', {
     readonly exportStates: readonly string[];
     readonly changed: boolean;
 }>;
-export declare const ConfiguratorStatesRuntime: (spec: ApplicationSpec, referenceStore: RuntimeReferenceStore) => ConfiguratorStatesRuntime;
+export declare const ConfiguratorStatesRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore) => ConfiguratorStatesRuntime;

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

@@ -0,0 +1,57 @@
+import { type Messages } from '@lingui/core';
+import { type Application, type ElementRegistration, type ProjectModule } from '#package/domain';
+import type { RuntimeReferenceStore } from '../../caching/index.js';
+import type { RuntimeSpec } from '../runtime-spec/index.js';
+import { type ThemePresets } from './application-spec-slice.js';
+import type { MigrationModules } from './migrations/index.js';
+import type { SpecCodeModule } from './spec-code/index.js';
+/**
+ * The project modules of an application, as the generated barrels list them: each file of a
+ * convention folder as `{ origin, exports }`, unchecked; the migration modules of both domains keyed
+ * by project path (`src/migrations/v2.ts`); and the message catalogs of `src/locales/<locale>/`,
+ * keyed by locale. `components` holds the files of `src/components/` and the frontend component
+ * files, in that order, and `elements` every element file the application mounts.
+ */
+export interface ApplicationModules {
+    readonly expressions: readonly ProjectModule[];
+    readonly invariants: readonly ProjectModule[];
+    readonly actions: readonly ProjectModule[];
+    readonly components: readonly ProjectModule[];
+    readonly handlers: readonly ProjectModule[];
+    readonly elements: readonly ProjectModule[];
+    readonly transformers: readonly ProjectModule[];
+    readonly adminExpressions: readonly ProjectModule[];
+    readonly adminInvariants: readonly ProjectModule[];
+    readonly adminComponents: readonly ProjectModule[];
+    readonly migrations: MigrationModules;
+    readonly catalogs: Readonly<Record<string, Messages>>;
+}
+export interface CreateApplicationInput {
+    /** The runtime spec, `.phoenix/application-spec.json` decoded with `decodeRuntimeSpec`. */
+    readonly spec: RuntimeSpec;
+    /** The store `createPhx` built the `phx` values in. */
+    readonly referenceStore: RuntimeReferenceStore;
+    /** The generated `.phoenix/spec-code.ts` module of the same generation as `spec`. */
+    readonly specCode?: SpecCodeModule | undefined;
+    readonly modules: ApplicationModules;
+    /** The SDK's default elements of the application kind; a project element with the same name replaces one. */
+    readonly defaultElements: readonly ElementRegistration[];
+    /** The SDK's theme presets by name, `getPhoenixThemes()`. */
+    readonly themePresets: ThemePresets;
+    readonly environment?: Application['environment'] | undefined;
+    /** The services a host provides; i18n is built from the catalogs. */
+    readonly services?: Omit<Application['services'], 'i18n'> | undefined;
+    /** The tag the web component mounts as; by default the spec's `webComponentTag`, else `salsita-configurator`. */
+    readonly tag?: string | undefined;
+}
+/**
+ * Builds an application from its runtime spec and its project modules, ready to mount, with no
+ * `ConfiguratorBuilder` and no `ApplicationConfig`: the full `ApplicationRuntime` in the store
+ * `createPhx` built the `phx` values in, the spec slice of the domain runtime, the initial published
+ * data and i18n.
+ *
+ * Every mistake of the project's files is reported at once, as one `ImplementationErrors`: a file
+ * that breaks its folder's contract, an expression defined twice or one the spec already gives a
+ * value, a declared expression no file implements and a migration no file exports.
+ */
+export declare const createApplication: <TYPES = unknown>(input: CreateApplicationInput) => Application<TYPES>;

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

@@ -0,0 +1 @@
+import{setupI18n as e}from"@lingui/core";import{initConsoleLogger as t}from"@salsita-ai/common/utils";import{ImplementationError as i,NoopAnalyticsSystem as n,checkSingleInstanceHandlers as o,createDomainRuntime as a,createImplementationErrorCollector as r,createInitialPublishedData as s,resolveActionModules as m,resolveComponentOpticModules as c,resolveElementModule as l,resolveHandlerModule as p,resolveInvariantModules as u,resolveTransformerModule as d}from"#package/domain";import{defaultI18n as f,mergeCatalogs as g,sdkCatalog as h}from"#package/i18n";import{ApplicationRuntime as v}from"./application-runtime.js";import{applicationSpecSlice as E}from"./application-spec-slice.js";let M=(e,t,i)=>e.filter(e=>i.attempt(()=>(t(e),!0),!1)),w=(e,t,i)=>e.flatMap(e=>i.attempt(()=>t(e),[]));export const createApplication=I=>{let{spec:T,referenceStore:b,specCode:k,modules:x,environment:A={}}=I,C=r(),R=w(x.handlers,p,C),y=w(x.elements,l,C),N=w(x.transformers,e=>[d(e)],C),P=w(x.components,e=>c([e]),C),S=w(x.adminComponents,e=>c([e]),C),O=M(x.invariants,e=>u([e]),C),j=M(x.adminInvariants,e=>u([e]),C),L=M(x.actions,e=>m([e]),C),U=v(T,b,x.expressions,N,u(O),x.adminExpressions,u(j),x.migrations,k,C);if((U.ok?[...U.runtime.configurator.migrationRuntime.missingMigrations,...U.runtime.admin.migrationRuntime.missingMigrations]:U.missingMigrations).forEach(e=>C.add((e=>{let[t=e,n="migrateToVN"]=e.split("#");return new i({code:"MISSING_IMPLEMENTATION",origin:t,problem:`The migration ${n} is missing`,fix:`The spec declares the model version this file migrates to, so the file must export ${n}, the function that turns a state of the previous version into one of this version; without it a saved configuration of an earlier version cannot load. Add or rename the export.`})})(e))),C.throwIfAny(),!U.ok)throw Error("The application runtime could not be built, but no implementation error was recorded.");o(R);let $=E({runtime:U.runtime,spec:T,modules:{handlers:{handlers:R},elements:{elements:y},customComponentOptics:P,actionImplementations:m(L)},customAdminComponentOptics:S,defaultElements:I.defaultElements,themePresets:I.themePresets,environmentResourcesUrl:A.defaultEnvs?.resourcesUrl}),D=t(),F=s({adminDomainFactory:$.admin.factory,domainRuntime:a({application:{spec:$,environment:A},services:{analyticsService:new n,i18n:f,logger:D}}),adminPresets:U.runtime.admin.presetRuntime.presets,handlers:$.configurator.handlers,dataSpec:$.dataConfig??void 0,chunks:$.chunks,logger:D});return{spec:{...$,initialPublishedData:F},environment:A,services:{...I.services,i18n:e({messages:g([h,x.catalogs]),locale:T.configurator.ui.availableLocales[0]})},tag:I.tag??T.appMetadata.webComponentTag??"salsita-configurator"}};

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

@@ -0,0 +1,42 @@
+import { Branded } from '@salsita-ai/common/utils';
+import type { AnyEntityReflections, Defaults, DomainEntity, DomainEntityReflection, Invariants } from '#package/domain';
+import type { RuntimeReferenceStore } from '../../../caching/index.js';
+import { type RecipeDefaults } from './recipe-defaults.js';
+import { type StaticViolations } from './static-violations.js';
+interface FactoryDataRuntimeFields {
+    /**
+     * The member types of each alias: what `phx.domain.attachComponent` expands an alias with, and
+     * what `phx.domain.createRecipe` expands alias defaults with.
+     */
+    readonly aliases: Readonly<Record<string, readonly string[]>>;
+    /** The entity reflections `phx.domain.createRecipe` validates the defaults with. */
+    readonly entityReflections: ReadonlyArray<DomainEntityReflection<DomainEntity<string>>>;
+    /** The violations `phx.domain.implementCustomInvariants` reports for a static invariant that fails. */
+    readonly staticViolations: StaticViolations;
+    /** The defaults `phx.domain.createRecipe` puts into a new recipe. */
+    readonly defaults: RecipeDefaults;
+    readonly changed: boolean;
+}
+/**
+ * The data the `phx.domain` factories of one domain carry, built from the parsed spec: the static
+ * violations of `implementCustomInvariants`, the aliases of `attachComponent`, and the aliases,
+ * entity reflections and defaults of `createRecipe`. Generated `domain-spec.ts` passes the same
+ * values to those factories as literals; with this section the factories can be built from the
+ * spec instead. The configurator and the admin domain each have one.
+ */
+export type FactoryDataRuntime = Branded<'FactoryDataRuntime', FactoryDataRuntimeFields>;
+interface FactoryDataRuntimeInput {
+    readonly invariants: Invariants;
+    readonly defaults: Defaults;
+    readonly aliases: Readonly<Record<string, readonly string[]>>;
+    readonly entities: AnyEntityReflections;
+}
+interface FactoryDataRuntimeProps extends FactoryDataRuntimeInput {
+    readonly referenceScope: string;
+}
+/**
+ * Builds the factory data of one domain. The result keeps its reference while the invariants and
+ * defaults are equal and the model runtime's aliases and entity reflections are the same objects.
+ */
+export declare const FactoryDataRuntime: (referenceStore: RuntimeReferenceStore, props: FactoryDataRuntimeProps) => FactoryDataRuntime;
+export {};

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

@@ -0,0 +1 @@
+import e from"lodash-es/isEqual.js";import{Branded as t}from"@salsita-ai/common/utils";import{createRecipeDefaults as i}from"./recipe-defaults.js";import{createStaticViolations as s}from"./static-violations.js";let a=e=>({aliases:e.aliases,entityReflections:Object.values(e.entities),staticViolations:s(e.invariants),defaults:i(e.defaults)});export const FactoryDataRuntime=(i,s)=>{let n=i.createBuilder(s.referenceScope,{build:a,getKey:()=>"singleton",compare:(t,i)=>t.aliases===i.aliases&&t.entities===i.entities&&e(t.invariants.entries,i.invariants.entries)&&e(t.defaults.entries,i.defaults.entries)}).build({invariants:s.invariants,defaults:s.defaults,aliases:s.aliases,entities:s.entities});return t({...n.output,changed:n.changed})};

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 '#package/domain';
+/**
+ * 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"#package/domain";let a=(s,i)=>{if(null===s||"object"!=typeof s)return s;if(r(s))return e(s);if(t(s))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(s)?s.map((e,t)=>a(e,`${i}[${t}]`)):Object.fromEntries(Object.entries(s).map(([e,t])=>[e,a(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,a(r,`${e}.${t}`)]))]));

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

@@ -0,0 +1,15 @@
+import { type Invariants, type Violation } from '#package/domain';
+/**
+ * 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"#package/domain";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/generate-runtime-instance.d.ts

@@ -1,2 +1,2 @@
-import { ApplicationInstance } from '../../core/index.js';
+import { ApplicationInstance } from '#package/domain';
 export declare const generateRuntimeInstance: (applicationInstance: ApplicationInstance) => ApplicationInstance;

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

@@ -1 +1 @@
-import{ApplicationInstance as e}from"../../core/index.js";export const generateRuntimeInstance=n=>e(n.applicationVersion);
+import{ApplicationInstance as e}from"#package/domain";export const generateRuntimeInstance=n=>e(n.applicationVersion);

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

@@ -0,0 +1,13 @@
+import { Branded } from '@salsita-ai/common/utils';
+import type { ActionDefinitions, Actions } from '#package/domain';
+import type { RuntimeReferenceStore } from '../../../caching/index.js';
+/**
+ * The declared actions as the runtime spec slice holds them, with change tracking: the definitions
+ * are rebuilt only when their declaration changes, so a hot reload of an unrelated section keeps
+ * the action system's compiled validators.
+ */
+export type ActionsRuntime = Branded<'ActionsRuntime', {
+    readonly definitions: ActionDefinitions;
+    readonly changed: boolean;
+}>;
+export declare const ActionsRuntime: (actions: Actions, referenceStore: RuntimeReferenceStore) => ActionsRuntime;

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

@@ -0,0 +1 @@
+import i from"lodash-es/isEqual.js";import{Branded as e}from"@salsita-ai/common/utils";export const ActionsRuntime=(t,n)=>{let o=n.createBuilder("configuratorRuntime/actions",{build:i=>i.definition,getKey:i=>i.definition.name,compare:(e,t)=>i(e.definition,t.definition)}),a=!1,r=new Set,d={};for(let i of t.values()){let e={definition:{name:String(i.name),...void 0===i.description?{}:{description:i.description},params:i.paramsSchema}},t=o.build(e);t.changed&&(a=!0),r.add(o.getKey(e)),d[t.output.name]=t.output}return o.cleanup(r)&&(a=!0),e({definitions:d,changed:a})};

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

@@ -1,9 +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, AssistantSpec } from '../../../parse-application-files/index.js';
-/** Parse-time assistant manifest with change tracking, carried to the runtime spec on hot reload. */
+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: AssistantSpec;
+    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/assistant-runtime.js

@@ -1 +1 @@
-import s from"lodash-es/isEqual.js";import{Branded as t}from"@salsita-ai/common/utils";export const AssistantRuntime=(a,i)=>{let n=i.createBuilder("assistant",{build:s=>s,getKey:()=>"assistant",compare:(t,a)=>s(t,a)}).build({assistant:a.configurator.assistant});return t({assistant:n.output.assistant,changed:n.changed})};
+import s from"lodash-es/isEqual.js";import{Branded as t}from"@salsita-ai/common/utils";export const AssistantRuntime=(a,i)=>{let e=i.createBuilder("assistant",{build:s=>s,getKey:()=>"assistant",compare:(t,a)=>s(t,a)}).build({assistant:a.configurator.assistant?.resolved??null});return t({assistant:e.output.assistant,changed:e.changed})};

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, type ComponentImplementation } from '#package/domain';
 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 t}from"@salsita-ai/common/utils";import{DomainComponentOpticBuilder as e,FILTER_CRITERION_KEYS as i,adminSidebarComponent as o,attributeSelectionComponent as n,componentsByName as a,composedOfComponent as r,createAdminCustomPageRead as s,createAdminCustomSidebarRead as c,createAdminDataPageRead as m,createAdminDataTableSidebarRead as l,createAdminNavigationPanelRead as d,createAdminPresetCategoryPageRead as p,createAdminPresetCategorySelectionRead as f,createAdminPresetCategorySelectionWrite as u,createAdminPresetCategorySidebarRead as h,createAdminPresetListPageRead as g,createAdminPresetSidebarRead as y,createAdminRecipeCollectionPageRead as w,createAdminRecipeSidebarRead as S,createEmptyWrite as N,createMultipleCompositionRead as k,createMultipleReferenceRead as A,createMultipleReferenceWrite as v,createSingleCompositionRead as O,createSingleReferenceRead as b,createSingleReferenceWrite as F,isSdkCodeRef as R,navigationPageComponent as $,navigationPanelListComponent as E,referenceComponent as x}from"#package/domain";import{specCodeComponentKey as T,specCodeFilterId as j}from"../../runtime-spec/index.js";import{resolveSpecCode as D}from"../spec-code/index.js";let K=new Map([["reference",x],["composedOf",r],["adminSidebar",o],["attributeSelection",n],["navigationPage",$],["navigationPanelList",E]]),M={createAdminCustomPageRead:s,createAdminCustomSidebarRead:c,createAdminDataPageRead:m,createAdminDataTableSidebarRead:l,createAdminNavigationPanelRead:d,createAdminPresetCategoryPageRead:p,createAdminPresetCategorySelectionRead:f,createAdminPresetCategorySelectionWrite:u,createAdminPresetCategorySidebarRead:h,createAdminPresetListPageRead:g,createAdminPresetSidebarRead:y,createAdminRecipeCollectionPageRead:w,createAdminRecipeSidebarRead:S,createEmptyWrite:N,createMultipleCompositionRead:k,createMultipleReferenceRead:A,createMultipleReferenceWrite:v,createSingleCompositionRead:O,createSingleReferenceRead:b,createSingleReferenceWrite:F},P=(t,e)=>{let i=M[t.sdkFunction];if("function"!=typeof i)throw Error(`SDK factory function "${t.sdkFunction}" not found. The spec names a factory that the factory map of build-sdk-optic.ts does not list. Add the factory to that map.`);return i(...t.params.map(t=>{if(R(t)){let i=e.entities[t.$codeRef]??e.aliasReflections[t.$codeRef];if(!i)throw Error(`Reflection "${t.$codeRef}" not found in ModelRuntime. This is a bug — the target was validated at parse time.`);return i}return t}))};export const buildSdkOptic=(o,n,r,s,c)=>{let m=e.from(r),l=a.get(o.componentName)??K.get(o.componentName);if(!l)throw Error(`SDK component "${o.componentName}" not found. This is a bug — the component was validated at parse time.`);let d=m.withComponent(l,o.instanceName,!0),p=o.isAlias?d.withAlias(String(o.typeOrAlias)):d.withEntity(String(o.typeOrAlias)),f=T(String(o.typeOrAlias),String(o.instanceName),o.componentName);for(let[t,e]of n.filters.items.entries()){if("root"===e.kind){let t=e.target,i=e=>e[t];p=p.withFilter(i);continue}let o={};for(let n of i){let i=e[n];void 0!==i&&("dynamic"===i.kind?o[n]=t=>t[i.target]:"eval"===i.kind?o[n]=D(c,j(f,t,n,i.code),i.code):o[n]=i.value)}p=p.withGradualFilter(o)}let u=P(n.readFactory,s),h=P(n.writeFactory,s),g=p.attach(u,h);return t({typeOrAlias:String(o.typeOrAlias),componentName:o.componentName,instanceName:String(o.instanceName),optic:g})};

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 ComponentEntry, type ComponentImplementation } from '#package/domain';
 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

@@ -1,10 +1,11 @@
 import { Branded } from '@salsita-ai/common/utils';
-import { type DomainComponentOptic, type SystemComponentTypeConstraint } from '#package/domain';
+import { type ComponentEntry, type DomainComponentOptic, type SystemComponentTypeConstraint } from '#package/domain';
 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 +22,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,8 @@
 import { Branded } from '@salsita-ai/common/utils';
-import type { DomainEntity, Expression as DomainExpression, Invariant as DomainInvariant } from '#package/domain';
+import { type DomainEntity, type Expression as DomainExpression, type Invariant as DomainInvariant, type Expressions, type ImplementationErrorCollector, type ProjectModule } from '#package/domain';
 import type { RuntimeReferenceStore } from '../../../caching/index.js';
-import type { Expressions, ModelVersion } 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 +31,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,canonicalEnhancedJsonValueKey as n,createRelationFactory as a,isSdkExpressionImplementation as r,mergeExpressionModules as o}from"#package/domain";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 a(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=(a,l,s,m,d=p,c,g,y={})=>{let v={};for(let[e,t]of a.latestModel.aliases)v[String(e)]=t.map(String);let x={...y};for(let[e,t]of Object.entries(o(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})(a,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,A=new Set;for(let[e,t]of a.expressions.expressions)for(let[,i]of t){let t=v[String(e)]??[String(e)];if(r(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 a=i.implementation.value,r={entityOrAlias:String(e),name:String(i.name),valueKey:n(a),plan:i.implementation.plan,code:c},o=O.build(r);for(let e of(o.changed&&(k=!0),A.add(O.getKey(r)),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(A)&&(k=!0);let T=[];for(let[e,t]of a.expressions.entityExpressions)for(let i of t.shapeGroups){let t=a.expressions.expressions.get(i);if(t)for(let[i]of t)b[String(e)]?.[String(i)]||T.push({entityType:String(e),exprName:String(i)})}return T.length>0?(T.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:T}):{ok:!0,runtime:t({merged:b,changed:k})}};