@salsita-ai/sdk 0.50.0-develop.b9eb39baf0 → 0.50.0-develop.bc08a38ffe

package/dist/domain/{components → core/component}/view-state-component.d.ts

@@ -1,4 +1,4 @@
-import { type EntityId } from '../core/index.js';
+import { type EntityId } from '../model/index.js';
 export type ViewStateComponentState = {
     readonly activeState: string;
 };

package/dist/domain/core/component/view-state-component.js

@@ -0,0 +1 @@
+import{isSnapshotInstance as t}from"../model/index.js";import{SystemComponentBuilder as e}from"./system-component-builder.js";import{systemVirtualEntityId as o}from"./system-virtual-entity.js";export const viewStateComponent=e.component("viewState").withState({type:"object",properties:{activeState:{type:"string"}},required:["activeState"],additionalProperties:!1}).withWritableKeys(["activeState"]).build();export const isViewComponentSnapshot=e=>t(e,"singleton",viewStateComponent);export const isSystemViewComponentSnapshot=t(o,"singleton",viewStateComponent);

package/dist/domain/{components → core/component}/viewport-state-component.d.ts

@@ -1,4 +1,4 @@
-import { type EntityId } from '../core/index.js';
+import { type EntityId } from '../model/index.js';
 /**
  * A responsive class the configurator container currently satisfies. The values mirror the
  * responsive flags computed by the UI layer from the theme breakpoints (`isPhone`, `isMobile`,

package/dist/domain/core/component/viewport-state-component.js

@@ -0,0 +1 @@
+import{isSnapshotInstance as t}from"../model/index.js";import{SystemComponentBuilder as e}from"./system-component-builder.js";import{systemVirtualEntityId as o}from"./system-virtual-entity.js";export const VIEWPORTS=["phone","mobile","tablet","desktop","landscape","portrait"];export const viewportStateComponent=e.component("viewportState").withState({type:"object",properties:{active:{oneOf:[{type:"array",items:{type:"string",enum:[...VIEWPORTS]}},{type:"null"}]}},required:["active"],additionalProperties:!1,tsType:"ViewportStateComponentState",import:[{module:"@salsita-ai/sdk/domain",member:"ViewportStateComponentState"}]}).withWritableKeys(["active"]).build();export const isViewportStateComponentSnapshot=e=>t(e,"singleton",viewportStateComponent);export const isSystemViewportStateComponentSnapshot=t(o,"singleton",viewportStateComponent);

package/dist/domain/core/data-schema/data-cell-value.d.ts

@@ -0,0 +1,4 @@
+import type { CellValue } from '@salsita-ai/contracts/webhook';
+export type DataCellValue = CellValue | null | {
+    readonly $lang: Record<string, string>;
+} | readonly CellValue[];

package/dist/domain/core/data-schema/data-schema-array-field.d.ts

@@ -0,0 +1,5 @@
+export interface DataSchemaArrayField {
+    readonly type: 'array';
+    readonly items: 'string' | 'number' | 'boolean';
+    readonly description?: string;
+}

package/dist/domain/core/data-schema/data-schema-field-object.d.ts

@@ -0,0 +1,4 @@
+import type { DataSchemaArrayField } from './data-schema-array-field.js';
+import type { DataSchemaLocalizedField } from './data-schema-localized-field.js';
+import type { DataSchemaPrimitiveField } from './data-schema-primitive-field.js';
+export type DataSchemaFieldObject = DataSchemaPrimitiveField | DataSchemaLocalizedField | DataSchemaArrayField;

package/dist/domain/core/data-schema/data-schema-field-object.js

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

package/dist/domain/core/data-schema/data-schema-field.d.ts

@@ -0,0 +1,2 @@
+import type { DataSchemaFieldObject } from './data-schema-field-object.js';
+export type DataSchemaField = 'string' | 'number' | 'boolean' | readonly ['string', 'null'] | readonly ['number', 'null'] | readonly ['boolean', 'null'] | DataSchemaFieldObject;

package/dist/domain/core/data-schema/data-schema-field.js

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

package/dist/domain/core/data-schema/data-schema-localized-field.d.ts

@@ -0,0 +1,4 @@
+export interface DataSchemaLocalizedField {
+    readonly type: 'localized';
+    readonly description?: string;
+}

package/dist/domain/core/data-schema/data-schema-localized-field.js

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

package/dist/domain/core/data-schema/data-schema-primitive-field.d.ts

@@ -0,0 +1,5 @@
+export interface DataSchemaPrimitiveField {
+    readonly type: 'string' | 'number' | 'integer' | 'boolean';
+    readonly enum?: ReadonlyArray<string | number>;
+    readonly description?: string;
+}

package/dist/domain/core/data-schema/data-schema-primitive-field.js

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

package/dist/domain/core/data-schema/data-schema.d.ts

@@ -0,0 +1,2 @@
+import type { DataSchemaField } from './data-schema-field.js';
+export type DataSchema = Record<string, DataSchemaField>;

package/dist/domain/core/data-schema/data-schema.js

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

package/dist/domain/core/data-schema/index.d.ts

@@ -0,0 +1,7 @@
+export type * from './data-cell-value.js';
+export type * from './data-schema-array-field.js';
+export type * from './data-schema-field-object.js';
+export type * from './data-schema-field.js';
+export type * from './data-schema-localized-field.js';
+export type * from './data-schema-primitive-field.js';
+export type * from './data-schema.js';

package/dist/domain/core/data-schema/index.js

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

package/dist/domain/core/domain-factory.d.ts

@@ -1,8 +1,8 @@
 import type { ExtendedJsonSchema } from '@salsita-ai/common/utils';
-import type { ActionDefinitions, AnyActionImplementations } from './action.js';
-import type { Expression } from './expression.js';
-import type { MigrateFunction } from './migrations.js';
+import type { ActionDefinitions, AnyActionImplementations } from './action/index.js';
+import type { Expression } from './expression/index.js';
 import type { $DomainEntity, $DomainEntityReflection, DomainEntity, EntityByType, EntityReflections, SchemaOfObject } from './model/index.js';
+import type { MigrateFunction } from './state/index.js';
 type $EntityReflections<ENTITIES extends DomainEntity<string>> = {
     [TYPE in ENTITIES['type']]: $DomainEntityReflection<$DomainEntity<EntityByType<ENTITIES, TYPE>>>;
 };

package/dist/domain/core/domain.d.ts

@@ -1,6 +1,6 @@
-import type { AnyExpressions, ExpressionContext } from './expression.js';
+import type { AnyExpressions, OpenExpressionContext } from './expression/index.js';
 import { type $DomainEntity, type AnyEntityReflections, type DomainEntity, type DomainEntityId, type EntityByType } from './model/index.js';
-import type { DomainState } from './state.js';
+import type { DomainState } from './state/index.js';
 export type AllowedRootEntityTypes<ALLOWED_ROOT_ENTITIES extends DomainEntity<string>> = ReadonlyArray<ALLOWED_ROOT_ENTITIES['type']>;
 export type AnyAllowedRootEntityTypes = AllowedRootEntityTypes<DomainEntity<string>>;
 /**
@@ -12,7 +12,7 @@ export interface DomainSelectors {
     readonly getDomainExpressions: () => AnyExpressions;
     readonly getAllowedRootEntityTypes: () => ReadonlyArray<string>;
     readonly getEntityReflections: () => AnyEntityReflections;
-    readonly getExpressionContext: () => ExpressionContext<any, any, any, any, any>;
+    readonly getExpressionContext: () => OpenExpressionContext<any, any, any, any, any>;
 }
 /** Effective mode used by domain expressions and systems. */
 export type DomainMode = 'owner' | 'read' | 'finalize';

