@dryvcode/author 0.0.1

package/dist/contracts/behavior.d.ts

@@ -0,0 +1,106 @@
+import type { PolicyRoleState, EventRoleState } from "./foundation.js";
+import type { AuthorSourceLocation, DeclarationRef, ExecutionMode, OperationPortRefState, SemanticMetadataState, TypeExpressionState, ValuePortState, ValueRefState, ValueTargetRef } from "./foundation.js";
+import type { HttpFacetState, ScheduleFacetState, WebSocketFacetState } from "./interfaces.js";
+export interface PolicyContextState {
+    readonly requires?: Readonly<Record<string, ValueTargetRef>>;
+    readonly provides?: Readonly<Record<string, ValueTargetRef>>;
+}
+export interface PolicyState extends SemanticMetadataState {
+    readonly role?: PolicyRoleState;
+    readonly identity: symbol;
+    readonly kind: "policy";
+    readonly description?: string;
+    readonly context?: PolicyContextState;
+    readonly rule?: DeclarationRef<"expression">;
+    readonly group?: DeclarationRef<"group">;
+    readonly feature?: DeclarationRef<"feature">;
+    readonly origin?: AuthorSourceLocation;
+}
+export interface FailureState extends SemanticMetadataState {
+    readonly identity: symbol;
+    readonly kind: "failure";
+    readonly code: string;
+    readonly description?: string;
+    readonly payload?: TypeExpressionState;
+    readonly group?: DeclarationRef<"group">;
+    readonly feature?: DeclarationRef<"feature">;
+    readonly origin?: AuthorSourceLocation;
+}
+export type EventListenerState = {
+    readonly kind: "operation";
+    readonly operation: DeclarationRef<"operation">;
+} | {
+    readonly kind: "workflow";
+    readonly workflow: DeclarationRef<"workflow">;
+};
+export interface EventState extends SemanticMetadataState {
+    readonly role?: EventRoleState;
+    readonly identity: symbol;
+    readonly kind: "event";
+    readonly description?: string;
+    readonly payload?: ValueRefState;
+    readonly listeners: readonly EventListenerState[];
+    readonly group?: DeclarationRef<"group">;
+    readonly feature?: DeclarationRef<"feature">;
+    readonly origin?: AuthorSourceLocation;
+}
+export interface DurationState {
+    readonly seconds: number;
+}
+export interface AccessState {
+    readonly authenticated: boolean;
+    readonly policies: readonly DeclarationRef<"policy">[];
+}
+export interface RateLimitState {
+    readonly limit: number;
+    readonly window: DurationState;
+}
+export interface CacheState {
+    readonly ttl: DurationState;
+}
+export interface TransactionState {
+    readonly required: boolean;
+}
+export interface RetryState {
+    readonly maxAttempts: number;
+    readonly backoff?: DurationState;
+}
+export interface IdempotencyState {
+    readonly key: OperationPortRefState;
+}
+export interface AuditState {
+    readonly required: boolean;
+}
+export interface ExecutionState {
+    readonly mode: ExecutionMode;
+    readonly timeout?: DurationState;
+    readonly rateLimit?: RateLimitState;
+    readonly cache?: CacheState;
+    readonly transaction?: TransactionState;
+    readonly retry?: RetryState;
+    readonly idempotency?: IdempotencyState;
+    readonly audit?: AuditState;
+    readonly invalidates: readonly DeclarationRef<"operation">[];
+}
+export type OperationRoleState = "create" | "update" | "delete" | "detail" | "list" | "search" | "validate" | "transform" | "action";
+export interface OperationState extends SemanticMetadataState {
+    readonly identity: symbol;
+    readonly kind: "operation";
+    readonly description?: string;
+    readonly group?: DeclarationRef<"group">;
+    readonly feature?: DeclarationRef<"feature">;
+    readonly role?: OperationRoleState;
+    readonly inputs: readonly ValuePortState[];
+    readonly outputs: readonly ValuePortState[];
+    readonly failures: readonly DeclarationRef<"failure">[];
+    readonly emits: readonly DeclarationRef<"event">[];
+    readonly access: AccessState;
+    readonly execution: ExecutionState;
+    readonly facets: {
+        readonly http?: HttpFacetState;
+        readonly websocket?: WebSocketFacetState;
+        readonly schedule?: ScheduleFacetState;
+    };
+    readonly origin?: AuthorSourceLocation;
+}
+//# sourceMappingURL=behavior.d.ts.map

