@salsita-ai/sdk 0.50.0-develop.a926ccd94f → 0.50.0-develop.a9ee99dc86

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;

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

@@ -0,0 +1 @@
+import e from"lodash-es/isEqual.js";let l={compilerOptions:{noEmit:!0,module:"ESNext",moduleResolution:"Bundler",lib:["ES2022","DOM"],esModuleInterop:!0,isolatedModules:!0,resolveJsonModule:!0,allowJs:!1,skipLibCheck:!0,strict:!0,noImplicitOverride:!0,noImplicitReturns:!0,noPropertyAccessFromIndexSignature:!0,noUncheckedIndexedAccess:!0,allowUnreachableCode:!1,allowUnusedLabels:!1,noFallthroughCasesInSwitch:!0,noUnusedLocals:!0,noUnusedParameters:!0,useDefineForClassFields:!0,jsx:"react-jsx",paths:{}},include:["src",".phoenix","prettier.config.js","eslint.config.js","./.phoenix/globals.d.ts"]},s=(e,l)=>{let s=l+1;for(;s<e.length&&'"'!==e[s];)s+="\\"===e[s]?2:1;return s+1};export const isEarlierGeneratedTsconfig=t=>e((e=>{try{return JSON.parse((e=>{let l="",t=0;for(;t<e.length;){let n=e[t];if('"'===n){let n=s(e,t);l+=e.slice(t,n),t=n;continue}","===n&&/^\s*[}\]]/.test(e.slice(t+1))||(l+=n),t++}return l})((e=>{let l="",t=0;for(;t<e.length;){let n=e[t],o=e[t+1];if('"'===n){let n=s(e,t);l+=e.slice(t,n),t=n}else if("/"===n&&"/"===o){let l=e.indexOf("\n",t);t=-1===l?e.length:l}else if("/"===n&&"*"===o){let l=e.indexOf("*/",t+2);t=-1===l?e.length:l+2}else l+=n,t++}return l})(e)))}catch{return}})(t),l);

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

@@ -43,6 +43,6 @@ export declare const analyzeParsedModule: (module: Module) => ModuleAnalysis;
 /** The explicit webhook classification of one authored file. */
 export type WebhookMembership = 'pinned' | 'named-handler' | 'frontend';
 /** Handler registrations that keep implicit webhook membership for legacy-CLI parity. */
-export declare const WEBHOOK_HANDLER_REGISTRATIONS: readonly ['createMapPublishedRevisionDataHandler', 'createMapPublishedChunkedDataHandler', 'createDataRowValidatorHandler', 'createSheetValidatorHandler'];
+export declare const WEBHOOK_HANDLER_REGISTRATIONS: readonly ['phx.domain.createAssistantSetupHandler', 'phx.domain.admin.createMapPublishedRevisionDataHandler', 'phx.domain.admin.createMapPublishedChunkedDataHandler', 'phx.domain.admin.createDataRowValidatorHandler', 'phx.domain.admin.createSheetValidatorHandler'];
 /** Returns the named webhook handler registration a handler module calls, if any. */
 export declare const findWebhookHandlerRegistration: (analysis: ModuleAnalysis) => string | undefined;

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

@@ -1 +1 @@
-import{Visitor as e}from"@swc/core/Visitor.js";export const getModuleParseOptions=()=>({syntax:"typescript",tsx:!0,target:"es2022"});let t=e=>{if("Identifier"===e.type)return e.value;if("ParenthesisExpression"===e.type)return t(e.expression);if("MemberExpression"!==e.type||"Identifier"!==e.property.type)return;let r=t(e.object);return void 0===r?void 0:`${r}.${e.property.value}`},r=e=>e.length>0&&e.every(e=>"isTypeOnly"in e&&!0===e.isTypeOnly),i=class ProjectSourceVisitor extends e{imports=[];calledMemberPaths=new Set;visitTsType(e){return e}visitImportDeclaration(e){return this.imports.push({specifier:e.source.value,typeOnly:e.typeOnly||r(e.specifiers)}),e}visitExportNamedDeclaration(e){return null!=e.source&&this.imports.push({specifier:e.source.value,typeOnly:e.typeOnly||r(e.specifiers)}),super.visitExportNamedDeclaration(e)}visitExportAllDeclaration(e){return this.imports.push({specifier:e.source.value,typeOnly:"typeOnly"in e&&!0===e.typeOnly}),e}visitCallExpression(e){var r;let i=(r=e.arguments[0]?.expression,r?.type==="StringLiteral"?r.value:r?.type==="TemplateLiteral"&&0===r.expressions.length?r.quasis[0]?.cooked??r.quasis[0]?.raw:void 0);if("Import"===e.callee.type&&void 0!==i)this.imports.push({specifier:i,typeOnly:!1});else if("Super"!==e.callee.type&&"Import"!==e.callee.type){let r=t(e.callee);void 0!==r&&this.calledMemberPaths.add(r),"require"===r&&void 0!==i&&this.imports.push({specifier:i,typeOnly:!1})}return super.visitCallExpression(e)}};export const analyzeParsedModule=e=>{let t=new i;t.visitModule(e);let r=e.body[0];return{imports:t.imports,calledMemberPaths:[...t.calledMemberPaths].sort(),hasUseWebhookDirective:r?.type==="ExpressionStatement"&&"StringLiteral"===r.expression.type&&"use webhook"===r.expression.value}};export const WEBHOOK_HANDLER_REGISTRATIONS=["createMapPublishedRevisionDataHandler","createMapPublishedChunkedDataHandler","createDataRowValidatorHandler","createSheetValidatorHandler"];export const findWebhookHandlerRegistration=e=>WEBHOOK_HANDLER_REGISTRATIONS.find(t=>e.calledMemberPaths.includes(`phx.domain.admin.${t}`));
+import{Visitor as e}from"@swc/core/Visitor.js";export const getModuleParseOptions=()=>({syntax:"typescript",tsx:!0,target:"es2022"});let t=e=>{if("Identifier"===e.type)return e.value;if("ParenthesisExpression"===e.type)return t(e.expression);if("MemberExpression"!==e.type||"Identifier"!==e.property.type)return;let r=t(e.object);return void 0===r?void 0:`${r}.${e.property.value}`},r=e=>e.length>0&&e.every(e=>"isTypeOnly"in e&&!0===e.isTypeOnly),i=class ProjectSourceVisitor extends e{imports=[];calledMemberPaths=new Set;visitTsType(e){return e}visitImportDeclaration(e){return this.imports.push({specifier:e.source.value,typeOnly:e.typeOnly||r(e.specifiers)}),e}visitExportNamedDeclaration(e){return null!=e.source&&this.imports.push({specifier:e.source.value,typeOnly:e.typeOnly||r(e.specifiers)}),super.visitExportNamedDeclaration(e)}visitExportAllDeclaration(e){return this.imports.push({specifier:e.source.value,typeOnly:"typeOnly"in e&&!0===e.typeOnly}),e}visitCallExpression(e){var r;let i=(r=e.arguments[0]?.expression,r?.type==="StringLiteral"?r.value:r?.type==="TemplateLiteral"&&0===r.expressions.length?r.quasis[0]?.cooked??r.quasis[0]?.raw:void 0);if("Import"===e.callee.type&&void 0!==i)this.imports.push({specifier:i,typeOnly:!1});else if("Super"!==e.callee.type&&"Import"!==e.callee.type){let r=t(e.callee);void 0!==r&&this.calledMemberPaths.add(r),"require"===r&&void 0!==i&&this.imports.push({specifier:i,typeOnly:!1})}return super.visitCallExpression(e)}};export const analyzeParsedModule=e=>{let t=new i;t.visitModule(e);let r=e.body[0];return{imports:t.imports,calledMemberPaths:[...t.calledMemberPaths].sort(),hasUseWebhookDirective:r?.type==="ExpressionStatement"&&"StringLiteral"===r.expression.type&&"use webhook"===r.expression.value}};export const WEBHOOK_HANDLER_REGISTRATIONS=["phx.domain.createAssistantSetupHandler","phx.domain.admin.createMapPublishedRevisionDataHandler","phx.domain.admin.createMapPublishedChunkedDataHandler","phx.domain.admin.createDataRowValidatorHandler","phx.domain.admin.createSheetValidatorHandler"];export const findWebhookHandlerRegistration=e=>WEBHOOK_HANDLER_REGISTRATIONS.find(t=>e.calledMemberPaths.includes(t));

package/dist/application-spec/parse-application-files/raw-spec/parse-yaml-spec-file.js

