@dxos/echo 0.8.4-main.fd6878d → 0.8.4-staging.60fe92afc8

package/dist/types/src/internal/Entity/entity.d.ts

@@ -0,0 +1,84 @@
+import * as Schema from 'effect/Schema';
+import type * as Types from 'effect/Types';
+import { DXN, EntityId } from '@dxos/keys';
+import { type ToMutable } from '@dxos/util';
+import { type AnyEntity, EntityKind, InstancePhantomId, KindId, SchemaKindId, StaticTypeSchemaSlot } from '../common/types';
+import { JsonSchemaType } from '../JsonSchema/json-schema-type';
+export type EchoTypeSchemaProps<T, ExtraFields = {}> = Types.Simplify<AnyEntity & ToMutable<T> & ExtraFields>;
+/**
+ * Options accepted by every `Type.makeObject` / `Type.makeRelation` / type-kind
+ * factory. Defaults are derived from `(typename, version)` so callers normally
+ * pass nothing.
+ */
+export type EchoTypeOptions = {
+    /**
+     * Override the entity id stamped on the in-memory `Type.Type` value.
+     *
+     * Defaults to `EntityId.deterministic(typename, version)` — stable across processes
+     * and workerd-safe (no `crypto.getRandomValues()` at module-evaluation time).
+     * Pass an explicit id (typically `EntityId.random()`) to opt out of the
+     * deterministic default.
+     */
+    id?: EntityId;
+};
+/**
+ * In-memory `Type.Type` entity shape produced by `Type.makeObject(dxn)` /
+ * `Type.makeRelation({...})`. A live reactive `TypeSchema` instance —
+ * identical to a persisted `Type.Type` except for database attachment.
+ *
+ * NOT a `Schema.Schema`. The underlying Effect Schema is cached on the hidden
+ * `StaticTypeSchemaSlot` slot — retrieve it via `Type.getSchema(...)`.
+ */
+export interface EchoTypeSchema<Self extends Schema.Schema.Any, ExtraFields = {}, K extends EntityKind = EntityKind, Fields extends Schema.Struct.Fields = Schema.Struct.Fields> {
+    /**
+     * Entity-kind brand. Type entities are their own kind (`Type`) regardless of
+     * the kind of instance they describe — `[SchemaKindId]` carries the latter.
+     * This lets predicates like `Obj.isObject` / `Relation.isRelation` cleanly
+     * reject type entities without also having to inspect `[SchemaKindId]`.
+     */
+    readonly [KindId]: EntityKind.Type;
+    /** Schema-kind brand indicating what kind of instance this type describes. */
+    readonly [SchemaKindId]: K;
+    /**
+     * Entity id. Always present — stamped at construction — but NOT the type's
+     * identity while in-memory: an unattached type resolves its URI to the typename
+     * DXN, switching to `echo:/<id>` only once attached to a database (see
+     * `getTypeURIFromSpecifier`, which discriminates by database attachment).
+     */
+    readonly id: EntityId;
+    /** Source Effect Schema (kept on a hidden slot for `Type.getSchema`). */
+    readonly [StaticTypeSchemaSlot]: Schema.Schema.AnyNoContext;
+    readonly jsonSchema: JsonSchemaType;
+    /** Struct fields for introspection. */
+    readonly fields: Fields;
+    /** Phantom — instance type produced by `Obj.make(self, ...)`. */
+    readonly _instance?: EchoTypeSchemaProps<Schema.Schema.Type<Self>, ExtraFields>;
+    /**
+     * Phantom slot mirroring `Type<A>` so internal helpers (`makeObject`,
+     * `createObject`, `Ref.make`) infer the instance type uniformly whether
+     * the caller passes an `EchoTypeSchema` or a top-level `Type.Type` entity.
+     *
+     * Includes the instance-kind brand (`[KindId]`) so the phantom is assignable
+     * to the matching public-side interface in `Type.ts` (`Type.Obj` /
+     * `Type.Relation` / `Type.Type`). Each kind projects identity: instances of
+     * an object-kind schema are object-kind entities, type-kind schemas produce
+     * type-kind (persisted Type.Type) entities — the latter additionally carry
+     * the `[SchemaKindId]` / `[StaticTypeSchemaSlot]` brands the echo-handler
+     * proxy exposes on persisted Type entities.
+     */
+    readonly [InstancePhantomId]?: EchoTypeSchemaProps<Schema.Schema.Type<Self>, ExtraFields> & {
+        readonly [KindId]: K;
+    } & (K extends EntityKind.Type ? {
+        readonly [SchemaKindId]: EntityKind.Type;
+        readonly [StaticTypeSchemaSlot]: Schema.Schema.AnyNoContext;
+    } : {});
+}
+/**
+ * Identity (typename + version) of the type meta-schema — the `Type.Type` that
+ * every ECHO type entity is itself an instance of. Shared by the materialisation
+ * vehicle ({@link persistentEntitySchema}) and `TypeSchema` so the two cannot
+ * drift on identity.
+ */
+export declare const TypeMetaSchemaDXN: DXN.DXN;
+export { isEntity } from './guard';
+//# sourceMappingURL=entity.d.ts.map

