@hyperscale0/udl 1.0.0 → 1.0.124

package/conformance/valid/string-escaping.expected.json

@@ -1,6 +0,0 @@
-{
-  "canonical": "string-escaping.udl",
-  "digest": "78fbab9336ae8ae8b092ef1b238d86a1621f50891634b99f7bb630f9019f522f",
-  "summary": "Canonical strings escape lone surrogates and retain U+2028 and U+007F as literal code points.",
-  "verdict": "valid"
-}

package/conformance/valid/string-escaping.udl

@@ -1,54 +0,0 @@
-{
-  "instruments": [
-    {
-      "actionOrder": [
-        "close",
-        "create"
-      ],
-      "actions": {
-        "close": {
-          "moves": [],
-          "steps": [],
-          "summary": "Close the note."
-        },
-        "create": {
-          "moves": [],
-          "steps": [],
-          "summary": "File the note."
-        }
-      },
-      "fields": {
-        "reference": {
-          "type": "string"
-        }
-      },
-      "id": "note",
-      "idPrefix": "note",
-      "lifecycle": {
-        "initial": "open",
-        "states": [
-          "open",
-          "closed"
-        ],
-        "transitions": {
-          "close": {
-            "from": [
-              "open"
-            ],
-            "to": "closed"
-          }
-        }
-      },
-      "required": [
-        "reference"
-      ],
-      "summary": "A lone surrogate \ud800 stays escaped; U+2028 
 and U+007F  stay literal.",
-      "title": "Canonical string escaping"
-    }
-  ],
-  "product": "canonical_string_escaping",
-  "subjects": [],
-  "title": "Canonical string escaping",
-  "udl": 1,
-  "version": 1
-}

package/dist/check-profiles.d.ts

@@ -1,57 +0,0 @@
-/**
- * Evidence profiles that an instrument action may require before it runs.
- * The public grammar and the runtime both read this table. A pair absent here
- * cannot gate an action.
- */
-export interface UdlCheckEvidenceProfile {
-    readonly family: string;
-    readonly checkKind: string;
-    readonly kindField?: string;
-    readonly statusField: string;
-    readonly statuses: readonly string[];
-}
-export declare const udlCheckEvidenceProfiles: readonly [{
-    readonly family: "national_identity";
-    readonly checkKind: "identity_verification";
-    readonly kindField: "checkKind";
-    readonly statusField: "verificationStatus";
-    readonly statuses: readonly ["requested", "waiting", "completed", "rejected", "expired", "error"];
-}, {
-    readonly family: "national_identity";
-    readonly checkKind: "contact_ownership_verification";
-    readonly kindField: "checkKind";
-    readonly statusField: "matchResult";
-    readonly statuses: readonly ["match", "no_match"];
-}, {
-    readonly family: "credit_bureau";
-    readonly checkKind: "consumer_inquiry";
-    readonly kindField: "inquiryType";
-    readonly statusField: "bureauStatus";
-    readonly statuses: readonly ["returned", "acknowledged", "correction_required"];
-}, {
-    readonly family: "credit_bureau";
-    readonly checkKind: "commercial_inquiry";
-    readonly kindField: "inquiryType";
-    readonly statusField: "bureauStatus";
-    readonly statuses: readonly ["returned", "acknowledged", "correction_required"];
-}, {
-    readonly family: "credit_bureau";
-    readonly checkKind: "facility_report";
-    readonly kindField: "inquiryType";
-    readonly statusField: "bureauStatus";
-    readonly statuses: readonly ["returned", "acknowledged", "correction_required"];
-}, {
-    readonly family: "sanctions_screening";
-    readonly checkKind: "screen";
-    readonly kindField: "checkKind";
-    readonly statusField: "screeningStatus";
-    readonly statuses: readonly ["clear", "hit", "manual_review"];
-}, {
-    readonly family: "enforcement_instrument";
-    readonly checkKind: "note_request";
-    readonly statusField: "requestStatus";
-    readonly statuses: readonly ["debtor_approved", "debtor_rejected", "auto_cancelled"];
-}];
-/** Returns the tenant-gateable evidence profile for one family and check. */
-export declare function udlCheckEvidenceProfile(family: string, checkKind: string): UdlCheckEvidenceProfile | undefined;
-//# sourceMappingURL=check-profiles.d.ts.map

