@dryvcode/author 0.0.1

package/dist/definitions/schemas/projection.js

@@ -0,0 +1,146 @@
+import { requireText } from "../../foundation/metadata.js";
+function normalizeUsage(value) {
+    if (value.array !== undefined && value.array !== false) {
+        const { min, max } = value.array;
+        for (const [name, item] of [
+            ["min", min],
+            ["max", max],
+        ]) {
+            if (item !== undefined && (!Number.isInteger(item) || item < 0)) {
+                throw new TypeError(`projection array ${name} must be a non-negative integer`);
+            }
+        }
+        if (min !== undefined && max !== undefined && min > max) {
+            throw new TypeError("projection array min must not exceed max");
+        }
+    }
+    return {
+        ...(value.optional === undefined ? {} : { optional: value.optional }),
+        ...(value.nullable === undefined ? {} : { nullable: value.nullable }),
+        ...(value.array === undefined
+            ? {}
+            : {
+                array: value.array === false ? false : { ...value.array },
+            }),
+    };
+}
+/**
+ * Author-only projection selector. Pick/omit/rename/usage are intentionally
+ * resolved by the compiler into Runtime IR's explicit projection.fields map.
+ */
+export class ProjectionDeclaration {
+    #source;
+    _purpose = "custom";
+    _policies = [];
+    _pick;
+    _omit;
+    _rename = {};
+    _usage = {};
+    constructor(source) {
+        this.#source = source;
+    }
+    sourceField(name) {
+        for (const [source, output] of Object.entries(this._rename)) {
+            if (output === name)
+                return source;
+        }
+        return name;
+    }
+    purpose(value) {
+        this._purpose = value;
+        return this;
+    }
+    read() {
+        return this.purpose("read");
+    }
+    create() {
+        return this.purpose("create");
+    }
+    edit() {
+        return this.purpose("edit");
+    }
+    query() {
+        return this.purpose("query");
+    }
+    custom() {
+        return this.purpose("custom");
+    }
+    policies(...values) {
+        this._policies = [...values];
+        return this;
+    }
+    pick(...fields) {
+        if (this._omit !== undefined) {
+            throw new TypeError("projection cannot combine pick and omit selectors");
+        }
+        if (fields.length === 0) {
+            throw new TypeError("projection pick requires at least one field");
+        }
+        if (new Set(fields).size !== fields.length) {
+            throw new TypeError("projection pick fields must be unique");
+        }
+        this._pick = fields.map((field) => this.sourceField(field));
+        return this;
+    }
+    omit(...fields) {
+        if (this._pick !== undefined) {
+            throw new TypeError("projection cannot combine pick and omit selectors");
+        }
+        if (fields.length === 0) {
+            throw new TypeError("projection omit requires at least one field");
+        }
+        if (new Set(fields).size !== fields.length) {
+            throw new TypeError("projection omit fields must be unique");
+        }
+        this._omit = fields.map((field) => this.sourceField(field));
+        return this;
+    }
+    rename(values) {
+        const outputs = new Set();
+        for (const [current, output] of Object.entries(values).sort(([a], [b]) => a.localeCompare(b))) {
+            if (output === undefined)
+                continue;
+            const name = requireText(output, "projection output field");
+            if (outputs.has(name)) {
+                throw new TypeError(`duplicate projection output field: ${name}`);
+            }
+            outputs.add(name);
+            const source = this.sourceField(current);
+            this._rename[source] = name;
+        }
+        return this;
+    }
+    usage(values) {
+        const mapped = { ...this._usage };
+        for (const [field, usage] of Object.entries(values).sort(([a], [b]) => a.localeCompare(b))) {
+            if (usage !== undefined) {
+                mapped[this.sourceField(field)] = normalizeUsage(usage);
+            }
+        }
+        this._usage = mapped;
+        return this;
+    }
+    toState() {
+        return {
+            source: this.#source.ref(),
+            purpose: this._purpose,
+            ...(this._policies.length === 0
+                ? {}
+                : { policies: this._policies.map((value) => value.ref()) }),
+            selection: {
+                ...(this._pick === undefined ? {} : { pick: [...this._pick] }),
+                ...(this._omit === undefined ? {} : { omit: [...this._omit] }),
+                ...(Object.keys(this._rename).length === 0
+                    ? {}
+                    : { rename: { ...this._rename } }),
+                ...(Object.keys(this._usage).length === 0
+                    ? {}
+                    : { usage: { ...this._usage } }),
+            },
+        };
+    }
+}
+export function projection(source) {
+    return new ProjectionDeclaration(source);
+}
+//# sourceMappingURL=projection.js.map