package/dist/contracts/behavior.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"behavior.d.ts","sourceRoot":"","sources":["../../src/contracts/behavior.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC9E,OAAO,KAAK,EACV,oBAAoB,EACpB,cAAc,EACd,aAAa,EACb,qBAAqB,EACrB,qBAAqB,EACrB,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,cAAc,EACf,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EACV,cAAc,EACd,kBAAkB,EAClB,mBAAmB,EACpB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;IAC7D,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;CAC9D;AAED,MAAM,WAAW,WAAY,SAAQ,qBAAqB;IACxD,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,YAAY,CAAC,CAAC;IAC7C,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACzC,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC;CACxC;AAED,MAAM,WAAW,YAAa,SAAQ,qBAAqB;IACzD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACzC,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC;CACxC;AAED,MAAM,MAAM,kBAAkB,GAC1B;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,WAAW,CAAC,CAAC;CACjD,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;CAC/C,CAAC;AAEN,MAAM,WAAW,UAAW,SAAQ,qBAAqB;IACvD,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAClD,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACzC,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC;CACxC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;CACxD;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;CAChC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;CAC7B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;CAClC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,GAAG,EAAE,qBAAqB,CAAC;CACrC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS,cAAc,CAAC,WAAW,CAAC,EAAE,CAAC;CAC9D;AAED,MAAM,MAAM,kBAAkB,GAC1B,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,QAAQ,GACR,UAAU,GACV,WAAW,GACX,QAAQ,CAAC;AAEb,MAAM,WAAW,cAAe,SAAQ,qBAAqB;IAC3D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACzC,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IAC7C,QAAQ,CAAC,IAAI,CAAC,EAAE,kBAAkB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC;IACxD,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;IACnD,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC;QAC/B,QAAQ,CAAC,SAAS,CAAC,EAAE,mBAAmB,CAAC;QACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,kBAAkB,CAAC;KACxC,CAAC;IACF,QAAQ,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC;CACxC"}

package/dist/contracts/behavior.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=behavior.js.map

package/dist/contracts/behavior.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"behavior.js","sourceRoot":"","sources":["../../src/contracts/behavior.ts"],"names":[],"mappings":""}

package/dist/contracts/composition.d.ts

@@ -0,0 +1,20 @@
+import type { AuthorSourceLocation, DeclarationRef, ScopeFacetsState, SemanticMetadataState } from "./foundation.js";
+export interface FeatureState extends SemanticMetadataState {
+    readonly identity: symbol;
+    readonly kind: "feature";
+    readonly description?: string;
+    readonly group: DeclarationRef<"group">;
+    readonly origin?: AuthorSourceLocation;
+}
+export interface ApplicationState extends SemanticMetadataState {
+    readonly identity: symbol;
+    readonly kind: "application";
+    readonly description?: string;
+    readonly group?: DeclarationRef<"group">;
+    readonly groups: readonly DeclarationRef<"group">[];
+    readonly policies: readonly DeclarationRef<"policy">[];
+    readonly facets?: ScopeFacetsState;
+    readonly surfaces: readonly DeclarationRef<"surface">[];
+    readonly origin?: AuthorSourceLocation;
+}
+//# sourceMappingURL=composition.d.ts.map

package/dist/contracts/composition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"composition.d.ts","sourceRoot":"","sources":["../../src/contracts/composition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oBAAoB,EACpB,cAAc,EAEd,gBAAgB,EAChB,qBAAqB,EACtB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,WAAW,YAAa,SAAQ,qBAAqB;IACzD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC;CACxC;AAED,MAAM,WAAW,gBAAiB,SAAQ,qBAAqB;IAC7D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;IACpD,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;IACvD,QAAQ,CAAC,MAAM,CAAC,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC;IACxD,QAAQ,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC;CACxC"}

package/dist/contracts/composition.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=composition.js.map

package/dist/contracts/composition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"composition.js","sourceRoot":"","sources":["../../src/contracts/composition.ts"],"names":[],"mappings":""}

package/dist/contracts/definitions.d.ts

