@hyperscale0/udl 1.0.0 → 1.0.124

package/dist/evolution.d.ts

@@ -1,120 +0,0 @@
-import type { UdlDocument, UdlInstrument } from "./schema.js";
-import { type UdlIssue } from "./diagnostics.js";
-export interface EvolutionFieldSnapshot {
-    readonly required: boolean;
-    readonly schema: unknown;
-}
-export interface EvolutionStepSnapshot {
-    readonly bind: unknown;
-    readonly capture: unknown;
-    readonly operation: string;
-}
-export interface EvolutionMoveSnapshot extends EvolutionStepSnapshot {
-    readonly key: string;
-}
-export interface EvolutionActionSnapshot {
-    /** Missing on snapshots written before receipt-input capture existed. */
-    readonly captureInput?: unknown;
-    readonly deadline: unknown;
-    readonly decision: unknown;
-    /** Missing on snapshots written before UDL completeness. */
-    readonly principal?: string | null;
-    /** Missing on snapshots written before quote-commit existed. */
-    readonly commit?: string | null;
-    /** Missing on snapshots written before UDL completeness. */
-    readonly remainder?: unknown;
-    /** Missing on snapshots written before UDL completeness. */
-    readonly requiresChecks?: unknown;
-    /** Missing on snapshots written before UDL completeness. */
-    readonly sandboxFailurePoint?: string | null;
-    /** Missing on snapshots written before UDL completeness. */
-    readonly updates?: readonly string[];
-    /** Missing on snapshots written before weighted distribution existed. */
-    readonly distribute?: unknown;
-    readonly due: unknown;
-    readonly earnable: boolean;
-    /** Missing on snapshots written before derived effect rows entered UDL. */
-    readonly effects?: unknown;
-    readonly eventName: string | null;
-    readonly input: Readonly<Record<string, EvolutionFieldSnapshot>> | null;
-    /**
-     * Every top-level input schema keyword EXCEPT properties/required (those are
-     * diffed field by field). additionalProperties, string and array bounds,
-     * numeric bounds, enum, const, pattern, and format change what callers may
-     * send, so they are frozen once live.
-     */
-    readonly inputConstraints: unknown;
-    /** Missing on snapshots written before payout intents existed. */
-    readonly payout?: unknown;
-    readonly port: unknown;
-    /** Missing on snapshots written before public action metadata existed. */
-    readonly publicAction?: string | null;
-    readonly requiresAggregate: unknown;
-    readonly requiresDrainedAccount: unknown;
-    /** Missing on snapshots written before exposure gates entered open UDL. */
-    readonly requiresExposure?: unknown;
-    readonly requiresRefs: unknown;
-    /** Missing on snapshots written before reconcile expectations existed. */
-    readonly reconcile?: unknown;
-    readonly setsAt: unknown;
-    /** Missing on snapshots written before signed child sums existed. */
-    readonly signedSum?: unknown;
-    readonly moves: readonly EvolutionMoveSnapshot[];
-    readonly steps: readonly EvolutionStepSnapshot[];
-}
-export interface EvolutionTransitionSnapshot {
-    readonly from: readonly string[];
-    readonly to: string;
-}
-/** The complete serializable algebra protected by append-only evolution. */
-export interface InstrumentEvolutionSnapshot {
-    /** Missing on snapshots written before UDL carried authored action order. */
-    readonly actionOrder?: readonly string[];
-    readonly aggregateInvariants: readonly string[];
-    /** Missing on snapshots written before UDL completeness. */
-    readonly callerParkedStates?: Readonly<Record<string, string>>;
-    readonly derivedAmounts: readonly string[];
-    /** Missing on snapshots written before UDL completeness. */
-    readonly dials?: unknown;
-    readonly distinctParties?: true;
-    /** Missing on snapshots written before unified fee rules entered UDL. */
-    readonly feeRules?: unknown;
-    readonly fields: Readonly<Record<string, EvolutionFieldSnapshot>>;
-    readonly id: string;
-    readonly idPrefix: string;
-    readonly initial: string;
-    /** Missing on snapshots written before UDL completeness. */
-    readonly nav?: readonly string[];
-    readonly parties: Readonly<Record<string, string>>;
-    readonly partitions: readonly string[];
-    readonly states: readonly string[];
-    readonly subjects: readonly string[];
-    /** Missing on snapshots written before UDL completeness. */
-    readonly subjectExtensible?: boolean;
-    /** Missing on snapshots written before UDL completeness. */
-    readonly surfaceVisibility?: string | null;
-    /** Missing on snapshots written before UDL completeness. */
-    readonly templateId?: string | null;
-    readonly transitions: Readonly<Record<string, EvolutionTransitionSnapshot>>;
-    /** Every quote-commit pair, keyed by quoting action. */
-    readonly quotes: unknown;
-    readonly updateFields: readonly string[];
-    /** Missing on snapshots written before UDL completeness. */
-    readonly updateExamples?: unknown;
-    readonly updateStates: readonly string[];
-    readonly actions: Readonly<Record<string, EvolutionActionSnapshot>>;
-}
-/** Project an open .udl instrument into the evolution engine's exact semantic shape. */
-export declare function snapshotUdlInstrument(instrument: UdlInstrument): InstrumentEvolutionSnapshot;
-/**
- * Compare two product definitions under the append-only evolution law.
- *
- * Both documents must already have passed `validateUdl`. The diff walks
- * straight into `stableStringify`, so an unvalidated document with a cycle in
- * it throws a RangeError out of here where the validator would have returned a
- * clean `resource_limit` issue: parse first, then diff.
- */
-export declare function diffValidatedUdlEvolution(previous: UdlDocument, next: UdlDocument): readonly UdlIssue[];
-/** Diff one instrument snapshot. An empty result means the change is additive. */
-export declare function diffInstrumentEvolution(previous: InstrumentEvolutionSnapshot, next: InstrumentEvolutionSnapshot): readonly UdlIssue[];
-//# sourceMappingURL=evolution.d.ts.map