package/dist/domain/core/emission/index.d.ts

@@ -0,0 +1,8 @@
+export type * from './reset-state-emission.js';
+export type * from './state-emission.js';
+export type * from './state-update-emission.js';
+export type * from './state-validation-result.js';
+export type * from './transformation-log.js';
+export type * from './transformer-log-entry.js';
+export type * from './transformer-log.js';
+export type * from './transformer-phase.js';

package/dist/domain/core/emission/index.js

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

package/dist/domain/core/emission/reset-state-emission.d.ts

@@ -0,0 +1,12 @@
+import type { ViolationTypesOf$Entity } from '../invariant/index.js';
+import type { $DomainEntity, DomainEntity } from '../model/index.js';
+import type { DomainState } from '../state/index.js';
+import type { StateValidationResult } from './state-validation-result.js';
+import type { TransformationLog } from './transformation-log.js';
+export interface ResetStateEmission<ENTITIES extends DomainEntity<string>, $MAP extends Record<ENTITIES['type'], $DomainEntity<ENTITIES>>> {
+    readonly kind: 'reset';
+    readonly state: DomainState<ENTITIES>;
+    readonly validity: StateValidationResult<ENTITIES, ViolationTypesOf$Entity<$MAP[ENTITIES['type']]>>;
+    readonly tag: unknown;
+    readonly transformationLog: TransformationLog | undefined;
+}

package/dist/domain/core/emission/reset-state-emission.js

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

package/dist/domain/core/emission/state-emission.d.ts

@@ -0,0 +1,4 @@
+import type { $DomainEntity, DomainEntity } from '../model/index.js';
+import type { ResetStateEmission } from './reset-state-emission.js';
+import type { StateUpdateEmission } from './state-update-emission.js';
+export type StateEmission<ENTITIES extends DomainEntity<string>, $MAP extends Record<ENTITIES['type'], $DomainEntity<ENTITIES>>> = ResetStateEmission<ENTITIES, $MAP> | StateUpdateEmission<ENTITIES, $MAP>;

package/dist/domain/core/emission/state-emission.js

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

package/dist/domain/core/emission/state-update-emission.d.ts