@@ -0,0 +1,286 @@
+import type { SchemaRoleState } from "./foundation.js";
+import type { CanonicalScalar, CanonicalValue, DeclarationRef, DefinitionMetadataState, LengthConstraintState, OperationPortRefState, PropertyDeclarationKind, SemanticMetadataState, TypeExpressionState, TypeParameterState, ValueTargetState } from "./foundation.js";
+export interface RangeConstraintState {
+    readonly min?: number;
+    readonly max?: number;
+}
+export interface PatternConstraintState {
+    readonly match?: readonly string[];
+    readonly starts?: readonly string[];
+    readonly ends?: readonly string[];
+    readonly allow?: readonly string[];
+    readonly deny?: readonly string[];
+}
+/** Static authoring components normalized by the TypeScript compiler. */
+export interface TemporalValueState {
+    readonly timeZone?: string;
+    readonly year?: number;
+    readonly month?: number;
+    readonly day?: number;
+    readonly hour?: number;
+    readonly minute?: number;
+    readonly second?: number;
+    readonly millisecond?: number;
+    readonly microsecond?: number;
+}
+export interface TemporalDurationState {
+    readonly years?: number;
+    readonly months?: number;
+    readonly days?: number;
+    readonly hours?: number;
+    readonly minutes?: number;
+    readonly seconds?: number;
+    readonly milliseconds?: number;
+}
+export type TemporalBoundState = string | TemporalValueState | TemporalDurationState | DeclarationRef<"expression">;
+export interface TemporalRangeState {
+    readonly min?: TemporalBoundState;
+    readonly max?: TemporalBoundState;
+}
+export type TemporalDirectionRuleState = true | TemporalDurationState;
+export type StringKindState = "text" | "format";
+/** The canonical string formats. Other shapes are text with a pattern. */
+export declare const STRING_FORMATS: readonly ["uuid", "ulid", "email", "url", "uri", "hostname", "ipv4", "ipv6", "phone", "e164", "slug", "hex-color", "base64", "hex", "jwt", "semver", "mime-type", "locale", "language-tag", "country-code", "currency-code", "path", "file-path", "file-name", "regex", "html", "markdown", "json", "yaml", "xml", "csv"];
+export type StringFormatState = (typeof STRING_FORMATS)[number];
+export type NumberKindState = "number" | "integer" | "decimal" | "float" | "double";
+export type TemporalKindState = "date" | "time" | "date-time" | "instant" | "zoned-date-time" | "duration" | "interval" | "year-month" | "month-day";
+export type TemporalPrecisionState = "second" | "millisecond" | "microsecond";
+export interface PropertyDeprecationState {
+    readonly since: string;
+    readonly reason: string;
+    readonly replacedBy?: DeclarationRef<PropertyDeclarationKind>;
+}
+export interface PropertyDefinitionMetadataState extends DefinitionMetadataState, SemanticMetadataState {
+    readonly deprecated?: PropertyDeprecationState;
+    readonly removed: boolean;
+}
+export interface StringPropertyState extends PropertyDefinitionMetadataState {
+    readonly identity: symbol;
+    readonly kind: "primitive";
+    readonly type: "string";
+    readonly primitiveKind: StringKindState;
+    readonly format?: StringFormatState;
+    readonly length?: LengthConstraintState;
+    readonly pattern?: PatternConstraintState;
+}
+export interface NumberPropertyState extends PropertyDefinitionMetadataState {
+    readonly identity: symbol;
+    readonly kind: "primitive";
+    readonly type: "number";
+    readonly primitiveKind: NumberKindState;
+    readonly format?: string;
+    readonly range?: RangeConstraintState;
+    readonly multipleOf?: number;
+    readonly bits?: number;
+    readonly unsigned?: boolean;
+    readonly precision?: number;
+    readonly scale?: number;
+    readonly currency?: string;
+    readonly minorUnits?: true;
+}
+export interface BooleanPropertyState extends PropertyDefinitionMetadataState {
+    readonly identity: symbol;
+    readonly kind: "primitive";
+    readonly type: "boolean";
+}
+export type PrimitivePropertyState = StringPropertyState | NumberPropertyState | BooleanPropertyState;
+export interface TemporalPropertyState extends PropertyDefinitionMetadataState {
+    readonly identity: symbol;
+    readonly kind: "temporal";
+    readonly temporalKind: TemporalKindState;
+    readonly precision?: TemporalPrecisionState;
+    readonly point?: DeclarationRef<"temporal">;
+    readonly range?: TemporalRangeState;
+    readonly past?: TemporalDirectionRuleState;
+    readonly future?: TemporalDirectionRuleState;
+    readonly timeZone?: string;
+}
+export interface EnumMemberState {
+    readonly value: CanonicalScalar;
+    readonly title?: string;
+    readonly description?: string;
+}
+export interface EnumPropertyState extends PropertyDefinitionMetadataState {
+    readonly identity: symbol;
+    readonly kind: "enum";
+    readonly values: Readonly<Record<string, EnumMemberState>>;
+    readonly ordered: boolean;
+}
+export interface CompositeFieldState extends SemanticMetadataState {
+    readonly target: ValueTargetState;
+    readonly optional?: true;
+    readonly nullable?: true;
+    readonly array?: {
+        readonly min?: number;
+        readonly max?: number;
+    };
+}
+export interface CompositePropertyState extends PropertyDefinitionMetadataState {
+    readonly identity: symbol;
+    readonly kind: "composite";
+    readonly fields: Readonly<Record<string, CompositeFieldState>>;
+    readonly invariants: readonly DeclarationRef<"expression">[];
+}
+export interface LiteralPropertyState extends PropertyDefinitionMetadataState {
+    readonly identity: symbol;
+    readonly kind: "literal";
+    readonly value: CanonicalScalar | null;
+}
+export interface UnionPropertyState extends PropertyDefinitionMetadataState {
+    readonly identity: symbol;
+    readonly kind: "union";
+    readonly discriminant: string;
+    readonly members: Readonly<Record<string, TypeExpressionState>>;
+}
+export interface RecordPropertyState extends PropertyDefinitionMetadataState {
+    readonly identity: symbol;
+    readonly kind: "record";
+    readonly keys: TypeExpressionState;
+    readonly values: TypeExpressionState;
+}
+export interface TuplePropertyState extends PropertyDefinitionMetadataState {
+    readonly identity: symbol;
+    readonly kind: "tuple";
+    readonly items: readonly TypeExpressionState[];
+}
+export interface GenericDefinitionPropertyState extends PropertyDefinitionMetadataState {
+    readonly identity: symbol;
+    readonly kind: "generic";
+    readonly genericKind: "definition";
+    readonly parameters: readonly TypeParameterState[];
+    readonly value: TypeExpressionState;
+}
+export interface GenericApplicationPropertyState extends PropertyDefinitionMetadataState {
+    readonly identity: symbol;
+    readonly kind: "generic";
+    readonly genericKind: "application";
+    readonly target: DeclarationRef<"generic">;
+    readonly arguments: readonly TypeExpressionState[];
+}
+export type GenericPropertyState = GenericDefinitionPropertyState | GenericApplicationPropertyState;
+export interface SchemaFieldRefState {
+    readonly schema: DeclarationRef<"schema">;
+    readonly field: string;
+}
+export type FieldMutationState = "create-only" | "system";
+export type QueryOperatorState = "equal" | "notEqual" | "in" | "notIn" | "contains" | "startsWith" | "endsWith" | "greaterThan" | "greaterThanOrEqual" | "lessThan" | "lessThanOrEqual" | "between" | "before" | "after" | "isNull" | "isNotNull" | "exists" | "notExists" | "containsAny" | "containsAll" | "isEmpty" | "isNotEmpty";
+export interface FieldQueryState {
+    readonly filter?: readonly QueryOperatorState[] | "*";
+    readonly sort?: true;
+    readonly search?: true;
+    readonly allowNested?: true;
+}
+export interface FieldPolicyState {
+    readonly read?: DeclarationRef<"policy">;
+    readonly write?: DeclarationRef<"policy">;
+}
+export type RelationCardinalityState = "one-to-one" | "one-to-many" | "many-to-one" | "many-to-many";
+export type RelationLifecycleState = "restrict" | "cascade" | "detach" | "reset";
+export interface FieldRelationState {
+    readonly target: SchemaFieldRefState;
+    readonly cardinality: RelationCardinalityState;
+    readonly onDelete?: RelationLifecycleState;
+    readonly onUpdate?: RelationLifecycleState;
+}
+export interface RelatedFieldState {
+    readonly via: SchemaFieldRefState;
+    readonly inverse?: SchemaFieldRefState;
+    readonly cardinality?: RelationCardinalityState;
+}
+export type FieldSourceInputState = {
+    readonly kind: "value";
+} | {
+    readonly kind: "field";
+    readonly value: SchemaFieldRefState;
+};
+export type FieldSourcePurposeState = "value" | "resolve" | "options";
+export interface FieldSourceBindingState {
+    readonly target: OperationPortRefState;
+    readonly source: FieldSourceInputState;
+}
+export interface FieldSourceState {
+    readonly purpose: FieldSourcePurposeState;
+    readonly output: OperationPortRefState;
+    readonly inputs?: readonly FieldSourceBindingState[];
+}
+export interface ProjectionFieldState {
+    readonly from: string;
+    readonly optional?: boolean;
+    readonly nullable?: boolean;
+    readonly array?: {
+        readonly min?: number;
+        readonly max?: number;
+    } | false;
+}
+export interface ProjectionUsageState {
+    readonly optional?: boolean;
+    readonly nullable?: boolean;
+    readonly array?: {
+        readonly min?: number;
+        readonly max?: number;
+    } | false;
+}
+export interface ProjectionSelectionState {
+    readonly pick?: readonly string[];
+    readonly omit?: readonly string[];
+    readonly rename?: Readonly<Record<string, string>>;
+    readonly usage?: Readonly<Record<string, ProjectionUsageState>>;
+}
+export type ProjectionPurposeState = "read" | "create" | "edit" | "query" | "custom";
+/** Author-only selectors; compiler expands these to canonical projection fields. */
+export interface ProjectionState {
+    readonly source: DeclarationRef<"schema">;
+    readonly purpose: ProjectionPurposeState;
+    readonly policies?: readonly DeclarationRef<"policy">[];
+    readonly selection: ProjectionSelectionState;
+}
+export interface SchemaStorageIndexState {
+    readonly fields: readonly string[];
+    readonly name?: string;
+    readonly unique: boolean;
+}
+export type StorageKindState = "persistent" | "volatile";
+export interface SchemaStorageFacetState {
+    readonly name?: string;
+    readonly namespace?: string;
+    readonly kind: StorageKindState;
+    readonly primaryKey?: readonly string[];
+    readonly indexes?: readonly SchemaStorageIndexState[];
+}
+export interface SchemaFacetsState {
+    readonly storage?: SchemaStorageFacetState;
+}
+export interface SchemaFieldState extends SemanticMetadataState {
+    readonly target: ValueTargetState;
+    readonly optional?: true;
+    readonly nullable?: true;
+    readonly array?: {
+        readonly min?: number;
+        readonly max?: number;
+    };
+    readonly default?: CanonicalValue | DeclarationRef<"expression">;
+    readonly mutation?: FieldMutationState;
+    readonly query?: FieldQueryState;
+    readonly sensitive?: true;
+    readonly policy?: FieldPolicyState;
+    readonly relation?: FieldRelationState;
+    readonly related?: RelatedFieldState;
+    readonly sources?: Readonly<Record<string, FieldSourceState>>;
+}
+export interface SchemaInvariantState {
+    readonly name: string;
+    readonly rule: DeclarationRef<"expression">;
+    readonly message?: string;
+}
+export interface SchemaState extends DefinitionMetadataState, SemanticMetadataState {
+    readonly identity: symbol;
+    readonly kind: "schema";
+    readonly role?: SchemaRoleState;
+    readonly abstract?: true;
+    readonly extends?: DeclarationRef<"schema">;
+    readonly projection?: ProjectionState;
+    readonly fields: Readonly<Record<string, SchemaFieldState>>;
+    readonly facets?: SchemaFacetsState;
+    readonly invariants?: readonly SchemaInvariantState[];
+}
+//# sourceMappingURL=definitions.d.ts.map

