@hyperscale0/udl 1.0.0-rc.1 → 1.0.123

package/README.md

@@ -1,110 +1,18 @@
-# UDL
+# UDL 1
 
-UDL is the Universal Domain Language, the canonical JSON contract for a financial product. One `.udl` file declares subjects, instruments, lifecycles, actions, and money movement. An engine can admit that document without reading the source language that produced it.
+UDL, the Universal Domain Language, describes a company's objects, agreements,
+actions and money rules. HSX compiles to this typed contract. An executor reads
+UDL and enforces its actors, lifecycle transitions, requirements and effects.
+The UDL package parses, validates and serializes contracts; it executes no actions.
+This version supports SAR only.
 
-UDL keeps provider machinery below the format. It has no file drops, polling loops, cutoff jobs, scheme messages, or provider statement schemas. The `reconcile` clause names settlement evidence against a declared provider-side row. It does not model the provider file or transport.
+Read the [specification](spec/README.md) for the contract and its runtime obligations.
+The [JSON schema](spec/udl.schema.json) defines every field and default.
 
-This package contains the parser, semantic validator, canonical serializer, append-only evolution diff, JSON Schema, and conformance corpus.
+Install `@hyperscale0/udl` with Node.js 22 or later. `validateUdl` checks a
+contract, not an account balance or a deployed executor. `canonicalDigest`
+identifies its canonical bytes.
 
-## Install
-
-```bash
-npm install @hyperscale0/udl
-```
-
-`1.0.0-rc.1` freezes the candidate format for one full wave of use. Pin the release candidate while testing another implementation. Format 1 freezes when the package reaches `1.0.0`.
-
-## Thirty seconds
-
-`note.udl` is the smallest admitted document.
-
-```json
-{
-  "instruments": [
-    {
-      "actionOrder": ["close", "create"],
-      "fields": { "reference": { "type": "string" } },
-      "id": "note",
-      "idPrefix": "note",
-      "lifecycle": {
-        "initial": "open",
-        "states": ["open", "closed"],
-        "transitions": { "close": { "from": ["open"], "to": "closed" } }
-      },
-      "required": ["reference"],
-      "summary": "A note a tenant files and later closes.",
-      "title": "Note",
-      "actions": {
-        "close": { "moves": [], "steps": [], "summary": "Close the note." },
-        "create": { "moves": [], "steps": [], "summary": "File the note." }
-      }
-    }
-  ],
-  "product": "minimal",
-  "subjects": [],
-  "title": "Minimal",
-  "udl": 1,
-  "version": 1
-}
-```
-
-```ts
-import { readFile, writeFile } from "node:fs/promises";
-import {
-  canonicalDigest,
-  diffValidatedUdlEvolution,
-  parseUdl,
-  serializeUdl,
-  validateUdl,
-} from "@hyperscale0/udl";
-
-const document = parseUdl(await readFile("note.udl"));
-await writeFile("note.udl", serializeUdl(document));
-console.log(await canonicalDigest(document));
-
-const result = validateUdl(document);
-if (!result.ok) console.error(result.issues);
-
-const previous = parseUdl(await readFile("note.previous.udl"));
-const violations = diffValidatedUdlEvolution(previous, document);
-```
-
-Every issue has a stable `UDL####` code, a category, a JSON path, a message, and a fix. Messages may become clearer. Codes do not change once published.
-
-`parseUdl` accepts a string or `Uint8Array` and rejects malformed UTF-8. `serializeUdl` validates before writing. It sorts object keys by UTF-16 code unit, keeps array order, uses two-space indentation, and writes one final line feed. `canonicalDigest` hashes those UTF-8 bytes with SHA-256 and returns a promise for the lowercase hexadecimal digest.
-
-The seven kernel operations are `internal_transfer.create`, `internal_transfer.reserve`, `internal_transfer.post`, `internal_transfer.void`, `account.escrow.provision`, `account.freeze`, and `account.unfreeze`. A `payout` is an execution intent, not another kernel operation.
-
-The compiler derives action `effects` from clauses. The validator rejects a supplied effects object unless every row and its order match. Derived effects do not consume the authored node budget.
-
-## Command line
-
-```bash
-udl validate product.udl
-udl fmt product.udl --write
-udl canon product.udl
-udl canon product.udl --digest
-udl diff frozen.udl product.udl
-udl explain UDL5001
-```
-
-Exit code `0` means success. Exit code `1` means the validator or evolution law refused the document. Exit code `2` means the invocation or file read failed.
-
-## Documentation
-
-- [Guide and reading order](docs/README.md)
-- [Format specification](spec/README.md)
-- [Canonical bytes law](docs/reference/canonical.md)
-- [Stable diagnostics](docs/reference/diagnostics.md)
-- [Conformance runner contract](conformance/README.md)
-- [Agent skill](skills/udl/SKILL.md)
-
-## Versioning
-
-The literal `"udl": 1` is the format version. The version in `package.json` is the package version. They move independently. After package version `1.0.0`, an incompatible format change uses a new format literal and keeps an explicit reader for stored format 1 documents during its stated support window.
-
-## Contributing and license
-
-Hyperscale accepts format proposals as issues with a use case and the conformance case they would add. See [CONTRIBUTING.md](CONTRIBUTING.md) for setup and proof commands.
-
-UDL is AGPL-3.0-only. Hyperscale LLC also offers a commercial license. See [LICENSING.md](LICENSING.md) and [TRADEMARKS.md](TRADEMARKS.md).
+From the public source checkout, run `bun install`, then `bun run build`.
+`bun run check` checks schema freshness, types and package tests. Edit prose in
+`spec/README.md`.

