@salsita-ai/sdk 0.50.0-develop.08837efd9c → 0.50.0-develop.0b28d3ba99

package/dist/application-spec/generate-application/implementations/phx.d.ts

@@ -0,0 +1,22 @@
+import type { RuntimeReferenceStore } from '../../caching/index.js';
+import type { RuntimeSpec } from '../runtime-spec/index.js';
+import { type SpecCodeModule } from '../runtime/index.js';
+import { type PhxApplicationTypes } from './phx-application-types.js';
+import { type PhxDomain } from './phx-domain.js';
+/** The `phx` values an application's project modules read while they load. */
+export interface Phx {
+    readonly domain: PhxDomain;
+    readonly applicationTypes: PhxApplicationTypes;
+}
+/**
+ * Builds the values of `phx.domain` and `phx.applicationTypes` from an application's runtime spec
+ * (`.phoenix/application-spec.json`, decoded with `decodeRuntimeSpec`) and its generated code module
+ * (`.phoenix/spec-code.ts`): the model reflections of both domains, and the factories with the
+ * static violations, aliases and defaults of the spec.
+ *
+ * It builds the spec's sections in `referenceStore`. The application's `ApplicationRuntime` is
+ * built later in the same store, so `phx.domain.model` holds the reflections the application's
+ * domain validates with. It assigns nothing: the generated entry assigns `phx` before it imports
+ * the project's modules, because a development server renames the global in project files only.
+ */
+export declare const createPhx: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, specCode?: SpecCodeModule) => Phx;

package/dist/application-spec/generate-application/implementations/phx.js

@@ -0,0 +1 @@
+import{SpecRuntime as o}from"../runtime/index.js";import{createPhxApplicationTypes as t}from"./phx-application-types.js";import{createPhxDomain as a}from"./phx-domain.js";import{createPhxModel as m}from"./phx-model.js";export const createPhx=(r,i,e)=>{let{configurator:n,admin:p}=o(r,i,e);return{domain:a({model:m(r.configurator,n.modelRuntime,e?.configurator),factoryData:n.factoryDataRuntime},{model:m(r.admin,p.modelRuntime,e?.admin),factoryData:p.factoryDataRuntime}),applicationTypes:t(r)}};

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

@@ -1,5 +1,9 @@
 export * from './runtime/sections/index.js';
 export * from './runtime/application-runtime.js';
+export { applicationSpecSlice, type ApplicationSpecSliceModules } from './runtime/application-spec-slice.js';
+export { type ApplicationModules, createApplication } from './runtime/create-application.js';
+export * from './runtime/factory-data/index.js';
+export * from './runtime/migrations/index.js';
 export { isConfiguratorModelSchemaCompatible } from './runtime/configurator-runtime/configurator-model-runtime.js';
 export * from './code/index.js';
 export { generateRuntimeInstance } from './runtime/generate-runtime-instance.js';

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

@@ -1 +1 @@
-export*from"./runtime/sections/index.js";export*from"./runtime/application-runtime.js";export{isConfiguratorModelSchemaCompatible}from"./runtime/configurator-runtime/configurator-model-runtime.js";export*from"./code/index.js";export{generateRuntimeInstance}from"./runtime/generate-runtime-instance.js";
+export*from"./runtime/sections/index.js";export*from"./runtime/application-runtime.js";export{applicationSpecSlice}from"./runtime/application-spec-slice.js";export{createApplication}from"./runtime/create-application.js";export*from"./runtime/factory-data/index.js";export*from"./runtime/migrations/index.js";export{isConfiguratorModelSchemaCompatible}from"./runtime/configurator-runtime/configurator-model-runtime.js";export*from"./code/index.js";export{generateRuntimeInstance}from"./runtime/generate-runtime-instance.js";

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

@@ -1,7 +1,9 @@
 import { Branded } from '@salsita-ai/common/utils';
 import { type $DomainEntity, $DomainEntityReflection, DomainBuilder, type DomainEntity, DomainEntityReflection, RawAliasReflection, SchemaReflection } from '#package/domain';
 import type { RuntimeReferenceStore } from '../../../caching/index.js';