package/dist/check-profiles.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"check-profiles.d.ts","sourceRoot":"","sources":["../src/check-profiles.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAwDkB,CAAC;AAExD,6EAA6E;AAC7E,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,GAChB,uBAAuB,GAAG,SAAS,CAIrC"}

package/dist/check-profiles.js

@@ -1,62 +0,0 @@
-export const udlCheckEvidenceProfiles = [
-    {
-        family: "national_identity",
-        checkKind: "identity_verification",
-        kindField: "checkKind",
-        statusField: "verificationStatus",
-        statuses: [
-            "requested",
-            "waiting",
-            "completed",
-            "rejected",
-            "expired",
-            "error",
-        ],
-    },
-    {
-        family: "national_identity",
-        checkKind: "contact_ownership_verification",
-        kindField: "checkKind",
-        statusField: "matchResult",
-        statuses: ["match", "no_match"],
-    },
-    {
-        family: "credit_bureau",
-        checkKind: "consumer_inquiry",
-        kindField: "inquiryType",
-        statusField: "bureauStatus",
-        statuses: ["returned", "acknowledged", "correction_required"],
-    },
-    {
-        family: "credit_bureau",
-        checkKind: "commercial_inquiry",
-        kindField: "inquiryType",
-        statusField: "bureauStatus",
-        statuses: ["returned", "acknowledged", "correction_required"],
-    },
-    {
-        family: "credit_bureau",
-        checkKind: "facility_report",
-        kindField: "inquiryType",
-        statusField: "bureauStatus",
-        statuses: ["returned", "acknowledged", "correction_required"],
-    },
-    {
-        family: "sanctions_screening",
-        checkKind: "screen",
-        kindField: "checkKind",
-        statusField: "screeningStatus",
-        statuses: ["clear", "hit", "manual_review"],
-    },
-    {
-        family: "enforcement_instrument",
-        checkKind: "note_request",
-        statusField: "requestStatus",
-        statuses: ["debtor_approved", "debtor_rejected", "auto_cancelled"],
-    },
-];
-/** Returns the tenant-gateable evidence profile for one family and check. */
-export function udlCheckEvidenceProfile(family, checkKind) {
-    return udlCheckEvidenceProfiles.find((profile) => profile.family === family && profile.checkKind === checkKind);
-}
-//# sourceMappingURL=check-profiles.js.map

package/dist/check-profiles.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"check-profiles.js","sourceRoot":"","sources":["../src/check-profiles.ts"],"names":[],"mappings":"AAaA,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC;QACE,MAAM,EAAE,mBAAmB;QAC3B,SAAS,EAAE,uBAAuB;QAClC,SAAS,EAAE,WAAW;QACtB,WAAW,EAAE,oBAAoB;QACjC,QAAQ,EAAE;YACR,WAAW;YACX,SAAS;YACT,WAAW;YACX,UAAU;YACV,SAAS;YACT,OAAO;SACR;KACF;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,SAAS,EAAE,gCAAgC;QAC3C,SAAS,EAAE,WAAW;QACtB,WAAW,EAAE,aAAa;QAC1B,QAAQ,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC;KAChC;IACD;QACE,MAAM,EAAE,eAAe;QACvB,SAAS,EAAE,kBAAkB;QAC7B,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,cAAc;QAC3B,QAAQ,EAAE,CAAC,UAAU,EAAE,cAAc,EAAE,qBAAqB,CAAC;KAC9D;IACD;QACE,MAAM,EAAE,eAAe;QACvB,SAAS,EAAE,oBAAoB;QAC/B,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,cAAc;QAC3B,QAAQ,EAAE,CAAC,UAAU,EAAE,cAAc,EAAE,qBAAqB,CAAC;KAC9D;IACD;QACE,MAAM,EAAE,eAAe;QACvB,SAAS,EAAE,iBAAiB;QAC5B,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,cAAc;QAC3B,QAAQ,EAAE,CAAC,UAAU,EAAE,cAAc,EAAE,qBAAqB,CAAC;KAC9D;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,SAAS,EAAE,QAAQ;QACnB,SAAS,EAAE,WAAW;QACtB,WAAW,EAAE,iBAAiB;QAC9B,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,eAAe,CAAC;KAC5C;IACD;QACE,MAAM,EAAE,wBAAwB;QAChC,SAAS,EAAE,cAAc;QACzB,WAAW,EAAE,eAAe;QAC5B,QAAQ,EAAE,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,gBAAgB,CAAC;KACnE;CACoD,CAAC;AAExD,6EAA6E;AAC7E,MAAM,UAAU,uBAAuB,CACrC,MAAc,EACd,SAAiB;IAEjB,OAAO,wBAAwB,CAAC,IAAI,CAClC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,CAC1E,CAAC;AACJ,CAAC"}

