akanjs 3.0.0-beta.2 → 3.0.0-beta.21

package/types/constant/cascadePaths.d.ts

@@ -1,11 +1,8 @@
 import type { FieldObject } from "./fieldInfo.d.ts";
 import type { ConstantModelRef } from "./via.d.ts";
 /**
- * Which end of a relation goes away with the other. `removeRef` removes what the field points at when this
- * document is removed; `removeWith` removes this document when what the field points at is removed. The two
- * read identically on a relation field, so the value has to name the direction — a mistake here is a data loss.
- * `removeWithAny` is `removeWith` over an owner that is unknowable at build time, and it names the whole
- * decision in one value so the widening cannot be declared apart from the direction it widens.
+ * `removeRef`: removing this document removes what the field points at. `removeWith`: removing what the field points
+ * at removes this document. `removeWithAny`: `removeWith` over an owner unknowable at build time.
  */
 export declare const cascadeActions: readonly ["removeRef", "removeWith", "removeWithAny"];
 export type CascadeAction = (typeof cascadeActions)[number];

package/types/constant/constantRegistry.d.ts

@@ -1,8 +1,8 @@
 import { type Cls, type EnumInstance, type GetStateObject, type PrimitiveScalar } from "akanjs/base";
 import { type ConstantCls, type ConstantModelRef, type FieldObject, type PurifiedModel } from ".";
 import type { ConstantType, DefaultOf, DocumentModel, QueryOf } from "./types.d.ts";
-/** Runtime registry for Akan constant model metadata, refs, enums, and generated model contracts. */
 export declare class ConstantRegistry {
+    #private;
     static database: Map<string, ConstantModel<string, any, any, any, any, any, FieldObject, Capitalize<string>, DefaultOf<any>, DefaultOf<any>, GetStateObject<any>, GetStateObject<any>, DefaultOf<any>, any, any, any, any, GetStateObject<any>, GetStateObject<any>>>;
     static scalar: Map<string, ScalarConstantModel<string, any, DefaultOf<any>, any, any>>;
     static enum: Map<string, EnumInstance>;
@@ -37,10 +37,10 @@ export declare class ConstantRegistry {
         allowEmpty?: AllowEmpty;
     }): AllowEmpty extends true ? ScalarConstantModel | undefined : ScalarConstantModel;
     static getModelRef(refName: string, modelType?: ConstantType): Cls | typeof PrimitiveScalar;
-    static buildModel<T extends string, InputRef extends ConstantModelRef, ObjectRef extends ConstantModelRef, FullFieldObj extends FieldObject, FullRef extends ConstantModelRef<any, FullFieldObj>, LightRef extends ConstantModelRef, InsightRef extends ConstantModelRef, Input = InstanceType<InputRef>, Obj = InstanceType<ObjectRef>, Full = InstanceType<FullRef>, Light = InstanceType<LightRef>, Insight = InstanceType<InsightRef>>(refName: T, inputRef: InputRef, objectRef: ObjectRef, fullRef: FullRef, lightRef: LightRef, insightRef: InsightRef, constExports: Record<string, unknown>): ConstantModel<T, Input, Obj, Full, Light, Insight, FullFieldObj, Capitalize<T>, DefaultOf<Full>, DefaultOf<Input>, GetStateObject<Full>, GetStateObject<Input>, DefaultOf<Insight>, PurifiedModel<Input>, DocumentModel<Full>, DocumentModel<Input>, QueryOf<DocumentModel<Full>>, GetStateObject<Light>, GetStateObject<Insight>>;
+    static buildModel<T extends string, InputRef extends ConstantModelRef, ObjectRef extends ConstantModelRef, FullFieldObj extends FieldObject, FullRef extends ConstantModelRef<any, FullFieldObj>, LightRef extends ConstantModelRef, InsightRef extends ConstantModelRef, Input = InstanceType<InputRef>, Obj = InstanceType<ObjectRef>, Full = InstanceType<FullRef>, Light = InstanceType<LightRef>, Insight = InstanceType<InsightRef>>(refName: T, inputRef: InputRef, objectRef: ObjectRef, fullRef: FullRef, lightRef: LightRef, insightRef: InsightRef, constExports: Record<string, unknown>): ConstantModel<T, Input, Obj, Full, Light, Insight, FullFieldObj, Capitalize<T>, DefaultOf<Full>, DefaultOf<Input>, GetStateObject<Full>, GetStateObject<Input>, DefaultOf<Insight>, PurifiedModel<Input>, DocumentModel<Full>, DocumentModel<Input>, any, GetStateObject<Light>, GetStateObject<Insight>>;
     static buildScalar<T extends string, Model>(refName: T, Model: Cls<Model>, constExports: Record<string, unknown>): ScalarConstantModel<T, Model, DefaultOf<Model>, DocumentModel<Model>, PurifiedModel<Model>>;