@@ -0,0 +1,14 @@
+import type { DataUpdate } from '../component/index.js';
+import type { ViolationTypesOf$Entity } from '../invariant/index.js';
+import type { $DomainEntity, DomainEntity } from '../model/index.js';
+import type { DomainState } from '../state/index.js';
+import type { StateValidationResult } from './state-validation-result.js';
+import type { TransformationLog } from './transformation-log.js';
+export interface StateUpdateEmission<ENTITIES extends DomainEntity<string>, $MAP extends Record<ENTITIES['type'], $DomainEntity<ENTITIES>>> {
+    readonly kind: 'staged' | 'committed';
+    readonly previousState: DomainState<ENTITIES>;
+    readonly state: DomainState<ENTITIES>;
+    readonly updates: ReadonlyArray<DataUpdate<ENTITIES, ENTITIES>>;
+    readonly validity: StateValidationResult<ENTITIES, ViolationTypesOf$Entity<$MAP[ENTITIES['type']]>>;
+    readonly transformationLog: TransformationLog | undefined;
+}

package/dist/domain/core/emission/state-update-emission.js

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

package/dist/domain/core/emission/state-validation-result.d.ts

@@ -0,0 +1,18 @@
+import type { EntityViolation } from '../invariant/index.js';
+import type { DomainEntity } from '../model/index.js';
+export type StateValidationResult<ENTITIES extends DomainEntity<string>, VIOLATION_TYPE extends string> = {
+    readonly valid: true;
+    readonly severity: null;
+} | {
+    readonly valid: true;
+    readonly severity: 'warning' | 'notice';
+    readonly entityViolations: ReadonlyArray<EntityViolation<ENTITIES, VIOLATION_TYPE>>;
+} | {
+    readonly valid: false;
+    readonly severity: 'uncaught';
+    readonly error: Error;
+} | {
+    readonly valid: false;
+    readonly severity: 'fatal' | 'fixable';
+    readonly entityViolations: ReadonlyArray<EntityViolation<ENTITIES, VIOLATION_TYPE>>;
+};

package/dist/domain/core/emission/state-validation-result.js

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

package/dist/domain/core/emission/transformation-log.d.ts

@@ -0,0 +1,2 @@
+import type { TransformerLog } from './transformer-log.js';
+export type TransformationLog = readonly TransformerLog[];

package/dist/domain/core/emission/transformation-log.js

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

package/dist/domain/core/emission/transformer-log-entry.d.ts

@@ -0,0 +1,6 @@
+import type { TransformerPhase } from './transformer-phase.js';
+export interface TransformerLogEntry {
+    phase: TransformerPhase;
+    message: string;
+    data: unknown | undefined;
+}

package/dist/domain/core/emission/transformer-log-entry.js

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

package/dist/domain/core/emission/transformer-log.d.ts

@@ -0,0 +1,11 @@
+import type { StateUpdate } from '../component/index.js';
+import type { DomainEntity } from '../model/index.js';
+import type { TransformerLogEntry } from './transformer-log-entry.js';
+import type { TransformerPhase } from './transformer-phase.js';
+export interface TransformerLog {
+    name: string;
+    entries: readonly TransformerLogEntry[];
+    status: TransformerPhase;
+    updatesIn: ReadonlyArray<StateUpdate<DomainEntity<string>, DomainEntity<string>>>;
+    updatesOut: ReadonlyArray<StateUpdate<DomainEntity<string>, DomainEntity<string>>>;
+}

package/dist/domain/core/emission/transformer-log.js

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

package/dist/domain/core/emission/transformer-phase.d.ts

@@ -0,0 +1 @@
+export type TransformerPhase = 'no-event' | 'no-match' | 'no-resolve' | 'match' | 'no-apply' | 'apply';

package/dist/domain/core/emission/transformer-phase.js

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

package/dist/domain/core/expression/aliased-expressions.d.ts

@@ -0,0 +1,10 @@
+import type { DomainEntity, ExpandAlias, TypeOrAlias } from '../model/index.js';
+import type { AnonymousExpression } from './expression.js';
+/**
+ * The expressions a project implements, keyed by entity type or alias and then by expression name.
+ * It is what `implementCustomExpressions` returns and what the domain is built from; an alias key
+ * stands for every entity type the alias expands to.
+ */
+export type AliasedExpressions<ENTITIES extends DomainEntity<string>, ALLOWED_ROOT_ENTITIES extends ENTITIES, PUBLISHED_DATA extends Record<string, unknown>, SESSION_DATA extends Record<string, unknown>, FRONTEND_DATA extends Record<string, unknown>, ALIASES extends Record<string, ENTITIES>, CONTEXT_EXTENSION = unknown> = {
+    [K in TypeOrAlias<ENTITIES, ALIASES>]?: Record<string, AnonymousExpression<ENTITIES, ALLOWED_ROOT_ENTITIES, PUBLISHED_DATA, SESSION_DATA, FRONTEND_DATA, ExpandAlias<ENTITIES, ALIASES, K>, unknown, CONTEXT_EXTENSION>>;
+};

package/dist/domain/core/expression/aliased-expressions.js

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

package/dist/domain/core/expression/constant-expressions.d.ts