package/dist/definitions/schemas/projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection.js","sourceRoot":"","sources":["../../../src/definitions/schemas/projection.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AA+LpD,SAAS,cAAc,CAAC,KAA2B;IACjD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QACvD,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI;YACzB,CAAC,KAAK,EAAE,GAAG,CAAC;YACZ,CAAC,KAAK,EAAE,GAAG,CAAC;SACJ,EAAE,CAAC;YACX,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;gBAChE,MAAM,IAAI,SAAS,CACjB,oBAAoB,IAAI,iCAAiC,CAC1D,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,GAAG,GAAG,EAAE,CAAC;YACxD,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IACD,OAAO;QACL,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrE,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrE,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS;YAC3B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,KAAK,EAAE,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE;aAC1D,CAAC;KACP,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,qBAAqB;IAKvB,OAAO,CAA2B;IACnC,QAAQ,GAA2B,QAAQ,CAAC;IAC5C,SAAS,GAAgB,EAAE,CAAC;IAC5B,KAAK,CAAY;IACjB,KAAK,CAAY;IACjB,OAAO,GAA2B,EAAE,CAAC;IACrC,MAAM,GAAyC,EAAE,CAAC;IAE1D,YAAY,MAAgC;QAC1C,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;IACxB,CAAC;IAEO,WAAW,CAAC,IAAY;QAC9B,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5D,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,MAAM,CAAC;QACrC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CACL,KAAQ;QAER,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QACtB,OAAO,IAGN,CAAC;IACJ,CAAC;IAED,IAAI;QAIF,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM;QAIJ,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;IAED,IAAI;QAIF,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IAED,KAAK;QAIH,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAG3B,CAAC;IACJ,CAAC;IAED,QAAQ,CAAC,GAAG,MAA4B;QACtC,IAAI,CAAC,SAAS,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CACF,GAAG,MAAoB;QAEvB,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;YAC3C,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5D,OAAO,IAGN,CAAC;IACJ,CAAC;IAED,IAAI,CACF,GAAG,MAAoB;QAEvB,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;YAC3C,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5D,OAAO,IAGN,CAAC;IACJ,CAAC;IAED,MAAM,CAKJ,MAAY;QAEZ,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACvE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACnB,EAAE,CAAC;YACF,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;YAC5D,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,SAAS,CAAC,sCAAsC,IAAI,EAAE,CAAC,CAAC;YACpE,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YACzC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;QAC9B,CAAC;QACD,OAAO,IAGN,CAAC;IACJ,CAAC;IAED,KAAK,CAKH,MAAc;QAEd,MAAM,MAAM,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACpE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACnB,EAAE,CAAC;YACF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,OAAO,IAGN,CAAC;IACJ,CAAC;IAED,OAAO;QACL,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE;YAC1B,OAAO,EAAE,IAAI,CAAC,QAAQ;YACtB,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;gBAC7B,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;YAC7D,SAAS,EAAE;gBACT,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9D,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC;oBACxC,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;gBACpC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC;oBACvC,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;aACnC;SACF,CAAC;IACJ,CAAC;CACF;AAED,MAAM,UAAU,UAAU,CACxB,MAA0B;IAE1B,OAAO,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAC;AAC3C,CAAC"}

package/dist/definitions/schemas/relation.d.ts

@@ -0,0 +1,12 @@
+import type { RelationCardinalityState, RelationLifecycleState } from "../../contracts/index.js";
+export declare const relation: Readonly<{
+    oneToOne(): RelationCardinalityState;
+    oneToMany(): RelationCardinalityState;
+    manyToOne(): RelationCardinalityState;
+    manyToMany(): RelationCardinalityState;
+    restrict(): RelationLifecycleState;
+    cascade(): RelationLifecycleState;
+    detach(): RelationLifecycleState;
+    reset(): RelationLifecycleState;
+}>;
+//# sourceMappingURL=relation.d.ts.map

package/dist/definitions/schemas/relation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relation.d.ts","sourceRoot":"","sources":["../../../src/definitions/schemas/relation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,wBAAwB,EACxB,sBAAsB,EACvB,MAAM,mBAAmB,CAAC;AAE3B,eAAO,MAAM,QAAQ;gBACP,wBAAwB;iBAGvB,wBAAwB;iBAGxB,wBAAwB;kBAGvB,wBAAwB;gBAG1B,sBAAsB;eAGvB,sBAAsB;cAGvB,sBAAsB;aAGvB,sBAAsB;EAG/B,CAAC"}

package/dist/definitions/schemas/relation.js

@@ -0,0 +1,27 @@
+export const relation = Object.freeze({
+    oneToOne() {
+        return "one-to-one";
+    },
+    oneToMany() {
+        return "one-to-many";
+    },
+    manyToOne() {
+        return "many-to-one";
+    },
+    manyToMany() {
+        return "many-to-many";
+    },
+    restrict() {
+        return "restrict";
+    },
+    cascade() {
+        return "cascade";
+    },
+    detach() {
+        return "detach";
+    },
+    reset() {
+        return "reset";
+    },
+});
+//# sourceMappingURL=relation.js.map

package/dist/definitions/schemas/relation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relation.js","sourceRoot":"","sources":["../../../src/definitions/schemas/relation.ts"],"names":[],"mappings":"AAKA,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,QAAQ;QACN,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,SAAS;QACP,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,SAAS;QACP,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,UAAU;QACR,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,QAAQ;QACN,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO;QACL,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM;QACJ,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,KAAK;QACH,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC,CAAC"}

package/dist/definitions/schemas/schema.d.ts