package/dist/cli.d.ts

@@ -1,3 +0,0 @@
-#!/usr/bin/env node
-export {};
-//# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

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

package/dist/cli.js

@@ -1,184 +0,0 @@
-#!/usr/bin/env node
-/**
- * The `udl` command. Actions over the same library the compiler uses:
- * `validate` answers whether a document is admissible, `fmt` writes the
- * canonical bytes, and `diff` answers whether a change is legal against a
- * document that already has live instances.
- */
-import { readFile, writeFile } from "node:fs/promises";
-import { canonicalizeUdl, canonicalDigest, diffValidatedUdlEvolution, parseUdl, UdlError, udlDiagnostic, } from "./index.js";
-const USAGE = `udl - the Universal Domain Language toolchain
-
-usage:
-  udl validate <file>          parse <file> and report every issue found
-  udl fmt <file> [--write]     print the canonical form, or rewrite the file
-  udl canon <file> [--digest]  print canonical bytes, or their SHA-256 digest
-  udl diff <live> <next>       check <next> against the append-only law
-  udl explain UDL####          explain one stable diagnostic code
-  udl help                     print this
-
-exit codes:
-  0  the document is admissible, or the change is additive
-  1  the document was refused, or the change breaks the append-only law
-  2  the command line was wrong, or a file could not be read`;
-async function main(argv) {
-    const [command, ...rest] = argv;
-    switch (command) {
-        case "help":
-        case "-h":
-        case "--help":
-            console.log(USAGE);
-            return 0;
-        case "validate":
-            return validateCommand(rest);
-        case "fmt":
-            return formatCommand(rest);
-        case "canon":
-            return canonCommand(rest);
-        case "diff":
-            return diffCommand(rest);
-        case "explain":
-            return explainCommand(rest);
-        case undefined:
-            return usageError("udl: no command given");
-        default:
-            return usageError(`udl: unknown command ${command}`);
-    }
-}
-async function canonCommand(args) {
-    const digest = args.includes("--digest");
-    const [file, ...extra] = args.filter((argument) => argument !== "--digest");
-    if (file === undefined || extra.length > 0) {
-        return usageError("usage: udl canon <file> [--digest]");
-    }
-    const bytes = await readDocument(file);
-    if (bytes === null)
-        return 2;
-    let document;
-    try {
-        document = parseUdl(bytes);
-    }
-    catch (error) {
-        return reportIssues(file, error);
-    }
-    if (digest)
-        console.log(await canonicalDigest(document));
-    else
-        process.stdout.write(canonicalizeUdl(bytes));
-    return 0;
-}
-function explainCommand(args) {
-    const [code, ...extra] = args;
-    if (code === undefined || extra.length > 0) {
-        return usageError("usage: udl explain UDL####");
-    }
-    const diagnostic = udlDiagnostic(code);
-    if (!diagnostic) {
-        return usageError(`udl: unknown diagnostic code ${code}`);
-    }
-    console.log(`${code} ${diagnostic.title}`);
-    console.log(`category: ${diagnostic.category}`);
-    console.log(`family: ${diagnostic.family}`);
-    console.log(`fix: ${diagnostic.fix}`);
-    return 0;
-}
-async function validateCommand(args) {
-    const [file, ...extra] = args;
-    if (file === undefined || extra.length > 0) {
-        return usageError("usage: udl validate <file>");
-    }
-    const bytes = await readDocument(file);
-    if (bytes === null)
-        return 2;
-    if (parseDocument(file, bytes) === null)
-        return 1;
-    console.log(`${file}: ok`);
-    return 0;
-}
-async function formatCommand(args) {
-    const write = args.includes("--write");
-    const [file, ...extra] = args.filter((argument) => argument !== "--write");
-    if (file === undefined || extra.length > 0) {
-        return usageError("usage: udl fmt <file> [--write]");
-    }
-    const bytes = await readDocument(file);
-    if (bytes === null)
-        return 2;
-    let canonical;
-    try {
-        canonical = canonicalizeUdl(bytes);
-    }
-    catch (error) {
-        return reportIssues(file, error);
-    }
-    if (!write) {
-        process.stdout.write(canonical);
-        return 0;
-    }
-    // The bytes decoded cleanly already: canonicalizeUdl refuses anything else.
-    if (new TextDecoder().decode(bytes) === canonical)
-        return 0;
-    await writeFile(file, canonical);
-    console.log(`${file}: formatted`);
-    return 0;
-}
-async function diffCommand(args) {
-    const [livePath, nextPath, ...extra] = args;
-    if (livePath === undefined || nextPath === undefined || extra.length > 0) {
-        return usageError("usage: udl diff <live> <next>");
-    }
-    const liveBytes = await readDocument(livePath);
-    const nextBytes = await readDocument(nextPath);
-    if (liveBytes === null || nextBytes === null)
-        return 2;
-    const live = parseDocument(livePath, liveBytes);
-    const next = parseDocument(nextPath, nextBytes);
-    if (live === null || next === null)
-        return 1;
-    // `parseDocument` already validated both, so take the door that does not
-    // validate a second time.
-    const violations = diffValidatedUdlEvolution(live, next);
-    if (violations.length === 0) {
-        console.log(`${nextPath}: additive`);
-        return 0;
-    }
-    for (const violation of violations) {
-        console.error(`${nextPath}: ${violation.code} ${violation.path}: ${violation.message}`);
-    }
-    return 1;
-}
-async function readDocument(file) {
-    try {
-        return await readFile(file);
-    }
-    catch (error) {
-        const reason = error instanceof Error ? error.message : String(error);
-        console.error(`udl: cannot read ${file}: ${reason}`);
-        return null;
-    }
-}
-/** Parses one document, printing its issues. Null means the document was refused. */
-function parseDocument(file, bytes) {
-    try {
-        return parseUdl(bytes);
-    }
-    catch (error) {
-        reportIssues(file, error);
-        return null;
-    }
-}
-function reportIssues(file, error) {
-    if (!(error instanceof UdlError))
-        throw error;
-    for (const issue of error.issues) {
-        console.error(`${file}: ${issue.code} ${issue.path}: ${issue.message}`);
-    }
-    return 1;
-}
-function usageError(message) {
-    console.error(message);
-    console.error(USAGE);
-    return 2;
-}
-process.exitCode = await main(process.argv.slice(2));
-//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA;;;;;GAKG;AACH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EACL,eAAe,EACf,eAAe,EACf,yBAAyB,EACzB,QAAQ,EACR,QAAQ,EAER,aAAa,GACd,MAAM,YAAY,CAAC;AAEpB,MAAM,KAAK,GAAG;;;;;;;;;;;;;6DAa+C,CAAC;AAE9D,KAAK,UAAU,IAAI,CAAC,IAAuB;IACzC,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAChC,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC;QACZ,KAAK,IAAI,CAAC;QACV,KAAK,QAAQ;YACX,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnB,OAAO,CAAC,CAAC;QACX,KAAK,UAAU;YACb,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,KAAK;YACR,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,OAAO;YACV,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,MAAM;YACT,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;QAC3B,KAAK,SAAS;YACZ,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,SAAS;YACZ,OAAO,UAAU,CAAC,uBAAuB,CAAC,CAAC;QAC7C;YACE,OAAO,UAAU,CAAC,wBAAwB,OAAO,EAAE,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,IAAuB;IACjD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACzC,MAAM,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IAC5E,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,UAAU,CAAC,oCAAoC,CAAC,CAAC;IAC1D,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAC7B,IAAI,QAAqB,CAAC;IAC1B,IAAI,CAAC;QACH,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,MAAM;QAAE,OAAO,CAAC,GAAG,CAAC,MAAM,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;;QACpD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;IAClD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,cAAc,CAAC,IAAuB;IAC7C,MAAM,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC;IAC9B,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,UAAU,CAAC,4BAA4B,CAAC,CAAC;IAClD,CAAC;IACD,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,UAAU,CAAC,gCAAgC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;IAC3C,OAAO,CAAC,GAAG,CAAC,aAAa,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;IAChD,OAAO,CAAC,GAAG,CAAC,WAAW,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,CAAC,QAAQ,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC;IACtC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,IAAuB;IACpD,MAAM,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC;IAC9B,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,UAAU,CAAC,4BAA4B,CAAC,CAAC;IAClD,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAC7B,IAAI,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAClD,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,IAAuB;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IAC3E,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,UAAU,CAAC,iCAAiC,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAE7B,IAAI,SAAiB,CAAC;IACtB,IAAI,CAAC;QACH,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IAED,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAChC,OAAO,CAAC,CAAC;IACX,CAAC;IACD,4EAA4E;IAC5E,IAAI,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IAC5D,MAAM,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACjC,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,aAAa,CAAC,CAAC;IAClC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,IAAuB;IAChD,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC;IAC5C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzE,OAAO,UAAU,CAAC,+BAA+B,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC/C,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAEvD,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAChD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAE7C,yEAAyE;IACzE,0BAA0B;IAC1B,MAAM,UAAU,GAAG,yBAAyB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,GAAG,QAAQ,YAAY,CAAC,CAAC;QACrC,OAAO,CAAC,CAAC;IACX,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,OAAO,CAAC,KAAK,CACX,GAAG,QAAQ,KAAK,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,IAAY;IACtC,IAAI,CAAC;QACH,OAAO,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtE,OAAO,CAAC,KAAK,CAAC,oBAAoB,IAAI,KAAK,MAAM,EAAE,CAAC,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,qFAAqF;AACrF,SAAS,aAAa,CAAC,IAAY,EAAE,KAAiB;IACpD,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAc;IAChD,IAAI,CAAC,CAAC,KAAK,YAAY,QAAQ,CAAC;QAAE,MAAM,KAAK,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,UAAU,CAAC,OAAe;IACjC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACvB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,OAAO,CAAC,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/effects.d.ts