@@ -0,0 +1,16 @@
+import type { ExpressionMeta } from './expression.js';
+/**
+ * The constant expressions of a domain, keyed by entity type or alias and then by the name of the
+ * constant. A constant expression takes no argument: it reads neither the entity nor the state, so
+ * the domain of any project accepts it.
+ */
+export type ConstantExpressions = Readonly<Record<string, Readonly<Record<string, {
+    evaluate(): unknown;
+    readonly meta: ExpressionMeta;
+}>>>>;
+/**
+ * Makes the function that turns the constants of a spec into expressions: every constant becomes an
+ * expression that returns its value. The type a project reads from a constant is the one its
+ * generated model declares for the property, not the type of the expression.
+ */
+export declare const createConstantExpressionFactory: () => (constants: Readonly<Record<string, Readonly<Record<string, unknown>>>>) => ConstantExpressions;

package/dist/domain/core/expression/constant-expressions.js

@@ -0,0 +1 @@
+import{mapNestedObject as t}from"../../utils/map-nested-object.js";export const createConstantExpressionFactory=()=>e=>t()(e,([t,e,o])=>[[t,e,{meta:{},evaluate:()=>o}]]);

package/dist/domain/core/expression/custom-expression.d.ts

@@ -0,0 +1,25 @@
+import type { $DomainEntity, DomainEntity, DomainEntityId, TypeOrAlias } from '../model/index.js';
+import type { DomainState } from '../state/index.js';
+import type { AliasedExpressions } from './aliased-expressions.js';
+import type { ExpressionMeta, OpenExpressionContext } from './expression.js';
+export type CustomExpression<ENTITIES extends DomainEntity<string>, ALLOWED_ROOT_ENTITIES extends ENTITIES, PUBLISHED_DATA extends Record<string, unknown>, SESSION_DATA extends Record<string, unknown>, FRONTEND_DATA extends Record<string, unknown>, SELF extends $DomainEntity<ENTITIES>, T, CONTEXT_EXTENSION = unknown> = (self: SELF, state: DomainState<ENTITIES>, ctx: OpenExpressionContext<ENTITIES, ALLOWED_ROOT_ENTITIES, PUBLISHED_DATA, SESSION_DATA, FRONTEND_DATA, CONTEXT_EXTENSION>) => T;
+export type PotentialCustomExpressions<ENTITIES extends DomainEntity<string>, ALLOWED_ROOT_ENTITIES extends ENTITIES, $MAP extends Record<ENTITIES['type'], $DomainEntity<ENTITIES>>, PUBLISHED_DATA extends Record<string, unknown>, SESSION_DATA extends Record<string, unknown>, FRONTEND_DATA extends Record<string, unknown>, CONTEXT_EXTENSION = unknown> = {
+    [TYPE_OR_ALIAS in keyof $MAP]?: {
+        [NAME in Extract<keyof $MAP[TYPE_OR_ALIAS], `$${string}`>]?: CustomExpression<ENTITIES, ALLOWED_ROOT_ENTITIES, PUBLISHED_DATA, SESSION_DATA, FRONTEND_DATA, $MAP[TYPE_OR_ALIAS], $MAP[TYPE_OR_ALIAS][NAME], CONTEXT_EXTENSION>;
+    };
+};
+export declare const createCustomExpressionFactory: <ENTITIES extends DomainEntity<string>, ALLOWED_ROOT_ENTITIES extends ENTITIES, $MAP extends Record<TypeOrAlias<ENTITIES, ALIASES>, $DomainEntity<ENTITIES>>, PUBLISHED_DATA extends Record<string, unknown>, SESSION_DATA extends Record<string, unknown>, FRONTEND_DATA extends Record<string, unknown>, ALIASES extends Record<string, ENTITIES>, CONTEXT_EXTENSION = unknown>() => (implementations: PotentialCustomExpressions<ENTITIES, ALLOWED_ROOT_ENTITIES, $MAP, PUBLISHED_DATA, SESSION_DATA, FRONTEND_DATA, CONTEXT_EXTENSION>) => AliasedExpressions<ENTITIES, ALLOWED_ROOT_ENTITIES, PUBLISHED_DATA, SESSION_DATA, FRONTEND_DATA, ALIASES, CONTEXT_EXTENSION>;
+/**
+ * Wraps the function a project writes for an expression or for a filter criterion into an
+ * expression: the function receives the entity view of `selfId` instead of the id. It takes the
+ * types of the function as they are, so the expression it returns has the state and the context of
+ * the function, and it asks of the context only the entity view it reads itself.
+ */
+export declare const createCustomExpression: <SELF, STATE, CONTEXT extends {
+    readonly domain: {
+        get$Entity(id: DomainEntityId<string>, state: STATE): unknown;
+    };
+}, T>(evaluate: (self: SELF, state: STATE, ctx: CONTEXT) => T, meta: ExpressionMeta) => {
+    evaluate(selfId: DomainEntityId<string>, state: STATE, ctx: CONTEXT): T;
+    readonly meta: ExpressionMeta;
+};

package/dist/domain/core/expression/custom-expression.js