@@ -0,0 +1,46 @@
+import type { SchemaRoleState } from "../../contracts/index.js";
+import type { CanonicalValue, ExplanationKindState, SchemaState } from "../../contracts/index.js";
+import { type InferSchemaFields, type SchemaFieldMap } from "./field.js";
+import type { ProjectionDeclaration, ProjectionOutputFields, ProjectionSelectionMap } from "./projection.js";
+import type { StorageFacet } from "../../data/storage.js";
+import { Declaration } from "../../foundation/declaration.js";
+import type { ExpressionRef, RefFieldMap, SchemaRef } from "../../foundation/ref.js";
+export interface SchemaFacetsInput<K extends string = string> {
+    readonly storage?: StorageFacet<K>;
+}
+export declare class SchemaDeclaration<TLocal extends SchemaFieldMap = SchemaFieldMap, TEffective extends SchemaFieldMap = TLocal> extends Declaration<"schema"> {
+    readonly __fields?: TEffective;
+    readonly __value?: InferSchemaFields<TEffective>;
+    private _fields;
+    private _description?;
+    private _role?;
+    private _abstract;
+    private _extends?;
+    private _projection?;
+    private _examples;
+    private _invariants;
+    private _facets?;
+    private _tags;
+    private _explanations;
+    constructor(fieldsValue: TLocal);
+    description(value: string): this;
+    role(value: SchemaRoleState): this;
+    tags(...values: readonly string[]): this;
+    explain(kind: ExplanationKindState, text: string): this;
+    abstract(value?: boolean): this;
+    extends<TParentEffective extends SchemaFieldMap>(value: SchemaRef<TParentEffective>): SchemaDeclaration<TLocal, TEffective & TParentEffective>;
+    projection<TSourceFields extends RefFieldMap, TSelection extends ProjectionSelectionMap>(value: ProjectionDeclaration<TSourceFields, TSelection>): SchemaDeclaration<TLocal, TEffective & ProjectionOutputFields<TSelection>>;
+    facets(value: SchemaFacetsInput<Extract<keyof TEffective, string>>): this;
+    /**
+     * A rule every valid value satisfies. Read this schema's fields with
+     * `expression.context("value", "fieldName")`.
+     */
+    invariant(name: string, rule: ExpressionRef<boolean>, options?: {
+        readonly message?: string;
+    }): this;
+    examples(values: readonly CanonicalValue[]): this;
+    add<const T extends SchemaFieldMap>(values: T): SchemaDeclaration<TLocal & T, TEffective & T>;
+    toState(): SchemaState;
+}
+export declare function schema<const T extends SchemaFieldMap>(fieldsValue: T): SchemaDeclaration<T, T>;
+//# sourceMappingURL=schema.d.ts.map

package/dist/definitions/schemas/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/definitions/schemas/schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,EACV,cAAc,EACd,oBAAoB,EAIpB,WAAW,EACZ,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACpB,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EACV,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,EACvB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAUvD,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE9E,MAAM,WAAW,iBAAiB,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IAC1D,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;CACpC;AAED,qBAAa,iBAAiB,CAC5B,MAAM,SAAS,cAAc,GAAG,cAAc,EAC9C,UAAU,SAAS,cAAc,GAAG,MAAM,CAC1C,SAAQ,WAAW,CAAC,QAAQ,CAAC;IAC7B,SAAiB,QAAQ,CAAC,EAAE,UAAU,CAAC;IACvC,SAAiB,OAAO,CAAC,EAAE,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACzD,OAAO,CAAC,OAAO,CAAiB;IAChC,OAAO,CAAC,YAAY,CAAC,CAAS;IAC9B,OAAO,CAAC,KAAK,CAAC,CAAkB;IAChC,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,CAA4B;IAC7C,OAAO,CAAC,WAAW,CAAC,CAGlB;IACF,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,WAAW,CAA8B;IACjD,OAAO,CAAC,OAAO,CAAC,CAA4B;IAC5C,OAAO,CAAC,KAAK,CAAgB;IAC7B,OAAO,CAAC,aAAa,CAA0B;IAE/C,YAAY,WAAW,EAAE,MAAM,EAG9B;IAED,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAG/B;IAED,IAAI,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI,CAGjC;IAED,IAAI,CAAC,GAAG,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAGvC;IAED,OAAO,CAAC,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAGtD;IAED,QAAQ,CAAC,KAAK,UAAO,GAAG,IAAI,CAG3B;IAED,OAAO,CAAC,gBAAgB,SAAS,cAAc,EAC7C,KAAK,EAAE,SAAS,CAAC,gBAAgB,CAAC,GACjC,iBAAiB,CAAC,MAAM,EAAE,UAAU,GAAG,gBAAgB,CAAC,CAM1D;IAED,UAAU,CACR,aAAa,SAAS,WAAW,EACjC,UAAU,SAAS,sBAAsB,EAEzC,KAAK,EAAE,qBAAqB,CAAC,aAAa,EAAE,UAAU,CAAC,GACtD,iBAAiB,CAClB,MAAM,EACN,UAAU,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAChD,CASA;IAED,MAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,OAAO,CAAC,MAAM,UAAU,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,CAMxE;IAED;;;OAGG;IACH,SAAS,CACP,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,EAC5B,OAAO,GAAE;QAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAO,GAC1C,IAAI,CAoBN;IAED,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,GAAG,IAAI,CAGhD;IAED,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,cAAc,EAChC,MAAM,EAAE,CAAC,GACR,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,UAAU,GAAG,CAAC,CAAC,CAG/C;IAEQ,OAAO,IAAI,WAAW,CAoD9B;CACF;AAED,wBAAgB,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,cAAc,EACnD,WAAW,EAAE,CAAC,GACb,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAEzB"}

package/dist/definitions/schemas/schema.js

