@salsita-ai/sdk 0.50.0-develop.f03b563886 → 0.50.0-develop.f81ab6ac76

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,5 @@
+export * from './runtime-spec.js';
+export * from './encoded-runtime-spec.js';
+export * from './encode-runtime-spec.js';
+export * from './decode-runtime-spec.js';
+export * from './spec-code-id.js';

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

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

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

@@ -0,0 +1,68 @@
+import type { AdminSpec, ApplicationSpec, ConfiguratorSpec, EntitySchema, Infra, ModelVersion, ResolvedModelVersion, ResolvedVersions } from '../../parse-application-files/index.js';
+/**
+ * The part of a parsed entity schema the runtime reads: the entity type and the schema of its
+ * shape, from which it builds the entity's reflection. The full schema with `id` and `type` is
+ * only registered with a deployment, and the compiled shape validators only check presets and
+ * defaults while parsing.
+ */
+export type RuntimeEntitySchema = Pick<EntitySchema, 'entityType' | 'shapeSchema'>;
+/**
+ * The part of a parsed model version the runtime reads: the entity types, the aliases, the common
+ * types and the schema of every entity's shape. The raw shapes and resolved shapes only serve the
+ * parser and the type generator.
+ */
+export type RuntimeModelVersion = Pick<ModelVersion, 'versionKey' | 'entityTypes' | 'rootEntityTypes' | 'aliases' | 'commonTypes'> & {
+    readonly entitySchemas: readonly RuntimeEntitySchema[];
+};
+/** One model version of a domain as the runtime reads it, with the migration file that leads to it. */
+export type RuntimeResolvedModelVersion = Omit<ResolvedModelVersion, 'modelVersion'> & {
+    readonly modelVersion: RuntimeModelVersion;
+};
+/** Every model version of a domain as the runtime reads it; it builds the domain's migrations from them. */
+export type RuntimeResolvedVersions = Pick<ResolvedVersions, 'latestVersion'> & {
+    readonly versionedModels: readonly RuntimeResolvedModelVersion[];
+};
+/** The model of a domain as the runtime reads it: the latest version and every earlier one. */
+interface RuntimeDomainModel {
+    readonly latestModel: RuntimeModelVersion;
+    readonly resolvedVersions: RuntimeResolvedVersions;
+}
+/**
+ * The configurator part of the runtime spec. It leaves out the configuration schema and its
+ * version, which only a deployment registers, and the assistant's server settings (instructions
+ * and AI settings), which must never reach the browser of a customer.
+ */
+export type RuntimeConfiguratorSpec = Pick<ConfiguratorSpec, 'components' | 'presets' | 'expressions' | 'actions' | 'invariants' | 'dataSchemas' | 'defaults' | 'states' | 'theme' | 'ui' | 'transformers' | 'assistant'> & RuntimeDomainModel;
+/**
+ * The admin part of the runtime spec. It leaves out the configuration schema and its version, which
+ * only a deployment registers.
+ */
+export type RuntimeAdminSpec = Pick<AdminSpec, 'components' | 'presets' | 'expressions' | 'invariants' | 'defaults' | 'states' | 'adminPages'> & RuntimeDomainModel;
+/**
+ * The infrastructure settings the runtime reads: access control and resources. The environment
+ * variable declarations only drive the generated environment readers.
+ */
+export type RuntimeInfra = Pick<Infra, 'acl' | 'resources' | 'resourcesConfig'>;
+/**
+ * The parsed application spec as the runtime reads it: what `ApplicationRuntime` builds the
+ * configurator and admin runtimes from, and the sections an application needs besides its domains
+ * (data spec, app metadata, resources, access control, user interface settings, webhook data
+ * schemas, admin pages). `phoenix sync` and `phoenix build` write it to
+ * `.phoenix/application-spec.json` with `encodeRuntimeSpec`.
+ *
+ * It is derived from the parsed types, so a section the runtime reads keeps the parser's type. It
+ * leaves out what only the parser, the type generator or a deployment use, and holds plain data,
+ * Maps and Sets only, so it can be encoded as JSON.
+ */
+export interface RuntimeSpec extends Pick<ApplicationSpec, 'appMetadata' | 'dataSpec'> {
+    readonly configurator: RuntimeConfiguratorSpec;
+    readonly admin: RuntimeAdminSpec;
+    readonly infra: RuntimeInfra;
+}
+/**
+ * Takes from a parsed application spec the part the runtime reads. The sections it keeps are the
+ * parsed values themselves, not copies; only the model versions are rebuilt without what the
+ * runtime does not read.
+ */
+export declare const toRuntimeSpec: (spec: ApplicationSpec) => RuntimeSpec;
+export {};

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