-import type { DataSchemas, Expressions, ModelVersion, ResolvedVersions } from '../../../parse-application-files/index.js';
+import type { Expressions } from '../../../parse-application-files/index.js';
+import type { RuntimeDataSchemas, RuntimeModelVersion, RuntimeResolvedVersions } from '../../runtime-spec/index.js';
+import type { SpecCodeMap } from '../spec-code/index.js';
 type AnyEntity = DomainEntity<string>;
 type AnyAliases = Record<string, AnyEntity>;
 type AnyData = Record<string, unknown>;
@@ -9,8 +11,8 @@ type Any$Map = Record<AnyEntity['type'], $DomainEntity<AnyEntity>>;
 type AnyDomainBuilder = DomainBuilder<AnyEntity, AnyEntity, AnyAliases, Any$Map, AnyData, AnyData, AnyData>;
 interface AdminModelRuntimeSpec {
     readonly expressions: Expressions;
-    readonly latestModel: ModelVersion;
-    readonly resolvedVersions: ResolvedVersions;
+    readonly latestModel: RuntimeModelVersion;
+    readonly resolvedVersions: RuntimeResolvedVersions;
 }
 interface AdminModelRuntimeFields {
     readonly entities: Record<string, DomainEntityReflection<AnyEntity>>;
@@ -24,5 +26,5 @@ interface AdminModelRuntimeFields {
     readonly schemaChanged: boolean;
 }
 export type AdminModelRuntime = Branded<'AdminModelRuntime', AdminModelRuntimeFields>;
-export declare const AdminModelRuntime: (domainSpec: AdminModelRuntimeSpec, dataSchemas: DataSchemas, referenceStore: RuntimeReferenceStore) => AdminModelRuntime;
+export declare const AdminModelRuntime: (domainSpec: AdminModelRuntimeSpec, dataSchemas: RuntimeDataSchemas, referenceStore: RuntimeReferenceStore, code: SpecCodeMap | undefined) => AdminModelRuntime;
 export {};

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

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

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

@@ -1,10 +1,14 @@
 import { Branded } from '@salsita-ai/common/utils';
+import { type ImplementationErrorCollector, type 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 { ComponentOptics } from '../sections/component-optic.js';
-import { type ExpressionImplementations, ExpressionRuntime, 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 { AdminModelRuntime } from './admin-model-runtime.js';
+import type { SpecCodeMap } from '../spec-code/index.js';
+import type { AdminModelRuntime } from './admin-model-runtime.js';
 import { AdminStatesRuntime } from './states-runtime.js';
 export type AdminRuntime = Branded<'AdminRuntime', {
     readonly modelRuntime: AdminModelRuntime;
@@ -12,6 +16,8 @@ export type AdminRuntime = Branded<'AdminRuntime', {
     readonly expressionRuntime: ExpressionRuntime;
     readonly presetRuntime: PresetRuntime;
     readonly statesRuntime: AdminStatesRuntime;
+    readonly migrationRuntime: MigrationRuntime;
+    readonly factoryDataRuntime: FactoryDataRuntime;
 }>;
 export type AdminRuntimeResult = {
     readonly ok: true;
@@ -19,5 +25,7 @@ export type AdminRuntimeResult = {
 } | {
     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 AdminRuntime: (spec: ApplicationSpec, referenceStore: RuntimeReferenceStore, implementations?: ExpressionImplementations) => AdminRuntimeResult;
+export declare const AdminRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, expressionModules: readonly ProjectModule[], invariantImplementations: InvariantImplementations, migrationModules: MigrationModules, code: SpecCodeMap | undefined, errors: ImplementationErrorCollector) => AdminRuntimeResult;

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

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

package/dist/application-spec/generate-application/runtime/admin-runtime/admin-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 { AdminModelRuntime } from './admin-model-runtime.js';
+/**
+ * The sections of the admin domain that the spec alone determines: its model and the data of its
+ * `phx.domain.admin` factories. `AdminRuntime` builds its own from this function, so a build of
+ * either in the same reference store returns the same objects.
+ */
+export type AdminSpecRuntime = Branded<'AdminSpecRuntime', {
+    readonly modelRuntime: AdminModelRuntime;
+    readonly factoryDataRuntime: FactoryDataRuntime;
+}>;
+export declare const AdminSpecRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, code: SpecCodeMap | undefined) => AdminSpecRuntime;

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

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

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

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

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

@@ -1,14 +1,16 @@
 import { Branded } from '@salsita-ai/common/utils';
-import type { ImportedTransformer } from '#package/domain';
+import { type ImplementationErrorCollector, type ImportedTransformer, type 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 { AdminRuntime } from './admin-runtime/admin-runtime.js';
 import { ConfiguratorRuntime } from './configurator-runtime/configurator-runtime.js';
+import type { MigrationModules } from './migrations/index.js';
 import { DataRuntime } from './sections/data-runtime.js';
-import type { ExpressionImplementations, InvariantImplementations, MissingExpression } from './sections/expression-runtime.js';
+import type { InvariantImplementations, MissingExpression } from './sections/expression-runtime.js';
+import type { SpecCodeModule } from './spec-code/index.js';
 /**
- * Runtime objects built from ApplicationSpec.
- * Domain-specific fields mirror ApplicationSpec configurator/admin nesting.
+ * Runtime objects built from a RuntimeSpec.
+ * Domain-specific fields mirror the spec's configurator/admin nesting.
  */
 export type ApplicationRuntime = Branded<'ApplicationRuntime', {
     readonly configurator: ConfiguratorRuntime;
@@ -21,13 +23,38 @@ export type ApplicationRuntimeResult = {
 } | {
     readonly ok: false;
     readonly missingExpressions: readonly MissingExpression[];
+    /**
+     * The migrations of both domains the migration modules do not export, which a built
+     * runtime lists in `migrationRuntime.missingMigrations` of each domain.
+     */
+    readonly missingMigrations: readonly string[];
 };
 /**
- * Builds an ApplicationRuntime from an ApplicationSpec.
+ * Builds an ApplicationRuntime from a RuntimeSpec: the part of the parsed spec the runtime reads, which a
+ * parsed ApplicationSpec also is.
  * A persistent RuntimeReferenceStore preserves per-item references and reports
  * section-level changes across rebuilds.
  * Each field on the result carries its own `changed` flag.
  *
- * Returns an error result when declared expressions are missing implementations.
+ * `adminInvariantImplementations` are the project's admin invariants (`src/admin/invariants/`); the
+ * admin domain checks them after the invariants every admin domain has. `migrationModules` are the
+ * project's migration modules of both domains (`src/migrations/`, `src/admin/migrations/`), keyed by
+ * project path; a migration they do not provide is listed in `missingMigrations` of the domain's
+ * `migrationRuntime`. `specCode` is the generated `.phoenix/spec-code.ts` module: the runtime takes
+ * each piece of YAML code (`$eval` in expressions, component props and filters) from it by spec code
+ * id, and compiles the text with `new Function` only for an id it does not hold, or without it (the
+ * editor, which rebuilds from YAML it has no generated module for). The module must come from the
+ * same generation as `spec`; an id carries a hash of its code, so a module from another generation
+ * misses the ids of changed code instead of running an old closure.
+ *
+ * `expressionModules` and `adminExpressionModules` are the project's expression files
+ * (`src/expressions/`, `src/admin/expressions/`), as the generated barrels or the editor's reload
+ * hand them over; each domain merges them with the aliases of its spec (`mergeExpressionModules`).
+ *
+ * The mistakes of the project files are recorded in `errors` as `ImplementationError`s: a file with
+ * the wrong export, an expression two files define, or that a file defines although the spec or the
+ * SDK gives it a value (`DUPLICATE_DEFINITION`), and a declared expression no file implements
+ * (`MISSING_IMPLEMENTATION`), which also makes the result an error. Without `errors`, everything
+ * recorded is thrown together as one `ImplementationErrors` before the result is returned.
  */
-export declare const ApplicationRuntime: (spec: ApplicationSpec, referenceStore: RuntimeReferenceStore, implementations: ExpressionImplementations, importedTransformers: readonly ImportedTransformer[], invariantImplementations?: InvariantImplementations, adminImplementations?: ExpressionImplementations) => ApplicationRuntimeResult;
+export declare const ApplicationRuntime: (spec: RuntimeSpec, referenceStore: RuntimeReferenceStore, expressionModules: readonly ProjectModule[], importedTransformers: readonly ImportedTransformer[], invariantImplementations?: InvariantImplementations, adminExpressionModules?: readonly ProjectModule[], adminInvariantImplementations?: InvariantImplementations, migrationModules?: MigrationModules, specCode?: SpecCodeModule, errors?: ImplementationErrorCollector) => ApplicationRuntimeResult;

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

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

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

@@ -0,0 +1,71 @@
+import { type AnyActionImplementations, type AnyDomainComponentOptic, type ApplicationConfiguratorSpec, type ElementRegistration, type HandlerRegistration, type ApplicationSpec as RuntimeApplicationSpec } from '#package/domain';
+import type { RuntimeSpec } from '../runtime-spec/index.js';
+import type { ApplicationRuntime } from './application-runtime.js';
+type Theme = ApplicationConfiguratorSpec['theme'];
+/**
+ * The theme presets of the SDK by name, as `getPhoenixThemes()` returns them. The caller passes
+ * them, because `application-spec` does not depend on the UI package that defines them.
+ */
+export type ThemePresets = Readonly<Record<string, Theme>>;
+/**
+ * The project modules of an application's spec slice, checked and flattened: `handlers` and
+ * `elements` with the content hash of each registration (the remount key of a registration whose
+ * file changed), the component optics of `src/components/` and the action implementations of
+ * `src/actions/`.
+ *
+ * A `null` keeps the previous spec's value: the editor passes it for a kind of file that did not
+ * change since the last update.
+ */
+export interface ApplicationSpecSliceModules {
+    readonly handlers: {
+        readonly handlers: ReadonlyArray<HandlerRegistration<any, any>>;
+        readonly nameHashes?: Readonly<Record<string, string>>;
+    } | null;
+    readonly elements: {
+        readonly elements: readonly ElementRegistration[];
+        readonly nameHashes?: Readonly<Record<string, string>>;
+    } | null;
+    readonly customComponentOptics: readonly AnyDomainComponentOptic[] | null;
+    readonly actionImplementations: AnyActionImplementations | null;
+}
+interface SliceInput {
+    readonly runtime: ApplicationRuntime;
+    readonly modules: ApplicationSpecSliceModules;
+    readonly themePresets: ThemePresets;
+}
+/**
+ * The first spec slice of an application: every section is built from `runtime`, `spec` and the
+ * modules. `initialPublishedData` is empty; the caller computes it with a domain runtime of this
+ * slice and puts it in.
+ */
+export interface ApplicationSpecStart extends SliceInput {
+    readonly previous?: undefined;
+    readonly spec: RuntimeSpec;
+    /** The component optics of `src/admin/components/`. */
+    readonly customAdminComponentOptics: readonly AnyDomainComponentOptic[];
+    /** The SDK's default elements of the application kind; a project element with the same name replaces one. */
+    readonly defaultElements: readonly ElementRegistration[];
+    /** The resources URL of the environment, used when the spec sets no `baseResourcesUrl`. */
+    readonly environmentResourcesUrl: string | undefined;
+}
+/**
+ * A rebuild of a running application's spec slice, as the editor makes it when the project
+ * changes. Only the configurator sections are rebuilt; a section whose runtime did not change, and
+ * a kind of module given as `null`, keeps its object from `previous`, so selectors over it stay
+ * memoized. With `model: 'keep'` the domain factory and the model-owned fields stay too (the
+ * schema of the model is unchanged); with `model: 'rebuild'` they are built from `runtime`.
+ */
+export interface ApplicationSpecUpdate extends SliceInput {
+    readonly previous: RuntimeApplicationSpec;
+    readonly model: 'keep' | 'rebuild';
+}
+/** The component optics a project file contributes, as opposed to those the spec generates. */
+export declare const customComponentOpticsOf: (componentOptics: readonly AnyDomainComponentOptic[]) => AnyDomainComponentOptic[];
+/**
+ * Maps an application's runtime (`ApplicationRuntime`, built with the project's modules) and its
+ * checked modules onto the spec slice of the domain runtime, the one input of every mounted
+ * application: an application's first slice, which `createApplication` builds with it, or the
+ * editor's rebuild after a change of the project.
+ */
+export declare const applicationSpecSlice: (input: ApplicationSpecStart | ApplicationSpecUpdate) => RuntimeApplicationSpec;
+export {};

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

@@ -0,0 +1 @@
+import{resolveImportedTransformers as e}from"#package/domain";export const customComponentOpticsOf=e=>e.filter(e=>!0!==e.generated);let t=(t,n)=>{let{runtime:s,modules:a,themePresets:i}=t,{configurator:o}=s,r=(e,t,s)=>e||void 0===n?t():s(n),l=a.handlers?.handlers??n?.handlers??[],m=a.handlers||void 0===n?((e,t,n)=>{let s={};for(let a of e)s[a.name]=t?.[a.name]??n?.[a.name]??a.name;return s})(l,a.handlers?.nameHashes,n?.handlerHashes):n.handlerHashes,c=a.elements?.elements??n?.elements??[],p=a.elements||void 0===n?((e,t,n)=>{let s={},a=0;for(let i of e)if("assistantFormElement"!==i.type)if("entity"===i.type||"layout"===i.type)s[i.name]=t?.[i.name]??n?.[i.name]??i.name;else{let e=`icon:${a}`;s[e]=t?.[e]??n?.[e]??`${e}:${i.elements.length}`,a+=1}return s})(c,a.elements?.nameHashes,n?.elementHashes):n.elementHashes,d=a.customComponentOptics??customComponentOpticsOf(n?.componentOptics??[]),u=r(o.componentOptics.changed||null!==a.customComponentOptics,()=>[...o.componentOptics.optics.map(e=>e.optic),...d],e=>e.componentOptics),{importedTransformers:h,specTransformers:g}=o.transformersRuntime;return{presets:r(o.presetRuntime.changed,()=>o.presetRuntime.presets,e=>e.presets),theme:r(o.themeRuntime.changed,()=>{var e;let t;return t=(Object.hasOwn(i,(e=o.themeRuntime).preset)?i[e.preset]:{})??{},Object.keys(e.options).length>0?{...t,...e.options}:t},e=>e.theme),assistant:r(o.assistantRuntime.changed,()=>o.assistantRuntime.assistant,e=>e.assistant),navigationStates:r(o.statesRuntime.changed,()=>o.statesRuntime.navigationStates,e=>e.navigationStates),viewStates:r(o.statesRuntime.changed,()=>o.statesRuntime.viewStates,e=>e.viewStates),toolStates:r(o.statesRuntime.changed,()=>o.statesRuntime.toolStates,e=>e.toolStates),exportStates:r(o.statesRuntime.changed,()=>o.statesRuntime.exportStates,e=>e.exportStates),componentOptics:u,createTransformers:r(o.transformersRuntime.changed,()=>t=>e(h,g,t),e=>e.createTransformers),handlers:l,handlerHashes:m,elements:c,elementHashes:p}},n=(e,t,n)=>{let{modelRuntime:s,expressionRuntime:a,actionsRuntime:i,migrationRuntime:o}=e.configurator,r=s.domainBuilder.withExpressions(a.merged).withActions(Object.values(i.definitions)).withActionImplementations(t),l=(n?r.withMigrate(o.migrate):r).build();return{modelVersion:l.context.modelVersion,factory:l,aliasMap:l.context.aliasMap,entityReflections:l.context.entityReflections,$entityReflections:l.context.$entityReflections,allowedRootEntityTypes:l.context.allowedRootEntityTypes,migrate:l.context.migrate}};export const applicationSpecSlice=e=>void 0===e.previous?(e=>{let{runtime:s,spec:a}=e,i=(e=>{let{runtime:s,modules:a,spec:i,defaultElements:o}=e,{expressionRuntime:r,actionsRuntime:l}=s.configurator,{ui:m}=i.configurator,c=i.infra.resourcesConfig,p=a.actionImplementations??{};return{...t(e,void 0),...n(s,p,!0),expressions:r.merged,actions:l.definitions,actionImplementations:p,defaultElements:o,appLoader:m.appLoader??"universal",preview:m.preview??"auto",alwaysExpand:m.alwaysExpand??!1,deploymentQueryDisabled:c?.deploymentQueryDisabled??!1,prefetchTextureUrls:c?.prefetchTextureUrls??[]}})(e),o=a.configurator.ui.textLanguages;return{version:a.appMetadata.applicationVersion,dataConfig:s.data.dataSpec,chunks:s.data.chunks,publishedDataHash:s.data.publishedDataHash,initialPublishedData:{},canCreate:[...a.infra.acl.canCreate],enableAdminRelease:a.appMetadata.enableAdminRelease,textLanguages:o&&o.length>0?o:["en"],baseResourcesUrl:a.infra.resourcesConfig?.baseResourcesUrl??e.environmentResourcesUrl??"",configurator:i,admin:((e,t)=>{let{modelRuntime:n,expressionRuntime:s,migrationRuntime:a,presetRuntime:i,componentOptics:o,statesRuntime:r}=e.runtime.admin,[l]=i.presets;if(void 0===l)throw Error("Cannot register application spec because admin preset is required.");let m=n.domainBuilder.withExpressions(s.merged).withMigrate(a.migrate).build();return{factory:m,modelVersion:m.modelVersion,aliasMap:m.context.aliasMap,entityReflections:m.context.entityReflections,$entityReflections:m.context.$entityReflections,expressions:m.context.expressions,actions:m.context.actions,actionImplementations:m.context.actionImplementations,allowedRootEntityTypes:m.context.allowedRootEntityTypes,migrate:m.context.migrate,preset:l,componentOptics:[...o.optics.map(e=>e.optic),...e.customAdminComponentOptics],navigationStates:r.navigationStates,viewStates:[],handlers:t.handlers,handlerHashes:t.handlerHashes,elements:t.elements,elementHashes:t.elementHashes}})(e,i)}})(e):{...e.previous,configurator:(e=>{let{runtime:s,modules:a,previous:i,model:o}=e,r=i.configurator,{expressionRuntime:l,actionsRuntime:m}=s.configurator,c=t(e,r),p=a.actionImplementations??r.actionImplementations;return"keep"===o?{...r,...c,expressions:l.changed?l.merged:r.expressions,actions:m.changed?m.definitions:r.actions,actionImplementations:p}:{...r,...c,...n(s,p,!1),expressions:l.merged,actions:m.definitions,actionImplementations:p}})(e)};

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

@@ -1,17 +1,19 @@
 import { Branded } from '@salsita-ai/common/utils';
 import { type $DomainEntity, $DomainEntityReflection, DomainBuilder, type DomainEntity, DomainEntityReflection, RawAliasReflection, SchemaReflection } from '#package/domain';
 import type { RuntimeReferenceStore } from '../../../caching/index.js';
-import type { DataSchemas, Expressions, ModelVersion, ResolvedVersions } from '../../../parse-application-files/index.js';
+import type { Expressions } from '../../../parse-application-files/index.js';
+import type { RuntimeDataSchemas, RuntimeModelVersion, RuntimeResolvedVersions } from '../../runtime-spec/index.js';
+import type { SpecCodeMap } from '../spec-code/index.js';
 type AnyEntity = DomainEntity<string>;
 type AnyAliases = Record<string, AnyEntity>;
 type AnyData = Record<string, unknown>;
 type Any$Map = Record<AnyEntity['type'], $DomainEntity<AnyEntity>>;
 type AnyDomainBuilder = DomainBuilder<AnyEntity, AnyEntity, AnyAliases, Any$Map, AnyData, AnyData, AnyData>;
 interface ConfiguratorModelRuntimeSpec {
-    readonly dataSchemas: DataSchemas;
+    readonly dataSchemas: RuntimeDataSchemas;
     readonly expressions: Expressions;
-    readonly latestModel: ModelVersion;
-    readonly resolvedVersions: ResolvedVersions;
+    readonly latestModel: RuntimeModelVersion;
+    readonly resolvedVersions: RuntimeResolvedVersions;
 }
 interface ConfiguratorModelRuntimeFields {
     readonly entities: Record<string, DomainEntityReflection<AnyEntity>>;
@@ -26,5 +28,5 @@ interface ConfiguratorModelRuntimeFields {
 }
 export type ConfiguratorModelRuntime = Branded<'ConfiguratorModelRuntime', ConfiguratorModelRuntimeFields>;
 export declare const isConfiguratorModelSchemaCompatible: (prev: ConfiguratorModelRuntimeSpec, curr: ConfiguratorModelRuntimeSpec) => boolean;
-export declare const ConfiguratorModelRuntime: (domainSpec: ConfiguratorModelRuntimeSpec, referenceStore: RuntimeReferenceStore) => ConfiguratorModelRuntime;
+export declare const ConfiguratorModelRuntime: (domainSpec: ConfiguratorModelRuntimeSpec, referenceStore: RuntimeReferenceStore, code: SpecCodeMap | undefined) => ConfiguratorModelRuntime;
 export {};

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

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

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

@@ -1,15 +1,18 @@
 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';
 export type ConfiguratorRuntime = Branded<'ConfiguratorRuntime', {
     readonly modelRuntime: ConfiguratorModelRuntime;
@@ -21,6 +24,8 @@ export type ConfiguratorRuntime = Branded<'ConfiguratorRuntime', {
     readonly transformersRuntime: TransformersRuntime;
     readonly assistantRuntime: AssistantRuntime;
     readonly actionsRuntime: ActionsRuntime;
+    readonly migrationRuntime: MigrationRuntime;
+    readonly factoryDataRuntime: FactoryDataRuntime;
 }>;
 export type ConfiguratorRuntimeResult = {
     readonly ok: true;
@@ -28,5 +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 ImportedTransformer[], invariantImplementations?: InvariantImplementations) => ConfiguratorRuntimeResult;
+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{ActionsRuntime as o}from"../sections/actions-runtime.js";import{AssistantRuntime as e}from"../sections/assistant-runtime.js";import{ComponentOptics as r}from"../sections/component-optic.js";import{ExpressionRuntime as s}from"../sections/expression-runtime.js";import{PresetRuntime as i}from"../sections/preset-runtime.js";import{ThemeRuntime as n}from"../sections/theme-runtime.js";import{TransformersRuntime as m}from"../sections/transformers-runtime.js";import{ConfiguratorModelRuntime as u}from"./configurator-model-runtime.js";import{ConfiguratorStatesRuntime as c}from"./states-runtime.js";export const ConfiguratorRuntime=(p,a,f,g,R)=>{let j=u(p.configurator,a),x=s(p.configurator,a,f,"configuratorExpressionRuntime",R);return x.ok?{ok:!0,runtime:t({modelRuntime:j,componentOptics:r(a,{components:p.configurator.components,referenceScope:"configuratorRuntime/componentOptics",modelRuntime:j}),presetRuntime:i(a,{referenceScope:"configuratorRuntime/presetRuntime",presets:p.configurator.presets.presets}),statesRuntime:c(p,a),expressionRuntime:x.runtime,themeRuntime:n(p,a),transformersRuntime:m(p,a,g),assistantRuntime:e(p,a),actionsRuntime:o(p.configurator.actions,a)})}:{ok:!1,missingExpressions:x.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,43 @@
+import { Branded } from '@salsita-ai/common/utils';
+import type { AnyEntityReflections, DomainEntity, DomainEntityReflection } from '#package/domain';
+import type { RuntimeReferenceStore } from '../../../caching/index.js';
+import type { Defaults, Invariants } from '../../../parse-application-files/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";