@@ -0,0 +1 @@
+import{mapNestedObject as e}from"../../utils/map-nested-object.js";export const createCustomExpressionFactory=()=>t=>e()(t,([e,t,o])=>{if(!o)throw Error(`Custom expression for ${e}.${t} is of type undefined`);return[[e,t,createCustomExpression(o,{})]]});export const createCustomExpression=(e,t)=>({evaluate:(t,o,r)=>e(r.domain.get$Entity(t,o),o,r),meta:t});

package/dist/domain/core/expression/expression.d.ts

@@ -0,0 +1,46 @@
+import type { SessionRole } from '@salsita-ai/contracts/api';
+import type { Domain } from '../domain.js';
+import type { $DomainEntity, DomainEntity } from '../model/index.js';
+import type { DomainState, MigrateFunction } from '../state/index.js';
+/**
+ * The part of the expression context that core declares: the mode and role of the session, the data
+ * of the application, the entity view and the migration of the model.
+ */
+export interface CoreExpressionContext<ENTITIES extends DomainEntity<string>, ALLOWED_ROOT_ENTITIES extends ENTITIES, PUBLISHED_DATA extends Record<string, unknown>, SESSION_DATA extends Record<string, unknown>, FRONTEND_DATA extends Record<string, unknown>> {
+    readonly mode: 'owner' | 'read' | 'finalize';
+    readonly role: SessionRole;
+    readonly publishedData: PUBLISHED_DATA;
+    readonly frontendData: FRONTEND_DATA;
+    readonly backendData: Record<string, unknown> | undefined;
+    readonly sessionData: SESSION_DATA;
+    readonly domain: Domain<ENTITIES, ALLOWED_ROOT_ENTITIES, Record<ENTITIES['type'], $DomainEntity<ENTITIES>>>;
+    readonly migrate: MigrateFunction<ENTITIES>;
+}
+/**
+ * The context an expression is evaluated in. Core declares its own part; `CONTEXT_EXTENSION` is
+ * what whoever evaluates the expression adds to it, such as the component reader and the
+ * projections of the domain runtime. An expression that reads only core's part leaves it out.
+ */
+export type OpenExpressionContext<ENTITIES extends DomainEntity<string>, ALLOWED_ROOT_ENTITIES extends ENTITIES, PUBLISHED_DATA extends Record<string, unknown>, SESSION_DATA extends Record<string, unknown>, FRONTEND_DATA extends Record<string, unknown>, CONTEXT_EXTENSION = unknown> = CoreExpressionContext<ENTITIES, ALLOWED_ROOT_ENTITIES, PUBLISHED_DATA, SESSION_DATA, FRONTEND_DATA> & CONTEXT_EXTENSION;
+export interface ExpressionMeta {
+    /**
+     * By enabling this flag, expression will be run during validation. It is primarily used to check validity of relations.
+     */
+    readonly alwaysEvaluate?: boolean;
+}
+/**
+ * Metadata used for debugging of expression exceptions.
+ */
+export interface ExpressionOrigin {
+    readonly typeOrAlias: string;
+    readonly name: string;
+}
+export interface AnonymousExpression<ENTITIES extends DomainEntity<string>, ALLOWED_ROOT_ENTITIES extends ENTITIES, PUBLISHED_DATA extends Record<string, unknown>, SESSION_DATA extends Record<string, unknown>, FRONTEND_DATA extends Record<string, unknown>, SELF extends ENTITIES, T, CONTEXT_EXTENSION = unknown> {
+    evaluate(selfId: SELF['id'], state: DomainState<ENTITIES>, ctx: OpenExpressionContext<ENTITIES, ALLOWED_ROOT_ENTITIES, PUBLISHED_DATA, SESSION_DATA, FRONTEND_DATA, CONTEXT_EXTENSION>): T;
+    readonly meta: ExpressionMeta;
+}
+export interface Expression<ENTITIES extends DomainEntity<string>, ALLOWED_ROOT_ENTITIES extends ENTITIES, PUBLISHED_DATA extends Record<string, unknown>, SESSION_DATA extends Record<string, unknown>, FRONTEND_DATA extends Record<string, unknown>, SELF extends ENTITIES, T, CONTEXT_EXTENSION = unknown> extends AnonymousExpression<ENTITIES, ALLOWED_ROOT_ENTITIES, PUBLISHED_DATA, SESSION_DATA, FRONTEND_DATA, SELF, T, CONTEXT_EXTENSION> {
+    readonly origin: ExpressionOrigin;
+}
+export type AnyExpression = Expression<any, any, any, any, any, any, any>;
+export type AnyExpressions = Record<string, Record<string, AnyExpression>>;

package/dist/domain/core/expression/expression.js

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

package/dist/domain/core/expression/index.d.ts

@@ -0,0 +1,4 @@
+export type * from './aliased-expressions.js';
+export * from './constant-expressions.js';
+export * from './custom-expression.js';
+export type * from './expression.js';

package/dist/domain/core/expression/index.js

@@ -0,0 +1 @@
+export*from"./constant-expressions.js";export*from"./custom-expression.js";

package/dist/domain/core/index.d.ts

@@ -1,9 +1,14 @@
-export type * from './action.js';
+export * from './action/index.js';
+export * from './component/index.js';
+export type * from './data-schema/index.js';
 export * from './decoder/index.js';
 export * from './domain-factory.js';
 export * from './domain.js';