@@ -1 +1 @@
-import{parse as r}from"yaml";import{Branded as e}from"@salsita-ai/common/utils";import{DiagnosticCode as t,diagnosticMessages as n}from"../../errors/index.js";export const parseYamlSpecFile=(o,a)=>{try{let i=r(o.file.content,{merge:!0});if(null===i)return a.warning(t.EMPTY_SPEC_FILE,n.EMPTY_SPEC_FILE()),e({name:o.file.name,content:{}});if("object"!=typeof i||Array.isArray(i))return void a.error(t.YAML_PARSE_ERROR,n.YAML_PARSE_ERROR("File did not parse to an object"));return e({name:o.file.name,content:i})}catch(r){a.error(t.YAML_PARSE_ERROR,n.YAML_PARSE_ERROR(r instanceof Error?r.message:String(r)));return}};
+import{parse as r}from"yaml";import{Branded as e}from"@salsita-ai/common/utils";import{DiagnosticCode as t,diagnosticMessages as n}from"../../errors/index.js";let o=(r,e,i)=>{if("number"==typeof r)return!Number.isFinite(r)&&(i.at(...e).error(t.NON_FINITE_NUMBER,n.NON_FINITE_NUMBER(e.join("."),String(r))),!0);if("object"!=typeof r||null===r)return!1;let a=!1;for(let[t,n]of Object.entries(r))a=o(n,[...e,t],i)||a;return a};export const parseYamlSpecFile=(i,a)=>{try{let E=r(i.file.content,{merge:!0});if(null===E)return a.warning(t.EMPTY_SPEC_FILE,n.EMPTY_SPEC_FILE()),e({name:i.file.name,content:{}});if("object"!=typeof E||Array.isArray(E))return void a.error(t.YAML_PARSE_ERROR,n.YAML_PARSE_ERROR("File did not parse to an object"));if(o(E,[],a))return;return e({name:i.file.name,content:E})}catch(r){a.error(t.YAML_PARSE_ERROR,n.YAML_PARSE_ERROR(r instanceof Error?r.message:String(r)));return}};

package/dist/application-spec/parse-application-files/raw-spec/raw-assistant.d.ts

@@ -1,13 +1,26 @@
 import { z } from 'zod';
 import { type AssistantAiSettings } from '@salsita-ai/contracts/assistant';
+import { ASSISTANT_HINTS } from '#package/domain';
 /**
  * One whitelisted field in the assistant manifest. `description` overrides the JSON Schema
- * description of the shape property; `as` exposes the field under a different GraphQL name. An empty
+ * description of the shape property; `as` exposes the field under a different GraphQL name; `lenses`
+ * names the lenses declared under `assistant.lenses` whose selection includes the field. An empty
  * entry (`length:` in YAML) whitelists the field with its defaults.
  */
 export interface RawAssistantField {
     readonly description?: string;
     readonly as?: string;
+    readonly lenses?: readonly string[];
+}
+/**
+ * One lens of the assistant `lenses` map, keyed by the name the agent spreads it by: a named
+ * selection made of the `entities` entries tagged with that name. `description` tells the agent when
+ * to use the lens; `maxDepth` is how many levels of tagged relations carry the same selection before
+ * they reduce to `id`, 1 by default.
+ */
+export interface RawAssistantLens {
+    readonly description: string;
+    readonly maxDepth?: number;
 }
 /**
  * One entry of the assistant `deletable` map. It takes no options yet; an empty entry (`Cabinet:` in
@@ -23,7 +36,6 @@ export type AssistantOptionComponentType = (typeof ASSISTANT_OPTION_COMPONENT_TY
  * does not change during a session. A hint only adds a sentence to a generated description; nothing
  * verifies it.
  */