-    static serialize<Value>(modelRef: Cls | Cls[], value: Value, nullable?: boolean): Value;
-    static deserialize<Value>(modelRef: Cls | Cls[], value: Value, nullable?: boolean): Value;
+    static serialize<Value>(modelRef: Cls | Cls[], value: Value, nullable?: boolean, of?: Cls | Cls[]): Value;
+    static deserialize<Value>(modelRef: Cls | Cls[], value: Value, nullable?: boolean, of?: Cls | Cls[]): Value;
 }
 export interface ConstantModel<T extends string = string, Input = any, Obj = any, Full = any, Light = any, Insight = any, FullFieldObj extends FieldObject = FieldObject, _CapitalizedRefName extends string = Capitalize<T>, _Default = DefaultOf<Full>, _DefaultInput = DefaultOf<Input>, _DefaultState = GetStateObject<Full>, _DefaultStateInput = GetStateObject<Input>, _DefaultInsight = DefaultOf<Insight>, _PurifiedInput = PurifiedModel<Input>, _Doc = DocumentModel<Full>, _DocInput = DocumentModel<Input>, _QueryOfDoc = QueryOf<_Doc>, _StateLight = GetStateObject<Light>, _StateInsight = GetStateObject<Insight>> {
     refName: T;

package/types/constant/dateSlot.d.ts

@@ -1,11 +1,6 @@
 export declare const dateSlotOf: (key: string) => symbol;
 /** A caller's own `Date` is copied: the slot must not alias an object the caller can still mutate. */
 export declare const toDateValue: (value: unknown) => Date | null | undefined;
-/**
- * Enumerable so `for...in` — `plainFieldsOf`, `immerify`, `deepObjectify` — still sees the field. immer calls a
- * prototype setter with the draft as `this`, so a write through the accessor stays copy-on-write, and the getter
- * writes nothing, so a read never marks a draft modified.
- */
 export declare const dateAccessorOf: (key: string) => PropertyDescriptor;
 export declare const isDateSlotField: (props: {
     modelRef: unknown;

package/types/constant/fieldInfo.d.ts

@@ -47,12 +47,7 @@ export interface ConstantFieldProps<FieldType extends ConstantFieldKind = Consta
     validate?: (value: FieldValue, model: any) => boolean;
     text?: TextFieldRole;
     cascade?: CascadeAction;
-    /**
-     * Renders on the page, never reaches an agent. Stripped wherever a value is masked for an AI caller — the
-     * in-page agent's reads and every MCP result — and left untouched everywhere else, so a `File`'s blur
-     * placeholder still ships to `<Image>`. Unlike `hidden`/`secret` this is about cost, not secrecy: a field
-     * nothing can answer a question with is pure spend on every turn it rides.
-     */
+    /** Stripped from every AI-facing read (in-page agent, MCP) and untouched everywhere else: cost, not secrecy. */
     visual?: boolean;
     meta?: Metadata;
 }
@@ -118,7 +113,6 @@ type ConstantFieldFromInfo<Info> = Info extends FieldInfo<infer FieldType, infer
 export type FieldInfoObjectToFieldObject<Obj extends FieldInfoObject> = {
     [K in keyof Obj]: ConstantFieldFromInfo<Obj[K]>;
 };
-/** Runtime metadata for a single Akan constant field. */
 export declare class ConstantField<FieldType extends ConstantFieldKind = ConstantFieldKind, Value extends ConstantFieldTypeInput | null = any, FieldValue = any, MapValue = any, Nullable extends boolean = boolean, IsRelation extends boolean = boolean, IsEnum extends boolean = boolean, IsPrimitive extends boolean = boolean, IsScalar extends boolean = boolean, IsHidden extends boolean = boolean, IsSecret extends boolean = boolean, IsMap extends boolean = boolean, Metadata = {
     [key: string]: any;
 }> implements ConstantFieldBuildProps<FieldType, FieldValue, MapValue, Metadata> {
@@ -172,19 +166,7 @@ export declare class ConstantField<FieldType extends ConstantFieldKind = Constan
 export interface FieldObject {
     [key: string]: ConstantField;
 }
-/**
- * `text` names a column in the plaintext search mirror, so a masked field carrying one would publish what it
- * masks through search — the class build refuses it (`TextFieldPaths`). Removing the key from the option type
- * moves that refusal to the call site, where the fix is obvious. Distributive because `FieldOption` is a union:
- * a plain `Omit` over it would collapse to the keys the members share.
- */
 type WithoutTextRole<Option> = Option extends unknown ? Omit<Option, "text"> : never;
-/**
- * A wildcard owner is read off the row at removal time, so `removeWithAny` without a `refPath` names nothing to
- * read it from — and the price of that action (no cascade in the app removes in one query) is one nobody should
- * pay for a declaration that cascades nothing. Pairing the two in the option type refuses it at the call site;
- * `CascadePaths` keeps the same refusal for the macro and bundled paths that reach it without a typecheck.
- */
 type CascadeOption = {
     cascade?: "removeRef" | "removeWith";
     refPath?: string;
@@ -199,14 +181,13 @@ type FieldOption<Value extends ConstantFieldTypeInput, MapValue = Value extends
     [key: string]: any;
 }, _FieldToValue = FieldToValue<Value, MapValue> | null | undefined> = WithCascadePair<Omit<ConstantFieldProps<ConstantFieldKind, _FieldToValue, MapValue, Metadata>, "enum" | "meta" | "nullable" | "fieldType" | "select">> | WithCascadePair<Omit<ConstantFieldProps<ConstantFieldKind, SingleValue<_FieldToValue>, MapValue, Metadata>, "enum" | "meta" | "nullable" | "fieldType" | "select">>[];
 export type PlainTypeToFieldType<PlainType> = PlainType extends [infer First, ...infer Rest] ? PlainTypeToFieldType<First>[] : PlainType extends number ? typeof Int | typeof Float : PlainType extends string ? StringConstructor : typeof Any;
-/** Builds a stored property field with optional validation, default, ref, text, and metadata options. */
 export declare const field: {
     <ExplicitType, Value extends ConstantFieldTypeInput = PlainTypeToFieldType<ExplicitType>, MapValue = Value extends MapConstructor ? typeof PrimitiveScalar : never>(value: Value, option?: FieldOption<Value, MapValue>): FieldInfo<"property", Value, ExplicitType, MapValue, FieldKindSource<Value>, UnCls<FieldKindSource<Value>> extends BaseObject ? true : false, FieldKindSource<Value> extends infer T ? T extends FieldKindSource<Value> ? T extends EnumInstance<string, any> ? true : false : never : never, FieldKindSource<Value> extends infer T_1 ? T_1 extends FieldKindSource<Value> ? T_1 extends typeof PrimitiveScalar ? true : false : never : never, FieldKindSource<Value> extends infer T_2 ? T_2 extends FieldKindSource<Value> ? T_2 extends MapConstructor ? true : false : never : never, (UnCls<FieldKindSource<Value>> extends BaseObject ? true : false) extends infer T_3 ? T_3 extends (UnCls<FieldKindSource<Value>> extends BaseObject ? true : false) ? T_3 extends true ? false : (FieldKindSource<Value> extends infer T_4 ? T_4 extends FieldKindSource<Value> ? T_4 extends EnumInstance<string, any> ? true : false : never : never) extends infer T_5 ? T_5 extends (FieldKindSource<Value> extends infer T_12 ? T_12 extends FieldKindSource<Value> ? T_12 extends EnumInstance<string, any> ? true : false : never : never) ? T_5 extends true ? false : (FieldKindSource<Value> extends infer T_6 ? T_6 extends FieldKindSource<Value> ? T_6 extends typeof PrimitiveScalar ? true : false : never : never) extends infer T_7 ? T_7 extends (FieldKindSource<Value> extends infer T_11 ? T_11 extends FieldKindSource<Value> ? T_11 extends typeof PrimitiveScalar ? true : false : never : never) ? T_7 extends true ? false : (FieldKindSource<Value> extends infer T_8 ? T_8 extends FieldKindSource<Value> ? T_8 extends MapConstructor ? true : false : never : never) extends infer T_9 ? T_9 extends (FieldKindSource<Value> extends infer T_10 ? T_10 extends FieldKindSource<Value> ? T_10 extends MapConstructor ? true : false : never : never) ? T_9 extends true ? false : true : never : never : never : never : never : never : never : never, false, false>;
     visual<ExplicitType, Value extends ConstantFieldTypeInput = PlainTypeToFieldType<ExplicitType>, MapValue = Value extends MapConstructor ? typeof PrimitiveScalar : never>(value: Value, option?: FieldOption<Value, MapValue>): FieldInfo<"property", Value, ExplicitType, MapValue, FieldKindSource<Value>, UnCls<FieldKindSource<Value>> extends BaseObject ? true : false, FieldKindSource<Value> extends infer T ? T extends FieldKindSource<Value> ? T extends EnumInstance<string, any> ? true : false : never : never, FieldKindSource<Value> extends infer T_1 ? T_1 extends FieldKindSource<Value> ? T_1 extends typeof PrimitiveScalar ? true : false : never : never, FieldKindSource<Value> extends infer T_2 ? T_2 extends FieldKindSource<Value> ? T_2 extends MapConstructor ? true : false : never : never, (UnCls<FieldKindSource<Value>> extends BaseObject ? true : false) extends infer T_3 ? T_3 extends (UnCls<FieldKindSource<Value>> extends BaseObject ? true : false) ? T_3 extends true ? false : (FieldKindSource<Value> extends infer T_4 ? T_4 extends FieldKindSource<Value> ? T_4 extends EnumInstance<string, any> ? true : false : never : never) extends infer T_5 ? T_5 extends (FieldKindSource<Value> extends infer T_12 ? T_12 extends FieldKindSource<Value> ? T_12 extends EnumInstance<string, any> ? true : false : never : never) ? T_5 extends true ? false : (FieldKindSource<Value> extends infer T_6 ? T_6 extends FieldKindSource<Value> ? T_6 extends typeof PrimitiveScalar ? true : false : never : never) extends infer T_7 ? T_7 extends (FieldKindSource<Value> extends infer T_11 ? T_11 extends FieldKindSource<Value> ? T_11 extends typeof PrimitiveScalar ? true : false : never : never) ? T_7 extends true ? false : (FieldKindSource<Value> extends infer T_8 ? T_8 extends FieldKindSource<Value> ? T_8 extends MapConstructor ? true : false : never : never) extends infer T_9 ? T_9 extends (FieldKindSource<Value> extends infer T_10 ? T_10 extends FieldKindSource<Value> ? T_10 extends MapConstructor ? true : false : never : never) ? T_9 extends true ? false : true : never : never : never : never : never : never : never : never, false, false>;
     hidden<ExplicitType, Value extends ConstantFieldTypeInput = PlainTypeToFieldType<ExplicitType>, MapValue = Value extends MapConstructor ? typeof PrimitiveScalar : never>(value: Value, option?: WithoutTextRole<FieldOption<Value, MapValue>>): FieldInfo<"hidden", Value, ExplicitType, MapValue, FieldKindSource<Value>, UnCls<FieldKindSource<Value>> extends BaseObject ? true : false, FieldKindSource<Value> extends infer T ? T extends FieldKindSource<Value> ? T extends EnumInstance<string, any> ? true : false : never : never, FieldKindSource<Value> extends infer T_1 ? T_1 extends FieldKindSource<Value> ? T_1 extends typeof PrimitiveScalar ? true : false : never : never, FieldKindSource<Value> extends infer T_2 ? T_2 extends FieldKindSource<Value> ? T_2 extends MapConstructor ? true : false : never : never, (UnCls<FieldKindSource<Value>> extends BaseObject ? true : false) extends infer T_3 ? T_3 extends (UnCls<FieldKindSource<Value>> extends BaseObject ? true : false) ? T_3 extends true ? false : (FieldKindSource<Value> extends infer T_4 ? T_4 extends FieldKindSource<Value> ? T_4 extends EnumInstance<string, any> ? true : false : never : never) extends infer T_5 ? T_5 extends (FieldKindSource<Value> extends infer T_12 ? T_12 extends FieldKindSource<Value> ? T_12 extends EnumInstance<string, any> ? true : false : never : never) ? T_5 extends true ? false : (FieldKindSource<Value> extends infer T_6 ? T_6 extends FieldKindSource<Value> ? T_6 extends typeof PrimitiveScalar ? true : false : never : never) extends infer T_7 ? T_7 extends (FieldKindSource<Value> extends infer T_11 ? T_11 extends FieldKindSource<Value> ? T_11 extends typeof PrimitiveScalar ? true : false : never : never) ? T_7 extends true ? false : (FieldKindSource<Value> extends infer T_8 ? T_8 extends FieldKindSource<Value> ? T_8 extends MapConstructor ? true : false : never : never) extends infer T_9 ? T_9 extends (FieldKindSource<Value> extends infer T_10 ? T_10 extends FieldKindSource<Value> ? T_10 extends MapConstructor ? true : false : never : never) ? T_9 extends true ? false : true : never : never : never : never : never : never : never : never, true, false>;
     secret<ExplicitType, Value extends ConstantFieldTypeInput = PlainTypeToFieldType<ExplicitType>, MapValue = Value extends MapConstructor ? typeof PrimitiveScalar : never>(value: Value, option?: WithoutTextRole<FieldOption<Value, MapValue>>): FieldInfo<"secret", Value | null, ExplicitType | null, MapValue, SingleValue<Value> & {}, UnCls<SingleValue<Value> & {}> extends BaseObject ? true : false, SingleValue<Value> & {} extends infer T ? T extends SingleValue<Value> & {} ? T extends EnumInstance<string, any> ? true : false : never : never, SingleValue<Value> & {} extends infer T_1 ? T_1 extends SingleValue<Value> & {} ? T_1 extends typeof PrimitiveScalar ? true : false : never : never, SingleValue<Value> & {} extends infer T_2 ? T_2 extends SingleValue<Value> & {} ? T_2 extends MapConstructor ? true : false : never : never, (UnCls<SingleValue<Value> & {}> extends BaseObject ? true : false) extends infer T_3 ? T_3 extends (UnCls<SingleValue<Value> & {}> extends BaseObject ? true : false) ? T_3 extends true ? false : (SingleValue<Value> & {} extends infer T_4 ? T_4 extends SingleValue<Value> & {} ? T_4 extends EnumInstance<string, any> ? true : false : never : never) extends infer T_5 ? T_5 extends (SingleValue<Value> & {} extends infer T_12 ? T_12 extends SingleValue<Value> & {} ? T_12 extends EnumInstance<string, any> ? true : false : never : never) ? T_5 extends true ? false : (SingleValue<Value> & {} extends infer T_6 ? T_6 extends SingleValue<Value> & {} ? T_6 extends typeof PrimitiveScalar ? true : false : never : never) extends infer T_7 ? T_7 extends (SingleValue<Value> & {} extends infer T_11 ? T_11 extends SingleValue<Value> & {} ? T_11 extends typeof PrimitiveScalar ? true : false : never : never) ? T_7 extends true ? false : (SingleValue<Value> & {} extends infer T_8 ? T_8 extends SingleValue<Value> & {} ? T_8 extends MapConstructor ? true : false : never : never) extends infer T_9 ? T_9 extends (SingleValue<Value> & {} extends infer T_10 ? T_10 extends SingleValue<Value> & {} ? T_10 extends MapConstructor ? true : false : never : never) ? T_9 extends true ? false : true : never : never : never : never : never : never : never : never, false, true>;
 };
-/** Builds a resolved field that is derived rather than treated as a stored property. */
+/** A derived field, never stored. */
 export declare const resolve: <ExplicitType, Value extends ConstantFieldTypeInput = PlainTypeToFieldType<ExplicitType>, MapValue = Value extends MapConstructor ? typeof PrimitiveScalar : never>(value: Value, option?: WithoutTextRole<FieldOption<Value, MapValue>>) => FieldInfo<"resolve", Value, ExplicitType, MapValue, FieldKindSource<Value>, UnCls<FieldKindSource<Value>> extends BaseObject ? true : false, FieldKindSource<Value> extends infer T ? T extends FieldKindSource<Value> ? T extends EnumInstance<string, any> ? true : false : never : never, FieldKindSource<Value> extends infer T_1 ? T_1 extends FieldKindSource<Value> ? T_1 extends typeof PrimitiveScalar ? true : false : never : never, FieldKindSource<Value> extends infer T_2 ? T_2 extends FieldKindSource<Value> ? T_2 extends MapConstructor ? true : false : never : never, (UnCls<FieldKindSource<Value>> extends BaseObject ? true : false) extends infer T_3 ? T_3 extends (UnCls<FieldKindSource<Value>> extends BaseObject ? true : false) ? T_3 extends true ? false : (FieldKindSource<Value> extends infer T_4 ? T_4 extends FieldKindSource<Value> ? T_4 extends EnumInstance<string, any> ? true : false : never : never) extends infer T_5 ? T_5 extends (FieldKindSource<Value> extends infer T_12 ? T_12 extends FieldKindSource<Value> ? T_12 extends EnumInstance<string, any> ? true : false : never : never) ? T_5 extends true ? false : (FieldKindSource<Value> extends infer T_6 ? T_6 extends FieldKindSource<Value> ? T_6 extends typeof PrimitiveScalar ? true : false : never : never) extends infer T_7 ? T_7 extends (FieldKindSource<Value> extends infer T_11 ? T_11 extends FieldKindSource<Value> ? T_11 extends typeof PrimitiveScalar ? true : false : never : never) ? T_7 extends true ? false : (FieldKindSource<Value> extends infer T_8 ? T_8 extends FieldKindSource<Value> ? T_8 extends MapConstructor ? true : false : never : never) extends infer T_9 ? T_9 extends (FieldKindSource<Value> extends infer T_10 ? T_10 extends FieldKindSource<Value> ? T_10 extends MapConstructor ? true : false : never : never) ? T_9 extends true ? false : true : never : never : never : never : never : never : never : never, false, false>;
 export type FieldBuilder = typeof field;
 export type FieldResolver = typeof resolve;

package/types/constant/fieldQueryMeta.d.ts

@@ -1,17 +1,9 @@
-/**
- * The query a field's value stands for, declared on the field itself with `.meta(...)`. A summary counter is the
- * case this exists for: `hau` is however many rows one filter returns, so the tile showing it can open that exact
- * listing without the page restating the filter beside it.
- *
- * The shape is read structurally rather than by class, so an app declares it with whatever builder it already has.
- */
+/** The query a field's value counts, declared with `.meta(...)`; read structurally, so any builder can produce it. */
 export interface FieldQueryMeta {
-    /** The model the query runs against. */
     refName: string;
     /** One of that model's declared filter keys. */
     queryKey: string | null;
-    /** Read when the query is applied, so an arg relative to now — `() => [dayjs().subtract(1, "hour")]` — is current. */
+    /** A thunk is read when the query is applied, so an arg relative to now stays current. */
     queryArgs?: unknown[] | (() => unknown[]);
 }
-/** The query one field of `refName` names, or nothing when the model, the field, or the declaration is absent. */
 export declare const fieldQueryMetaOf: (refName: string, field: string) => FieldQueryMeta | undefined;

package/types/constant/getDefault.d.ts

@@ -3,14 +3,12 @@ import type { DefaultOf } from "./types.d.ts";
 export interface DefaultPlan {
     /** Fields whose default is a value that can be shared: a primitive, `null`, or the field's own literal. */
     shared: Record<string, unknown>;
-    /** Fields that have to be produced per call — a thunk, a fresh array, or a nested scalar record. */
+    /** Fields produced per call: a thunk, a fresh array, a nested scalar record, or a primitive's structured default. */
     perCall: Map<string, () => unknown>;
 }
-/**
- * The split is what keeps this faithful: `default: () => dayjs()` still means "now" on every call, and an array
- * or nested-scalar default is still a fresh object, so two documents filled from the same model never end up
- * sharing one. Only values that were already shared before this cache existed live in `shared`.
- */
+/** A thunk default runs per call and an array or nested-scalar default is fresh, so no two results share one. */
 export declare const getDefault: <T>(fieldObj: FieldObject) => DefaultOf<T>;
-/** The per-field default rules, split as above; `HydrationPlan` reads them per field so a present value skips its thunk. */
+/** Read per field by `HydrationPlan`, so a present value skips its default thunk. */
 export declare const defaultPlanOf: (fieldObj: FieldObject) => DefaultPlan;
+/** Copies a plain object or array; an instance (`Dayjs`, `Uint8Array`) is returned as is, keeping its prototype. */
+export declare const freshPrimitiveValue: <T>(value: T) => T;

package/types/constant/hydrationPlan.d.ts

@@ -3,14 +3,6 @@ import type { FieldObject } from "./fieldInfo.d.ts";
 interface PlanOwner {
     [FIELD_META]: FieldObject;
 }
-/**
- * One hydration plan per model class, compiled from `FIELD_META` on the first instance. Reading the field map,
- * resolving `getProps()` and dispatching on the field kind used to happen per field per instance, and was most of
- * what a listing paid after the dayjs objects — a plan turns a row into a plain loop over precomputed converters.
- *
- * Cached per class rather than per field map because `fullModelOf` extends a lib model's `FIELD_META` in place;
- * `applyConstantStatics` resets the entry whenever it finishes wiring a class.
- */
 export declare class HydrationPlan {
     #private;
     static of(cls: PlanOwner): HydrationPlan;

package/types/constant/index.d.ts

@@ -2,7 +2,6 @@ export * from "./cascadePaths.d.ts";
 export * from "./constantRegistry.d.ts";
 export * from "./crystalize.d.ts";
 export * from "./dateSlot.d.ts";
-export * from "./deserialize.d.ts";
 export * from "./fieldInfo.d.ts";
 export * from "./fieldQueryMeta.d.ts";
 export * from "./getDefault.d.ts";

package/types/constant/labelOf.d.ts

@@ -1,7 +1,2 @@
-/**
- * The one line a human scans for. A model that writes its own `Light<Model>.label()` owns the answer, since
- * display logic is the Light class's job; otherwise it is derived from what the model already declared — the
- * `text: "title"` search role names exactly that field, so an agent-facing label costs no new declaration.
- * Falls back to the conventional `title`/`name` keys; the id is the caller's floor.
- */
+/** The model's own `label()`, else its `text: "title"` field, else `title`/`name`; the id is the caller's floor. */
 export declare const labelOf: (model: unknown, value: unknown) => string | undefined;

package/types/constant/mask.d.ts

@@ -1,54 +1,29 @@
-/**
- * A model as masking reads it — the constructor, for the field metadata it carries at runtime.
- *
- * Structural rather than `ConstantModelRef` so that anything holding the class can name it, and read through
- * `FIELD_META` the way `resolveReturn` reads it.
- */
+/** Structural rather than `ConstantModelRef`, so anything holding the class can name it; read through `FIELD_META`. */
 export interface MaskModel {
     name: string;
 }
-/** The part of a field's metadata masking turns on. Mirrors what `resolveReturn` branches over. */
 interface MaskField {
     fieldType?: string;
     isClass?: boolean;
+    isMap?: boolean;
     modelRef?: MaskModel;
+    of?: unknown;
+    arrDepth?: number;
     visual?: boolean;
 }
 export declare const maskFieldsOf: (model: MaskModel) => Record<string, MaskField> | null;
-/**
- * The `hidden` and `secret` field names of `model` that `value` still carries populated.
- *
- * `visual` is deliberately not among them. A refusal here means a value must not be published at all, and a blur
- * placeholder is not a secret — it is merely not worth its tokens, which masking answers by dropping it.
- */
+/** The `hidden`/`secret` fields `value` still carries; `visual` is cost, not secrecy, so it never counts as a leak. */
 export declare const leakingFieldsOf: (model: MaskModel, value: Record<string, unknown>) => string[];
 /**
- * Strips what a model marks `hidden`, `secret`, or `visual`, by the model the caller names rather than by the one
- * the value happens to still carry. The first two are secrecy and the third is cost, but the answer is the same
- * one — leave the field out — and this is the only place every AI-facing read already passes through.
- *
- * That distinction is the whole point. A check that reads the class off the value can only mask what arrives as an
- * instance, so a `{ ...doc }` spread, a `toJSON()`, an `immerify()`, or a round-trip through `JSON.stringify` reaches
- * its destination with the metadata already gone and nothing can be done about it. A named model is metadata the
- * value cannot lose, so a hydrated document and a plain object copied out of one mask identically.
- *
- * This is the field half of `resolveReturn` and deliberately not the whole of it. That one also loads every relation
- * it walks past, which is right for a query's return value and wrong here, where the value is already in hand.
- *
- * Returns `unknown` rather than the argument's type, because what comes back is missing fields that type promises.
+ * Drops `hidden`, `secret` and `visual` fields for every AI-facing read, by the model named rather than the value's
+ * class, so a spread or JSON copy masks the same; unlike `resolveReturn` it loads no relation.
  */
 export declare const mask: (model: MaskModel, value: unknown) => unknown;
+/** The primitive's `agent.read` through `arrDepth` array levels when it declares an agent face; the value otherwise. */
+export declare const agentRead: (modelRef: unknown, value: unknown, arrDepth?: number) => unknown;
 /**
- * Drops what a model marks `hidden` or `secret`, and nothing else.
- *
- * The sibling of `mask()` for the one caller that is not an AI read: a saved form draft. Two differences matter.
- * It keeps `visual` — a rendered body is exactly the field a user spent twenty minutes on, and dropping it from a
- * draft loses the work the draft exists to protect. And it is subtractive rather than reconstructive: `mask()`
- * builds its result from the field metadata, so a key the metadata does not name — `id`, which is what decides
- * whether a form creates or updates — would not survive the round trip.
- *
- * `for...in` rather than `Object.keys`, because a model instance keeps its Date fields as enumerable prototype
- * accessors.
+ * Drops only `hidden`/`secret`, for a saved form draft: `visual` is the user's work and a key the metadata does not
+ * name (`id`) must survive. `for...in` because Date fields are enumerable prototype accessors.
  */
 export declare const stripSecrets: (model: MaskModel, value: unknown) => unknown;
 export {};

package/types/constant/serialize.d.ts

@@ -1,5 +1,5 @@
-import { type Dayjs, type PrimitiveScalar } from "akanjs/base";
-import type { ConstantModelRef } from ".";
+import { type Dayjs, type EnumInstance, type PrimitiveScalar } from "akanjs/base";
+import { type ConstantModelRef } from ".";
 export type Serialized<O> = O extends (infer V)[] ? Serialized<V>[] : O extends Dayjs ? Date : O extends Map<infer K, infer V> ? {
     [key in K & string]: Serialized<V>;
 } : O extends object ? {
@@ -9,3 +9,11 @@ export declare const serialize: (argRef: ConstantModelRef | PrimitiveScalar, arr
     nullable?: boolean;
     key?: string;
 }) => object[] | null;
+interface DeserializeOption {
+    key?: string;
+    nullable?: boolean;
+    convertFn?: (value: unknown) => unknown;
+    enum?: EnumInstance;
+}
+export declare const deserialize: (argRef: ConstantModelRef | PrimitiveScalar, arrDepth: number, value: unknown, { key, nullable, convertFn, enum: enumRef }: DeserializeOption) => object[] | null;
+export {};

package/types/constant/types.d.ts

@@ -71,12 +71,8 @@ export interface ProtoPatch {
 }
 export declare const DEFAULT_PAGE_SIZE = 20;
 /**
- * The most rows one list request may take, whatever it asks for.
- *
- * A page size arrives from the client, so without a ceiling anyone who may read one page may read the whole
- * table in a single request — and `LIMIT 0` or `LIMIT -1` reaches SQLite as "no limit at all", so the two ways
- * of asking for nothing were the two ways of asking for everything. `resolvePageLimit` is the one place that
- * decides; a caller wanting more pages asks for more pages.
+ * The most rows one list request may take: the page size is client input, so without a ceiling one request could
+ * read the whole table, and `LIMIT 0`/`-1` reaches SQLite as no limit at all.
  */
 export declare const MAX_PAGE_SIZE = 500;
 /** Clamps a caller-supplied page size into `[1, MAX_PAGE_SIZE]`, falling back to `DEFAULT_PAGE_SIZE`. */

package/types/constant/via.d.ts

@@ -138,7 +138,6 @@ declare global {
     interface MapConstructor extends DatabaseConstantStatics<unknown> {
     }
 }
-/** Builds Akan constant models such as scalar, input, object, light, full, and insight classes. */
 export declare function via<Obj extends BaseObject, ObjFieldObj extends FieldObject, K extends NonFunctionalKeys<OmitBase<Obj>>, ResolveField extends (resolve: FieldResolver) => FieldInfoObject, LightModels extends Cls[], _DirectSchema extends object = ObjectAssign<[Pick<Obj, K> & BaseObject, ResolvedSchema<ResolveField>]>, _Schema extends object = MergeWithOwnSchemas<LightModels, _DirectSchema>, _DirectFieldObj extends FieldObject = ObjectAssign<[
     Pick<ObjFieldObj, K & keyof ObjFieldObj>,
     ResolvedFieldObject<ResolveField>

package/types/dictionary/DictionaryLookup.d.ts

@@ -1,10 +1,4 @@
-/**
- * Reads translated text out of the merged dictionary tree by dotted key (`user.signal.createUser.arg.data.desc`).
- *
- * Unlike `translate`, a missing key resolves to `undefined` rather than echoing the key back: callers here are
- * document generators (OpenAPI, MCP) that must omit an absent description instead of emitting `"user.signal.…"`
- * as if it were prose. The merged root is snapshotted once per instance, so build a fresh one per document.
- */
+/** A missing key reads `undefined` (unlike `translate`, which echoes it); the root is snapshotted per instance. */
 export declare class DictionaryLookup {
     #private;
     readonly language: string;

package/types/dictionary/agent.dictionary.d.ts

@@ -1 +1,2 @@
-export declare const agentDictionary: import("./dictInfo.d.ts").ServiceDictInfo<[string, string], "runAgentTurn", "llmUnavailable" | "deepseekRequestFailed" | "openaiRequestFailed" | "anthropicRequestFailed", never>;
+export declare const agentDictionary: import("./dictInfo.d.ts").ServiceDictInfo<[string, string], "runAgentTurn", "llmUnavailable" | "llmRequestFailed" | "contextOverflow" | "quotaExceeded", never>;
+export declare const agentTurnDictionary: import("./dictInfo.d.ts").ScalarDictInfo<[string, string], "text" | "toolCalls" | "stop", "agentStop", never, never>;

package/types/dictionary/base.dictionary.d.ts

@@ -1 +1 @@
-export declare const baseDictionary: import("./dictInfo.d.ts").ServiceDictInfo<[string, string], "ping" | "pingBody" | "pingParam" | "pingQuery" | "wsPing" | "pubsubPing", "serverUnreachable" | "serverUnavailable" | "gatewayTimeout" | "unexpectedResponse", "error" | "remove" | "save" | "refresh" | "password" | "skip" | "stop" | "send" | "ok" | "agent" | "success" | "somethingWrong" | "connecting" | "connected" | "serverDisconnected" | "refreshing" | "tryReconnecting" | "serverHasProblem" | "checkServerStatus" | "cameraPromptHeader" | "cameraPromptPhoto" | "cameraPromptPicture" | "cameraPromptCancel" | "failed" | "processing" | "processed" | "noData" | "invalidValueError" | "emailInvalidError" | "phoneInvalidError" | "cancel" | "unauthorized" | "agentIntro" | "agentPlaceholder" | "agentClear" | "agentQuestion" | "agentAnswer" | "agentListen" | "agentVoiceFailed" | "agentAttach" | "agentAttachRemove" | "agentAttachReading" | "agentAttachTooLarge" | "agentAttachUnsupported" | "agentAttachDuplicate" | "agentAttachTooMany" | "agentAttachTooMuch" | "agentAnswerNeeded" | "agentQueue" | "agentQueuePlaceholder" | "agentQueued" | "agentQueueEdit" | "agentQueueCancel" | "agentToolDone" | "agentToolFailed" | "agentToolRunning" | "agentToolResult" | "agentTokens" | "agentSummarizing" | "agentContinue" | "agentKeepGoing" | "agentCmdNew" | "agentCmdRetry" | "agentCmdCompact" | "agentCmdCopy" | "agentCmdHelp" | "agentCmdTools" | "agentHelpIntro" | "agentHelpNote" | "agentNothingToRetry" | "agentNothingToCompact" | "agentCompacted" | "agentSummary" | "agentBusy" | "agentCopied" | "agentCopyFailed" | "agentToolsHead" | "agentToolsState" | "approve" | "decline" | "confirmClose" | "textTooShortError" | "textTooLongError" | "selectTooShortError" | "selectTooLongError" | "numberTooSmallError" | "numberTooBigError" | "passwordNotMatchError" | "selectDateError" | "priceUnit" | "passwordConfirm" | "noOptions" | "noSelection" | "addModel" | "createModel" | "createSuccess" | "updateModel" | "removeModel" | "updateSuccess" | "removeSuccess" | "sureToRemove" | "irreversibleOps" | "typeNameToRemove" | "yesRemove" | "removeMsg" | "confirmMsg" | "perPage" | "cardView" | "tableView" | "exportCsv" | "exportJson" | "actions" | "draftConflict" | "draftApplied" | "draftRestore" | "draftDiscard" | "draftStartOver" | "new" | "edit" | "view">;
+export declare const baseDictionary: import("./dictInfo.d.ts").ServiceDictInfo<[string, string], "ping" | "pingBody" | "pingParam" | "pingQuery" | "wsPing" | "pubsubPing", "serverUnreachable" | "serverUnavailable" | "gatewayTimeout" | "unexpectedResponse", "edit" | "error" | "ok" | "approve" | "remove" | "unauthorized" | "save" | "refresh" | "password" | "agent" | "skip" | "stop" | "send" | "success" | "somethingWrong" | "connecting" | "connected" | "serverDisconnected" | "refreshing" | "tryReconnecting" | "serverHasProblem" | "checkServerStatus" | "cameraPromptHeader" | "cameraPromptPhoto" | "cameraPromptPicture" | "cameraPromptCancel" | "failed" | "processing" | "processed" | "noData" | "invalidValueError" | "emailInvalidError" | "phoneInvalidError" | "cancel" | "agentIntro" | "agentPlaceholder" | "agentClear" | "agentQuestion" | "agentToolCard" | "agentAnswer" | "agentListen" | "agentVoiceFailed" | "agentAttach" | "agentAttachRemove" | "agentAttachReading" | "agentReferenceRemove" | "agentReferenceFailed" | "agentAttachTooLarge" | "agentAttachUnsupported" | "agentAttachDuplicate" | "agentAttachTooMany" | "agentAttachTooMuch" | "agentAnswerNeeded" | "agentQueue" | "agentQueuePlaceholder" | "agentQueued" | "agentQueueEdit" | "agentQueueCancel" | "agentToolDone" | "agentToolFailed" | "agentToolRunning" | "agentToolResult" | "agentTokens" | "agentTokensOf" | "agentCompactsAt" | "agentSummarizing" | "agentContinue" | "agentKeepGoing" | "agentCmdNew" | "agentCmdRetry" | "agentCmdCompact" | "agentCmdCopy" | "agentCmdHelp" | "agentCmdTools" | "agentHelpIntro" | "agentHelpNote" | "agentNothingToRetry" | "agentNothingToCompact" | "agentCompacted" | "agentSummary" | "agentBusy" | "agentCopied" | "agentCopyFailed" | "agentToolsHead" | "agentToolsState" | "decline" | "confirmClose" | "textTooShortError" | "textTooLongError" | "selectTooShortError" | "selectTooLongError" | "numberTooSmallError" | "numberTooBigError" | "passwordNotMatchError" | "selectDateError" | "priceUnit" | "passwordConfirm" | "noOptions" | "noSelection" | "addModel" | "createModel" | "createSuccess" | "updateModel" | "removeModel" | "updateSuccess" | "removeSuccess" | "sureToRemove" | "irreversibleOps" | "typeNameToRemove" | "yesRemove" | "removeMsg" | "confirmMsg" | "perPage" | "cardView" | "tableView" | "exportCsv" | "exportJson" | "actions" | "draftConflict" | "draftApplied" | "draftRestore" | "draftDiscard" | "draftStartOver" | "new" | "view">;

package/types/dictionary/dictInfo.d.ts

@@ -1,31 +1,9 @@
-import type { ENDPOINT_DICT_SHAPE, FILTER_DICT_SHAPE, GetStateObject, SLICE_DICT_SHAPE } from "akanjs/base";
+import type { GetStateObject } from "akanjs/base";
 import type { BaseInsight, BaseObject } from "akanjs/constant";
-import type { BaseFilterQueryKey, BaseFilterSortKey, FilterCls, FilterDictShape as FilterCompactShape, FilterDictArgShape, FilterInfo, FilterInstance } from "akanjs/document";
-import type { EndpointCls, EndpointDictShape as EndpointCompactShape, EndpointInfo, SliceCls, SliceDictShape as SliceCompactShape, SliceInfo } from "akanjs/signal";
+import type { BaseFilterQueryKey, BaseFilterSortKey } from "akanjs/document";
+import type { DictArgNames, DictEndpointShape, DictFilterQuery, DictFilterSort, DictSliceShape } from "./dictShape.d.ts";
 import type { RootDictionary } from "./trans.d.ts";
 type EnumValueKey = string | number;
-type DictArgShape = {
-    [key: string]: readonly string[];
-};
-type AnyFilterShape = FilterCompactShape<FilterInstance<Record<string, FilterInfo>, Record<string, unknown>>>;
-type DictFilterShape<Filter> = Filter extends FilterCls<infer FilterShape> ? FilterCompactShape<FilterShape> : Filter extends {
-    readonly [FILTER_DICT_SHAPE]: infer CompactShape extends FilterDictArgShape;
-} ? CompactShape : Filter extends FilterInstance ? FilterCompactShape<Filter> : Filter extends {
-    query: Record<string, FilterInfo>;
-    sort: Record<string, unknown>;
-} ? FilterCompactShape<Filter> : Filter extends {
-    query: DictArgShape;
-    sort: Record<string, true>;
-} ? Filter : AnyFilterShape;
-type DictSliceShape<Slice> = Slice extends SliceCls<infer _SrvModule, infer SliceInfoObj> ? SliceCompactShape<SliceInfoObj> : Slice extends {
-    readonly [SLICE_DICT_SHAPE]: infer CompactShape extends DictArgShape;
-} ? CompactShape : Slice extends DictArgShape ? Slice : Slice extends Record<string, SliceInfo> ? SliceCompactShape<Slice> : Record<never, never>;
-type DictEndpointShape<Endpoint> = Endpoint extends EndpointCls<infer _SrvModule, infer EndpointInfoObj> ? EndpointCompactShape<EndpointInfoObj> : Endpoint extends {
-    readonly [ENDPOINT_DICT_SHAPE]: infer CompactShape extends DictArgShape;
-} ? CompactShape : Endpoint extends DictArgShape ? Endpoint : Endpoint extends Record<string, EndpointInfo> ? EndpointCompactShape<Endpoint> : Record<never, never>;
-type DictArgNames<ArgNames> = ArgNames extends readonly string[] ? ArgNames[number] : never;
-type DictFilterQuery<Filter> = DictFilterShape<Filter>["query"];
-type DictFilterSort<Filter> = DictFilterShape<Filter>["sort"];
 declare class FieldTranslation<Languages extends [string, ...string[]]> {
     static translate: <Languages_1 extends [string, ...string[]]>(trans: Languages_1) => FieldTranslation<Languages_1>;
     trans: Languages;
@@ -36,9 +14,7 @@ declare class FieldTranslation<Languages extends [string, ...string[]]> {
 declare class FunctionTranslation<Languages extends [string, ...string[]], ArgName extends string = never> {
     trans: Languages;
     descTrans?: Languages;
-    argTrans: {
-        [key in ArgName]: FieldTranslation<Languages>;
-    };
+    argTrans: { [key in ArgName]: FieldTranslation<Languages>; };
     constructor(trans: Languages);
     desc(descTrans: Languages): this;
     arg<TransMap extends {
@@ -58,7 +34,6 @@ type BaseModelCrudGetSignalTranslation<T extends string, Languages extends [stri
 };
 type GetBaseSignalKey<T extends string> = keyof BaseModelCrudGetSignalTranslation<T>;
 export declare class ModelDictInfo<Languages extends [string, ...string[]] = [string], ModelKey extends string = keyof BaseObject, InsightKey extends string = keyof BaseInsight, QueryKey extends string = BaseFilterQueryKey, SortKey extends string = BaseFilterSortKey, EnumKey extends string = never, BaseSignalKey extends string = never, SliceKey extends string = "", EndpointKey extends string = never, ErrorKey extends string = never, EtcKey extends string = never> {
-    #private;
     static baseModelDictionary: {
         [key in keyof BaseObject]: FieldTranslation<[string, string]>;
     };
@@ -77,38 +52,18 @@ export declare class ModelDictInfo<Languages extends [string, ...string[]] = [st
     };
     languages: Languages;
     modelTranslation?: FieldTranslation<Languages>;
-    modelDictionary: {
-        [K in ModelKey]: FieldTranslation<Languages>;
-    };
-    insightDictionary: {
-        [K in InsightKey]: FieldTranslation<Languages>;
-    };
-    queryDictionary: {
-        [K in QueryKey]: FunctionTranslation<Languages>;
-    };
-    sortDictionary: {
-        [K in SortKey]: FieldTranslation<Languages>;
-    };
-    enumDictionary: {
-        [K in EnumKey]: {
-            [key: string]: FieldTranslation<Languages>;
-        };
-    };
-    baseSignalDictionary: {
-        [K in BaseSignalKey]: FunctionTranslation<Languages>;
-    };
-    sliceDictionary: {
-        [K in SliceKey]: FunctionTranslation<Languages>;
-    };
-    endpointDictionary: {
-        [K in EndpointKey]: FunctionTranslation<Languages>;
-    };
-    errorDictionary: {
-        [K in ErrorKey]: Languages;
-    };
-    etcDictionary: {
-        [K in EtcKey]: Languages;
-    };
+    modelDictionary: { [K in ModelKey]: FieldTranslation<Languages>; };
+    insightDictionary: { [K in InsightKey]: FieldTranslation<Languages>; };
+    queryDictionary: { [K in QueryKey]: FunctionTranslation<Languages>; };
+    sortDictionary: { [K in SortKey]: FieldTranslation<Languages>; };
+    enumDictionary: { [K in EnumKey]: {
+        [key: string]: FieldTranslation<Languages>;
+    }; };
+    baseSignalDictionary: { [K in BaseSignalKey]: FunctionTranslation<Languages>; };
+    sliceDictionary: { [K in SliceKey]: FunctionTranslation<Languages>; };
+    endpointDictionary: { [K in EndpointKey]: FunctionTranslation<Languages>; };
+    errorDictionary: { [K in ErrorKey]: Languages; };
+    etcDictionary: { [K in EtcKey]: Languages; };
     constructor(languages: Languages);
     of(translate: (t: (trans: Languages) => FieldTranslation<Languages>) => FieldTranslation<Languages>): this;
     model<Model extends object>(translate: (t: (trans: Languages) => FieldTranslation<Languages>) => {
@@ -150,12 +105,6 @@ export declare class ModelDictInfo<Languages extends [string, ...string[]] = [st
         [K in Enum["value"]]: FieldTranslation<Languages>;
     };
 }
-/**
- * Every parameter of `ModelDictInfo` is listed here positionally, so a parameter added to the class has to be
- * added to all three lists below in the same slot. Omitting one does not fail to compile — inference silently
- * shifts, so the last parameter falls off the end and becomes its default `never`, which reads at the call site
- * as `l("<model>.<key>")` no longer existing.
- */
 type AnyModelDictInfo = ModelDictInfo<any, any, any, any, any, any, any, any, any, any, any>;
 type MergeTwoModelDicts<ModelDict1, ModelDict2> = ModelDict1 extends ModelDictInfo<infer Languages1, infer ModelKey1, infer InsightKey1, infer QueryKey1, infer SortKey1, infer EnumKey1, infer BaseSignalKey1, infer SliceKey1, infer EndpointKey1, infer ErrorKey1, infer EtcKey1> ? ModelDict2 extends ModelDictInfo<infer _Languages2, infer ModelKey2, infer InsightKey2, infer QueryKey2, infer SortKey2, infer EnumKey2, infer BaseSignalKey2, infer SliceKey2, infer EndpointKey2, infer ErrorKey2, infer EtcKey2> ? ModelDictInfo<Languages1, ModelKey1 | ModelKey2, InsightKey1 | InsightKey2, QueryKey1 | QueryKey2, SortKey1 | SortKey2, EnumKey1 | EnumKey2, BaseSignalKey1 | BaseSignalKey2, SliceKey1 | SliceKey2, EndpointKey1 | EndpointKey2, ErrorKey1 | ErrorKey2, EtcKey1 | EtcKey2> : ModelDict1 : never;
 type MergeModelDicts<ModelDicts extends AnyModelDictInfo[]> = ModelDicts extends [
@@ -164,23 +113,14 @@ type MergeModelDicts<ModelDicts extends AnyModelDictInfo[]> = ModelDicts extends
 ] ? Rest extends [] ? First : MergeTwoModelDicts<First, MergeModelDicts<Rest>> : never;
 export declare const modelDictionary: <Languages extends [string, ...string[]] = [string], ExtendModelDicts extends AnyModelDictInfo[] = []>(languages?: Languages, ...extendModelDicts: ExtendModelDicts) => MergeModelDicts<[ModelDictInfo<Languages>, ...ExtendModelDicts]>;
 export declare class ScalarDictInfo<Languages extends [string, ...string[]] = [string], ModelKey extends string = keyof BaseObject, EnumKey extends string = never, ErrorKey extends string = never, EtcKey extends string = never> {
-    #private;
     languages: Languages;
     modelTranslation?: FieldTranslation<Languages>;
-    modelDictionary: {
-        [K in ModelKey]: FieldTranslation<Languages>;
-    };
-    enumDictionary: {
-        [K in EnumKey]: {
-            [key: string]: FieldTranslation<Languages>;
-        };
-    };
-    errorDictionary: {
-        [K in ErrorKey]: Languages;
-    };
-    etcDictionary: {
-        [K in EtcKey]: Languages;
-    };
+    modelDictionary: { [K in ModelKey]: FieldTranslation<Languages>; };
+    enumDictionary: { [K in EnumKey]: {
+        [key: string]: FieldTranslation<Languages>;
+    }; };
+    errorDictionary: { [K in ErrorKey]: Languages; };
+    etcDictionary: { [K in EtcKey]: Languages; };
     constructor(languages: Languages);
     of(translate: (t: (trans: Languages) => FieldTranslation<Languages>) => FieldTranslation<Languages>): this;
     model<Model>(translate: (t: (trans: Languages) => FieldTranslation<Languages>) => {
@@ -202,17 +142,10 @@ export declare class ScalarDictInfo<Languages extends [string, ...string[]] = [s
 }
 export declare const scalarDictionary: <Languages extends [string, ...string[]] = [string]>(languages?: Languages) => ScalarDictInfo<Languages, keyof BaseObject, never, never, never>;
 export declare class ServiceDictInfo<Languages extends [string, ...string[]] = [string], EndpointKey extends string = never, ErrorKey extends string = never, EtcKey extends string = never> {
-    #private;
     languages: Languages;
-    endpointDictionary: {
-        [K in EndpointKey]: FunctionTranslation<Languages>;
-    };
-    errorDictionary: {
-        [K in ErrorKey]: Languages;
-    };
-    etcDictionary: {
-        [K in EtcKey]: Languages;
-    };
+    endpointDictionary: { [K in EndpointKey]: FunctionTranslation<Languages>; };
+    errorDictionary: { [K in ErrorKey]: Languages; };
+    etcDictionary: { [K in EtcKey]: Languages; };
     constructor(languages: Languages);
     endpoint<Endpoint>(translate: (fn: (trans: Languages) => FunctionTranslation<Languages>) => {
         [K in keyof DictEndpointShape<Endpoint>]: FunctionTranslation<Languages, DictArgNames<DictEndpointShape<Endpoint>[K]>>;

package/types/dictionary/dictShape.d.ts

@@ -0,0 +1,26 @@
+import type { ENDPOINT_DICT_SHAPE, FILTER_DICT_SHAPE, SLICE_DICT_SHAPE } from "akanjs/base";
+import type { FilterCls, FilterDictShape as FilterCompactShape, FilterDictArgShape, FilterInfo, FilterInstance } from "akanjs/document";
+import type { EndpointCls, EndpointDictShape as EndpointCompactShape, EndpointInfo, SliceCls, SliceDictShape as SliceCompactShape, SliceInfo } from "akanjs/signal";
+type DictArgShape = {
+    [key: string]: readonly string[];
+};
+type AnyFilterShape = FilterCompactShape<FilterInstance<Record<string, FilterInfo>, Record<string, unknown>>>;
+type DictFilterShape<Filter> = Filter extends FilterCls<infer FilterShape> ? FilterCompactShape<FilterShape> : Filter extends {
+    readonly [FILTER_DICT_SHAPE]: infer CompactShape extends FilterDictArgShape;
+} ? CompactShape : Filter extends FilterInstance ? FilterCompactShape<Filter> : Filter extends {
+    query: Record<string, FilterInfo>;
+    sort: Record<string, unknown>;
+} ? FilterCompactShape<Filter> : Filter extends {
+    query: DictArgShape;
+    sort: Record<string, true>;
+} ? Filter : AnyFilterShape;
+export type DictSliceShape<Slice> = Slice extends SliceCls<infer _SrvModule, infer SliceInfoObj> ? SliceCompactShape<SliceInfoObj> : Slice extends {
+    readonly [SLICE_DICT_SHAPE]: infer CompactShape extends DictArgShape;
+} ? CompactShape : Slice extends DictArgShape ? Slice : Slice extends Record<string, SliceInfo> ? SliceCompactShape<Slice> : Record<never, never>;
+export type DictEndpointShape<Endpoint> = Endpoint extends EndpointCls<infer _SrvModule, infer EndpointInfoObj> ? EndpointCompactShape<EndpointInfoObj> : Endpoint extends {
+    readonly [ENDPOINT_DICT_SHAPE]: infer CompactShape extends DictArgShape;
+} ? CompactShape : Endpoint extends DictArgShape ? Endpoint : Endpoint extends Record<string, EndpointInfo> ? EndpointCompactShape<Endpoint> : Record<never, never>;
+export type DictArgNames<ArgNames> = ArgNames extends readonly string[] ? ArgNames[number] : never;
+export type DictFilterQuery<Filter> = DictFilterShape<Filter>["query"];
+export type DictFilterSort<Filter> = DictFilterShape<Filter>["sort"];
+export {};