-export type * from './expression.js';
-export * from './migrations.js';
+export type * from './emission/index.js';
+export * from './expression/index.js';
+export * from './invariant/index.js';
 export * from './model/index.js';
+export * from './recipe/index.js';
+export * from './relation/index.js';
 export * from './schema/index.js';
-export * from './state.js';
+export * from './state/index.js';

package/dist/domain/core/index.js

@@ -1 +1 @@
-export*from"./decoder/index.js";export*from"./domain-factory.js";export*from"./domain.js";export*from"./migrations.js";export*from"./model/index.js";export*from"./schema/index.js";export*from"./state.js";
+export*from"./action/index.js";export*from"./component/index.js";export*from"./decoder/index.js";export*from"./domain-factory.js";export*from"./domain.js";export*from"./expression/index.js";export*from"./invariant/index.js";export*from"./model/index.js";export*from"./recipe/index.js";export*from"./relation/index.js";export*from"./schema/index.js";export*from"./state/index.js";

package/dist/domain/{invariants → core/invariant}/builtin-invariant.d.ts

@@ -1,4 +1,5 @@
-import type { DomainEntity, DomainEntityId, DomainState } from '../core/index.js';
+import type { DomainEntity, DomainEntityId } from '../model/index.js';
+import type { DomainState } from '../state/index.js';
 import type { Invariant } from './invariants.js';
 import type { Violation } from './violation.js';
 export declare const createInvariant: <VIOLATION_TYPE extends string>(evaluate: (selfId: DomainEntityId<string>, state: DomainState<DomainEntity<string>>) => ReadonlyArray<Violation<VIOLATION_TYPE>>) => Invariant<DomainEntity<string>, DomainEntity<string>, Record<string, unknown>, Record<string, unknown>, Record<string, unknown>, DomainEntity<string>, VIOLATION_TYPE>;

package/dist/domain/core/invariant/custom-invariants.d.ts

@@ -0,0 +1,13 @@
+import type { CustomExpression } from '../expression/index.js';
+import type { $DomainEntity, DomainEntity, TypeOrAlias } from '../model/index.js';
+import type { AliasedInvariants } from './invariants.js';
+import type { Violation } from './violation.js';
+export type CustomInvariantsFromBlueprints<ENTITIES extends DomainEntity<string>, ALLOWED_ROOT_ENTITIES extends ENTITIES, $MAP extends Record<ENTITIES['type'], $DomainEntity<ENTITIES>>, PUBLISHED_DATA extends Record<string, unknown>, SESSION_DATA extends Record<string, unknown>, FRONTEND_DATA extends Record<string, unknown>, BLUEPRINTS extends Partial<Record<keyof $MAP & string, Record<string, boolean | string>>>, CONTEXT_EXTENSION = unknown> = {
+    [TYPE_OR_ALIAS in keyof BLUEPRINTS]: {
+        [NAME in keyof BLUEPRINTS[TYPE_OR_ALIAS]]: TYPE_OR_ALIAS extends keyof $MAP ? CustomExpression<ENTITIES, ALLOWED_ROOT_ENTITIES, PUBLISHED_DATA, SESSION_DATA, FRONTEND_DATA, $MAP[TYPE_OR_ALIAS], BLUEPRINTS[TYPE_OR_ALIAS][NAME] extends string ? ReadonlyArray<Violation<BLUEPRINTS[TYPE_OR_ALIAS][NAME]>> : BLUEPRINTS[TYPE_OR_ALIAS][NAME], CONTEXT_EXTENSION> : never;
+    };
+};
+/** The violation a static invariant reports when it does not hold, by entity type or alias and by invariant name. */
+type StaticViolations = Readonly<Record<string, Readonly<Record<string, Violation<string>>>>>;
+export declare const createCustomInvariantFactory: <ENTITIES extends DomainEntity<string>, ALLOWED_ROOT_ENTITIES extends ENTITIES, $MAP extends Record<TypeOrAlias<ENTITIES, ALIASES>, $DomainEntity<ENTITIES>>, PUBLISHED_DATA extends Record<string, unknown>, SESSION_DATA extends Record<string, unknown>, FRONTEND_DATA extends Record<string, unknown>, ALIASES extends Record<string, ENTITIES>, BLUEPRINTS extends Partial<Record<TypeOrAlias<ENTITIES, ALIASES>, Record<string, boolean | string>>>, CONTEXT_EXTENSION = unknown>() => (staticViolations: StaticViolations) => <TYPES_OR_ALIASES extends keyof BLUEPRINTS & string>(implementations: Pick<CustomInvariantsFromBlueprints<ENTITIES, ALLOWED_ROOT_ENTITIES, $MAP, PUBLISHED_DATA, SESSION_DATA, FRONTEND_DATA, BLUEPRINTS, CONTEXT_EXTENSION>, TYPES_OR_ALIASES>) => AliasedInvariants<ENTITIES, ALLOWED_ROOT_ENTITIES, PUBLISHED_DATA, SESSION_DATA, FRONTEND_DATA, ALIASES, string>;
+export {};