-export declare const ASSISTANT_HINTS: readonly ['sameForAllInstances', 'constantDuringSession'];
 export type AssistantHint = (typeof ASSISTANT_HINTS)[number];
 /**
  * The component that holds the choices of a writable field: the instance `instanceName` of the
@@ -89,7 +101,7 @@ export interface RawAssistantAction {
  * with `addChild`. `replaceRecipes` names, per entity type or alias, the `replaceEntityRecipes`
  * groups whose recipes the agent may list and replace the entity by with `replaceEntity`. `actions`
  * names the declared actions the agent may run as custom mutations. Nothing is exposed without an
- * entry.
+ * entry. `lenses` declares the named selections that `entities` entries are tagged with.
  *
  * `ai` and `instructions` are for the server only: the provider, model tier and reasoning level the
  * deployment's assistant runs with, and the integrator's own guidance for it, appended to the system
@@ -102,6 +114,7 @@ export interface RawAssistant {
     readonly childRecipes?: Readonly<Record<string, RawAssistantRecipes>>;
     readonly replaceRecipes?: Readonly<Record<string, RawAssistantRecipes>>;
     readonly actions?: Readonly<Record<string, RawAssistantAction | null>>;
+    readonly lenses?: Readonly<Record<string, RawAssistantLens>>;
     readonly instructions?: string;
     readonly ai: AssistantAiSettings;
 }

package/dist/application-spec/parse-application-files/raw-spec/raw-assistant.js

@@ -1 +1 @@
-import{z as t}from"zod";import{ASSISTANT_AI_PROVIDERS as e,ASSISTANT_MODEL_TIERS as o,ASSISTANT_REASONING_LEVELS as i}from"@salsita-ai/contracts/assistant";export const ASSISTANT_OPTION_COMPONENT_TYPES=["materialSwatch","attributeSelection","distanceDimensionSelect"];export const ASSISTANT_HINTS=["sameForAllInstances","constantDuringSession"];let n=t.string().regex(/^(?!__)[_A-Za-z][_0-9A-Za-z]*$/,'must be a GraphQL name: letters, digits and "_", not starting with a digit or "__"'),r=e=>t.enum(e,{errorMap:()=>({message:`must be one of: ${e.join(", ")}`})}),s=t.object({description:t.string().optional(),as:n.optional()}).strict(),a=t.array(r(ASSISTANT_HINTS)),c=t.object({options:t.object({componentType:r(ASSISTANT_OPTION_COMPONENT_TYPES),instanceName:t.string().min(1,"must not be empty; name the component instance that holds the choices"),as:n.optional(),validate:t.boolean().optional(),allowDryRuns:t.boolean().optional(),hints:a.optional()}).strict().optional()}).strict(),l=t.object({as:t.string().trim().min(1,"must not be empty; remove the key to use the instance name").optional(),description:t.string().optional(),allowDryRuns:t.boolean().optional()}).strict(),p=e=>t.object({hints:a.optional(),groups:t.record(t.string(),l.nullable(),{required_error:`is required: the recipe groups of the type go under "groups", keyed by the instance name of a "${e}" component`})}).strict(),d=t.object({description:t.string().optional(),as:n.optional()}).strict(),m=`is required: declare provider (${e.join(", ")}), model (${o.join(", ")}) and reasoning (${i.join(", ")})`,g=t.object({provider:r(e),model:r(o),reasoning:r(i)},{required_error:m,invalid_type_error:m}).strict();export const rawAssistantSchema=t.object({entities:t.record(t.string(),t.record(t.string(),s.nullable())).optional(),deletable:t.record(t.string(),t.object({}).strict().nullable()).optional(),writable:t.record(t.string(),t.record(t.string(),c.nullable())).optional(),childRecipes:t.record(t.string(),p("childEntityRecipes")).optional(),replaceRecipes:t.record(t.string(),p("replaceEntityRecipes")).optional(),actions:t.record(t.string(),d.nullable()).optional(),instructions:t.string().trim().min(1,"must not be empty; remove the key when there are no instructions").optional(),ai:g}).strict();
+import{z as e}from"zod";import{ASSISTANT_AI_PROVIDERS as t,ASSISTANT_MODEL_TIERS as o,ASSISTANT_REASONING_LEVELS as i}from"@salsita-ai/contracts/assistant";import{ASSISTANT_HINTS as n}from"#package/domain";export const ASSISTANT_OPTION_COMPONENT_TYPES=["materialSwatch","attributeSelection","distanceDimensionSelect"];let r=e.string().regex(/^(?!__)[_A-Za-z][_0-9A-Za-z]*$/,'must be a GraphQL name: letters, digits and "_", not starting with a digit or "__"'),s=t=>e.enum(t,{errorMap:()=>({message:`must be one of: ${t.join(", ")}`})}),a=e.object({description:e.string().optional(),as:r.optional(),lenses:e.array(e.string()).optional()}).strict(),l="must be a whole number of at least 1; remove the key to nest tagged relations one level",c=e.object({description:e.string().trim().min(1,"must not be empty; say when the agent should use the lens"),maxDepth:e.number({invalid_type_error:l}).int(l).min(1,l).optional()}).strict(),p=r.refine(e=>!e.includes("__"),'must not contain "__", which names the generated copies of a lens'),m=e.array(s(n)),d=e.object({options:e.object({componentType:s(ASSISTANT_OPTION_COMPONENT_TYPES),instanceName:e.string().min(1,"must not be empty; name the component instance that holds the choices"),as:r.optional(),validate:e.boolean().optional(),allowDryRuns:e.boolean().optional(),hints:m.optional()}).strict().optional()}).strict(),u=e.object({as:e.string().trim().min(1,"must not be empty; remove the key to use the instance name").optional(),description:e.string().optional(),allowDryRuns:e.boolean().optional()}).strict(),h=t=>e.object({hints:m.optional(),groups:e.record(e.string(),u.nullable(),{required_error:`is required: the recipe groups of the type go under "groups", keyed by the instance name of a "${t}" component`})}).strict(),b=e.object({description:e.string().optional(),as:r.optional()}).strict(),g=`is required: declare provider (${t.join(", ")}), model (${o.join(", ")}) and reasoning (${i.join(", ")})`,_="must be a positive whole number of input tokens; remove the key to use the default of the server",y=e.object({provider:s(t),model:s(o),reasoning:s(i),maxThreadSize:e.number({invalid_type_error:_}).int(_).positive(_).optional()},{required_error:g,invalid_type_error:g}).strict();export const rawAssistantSchema=e.object({entities:e.record(e.string(),e.record(e.string(),a.nullable())).optional(),deletable:e.record(e.string(),e.object({}).strict().nullable()).optional(),writable:e.record(e.string(),e.record(e.string(),d.nullable())).optional(),childRecipes:e.record(e.string(),h("childEntityRecipes")).optional(),replaceRecipes:e.record(e.string(),h("replaceEntityRecipes")).optional(),actions:e.record(e.string(),b.nullable()).optional(),lenses:e.record(p,c).optional(),instructions:e.string().trim().min(1,"must not be empty; remove the key when there are no instructions").optional(),ai:y}).strict();

package/dist/application-spec/parse-application-files/raw-spec/raw-spec-file.js

@@ -1 +1 @@
-import{z as o}from"zod";import{Branded as a}from"@salsita-ai/common/utils";import{enhancedJsonObjectSchema as t,validateNoLegacyCodeRef as e}from"../../core/index.js";import{DiagnosticCode as n,diagnosticMessages as i}from"../../errors/index.js";import{rawAclSchema as r}from"./raw-acl.js";import{rawActionsSchema as s}from"./raw-actions.js";import{rawAdminPagesSchema as l}from"./raw-admin-pages.js";import{rawAssistantSchema as p}from"./raw-assistant.js";import{rawBudgetsSchema as m}from"./raw-budgets.js";import{rawChunksSchema as c}from"./raw-chunks.js";import{rawComponentsSchema as f}from"./raw-components.js";import{rawConstantsSchema as d}from"./raw-constants.js";import{rawDataSpecSchema as u}from"./raw-data.js";import{rawDefaultsSchema as j}from"./raw-defaults.js";import{rawEnvSchema as w}from"./raw-env.js";import{rawExpressionsSchema as b}from"./raw-expressions.js";import{rawInvariantsSchema as g}from"./raw-invariants.js";import{rawModelSchema as S}from"./raw-model.js";import{rawPresetsSchema as D}from"./raw-presets.js";import{rawRelationsSchema as h}from"./raw-relations.js";import{rawResourcesConfigSchema as v,rawResourcesSchema as O}from"./raw-resources.js";import{rawStateValuesSchema as E}from"./raw-states.js";import{rawTransformersSchema as R}from"./raw-transformers.js";export const DATA_SCHEMA_KEYS=["publishedData","sessionData","frontendData","backendData","finalizeData","prefetchedFinalizeData","finalizeResult","callbackData"];let k=o.object({$admin:o.boolean().optional(),model:S.optional(),components:f.optional(),presets:D.optional(),$data:u.optional(),expressions:b.optional(),actions:s.optional(),invariants:g.optional(),constants:d.optional(),relations:h.optional(),defaults:j.optional(),publishedData:t.optional(),sessionData:t.optional(),frontendData:t.optional(),backendData:t.optional(),finalizeData:t.optional(),prefetchedFinalizeData:t.optional(),finalizeResult:t.optional(),callbackData:t.optional(),navigationStates:E.optional(),viewStates:E.optional(),toolStates:E.optional(),exportStates:E.optional(),themePreset:o.string().optional(),themeOptions:o.record(o.unknown()).optional(),preview:o.enum(["always","never","auto","hide"]).optional(),alwaysExpand:o.boolean().optional(),availableLocales:o.array(o.string()).optional(),textLanguages:o.array(o.string()).optional(),transformers:R.optional(),project:o.string().regex(/^[a-z0-9-]{3,}$/,"must be a project slug (lowercase letters, digits and dashes, at least 3) or `default`").optional(),applicationVersion:o.string().optional(),workspace:o.boolean().optional(),webComponentTag:o.string().optional(),pageTitle:o.string().optional(),useAuthHook:o.boolean().optional(),useClerk:o.boolean().optional(),enableAdminRelease:o.boolean().optional(),jsonSchemaValidator:o.enum(["ajv","csp-compatible"]).optional(),gltfDecoder:o.enum(["js","wasm"]).optional(),appLoader:o.enum(["legacy","universal"]).optional(),collectFinalizeData:o.boolean().optional(),env:w.optional(),acl:r.optional(),resources:O.optional(),resourcesConfig:v.optional(),budgets:m.optional(),chunks:c.optional(),assistant:p.optional(),$adminPages:l.optional()}).strict();export const parseRawSpecFile=(o,t)=>{e(o.content,t);let r=k.safeParse(o.content);if(!r.success){for(let o of r.error.issues)t.error(n.SCHEMA_PARSE_ERROR,i.SCHEMA_PARSE_ERROR(o.path.join("."),o.message));return}let{constants:s,...l}=r.data,p=((o,a)=>{let t=Object.fromEntries(Object.entries(o.expressions??{}).map(([o,a])=>[o,{...a}]));if(void 0===o.constants)return Object.keys(t).length>0?t:void 0;for(let[e,r]of Object.entries(o.constants))for(let[o,s]of(t[e]||(t[e]={}),Object.entries(r))){if(void 0!==t[e][o]){a.at("constants",e,o).error(n.CONSTANTS_EXPRESSION_CONFLICT,i[n.CONSTANTS_EXPRESSION_CONFLICT](e,o));continue}t[e][o]={kind:"value",constant:!0,value:s,schema:{}}}return Object.keys(t).length>0?t:void 0})(r.data,t);return a({name:o.name,content:{...l,expressions:p}})};
+import{z as o}from"zod";import{Branded as a}from"@salsita-ai/common/utils";import{enhancedJsonObjectSchema as t}from"../../core/index.js";import{validateNoLegacyCodeRef as e}from"../../enhanced-json/index.js";import{DiagnosticCode as n,diagnosticMessages as i}from"../../errors/index.js";import{rawAclSchema as r}from"./raw-acl.js";import{rawActionsSchema as s}from"./raw-actions.js";import{rawAdminPagesSchema as l}from"./raw-admin-pages.js";import{rawAssistantSchema as p}from"./raw-assistant.js";import{rawBudgetsSchema as m}from"./raw-budgets.js";import{rawChunksSchema as c}from"./raw-chunks.js";import{rawComponentsSchema as f}from"./raw-components.js";import{rawConstantsSchema as d}from"./raw-constants.js";import{rawDataSpecSchema as j}from"./raw-data.js";import{rawDefaultsSchema as u}from"./raw-defaults.js";import{rawEnvSchema as w}from"./raw-env.js";import{rawExpressionsSchema as b}from"./raw-expressions.js";import{rawInvariantsSchema as g}from"./raw-invariants.js";import{rawModelSchema as S}from"./raw-model.js";import{rawPresetsSchema as h}from"./raw-presets.js";import{rawRelationsSchema as D}from"./raw-relations.js";import{rawResourcesConfigSchema as v,rawResourcesSchema as O}from"./raw-resources.js";import{rawStateValuesSchema as E}from"./raw-states.js";import{rawTransformersSchema as R}from"./raw-transformers.js";export const DATA_SCHEMA_KEYS=["publishedData","sessionData","frontendData","backendData","finalizeData","prefetchedFinalizeData","finalizeResult","callbackData"];let k=o.object({$admin:o.boolean().optional(),model:S.optional(),components:f.optional(),presets:h.optional(),$data:j.optional(),expressions:b.optional(),actions:s.optional(),invariants:g.optional(),constants:d.optional(),relations:D.optional(),defaults:u.optional(),publishedData:t.optional(),sessionData:t.optional(),frontendData:t.optional(),backendData:t.optional(),finalizeData:t.optional(),prefetchedFinalizeData:t.optional(),finalizeResult:t.optional(),callbackData:t.optional(),navigationStates:E.optional(),viewStates:E.optional(),toolStates:E.optional(),exportStates:E.optional(),themePreset:o.string().optional(),themeOptions:o.record(o.unknown()).optional(),preview:o.enum(["always","never","auto","hide"]).optional(),alwaysExpand:o.boolean().optional(),availableLocales:o.array(o.string()).optional(),textLanguages:o.array(o.string()).optional(),transformers:R.optional(),project:o.string().regex(/^[a-z0-9-]{3,}$/,"must be a project slug (lowercase letters, digits and dashes, at least 3) or `default`").optional(),applicationVersion:o.string().optional(),workspace:o.boolean().optional(),webComponentTag:o.string().optional(),pageTitle:o.string().optional(),useAuthHook:o.boolean().optional(),useClerk:o.boolean().optional(),enableAdminRelease:o.boolean().optional(),jsonSchemaValidator:o.enum(["ajv","csp-compatible"]).optional(),gltfDecoder:o.enum(["js","wasm"]).optional(),appLoader:o.enum(["legacy","universal"]).optional(),collectFinalizeData:o.boolean().optional(),env:w.optional(),acl:r.optional(),resources:O.optional(),resourcesConfig:v.optional(),budgets:m.optional(),chunks:c.optional(),assistant:p.optional(),$adminPages:l.optional()}).strict();export const parseRawSpecFile=(o,t)=>{e(o.content,t);let r=k.safeParse(o.content);if(!r.success){for(let o of r.error.issues)t.error(n.SCHEMA_PARSE_ERROR,i.SCHEMA_PARSE_ERROR(o.path.join("."),o.message));return}let{constants:s,...l}=r.data,p=((o,a)=>{let t=Object.fromEntries(Object.entries(o.expressions??{}).map(([o,a])=>[o,{...a}]));if(void 0===o.constants)return Object.keys(t).length>0?t:void 0;for(let[e,r]of Object.entries(o.constants))for(let[o,s]of(t[e]||(t[e]={}),Object.entries(r))){if(void 0!==t[e][o]){a.at("constants",e,o).error(n.CONSTANTS_EXPRESSION_CONFLICT,i[n.CONSTANTS_EXPRESSION_CONFLICT](e,o));continue}t[e][o]={kind:"value",constant:!0,value:s,schema:{}}}return Object.keys(t).length>0?t:void 0})(r.data,t);return a({name:o.name,content:{...l,expressions:p}})};

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

@@ -1 +1 @@
-import{Branded as e}from"@salsita-ai/common/utils";import{DiagnosticCode as t,diagnosticMessages as s}from"../../../../errors/index.js";import{Components as n,UserComponents as r}from"../../components/index.js";import{Expressions as o}from"../../expressions/index.js";import{Invariants as i}from"../../invariants/index.js";import{ConfigurationSchema as a,Defaults as m,ModelVersion as l,Presets as p}from"../../model/index.js";import{Relations as d}from"../../relations/index.js";import{ResolvedVersions as f}from"../resolved-versions.js";import{AdminPages as S}from"./admin-pages.js";import{AdminStates as v}from"./states.js";export const AdminSpec=(g,x)=>{let{rawModel:u,rawPresets:I,rawExpressions:N,rawInvariants:T,rawRelations:_,rawDefaults:c,migrationFiles:j,rawComponents:A,rawAdminPages:C,dataSpec:E,phxDefinitions:M,evalExpressionParser:h,label:L,requireMigrationFiles:y}=g;if(0===Object.keys(u).length)return void x.at(L).error(t.MISSING_MODEL,s.MISSING_MODEL(L));u.latest||x.at(L).error(t.MISSING_LATEST,s.MISSING_LATEST(L));let G=new Map;for(let[e,t]of Object.entries(u)){let s=l(e,t,M,x.at(L,e));s&&G.set(s.versionKey,s)}if(x.hasErrors)return;let O=f(G,j,x,{requireMigrationFiles:y});if(!O)return;let D=O.versionedModels.find(e=>e.isLatest)?.modelVersion;if(!D)return;let V=O.latestVersion,P=a(D,V),b=d(_,D,x),w=i({rawInvariants:T,rawExpressions:N,rawRelations:_,rawComponents:A},D,x),F=p(I,D,b,x),k=S(C,{latestModel:D,parsingContext:x.at(L,"$adminPages")},E);if(!k)return;let K=r(A,{allNames:D.allNames,resolvedShapes:D.resolvedShapes,parsingContext:x}),$=m(c,D,x.at(L,"defaults")),q=o({rawExpressions:N,inferredExpressions:[...b.expressions,...w.expressions,...K.expressions]},{latestModel:D,aliases:D.aliases,entityTypes:D.entityTypes,evalExpressionParser:h,parsingContext:x}),z=n({userComponents:K.components,generatedComponents:[...b.components,...k.components],invariantComponents:w.components},{aliases:D.aliases,parsingContext:x});if(void 0!==$&&void 0!==q&&void 0!==z)return e({latestModel:D,schemaVersion:V,resolvedVersions:O,components:z,configurationSchema:P,presets:F,expressions:q,invariants:w,defaults:$,states:v(((n,r,o)=>{if(0===r.length)return n;let i=1===n.navigationStates.length&&"Default"===n.navigationStates[0]?[]:n.navigationStates,a=i.filter(e=>r.includes(e));return a.length>0&&o.error(t.ADMIN_PAGES_NAV_STATE_CONFLICT,s.ADMIN_PAGES_NAV_STATE_CONFLICT(a)),e({...n,navigationStates:[...i,...r]})})(g.rawStates,k.navigationStates,x),x),adminPages:k})};
+import{Branded as e}from"@salsita-ai/common/utils";import{DiagnosticCode as t,diagnosticMessages as s}from"../../../../errors/index.js";import{Components as n,UserComponents as r}from"../../components/index.js";import{Expressions as o}from"../../expressions/index.js";import{Invariants as i}from"../../invariants/index.js";import{ConfigurationSchema as a,Defaults as m,ModelVersion as p,Presets as l}from"../../model/index.js";import{Relations as d}from"../../relations/index.js";import{ResolvedVersions as f}from"../resolved-versions.js";import{AdminPages as S}from"./admin-pages.js";import{AdminStates as x}from"./states.js";export const AdminSpec=(g,v)=>{let{rawModel:u,rawPresets:I,rawExpressions:T,rawInvariants:_,rawRelations:c,rawDefaults:j,migrationFiles:A,rawComponents:C,rawAdminPages:E,dataSpec:M,phxDefinitions:N,evalExpressionParser:L,label:y,requireMigrationFiles:G}=g;if(0===Object.keys(u).length)return void v.at(y).error(t.MISSING_MODEL,s.MISSING_MODEL(y));u.latest||v.at(y).error(t.MISSING_LATEST,s.MISSING_LATEST(y));let O=new Map;for(let[e,t]of Object.entries(u)){let s=p(e,t,N,v.at(y,e));s&&O.set(s.versionKey,s)}if(v.hasErrors)return;let h=f(O,A,v,{requireMigrationFiles:G});if(!h)return;let D=h.versionedModels.find(e=>e.isLatest)?.modelVersion;if(!D)return;let V=h.latestVersion,P=a(D,V),b=d(c,D,N,v),w=i({rawInvariants:_,rawExpressions:T,rawRelations:c,rawComponents:C},D,N,v),F=l(I,D,b,v),R=S(E,{latestModel:D,parsingContext:v.at(y,"$adminPages")},M);if(!R)return;let k=r(C,{latestModel:D,phxDefinitions:N,parsingContext:v}),K=m(j,D,v.at(y,"defaults")),$=o({rawExpressions:T,inferredExpressions:[...b.expressions,...w.expressions,...k.expressions],expressionReads:k.expressionReads},{latestModel:D,aliases:D.aliases,entityTypes:D.entityTypes,evalExpressionParser:L,phxDefinitions:N,parsingContext:v}),q=n({userComponents:k.components,generatedComponents:[...b.components,...R.components],invariantComponents:w.components},{aliases:D.aliases,parsingContext:v});if(void 0!==K&&void 0!==$&&void 0!==q)return e({latestModel:D,schemaVersion:V,resolvedVersions:h,components:q,configurationSchema:P,presets:F,expressions:$,invariants:w,defaults:K,states:x(((n,r,o)=>{if(0===r.length)return n;let i=1===n.navigationStates.length&&"Default"===n.navigationStates[0]?[]:n.navigationStates,a=i.filter(e=>r.includes(e));return a.length>0&&o.error(t.ADMIN_PAGES_NAV_STATE_CONFLICT,s.ADMIN_PAGES_NAV_STATE_CONFLICT(a)),e({...n,navigationStates:[...i,...r]})})(g.rawStates,R.navigationStates,v),v),adminPages:R})};

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

@@ -1 +1 @@
-import{Branded as e}from"@salsita-ai/common/utils";import{DiagnosticCode as s,diagnosticMessages as t}from"../../../../errors/index.js";import{Components as o,UserComponents as r}from"../../components/index.js";import{Expressions as i}from"../../expressions/index.js";import{Invariants as n}from"../../invariants/index.js";import{ConfigurationSchema as a,DataSchemas as m,Defaults as p,ModelVersion as l,Presets as d}from"../../model/index.js";import{Relations as f}from"../../relations/index.js";import{Actions as x,AssistantServerSettings as S,AssistantSpec as v,Theme as c,Transformers as j,Ui as u}from"../../sections/index.js";import{ResolvedVersions as g}from"../resolved-versions.js";import{ConfiguratorStates as C}from"./states.js";export const ConfiguratorSpec=(I,M)=>{let{rawModel:h,rawPresets:y,rawExpressions:E,rawActions:N,rawInvariants:T,rawRelations:L,rawDefaults:G,dataSchemas:O,dataSpec:_,appMetadata:b,rawTheme:w,rawUi:A,rawTransformers:D,rawAssistant:V,migrationFiles:k,transformerFiles:K,rawComponents:q,phxDefinitions:z,evalExpressionParser:B,label:F}=I;if(0===Object.keys(h).length)return void M.at(F).error(s.MISSING_MODEL,t.MISSING_MODEL(F));h.latest||M.at(F).error(s.MISSING_LATEST,t.MISSING_LATEST(F));let H=new Map;for(let[e,s]of Object.entries(h)){let t=l(e,s,z,M.at(F,e));t&&H.set(t.versionKey,t)}if(M.hasErrors)return;let J=g(H,k,M);if(!J)return;let P=J.versionedModels.find(e=>e.isLatest)?.modelVersion;if(!P)return;let Q=J.latestVersion,R=a(P,Q),U=f(L,P,M),W=n({rawInvariants:T,rawExpressions:E,rawRelations:L,rawComponents:q},P,M),X=d(y,P,U,M),Y=r(q,{allNames:P.allNames,resolvedShapes:P.resolvedShapes,parsingContext:M}),Z=p(G,P,M.at(F,"defaults")),$=j(D,K,M),ee=i({rawExpressions:E,inferredExpressions:[...U.expressions,...W.expressions,...Y.expressions]},{latestModel:P,aliases:P.aliases,entityTypes:P.entityTypes,evalExpressionParser:B,parsingContext:M}),es=o({userComponents:Y.components,generatedComponents:U.components,invariantComponents:W.components},{aliases:P.aliases,parsingContext:M}),et=m({merged:O,dataSpec:_,appMetadata:b,phxDefinitions:z,parsingContext:M}),eo=C(I.rawStates,M.at("states")),er=x(N,{latestModel:P,phxDefinitions:z},M.at("actions"));if(void 0!==Z&&void 0!==ee&&void 0!==er&&void 0!==es&&void 0!==et)return e({latestModel:P,schemaVersion:Q,dataSchemas:et,resolvedVersions:J,components:es,configurationSchema:R,presets:X,expressions:ee,actions:er,invariants:W,defaults:Z,states:eo,theme:c(w),ui:u(A),transformers:$,assistant:v(V,{model:P,states:eo,phxDefinitions:z,expressions:ee,components:es,actions:er},M),assistantServerSettings:S(V)})};
+import{Branded as e}from"@salsita-ai/common/utils";import{DiagnosticCode as s,diagnosticMessages as t}from"../../../../errors/index.js";import{Components as o,UserComponents as r}from"../../components/index.js";import{Expressions as i}from"../../expressions/index.js";import{Invariants as n}from"../../invariants/index.js";import{ConfigurationSchema as a,DataSchemas as m,Defaults as p,ModelVersion as d,Presets as l}from"../../model/index.js";import{Relations as f}from"../../relations/index.js";import{Actions as x,AssistantServerSettings as S,AssistantSpec as v,Theme as c,Transformers as j,Ui as u}from"../../sections/index.js";import{ResolvedVersions as g}from"../resolved-versions.js";import{ConfiguratorStates as C}from"./states.js";export const ConfiguratorSpec=(I,M)=>{let{rawModel:y,rawPresets:E,rawExpressions:T,rawActions:L,rawInvariants:h,rawRelations:G,rawDefaults:N,dataSchemas:O,dataSpec:_,appMetadata:b,rawTheme:w,rawUi:A,rawTransformers:D,rawAssistant:R,migrationFiles:V,transformerFiles:k,rawComponents:K,phxDefinitions:q,evalExpressionParser:z,label:B}=I;if(0===Object.keys(y).length)return void M.at(B).error(s.MISSING_MODEL,t.MISSING_MODEL(B));y.latest||M.at(B).error(s.MISSING_LATEST,t.MISSING_LATEST(B));let F=new Map;for(let[e,s]of Object.entries(y)){let t=d(e,s,q,M.at(B,e));t&&F.set(t.versionKey,t)}if(M.hasErrors)return;let H=g(F,V,M);if(!H)return;let J=H.versionedModels.find(e=>e.isLatest)?.modelVersion;if(!J)return;let P=H.latestVersion,Q=a(J,P),U=f(G,J,q,M),W=n({rawInvariants:h,rawExpressions:T,rawRelations:G,rawComponents:K},J,q,M),X=l(E,J,U,M),Y=r(K,{latestModel:J,phxDefinitions:q,parsingContext:M}),Z=p(N,J,M.at(B,"defaults")),$=j(D,k,M),ee=i({rawExpressions:T,inferredExpressions:[...U.expressions,...W.expressions,...Y.expressions],expressionReads:Y.expressionReads},{latestModel:J,aliases:J.aliases,entityTypes:J.entityTypes,evalExpressionParser:z,phxDefinitions:q,parsingContext:M}),es=o({userComponents:Y.components,generatedComponents:U.components,invariantComponents:W.components},{aliases:J.aliases,parsingContext:M}),et=m({merged:O,dataSpec:_,appMetadata:b,phxDefinitions:q,parsingContext:M}),eo=C(I.rawStates,M.at("states")),er=x(L,{latestModel:J,phxDefinitions:q},M.at("actions"));if(void 0!==Z&&void 0!==ee&&void 0!==er&&void 0!==es&&void 0!==et)return e({latestModel:J,schemaVersion:P,dataSchemas:et,resolvedVersions:H,components:es,configurationSchema:Q,presets:X,expressions:ee,actions:er,invariants:W,defaults:Z,states:eo,theme:c(w),ui:u(A),transformers:$,assistant:v(R,{model:J,states:eo,phxDefinitions:q,expressions:ee,components:es,actions:er},M),assistantServerSettings:S(R)})};

package/dist/application-spec/parse-application-files/spec/common/index.d.ts

@@ -1,2 +1,3 @@
 export * from './schema-ref-resolver.js';
 export * from './validate-schema-refs.js';
+export * from './value-type/index.js';

package/dist/application-spec/parse-application-files/spec/common/index.js

@@ -1 +1 @@
-export*from"./schema-ref-resolver.js";export*from"./validate-schema-refs.js";
+export*from"./schema-ref-resolver.js";export*from"./validate-schema-refs.js";export*from"./value-type/index.js";

package/dist/application-spec/parse-application-files/spec/common/value-type/format-value-type.d.ts

@@ -0,0 +1,3 @@
+import type { ValueType } from './value-type.js';
+/** Writes a type the way TypeScript would, for diagnostics. Deeply nested objects read `object`. */
+export declare const formatValueType: (type: ValueType) => string;