@@ -0,0 +1,134 @@
+import { definitionMetadata } from "../properties/metadata.js";
+import {} from "./field.js";
+import { Declaration } from "../../foundation/declaration.js";
+import { explanation, normalizeTags, optionalDescription, optionalOwner, optionalOrigin, optionalSemanticMetadata, requireText, } from "../../foundation/metadata.js";
+export class SchemaDeclaration extends Declaration {
+    _fields;
+    _description;
+    _role;
+    _abstract = false;
+    _extends;
+    _projection;
+    _examples = [];
+    _invariants = [];
+    _facets;
+    _tags = [];
+    _explanations = [];
+    constructor(fieldsValue) {
+        super("schema");
+        this._fields = { ...fieldsValue };
+    }
+    description(value) {
+        this._description = requireText(value, "schema description");
+        return this;
+    }
+    role(value) {
+        this._role = value;
+        return this;
+    }
+    tags(...values) {
+        this._tags = [...normalizeTags(values, "schema tags")];
+        return this;
+    }
+    explain(kind, text) {
+        this._explanations.push(explanation(kind, text, "schema explanation"));
+        return this;
+    }
+    abstract(value = true) {
+        this._abstract = value;
+        return this;
+    }
+    extends(value) {
+        this._extends = value;
+        return this;
+    }
+    projection(value) {
+        this._projection = value;
+        return this;
+    }
+    facets(value) {
+        if (value.storage === undefined) {
+            throw new TypeError("schema facets requires at least one semantic facet");
+        }
+        this._facets = value;
+        return this;
+    }
+    /**
+     * A rule every valid value satisfies. Read this schema's fields with
+     * `expression.context("value", "fieldName")`.
+     */
+    invariant(name, rule, options = {}) {
+        const invariantName = requireText(name, "invariant name");
+        if (!/^[A-Za-z][A-Za-z0-9]*$/.test(invariantName)) {
+            throw new TypeError(`invariant name ${JSON.stringify(invariantName)} must be alphanumeric and start with a letter`);
+        }
+        if (this._invariants.some((item) => item.name === invariantName)) {
+            throw new TypeError(`duplicate invariant ${JSON.stringify(invariantName)}`);
+        }
+        this._invariants.push({
+            name: invariantName,
+            rule: rule.ref(),
+            ...(options.message === undefined
+                ? {}
+                : { message: requireText(options.message, "invariant message") }),
+        });
+        return this;
+    }
+    examples(values) {
+        this._examples = [...values];
+        return this;
+    }
+    add(values) {
+        this._fields = { ...this._fields, ...values };
+        return this;
+    }
+    toState() {
+        const projection = this._projection?.toState();
+        const storage = this._facets?.storage?.toState();
+        if (projection !== undefined) {
+            if (this._abstract) {
+                throw new TypeError("projected schemas cannot be abstract");
+            }
+            if (this._extends !== undefined) {
+                throw new TypeError("projected schemas cannot extend another schema");
+            }
+            if (storage !== undefined) {
+                throw new TypeError("projected schemas cannot define storage facets");
+            }
+        }
+        if (storage !== undefined) {
+            if (this._abstract && storage.name !== undefined) {
+                throw new TypeError("abstract schemas may define inherited storage rules but cannot have a concrete storage name");
+            }
+            if (!this._abstract && storage.name === undefined) {
+                throw new TypeError("concrete schemas using the storage facet require a storage name");
+            }
+        }
+        const mapped = {};
+        for (const key of Object.keys(this._fields).sort()) {
+            mapped[key] = this._fields[key].toState();
+        }
+        return {
+            identity: this.identity,
+            kind: "schema",
+            ...(this._role === undefined ? {} : { role: this._role }),
+            fields: mapped,
+            ...(this._abstract ? { abstract: true } : {}),
+            ...(this._extends === undefined ? {} : { extends: this._extends.ref() }),
+            ...(projection === undefined ? {} : { projection }),
+            ...(storage === undefined ? {} : { facets: { storage } }),
+            ...(this._invariants.length === 0
+                ? {}
+                : { invariants: [...this._invariants] }),
+            ...optionalDescription(this._description),
+            ...definitionMetadata(this._examples),
+            ...optionalOwner(this._group, this._feature),
+            ...optionalSemanticMetadata(this._tags, this._explanations),
+            ...optionalOrigin(this._origin),
+        };
+    }
+}
+export function schema(fieldsValue) {
+    return new SchemaDeclaration(fieldsValue);
+}
+//# sourceMappingURL=schema.js.map