package/dist/contracts/definitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../src/contracts/definitions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,EACV,eAAe,EACf,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,qBAAqB,EACrB,qBAAqB,EACrB,uBAAuB,EACvB,qBAAqB,EACrB,mBAAmB,EACnB,kBAAkB,EAClB,gBAAgB,EACjB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,yEAAyE;AACzE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,MAAM,kBAAkB,GAC1B,MAAM,GACN,kBAAkB,GAClB,qBAAqB,GACrB,cAAc,CAAC,YAAY,CAAC,CAAC;AAEjC,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,CAAC,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,GAAG,CAAC,EAAE,kBAAkB,CAAC;CACnC;AAED,MAAM,MAAM,0BAA0B,GAAG,IAAI,GAAG,qBAAqB,CAAC;AAEtE,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,QAAQ,CAAC;AAEhD,0EAA0E;AAC1E,eAAO,MAAM,cAAc,YACzB,MAAM,EACN,MAAM,EACN,OAAO,EACP,KAAK,EACL,KAAK,EACL,UAAU,EACV,MAAM,EACN,MAAM,EACN,OAAO,EACP,MAAM,EACN,MAAM,EACN,WAAW,EACX,QAAQ,EACR,KAAK,EACL,KAAK,EACL,QAAQ,EACR,WAAW,EACX,QAAQ,EACR,cAAc,EACd,cAAc,EACd,eAAe,EACf,MAAM,EACN,WAAW,EACX,WAAW,EACX,OAAO,EACP,MAAM,EACN,UAAU,EACV,MAAM,EACN,MAAM,EACN,KAAK,EACL,KAAK,CACG,CAAC;AACX,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAChE,MAAM,MAAM,eAAe,GACvB,QAAQ,GACR,SAAS,GACT,SAAS,GACT,OAAO,GACP,QAAQ,CAAC;AACb,MAAM,MAAM,iBAAiB,GACzB,MAAM,GACN,MAAM,GACN,WAAW,GACX,SAAS,GACT,iBAAiB,GACjB,UAAU,GACV,UAAU,GACV,YAAY,GACZ,WAAW,CAAC;AAChB,MAAM,MAAM,sBAAsB,GAAG,QAAQ,GAAG,aAAa,GAAG,aAAa,CAAC;AAE9E,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC,uBAAuB,CAAC,CAAC;CAC/D;AAED,MAAM,WAAW,+BACf,SAAQ,uBAAuB,EAC7B,qBAAqB;IACvB,QAAQ,CAAC,UAAU,CAAC,EAAE,wBAAwB,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,mBAAoB,SAAQ,+BAA+B;IAC1E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC;IACxC,QAAQ,CAAC,OAAO,CAAC,EAAE,sBAAsB,CAAC;CAC3C;AAED,MAAM,WAAW,mBAAoB,SAAQ,+BAA+B;IAC1E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,oBAAoB,CAAC;IACtC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;CAC5B;AAED,MAAM,WAAW,oBAAqB,SAAQ,+BAA+B;IAC3E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CAC1B;AAED,MAAM,MAAM,sBAAsB,GAC9B,mBAAmB,GACnB,mBAAmB,GACnB,oBAAoB,CAAC;AAEzB,MAAM,WAAW,qBAAsB,SAAQ,+BAA+B;IAC5E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,iBAAiB,CAAC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,sBAAsB,CAAC;IAC5C,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;IAC5C,QAAQ,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,0BAA0B,CAAC;IAC3C,QAAQ,CAAC,MAAM,CAAC,EAAE,0BAA0B,CAAC;IAC7C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,iBAAkB,SAAQ,+BAA+B;IACxE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,mBAAoB,SAAQ,qBAAqB;IAChE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CACnE;AAED,MAAM,WAAW,sBACf,SAAQ,+BAA+B;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC/D,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,CAAC,YAAY,CAAC,EAAE,CAAC;CAC9D;AAED,MAAM,WAAW,oBAAqB,SAAQ,+BAA+B;IAC3E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI,CAAC;CACxC;AAED,MAAM,WAAW,kBAAmB,SAAQ,+BAA+B;IACzE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;CACjE;AAED,MAAM,WAAW,mBAAoB,SAAQ,+BAA+B;IAC1E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;CACtC;AAED,MAAM,WAAW,kBAAmB,SAAQ,+BAA+B;IACzE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAChD;AAED,MAAM,WAAW,8BACf,SAAQ,+BAA+B;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACrC;AAED,MAAM,WAAW,+BACf,SAAQ,+BAA+B;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACpD;AAED,MAAM,MAAM,oBAAoB,GAC5B,8BAA8B,GAC9B,+BAA+B,CAAC;AAEpC,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,kBAAkB,GAAG,aAAa,GAAG,QAAQ,CAAC;AAE1D,MAAM,MAAM,kBAAkB,GAC1B,OAAO,GACP,UAAU,GACV,IAAI,GACJ,OAAO,GACP,UAAU,GACV,YAAY,GACZ,UAAU,GACV,aAAa,GACb,oBAAoB,GACpB,UAAU,GACV,iBAAiB,GACjB,SAAS,GACT,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,WAAW,GACX,QAAQ,GACR,WAAW,GACX,aAAa,GACb,aAAa,GACb,SAAS,GACT,YAAY,CAAC;AAEjB,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,kBAAkB,EAAE,GAAG,GAAG,CAAC;IACtD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC;CAC7B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;CAC3C;AAED,MAAM,MAAM,wBAAwB,GAChC,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,CAAC;AAEnB,MAAM,MAAM,sBAAsB,GAC9B,UAAU,GACV,SAAS,GACT,QAAQ,GACR,OAAO,CAAC;AAEZ,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC;IAC/C,QAAQ,CAAC,QAAQ,CAAC,EAAE,sBAAsB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,sBAAsB,CAAC;CAC5C;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,mBAAmB,CAAC;IAClC,QAAQ,CAAC,OAAO,CAAC,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,WAAW,CAAC,EAAE,wBAAwB,CAAC;CACjD;AAED,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAA;CAAE,CAAC;AAEpE,MAAM,MAAM,uBAAuB,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC;AAEtE,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;CACxC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACtD;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,KAAK,CAAC;CAC3E;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,KAAK,CAAC;CAC3E;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC;CACjE;AAED,MAAM,MAAM,sBAAsB,GAC9B,MAAM,GACN,QAAQ,GACR,MAAM,GACN,OAAO,GACP,QAAQ,CAAC;AAEb,oFAAoF;AACpF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;IACxD,QAAQ,CAAC,SAAS,EAAE,wBAAwB,CAAC;CAC9C;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,UAAU,CAAC;AAEzD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACvD;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,uBAAuB,CAAC;CAC5C;AAED,MAAM,WAAW,gBAAiB,SAAQ,qBAAqB;IAC7D,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAClE,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;IACjE,QAAQ,CAAC,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;CAC/D;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,YAAY,CAAC,CAAC;IAC5C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,WACf,SAAQ,uBAAuB,EAC7B,qBAAqB;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,eAAe,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;CACvD"}