@@ -0,0 +1 @@
+let e=e=>({versionKey:e.versionKey,entityTypes:e.entityTypes,rootEntityTypes:e.rootEntityTypes,aliases:e.aliases,commonTypes:e.commonTypes,entitySchemas:e.entitySchemas.map(e=>({entityType:e.entityType,shapeSchema:e.shapeSchema}))}),s=s=>({latestModel:e(s.latestModel),resolvedVersions:{latestVersion:s.resolvedVersions.latestVersion,versionedModels:s.resolvedVersions.versionedModels.map(s=>({version:s.version,key:s.key,isLatest:s.isLatest,migrationFile:s.migrationFile,modelVersion:e(s.modelVersion)}))}});export const toRuntimeSpec=e=>{let{configurator:t,admin:a,infra:n}=e;return{configurator:{components:t.components,presets:t.presets,expressions:t.expressions,actions:t.actions,invariants:t.invariants,dataSchemas:t.dataSchemas,defaults:t.defaults,states:t.states,theme:t.theme,ui:t.ui,transformers:t.transformers,assistant:t.assistant,...s(t)},admin:{components:a.components,presets:a.presets,expressions:a.expressions,invariants:a.invariants,defaults:a.defaults,states:a.states,adminPages:a.adminPages,...s(a)},appMetadata:e.appMetadata,infra:{acl:n.acl,resources:n.resources,resourcesConfig:n.resourcesConfig},dataSpec:e.dataSpec}};

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

@@ -0,0 +1,40 @@
+import type { MemoEvalPlan } from '../../parse-application-files/index.js';
+/**
+ * The id under which the generated `.phoenix/spec-code.ts` holds one piece of code written in YAML,
+ * and under which the runtime looks it up. Ids are unique within one domain; the configurator and
+ * the admin domain each have their own map.
+ *
+ * An id is computed from what the runtime spec already carries, by the functions of this file, on
+ * both sides: the generator that writes the closures and the runtime that reads them. It names the
+ * entity or alias that owns the code, the expression or the component instance, the position of the
+ * code inside that one value, and a hash of the code's text. So it stays the same when anything
+ * else in the spec changes, and it changes whenever the code itself changes: a module generated from
+ * another version of the spec does not hold it, and the runtime compiles the text instead of running
+ * the wrong closure.
+ */
+export type SpecCodeId = string;
+/**
+ * The part of an id that names a value expression: `KitchenRange.$maxWidth`. Its constant, when it
+ * is one, shares the plan and so the ids.
+ */
+export declare const specCodeExpressionKey: (typeOrAlias: string, expressionName: string) => string;
+/**
+ * The part of an id that names a component instance: `KitchenRange.main:detail`. The component
+ * belongs to it because an instance name is unique per component, not per entity: one entity can
+ * attach `main` of several components.
+ */
+export declare const specCodeComponentKey: (typeOrAlias: string, instanceName: string, componentName: string) => string;
+/**
+ * The id of each dependency of a plan, by dependency index: `<key>#<n>@<hash>` for the `n`-th
+ * `$eval` dependency, `undefined` for a read. `key` is the expression or component key of the value
+ * the plan builds. The ordinal counts the plan's `$eval` dependencies only, so a `$read` added to
+ * the same value does not renumber them.
+ */
+export declare const specCodeEvalIds: (plan: MemoEvalPlan, key: string) => ReadonlyArray<SpecCodeId | undefined>;
+/**
+ * Id of the `$eval` of one filter criterion of a component instance:
+ * `KitchenRange.label:textValue#filter0.active@<hash>`. `componentKey` comes from
+ * {@link specCodeComponentKey}; `branch` is the index of the filter among the `$or` alternatives,
+ * 0 when the filter has none; `code` is the criterion's code.
+ */
+export declare const specCodeFilterId: (componentKey: string, branch: number, criterion: string, code: string) => SpecCodeId;

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