package/dist/application-spec/parse-application-files/spec/common/value-type/format-value-type.js

@@ -0,0 +1 @@
+let e=(n,r)=>0===n.length?"never":[...new Set(n.map(n=>((n,r)=>{switch(n.kind){case"unknown":return"unknown";case"string":if(n.named){let e=n.named.entityTypes;return void 0===e?n.named.name:`${n.named.name}<${[...e].map(e=>`'${e}'`).join(" | ")}>`}return void 0===n.literal?"string":`'${n.literal}'`;case"number":case"boolean":return void 0===n.literal?n.kind:String(n.literal);case"null":return"null";case"array":{let t=e(n.element,r+1);return n.element.length>1?`readonly (${t})[]`:`readonly ${t}[]`}case"object":{if(r>=2)return"object";if(n.index)return`Record<string, ${e(n.index,r+1)}>`;if(!n.properties)return"Record<string, unknown>";let t=[...n.properties].map(([n,t])=>`${n}${t.required?"":"?"}: ${e(t.type,r+1)}`);return`{ ${t.join("; ")} }`}}})(n,r)))].join(" | ");export const formatValueType=n=>e(n,0);

package/dist/application-spec/parse-application-files/spec/common/value-type/index.d.ts

@@ -0,0 +1,5 @@
+export * from './format-value-type.js';
+export * from './intersect-value-types.js';
+export * from './is-assignable-value-type.js';
+export * from './value-type-at.js';
+export * from './value-type.js';