package/dist/contracts/definitions.js

@@ -0,0 +1,35 @@
+/** The canonical string formats. Other shapes are text with a pattern. */
+export const STRING_FORMATS = [
+    "uuid",
+    "ulid",
+    "email",
+    "url",
+    "uri",
+    "hostname",
+    "ipv4",
+    "ipv6",
+    "phone",
+    "e164",
+    "slug",
+    "hex-color",
+    "base64",
+    "hex",
+    "jwt",
+    "semver",
+    "mime-type",
+    "locale",
+    "language-tag",
+    "country-code",
+    "currency-code",
+    "path",
+    "file-path",
+    "file-name",
+    "regex",
+    "html",
+    "markdown",
+    "json",
+    "yaml",
+    "xml",
+    "csv",
+];
+//# sourceMappingURL=definitions.js.map

package/dist/contracts/definitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"definitions.js","sourceRoot":"","sources":["../../src/contracts/definitions.ts"],"names":[],"mappings":"AAkEA,0EAA0E;AAC1E,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,MAAM;IACN,MAAM;IACN,OAAO;IACP,KAAK;IACL,KAAK;IACL,UAAU;IACV,MAAM;IACN,MAAM;IACN,OAAO;IACP,MAAM;IACN,MAAM;IACN,WAAW;IACX,QAAQ;IACR,KAAK;IACL,KAAK;IACL,QAAQ;IACR,WAAW;IACX,QAAQ;IACR,cAAc;IACd,cAAc;IACd,eAAe;IACf,MAAM;IACN,WAAW;IACX,WAAW;IACX,OAAO;IACP,MAAM;IACN,UAAU;IACV,MAAM;IACN,MAAM;IACN,KAAK;IACL,KAAK;CACG,CAAC"}