@@ -0,0 +1 @@
+let e=e=>{let t=e.trim(),o=0x811c9dc5;for(let e=0;e<t.length;e++)o^=t.charCodeAt(e),o=Math.imul(o,0x1000193)>>>0;return o.toString(16).padStart(8,"0")};export const specCodeExpressionKey=(e,t)=>`${e}.${t}`;export const specCodeComponentKey=(e,t,o)=>`${e}.${t}:${o}`;export const specCodeEvalIds=(t,o)=>{let r=0;return t.deps.map(t=>"eval"===t.kind?`${o}#${r++}@${e(t.code)}`:void 0)};export const specCodeFilterId=(t,o,r,d)=>`${t}#filter${o}.${r}@${e(d)}`;

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

@@ -1,4 +1,5 @@
 export * from './core/index.js';
+export * from './enhanced-json/index.js';
 export * from './caching/index.js';
 export * from './errors/index.js';
 export * from './generate-application/index.js';

package/dist/application-spec/index.js

@@ -1 +1 @@
-export*from"./core/index.js";export*from"./caching/index.js";export*from"./errors/index.js";export*from"./generate-application/index.js";export*from"./parse-application-files/index.js";export*from"./webhook-boundary.js";
+export*from"./core/index.js";export*from"./enhanced-json/index.js";export*from"./caching/index.js";export*from"./errors/index.js";export*from"./generate-application/index.js";export*from"./parse-application-files/index.js";export*from"./webhook-boundary.js";

package/dist/application-spec/parse-application-files/categorize/categorize-files.d.ts