@@ -1,41 +0,0 @@
-export declare const udlEffectKinds: readonly ["decides", "holds", "moves", "notifies", "reads", "schedules"];
-export type UdlEffectKind = (typeof udlEffectKinds)[number];
-type EffectDescriptor = {
-    readonly kind: UdlEffectKind;
-    readonly per: "clause" | "element";
-    readonly signature: {
-        readonly fixed: string;
-    } | {
-        readonly fromField: string;
-    } | {
-        readonly movementClass: true;
-    };
-};
-type ActionClauseDescriptor = {
-    readonly effects?: readonly EffectDescriptor[];
-    readonly scope: "action" | "instrument";
-    readonly target: string;
-};
-type EffectRow = {
-    readonly channel?: string;
-    readonly role?: string;
-    readonly signature: string;
-    readonly source: string;
-};
-export type DerivedUdlEffects = Partial<Readonly<Record<UdlEffectKind, readonly EffectRow[]>>>;
-export type UdlMovementClass = "collection.pay_in" | "deposit.attributed" | "payout.external" | "transfer.internal";
-interface Movement {
-    readonly bind?: Readonly<Record<string, unknown>>;
-    readonly operation: string;
-}
-/**
- * Maps a UDL money operation to the meter and pricing class that owns it.
- * Internal-transfer endpoint bindings are product accounts by construction.
- * External collection, deposit, and payout operations carry their role in the
- * operation family because their remote endpoint is not a UDL account binding.
- */
-export declare function movementClass(move: Movement): UdlMovementClass;
-/** Derive the ABI effect rows declared by the action-clause vocabulary. */
-export declare function deriveUdlActionEffects(action: Readonly<Record<string, unknown>>, vocabulary: readonly ActionClauseDescriptor[]): DerivedUdlEffects;
-export {};
-//# sourceMappingURL=effects.d.ts.map