package/dist/contracts/expressions.d.ts

@@ -0,0 +1,44 @@
+import type { AuthorSourceLocation, CanonicalValue, DeclarationRef, SemanticMetadataState } from "./foundation.js";
+import type { TemporalDurationState } from "./definitions.js";
+export type ComparisonOperatorState = "equal" | "not-equal" | "less-than" | "less-than-or-equal" | "greater-than" | "greater-than-or-equal";
+export type ArithmeticOperatorState = "add" | "subtract" | "multiply" | "divide";
+export type LogicalOperatorState = "and" | "or";
+export type TemporalFunctionState = "now" | "in-time-zone" | "date" | "time" | "date-time" | "instant" | "year-month";
+export type ExpressionValueState = DeclarationRef<"expression"> | {
+    readonly value: CanonicalValue;
+} | {
+    readonly context: string;
+    readonly path: readonly string[];
+} | {
+    readonly duration: TemporalDurationState;
+} | {
+    readonly operator: ComparisonOperatorState;
+    readonly left: ExpressionValueState;
+    readonly right: ExpressionValueState;
+} | {
+    readonly operator: ArithmeticOperatorState | LogicalOperatorState;
+    readonly values: readonly ExpressionValueState[];
+} | {
+    readonly operator: "not";
+    readonly value: ExpressionValueState;
+} | {
+    readonly function: "now";
+} | {
+    readonly function: "in-time-zone";
+    readonly value: ExpressionValueState;
+    readonly timeZone: string;
+} | {
+    readonly function: Exclude<TemporalFunctionState, "now" | "in-time-zone">;
+    readonly value: ExpressionValueState;
+};
+/** A named, owned expression declaration (decision 0011). */
+export interface ExpressionState extends SemanticMetadataState {
+    readonly identity: symbol;
+    readonly kind: "expression";
+    readonly group?: DeclarationRef<"group">;
+    readonly feature?: DeclarationRef<"feature">;
+    readonly description?: string;
+    readonly value: ExpressionValueState;
+    readonly origin?: AuthorSourceLocation;
+}
+//# sourceMappingURL=expressions.d.ts.map