package/dist/types/src/internal/Entity/entity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Entity/entity.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAE3C,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAO5C,OAAO,EACL,KAAK,SAAS,EACd,UAAU,EACV,iBAAiB,EACjB,MAAM,EACN,YAAY,EACZ,oBAAoB,EACrB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAKhE,MAAM,MAAM,mBAAmB,CAAC,CAAC,EAAE,WAAW,GAAG,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC;AAE9G;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B;;;;;;;OAOG;IACH,EAAE,CAAC,EAAE,QAAQ,CAAC;CACf,CAAC;AAEF;;;;;;;GAOG;AAEH,MAAM,WAAW,cAAc,CAC7B,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAC9B,WAAW,GAAG,EAAE,EAChB,CAAC,SAAS,UAAU,GAAG,UAAU,EACjC,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM;IAE1D;;;;;OAKG;IACH,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC;IAEnC,8EAA8E;IAC9E,QAAQ,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAE3B;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IAEtB,yEAAyE;IACzE,QAAQ,CAAC,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAK5D,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IAEpC,uCAAuC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB,iEAAiE;IACjE,QAAQ,CAAC,SAAS,CAAC,EAAE,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC;IAEhF;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,GAAG;QAC1F,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;KACtB,GAAG,CAAC,CAAC,SAAS,UAAU,CAAC,IAAI,GACxB;QACE,QAAQ,CAAC,CAAC,YAAY,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC;QACzC,QAAQ,CAAC,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;KAC7D,GACD,EAAE,CAAC,CAAC;CACX;AAiCD;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,SAA4C,CAAC;AAuH3E,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC"}

package/dist/types/src/internal/Entity/guard.d.ts

@@ -0,0 +1,10 @@
+import type * as Entity from '../../Entity';
+/**
+ * Returns true if the value is an ECHO entity instance (object or relation).
+ */
+export declare const isEntity: (value: unknown) => value is Entity.Unknown;
+/**
+ * Returns true if the value is an ECHO entity snapshot.
+ */
+export declare const isSnapshot: (value: unknown) => value is Entity.Snapshot;
+//# sourceMappingURL=guard.d.ts.map

package/dist/types/src/internal/Entity/guard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Entity/guard.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,KAAK,MAAM,MAAM,cAAc,CAAC;AAG5C;;GAEG;AACH,eAAO,MAAM,QAAQ,UAAW,OAAO,KAAG,KAAK,IAAI,MAAM,CAAC,OAKzD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,UAAU,UAAW,OAAO,KAAG,KAAK,IAAI,MAAM,CAAC,QAK3D,CAAC"}

package/dist/types/src/internal/Entity/index.d.ts

@@ -0,0 +1,10 @@
+export * from './api';
+export * from './entity';
+export * from './model';
+export * from './object';
+export * from './relation';
+export * from './type-kind';
+export * from './type-uri';
+export * from './util';
+export * from './version';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/src/internal/Entity/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Entity/index.ts"],"names":[],"mappings":"AAIA,cAAc,OAAO,CAAC;AACtB,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,cAAc,UAAU,CAAC;AACzB,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,QAAQ,CAAC;AACvB,cAAc,WAAW,CAAC"}

package/dist/types/src/internal/Entity/model.d.ts

@@ -0,0 +1,59 @@
+import type * as Schema from 'effect/Schema';
+import { type ForeignKey } from '@dxos/echo-protocol';
+import { EID, EntityId, type URI } from '@dxos/keys';
+import type * as Database from '../../Database';
+import { type ATTR_PARENT, type ATTR_TYPE, ATTR_DELETED, ATTR_RELATION_SOURCE, ATTR_RELATION_TARGET, ATTR_SELF_URI, ATTR_SELF_URI_LEGACY, EntityKind, KindId, ObjectDatabaseId, ObjectDeletedId, ObjectVersionId, type ParentId, RelationSourceDXNId, RelationSourceId, RelationTargetDXNId, RelationTargetId, type SchemaId, SelfURIId, TypeId, type Version } from '../common/types';
+import { type ATTR_META, type EntityMeta } from '../common/types/meta';
+import { type MetaId } from '../common/types/model-symbols';
+export { ATTR_DELETED, ATTR_SELF_URI, ATTR_SELF_URI_LEGACY, ObjectDatabaseId, ObjectDeletedId, ObjectVersionId, SelfURIId, };
+/**
+ * Internal runtime representation of an object.
+ * The fields are accessed through getter functions.
+ */
+export interface InternalObjectProps {
+    readonly id: EntityId;
+    readonly [SelfURIId]: EID.EID;
+    readonly [KindId]: EntityKind;
+    readonly [SchemaId]: Schema.Schema.AnyNoContext;
+    readonly [TypeId]: URI.URI;
+    readonly [MetaId]?: EntityMeta;
+    [ParentId]?: InternalObjectProps;
+    readonly [ObjectDatabaseId]?: Database.Database;
+    readonly [ObjectDeletedId]?: boolean;
+    readonly [ObjectVersionId]?: Version;
+    readonly [RelationSourceDXNId]?: EID.EID;
+    readonly [RelationTargetDXNId]?: EID.EID;
+    readonly [RelationSourceId]?: InternalObjectProps;
+    readonly [RelationTargetId]?: InternalObjectProps;
+}
+/**
+ * Entity metadata.
+ */
+export interface EntityMetaJSON {
+    keys: ForeignKey[];
+    tags?: string[];
+    key?: string;
+    version?: string;
+}
+/**
+ * JSON representation of an object or relation metadata.
+ */
+export interface ObjectJSON {
+    id: EntityId;
+    [ATTR_TYPE]?: URI.URI;
+    [ATTR_SELF_URI]?: EID.EID;
+    [ATTR_PARENT]?: EID.EID;
+    [ATTR_DELETED]?: boolean;
+    [ATTR_META]?: EntityMetaJSON;
+    [ATTR_RELATION_SOURCE]?: EID.EID;
+    [ATTR_RELATION_TARGET]?: EID.EID;
+    /**
+     * Application-specific properties.
+     */
+    [key: string]: unknown;
+}
+/**
+ * NOTE: Keep as `function` to avoid type inference issues.
+ */
+export declare function assertObjectModel(obj: unknown): asserts obj is InternalObjectProps;
+//# sourceMappingURL=model.d.ts.map