@@ -58,12 +58,46 @@ export type CategorizedFiles = Branded<'CategorizedFiles', {
     readonly adminElementsChanged: boolean;
     readonly webhooks: readonly CategorizedFile[];
     readonly webhooksChanged: boolean;
+    /**
+     * Whether the project has its webhook entry, `src/webhooks/index.ts`, whose default export is the
+     * project's webhook. Generation reads it to decide the generated webhook entry: without it the
+     * entry holds the built-in inert webhook.
+     */
+    readonly hasWebhookEntry: boolean;
     readonly locales: readonly CategorizedFile[];
     readonly localesChanged: boolean;
     readonly mockTemplates: readonly CategorizedFile[];
     readonly mockTemplatesChanged: boolean;
     readonly projectFiles: readonly CategorizedFile[];
     readonly projectFilesChanged: boolean;
+    /**
+     * One-time migration: true only on a checkout's first sync with an SDK that contains this field;
+     * delete it once projects have synced with such an SDK.
+     *
+     * Whether the project's root `tsconfig.json` is the full file earlier SDK versions generated on
+     * every sync, before the TypeScript settings moved to `.phoenix/tsconfig.json`. Generation reads
+     * it to replace that file with the one-line `tsconfig.json` that extends `.phoenix/tsconfig.json`;
+     * any other root `tsconfig.json` is the project's own and is left as it is.
+     */
+    readonly hasEarlierGeneratedTsconfig: boolean;
+    /**
+     * One-time migration: true only on a checkout's first sync with an SDK that contains this field;
+     * delete it once projects have synced with such an SDK.
+     *
+     * Whether the project's root `eslint.config.js` is the file earlier SDK versions generated on
+     * every sync, before it became the project's. Generation reads it to replace that file once with
+     * the current one; any other root `eslint.config.js` is the project's own and is left as it is.
+     */
+    readonly hasEarlierGeneratedEslintConfig: boolean;
+    /**
+     * One-time migration: true only on a checkout's first sync with an SDK that contains this field;
+     * delete it once projects have synced with such an SDK.
+     *
+     * Whether the project's root `prettier.config.js` is the file earlier SDK versions generated on
+     * every sync, before it became the project's. Generation reads it to replace that file once with
+     * the current one; any other root `prettier.config.js` is the project's own and is left as it is.
+     */
+    readonly hasEarlierGeneratedPrettierConfig: boolean;
     readonly customCode: readonly CategorizedFile[];
     readonly customCodeChanged: boolean;
     readonly envs: Record<string, unknown>;

package/dist/application-spec/parse-application-files/categorize/categorize-files.js

@@ -1 +1 @@
-import e from"lodash-es/isEqual.js";import{Branded as n}from"@salsita-ai/common/utils";import{computeFileDepHashes as s}from"../../caching/index.js";import{DiagnosticCode as o,diagnosticMessages as a}from"../../errors/index.js";import{findWebhookHandlerRegistration as i}from"./module-analysis.js";import{findWebhookSafetyViolation as t}from"./webhook-safety.js";export const buildProjectFileIndex=e=>new Map([...e.spec,...e.expressions,...e.actions,...e.handlers,...e.elements,...e.transformers,...e.components,...e.invariants,...e.migrations,...e.adminMigrations,...e.adminExpressions,...e.adminInvariants,...e.adminComponents,...e.adminElements,...e.webhooks,...e.locales,...e.mockTemplates,...e.projectFiles,...e.customCode].map(e=>[e.file.name,e]));let r=e=>/\/_[^/]+\//.test(e),m=[{path:"spec/",key:"spec"},{path:"src/admin/expressions/",key:"adminExpressions"},{path:"src/admin/invariants/",key:"adminInvariants"},{path:"src/admin/components/",key:"adminComponents"},{path:"src/admin/elements/",key:"adminElements"},{path:"src/admin/migrations/",key:"adminMigrations"},{path:"src/expressions/",key:"expressions"},{path:"src/actions/",key:"actions"},{path:"src/handlers/",key:"handlers"},{path:"src/elements/",key:"elements"},{path:"src/transformers/",key:"transformers"},{path:"src/components/",key:"components"},{path:"src/invariants/",key:"invariants"},{path:"src/migrations/",key:"migrations"},{path:"src/webhooks/",key:"webhooks"},{path:"src/locales/",key:"locales"},{path:"mocks/",key:"mockTemplates"}],l=new Set(["package.json",".gitignore","CLAUDE.md",".cursor/rules/phoenix.mdc"]),d=new Set(["migrations","adminMigrations"]),c=m.filter(({path:e,key:n})=>e.startsWith("src/")&&d.has(n)),p=(e,n)=>{let s=e.slice(n.length).split("/");return!(s.length<=1)&&s.slice(0,-1).some(e=>!e.startsWith("_"))},h=/\.(ts|tsx|js|jsx)$/,f=(e,n)=>{if("components"===e||"adminComponents"===e)return n.hasUseWebhookDirective?{membership:"pinned",logSuffix:"webhook ('use webhook' directive)"}:{membership:"frontend",logSuffix:"frontend only (no 'use webhook' directive)"};if("handlers"===e){let e=i(n);return void 0!==e?{membership:"named-handler",logSuffix:`webhook (the ${e} registration)`}:n.hasUseWebhookDirective?{membership:"pinned",logSuffix:"webhook ('use webhook' directive)"}:{membership:"frontend",logSuffix:"frontend only (not a named handler or pin)"}}};export const CategorizedFiles=(i,d,g,u)=>{let k={spec:[],expressions:[],actions:[],handlers:[],elements:[],transformers:[],components:[],invariants:[],migrations:[],adminMigrations:[],adminExpressions:[],adminInvariants:[],adminComponents:[],adminElements:[],webhooks:[],locales:[],mockTemplates:[],projectFiles:[],customCode:[]},b=[];for(let e of i.files){if("text"!==e.kind)continue;if(r(e.name)){k.customCode.push({file:e,category:"customCode"});continue}if(l.has(e.name)){k.projectFiles.push({file:e,category:"projectFiles"});continue}let n=!1;for(let{path:s,key:o}of m)if(e.name.startsWith(s)){k[o].push({file:e,category:o}),n=!0;break}n||b.push(e.name)}for(let e of b)e.startsWith("src/")&&g.error(o.UNKNOWN_SRC_PATH,a.UNKNOWN_SRC_PATH(e));for(let{path:e,key:n}of c)for(let s of k[n])p(s.file.name,e)&&g.error(o.INVALID_SUBDIRECTORY,a.INVALID_SUBDIRECTORY(s.file.name,e));if(k.webhooks.length>0&&!k.webhooks.some(e=>"src/webhooks/index.ts"===e.file.name)&&g.error(o.MISSING_WEBHOOK_INDEX,a.MISSING_WEBHOOK_INDEX()),g.hasErrors)return;let C=[];for(let e of Object.values(k))for(let n of e)C.push(n.file.name);let v=s(i,C),{analyzer:x,logger:y}=u,E=d.createBuilder("categorizedFiles/moduleAnalysis",{build:e=>{try{return{analysis:x(e.name,e.content)}}catch(e){return{error:e instanceof Error?e.message:String(e)}}},getKey:e=>e.name,compare:(e,n)=>e.content===n.content}),I=new Set,w=e=>{if(!h.test(e.name))return;I.add(e.name);let n=E.build({name:e.name,content:e.content}).output;return void 0!==n.error?void g.error(o.MODULE_ANALYSIS_FAILED,a[o.MODULE_ANALYSIS_FAILED](e.name,n.error)):n.analysis},S={},j={};for(let[e,s]of Object.entries(k)){let o=d.createBuilder(`categorizedFiles/${e}`,{build:e=>e,getKey:e=>e.name,compare:(e,n)=>e.depHash===n.depHash}),a=new Set;S[e]=s.map(e=>{let s=v[e.file.name]??{deps:[],hash:""},{changed:i}=o.build({name:e.file.name,depHash:s.hash});a.add(e.file.name);let t=w(e.file),r=void 0===t?void 0:f(e.category,t);return void 0!==r&&y.debug(`Webhook membership: ${e.file.name} -> ${r.logSuffix}`),n({file:e.file,category:e.category,deps:s.deps,depHash:s.hash,changed:i,analysis:t,webhookMembership:r?.membership})}),j[e]=o.cleanup(a)}E.cleanup(I);let _=(e,n)=>n.some(e=>e.changed)||!0===j[e],F=d.createBuilder("categorizedFiles/envs",{build:e=>e.envs,getKey:()=>"singleton",compare:(n,s)=>e(n.envs,s.envs)}).build({envs:i.envs}),M=n({spec:S.spec,specChanged:_("spec",S.spec),expressions:S.expressions,expressionsChanged:_("expressions",S.expressions),actions:S.actions,actionsChanged:_("actions",S.actions),handlers:S.handlers,handlersChanged:_("handlers",S.handlers),elements:S.elements,elementsChanged:_("elements",S.elements),transformers:S.transformers,transformersChanged:_("transformers",S.transformers),components:S.components,componentsChanged:_("components",S.components),invariants:S.invariants,invariantsChanged:_("invariants",S.invariants),migrations:S.migrations,migrationsChanged:_("migrations",S.migrations),adminMigrations:S.adminMigrations,adminMigrationsChanged:_("adminMigrations",S.adminMigrations),adminExpressions:S.adminExpressions,adminExpressionsChanged:_("adminExpressions",S.adminExpressions),adminInvariants:S.adminInvariants,adminInvariantsChanged:_("adminInvariants",S.adminInvariants),adminComponents:S.adminComponents,adminComponentsChanged:_("adminComponents",S.adminComponents),adminElements:S.adminElements,adminElementsChanged:_("adminElements",S.adminElements),webhooks:S.webhooks,webhooksChanged:_("webhooks",S.webhooks),locales:S.locales,localesChanged:_("locales",S.locales),mockTemplates:S.mockTemplates,mockTemplatesChanged:_("mockTemplates",S.mockTemplates),projectFiles:S.projectFiles,projectFilesChanged:_("projectFiles",S.projectFiles),customCode:S.customCode,customCodeChanged:_("customCode",S.customCode),envs:F.output,envsChanged:F.changed}),O=buildProjectFileIndex(M);for(let e of O.values()){if("pinned"!==e.webhookMembership&&"named-handler"!==e.webhookMembership)continue;let n=t(e,O);void 0!==n&&g.error(o.WEBHOOK_UNSAFE_IMPORT,a[o.WEBHOOK_UNSAFE_IMPORT](n.fileName,n.inclusionReason,n.importer,n.specifier))}return M};
+import e from"lodash-es/isEqual.js";import{Branded as n}from"@salsita-ai/common/utils";import{computeFileDepHashes as s}from"../../caching/index.js";import{DiagnosticCode as o,diagnosticMessages as i}from"../../errors/index.js";import{isEarlierGeneratedEslintConfig as t,isEarlierGeneratedPrettierConfig as a}from"./earlier-generated-editor-configs.js";import{isEarlierGeneratedTsconfig as r}from"./earlier-generated-tsconfig.js";import{findWebhookHandlerRegistration as m}from"./module-analysis.js";import{findWebhookSafetyViolation as l}from"./webhook-safety.js";export const buildProjectFileIndex=e=>new Map([...e.spec,...e.expressions,...e.actions,...e.handlers,...e.elements,...e.transformers,...e.components,...e.invariants,...e.migrations,...e.adminMigrations,...e.adminExpressions,...e.adminInvariants,...e.adminComponents,...e.adminElements,...e.webhooks,...e.locales,...e.mockTemplates,...e.projectFiles,...e.customCode].map(e=>[e.file.name,e]));let d=e=>/\/_[^/]+\//.test(e),c=[{path:"spec/",key:"spec"},{path:"src/admin/expressions/",key:"adminExpressions"},{path:"src/admin/invariants/",key:"adminInvariants"},{path:"src/admin/components/",key:"adminComponents"},{path:"src/admin/elements/",key:"adminElements"},{path:"src/admin/migrations/",key:"adminMigrations"},{path:"src/expressions/",key:"expressions"},{path:"src/actions/",key:"actions"},{path:"src/handlers/",key:"handlers"},{path:"src/elements/",key:"elements"},{path:"src/transformers/",key:"transformers"},{path:"src/components/",key:"components"},{path:"src/invariants/",key:"invariants"},{path:"src/migrations/",key:"migrations"},{path:"src/webhooks/",key:"webhooks"},{path:"src/locales/",key:"locales"},{path:"mocks/",key:"mockTemplates"}],p="tsconfig.json",h="eslint.config.js",f="prettier.config.js",g=new Set([".gitignore",p,h,f,"CLAUDE.md",".cursor/rules/phoenix.mdc"]),u=new Set(["migrations","adminMigrations"]),k=c.filter(({path:e,key:n})=>e.startsWith("src/")&&u.has(n)),b=(e,n)=>{let s=e.slice(n.length).split("/");return!(s.length<=1)&&s.slice(0,-1).some(e=>!e.startsWith("_"))},C=/\.(ts|tsx|js|jsx)$/,v=(e,n)=>{if("components"===e||"adminComponents"===e)return n.hasUseWebhookDirective?{membership:"pinned",logSuffix:"webhook ('use webhook' directive)"}:{membership:"frontend",logSuffix:"frontend only (no 'use webhook' directive)"};if("handlers"===e){let e=m(n);return void 0!==e?{membership:"named-handler",logSuffix:`webhook (the ${e} registration)`}:n.hasUseWebhookDirective?{membership:"pinned",logSuffix:"webhook ('use webhook' directive)"}:{membership:"frontend",logSuffix:"frontend only (not a named handler or pin)"}}};export const CategorizedFiles=(m,u,x,y)=>{let E={spec:[],expressions:[],actions:[],handlers:[],elements:[],transformers:[],components:[],invariants:[],migrations:[],adminMigrations:[],adminExpressions:[],adminInvariants:[],adminComponents:[],adminElements:[],webhooks:[],locales:[],mockTemplates:[],projectFiles:[],customCode:[]},j=[];for(let e of m.files){if("text"!==e.kind)continue;if(d(e.name)){E.customCode.push({file:e,category:"customCode"});continue}if(g.has(e.name)){E.projectFiles.push({file:e,category:"projectFiles"});continue}let n=!1;for(let{path:s,key:o}of c)if(e.name.startsWith(s)){E[o].push({file:e,category:o}),n=!0;break}n||j.push(e.name)}for(let e of j)e.startsWith("src/")&&x.error(o.UNKNOWN_SRC_PATH,i.UNKNOWN_SRC_PATH(e));for(let{path:e,key:n}of k)for(let s of E[n])b(s.file.name,e)&&x.error(o.INVALID_SUBDIRECTORY,i.INVALID_SUBDIRECTORY(s.file.name,e));let I=E.webhooks.some(e=>"src/webhooks/index.ts"===e.file.name);if(E.webhooks.length>0&&!I&&x.error(o.MISSING_WEBHOOK_INDEX,i.MISSING_WEBHOOK_INDEX()),x.hasErrors)return;let w=E.projectFiles.find(e=>e.file.name===p),S=void 0!==w&&r(w.file.content),F=E.projectFiles.find(e=>e.file.name===h),_=void 0!==F&&t(F.file.content),M=E.projectFiles.find(e=>e.file.name===f),O=void 0!==M&&a(M.file.content),N=[];for(let e of Object.values(E))for(let n of e)N.push(n.file.name);let A=s(m,N),{analyzer:T,logger:D}=y,W=u.createBuilder("categorizedFiles/moduleAnalysis",{build:e=>{try{return{analysis:T(e.name,e.content)}}catch(e){return{error:e instanceof Error?e.message:String(e)}}},getKey:e=>e.name,compare:(e,n)=>e.content===n.content}),U=new Set,H=e=>{if(!C.test(e.name))return;U.add(e.name);let n=W.build({name:e.name,content:e.content}).output;return void 0!==n.error?void x.error(o.MODULE_ANALYSIS_FAILED,i[o.MODULE_ANALYSIS_FAILED](e.name,n.error)):n.analysis},B={},K={};for(let[e,s]of Object.entries(E)){let o=u.createBuilder(`categorizedFiles/${e}`,{build:e=>e,getKey:e=>e.name,compare:(e,n)=>e.depHash===n.depHash}),i=new Set;B[e]=s.map(e=>{let s=A[e.file.name]??{deps:[],hash:""},{changed:t}=o.build({name:e.file.name,depHash:s.hash});i.add(e.file.name);let a=H(e.file),r=void 0===a?void 0:v(e.category,a);return void 0!==r&&D.debug(`Webhook membership: ${e.file.name} -> ${r.logSuffix}`),n({file:e.file,category:e.category,deps:s.deps,depHash:s.hash,changed:t,analysis:a,webhookMembership:r?.membership})}),K[e]=o.cleanup(i)}W.cleanup(U);let L=(e,n)=>n.some(e=>e.changed)||!0===K[e],R=u.createBuilder("categorizedFiles/envs",{build:e=>e.envs,getKey:()=>"singleton",compare:(n,s)=>e(n.envs,s.envs)}).build({envs:m.envs}),P=n({spec:B.spec,specChanged:L("spec",B.spec),expressions:B.expressions,expressionsChanged:L("expressions",B.expressions),actions:B.actions,actionsChanged:L("actions",B.actions),handlers:B.handlers,handlersChanged:L("handlers",B.handlers),elements:B.elements,elementsChanged:L("elements",B.elements),transformers:B.transformers,transformersChanged:L("transformers",B.transformers),components:B.components,componentsChanged:L("components",B.components),invariants:B.invariants,invariantsChanged:L("invariants",B.invariants),migrations:B.migrations,migrationsChanged:L("migrations",B.migrations),adminMigrations:B.adminMigrations,adminMigrationsChanged:L("adminMigrations",B.adminMigrations),adminExpressions:B.adminExpressions,adminExpressionsChanged:L("adminExpressions",B.adminExpressions),adminInvariants:B.adminInvariants,adminInvariantsChanged:L("adminInvariants",B.adminInvariants),adminComponents:B.adminComponents,adminComponentsChanged:L("adminComponents",B.adminComponents),adminElements:B.adminElements,adminElementsChanged:L("adminElements",B.adminElements),webhooks:B.webhooks,webhooksChanged:L("webhooks",B.webhooks),hasWebhookEntry:I,locales:B.locales,localesChanged:L("locales",B.locales),mockTemplates:B.mockTemplates,mockTemplatesChanged:L("mockTemplates",B.mockTemplates),projectFiles:B.projectFiles,projectFilesChanged:L("projectFiles",B.projectFiles),hasEarlierGeneratedTsconfig:S,hasEarlierGeneratedEslintConfig:_,hasEarlierGeneratedPrettierConfig:O,customCode:B.customCode,customCodeChanged:L("customCode",B.customCode),envs:R.output,envsChanged:R.changed}),$=buildProjectFileIndex(P);for(let e of $.values()){if("pinned"!==e.webhookMembership&&"named-handler"!==e.webhookMembership)continue;let n=l(e,$);void 0!==n&&x.error(o.WEBHOOK_UNSAFE_IMPORT,i[o.WEBHOOK_UNSAFE_IMPORT](n.fileName,n.inclusionReason,n.importer,n.specifier))}return P};

package/dist/application-spec/parse-application-files/categorize/earlier-generated-editor-configs.d.ts

@@ -0,0 +1,16 @@
+/**
+ * One-time migration, see the top of this module: true only before a checkout's first sync with this SDK.
+ *
+ * Whether the content of a project's root `eslint.config.js` is the file earlier SDK versions
+ * generated. Whitespace, semicolons and the quote style do not count; any other difference makes the
+ * file the project's own.
+ */
+export declare const isEarlierGeneratedEslintConfig: (content: string) => boolean;
+/**
+ * One-time migration, see the top of this module: true only before a checkout's first sync with this SDK.
+ *
+ * Whether the content of a project's root `prettier.config.js` is the file earlier SDK versions
+ * generated. Whitespace, semicolons and the quote style do not count; any other difference makes the
+ * file the project's own.
+ */
+export declare const isEarlierGeneratedPrettierConfig: (content: string) => boolean;

package/dist/application-spec/parse-application-files/categorize/earlier-generated-editor-configs.js

@@ -0,0 +1,9 @@
+let e=`/**
+ * Auto-generated file.
+ * Do not modify this file manually.
+ * Version: 1
+ */`,t=["@salsita-ai/sdk/common","@salsita-ai/platform-common","@salsita-ai/common"],a=(a,r)=>t.map(t=>`${e}
+import { ${a} } from '${t}/${r}'
+
+export default ${a}
+`),r=e=>e.replace(/\s+/g,"").replace(/;/g,"").replace(/"/g,"'"),i=new Set(a("eslintrc","eslint").map(r)),o=new Set(a("prettierrc","prettier").map(r));export const isEarlierGeneratedEslintConfig=e=>i.has(r(e));export const isEarlierGeneratedPrettierConfig=e=>o.has(r(e));

package/dist/application-spec/parse-application-files/categorize/earlier-generated-tsconfig.d.ts

@@ -0,0 +1,9 @@
+/**
+ * One-time migration, see the top of this module: true only before a checkout's first sync with this SDK.
+ *
+ * Whether the content of a project's root `tsconfig.json` is the file earlier SDK versions generated.
+ * The comparison is by meaning: comments, formatting and key order do not count, so a generated
+ * file that an editor or formatter rewrote is still recognised. Content that does not parse, or that
+ * differs in any setting, is the project's own.
+ */
+export declare const isEarlierGeneratedTsconfig: (content: string) => boolean;