@hyperscale0/udl 1.0.0 → 1.0.123

package/src/index.ts

@@ -1,99 +1,22 @@
-export { canonicalizeUdl, parseUdl } from "./parser.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 {
-  deriveUdlActionEffects,
-  movementClass,
-  udlEffectKinds,
-  type DerivedUdlEffects,
-  type UdlEffectKind,
-  type UdlMovementClass,
-} from "./effects.js";
-export {
-  analyzeInstrumentFinance,
-  type FinanceIssue,
-  type FinanceOptions,
-} from "./finance.js";
-export {
-  diffInstrumentEvolution,
-  diffValidatedUdlEvolution,
-  snapshotUdlInstrument,
-} from "./evolution.js";
-export type {
-  EvolutionFieldSnapshot,
-  EvolutionMoveSnapshot,
-  EvolutionStepSnapshot,
-  EvolutionTransitionSnapshot,
-  EvolutionActionSnapshot,
-  InstrumentEvolutionSnapshot,
-} from "./evolution.js";
-export {
-  quoteExpiresAtRefKey,
-  quoteFrozenRefKey,
-  quoteSeededRefKeys,
-  UDL_FORMAT_VERSION,
-  udlClauseVocabulary,
-  udlDocumentSchema,
-  udlInstrumentActionIdSchema,
-  udlKernelOperationSchema,
-  udlProviderFamilyIdSchema,
-  udlPublicActionSchema,
-} from "./schema.js";
-export type {
-  UdlAggregate,
-  UdlAggregateCondition,
-  UdlBinding,
-  UdlCompositionDial,
-  UdlDeclaredValuePolicy,
-  UdlDecision,
-  UdlDial,
-  UdlDocument,
-  UdlDue,
-  UdlEffects,
-  UdlExample,
-  UdlGate,
-  UdlKernelOperation,
-  UdlLifecycle,
-  UdlLifecycleTransition,
-  UdlInstrument,
-  UdlInstrumentSubject,
-  UdlPayout,
-  UdlQuote,
-  UdlProviderFamilyId,
-  UdlCheckRequirement,
-  UdlClauseCardinality,
-  UdlClauseEffect,
-  UdlReconcile,
-  UdlRemainder,
-  UdlStep,
-  UdlSubject,
-  UdlAction,
-  UdlClauseVocabularyEntry,
-} from "./schema.js";
+export * from "./schema.js";
+export { serializeUdl, canonicalDigest } from "./canonical.js";
 export {
+  validateUdl,
+  RESERVED_OBJECT_NAMES,
   assertValidUdl,
-  isReconcileExceptionChild,
-  reconcileExceptionChildProblems,
-  openReferenceShapeBudget,
+  resolveField,
+  resolveSubjectRequirement,
   UdlError,
-  validateUdl,
-  validateUdlJsonSchema,
-  validateUdlSchemaValue,
-} from "./validation.js";
-export type {
-  ReferenceShapeBudget,
-  UdlValidationResult,
+  type UdlValidationResult,
 } from "./validation.js";
+export { issue, type UdlIssue, type UdlIssueCode } from "./diagnostics.js";
+export { analyzeInstrumentFinance, type FinanceIssue } from "./finance.js";
+export { fixedIsoDurationMs } from "./duration.js";
+
+export * from "./reporting.js";
+export {
+  validateReportDefinition,
+  reportExpressionTypes,
+} from "./reporting-validation.js";
+export { udlFieldValueSchema } from "./field-value.js";
+export * from "./object-contract.js";

package/src/json.ts

@@ -0,0 +1,34 @@
+const INDENT = "  ";
+
+export function writeJson(value: unknown, depth = 0): string {
+  if (value === null || typeof value !== "object") {
+    const encoded = JSON.stringify(value);
+    if (encoded === undefined) {
+      throw new TypeError("UDL canonical JSON received a non-JSON value");
+    }
+    return encoded;
+  }
+
+  const indent = INDENT.repeat(depth);
+  const childIndent = INDENT.repeat(depth + 1);
+  if (Array.isArray(value)) {
+    if (value.length === 0) return "[]";
+    return `[\n${value
+      .map((item) => `${childIndent}${writeJson(item, depth + 1)}`)
+      .join(",\n")}\n${indent}]`;
+  }
+
+  const record = value as Record<string, unknown>;
+  const keys = Object.keys(record).sort(compareCodeUnits);
+  if (keys.length === 0) return "{}";
+  return `{\n${keys
+    .map(
+      (key) =>
+        `${childIndent}${JSON.stringify(key)}: ${writeJson(record[key], depth + 1)}`,
+    )
+    .join(",\n")}\n${indent}}`;
+}
+
+function compareCodeUnits(left: string, right: string): number {
+  return left < right ? -1 : left > right ? 1 : 0;
+}

package/src/limits.ts

@@ -1,33 +1,7 @@
 export const UDL_LIMITS = Object.freeze({
-  financeAccounts: 16,
-  financeEffects: 128,
-  financePathVariants: 256,
-  financeStates: 32,
-  financeTransitionEdges: 128,
-  financeTransitions: 64,
-  financeActions: 64,
-  financeWork: 4_096,
-  maxDepth: 24,
-  maxKeyLength: 128,
-  maxNodes: 10_000,
-  maxPatternLength: 320,
-  /**
-   * Upper bound on the match attempts a document-authored `pattern` can force
-   * the backtracking engine to explore at its single anchored start position.
-   * Every admitted pattern's search space is multiplied out at admission
-   * (alternation branches x optional atoms x variable-quantifier spans), so
-   * worst-case matching cost is this budget times the pattern length, not an
-   * exponential in the document author's choice of grammar.
-   */
-  maxPatternPaths: 4_096,
-  /**
-   * Reference-shape classifications one `ReferenceShapeBudget` may buy. Each
-   * one compiles a JSON Schema validator, and a document controls both factors
-   * of the instruments x gate-fields product that asks for them.
-   */
-  maxSchemaProbes: 2_048,
-  // The complete 2026-09-01 platform catalog serializes to 402,126 bytes.
-  maxSourceBytes: 512 * 1_024,
-  maxStringLength: 2_048,
-  maxTotalStringLength: 256 * 1_024,
+  maxDepth: 32,
+  maxKeyLength: 240,
+  maxNodes: 100_000,
+  maxSourceBytes: 1_024 * 1_024,
+  maxTotalStringLength: 1_024 * 1_024,
 });