package/dist/definitions/schemas/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../src/definitions/schemas/schema.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAGN,MAAM,6BAA6B,CAAC;AAOrC,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EACL,WAAW,EACX,aAAa,EACb,mBAAmB,EACnB,aAAa,EACb,cAAc,EACd,wBAAwB,EACxB,WAAW,GACZ,MAAM,uBAAuB,CAAC;AAO/B,MAAM,OAAO,iBAGX,SAAQ,WAAqB;IAGrB,OAAO,CAAiB;IACxB,YAAY,CAAU;IACtB,KAAK,CAAmB;IACxB,SAAS,GAAG,KAAK,CAAC;IAClB,QAAQ,CAA6B;IACrC,WAAW,CAGjB;IACM,SAAS,GAAqB,EAAE,CAAC;IACjC,WAAW,GAA2B,EAAE,CAAC;IACzC,OAAO,CAA6B;IACpC,KAAK,GAAa,EAAE,CAAC;IACrB,aAAa,GAAuB,EAAE,CAAC;IAE/C,YAAY,WAAmB;QAC7B,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChB,IAAI,CAAC,OAAO,GAAG,EAAE,GAAG,WAAW,EAAE,CAAC;IACpC,CAAC;IAED,WAAW,CAAC,KAAa;QACvB,IAAI,CAAC,YAAY,GAAG,WAAW,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;QAC7D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,KAAsB;QACzB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,GAAG,MAAyB;QAC/B,IAAI,CAAC,KAAK,GAAG,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;QACvD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CAAC,IAA0B,EAAE,IAAY;QAC9C,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC;QACvE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,CAAC,KAAK,GAAG,IAAI;QACnB,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CACL,KAAkC;QAElC,IAAI,CAAC,QAAQ,GAAG,KAA6C,CAAC;QAC9D,OAAO,IAGN,CAAC;IACJ,CAAC;IAED,UAAU,CAIR,KAAuD;QAKvD,IAAI,CAAC,WAAW,GAAG,KAGlB,CAAC;QACF,OAAO,IAGN,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,KAA2D;QAChE,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;QAC5E,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,KAAkC,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;OAGG;IACH,SAAS,CACP,IAAY,EACZ,IAA4B,EAC5B,OAAO,GAAkC,EAAE;QAE3C,MAAM,aAAa,GAAG,WAAW,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QAC1D,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,SAAS,CACjB,kBAAkB,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,+CAA+C,CAC/F,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,CAAC;YACjE,MAAM,IAAI,SAAS,CACjB,uBAAuB,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,CACvD,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE;YAChB,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS;gBAC/B,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,mBAAmB,CAAC,EAAE,CAAC;SACpE,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,CAAC,MAAiC;QACxC,IAAI,CAAC,SAAS,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CACD,MAAS;QAET,IAAI,CAAC,OAAO,GAAG,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC;QAC9C,OAAO,IAAgE,CAAC;IAC1E,CAAC;IAEQ,OAAO;QACd,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QAEjD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;YAC9D,CAAC;YACD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAC;YACxE,CAAC;YACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;QAED,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACjD,MAAM,IAAI,SAAS,CACjB,6FAA6F,CAC9F,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAClD,MAAM,IAAI,SAAS,CACjB,iEAAiE,CAClE,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAqC,EAAE,CAAC;QACpD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACnD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAE,CAAC,OAAO,EAAE,CAAC;QAC7C,CAAC;QAED,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,IAAI,EAAE,QAAQ;YACd,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;YACzD,MAAM,EAAE,MAAM;YACd,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC;YACxE,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC;YACnD,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC;YACzD,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;gBAC/B,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YAC1C,GAAG,mBAAmB,CAAC,IAAI,CAAC,YAAY,CAAC;YACzC,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC;YACrC,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC;YAC5C,GAAG,wBAAwB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,CAAC;YAC3D,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC;SAChC,CAAC;IACJ,CAAC;CACF;AAED,MAAM,UAAU,MAAM,CACpB,WAAc;IAEd,OAAO,IAAI,iBAAiB,CAAC,WAAW,CAAC,CAAC;AAC5C,CAAC"}

package/dist/definitions/schemas/source.d.ts

@@ -0,0 +1,30 @@
+import type { FieldSourceInputState, FieldSourcePurposeState, FieldSourceState } from "../../contracts/index.js";
+import type { OperationRef, SchemaFieldRef, TupleIndex, ValueRefTuple } from "../../foundation/ref.js";
+export declare class SourceInputValue {
+    toState(): FieldSourceInputState;
+}
+export declare class SourceInputField {
+    #private;
+    constructor(resolve: () => SchemaFieldRef<unknown>);
+    toState(): FieldSourceInputState;
+}
+export type SourceInput = SourceInputValue | SourceInputField;
+export declare class FieldSourceDeclaration<TInputs extends ValueRefTuple = ValueRefTuple, TOutputs extends ValueRefTuple = ValueRefTuple> {
+    #private;
+    private _output?;
+    private _inputs;
+    constructor(purpose: FieldSourcePurposeState, operation: OperationRef<TInputs, TOutputs>);
+    output<I extends TupleIndex<TOutputs>>(index: I): this;
+    input<I extends TupleIndex<TInputs>>(index: I, sourceInput: SourceInput): this;
+    toState(): FieldSourceState;
+}
+declare function sourceValue<TInputs extends ValueRefTuple, TOutputs extends ValueRefTuple>(operation: OperationRef<TInputs, TOutputs>): FieldSourceDeclaration<TInputs, TOutputs>;
+declare function sourceValue(): SourceInputValue;
+export declare const source: Readonly<{
+    value: typeof sourceValue;
+    resolve<TInputs extends ValueRefTuple, TOutputs extends ValueRefTuple>(operation: OperationRef<TInputs, TOutputs>): FieldSourceDeclaration<TInputs, TOutputs>;
+    options<TInputs extends ValueRefTuple, TOutputs extends ValueRefTuple>(operation: OperationRef<TInputs, TOutputs>): FieldSourceDeclaration<TInputs, TOutputs>;
+    field(resolve: () => SchemaFieldRef<unknown>): SourceInputField;
+}>;
+export {};
+//# sourceMappingURL=source.d.ts.map