package/dist/domain/core/invariant/custom-invariants.js

@@ -0,0 +1 @@
+import{withProfilerLabel as t}from"../../utils/profiler-label.js";export const createCustomInvariantFactory=()=>e=>r=>{let n={};return Object.entries(r).forEach(([r,o])=>{let a=Object.entries(o).map(([n,o])=>({evaluate:t(`${r}_invariant_${n}`,(t,a,i)=>{let l=o(i.domain.get$Entity(t,a),a,i);if("boolean"==typeof l){let t=e[r]?.[n];if(!t)throw Error(`Cannot find statically defined violation for ${r}.${n}`);return l?[]:[t]}return l})}));n[r]=a}),n};

package/dist/domain/core/invariant/index.d.ts

@@ -0,0 +1,5 @@
+export * from './builtin-invariant.js';
+export * from './custom-invariants.js';
+export type * from './invariants.js';
+export * from './violation-component.js';
+export * from './violation.js';

package/dist/domain/core/invariant/index.js

@@ -0,0 +1 @@
+export*from"./builtin-invariant.js";export*from"./custom-invariants.js";export*from"./violation-component.js";export*from"./violation.js";

package/dist/domain/core/invariant/invariants.d.ts

@@ -0,0 +1,10 @@
+import type { OpenExpressionContext } from '../expression/index.js';
+import type { DomainEntity, ExpandAlias, TypeOrAlias } from '../model/index.js';
+import type { DomainState } from '../state/index.js';
+import { type Violation } from './violation.js';
+export interface Invariant<ENTITIES extends DomainEntity<string>, ALLOWED_ROOT_ENTITIES extends ENTITIES, PUBLISHED_DATA extends Record<string, unknown>, SESSION_DATA extends Record<string, unknown>, FRONTEND_DATA extends Record<string, unknown>, ENTITY extends ENTITIES, VIOLATION_TYPE extends string, CONTEXT_EXTENSION = unknown> {
+    evaluate(selfId: ENTITY['id'], state: DomainState<ENTITIES>, ctx: OpenExpressionContext<ENTITIES, ALLOWED_ROOT_ENTITIES, PUBLISHED_DATA, SESSION_DATA, FRONTEND_DATA, CONTEXT_EXTENSION>): ReadonlyArray<Violation<VIOLATION_TYPE>>;
+}
+export type AliasedInvariants<ENTITIES extends DomainEntity<string>, ALLOWED_ROOT_ENTITIES extends ENTITIES, PUBLISHED_DATA extends Record<string, unknown>, SESSION_DATA extends Record<string, unknown>, FRONTEND_DATA extends Record<string, unknown>, ALIASES extends Record<string, ENTITIES>, VIOLATION_TYPES extends string> = {
+    [K in TypeOrAlias<ENTITIES, ALIASES>]?: ReadonlyArray<Invariant<ENTITIES, ALLOWED_ROOT_ENTITIES, PUBLISHED_DATA, SESSION_DATA, FRONTEND_DATA, ExpandAlias<ENTITIES, ALIASES, K>, VIOLATION_TYPES>>;
+};

package/dist/domain/core/invariant/invariants.js

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

package/dist/domain/core/invariant/violation-component.js

@@ -0,0 +1 @@
+import{SystemComponentBuilder as o}from"../component/index.js";import{ViolationSchema as t}from"./violation.js";export const violationsComponent=o.component("violations").withState({tsType:"ViolationComponentState",type:"object",properties:{violations:{type:"array",items:t}},required:["violations"],additionalProperties:!1}).build();

package/dist/domain/{invariants → core/invariant}/violation.d.ts

@@ -1,7 +1,7 @@
 import type { I18n } from '@lingui/core';