package/dist/application-spec/parse-application-files/spec/common/value-type/index.js

@@ -0,0 +1 @@
+export*from"./format-value-type.js";export*from"./intersect-value-types.js";export*from"./is-assignable-value-type.js";export*from"./value-type-at.js";export*from"./value-type.js";

package/dist/application-spec/parse-application-files/spec/common/value-type/intersect-value-types.d.ts

@@ -0,0 +1,6 @@
+import type { ValueType } from './value-type.js';
+/**
+ * The values two types have in common, as a union: an empty union when no value is of both. A
+ * member the schemas do not describe (`unknown`) is assumed to share values with any other.
+ */
+export declare const intersectValueTypes: (left: ValueType, right: ValueType) => ValueType;

package/dist/application-spec/parse-application-files/spec/common/value-type/intersect-value-types.js

@@ -0,0 +1 @@
+let e=[{kind:"unknown"}],n="DomainEntityId",i=(e,n)=>void 0!==n.literal?n.literal===e.literal?[e]:[]:!n.named||n.named.acceptsLiteral?.(e.literal)?[e]:[],t=e=>"object"===e.kind&&void 0===e.index&&void 0!==e.properties&&e.properties.size>0&&[...e.properties.values()].every(e=>!e.required);export const intersectValueTypes=(r,l)=>r.flatMap(r=>l.flatMap(l=>((r,l)=>{if("unknown"===r.kind||"unknown"===l.kind)return e;if("string"===r.kind&&"string"===l.kind)return((t,r)=>{let{literal:l}=t;return void 0!==l?i({...t,literal:l},r):void 0!==r.literal?i({...r,literal:r.literal},t):t.named&&r.named?((i,t)=>{let r,l;if(i.name!==t.name)return i.name===n||t.name===n?[]:e;if(void 0===i.entityTypes||void 0===t.entityTypes)return[{kind:"string",named:void 0===i.entityTypes?t:i}];let d=(r=i.entityTypes,l=t.entityTypes,new Set([...r].filter(e=>l.has(e))));return 0===d.size?[]:[{kind:"string",named:{...i,entityTypes:d}}]})(t.named,r.named):[t.named?t:r]})(r,l);if("number"===r.kind&&"number"===l.kind||"boolean"===r.kind&&"boolean"===l.kind){let e,n;return e=r,n=l,void 0===e.literal?[n]:void 0===n.literal||n.literal===e.literal?[e]:[]}if("null"===r.kind&&"null"===l.kind)return[r];if("array"===r.kind&&"array"===l.kind)return[{kind:"array",element:intersectValueTypes(r.element,l.element)}];if("object"===r.kind&&"object"===l.kind){let e=new Map(r.properties??[]);for(let[n,i]of l.properties??[]){let t=e.get(n);if(!t){e.set(n,i);continue}let r=intersectValueTypes(t.type,i.type),l=t.required||i.required;if(0===r.length&&l)return[];e.set(n,{type:r,required:l})}return r.properties||l.properties?[{kind:"object",properties:e}]:[r.index?r:l]}return t(r)&&"null"!==l.kind?[l]:t(l)&&"null"!==r.kind?[r]:[]})(r,l)));