package/dist/effects.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,cAAc,0EAOjB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5D,KAAK,gBAAgB,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,QAAQ,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,SAAS,EACd;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAC1B;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAC9B;QAAE,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAA;KAAE,CAAC;CACtC,CAAC;AAEF,KAAK,sBAAsB,GAAG;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,YAAY,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,KAAK,SAAS,GAAG;IACf,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,OAAO,CACrC,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,SAAS,SAAS,EAAE,CAAC,CAAC,CACtD,CAAC;AAEF,MAAM,MAAM,gBAAgB,GACxB,mBAAmB,GACnB,oBAAoB,GACpB,iBAAiB,GACjB,mBAAmB,CAAC;AAExB,UAAU,QAAQ;IAChB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AASD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,gBAAgB,CAsB9D;AAED,2EAA2E;AAC3E,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,UAAU,EAAE,SAAS,sBAAsB,EAAE,GAC5C,iBAAiB,CAqCnB"}

package/dist/effects.js

@@ -1,110 +0,0 @@
-export const udlEffectKinds = [
-    "decides",
-    "holds",
-    "moves",
-    "notifies",
-    "reads",
-    "schedules",
-];
-function boundPath(move, endpoint) {
-    const binding = move.bind?.[endpoint];
-    if (binding === null || typeof binding !== "object")
-        return undefined;
-    const path = binding.path;
-    return typeof path === "string" ? path : undefined;
-}
-/**
- * Maps a UDL money operation to the meter and pricing class that owns it.
- * Internal-transfer endpoint bindings are product accounts by construction.
- * External collection, deposit, and payout operations carry their role in the
- * operation family because their remote endpoint is not a UDL account binding.
- */
-export function movementClass(move) {
-    if (move.operation.startsWith("internal_transfer.")) {
-        const source = boundPath(move, "sourceAccountId");
-        const destination = boundPath(move, "destinationAccountId");
-        if (source?.startsWith("fields.") &&
-            destination === "refs.escrowAccountId") {
-            return "collection.pay_in";
-        }
-        return "transfer.internal";
-    }
-    if (move.operation.startsWith("collection.pay_in.")) {
-        return "collection.pay_in";
-    }
-    if (move.operation.startsWith("deposit.")) {
-        return "deposit.attributed";
-    }
-    if (move.operation.startsWith("payout.")) {
-        return "payout.external";
-    }
-    throw new Error(`cannot classify UDL movement operation ${move.operation}`);
-}
-/** Derive the ABI effect rows declared by the action-clause vocabulary. */
-export function deriveUdlActionEffects(action, vocabulary) {
-    const effects = {};
-    for (const clause of vocabulary) {
-        if (clause.scope !== "action" || !clause.effects)
-            continue;
-        const value = actionClauseValue(action, clause.target);
-        if (value === undefined)
-            continue;
-        for (const descriptor of clause.effects) {
-            const values = descriptor.per === "element" && Array.isArray(value) ? value : [value];
-            for (const [index, candidate] of values.entries()) {
-                const object = recordValue(candidate);
-                if (descriptor.kind === "holds" &&
-                    "fixed" in descriptor.signature &&
-                    descriptor.signature.fixed === "reserve" &&
-                    object?.operation !== "internal_transfer.reserve") {
-                    continue;
-                }
-                const suffix = effectSignatureSuffix(descriptor, object);
-                if (!suffix)
-                    continue;
-                (effects[descriptor.kind] ??= []).push({
-                    signature: `${descriptor.kind}.${suffix}`,
-                    source: descriptor.per === "element"
-                        ? `${clause.target}[${index}]`
-                        : clause.target,
-                    ...(descriptor.kind === "notifies" &&
-                        typeof object?.channel === "string" &&
-                        typeof object.role === "string"
-                        ? { channel: object.channel, role: object.role }
-                        : {}),
-                });
-            }
-        }
-    }
-    return effects;
-}
-function actionClauseValue(action, target) {
-    const [head, tail] = target.split(".");
-    if (!head)
-        return undefined;
-    const value = action[head];
-    if (!tail)
-        return value;
-    return recordValue(value)?.[tail];
-}
-function effectSignatureSuffix(descriptor, value) {
-    if ("fixed" in descriptor.signature)
-        return descriptor.signature.fixed;
-    if ("fromField" in descriptor.signature) {
-        const field = value?.[descriptor.signature.fromField];
-        return typeof field === "string" ? field : undefined;
-    }
-    if (!value || !("movementClass" in descriptor.signature))
-        return undefined;
-    const operation = value.operation;
-    const bind = recordValue(value.bind);
-    return typeof operation === "string"
-        ? movementClass({ ...(bind ? { bind } : {}), operation })
-        : undefined;
-}
-function recordValue(value) {
-    return value !== null && typeof value === "object" && !Array.isArray(value)
-        ? value
-        : undefined;
-}
-//# sourceMappingURL=effects.js.map