package/dist/contracts/expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../src/contracts/expressions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oBAAoB,EACpB,cAAc,EACd,cAAc,EACd,qBAAqB,EACtB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAErE,MAAM,MAAM,uBAAuB,GAC/B,OAAO,GACP,WAAW,GACX,WAAW,GACX,oBAAoB,GACpB,cAAc,GACd,uBAAuB,CAAC;AAE5B,MAAM,MAAM,uBAAuB,GAC/B,KAAK,GACL,UAAU,GACV,UAAU,GACV,QAAQ,CAAC;AAEb,MAAM,MAAM,oBAAoB,GAAG,KAAK,GAAG,IAAI,CAAC;AAEhD,MAAM,MAAM,qBAAqB,GAC7B,KAAK,GACL,cAAc,GACd,MAAM,GACN,MAAM,GACN,WAAW,GACX,SAAS,GACT,YAAY,CAAC;AAEjB,MAAM,MAAM,oBAAoB,GAC5B,cAAc,CAAC,YAAY,CAAC,GAC5B;IAAE,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GAClC;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC9D;IAAE,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAA;CAAE,GAC5C;IACE,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC;CACtC,GACD;IACE,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,GAAG,oBAAoB,CAAC;IAClE,QAAQ,CAAC,MAAM,EAAE,SAAS,oBAAoB,EAAE,CAAC;CAClD,GACD;IAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAA;CAAE,GAClE;IAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAA;CAAE,GAC5B;IACE,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,GACD;IACE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,qBAAqB,EAAE,KAAK,GAAG,cAAc,CAAC,CAAC;IAC1E,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC;CACtC,CAAC;AAEN,6DAA6D;AAC7D,MAAM,WAAW,eAAgB,SAAQ,qBAAqB;IAC5D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACzC,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IAC7C,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC;CACxC"}

package/dist/contracts/expressions.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=expressions.js.map

package/dist/contracts/expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../src/contracts/expressions.ts"],"names":[],"mappings":""}