package/dist/application-spec/parse-application-files/spec/common/value-type/is-assignable-value-type.d.ts

@@ -0,0 +1,8 @@
+import type { ValueType } from './value-type.js';
+/**
+ * Whether TypeScript accepts a value of the source type where the target type is expected: every
+ * member of the source union fits some member of the target union. A member the schemas do not
+ * describe (`unknown`) on either side fits, so the answer is `false` only when the types are known
+ * to disagree.
+ */
+export declare const isAssignableValueType: (source: ValueType, target: ValueType) => boolean;

package/dist/application-spec/parse-application-files/spec/common/value-type/is-assignable-value-type.js

@@ -0,0 +1 @@
+let e=(e,r)=>e.filter(e=>e.kind===r),r=(r,i)=>e(i,"boolean").some(e=>void 0===e.literal||e.literal===r),i=e=>"null"===e.kind?[e]:"boolean"===e.kind?void 0===e.literal?[{kind:"boolean",literal:!0},{kind:"boolean",literal:!1}]:[e]:("string"===e.kind||"number"===e.kind)&&void 0!==e.literal?[e]:void 0,t=(r,n)=>{if(e(n,"object").some(e=>{if(void 0!==e.index){var i;return i=e.index,r.properties||r.index?[...r.properties?.values()??[]].every(e=>isAssignableValueType(e.type,i))&&(void 0===r.index||isAssignableValueType(r.index,i)):i.some(e=>"unknown"===e.kind)}return void 0===e.properties||(0===e.properties.size?void 0!==r.properties&&0===r.properties.size&&void 0===r.index:((e,r,i)=>{let t=e.properties;if(!t)return[...r.values()].every(e=>!e.required);for(let[e,i]of r){let r=t.get(e);if(!r){if(i.required)return!1;continue}if(i.required&&!r.required||!isAssignableValueType(r.type,i.type))return!1}let n=!i&&r.size>0&&[...r.values()].every(e=>!e.required),l=[...t.keys()].some(e=>r.has(e));return!n||0===t.size||l})(r,e.properties,e.open??!1))}))return!0;let l=(e=>{for(let[r,t]of e.properties??[]){let n=t.type.map(i);if(!(0===n.length||n.some(e=>void 0===e))&&!(n.flat().length<2))return n.flatMap(e=>e??[]).map(i=>({...e,properties:new Map([...e.properties??[],[r,{...t,type:[i]}]])}))}})(r);return void 0!==l&&l.every(e=>t(e,n))};export const isAssignableValueType=(i,n)=>n.some(e=>"unknown"===e.kind)||i.every(i=>((i,n)=>{switch(i.kind){case"unknown":return!0;case"string":return e(n,"string").some(e=>{if(i.named){var r,t;let n,l;return e.named?(r=i.named,t=e.named,r.name===t.name&&(void 0===t.entityTypes||void 0!==r.entityTypes&&(n=r.entityTypes,l=t.entityTypes,[...n].every(e=>l.has(e))))):void 0===e.literal}return void 0!==i.literal?e.named?e.named.acceptsLiteral?.(i.literal)??!1:void 0===e.literal||e.literal===i.literal:void 0===e.literal&&void 0===e.named});case"number":return e(n,"number").some(e=>void 0===e.literal||e.literal===i.literal);case"boolean":return void 0===i.literal?r(!0,n)&&r(!1,n):r(i.literal,n);case"null":return e(n,"null").length>0;case"array":return e(n,"array").some(e=>isAssignableValueType(i.element,e.element));case"object":return t(i,n)}})(i,n));

package/dist/application-spec/parse-application-files/spec/common/value-type/value-type-at.d.ts