package/dist/types/src/internal/Entity/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Entity/model.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,GAAG,EAAE,MAAM,YAAY,CAAC;AAGrD,OAAO,KAAK,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAChD,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,YAAY,EACZ,oBAAoB,EACpB,oBAAoB,EACpB,aAAa,EACb,oBAAoB,EACpB,UAAU,EACV,MAAM,EACN,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,KAAK,QAAQ,EACb,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EAChB,KAAK,QAAQ,EACb,SAAS,EACT,MAAM,EACN,KAAK,OAAO,EACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,KAAK,SAAS,EAAE,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,+BAA+B,CAAC;AAE5D,OAAO,EACL,YAAY,EACZ,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,SAAS,GACV,CAAC;AAEF;;;GAGG;AAEH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IACtB,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;IAC9B,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAChD,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;IAC3B,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC;IAC/B,CAAC,QAAQ,CAAC,CAAC,EAAE,mBAAmB,CAAC;IACjC,QAAQ,CAAC,CAAC,gBAAgB,CAAC,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC;IAChD,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;IACzC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;IACzC,QAAQ,CAAC,CAAC,gBAAgB,CAAC,CAAC,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,CAAC,gBAAgB,CAAC,CAAC,EAAE,mBAAmB,CAAC;CACnD;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,UAAU,EAAE,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,QAAQ,CAAC;IACb,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;IACtB,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;IAC1B,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;IACxB,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC;IACzB,CAAC,SAAS,CAAC,CAAC,EAAE,cAAc,CAAC;IAC7B,CAAC,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;IACjC,CAAC,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;IAEjC;;OAEG;IACH,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAAC,GAAG,IAAI,mBAAmB,CAgBlF"}

package/dist/types/src/internal/Entity/object.d.ts

@@ -0,0 +1,18 @@
+import * as Schema from 'effect/Schema';
+import { DXN } from '@dxos/keys';
+import { EntityKind } from '../common/types';
+import { type EchoTypeOptions, type EchoTypeSchema } from './entity';
+/**
+ * Object schema type with kind marker.
+ */
+export type EchoObjectSchema<Self extends Schema.Schema.Any, Fields extends Schema.Struct.Fields = Schema.Struct.Fields> = EchoTypeSchema<Self, {}, EntityKind.Object, Fields>;
+/**
+ * Schema for Obj entity types.
+ * Pipeable function to add ECHO object annotations to a schema.
+ */
+export declare const EchoObjectSchema: {
+    (dxn: DXN.DXN, options?: EchoTypeOptions): <Self extends Schema.Schema.Any, Fields extends Schema.Struct.Fields = Schema.Struct.Fields>(self: Self & {
+        fields?: Fields;
+    }) => EchoObjectSchema<Self, Fields>;
+};
+//# sourceMappingURL=object.d.ts.map

package/dist/types/src/internal/Entity/object.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Entity/object.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAIjC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,cAAc,EAAsB,MAAM,UAAU,CAAC;AAEzF;;GAEG;AACH,MAAM,MAAM,gBAAgB,CAC1B,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAC9B,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,IACxD,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAExD;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE;IAC7B,CACE,GAAG,EAAE,GAAG,CAAC,GAAG,EACZ,OAAO,CAAC,EAAE,eAAe,GACxB,CAAC,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAC5F,IAAI,EAAE,IAAI,GAAG;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,KAC7B,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;CAsCrC,CAAC"}

package/dist/types/src/internal/Entity/relation.d.ts