package/dist/effects.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"effects.js","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,SAAS;IACT,OAAO;IACP,OAAO;IACP,UAAU;IACV,OAAO;IACP,WAAW;CACH,CAAC;AAyCX,SAAS,SAAS,CAAC,IAAc,EAAE,QAAgB;IACjD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACtE,MAAM,IAAI,GAAI,OAAuC,CAAC,IAAI,CAAC;IAC3D,OAAO,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,IAAc;IAC1C,IAAI,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAClD,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;QAC5D,IACE,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC;YAC7B,WAAW,KAAK,sBAAsB,EACtC,CAAC;YACD,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QACD,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACpD,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1C,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,0CAA0C,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,sBAAsB,CACpC,MAAyC,EACzC,UAA6C;IAE7C,MAAM,OAAO,GAAgD,EAAE,CAAC;IAChE,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,SAAS;QAC3D,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QACvD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACxC,MAAM,MAAM,GACV,UAAU,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACzE,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;gBAClD,MAAM,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;gBACtC,IACE,UAAU,CAAC,IAAI,KAAK,OAAO;oBAC3B,OAAO,IAAI,UAAU,CAAC,SAAS;oBAC/B,UAAU,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS;oBACxC,MAAM,EAAE,SAAS,KAAK,2BAA2B,EACjD,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM;oBAAE,SAAS;gBACtB,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC;oBACrC,SAAS,EAAE,GAAG,UAAU,CAAC,IAAI,IAAI,MAAM,EAAE;oBACzC,MAAM,EACJ,UAAU,CAAC,GAAG,KAAK,SAAS;wBAC1B,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,KAAK,GAAG;wBAC9B,CAAC,CAAC,MAAM,CAAC,MAAM;oBACnB,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU;wBAClC,OAAO,MAAM,EAAE,OAAO,KAAK,QAAQ;wBACnC,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;wBAC7B,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;wBAChD,CAAC,CAAC,EAAE,CAAC;iBACR,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAyC,EACzC,MAAc;IAEd,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,qBAAqB,CAC5B,UAA4B,EAC5B,KAAoD;IAEpD,IAAI,OAAO,IAAI,UAAU,CAAC,SAAS;QAAE,OAAO,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC;IACvE,IAAI,WAAW,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACtD,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACvD,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,eAAe,IAAI,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3E,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IAClC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO,OAAO,SAAS,KAAK,QAAQ;QAClC,CAAC,CAAC,aAAa,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC;QACzD,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAClB,KAAc;IAEd,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzE,CAAC,CAAE,KAA2C;QAC9C,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC"}