@@ -0,0 +1,10 @@
+import type { SchemaPathSegment } from '../../../../core/index.js';
+import type { ValueType } from './value-type.js';
+/**
+ * The type expected at a path inside a value of `type`: a number segment indexes an array, a string
+ * segment names an object property. Through a union, the path is followed into every member that
+ * has it, and the result is the union of what they expect. A value written there must fit one of
+ * them; which member the rest of the value selects is not considered, so the answer is never
+ * narrower than what TypeScript expects. A path that no member has yields `unknown`.
+ */
+export declare const valueTypeAt: (type: ValueType, path: readonly SchemaPathSegment[]) => ValueType;

package/dist/application-spec/parse-application-files/spec/common/value-type/value-type-at.js

@@ -0,0 +1 @@
+let e=[{kind:"unknown"}],n=(n,t)=>"unknown"===n.kind?e:"number"==typeof t?"array"===n.kind?n.element:[]:"object"!==n.kind?[]:n.index?n.index:n.properties?n.properties.get(t)?.type??[]:e;export const valueTypeAt=(t,r)=>{let o=t;for(let t of r){let r=o.flatMap(e=>n(e,t));if(0===r.length)return e;o=r}return o};

package/dist/application-spec/parse-application-files/spec/common/value-type/value-type.d.ts

@@ -0,0 +1,98 @@
+import type { EnhancedJsonSchemaType } from '../../../../core/index.js';
+import { type SchemaRefResolver } from '../schema-ref-resolver.js';
+/**
+ * A string type that TypeScript names and that a plain `string` does not satisfy: an entity id
+ * (`DomainEntityId`, a branded template literal) or a template literal such as `HexColor`.
+ *
+ * - `entityTypes`: for an entity id, the entity types whose ids it holds; `undefined` for the id of
+ *   any entity (`DomainEntityId<string>`).
+ * - `acceptsLiteral`: which string literals satisfy it; absent for a brand, which no literal does.
+ */
+export interface NamedString {
+    readonly name: string;
+    readonly entityTypes?: ReadonlySet<string>;
+    readonly acceptsLiteral?: (literal: string) => boolean;
+}
+/** A property of an object type. */
+export interface ObjectProperty {
+    readonly type: ValueType;
+    readonly required: boolean;
+}
+/**
+ * One member of the union a {@link ValueType} stands for.
+ *
+ * - `unknown`: a value the schema does not describe, such as a type given as TypeScript text
+ *   (`tsType`) or a ref that resolves to nothing. It is assignable to and from every type.
+ * - `string`, `number`, `boolean`: a primitive, or one literal of it (`literal`). A string can be a
+ *   {@link NamedString}.
+ * - `array`: a read-only array of `element`.
+ * - `object`: `properties` lists the known properties; `index` is the type of every other property
+ *   (`Record<string, T>`). With neither, it is any object (`Record<string, unknown>`). `open` marks
+ *   an SDK type, whose TypeScript type may have properties its schema does not list.
+ */
+export type ValueTypeMember = {
+    readonly kind: 'unknown';
+} | {
+    readonly kind: 'string';
+    readonly literal?: string;
+    readonly named?: NamedString;
+} | {
+    readonly kind: 'number';
+    readonly literal?: number;
+} | {
+    readonly kind: 'boolean';
+    readonly literal?: boolean;
+} | {
+    readonly kind: 'null';
+} | {
+    readonly kind: 'array';
+    readonly element: ValueType;
+} | {
+    readonly kind: 'object';
+    readonly properties?: ReadonlyMap<string, ObjectProperty>;
+    readonly index?: ValueType;
+    readonly open?: boolean;
+};
+/**
+ * The type a schema stands for in generated TypeScript, as the union of its members. An empty union
+ * is `never`.
+ */
+export type ValueType = readonly ValueTypeMember[];
+/** Who wrote a schema, which decides what its `tsType` means. */
+export type SchemaAuthor = 
+/** A project: a `tsType` is TypeScript text the parser cannot read, so the type is `unknown`. */
+'project'
+/**
+ * The SDK: a component or phoenix definition schema states its type in JSON next to the `tsType`
+ * that names it, so the JSON describes the type, except for the named strings in
+ * {@link NAMED_STRINGS}.
+ */
+ | 'sdk';
+/** What a {@link ValueType} needs to read a schema. */
+export interface ValueTypeResolution {
+    readonly author: SchemaAuthor;
+    /** Resolves phoenix definition refs and common type refs. */
+    readonly resolveRef: SchemaRefResolver;
+    /** The entity types an entity type or alias name stands for. */
+    readonly entityTypes: (typeOrAlias: string) => readonly string[];
+    /** The `definitions` of the root schema, for its `#/definitions/X` refs. */
+    readonly definitions?: Readonly<Record<string, EnhancedJsonSchemaType>>;
+}
+/**
+ * The SDK's named string types, by the `tsType` an SDK schema gives them, with the literals that
+ * satisfy each (none for a brand). A `type: string` schema of the SDK whose `tsType` is not listed
+ * here describes a plain string.
+ */
+export declare const NAMED_STRINGS: Readonly<Record<string, Pick<NamedString, 'acceptsLiteral'>>>;
+/** The type of an entity id: of the entity types `typeOrAlias` stands for, or of any entity. */
+export declare const entityIdValueType: (typeOrAlias: string | undefined, resolution: Pick<ValueTypeResolution, 'entityTypes'>) => ValueType;
+/**
+ * The type TypeScript gives a literal value written in a spec where a type is expected: a string,
+ * number or boolean is its literal type, an array is an array of the union of its items, and an
+ * object has exactly its properties, each required.
+ */
+export declare const literalValueType: (value: unknown) => ValueType;
+/** The type a schema stands for in generated TypeScript. */
+export declare const ValueType: (schema: EnhancedJsonSchemaType, resolution: ValueTypeResolution) => ValueType;
+/** Whether a type has a member the schema does not describe. */
+export declare const hasUnknownMember: (type: ValueType) => boolean;

package/dist/application-spec/parse-application-files/spec/common/value-type/value-type.js