@@ -0,0 +1,58 @@
+import * as Schema from 'effect/Schema';
+import { DXN, type EntityId } from '@dxos/keys';
+import type * as Obj from '../../Obj';
+import type * as Type from '../../Type';
+import { ATTR_RELATION_SOURCE, ATTR_RELATION_TARGET, EntityKind, RelationSourceDXNId, RelationSourceId, RelationTargetDXNId, RelationTargetId, type UnknownTypeSchema } from '../common/types';
+export { ATTR_RELATION_SOURCE, ATTR_RELATION_TARGET, RelationSourceDXNId, RelationSourceId, RelationTargetDXNId, RelationTargetId, };
+import { type EchoTypeSchema } from './entity';
+/**
+ * Source and target props on relations.
+ */
+export type RelationSourceTargetRefs<Source = any, Target = any> = {
+    /**
+     * Source ECHO live object.
+     */
+    [RelationSourceId]: Source;
+    /**
+     * Target ECHO live object.
+     */
+    [RelationTargetId]: Target;
+};
+export type RelationSource<R> = R extends RelationSourceTargetRefs<infer Source, infer _Target> ? Source : never;
+export type RelationTarget<R> = R extends RelationSourceTargetRefs<infer _Source, infer Target> ? Target : never;
+/**
+ * Accepted relation endpoint: an object-kind `Type.Type` entity (slot-backed)
+ * or the branded `Obj.Unknown` schema. Source/target are constrained to these
+ * — relations only connect object-kind entities.
+ */
+export type RelationEndpoint = Type.AnyObj | UnknownTypeSchema<any, EntityKind.Object>;
+/**
+ * Resolves a relation endpoint to the instance type it describes — the source /
+ * target instance recorded on the relation's `RelationSourceTargetRefs`.
+ */
+export type RelationEndpointInstance<S> = S extends UnknownTypeSchema<infer A, any> ? A : S extends Type.AnyObj ? Type.InstanceType<S> : unknown;
+export type EchoRelationSchemaOptions<TSource extends RelationEndpoint, TTarget extends RelationEndpoint> = {
+    dxn: DXN.DXN;
+    source: TSource;
+    target: TTarget;
+    /**
+     * Override the entity id stamped on the in-memory `Type.Type` value.
+     *
+     * Defaults to `EntityId.deterministic(typename, version)` — stable across processes
+     * and workerd-safe (no `crypto.getRandomValues()` at module-evaluation time).
+     */
+    id?: EntityId;
+};
+/**
+ * Relation schema type with kind marker. `SourceInstance` / `TargetInstance`
+ * are the resolved endpoint instance types (see {@link RelationEndpointInstance}).
+ */
+export type EchoRelationSchema<Self extends Schema.Schema.Any, SourceInstance extends Obj.Unknown, TargetInstance extends Obj.Unknown, Fields extends Schema.Struct.Fields = Schema.Struct.Fields> = EchoTypeSchema<Self, RelationSourceTargetRefs<SourceInstance, TargetInstance>, EntityKind.Relation, Fields>;
+/**
+ * Schema for Relation entity types.
+ */
+export declare const EchoRelationSchema: <Source extends RelationEndpoint, Target extends RelationEndpoint>({ dxn, source, target, id: explicitId, }: EchoRelationSchemaOptions<Source, Target>) => <Self extends Schema.Schema.Any, Fields extends Schema.Struct.Fields = Schema.Struct.Fields>(self: Self & {
+    fields?: Fields;
+}) => EchoRelationSchema<Self, RelationEndpointInstance<Source>, RelationEndpointInstance<Target>, Fields>;
+export declare const getDXNForRelationSchemaRef: (schema: Schema.Schema.Any) => DXN.DXN;
+//# sourceMappingURL=relation.d.ts.map

package/dist/types/src/internal/Entity/relation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relation.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Entity/relation.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAKxC,OAAO,EAAE,GAAG,EAAE,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAC;AAIhD,OAAO,KAAK,KAAK,GAAG,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,KAAK,IAAI,MAAM,YAAY,CAAC;AASxC,OAAO,EACL,oBAAoB,EACpB,oBAAoB,EACpB,UAAU,EACV,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EAChB,KAAK,iBAAiB,EAEvB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,oBAAoB,EACpB,oBAAoB,EACpB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,GACjB,CAAC;AAGF,OAAO,EAAE,KAAK,cAAc,EAAsB,MAAM,UAAU,CAAC;AAEnE;;GAEG;AAEH,MAAM,MAAM,wBAAwB,CAAC,MAAM,GAAG,GAAG,EAAE,MAAM,GAAG,GAAG,IAAI;IACjE;;OAEG;IACH,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAE3B;;OAEG;IACH,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,wBAAwB,CAAC,MAAM,MAAM,EAAE,MAAM,OAAO,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC;AACjH,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,wBAAwB,CAAC,MAAM,OAAO,EAAE,MAAM,MAAM,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC;AAEjH;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,GAAG,iBAAiB,CAAC,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;AAEvF;;;GAGG;AACH,MAAM,MAAM,wBAAwB,CAAC,CAAC,IACpC,CAAC,SAAS,iBAAiB,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;AAEzG,MAAM,MAAM,yBAAyB,CAAC,OAAO,SAAS,gBAAgB,EAAE,OAAO,SAAS,gBAAgB,IAAI;IAC1G,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,OAAO,CAAC;IAChB;;;;;OAKG;IACH,EAAE,CAAC,EAAE,QAAQ,CAAC;CACf,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,kBAAkB,CAC5B,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAC9B,cAAc,SAAS,GAAG,CAAC,OAAO,EAClC,cAAc,SAAS,GAAG,CAAC,OAAO,EAClC,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,IACxD,cAAc,CAAC,IAAI,EAAE,wBAAwB,CAAC,cAAc,EAAE,cAAc,CAAC,EAAE,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAEhH;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM,SAAS,gBAAgB,EAAE,MAAM,SAAS,gBAAgB,4CAKhG,yBAAyB,CAAC,MAAM,EAAE,MAAM,CAAC,MAoBlC,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,QAC1F,IAAI,GAAG;IAAE,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,KAC/B,kBAAkB,CAAC,IAAI,EAAE,wBAAwB,CAAC,MAAM,CAAC,EAAE,wBAAwB,CAAC,MAAM,CAAC,EAAE,MAAM,CAsCvG,CAAC;AAEF,eAAO,MAAM,0BAA0B,WAAY,MAAM,CAAC,MAAM,CAAC,GAAG,KAAG,GAAG,CAAC,GAa1E,CAAC"}

package/dist/types/src/internal/Entity/type-kind.d.ts

