@hyperscale0/udl 1.0.0-beta.1 → 1.0.0

package/src/index.ts

@@ -1,54 +1,92 @@
 export { canonicalizeUdl, parseUdl } from "./parser.js";
-export { serializeUdl } from "./canonical.js";
+export { canonicalDigest, serializeUdl } from "./canonical.js";
+export { issue, udlDiagnostic, udlDiagnostics } from "./diagnostics.js";
+export type {
+  UdlDiagnostic,
+  UdlDiagnosticFamily,
+  UdlIssue,
+  UdlIssueCategory,
+  UdlIssueCode,
+} from "./diagnostics.js";
+export {
+  udlCheckEvidenceProfile,
+  udlCheckEvidenceProfiles,
+  type UdlCheckEvidenceProfile,
+} from "./check-profiles.js";
 export { fixedIsoDurationMs } from "./duration.js";
 export {
-  analyzeNounFinance,
+  deriveUdlActionEffects,
+  movementClass,
+  udlEffectKinds,
+  type DerivedUdlEffects,
+  type UdlEffectKind,
+  type UdlMovementClass,
+} from "./effects.js";
+export {
+  analyzeInstrumentFinance,
   type FinanceIssue,
   type FinanceOptions,
 } from "./finance.js";
 export {
-  diffNounEvolution,
+  diffInstrumentEvolution,
   diffValidatedUdlEvolution,
-  snapshotUdlNoun,
+  snapshotUdlInstrument,
 } from "./evolution.js";
 export type {
   EvolutionFieldSnapshot,
   EvolutionMoveSnapshot,
   EvolutionStepSnapshot,
   EvolutionTransitionSnapshot,
-  EvolutionVerbSnapshot,
-  NounEvolutionSnapshot,
+  EvolutionActionSnapshot,
+  InstrumentEvolutionSnapshot,
 } from "./evolution.js";
 export {
+  quoteExpiresAtRefKey,
+  quoteFrozenRefKey,
+  quoteSeededRefKeys,
   UDL_FORMAT_VERSION,
+  udlClauseVocabulary,
   udlDocumentSchema,
+  udlInstrumentActionIdSchema,
   udlKernelOperationSchema,
-  udlPublicIntentSchema,
+  udlProviderFamilyIdSchema,
+  udlPublicActionSchema,
 } from "./schema.js";
 export type {
   UdlAggregate,
   UdlAggregateCondition,
   UdlBinding,
+  UdlCompositionDial,
   UdlDeclaredValuePolicy,
   UdlDecision,
+  UdlDial,
   UdlDocument,
   UdlDue,
+  UdlEffects,
   UdlExample,
   UdlGate,
   UdlKernelOperation,
   UdlLifecycle,
   UdlLifecycleTransition,
-  UdlNoun,
-  UdlNounSubject,
+  UdlInstrument,
+  UdlInstrumentSubject,
   UdlPayout,
-  UdlRequiresSettlement,
+  UdlQuote,
+  UdlProviderFamilyId,
+  UdlCheckRequirement,
+  UdlClauseCardinality,
+  UdlClauseEffect,
+  UdlReconcile,
+  UdlRemainder,
   UdlStep,
   UdlSubject,
-  UdlUnwind,
-  UdlVerb,
+  UdlAction,
+  UdlClauseVocabularyEntry,
 } from "./schema.js";
 export {
   assertValidUdl,
+  isReconcileExceptionChild,
+  reconcileExceptionChildProblems,
   openReferenceShapeBudget,
   UdlError,
   validateUdl,
@@ -57,7 +95,5 @@ export {
 } from "./validation.js";
 export type {
   ReferenceShapeBudget,
-  UdlIssue,
-  UdlIssueCode,
   UdlValidationResult,
 } from "./validation.js";

package/src/limits.ts

@@ -5,7 +5,7 @@ export const UDL_LIMITS = Object.freeze({
   financeStates: 32,
   financeTransitionEdges: 128,
   financeTransitions: 64,
-  financeVerbs: 64,
+  financeActions: 64,
   financeWork: 4_096,
   maxDepth: 24,
   maxKeyLength: 128,
@@ -23,10 +23,11 @@ export const UDL_LIMITS = Object.freeze({
   /**
    * Reference-shape classifications one `ReferenceShapeBudget` may buy. Each
    * one compiles a JSON Schema validator, and a document controls both factors
-   * of the nouns x gate-fields product that asks for them.
+   * of the instruments x gate-fields product that asks for them.
    */
   maxSchemaProbes: 2_048,
-  maxSourceBytes: 256 * 1_024,
+  // The complete 2026-09-01 platform catalog serializes to 402,126 bytes.
+  maxSourceBytes: 512 * 1_024,
   maxStringLength: 2_048,
   maxTotalStringLength: 256 * 1_024,
 });

package/src/parser.ts

@@ -1,7 +1,8 @@
 import { serializeUdl } from "./canonical.js";
+import { issue } from "./diagnostics.js";
 import { UDL_LIMITS } from "./limits.js";
 import type { UdlDocument } from "./schema.js";
-import { assertValidUdl, UdlError, type UdlIssue } from "./validation.js";
+import { assertValidUdl, UdlError } from "./validation.js";
 
 const utf8Decoder = new TextDecoder("utf-8", { fatal: true });
 
@@ -14,11 +15,11 @@ export function parseUdl(source: string | Uint8Array): UdlDocument {
       : source.byteLength;
   if (sourceBytes > UDL_LIMITS.maxSourceBytes) {
     throw new UdlError([
-      {
-        code: "resource_limit",
-        message: `UDL source exceeds ${UDL_LIMITS.maxSourceBytes} bytes`,
-        path: "$",
-      },
+      issue(
+        "UDL1004",
+        "$",
+        `UDL source exceeds ${UDL_LIMITS.maxSourceBytes} bytes`,
+      ),
     ]);
   }
   return parseUdlText(
@@ -32,12 +33,11 @@ function parseUdlText(source: string): UdlDocument {
     value = JSON.parse(source) as unknown;
   } catch (error) {
     throw new UdlError([
-      {
-        code: "invalid_json",
-        message:
-          error instanceof Error ? error.message : "could not parse JSON",
-        path: "$",
-      },
+      issue(
+        "UDL1002",
+        "$",
+        error instanceof Error ? error.message : "could not parse JSON",
+      ),
     ]);
   }
   return assertValidUdl(value);
@@ -51,11 +51,8 @@ function decodeUdlBytes(source: Uint8Array): string {
   try {
     return utf8Decoder.decode(source);
   } catch {
-    const issue: UdlIssue = {
-      code: "invalid_utf8",
-      message: "UDL bytes must be valid UTF-8",
-      path: "$",
-    };
-    throw new UdlError([issue]);
+    throw new UdlError([
+      issue("UDL1001", "$", "UDL bytes must be valid UTF-8"),
+    ]);
   }
 }