@@ -0,0 +1 @@
+import{isArray as e}from"@salsita-ai/common/utils";import{phxDefinitionRefName as t}from"../schema-ref-resolver.js";let r=new Set(["white","black","red","green","blue","yellow","cyan","magenta"]),n=e=>e.startsWith("#");export const NAMED_STRINGS={DomainEntityId:{},HexColor:{acceptsLiteral:n},Color:{acceptsLiteral:e=>{let t;return n(e)||r.has(e)||e.startsWith("ral-")&&(t=e.slice(4)).trim()===t&&""!==t&&!Number.isNaN(Number(t))}}};let i={EnhancedLocalizable:"Localizable",EnhancedMessageDescriptor:"MessageDescriptor"},o=new Set(["PhoenixEntityElement","PhoenixLayoutElement"]),a=[{kind:"unknown"}],l="DomainEntityId";export const entityIdValueType=(e,t)=>[{kind:"string",named:{name:l,...void 0===e?{}:{entityTypes:new Set(t.entityTypes(e))}}}];export const literalValueType=e=>null===e?[{kind:"null"}]:"string"==typeof e?[{kind:"string",literal:e}]:"number"==typeof e?[{kind:"number",literal:e}]:"boolean"==typeof e?[{kind:"boolean",literal:e}]:Array.isArray(e)?[{kind:"array",element:e.flatMap(literalValueType)}]:"object"==typeof e?[{kind:"object",properties:new Map(Object.entries(e).map(([e,t])=>[e,{type:literalValueType(t),required:!0}]))}]:[{kind:"unknown"}];let s=(e,r)=>{let{$ref:n}=e;if(r.openRefs.has(n))return a;let i=new Set([...r.openRefs,n]),o=/^#\/definitions\/([^/]+)$/.exec(n)?.[1],s=void 0===o?void 0:r.resolution.definitions?.[o];if(s)return y(s,{...r,openRefs:i});let p=t(n);if(p===l)return entityIdValueType(e.references,r.resolution);let u=r.resolution.resolveRef(n);if(!u)return a;let d=void 0===p?r.resolution:{...r.resolution,author:"sdk",definitions:void 0};return void 0!==p&&void 0!==u.tsType&&/^\$?DomainEntity$/.test(u.tsType)?a:y(u,{resolution:d,openRefs:i})},p=(t,r,n)=>{switch(t){case"string":return[{kind:"string"}];case"number":case"integer":return[{kind:"number"}];case"boolean":return[{kind:"boolean"}];case"null":return[{kind:"null"}];case"array":return((t,r)=>{let{items:n}=t;return n?e(n)?a:[{kind:"array",element:y(n,r)}]:[{kind:"array",element:a}]})(r,n);case"object":let i="sdk"===n.resolution.author;if(i&&(!r.properties&&(void 0===r.additionalProperties||"object"==typeof r.additionalProperties&&0===Object.keys(r.additionalProperties).length)||r.properties&&0===Object.keys(r.properties).length))return a;if("object"==typeof r.additionalProperties)return[{kind:"object",index:y(r.additionalProperties,n)}];if(!r.properties)return[{kind:"object"}];let o=new Set(r.required??[]),l=new Map;for(let[e,t]of Object.entries(r.properties))l.set(e,{type:y(t,n),required:o.has(e)});return[{kind:"object",properties:l,...i?{open:!0}:{}}];default:return a}},u=["type","enum","const","$ref","anyOf","oneOf","allOf","properties","items","additionalProperties","tsType"],d=e=>u.some(t=>t in e),y=(t,r)=>{if(void 0!==t.tsType){if("project"===r.resolution.author||o.has(t.tsType))return a;let e=i[t.tsType];if(void 0!==e)return s({$ref:`phx:${e}`},r);let n=NAMED_STRINGS[t.tsType];if(n)return t.tsType===l?entityIdValueType(t.references,r.resolution):[{kind:"string",named:{name:t.tsType,...n}}]}if(void 0!==t.$ref)return s({...t,$ref:t.$ref},r);if(t.enum)return t.enum.flatMap(literalValueType);let n=t.const;if(void 0!==n)return literalValueType(n);let u=t.anyOf??t.oneOf;return u?u.flatMap(e=>y(e,r)):t.allOf?((e,t)=>{let[r,...n]=e.filter(d);return r&&0===n.length?y(r,t):a})(t.allOf,r):"string"==typeof t.type?p(t.type,t,r):e(t.type)?t.type.flatMap(e=>p(e,t,r)):a};export const ValueType=(e,t)=>y(e,{resolution:t,openRefs:new Set});export const hasUnknownMember=e=>e.some(e=>"unknown"===e.kind);

package/dist/application-spec/parse-application-files/spec/components/bindings/component-path.d.ts

@@ -0,0 +1,13 @@
+import type { ParseContext, SchemaPathSegment } from '../../../../core/index.js';
+import type { ComponentReadBindingContext } from './read-binding.js';
+type ComponentInstance = Pick<ComponentReadBindingContext, 'entityKey' | 'componentName' | 'instanceName'>;
+/** Writes a path inside a component instance's props, such as `options[0].label`. */
+export declare const formatComponentPropPath: (path: readonly SchemaPathSegment[]) => string;
+/**
+ * Names a place in a component instance for a diagnostic: `Entity.component.instance`, followed by
+ * the path inside the instance (a prop path or a filter criterion) when there is one.
+ */
+export declare const componentPath: (instance: ComponentInstance, path: readonly SchemaPathSegment[]) => string;
+/** The parse context at a place in a component instance, so a diagnostic carries its spec path. */
+export declare const componentParseContext: (parsingContext: ParseContext, instance: ComponentInstance, path: readonly SchemaPathSegment[]) => ParseContext;
+export {};

package/dist/application-spec/parse-application-files/spec/components/bindings/component-path.js

@@ -0,0 +1 @@
+export const formatComponentPropPath=t=>t.reduce((t,n)=>"number"==typeof n?`${t}[${n}]`:0===t.length?n:`${t}.${n}`,"");export const componentPath=(t,n)=>{let e=`${String(t.entityKey)}.${t.componentName}.${String(t.instanceName)}`;return 0===n.length?e:`${e}.${formatComponentPropPath(n)}`};export const componentParseContext=(t,n,e)=>t.at(String(n.entityKey),n.componentName,String(n.instanceName),...e.map(String));

package/dist/application-spec/parse-application-files/spec/components/bindings/index.d.ts

@@ -1,2 +1,4 @@
+export * from './component-path.js';
 export * from './read-binding.js';
+export * from './read-binding-type.js';
 export * from './write-binding.js';

package/dist/application-spec/parse-application-files/spec/components/bindings/index.js

@@ -1 +1 @@
-export*from"./read-binding.js";export*from"./write-binding.js";
+export*from"./component-path.js";export*from"./read-binding.js";export*from"./read-binding-type.js";export*from"./write-binding.js";

package/dist/application-spec/parse-application-files/spec/components/bindings/read-binding-type.d.ts

@@ -0,0 +1,24 @@
+import type { SchemaPathSegment } from '../../../../core/index.js';
+import { type ValueType, type ValueTypeResolution } from '../../common/index.js';
+import { type ComponentReadBindingContext } from './read-binding.js';
+/** What the type check of a read binding needs besides the binding's own context. */
+export interface ReadBindingTypeContext extends ComponentReadBindingContext {
+    /** Resolves the refs of the entity's field schemas; the schemas are the project's. */
+    readonly typeResolution: Omit<ValueTypeResolution, 'author' | 'definitions'>;
+}
+/** A `$read` or `$bind` of a shape field and the place in the component where it is read. */
+export interface ReadBindingTypeCheck {
+    readonly marker: '$read' | '$bind';
+    readonly target: string;
+    /** Where in the component the value goes: a prop path or a filter criterion, or empty for the whole state. */
+    readonly path: readonly SchemaPathSegment[];
+    /** The type the component expects there. */
+    readonly expected: ValueType;
+}
+/**
+ * Reports a `$read` or `$bind` of a shape field whose type does not fit the type the component
+ * expects where the value goes, which the type check of generated code rejects. An expression
+ * target is checked where the expression's type is settled; an unknown field is reported by
+ * {@link ComponentReadBinding}.
+ */
+export declare const checkReadBindingType: (check: ReadBindingTypeCheck, context: ReadBindingTypeContext) => void;

package/dist/application-spec/parse-application-files/spec/components/bindings/read-binding-type.js

@@ -0,0 +1 @@
+import{DiagnosticCode as e,diagnosticMessages as t}from"../../../../errors/index.js";import{entityIdValueType as r,formatValueType as o,isAssignableValueType as i,ValueType as n}from"../../common/index.js";import{componentParseContext as p,componentPath as a}from"./component-path.js";import{isExpressionReadTarget as m}from"./read-binding.js";export const checkReadBindingType=(s,d)=>{if(m(s.target))return;let c=((e,t)=>{if("id"===e)return r(String(t.entityKey),t.typeResolution);let o=t.resolvedShape.fieldSchemas.get(e);return o&&n(o,{...t.typeResolution,author:"project"})})(s.target,d);!c||i(c,s.expected)||p(d.parsingContext,d,s.path).error(e.COMPONENT_BINDING_TYPE_MISMATCH,t.COMPONENT_BINDING_TYPE_MISMATCH(a(d,s.path),`${s.marker}: ${s.target}`,o(c),o(s.expected)))};

package/dist/application-spec/parse-application-files/spec/components/component-entry.d.ts

@@ -1,4 +1,5 @@
 import type { Branded } from '@salsita-ai/common/utils';
+import type { SdkCodeRef } from '../../../core/index.js';
 import type { MemoEvalPlan, MemoEvalPlanInput } from '../expressions/memo-eval-plan.js';
 import type { EntityOrAliasName, InstanceName } from '../model/index.js';
 import type { ComponentReadBinding, ComponentWriteBinding } from './bindings/index.js';
@@ -46,15 +47,6 @@ interface UserBoundImplementation {
     readonly plan: MemoEvalPlan;
     readonly implementation: RootReadImplementation | CompositeImplementation;
 }
-/**
- * A parameter that should be emitted as an unquoted code reference in codegen
- * (e.g. an entity reflection variable like `Top`).
- * At runtime, the string value is resolved to the actual object (e.g. entity reflection).
- */
-export interface SdkCodeRef {
-    readonly $codeRef: string;
-}
-export declare const isSdkCodeRef: (value: unknown) => value is SdkCodeRef;
 export type SdkFactoryParam = SdkCodeRef | string | number | boolean | null | readonly SdkFactoryParam[] | {
     readonly [key: string]: SdkFactoryParam;
 };

package/dist/application-spec/parse-application-files/spec/components/component-entry.js

@@ -1 +1 @@
-export const isSdkCodeRef=e=>"object"==typeof e&&null!==e&&"$codeRef"in e&&"string"==typeof e.$codeRef;
+export{};