@@ -0,0 +1,24 @@
+import * as Schema from 'effect/Schema';
+import { DXN } from '@dxos/keys';
+import { EntityKind } from '../common/types';
+import { type EchoTypeOptions, type EchoTypeSchema } from './entity';
+/**
+ * Type-kind schema marker — produced by {@link EchoTypeKindSchema}.
+ *
+ * Distinguishes meta-schemas (entities of `EntityKind.Type`, such as the
+ * built-in `Type.Type` TypeSchema) from object and relation types.
+ */
+export type EchoTypeKindSchema<Self extends Schema.Schema.Any, Fields extends Schema.Struct.Fields = Schema.Struct.Fields> = EchoTypeSchema<Self, {}, EntityKind.Type, Fields>;
+/**
+ * Pipeable that brands a schema as a type-kind ECHO entity. Mirrors
+ * {@link EchoObjectSchema} / {@link EchoRelationSchema}, but stamps the
+ * resulting entity with `[SchemaKindId]: EntityKind.Type` and a matching
+ * `TypeAnnotation.kind = 'type'` so meta-schemas surface uniformly through
+ * `Type.isTypeKind`, `Filter.type`, etc.
+ */
+export declare const EchoTypeKindSchema: {
+    (dxn: DXN.DXN, options?: EchoTypeOptions): <Self extends Schema.Schema.Any, Fields extends Schema.Struct.Fields = Schema.Struct.Fields>(self: Self & {
+        fields?: Fields;
+    }) => EchoTypeKindSchema<Self, Fields>;
+};
+//# sourceMappingURL=type-kind.d.ts.map

package/dist/types/src/internal/Entity/type-kind.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-kind.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Entity/type-kind.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAIjC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,cAAc,EAAsB,MAAM,UAAU,CAAC;AAEzF;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,CAC5B,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAC9B,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,IACxD,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAEtD;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,EAAE;IAC/B,CACE,GAAG,EAAE,GAAG,CAAC,GAAG,EACZ,OAAO,CAAC,EAAE,eAAe,GACxB,CAAC,IAAI,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAC5F,IAAI,EAAE,IAAI,GAAG;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,KAC7B,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;CAkCvC,CAAC"}

package/dist/types/src/internal/Entity/type-uri.d.ts

@@ -0,0 +1,24 @@
+import * as Schema from 'effect/Schema';
+import { URI } from '@dxos/keys';
+import { type AnyEntity, InstancePhantomId } from '../common/types';
+/**
+ * @param input schema, `Type.Type` entity, or a type URI (an `echo:` EID or a `dxn:` DXN).
+ * @return type identifier URI — see {@link getSchemaURI}. A URI is returned verbatim. For a
+ * `Type.Type` entity, the URI of the schema it declares, symmetric with what
+ * `Obj.make(typeEntity, ...)` stamps on `system.type`: a static declaration resolves to its
+ * typename DXN, a persisted entity to its local `echo:/<objectId>`.
+ */
+export declare const getTypeURIFromSpecifier: (input: Schema.Schema.All | AnyEntity | URI.URI) => URI.URI;
+/**
+ * Checks if the object is an instance of the schema.
+ * Only typename is compared, the schema version is ignored.
+ *
+ * The following cases are considered to mean that the object is an instance of the schema:
+ *  - Object was created with this exact schema.
+ *  - Object was created with a different version of this schema.
+ *  - Object was created with a different schema (maybe dynamic) that has the same typename.
+ */
+export declare const isInstanceOf: <S>(schemaOrType: S extends Schema.Schema.AnyNoContext ? S : Schema.Schema.AnyNoContext | AnyEntity, object: any) => object is S extends Schema.Schema.AnyNoContext ? Schema.Schema.Type<S> : S extends {
+    readonly [InstancePhantomId]?: infer A;
+} ? A : unknown;
+//# sourceMappingURL=type-uri.d.ts.map

package/dist/types/src/internal/Entity/type-uri.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-uri.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Entity/type-uri.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,EAAY,GAAG,EAAE,MAAM,YAAY,CAAC;AAG3C,OAAO,EAAE,KAAK,SAAS,EAAE,iBAAiB,EAAuC,MAAM,iBAAiB,CAAC;AAGzG;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,UAAW,MAAM,CAAC,MAAM,CAAC,GAAG,GAAG,SAAS,GAAG,GAAG,CAAC,GAAG,KAAG,GAAG,CAAC,GAyB5F,CAAC;AAEF;;;;;;;;GAQG;AAEH,eAAO,MAAM,YAAY,GAAI,CAAC,gBACd,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG,SAAS,UACvF,GAAG,KACV,MAAM,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,YAAY,GAC7C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GACrB,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAClD,CAAC,GACD,OA0BL,CAAC"}

package/dist/types/src/internal/Entity/util.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=util.d.ts.map

package/dist/types/src/internal/Entity/util.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"util.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Entity/util.ts"],"names":[],"mappings":""}

package/dist/types/src/internal/Entity/version.d.ts

@@ -0,0 +1,42 @@
+import { type AnyEntity, VersionTypeId } from '../common/types';
+/**
+ * Represent entity version.
+ * May be backed by Automerge.
+ * Entities with no history are not versioned.
+ * Named EntityVersion to avoid conflict with types/version.ts.
+ */
+export interface EntityVersion {
+    [VersionTypeId]: {};
+    /**
+     * Whether the entity is versioned.
+     */
+    versioned: boolean;
+    /**
+     * Automerge heads.
+     */
+    automergeHeads?: string[];
+}
+/**
+ * Checks that `obj` is a version object.
+ */
+export declare const isVersion: (entity: unknown) => entity is EntityVersion;
+/**
+ * Returns the version of an entity.
+ * Accepts both reactive entities and snapshots.
+ */
+export declare const version: (entity: AnyEntity) => EntityVersion;
+/**
+ * Checks that `version` is a valid version object.
+ */
+export declare const versionValid: (ver: EntityVersion) => boolean;
+export type VersionCompareResult = 'unversioned' | 'equal' | 'different';
+/**
+ * Compares two versions.
+ * @param version1
+ * @param version2
+ * @returns 'unversioned' if either entity is unversioned, 'equal' if the versions are equal, 'different' if the versions are different.
+ */
+export declare const compareVersions: (version1: EntityVersion, version2: EntityVersion) => VersionCompareResult;
+export declare const encodeVersion: (ver: EntityVersion) => string;
+export declare const decodeVersion: (ver: string) => EntityVersion;
+//# sourceMappingURL=version.d.ts.map