package/dist/definitions/schemas/source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../../src/definitions/schemas/source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,qBAAqB,EACrB,uBAAuB,EACvB,gBAAgB,EACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAEV,YAAY,EACZ,cAAc,EACd,UAAU,EACV,aAAa,EACd,MAAM,kBAAkB,CAAC;AAE1B,qBAAa,gBAAgB;IAC3B,OAAO,IAAI,qBAAqB,CAE/B;CACF;AAED,qBAAa,gBAAgB;;IAG3B,YAAY,OAAO,EAAE,MAAM,cAAc,CAAC,OAAO,CAAC,EAEjD;IAED,OAAO,IAAI,qBAAqB,CAE/B;CACF;AAED,MAAM,MAAM,WAAW,GAAG,gBAAgB,GAAG,gBAAgB,CAAC;AAE9D,qBAAa,sBAAsB,CACjC,OAAO,SAAS,aAAa,GAAG,aAAa,EAC7C,QAAQ,SAAS,aAAa,GAAG,aAAa;;IAI9C,OAAO,CAAC,OAAO,CAAC,CAAsC;IACtD,OAAO,CAAC,OAAO,CAGN;IAET,YACE,OAAO,EAAE,uBAAuB,EAChC,SAAS,EAAE,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,EAI3C;IAED,MAAM,CAAC,CAAC,SAAS,UAAU,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAGrD;IAED,KAAK,CAAC,CAAC,SAAS,UAAU,CAAC,OAAO,CAAC,EACjC,KAAK,EAAE,CAAC,EACR,WAAW,EAAE,WAAW,GACvB,IAAI,CAMN;IAED,OAAO,IAAI,gBAAgB,CAgB1B;CACF;AAYD,iBAAS,WAAW,CAClB,OAAO,SAAS,aAAa,EAC7B,QAAQ,SAAS,aAAa,EAE9B,SAAS,EAAE,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,GACzC,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAC7C,iBAAS,WAAW,IAAI,gBAAgB,CAAC;AAYzC,eAAO,MAAM,MAAM;;YAET,OAAO,SAAS,aAAa,EAAE,QAAQ,SAAS,aAAa,aACxD,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,GACzC,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC;YAGpC,OAAO,SAAS,aAAa,EAAE,QAAQ,SAAS,aAAa,aACxD,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,GACzC,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC;mBAG7B,MAAM,cAAc,CAAC,OAAO,CAAC,GAAG,gBAAgB;EAG/D,CAAC"}

package/dist/definitions/schemas/source.js

