@dxos/echo 0.8.4-main.fffef41 → 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.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.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/{formats → Format}/format.d.ts

@@ -1,13 +1,16 @@
 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 {
-    const DXN: Schema.refine<string, typeof Schema.NonEmptyString>;
+    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;
@@ -20,11 +23,11 @@ export declare namespace Format {
     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 DateTime: Schema.SchemaClass<string, string, never>;
     const Date: Schema.SchemaClass<string, string, never>;
-    const Time: Schema.SchemaClass<string, string, never>;
+    const DateTime: Schema.SchemaClass<string, string, never>;
     const Duration: Schema.SchemaClass<string, string, never>;
-    const GeoPoint: Schema.Tuple<[Schema.filter<Schema.transform<Schema.SchemaClass<number, number, never>, Schema.filter<Schema.SchemaClass<number, number, never>>>>, Schema.filter<Schema.transform<Schema.SchemaClass<number, number, never>, Schema.filter<Schema.SchemaClass<number, number, never>>>>, Schema.Element<typeof Schema.Number, "?">]>;
+    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.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/{formats → Format}/index.d.ts

@@ -1,7 +1,7 @@
-export type { SimpleDate, SimpleDateTime, SimpleTime } from './date';
+export * from './date';
+export * from './format';
 export { CurrencyAnnotationId, DecimalPrecision, Currency } from './number';
 export { GeoPoint, GeoLocation } from './object';
-export * from './format';
 export * from './select';
 export * from './string';
 export * from './types';

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.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/{formats → Format}/object.d.ts

@@ -11,7 +11,9 @@ import * as Schema from 'effect/Schema';
  * }
  * Note: optional third element for altitude.
  */
-export declare const GeoPoint: Schema.Tuple<[Schema.filter<Schema.transform<Schema.SchemaClass<number, number, never>, Schema.filter<Schema.SchemaClass<number, number, never>>>>, Schema.filter<Schema.transform<Schema.SchemaClass<number, number, never>, Schema.filter<Schema.SchemaClass<number, number, never>>>>, Schema.Element<typeof Schema.Number, "?">]>;
+/** 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;

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/{formats → Format}/select.d.ts

@@ -1,11 +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 SelectOptionSchema: Schema.mutable<Schema.Struct<{
+/**
+ * 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 SelectOptionSchema>;
+}>;
+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"}

package/dist/types/src/internal/{formats → Format}/string.d.ts

@@ -26,6 +26,10 @@ export declare const Markdown: typeof Schema.String;
  * https://ecma-international.org/publications-and-standards/standards/ecma-262
  */
 export declare const Regex: typeof Schema.String;
+/**
+ * Multi-line text.
+ */
+export declare const Text: typeof Schema.String;
 /**
  * https://datatracker.ietf.org/doc/html/rfc3986#section-1.1.3
  */

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

@@ -0,0 +1 @@
+{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Format/string.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAKxC;;;GAGG;AACH,eAAO,MAAM,KAAK,6CAOjB,CAAC;AAEF;;GAEG;AAEH,eAAO,MAAM,OAAO,sBAA+D,CAAC;AAEpF;;GAEG;AAEH,eAAO,MAAM,QAAQ,sBAAgE,CAAC;AAEtF;;GAEG;AAEH,eAAO,MAAM,IAAI,sBAA4D,CAAC;AAE9E;;GAEG;AAEH,eAAO,MAAM,QAAQ,sBAAgE,CAAC;AAEtF;;;;GAIG;AAEH,eAAO,MAAM,KAAK,sBAA6D,CAAC;AAEhF;;GAEG;AACH,eAAO,MAAM,IAAI,sBAA4D,CAAC;AAE9E;;GAEG;AACH,eAAO,MAAM,GAAG,6CAOf,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,IAAI,6CAKhB,CAAC"}

package/dist/types/src/internal/{formats → Format}/types.d.ts

@@ -1,6 +1,6 @@
 import type * as JSONSchema from 'effect/JSONSchema';
 import * as SchemaAST from 'effect/SchemaAST';
-import { type JsonSchemaType } from '../json-schema';
+import { type JsonSchemaType } from '../JsonSchema';
 export type ScalarType = JSONSchema.JsonSchema7Object | JSONSchema.JsonSchema7String | JSONSchema.JsonSchema7Number | JSONSchema.JsonSchema7Boolean | JSONSchema.JsonSchema7Ref;
 export declare enum TypeEnum {
     Array = "array",// TODO(burdon): Remove?
@@ -16,9 +16,10 @@ export declare const getTypeEnum: (property: JsonSchemaType) => TypeEnum | undef
  * https://json-schema.org/understanding-json-schema/reference/string#built-in-formats
  */
 export declare const FormatAnnotationId: unique symbol;
-export declare const FormatAnnotation: import("..").AnnotationHelper<FormatEnum>;
-export declare const getFormatAnnotation: (node: SchemaAST.AST) => FormatEnum | undefined;
-export declare enum FormatEnum {
+export declare const FormatAnnotation: import("..").AnnotationHelper<TypeFormat>;
+/** @deprecated */
+export declare const getFormatAnnotation: (node: SchemaAST.AST) => TypeFormat | undefined;
+export declare enum TypeFormat {
     None = "none",
     String = "string",
     Number = "number",
@@ -33,6 +34,7 @@ export declare enum FormatEnum {
     Markdown = "markdown",
     Regex = "regex",
     SingleSelect = "single-select",
+    Text = "text",
     MultiSelect = "multi-select",
     URL = "url",
     UUID = "uuid",
@@ -46,23 +48,25 @@ export declare enum FormatEnum {
     Duration = "duration",
     GeoPoint = "lnglat"
 }
-export declare const FormatEnums: FormatEnum[];
+export declare const FormatEnums: TypeFormat[];
 export declare const PropertyKind: {
     type: typeof TypeEnum;
-    format: typeof FormatEnum;
+    format: typeof TypeFormat;
 };
 /**
  * Default formats
  */
-export declare const typeToFormat: Partial<Record<TypeEnum, FormatEnum>>;
+export declare const typeToFormat: Partial<Record<TypeEnum, TypeFormat>>;
 /**
  * Map of format to type.
  */
-export declare const formatToType: Record<FormatEnum, TypeEnum>;
+export declare const formatToType: Record<TypeFormat, TypeEnum>;
 /**
  * Allowed value options for select.
  */
 export declare const OptionsAnnotationId: unique symbol;
-export declare const getOptionsAnnotation: (node: SchemaAST.AST) => OptionsAnnotationType[] | undefined;
-export type OptionsAnnotationType = string | number;
+export type Options = string | number;
+export declare const OptionsAnnotation: import("..").AnnotationHelper<Options[]>;
+/** @deprecated */
+export declare const getOptionsAnnotation: (node: SchemaAST.AST) => Options[] | undefined;
 //# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../../src/internal/Format/types.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,KAAK,UAAU,MAAM,mBAAmB,CAAC;AAErD,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpD,MAAM,MAAM,UAAU,GAClB,UAAU,CAAC,iBAAiB,GAC5B,UAAU,CAAC,iBAAiB,GAC5B,UAAU,CAAC,iBAAiB,GAC5B,UAAU,CAAC,kBAAkB,GAC7B,UAAU,CAAC,cAAc,CAAC;AAI9B,oBAAY,QAAQ;IAClB,KAAK,UAAU,CAAE,wBAAwB;IACzC,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,GAAG,QAAQ;CACZ;AAGD,eAAO,MAAM,WAAW,aAAc,cAAc,KAAG,QAAQ,GAAG,SAejE,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,kBAAkB,eAA+C,CAAC;AAE/E,eAAO,MAAM,gBAAgB,2CAAyD,CAAC;AAEvF,kBAAkB;AAClB,eAAO,MAAM,mBAAmB,SAAU,SAAS,CAAC,GAAG,KAAG,UAAU,GAAG,SAC8B,CAAC;AAGtG,oBAAY,UAAU;IACpB,IAAI,SAAS;IAMb,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,GAAG,QAAQ;IAMX,GAAG,QAAQ,CAAE,cAAc;IAC3B,GAAG,QAAQ;IACX,KAAK,UAAU;IACf,OAAO,YAAY,CAAE,uBAAuB;IAC5C,QAAQ,aAAa;IACrB,IAAI,SAAS;IACb,QAAQ,aAAa;IACrB,KAAK,UAAU;IACf,YAAY,kBAAkB;IAC9B,IAAI,SAAS;IACb,WAAW,iBAAiB;IAC5B,GAAG,QAAQ;IACX,IAAI,SAAS;IAMb,QAAQ,aAAa;IACrB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,SAAS,cAAc;IAMvB,QAAQ,cAAc;IACtB,IAAI,SAAS;IACb,IAAI,SAAS;IACb,QAAQ,aAAa;IAMrB,QAAQ,WAAW;CACpB;AAED,eAAO,MAAM,WAAW,cAAmC,CAAC;AAE5D,eAAO,MAAM,YAAY;IACvB,IAAI;IACJ,MAAM;CACP,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,CAI9D,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,UAAU,EAAE,QAAQ,CAoCrD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,eAAgD,CAAC;AAGjF,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AACtC,eAAO,MAAM,iBAAiB,0CAAyD,CAAC;AAExF,kBAAkB;AAClB,eAAO,MAAM,oBAAoB,SAAU,SAAS,CAAC,GAAG,KAAG,OAAO,EAAE,GAAG,SAC8B,CAAC"}

package/dist/types/src/internal/{json → JsonSchema}/annotations.d.ts

@@ -1,4 +1,4 @@
-import { type JsonSchemaEchoAnnotations, type JsonSchemaType } from '../json-schema';
+import { type JsonSchemaEchoAnnotations, type JsonSchemaType } from '../JsonSchema';
 type RootJsonSchemaProperty = keyof JsonSchemaType;
 type NamespacedJsonSchemaProperty = keyof JsonSchemaEchoAnnotations;
 /**

package/dist/types/src/internal/JsonSchema/annotations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"annotations.d.ts","sourceRoot":"","sources":["../../../../../src/internal/JsonSchema/annotations.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,KAAK,yBAAyB,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAOpF,KAAK,sBAAsB,GAAG,MAAM,cAAc,CAAC;AAGnD,KAAK,4BAA4B,GAAG,MAAM,yBAAyB,CAAC;AAEpE;;;GAGG;AAEH,eAAO,MAAM,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAG7E,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,kBAAkB,EAAE,OAAO,CAAC,MAAM,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAG9E,CAAC;AAEF;;GAEG;AAGH,eAAO,MAAM,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAKjF,CAAC"}

package/dist/types/src/internal/JsonSchema/effect-schema.test.d.ts.map

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

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

@@ -0,0 +1,5 @@
+export * from './annotations';
+export * from './json-schema-normalize';
+export * from './json-schema-type';
+export * from './json-schema';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/internal/JsonSchema/index.ts"],"names":[],"mappings":"AAIA,cAAc,eAAe,CAAC;AAC9B,cAAc,yBAAyB,CAAC;AACxC,cAAc,oBAAoB,CAAC;AACnC,cAAc,eAAe,CAAC"}