package/dist/types/src/internal/Entity/version.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Entity/version.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,KAAK,SAAS,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAGhE;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC;IAEpB;;OAEG;IACH,SAAS,EAAE,OAAO,CAAC;IAEnB;;OAEG;IACH,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAOD;;GAEG;AACH,eAAO,MAAM,SAAS,WAAY,OAAO,KAAG,MAAM,IAAI,aAErD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,OAAO,WAAY,SAAS,KAAG,aAM3C,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,YAAY,QAAS,aAAa,KAAG,OAGjD,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG,aAAa,GAAG,OAAO,GAAG,WAAW,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,eAAe,aAAc,aAAa,YAAY,aAAa,KAAG,oBAgBlF,CAAC;AAEF,eAAO,MAAM,aAAa,QAAS,aAAa,KAAG,MAElD,CAAC;AAEF,eAAO,MAAM,aAAa,QAAS,MAAM,KAAG,aAI3C,CAAC"}

package/dist/types/src/internal/Format/date.d.ts

@@ -0,0 +1,63 @@
+import * as Schema from 'effect/Schema';
+/**
+ * Datetime values should be stored as ISO strings or unix numbers (ms) in UTC.
+ *
+ * NOTE: HyperFormula uses Excel's time format (null date 1900/01/01)
+ * It can be configured to use a different parser via `parseDateTime`.
+ * https://hyperformula.handsontable.com/guide/date-and-time-handling.html#date-and-time-handling
+ * https://github.com/handsontable/hyperformula/blob/master/src/DateTimeHelper.ts
+ */
+/**
+ * Simple date compatible with HF.
+ */
+export declare const SimpleDate: Schema.Struct<{
+    year: Schema.filter<typeof Schema.Number>;
+    month: Schema.filter<typeof Schema.Number>;
+    day: Schema.filter<typeof Schema.Number>;
+}>;
+export type SimpleDate = Schema.Schema.Type<typeof SimpleDate>;
+export declare const toSimpleDate: (date: Date) => SimpleDate;
+/**
+ * Simple time compatible with HF.
+ */
+export declare const SimpleTime: Schema.Struct<{
+    hours: Schema.filter<typeof Schema.Number>;
+    minutes: Schema.filter<typeof Schema.Number>;
+    seconds: Schema.filter<typeof Schema.Number>;
+}>;
+export type SimpleTime = Schema.Schema.Type<typeof SimpleTime>;
+export declare const toSimpleTime: (date: Date) => SimpleTime;
+/**
+ * Simple date-time compatible with HF.
+ */
+export declare const SimpleDateTime: Schema.extend<Schema.Struct<{
+    year: Schema.filter<typeof Schema.Number>;
+    month: Schema.filter<typeof Schema.Number>;
+    day: Schema.filter<typeof Schema.Number>;
+}>, Schema.Struct<{
+    hours: Schema.filter<typeof Schema.Number>;
+    minutes: Schema.filter<typeof Schema.Number>;
+    seconds: Schema.filter<typeof Schema.Number>;
+}>>;
+export type SimpleDateTime = Schema.Schema.Type<typeof SimpleDateTime>;
+export declare const toSimpleDateTime: (date: Date) => SimpleDateTime;
+/**
+ * https://effect.website/docs/guides/schema/transformations#date-transformations
+ */
+/**
+ * Format: 2018-11-13
+ */
+export declare const DateOnly: Schema.SchemaClass<string, string, never>;
+/**
+ * Format: 20:20:39+00:00
+ */
+export declare const TimeOnly: Schema.SchemaClass<string, string, never>;
+/**
+ * Format: 2018-11-13T20:20:39+00:00
+ */
+export declare const DateTime: Schema.SchemaClass<string, string, never>;
+/**
+ * https://datatracker.ietf.org/doc/html/rfc3339#appendix-A
+ */
+export declare const Duration: Schema.SchemaClass<string, string, never>;
+//# sourceMappingURL=date.d.ts.map

package/dist/types/src/internal/Format/date.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"date.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Format/date.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAKxC;;;;;;;GAOG;AAUH;;GAEG;AACH,eAAO,MAAM,UAAU;;;;EAIrB,CAAC;AAEH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAC;AAE/D,eAAO,MAAM,YAAY,SAAU,IAAI,KAAG,UAIxC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,UAAU;;;;EAIrB,CAAC;AAEH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAC;AAE/D,eAAO,MAAM,YAAY,SAAU,IAAI,KAAG,UAIxC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,cAAc;;;;;;;;GAAwC,CAAC;AAEpE,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,cAAc,CAAC,CAAC;AAEvE,eAAO,MAAM,gBAAgB,SAAU,IAAI,KAAG,cAG5C,CAAC;AAEH;;GAEG;AAIH;;GAEG;AACH,eAAO,MAAM,QAAQ,2CA2BpB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,QAAQ,2CAwBpB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,QAAQ,2CAuCpB,CAAC;AAEF;;GAEG;AAEH,eAAO,MAAM,QAAQ,2CAMpB,CAAC"}