@@ -0,0 +1,73 @@
+export class SourceInputValue {
+    toState() {
+        return { kind: "value" };
+    }
+}
+export class SourceInputField {
+    #resolve;
+    constructor(resolve) {
+        this.#resolve = resolve;
+    }
+    toState() {
+        return { kind: "field", value: this.#resolve().toState() };
+    }
+}
+export class FieldSourceDeclaration {
+    #purpose;
+    #operation;
+    _output;
+    _inputs = [];
+    constructor(purpose, operation) {
+        this.#purpose = purpose;
+        this.#operation = operation;
+    }
+    output(index) {
+        this._output = this.#operation.output(index);
+        return this;
+    }
+    input(index, sourceInput) {
+        this._inputs.push({
+            target: this.#operation.input(index),
+            source: sourceInput,
+        });
+        return this;
+    }
+    toState() {
+        if (this._output === undefined) {
+            throw new TypeError("field source requires .output(index)");
+        }
+        return {
+            purpose: this.#purpose,
+            output: this._output.toState(),
+            ...(this._inputs.length === 0
+                ? {}
+                : {
+                    inputs: this._inputs.map(({ target, source }) => ({
+                        target: target.toState(),
+                        source: source.toState(),
+                    })),
+                }),
+        };
+    }
+}
+function operationSource(purpose, operation) {
+    return new FieldSourceDeclaration(purpose, operation);
+}
+function sourceValue(operation) {
+    return operation === undefined
+        ? new SourceInputValue()
+        : operationSource("value", operation);
+}
+export const source = Object.freeze({
+    value: sourceValue,
+    resolve(operation) {
+        return operationSource("resolve", operation);
+    },
+    options(operation) {
+        return operationSource("options", operation);
+    },
+    field(resolve) {
+        return new SourceInputField(resolve);
+    },
+});
+//# sourceMappingURL=source.js.map

package/dist/definitions/schemas/source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../../../src/definitions/schemas/source.ts"],"names":[],"mappings":"AAaA,MAAM,OAAO,gBAAgB;IAC3B,OAAO;QACL,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC3B,CAAC;CACF;AAED,MAAM,OAAO,gBAAgB;IAClB,QAAQ,CAAgC;IAEjD,YAAY,OAAsC;QAChD,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;IAC1B,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;IAC7D,CAAC;CACF;AAID,MAAM,OAAO,sBAAsB;IAIxB,QAAQ,CAA0B;IAClC,UAAU,CAAkC;IAC7C,OAAO,CAAuC;IAC9C,OAAO,GAGT,EAAE,CAAC;IAET,YACE,OAAgC,EAChC,SAA0C;QAE1C,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;IAC9B,CAAC;IAED,MAAM,CAAiC,KAAQ;QAC7C,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CACH,KAAQ,EACR,WAAwB;QAExB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YAChB,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;YACpC,MAAM,EAAE,WAAW;SACpB,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO;YACL,OAAO,EAAE,IAAI,CAAC,QAAQ;YACtB,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE;YAC9B,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBAC3B,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC;oBACE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;wBAChD,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE;wBACxB,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE;qBACzB,CAAC,CAAC;iBACJ,CAAC;SACP,CAAC;IACJ,CAAC;CACF;AAED,SAAS,eAAe,CAItB,OAAgC,EAChC,SAA0C;IAE1C,OAAO,IAAI,sBAAsB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;AACxD,CAAC;AASD,SAAS,WAAW,CAIlB,SAA2C;IAE3C,OAAO,SAAS,KAAK,SAAS;QAC5B,CAAC,CAAC,IAAI,gBAAgB,EAAE;QACxB,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,KAAK,EAAE,WAAW;IAClB,OAAO,CACL,SAA0C;QAE1C,OAAO,eAAe,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,CACL,SAA0C;QAE1C,OAAO,eAAe,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC/C,CAAC;IACD,KAAK,CAAC,OAAsC;QAC1C,OAAO,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;CACF,CAAC,CAAC"}

package/dist/definitions/types/expressions.d.ts

@@ -0,0 +1,28 @@
+import type { CanonicalScalar, LengthConstraintState, PrimitiveTypeName, PropertyDeclarationKind, QueryDomain } from "../../contracts/index.js";
+import type { InferRefFields, PropertyRef, RefFieldMap, SchemaRef } from "../../foundation/ref.js";
+import type { TypeParameter } from "./parameter.js";
+import { TypeSpec, type InferSpec, type InferSpecMap, type SpecMap } from "./spec.js";
+export declare function string(): TypeSpec<string>;
+export declare function number(): TypeSpec<number>;
+export declare function boolean(): TypeSpec<boolean>;
+export declare function literal<const T extends CanonicalScalar | null>(value: T): TypeSpec<T>;
+export declare function list<T>(value: TypeSpec<T>, length?: LengthConstraintState): TypeSpec<readonly T[]>;
+export declare const array: typeof list;
+export declare function optional<T>(value: TypeSpec<T>): TypeSpec<T | undefined>;
+export declare function required<T>(value: TypeSpec<T>): TypeSpec<Exclude<T, undefined>>;
+export declare function nullable<T>(value: TypeSpec<T>): TypeSpec<T | null>;
+export declare function tupleOf<const T extends readonly TypeSpec<unknown>[]>(...items: T): TypeSpec<{
+    readonly [K in keyof T]: InferSpec<T[K]>;
+}>;
+export declare function record<K, V>(keys: TypeSpec<K>, values: TypeSpec<V>): TypeSpec<Readonly<Record<string, V>>>;
+export declare function objectType<const T extends SpecMap>(fields: T): TypeSpec<InferSpecMap<T>>;
+export declare function union<const T extends readonly [
+    TypeSpec<unknown>,
+    TypeSpec<unknown>,
+    ...TypeSpec<unknown>[]
+]>(...members: T): TypeSpec<InferSpec<T[number]>>;
+export declare function primitiveType(name: PrimitiveTypeName): TypeSpec<string | number | boolean>;
+export declare function parameter<const N extends string>(value: TypeParameter<N>): TypeSpec<unknown>;
+export declare function ref<K extends PropertyDeclarationKind, T, D extends QueryDomain>(target: PropertyRef<K, T, D>): TypeSpec<T>;
+export declare function ref<TFields extends RefFieldMap>(target: SchemaRef<TFields>): TypeSpec<InferRefFields<TFields>>;
+//# sourceMappingURL=expressions.d.ts.map

package/dist/definitions/types/expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../src/definitions/types/expressions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,eAAe,EACf,qBAAqB,EACrB,iBAAiB,EACjB,uBAAuB,EACvB,WAAW,EAGZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EACV,cAAc,EACd,WAAW,EACX,WAAW,EACX,SAAS,EACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EACL,QAAQ,EACR,KAAK,SAAS,EACd,KAAK,YAAY,EACjB,KAAK,OAAO,EACb,MAAM,0BAA0B,CAAC;AAElC,wBAAgB,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,CAEzC;AAED,wBAAgB,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,CAEzC;AAED,wBAAgB,OAAO,IAAI,QAAQ,CAAC,OAAO,CAAC,CAE3C;AAED,wBAAgB,OAAO,CAAC,KAAK,CAAC,CAAC,SAAS,eAAe,GAAG,IAAI,EAC5D,KAAK,EAAE,CAAC,GACP,QAAQ,CAAC,CAAC,CAAC,CAEb;AAED,wBAAgB,IAAI,CAAC,CAAC,EACpB,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAClB,MAAM,CAAC,EAAE,qBAAqB,GAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAExB;AAED,eAAO,MAAM,KAAK,aAAO,CAAC;AAE1B,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,SAAS,CAAC,CAEvE;AAED,wBAAgB,QAAQ,CAAC,CAAC,EACxB,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,GACjB,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAEjC;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,IAAI,CAAC,CAElE;AAED,wBAAgB,OAAO,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,QAAQ,CAAC,OAAO,CAAC,EAAE,EAClE,GAAG,KAAK,EAAE,CAAC,GACV,QAAQ,CAAC;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,CAKxD;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,EACzB,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,GAClB,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAMvC;AAED,wBAAgB,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,EAChD,MAAM,EAAE,CAAC,GACR,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAgB3B;AAED,wBAAgB,KAAK,CACnB,KAAK,CAAC,CAAC,SAAS,SAAS;IACvB,QAAQ,CAAC,OAAO,CAAC;IACjB,QAAQ,CAAC,OAAO,CAAC;IACjB,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE;CACvB,EACD,GAAG,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAK/C;AAED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,iBAAiB,GACtB,QAAQ,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAIrC;AAED,wBAAgB,SAAS,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAC9C,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,GACtB,QAAQ,CAAC,OAAO,CAAC,CAKnB;AAED,wBAAgB,GAAG,CACjB,CAAC,SAAS,uBAAuB,EACjC,CAAC,EACD,CAAC,SAAS,WAAW,EACrB,MAAM,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC7C,wBAAgB,GAAG,CAAC,OAAO,SAAS,WAAW,EAC7C,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,GACzB,QAAQ,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC"}

package/dist/definitions/types/expressions.js

@@ -0,0 +1,81 @@
+import { TypeSpec, } from "./spec.js";
+export function string() {
+    return new TypeSpec({ kind: "primitive", name: "string" });
+}
+export function number() {
+    return new TypeSpec({ kind: "primitive", name: "number" });
+}
+export function boolean() {
+    return new TypeSpec({ kind: "primitive", name: "boolean" });
+}
+export function literal(value) {
+    return new TypeSpec({ kind: "literal", value });
+}
+export function list(value, length) {
+    return value.array(length);
+}
+export const array = list;
+export function optional(value) {
+    return value.optional();
+}
+export function required(value) {
+    return value.required();
+}
+export function nullable(value) {
+    return value.nullable();
+}
+export function tupleOf(...items) {
+    return new TypeSpec({
+        kind: "tuple",
+        items: items.map((item) => item.toTypeState()),
+    });
+}
+export function record(keys, values) {
+    return new TypeSpec({
+        kind: "record",
+        keys: keys.toTypeState(),
+        values: values.toTypeState(),
+    });
+}
+export function objectType(fields) {
+    const requiredFields = [];
+    const mapped = {};
+    for (const key of Object.keys(fields).sort()) {
+        const state = fields[key].toState();
+        if (state.default !== undefined) {
+            throw new TypeError("object type fields cannot define usage defaults");
+        }
+        if (state.presence === "required")
+            requiredFields.push(key);
+        mapped[key] = state.type;
+    }
+    return new TypeSpec({
+        kind: "object",
+        fields: mapped,
+        required: requiredFields,
+    });
+}
+export function union(...members) {
+    return new TypeSpec({
+        kind: "union",
+        members: members.map((member) => member.toTypeState()),
+    });
+}
+export function primitiveType(name) {
+    if (name === "string")
+        return string();
+    if (name === "boolean")
+        return boolean();
+    return number();
+}
+export function parameter(value) {
+    return new TypeSpec({
+        kind: "parameter",
+        parameter: value.toState(),
+    });
+}
+export function ref(target) {
+    const valueTarget = target.ref();
+    return new TypeSpec({ kind: "reference", target: valueTarget });
+}
+//# sourceMappingURL=expressions.js.map

package/dist/definitions/types/expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/definitions/types/expressions.ts"],"names":[],"mappings":"AAgBA,OAAO,EACL,QAAQ,GAIT,MAAM,0BAA0B,CAAC;AAElC,MAAM,UAAU,MAAM;IACpB,OAAO,IAAI,QAAQ,CAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,MAAM;IACpB,OAAO,IAAI,QAAQ,CAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,OAAO;IACrB,OAAO,IAAI,QAAQ,CAAU,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,KAAQ;IAER,OAAO,IAAI,QAAQ,CAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,IAAI,CAClB,KAAkB,EAClB,MAA8B;IAE9B,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,IAAI,CAAC;AAE1B,MAAM,UAAU,QAAQ,CAAI,KAAkB;IAC5C,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,KAAkB;IAElB,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,QAAQ,CAAI,KAAkB;IAC5C,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,GAAG,KAAQ;IAEX,OAAO,IAAI,QAAQ,CAAC;QAClB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;KAC/C,CAA2D,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,MAAM,CACpB,IAAiB,EACjB,MAAmB;IAEnB,OAAO,IAAI,QAAQ,CAAC;QAClB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE;QACxB,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE;KAC7B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,MAAS;IAET,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,MAAM,MAAM,GAAwC,EAAE,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAE,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,IAAI,SAAS,CAAC,iDAAiD,CAAC,CAAC;QACzE,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,UAAU;YAAE,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;IAC3B,CAAC;IACD,OAAO,IAAI,QAAQ,CAAC;QAClB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,cAAc;KACzB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,KAAK,CAMnB,GAAG,OAAU;IACb,OAAO,IAAI,QAAQ,CAAC;QAClB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;KACvD,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,IAAuB;IAEvB,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,EAAE,CAAC;IACvC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,EAAE,CAAC;IACzC,OAAO,MAAM,EAAE,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,KAAuB;IAEvB,OAAO,IAAI,QAAQ,CAAU;QAC3B,IAAI,EAAE,WAAW;QACjB,SAAS,EAAE,KAAK,CAAC,OAAO,EAAE;KAC3B,CAAC,CAAC;AACL,CAAC;AAUD,MAAM,UAAU,GAAG,CACjB,MAE0B;IAE1B,MAAM,WAAW,GAAmB,MAAM,CAAC,GAAG,EAAE,CAAC;IACjD,OAAO,IAAI,QAAQ,CAAU,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;AAC3E,CAAC"}

package/dist/definitions/types/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./spec.js";
+export * from "./parameter.js";
+export * from "./expressions.js";
+//# sourceMappingURL=index.d.ts.map