package/dist/evolution.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"evolution.d.ts","sourceRoot":"","sources":["../src/evolution.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAEV,WAAW,EACX,aAAa,EAEd,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAS,KAAK,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,qBAAsB,SAAQ,qBAAqB;IAClE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,uBAAuB;IACtC,yEAAyE;IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,gEAAgE;IAChE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,4DAA4D;IAC5D,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,4DAA4D;IAC5D,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7C,4DAA4D;IAC5D,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,yEAAyE;IACzE,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC,GAAG,IAAI,CAAC;IACxE;;;;;OAKG;IACH,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,kEAAkE;IAClE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;IACzC,2EAA2E;IAC3E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,qEAAqE;IACrE,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAC;CAClD;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED,4EAA4E;AAC5E,MAAM,WAAW,2BAA2B;IAC1C,6EAA6E;IAC7E,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,4DAA4D;IAC5D,QAAQ,CAAC,kBAAkB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC/D,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;IAChC,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC,CAAC;IAClE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,4DAA4D;IAC5D,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,4DAA4D;IAC5D,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IACrC,4DAA4D;IAC5D,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3C,4DAA4D;IAC5D,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,2BAA2B,CAAC,CAAC,CAAC;IAC5E,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,4DAA4D;IAC5D,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC,CAAC;CACrE;AAED,wFAAwF;AACxF,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,aAAa,GACxB,2BAA2B,CA0E7B;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,WAAW,EACrB,IAAI,EAAE,WAAW,GAChB,SAAS,QAAQ,EAAE,CAYrB;AA2ED,kFAAkF;AAClF,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,2BAA2B,EACrC,IAAI,EAAE,2BAA2B,GAChC,SAAS,QAAQ,EAAE,CAIrB"}