package/dist/types/src/internal/Format/date.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=date.test.d.ts.map

package/dist/types/src/internal/Format/date.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"date.test.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Format/date.test.ts"],"names":[],"mappings":""}

package/dist/types/src/internal/Format/format.d.ts

@@ -0,0 +1,33 @@
+import * as Schema from 'effect/Schema';
+import * as Keys from '@dxos/keys';
+import * as NumberUtil from './number';
+import * as ObjectUtil from './object';
+import { TypeFormat as TypeFormat$ } from './types';
+/**
+ * Formats.
+ * https://json-schema.org/understanding-json-schema/reference/string#built-in-formats
+ * NOTE: A JSON Schema validator will ignore any format type that it does not understand.
+ */
+export declare namespace Format {
+    export import TypeFormat = TypeFormat$;
+    const DXN: Schema.Schema<Keys.DXN.DXN, Keys.DXN.DXN, never>;
+    const Email: Schema.refine<string, typeof Schema.String>;
+    const Formula: typeof Schema.String;
+    const Hostname: typeof Schema.String;
+    const JSON: typeof Schema.String;
+    const Markdown: typeof Schema.String;
+    const Regex: typeof Schema.String;
+    const URL: Schema.refine<string, typeof Schema.String>;
+    const UUID: typeof Schema.UUID;
+    const Currency: ({ decimals, code }?: NumberUtil.CurrencyAnnotation) => Schema.Schema<number, number, never>;
+    const Integer: () => Schema.refine<number, typeof Schema.Number>;
+    const Percent: ({ decimals }?: NumberUtil.PercentAnnotation) => Schema.Schema<number, number, never>;
+    const Timestamp: Schema.SchemaClass<number, number, never>;
+    const Date: Schema.SchemaClass<string, string, never>;
+    const DateTime: Schema.SchemaClass<string, string, never>;
+    const Duration: Schema.SchemaClass<string, string, never>;
+    const Time: Schema.SchemaClass<string, string, never>;
+    const GeoPoint: Schema.Tuple<[Schema.transform<Schema.transform<typeof Schema.Number, Schema.filter<Schema.SchemaClass<number, number, never>>>, typeof Schema.Number>, Schema.transform<Schema.transform<typeof Schema.Number, Schema.filter<Schema.SchemaClass<number, number, never>>>, typeof Schema.Number>, Schema.Element<typeof Schema.Number, "?">]>;
+    type GeoPoint = ObjectUtil.GeoPoint;
+}
+//# sourceMappingURL=format.d.ts.map

package/dist/types/src/internal/Format/format.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Format/format.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,IAAI,MAAM,YAAY,CAAC;AAGnC,OAAO,KAAK,UAAU,MAAM,UAAU,CAAC;AACvC,OAAO,KAAK,UAAU,MAAM,UAAU,CAAC;AAEvC,OAAO,EAAE,UAAU,IAAI,WAAW,EAAE,MAAM,SAAS,CAAC;AAKpD;;;;GAIG;AAEH,yBAAiB,MAAM,CAAC,CAAC;IACvB,MAAM,QAAQ,UAAU,GAAG,WAAW,CAAC;IAGhC,MAAM,GAAG,kDAAkB,CAAC;IAC5B,MAAM,KAAK,6CAAmB,CAAC;IAC/B,MAAM,OAAO,sBAAqB,CAAC;IACnC,MAAM,QAAQ,sBAAsB,CAAC;IACrC,MAAM,IAAI,sBAAkB,CAAC;IAC7B,MAAM,QAAQ,sBAAsB,CAAC;IACrC,MAAM,KAAK,sBAAmB,CAAC;IAC/B,MAAM,GAAG,6CAAiB,CAAC;IAC3B,MAAM,IAAI,oBAAc,CAAC;IAIzB,MAAM,QAAQ,8FAAsB,CAAC;IACrC,MAAM,OAAO,mDAAqB,CAAC;IACnC,MAAM,OAAO,uFAAqB,CAAC;IACnC,MAAM,SAAS,2CAAuB,CAAC;IAGvC,MAAM,IAAI,2CAAoB,CAAC;IAC/B,MAAM,QAAQ,2CAAoB,CAAC;IACnC,MAAM,QAAQ,2CAAoB,CAAC;IACnC,MAAM,IAAI,2CAAoB,CAAC;IAG/B,MAAM,QAAQ,+UAAsB,CAAC;IAC5C,KAAY,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;CAC5C"}

package/dist/types/src/internal/Format/format.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=format.test.d.ts.map

package/dist/types/src/internal/Format/format.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.test.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Format/format.test.ts"],"names":[],"mappings":""}

package/dist/types/src/internal/Format/index.d.ts

@@ -0,0 +1,8 @@
+export * from './date';
+export * from './format';
+export { CurrencyAnnotationId, DecimalPrecision, Currency } from './number';
+export { GeoPoint, GeoLocation } from './object';
+export * from './select';
+export * from './string';
+export * from './types';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/src/internal/Format/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Format/index.ts"],"names":[],"mappings":"AAIA,cAAc,QAAQ,CAAC;AACvB,cAAc,UAAU,CAAC;AACzB,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAC5E,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACjD,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC"}

package/dist/types/src/internal/Format/number.d.ts