-import type { Localizable } from '@salsita-ai/common/utils';
-import type { $DomainEntity, DomainEntity, EntityId } from '../core/index.js';
-import type { StateEmission } from '../domain-context/store-system/store-system.js';
+import { type Localizable } from '@salsita-ai/common/utils';
+import type { StateEmission } from '../emission/index.js';
+import type { $DomainEntity, DomainEntity, EntityId } from '../model/index.js';
 /**
  * An **ORDERED** list of violation severities.
  * Do not change the order of the items in this list.
@@ -66,7 +66,55 @@ export declare const ViolationSchema: {
             readonly enum: ("fatal" | "fixable" | "notice" | "warning")[];
         };
         readonly message: {
-            readonly type: 'string';
+            readonly anyOf: [{
+                readonly type: 'string';
+            }, {
+                readonly type: 'object';
+                readonly properties: {
+                    readonly id: {
+                        readonly type: 'string';
+                    };
+                    readonly comment: {
+                        readonly type: 'string';
+                    };
+                    readonly message: {
+                        readonly type: 'string';
+                    };
+                    readonly values: {
+                        readonly type: 'object';
+                        readonly additionalProperties: true;
+                    };
+                };
+                readonly required: ["id"];
+                readonly additionalProperties: false;
+                readonly import: [{
+                    readonly module: '@lingui/core';
+                    readonly member: 'MessageDescriptor';
+                }];
+                readonly tsType: 'MessageDescriptor';
+            }, {
+                readonly import: [{
+                    readonly module: '@salsita-ai/sdk/common/utils';
+                    readonly member: 'MultilingualString';
+                }];
+                readonly tsType: 'MultilingualString';
+                readonly type: 'object';
+                readonly properties: {
+                    readonly $lang: {
+                        readonly type: 'object';
+                        readonly additionalProperties: {
+                            readonly type: 'string';
+                        };
+                    };
+                };
+                readonly required: ["$lang"];
+                readonly additionalProperties: false;
+            }];
+            readonly tsType: 'Localizable';
+            readonly import: [{
+                readonly module: '@salsita-ai/sdk/common/utils';
+                readonly member: 'Localizable';
+            }];
         };
         readonly controlViolationPriority: {
             readonly type: 'number';

package/dist/domain/core/invariant/violation.js

@@ -0,0 +1 @@
+import{MessageDescriptorSchema as e,MultilingualStringSchema as t}from"@salsita-ai/common/utils";let i=["fatal","fixable","warning","notice"];export const compareSeverity=(e,t)=>i.indexOf(e)-i.indexOf(t);export const ViolationSchema={type:"object",properties:{type:{type:"string"},severity:{enum:i.slice()},message:{anyOf:[{type:"string"},e,t],tsType:"Localizable",import:[{module:"@salsita-ai/sdk/common/utils",member:"Localizable"}]},controlViolationPriority:{type:"number"}},required:["type","severity"],additionalProperties:!1};

package/dist/domain/core/model/model.d.ts

@@ -25,7 +25,7 @@ export declare const VirtualEntityIdSchema: {
 };
 export declare const createVirtualEntityId: (name: string) => VirtualEntityId;
 export declare const isVirtualEntityId: (value: EntityId<any>) => value is VirtualEntityId;
-export type DomainEntityId<TYPE extends string> = `${TYPE}-${number}` & {
+export type DomainEntityId<TYPE extends string = string> = `${TYPE}-${number}` & {
     __brand: TYPE;
 };
 /**

package/dist/domain/core/recipe/index.d.ts

@@ -0,0 +1 @@
+export * from './recipes.js';

package/dist/domain/core/recipe/index.js

@@ -0,0 +1 @@
+export*from"./recipes.js";

package/dist/domain/core/recipe/recipes.d.ts

@@ -0,0 +1,23 @@
+import { type AnyAliasMap, type DomainEntity, type DomainEntityReflection, type EntityByType } from '../model/index.js';
+/** The entity a recipe yields: a whole entity, which the recipe system gives a new id when it cooks the recipe. */
+export type EntityRecipe<ENTITY extends DomainEntity<string>> = ENTITY;
+/** What a project passes to its recipe factory: the entity type, and the properties that differ from the defaults. */
+export type EntityOverrides<ENTITIES extends DomainEntity<string>, TYPE extends ENTITIES['type']> = Partial<Omit<EntityByType<ENTITIES, TYPE>, 'type'>> & {
+    type: TYPE;
+};
+/** The function a project creates recipes with, `phx.domain.createRecipe`. */
+export type RecipeFactory<ENTITIES extends DomainEntity<string>> = <TYPE extends ENTITIES['type']>(overrides: EntityOverrides<ENTITIES, TYPE>) => EntityRecipe<EntityByType<ENTITIES, TYPE>>;
+/**
+ * Creates the recipe factory of a domain from the `defaults` of its spec.
+ *
+ * Defaults declared for an alias apply to every entity type of the alias, and a later key overrides
+ * an earlier one. The defaults of an entity type must be a whole entity of that type: they are
+ * validated here against the entity's schema, so a domain with invalid defaults fails when its
+ * module loads. An entity type without defaults is not checked.
+ *
+ * `ENTITIES` is the only type the result depends on, and no argument determines it, so the caller
+ * states it.
+ *
+ * @param defaults Property values by entity type or alias.
+ */
+export declare const createRecipeFactory: <ENTITIES extends DomainEntity<string>>(aliasMap: AnyAliasMap, entityReflections: ReadonlyArray<ENTITIES extends unknown ? DomainEntityReflection<ENTITIES> : never>, defaults: Readonly<Record<string, Readonly<Record<string, unknown>>>>) => RecipeFactory<ENTITIES>;

package/dist/domain/core/recipe/recipes.js

@@ -0,0 +1 @@
+import{_unsafeBuildDomainEntityId as e,expandAlias as r}from"../model/index.js";export const createRecipeFactory=(t,o,i)=>{let a={};Object.entries(i).forEach(([e,o])=>{r(t,e).forEach(e=>{a[e]={...a[e],...o}})});let n=new Map(o.map(e=>[e.type,e._meta.validator]));return Object.entries(a).forEach(([r,t])=>{let o=n.get(r);if(!o)throw Error(`Defaults provided for unknown entity ${r}`);if(!o({id:e(r,1),type:r,...t}))throw console.error(o.errors,t),Error(`Invalid defaults for ${r} entity.`)}),r=>({id:e(r.type,1),...a[r.type],...r})};