package/dist/canonical.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../src/canonical.ts"],"names":[],"mappings":"AAIA,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAGnD;AAED,gFAAgF;AAChF,wBAAsB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAQrE"}
+{"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../src/canonical.ts"],"names":[],"mappings":"AAGA,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAGnD;AAED,gFAAgF;AAChF,wBAAsB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAQrE"}

package/dist/canonical.js

@@ -1,5 +1,5 @@
 import { assertValidUdl } from "./validation.js";
-const INDENT = "  ";
+import { writeJson } from "./json.js";
 export function serializeUdl(value) {
     const document = assertValidUdl(value);
     return `${writeJson(document, 0)}\n`;
@@ -11,32 +11,4 @@ export async function canonicalDigest(value) {
         .map((byte) => byte.toString(16).padStart(2, "0"))
         .join("");
 }
-function writeJson(value, depth) {
-    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;
-    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, right) {
-    return left < right ? -1 : left > right ? 1 : 0;
-}
 //# sourceMappingURL=canonical.js.map

package/dist/canonical.js.map

@@ -1 +1 @@
-{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../src/canonical.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,MAAM,MAAM,GAAG,IAAI,CAAC;AAEpB,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACvC,OAAO,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED,gFAAgF;AAChF,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAAc;IAClD,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAClD,SAAS,EACT,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAC9C,CAAC;IACF,OAAO,CAAC,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;SAC/B,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;SACjD,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,KAAa;IAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAC7C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,OAAO,MAAM,KAAK;aACf,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;aAC5D,IAAI,CAAC,KAAK,CAAC,KAAK,MAAM,GAAG,CAAC;IAC/B,CAAC;IAED,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACxD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,MAAM,IAAI;SACd,GAAG,CACF,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAC/E;SACA,IAAI,CAAC,KAAK,CAAC,KAAK,MAAM,GAAG,CAAC;AAC/B,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY,EAAE,KAAa;IACnD,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC"}
+{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../src/canonical.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACvC,OAAO,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED,gFAAgF;AAChF,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAAc;IAClD,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAClD,SAAS,EACT,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAC9C,CAAC;IACF,OAAO,CAAC,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;SAC/B,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;SACjD,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC"}

package/dist/diagnostics.d.ts

@@ -1,168 +1,16 @@
-export type UdlIssueCategory = "invalid_evolution" | "invalid_json" | "invalid_semantics" | "invalid_shape" | "invalid_utf8" | "resource_limit";
-export type UdlDiagnosticFamily = "admission" | "document" | "evolution" | "finance" | "gates" | "lifecycle" | "schema";
-declare const diagnosticDefinitions: {
-    readonly UDL1001: {
-        readonly category: "invalid_utf8";
-        readonly family: "admission";
-        readonly title: "Invalid UTF-8";
-        readonly fix: "Encode the document as valid UTF-8.";
-    };
-    readonly UDL1002: {
-        readonly category: "invalid_json";
-        readonly family: "admission";
-        readonly title: "Invalid JSON";
-        readonly fix: "Repair the JSON syntax before validation.";
-    };
-    readonly UDL1003: {
-        readonly category: "invalid_shape";
-        readonly family: "admission";
-        readonly title: "Invalid document shape";
-        readonly fix: "Match the published UDL JSON Schema.";
-    };
-    readonly UDL1004: {
-        readonly category: "resource_limit";
-        readonly family: "admission";
-        readonly title: "Resource limit exceeded";
-        readonly fix: "Reduce the source size, nesting, values, strings, references, or financial paths named by the message.";
-    };
-    readonly UDL2001: {
-        readonly category: "invalid_semantics";
-        readonly family: "document";
-        readonly title: "Duplicate declaration";
-        readonly fix: "Give each declaration a unique name.";
-    };
-    readonly UDL2002: {
-        readonly category: "invalid_semantics";
-        readonly family: "document";
-        readonly title: "Document law violation";
-        readonly fix: "Repair the declaration, subject contract, or derived effects named by the message.";
-    };
-    readonly UDL2005: {
-        readonly category: "invalid_semantics";
-        readonly family: "document";
-        readonly title: "Derived effects mismatch";
-        readonly fix: "Regenerate the action effects from its clauses.";
-    };
-    readonly UDL3001: {
-        readonly category: "invalid_semantics";
-        readonly family: "lifecycle";
-        readonly title: "Lifecycle is not closed";
-        readonly fix: "Declare every state and action transition, and make every state reachable.";
-    };
-    readonly UDL4001: {
-        readonly category: "invalid_semantics";
-        readonly family: "finance";
-        readonly title: "Money graph violation";
-        readonly fix: "Balance every funded amount and close every hold on each lifecycle path.";
-    };
-    readonly UDL5001: {
-        readonly category: "invalid_semantics";
-        readonly family: "gates";
-        readonly title: "Reference gate violation";
-        readonly fix: "Point the gate at a declared instrument, action, state, field, and reference.";
-    };
-    readonly UDL5002: {
-        readonly category: "invalid_semantics";
-        readonly family: "gates";
-        readonly title: "Check requirement violation";
-        readonly fix: "Use a declared check with compatible evidence and recurrence.";
-    };
-    readonly UDL5003: {
-        readonly category: "invalid_semantics";
-        readonly family: "gates";
-        readonly title: "Exposure gate violation";
-        readonly fix: "Use declared account and money fields for the exposure gate.";
-    };
-    readonly UDL5004: {
-        readonly category: "invalid_semantics";
-        readonly family: "gates";
-        readonly title: "Aggregate law violation";
-        readonly fix: "Point the aggregate at compatible parent and child fields.";
-    };
-    readonly UDL5005: {
-        readonly category: "invalid_semantics";
-        readonly family: "gates";
-        readonly title: "Settlement or payout violation";
-        readonly fix: "Use a declared settlement account and a compatible payout statement line.";
-    };
-    readonly UDL5006: {
-        readonly category: "invalid_semantics";
-        readonly family: "gates";
-        readonly title: "Quote and commit violation";
-        readonly fix: "Declare one complete quote freeze set and one matching commit action.";
-    };
-    readonly UDL5007: {
-        readonly category: "invalid_semantics";
-        readonly family: "gates";
-        readonly title: "Reconcile exception child violation";
-        readonly fix: "Name a declared child whose reference points back to this instrument.";
-    };
-    readonly UDL5008: {
-        readonly category: "invalid_semantics";
-        readonly family: "gates";
-        readonly title: "Action clause violation";
-        readonly fix: "Repair the clause fields and keep incompatible clauses separate.";
-    };
-    readonly UDL5009: {
-        readonly category: "invalid_semantics";
-        readonly family: "gates";
-        readonly title: "Reconcile exception amount field is missing or optional";
-        readonly fix: "Name the exception child's required money field in amountField.";
-    };
-    readonly UDL5010: {
-        readonly category: "invalid_semantics";
-        readonly family: "gates";
-        readonly title: "Reconcile exception amount field has the wrong type";
-        readonly fix: "Point amountField at a money field declared by the exception child.";
-    };
-    readonly UDL5011: {
-        readonly category: "invalid_semantics";
-        readonly family: "gates";
-        readonly title: "Reconcile exception reason field is missing or optional";
-        readonly fix: "Name the exception child's required text field in reasonField.";
-    };
-    readonly UDL5012: {
-        readonly category: "invalid_semantics";
-        readonly family: "gates";
-        readonly title: "Reconcile exception reason field has the wrong type";
-        readonly fix: "Point reasonField at a required plain text field declared by the exception child.";
-    };
-    readonly UDL6001: {
-        readonly category: "invalid_semantics";
-        readonly family: "schema";
-        readonly title: "Unsupported JSON Schema";
-        readonly fix: "Use only the sealed UDL JSON Schema subset.";
-    };
-    readonly UDL7001: {
-        readonly category: "invalid_evolution";
-        readonly family: "evolution";
-        readonly title: "Stored contract changed";
-        readonly fix: "Keep stored identities and contracts unchanged, and add only allowed optional declarations.";
-    };
-    readonly UDL7002: {
-        readonly category: "invalid_evolution";
-        readonly family: "evolution";
-        readonly title: "Version was not increased";
-        readonly fix: "Increase the product version for every semantic change.";
-    };
-};
-export type UdlIssueCode = keyof typeof diagnosticDefinitions;
-export interface UdlDiagnostic {
-    readonly category: UdlIssueCategory;
-    readonly code: UdlIssueCode;
-    readonly family: UdlDiagnosticFamily;
-    readonly fix: string;
-    readonly title: string;
-}
-export declare const udlDiagnostics: readonly UdlDiagnostic[];
-export declare function udlDiagnostic(code: string): UdlDiagnostic | undefined;
+export type UdlIssueCode = "economic_party_unbound" | "economic_move_invalid" | "economic_reservation_conflict" | "subject_field_conflict" | "subject_field_unknown" | "subject_requirement_missing" | "subject_adapter_unbound" | "subject_party_unbound" | "party_name_reserved" | "party_kind_mismatch" | "staff_role_unknown" | "product_party_unbound" | "product_party_invalid" | "UDL1003" | "UDL1004" | "UDL2001" | "UDL2002" | "UDL2010" | "UDL3001" | "UDL4001" | "UDL5001";
 export interface UdlIssue {
-    readonly category: UdlIssueCategory;
-    readonly code: UdlIssueCode;
-    readonly fix: string;
-    readonly message: string;
-    readonly path: string;
+    code: UdlIssueCode;
+    path: string;
+    message: string;
+    fix: string;
+    category: string;
+    stranded?: {
+        state: string;
+        accounts: string[];
+        actions: string[];
+        paths: Record<string, string[]>;
+    };
 }
-export declare function issue(code: UdlIssueCode, path: string, messageDetail?: string): UdlIssue;
-export {};
+export declare function issue(code: UdlIssueCode, path: string, message: string): UdlIssue;
 //# sourceMappingURL=diagnostics.d.ts.map

package/dist/diagnostics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,gBAAgB,GACxB,mBAAmB,GACnB,cAAc,GACd,mBAAmB,GACnB,eAAe,GACf,cAAc,GACd,gBAAgB,CAAC;AAErB,MAAM,MAAM,mBAAmB,GAC3B,WAAW,GACX,UAAU,GACV,WAAW,GACX,SAAS,GACT,OAAO,GACP,WAAW,GACX,QAAQ,CAAC;AAEb,QAAA,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+J1B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,MAAM,OAAO,qBAAqB,CAAC;AAE9D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,eAAO,MAAM,cAAc,EAAE,SAAS,aAAa,EAKhD,CAAC;AAEJ,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAErE;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,KAAK,CACnB,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,MAAM,EACZ,aAAa,CAAC,EAAE,MAAM,GACrB,QAAQ,CASV"}
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,YAAY,GACpB,wBAAwB,GACxB,uBAAuB,GACvB,+BAA+B,GAC/B,wBAAwB,GACxB,uBAAuB,GACvB,6BAA6B,GAC7B,yBAAyB,GACzB,uBAAuB,GACvB,qBAAqB,GACrB,qBAAqB,GACrB,oBAAoB,GACpB,uBAAuB,GACvB,uBAAuB,GACvB,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,CAAC;AACd,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE;QACT,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,MAAM,EAAE,CAAC;QACnB,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;KACjC,CAAC;CACH;AAkCD,wBAAgB,KAAK,CACnB,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,QAAQ,CAQV"}

package/dist/diagnostics.js

@@ -1,164 +1,40 @@
-const diagnosticDefinitions = {
-    UDL1001: {
-        category: "invalid_utf8",
-        family: "admission",
-        title: "Invalid UTF-8",
-        fix: "Encode the document as valid UTF-8.",
-    },
-    UDL1002: {
-        category: "invalid_json",
-        family: "admission",
-        title: "Invalid JSON",
-        fix: "Repair the JSON syntax before validation.",
-    },
-    UDL1003: {
-        category: "invalid_shape",
-        family: "admission",
-        title: "Invalid document shape",
-        fix: "Match the published UDL JSON Schema.",
-    },
-    UDL1004: {
-        category: "resource_limit",
-        family: "admission",
-        title: "Resource limit exceeded",
-        fix: "Reduce the source size, nesting, values, strings, references, or financial paths named by the message.",
-    },
-    UDL2001: {
-        category: "invalid_semantics",
-        family: "document",
-        title: "Duplicate declaration",
-        fix: "Give each declaration a unique name.",
-    },
-    UDL2002: {
-        category: "invalid_semantics",
-        family: "document",
-        title: "Document law violation",
-        fix: "Repair the declaration, subject contract, or derived effects named by the message.",
-    },
-    UDL2005: {
-        category: "invalid_semantics",
-        family: "document",
-        title: "Derived effects mismatch",
-        fix: "Regenerate the action effects from its clauses.",
-    },
-    UDL3001: {
-        category: "invalid_semantics",
-        family: "lifecycle",
-        title: "Lifecycle is not closed",
-        fix: "Declare every state and action transition, and make every state reachable.",
-    },
-    UDL4001: {
-        category: "invalid_semantics",
-        family: "finance",
-        title: "Money graph violation",
-        fix: "Balance every funded amount and close every hold on each lifecycle path.",
-    },
-    UDL5001: {
-        category: "invalid_semantics",
-        family: "gates",
-        title: "Reference gate violation",
-        fix: "Point the gate at a declared instrument, action, state, field, and reference.",
-    },
-    UDL5002: {
-        category: "invalid_semantics",
-        family: "gates",
-        title: "Check requirement violation",
-        fix: "Use a declared check with compatible evidence and recurrence.",
-    },
-    UDL5003: {
-        category: "invalid_semantics",
-        family: "gates",
-        title: "Exposure gate violation",
-        fix: "Use declared account and money fields for the exposure gate.",
-    },
-    UDL5004: {
-        category: "invalid_semantics",
-        family: "gates",
-        title: "Aggregate law violation",
-        fix: "Point the aggregate at compatible parent and child fields.",
-    },
-    UDL5005: {
-        category: "invalid_semantics",
-        family: "gates",
-        title: "Settlement or payout violation",
-        fix: "Use a declared settlement account and a compatible payout statement line.",
-    },
-    UDL5006: {
-        category: "invalid_semantics",
-        family: "gates",
-        title: "Quote and commit violation",
-        fix: "Declare one complete quote freeze set and one matching commit action.",
-    },
-    UDL5007: {
-        category: "invalid_semantics",
-        family: "gates",
-        title: "Reconcile exception child violation",
-        fix: "Name a declared child whose reference points back to this instrument.",
-    },
-    UDL5008: {
-        category: "invalid_semantics",
-        family: "gates",
-        title: "Action clause violation",
-        fix: "Repair the clause fields and keep incompatible clauses separate.",
-    },
-    UDL5009: {
-        category: "invalid_semantics",
-        family: "gates",
-        title: "Reconcile exception amount field is missing or optional",
-        fix: "Name the exception child's required money field in amountField.",
-    },
-    UDL5010: {
-        category: "invalid_semantics",
-        family: "gates",
-        title: "Reconcile exception amount field has the wrong type",
-        fix: "Point amountField at a money field declared by the exception child.",
-    },
-    UDL5011: {
-        category: "invalid_semantics",
-        family: "gates",
-        title: "Reconcile exception reason field is missing or optional",
-        fix: "Name the exception child's required text field in reasonField.",
-    },
-    UDL5012: {
-        category: "invalid_semantics",
-        family: "gates",
-        title: "Reconcile exception reason field has the wrong type",
-        fix: "Point reasonField at a required plain text field declared by the exception child.",
-    },
-    UDL6001: {
-        category: "invalid_semantics",
-        family: "schema",
-        title: "Unsupported JSON Schema",
-        fix: "Use only the sealed UDL JSON Schema subset.",
-    },
-    UDL7001: {
-        category: "invalid_evolution",
-        family: "evolution",
-        title: "Stored contract changed",
-        fix: "Keep stored identities and contracts unchanged, and add only allowed optional declarations.",
-    },
-    UDL7002: {
-        category: "invalid_evolution",
-        family: "evolution",
-        title: "Version was not increased",
-        fix: "Increase the product version for every semantic change.",
-    },
+const fixes = {
+    economic_party_unbound: "Bind sourceParty to a money party retained by this attachment.",
+    economic_move_invalid: "Declare a cash purpose on a cash transfer or its posting; use internal for non-cash accounting.",
+    economic_reservation_conflict: "Keep the reservation's economics on its posting.",
+    subject_field_conflict: "Rename the field or use matching types and constraints.",
+    subject_field_unknown: "Name a declared subject requirement or object field.",
+    subject_requirement_missing: "Supply the required action field.",
+    subject_adapter_unbound: "Bind the required adapter declaration.",
+    subject_party_unbound: "Bind the parameter to a subject role or declared party.",
+    party_name_reserved: "Choose a party name other than owner, actor or operator.",
+    party_kind_mismatch: "Use a business or subject role for money.",
+    staff_role_unknown: "Use a registered staff permission role.",
+    product_party_unbound: "Supply the consumed business in the Build party bindings.",
+    product_party_invalid: "Bind a business participant in the same tenant and environment.",
+    UDL1003: "Use the UDL 1 typed grammar.",
+    UDL1004: "Reduce the declared structure or expansion.",
+    UDL2001: "Give each declaration a distinct name.",
+    UDL2002: "Repair the named type or declaration.",
+    UDL2010: "Remove the invocation cycle or reduce its expansion.",
+    UDL3001: "Declare reachable states and one transition per action.",
+    UDL4001: "Fund owned accounts before spending and close them with zero balances.",
+    UDL5001: "Use a declared reference of the required type.",
 };
-export const udlDiagnostics = Object.entries(diagnosticDefinitions).map(([code, diagnostic]) => ({
-    code: code,
-    ...diagnostic,
-}));
-export function udlDiagnostic(code) {
-    return udlDiagnostics.find((diagnostic) => diagnostic.code === code);
-}
-export function issue(code, path, messageDetail) {
-    const diagnostic = diagnosticDefinitions[code];
+export function issue(code, path, message) {
     return {
-        category: diagnostic.category,
         code,
-        fix: diagnostic.fix,
-        message: messageDetail ?? diagnostic.title,
         path,
+        message,
+        fix: fixes[code],
+        category: category(code),
     };
 }
+function category(code) {
+    return code === "UDL1003"
+        ? "invalid_shape"
+        : code === "UDL1004"
+            ? "resource_limit"
+            : "invalid_semantics";
+}
 //# sourceMappingURL=diagnostics.js.map

package/dist/diagnostics.js.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAiBA,MAAM,qBAAqB,GAAG;IAC5B,OAAO,EAAE;QACP,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,eAAe;QACtB,GAAG,EAAE,qCAAqC;KAC3C;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,cAAc;QACrB,GAAG,EAAE,2CAA2C;KACjD;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,eAAe;QACzB,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,wBAAwB;QAC/B,GAAG,EAAE,sCAAsC;KAC5C;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,gBAAgB;QAC1B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,wGAAwG;KAC9G;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,sCAAsC;KAC5C;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,wBAAwB;QAC/B,GAAG,EAAE,oFAAoF;KAC1F;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,iDAAiD;KACvD;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,4EAA4E;KAClF;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,0EAA0E;KAChF;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,+EAA+E;KACrF;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,6BAA6B;QACpC,GAAG,EAAE,+DAA+D;KACrE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,8DAA8D;KACpE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,4DAA4D;KAClE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,gCAAgC;QACvC,GAAG,EAAE,2EAA2E;KACjF;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,4BAA4B;QACnC,GAAG,EAAE,uEAAuE;KAC7E;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,qCAAqC;QAC5C,GAAG,EAAE,uEAAuE;KAC7E;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,kEAAkE;KACxE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yDAAyD;QAChE,GAAG,EAAE,iEAAiE;KACvE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,qDAAqD;QAC5D,GAAG,EAAE,qEAAqE;KAC3E;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yDAAyD;QAChE,GAAG,EAAE,gEAAgE;KACtE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,qDAAqD;QAC5D,GAAG,EAAE,mFAAmF;KACzF;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,6CAA6C;KACnD;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,6FAA6F;KACnG;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,yDAAyD;KAC/D;CASF,CAAC;AAYF,MAAM,CAAC,MAAM,cAAc,GAA6B,MAAM,CAAC,OAAO,CACpE,qBAAqB,CACtB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7B,IAAI,EAAE,IAAoB;IAC1B,GAAG,UAAU;CACd,CAAC,CAAC,CAAC;AAEJ,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACvE,CAAC;AAUD,MAAM,UAAU,KAAK,CACnB,IAAkB,EAClB,IAAY,EACZ,aAAsB;IAEtB,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC/C,OAAO;QACL,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,IAAI;QACJ,GAAG,EAAE,UAAU,CAAC,GAAG;QACnB,OAAO,EAAE,aAAa,IAAI,UAAU,CAAC,KAAK;QAC1C,IAAI;KACL,CAAC;AACJ,CAAC"}
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAmCA,MAAM,KAAK,GAAiC;IAC1C,sBAAsB,EACpB,gEAAgE;IAClE,qBAAqB,EACnB,iGAAiG;IACnG,6BAA6B,EAC3B,kDAAkD;IACpD,sBAAsB,EACpB,yDAAyD;IAC3D,qBAAqB,EAAE,sDAAsD;IAC7E,2BAA2B,EAAE,mCAAmC;IAChE,uBAAuB,EAAE,wCAAwC;IACjE,qBAAqB,EACnB,yDAAyD;IAC3D,mBAAmB,EACjB,0DAA0D;IAC5D,mBAAmB,EAAE,2CAA2C;IAChE,kBAAkB,EAAE,yCAAyC;IAC7D,qBAAqB,EACnB,2DAA2D;IAC7D,qBAAqB,EACnB,iEAAiE;IAEnE,OAAO,EAAE,8BAA8B;IACvC,OAAO,EAAE,6CAA6C;IACtD,OAAO,EAAE,wCAAwC;IACjD,OAAO,EAAE,uCAAuC;IAChD,OAAO,EAAE,sDAAsD;IAC/D,OAAO,EAAE,yDAAyD;IAClE,OAAO,EACL,wEAAwE;IAC1E,OAAO,EAAE,gDAAgD;CAC1D,CAAC;AACF,MAAM,UAAU,KAAK,CACnB,IAAkB,EAClB,IAAY,EACZ,OAAe;IAEf,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,OAAO;QACP,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;QAChB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;KACzB,CAAC;AACJ,CAAC;AACD,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,KAAK,SAAS;QACvB,CAAC,CAAC,eAAe;QACjB,CAAC,CAAC,IAAI,KAAK,SAAS;YAClB,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,mBAAmB,CAAC;AAC5B,CAAC"}

package/dist/field-value.d.ts

@@ -0,0 +1,5 @@
+import * as z from "zod";
+import { type UdlField } from "./schema.js";
+/** Values, rather than declarations. The same validator feeds forms and admission. */
+export declare function udlFieldValueSchema(field: UdlField): z.ZodType;
+//# sourceMappingURL=field-value.d.ts.map

package/dist/field-value.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-value.d.ts","sourceRoot":"","sources":["../src/field-value.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAqB,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAC;AAK/D,sFAAsF;AACtF,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,QAAQ,GAAG,CAAC,CAAC,OAAO,CA+E9D"}