@@ -0,0 +1,31 @@
+import * as Schema from 'effect/Schema';
+/**
+ * Convert number of digits to multipleOf annotation.
+ */
+export declare const DecimalPrecision: Schema.transform<typeof Schema.Number, typeof Schema.Number>;
+export declare const CurrencyAnnotationId: unique symbol;
+export type CurrencyAnnotation = {
+    decimals?: number;
+    code?: string;
+};
+/**
+ * ISO 4217 currency code.
+ */
+export declare const Currency: ({ decimals, code }?: CurrencyAnnotation) => Schema.Schema<number, number, never>;
+export type PercentAnnotation = {
+    decimals?: number;
+};
+/**
+ * Integer.
+ */
+export declare const Integer: () => Schema.refine<number, typeof Schema.Number>;
+/**
+ * Percent.
+ */
+export declare const Percent: ({ decimals }?: PercentAnnotation) => Schema.Schema<number, number, never>;
+/**
+ * Unix timestamp.
+ * https://en.wikipedia.org/wiki/Unix_time
+ */
+export declare const Timestamp: Schema.SchemaClass<number, number, never>;
+//# sourceMappingURL=number.d.ts.map

package/dist/types/src/internal/Format/number.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Format/number.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAWxC;;GAEG;AACH,eAAO,MAAM,gBAAgB,8DAM3B,CAAC;AAEH,eAAO,MAAM,oBAAoB,eAAiD,CAAC;AAEnF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,QAAQ,wBAAwB,kBAAkB,yCAS5D,CAAC;AAEJ,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,OAAO,mDAQjB,CAAC;AAEJ;;GAEG;AAEH,eAAO,MAAM,OAAO,kBAAkB,iBAAiB,yCAQpD,CAAC;AAEJ;;;GAGG;AACH,eAAO,MAAM,SAAS,2CAMrB,CAAC"}

package/dist/types/src/internal/Format/object.d.ts

@@ -0,0 +1,37 @@
+import * as Schema from 'effect/Schema';
+/**
+ * GeoJSON Format
+ * https://datatracker.ietf.org/doc/html/rfc7946
+ * https://datatracker.ietf.org/doc/html/rfc7946#section-3.1.1
+ * https://en.wikipedia.org/wiki/Geographic_coordinate_system
+ * https://geojson.org
+ * {
+ *   "type": "Point",
+ *   "coordinates": [0, 51.47] // [longitude, latitude]
+ * }
+ * Note: optional third element for altitude.
+ */
+/** Decimal places retained for stored coordinates (~1.1cm at the equator). */
+export declare const GEO_PRECISION = 7;
+export declare const GeoPoint: Schema.Tuple<[Schema.transform<Schema.transform<typeof Schema.Number, Schema.filter<Schema.SchemaClass<number, number, never>>>, typeof Schema.Number>, Schema.transform<Schema.transform<typeof Schema.Number, Schema.filter<Schema.SchemaClass<number, number, never>>>, typeof Schema.Number>, Schema.Element<typeof Schema.Number, "?">]>;
+export type GeoPoint = Schema.Schema.Type<typeof GeoPoint>;
+export type GeoLocation = {
+    longitude: number;
+    latitude: number;
+    height?: number;
+};
+/**
+ * Geolocation utilities for working with GeoPoint format.
+ */
+export declare namespace GeoLocation {
+    /**
+     * Convert latitude and longitude to GeoPoint (GeoJSON format [longitude, latitude, height?]).
+     * Clamps values to valid ranges: latitude [-90, 90], longitude [-180, 180].
+     */
+    const toGeoPoint: ({ longitude, latitude, height }: GeoLocation) => GeoPoint;
+    /**
+     * Extract latitude and longitude from GeoPoint (GeoJSON format [longitude, latitude, height?]).
+     */
+    const fromGeoPoint: (geoPoint: GeoPoint | undefined) => GeoLocation;
+}
+//# sourceMappingURL=object.d.ts.map

package/dist/types/src/internal/Format/object.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Format/object.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAMxC;;;;;;;;;;;GAWG;AACH,8EAA8E;AAC9E,eAAO,MAAM,aAAa,IAAI,CAAC;AAe/B,eAAO,MAAM,QAAQ,+UAYpB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAC;AAE3D,MAAM,MAAM,WAAW,GAAG;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF;;GAEG;AACH,yBAAiB,WAAW,CAAC,CAAC;IAC5B;;;OAGG;IACI,MAAM,UAAU,oCAAqC,WAAW,KAAG,QAMzE,CAAC;IAEF;;OAEG;IACI,MAAM,YAAY,aAAc,QAAQ,GAAG,SAAS,KAAG,WAgB7D,CAAC;CACH"}

package/dist/types/src/internal/Format/select.d.ts

@@ -0,0 +1,13 @@
+import * as Schema from 'effect/Schema';
+/**
+ * Schema for a single select option. Used to define choices in a {single|multi}-select field.
+ */
+export declare const SelectOption: Schema.Struct<{
+    /** Stable identifier for the option. */
+    id: typeof Schema.NonEmptyString;
+    title: typeof Schema.String;
+    /** Color palette used for visual styling. */
+    color: typeof Schema.String;
+}>;
+export type SelectOption = Schema.Schema.Type<typeof SelectOption>;
+//# sourceMappingURL=select.d.ts.map

package/dist/types/src/internal/Format/select.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"select.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Format/select.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC;;GAEG;AACH,eAAO,MAAM,YAAY;IACvB,wCAAwC;;;IAGxC,6CAA6C;;EAE7C,CAAC;AAEH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,YAAY,CAAC,CAAC"}