@xray-network/xray-cardano-lib-plutus 0.0.0-stage → 1.0.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2024 XRAY/Network <https://xray.app>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,3 +1,123 @@
-# Temporary Holding Version
+# Cardano Plutus
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+`@xray-network/xray-cardano-lib-plutus` provides typed Plutus Data, UPLC parsing and serialization,
+budgeted CEK evaluation, script parameter application, and phase-two transaction evaluation.
+
+## Installation
+
+```sh
+npm install @xray-network/xray-cardano-lib-plutus
+```
+
+## Requirements
+
+ESM-only, with TypeScript declarations included. Use Node.js 20.19 or newer, or a modern browser
+with `Uint8Array`, `bigint`, and Web Platform APIs. No CommonJS, native addon, or WebAssembly build is shipped.
+
+## Quickstart
+
+Encode and decode a typed datum:
+
+```ts
+import { Data } from "@xray-network/xray-cardano-lib-plutus/data";
+
+const paymentSchema = Data.Object({
+  owner: Data.Bytes({ minLength: 28, maxLength: 28 }),
+  amount: Data.Integer({ minimum: 0 }),
+});
+const payment = { owner: "11".repeat(28), amount: 42n };
+const cbor = Data.to(payment, paymentSchema);
+const decoded = Data.from(cbor, paymentSchema);
+console.log(decoded.amount); // 42n
+```
+
+## UPLC
+
+```ts
+import {
+  encodeProgramEnvelope,
+  evaluateProgram,
+  parseUplcText,
+} from "@xray-network/xray-cardano-lib-plutus/uplc";
+
+const program = parseUplcText("(program 1.0.0 (con unit ()))");
+const script = encodeProgramEnvelope(program);
+const result = evaluateProgram(program, [], {
+  cpu: 10_000_000n,
+  memory: 10_000_000n,
+});
+```
+
+The root entry point exports the same UPLC API together with `Data`, `applyParamsToScript`, and
+`evaluatePhaseTwoRaw`. It also exposes `data`, `uplc`, and `blueprint` namespaces for predictable
+domain access. Generic CEK evaluation is explicitly budgeted and does not perform ledger phase-one
+validation.
+
+`SerializedPlutusScript.from_raw_flat`, `from_single_cbor`, and `from_double_cbor` explicitly own
+the three serialized-script forms. Each constructor validates an exact Flat program and its exact
+CBOR nesting; `to_raw_flat`, `to_single_cbor`, and `to_double_cbor` convert without envelope
+guessing.
+
+`evaluatePhaseTwo(transaction, resolvedInputs, costModels, ...)` accepts the existing chain-owned
+ledger bindings and returns immutable evaluations paired with chain-owned `RedeemerWitnessKey`
+values. `evaluatePhaseTwoRaw` remains available for byte-oriented compatibility.
+
+## Typed Data
+
+```ts
+import { Data } from "@xray-network/xray-cardano-lib-plutus/data";
+
+const payment = Data.Object({
+  owner: Data.Bytes({ minLength: 28, maxLength: 28 }),
+  amount: Data.Integer({ minimum: 0 }),
+});
+
+const voidSchema = Data.Void();
+Data.to(undefined, voidSchema); // "d87980"
+```
+
+`Data.Void()` is the typed schema for constructor alternative zero with no fields. The existing
+lowercase `Data.void()` helper continues to return that raw CBOR directly.
+
+Ledger wire types such as `PlutusData`, scripts, redeemers, and `ExUnits` remain owned by
+`@xray-network/xray-cardano-lib-chain`.
+
+## Contract blueprints
+
+`@xray-network/xray-cardano-lib-plutus/blueprint` parses bounded CIP-57 blueprint documents,
+validates their declared Plutus Data schemas, and verifies compiled validator hashes without
+executing a validator. Parsed documents are immutable; recursive or oversized untrusted schemas
+fail through the package error boundary.
+
+## Entry points
+
+| Entry point                                       | Domain                                                           |
+| ------------------------------------------------- | ---------------------------------------------------------------- |
+| `@xray-network/xray-cardano-lib-plutus`           | Flat owning APIs plus `data`, `uplc`, and `blueprint` namespaces |
+| `@xray-network/xray-cardano-lib-plutus/data`      | Typed Plutus Data schemas and codecs                             |
+| `@xray-network/xray-cardano-lib-plutus/blueprint` | CIP-57 documents, validators, and schema validation              |
+| `@xray-network/xray-cardano-lib-plutus/uplc`      | UPLC AST, Flat/text codecs, costs, and CEK evaluation            |
+
+## Evaluation boundaries
+
+Choose budgets and cost models appropriate to the ledger version you target. Generic UPLC
+execution is not transaction validation; resolve inputs and apply the required ledger checks in
+the surrounding application.
+
+## Development
+
+From a repository checkout, run these commands at the repository root:
+
+```sh
+npm --prefix libs/typescript ci
+npm --prefix libs/typescript run check
+```
+
+## Documentation
+
+See the [TypeScript package overview](https://github.com/xray-network/xray-cardano-lib/blob/main/libs/typescript/README.md) and
+[architecture decisions](https://github.com/xray-network/xray-cardano-lib/blob/main/docs/README.md).
+
+## License
+
+MIT. See [LICENSE](./LICENSE).

package/dist/esm/api.d.ts

@@ -0,0 +1,29 @@
+import { CostModels, RedeemerWitnessKey, Transaction, TransactionUnspentOutput } from "@xray-network/xray-cardano-lib-chain";
+export interface UplcExBudget {
+    readonly cpu: bigint;
+    readonly memory: bigint;
+}
+export interface PhaseTwoEvaluation {
+    readonly cost: UplcExBudget;
+    readonly logs: readonly string[];
+}
+export type PhaseTwoRawEvaluation = readonly [
+    redeemerBytes: Uint8Array,
+    evaluation: PhaseTwoEvaluation
+];
+export interface TypedPhaseTwoEvaluation {
+    readonly redeemer: RedeemerWitnessKey;
+    readonly evaluation: PhaseTwoEvaluation;
+}
+export declare function applyParamsToScript(paramsBytes: Uint8Array, plutusScriptBytes: Uint8Array): Uint8Array;
+export declare function evaluatePhaseTwoRaw(txBytes: Uint8Array, utxosBytes: readonly (readonly [inputBytes: Uint8Array, outputBytes: Uint8Array])[], costModelsBytes: Uint8Array, maxBudget: readonly [cpu: bigint, memory: bigint], slotConfig: readonly [
+    zeroTimeMilliseconds: bigint,
+    zeroSlot: bigint,
+    slotLengthMilliseconds: bigint
+], protocolMajorVersion: number, runPhaseOne: boolean): readonly PhaseTwoRawEvaluation[];
+export declare function evaluatePhaseTwo(transaction: Transaction, resolvedInputs: readonly TransactionUnspentOutput[], costModels: CostModels, maxBudget: readonly [cpu: bigint, memory: bigint], slotConfig: readonly [
+    zeroTimeMilliseconds: bigint,
+    zeroSlot: bigint,
+    slotLengthMilliseconds: bigint
+], protocolMajorVersion: number, runPhaseOne: boolean): readonly TypedPhaseTwoEvaluation[];
+//# sourceMappingURL=api.d.ts.map

package/dist/esm/api.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"api.d.ts","sourceRoot":"","sources":["../../src/api.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,UAAU,EAEV,kBAAkB,EAClB,WAAW,EACX,wBAAwB,EACzB,MAAM,sCAAsC,CAAC;AAW9C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC;AAED,MAAM,MAAM,qBAAqB,GAAG,SAAS;IAC3C,aAAa,EAAE,UAAU;IACzB,UAAU,EAAE,kBAAkB;CAC/B,CAAC;AAEF,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;CACzC;AAED,wBAAgB,mBAAmB,CACjC,WAAW,EAAE,UAAU,EACvB,iBAAiB,EAAE,UAAU,GAC5B,UAAU,CAyBZ;AAED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,UAAU,EACnB,UAAU,EAAE,SAAS,CAAC,SAAS,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,EAAE,EACnF,eAAe,EAAE,UAAU,EAC3B,SAAS,EAAE,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EACjD,UAAU,EAAE,SAAS;IACnB,oBAAoB,EAAE,MAAM;IAC5B,QAAQ,EAAE,MAAM;IAChB,sBAAsB,EAAE,MAAM;CAC/B,EACD,oBAAoB,EAAE,MAAM,EAC5B,WAAW,EAAE,OAAO,GACnB,SAAS,qBAAqB,EAAE,CAiBlC;AAED,wBAAgB,gBAAgB,CAC9B,WAAW,EAAE,WAAW,EACxB,cAAc,EAAE,SAAS,wBAAwB,EAAE,EACnD,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EACjD,UAAU,EAAE,SAAS;IACnB,oBAAoB,EAAE,MAAM;IAC5B,QAAQ,EAAE,MAAM;IAChB,sBAAsB,EAAE,MAAM;CAC/B,EACD,oBAAoB,EAAE,MAAM,EAC5B,WAAW,EAAE,OAAO,GACnB,SAAS,uBAAuB,EAAE,CAiBpC"}

package/dist/esm/api.js

@@ -0,0 +1,93 @@
+import { CardanoBoundsError, DeserializeError, decodeCbor, encodeCbor, } from "@xray-network/xray-cardano-lib-core";
+import { CostModels, LegacyRedeemer, RedeemerWitnessKey, Transaction, TransactionUnspentOutput, } from "@xray-network/xray-cardano-lib-chain";
+import { evaluateRaw } from "./ledger/evaluate.js";
+import { dataConstant } from "./uplc/ast.js";
+import { decodeProgramEnvelope, encodeProgramEnvelope, validatePlutusDataNode, } from "./uplc/flat.js";
+const MAX_STANDALONE_BYTES = 16 * 1024 * 1024;
+export function applyParamsToScript(paramsBytes, plutusScriptBytes) {
+    assertStandaloneLength("parameter bytes", paramsBytes);
+    assertStandaloneLength("script bytes", plutusScriptBytes);
+    let parameters;
+    try {
+        parameters = decodeCbor(Uint8Array.from(paramsBytes));
+    }
+    catch (cause) {
+        if (cause instanceof DeserializeError)
+            throw cause;
+        throw new DeserializeError("INVALID_CBOR", "invalid parameter CBOR", { cause });
+    }
+    if (parameters.kind !== "array") {
+        throw new DeserializeError("INVALID_STRUCTURE", "script parameters must be a CBOR array");
+    }
+    const program = decodeProgramEnvelope(Uint8Array.from(plutusScriptBytes));
+    let term = program.term;
+    for (const parameter of parameters.values) {
+        validatePlutusDataNode(parameter);
+        term = {
+            kind: "apply",
+            function: term,
+            argument: { kind: "constant", constant: dataConstant(parameter) },
+        };
+    }
+    assertClosed(term);
+    return Uint8Array.from(encodeProgramEnvelope({ version: program.version, term }));
+}
+export function evaluatePhaseTwoRaw(txBytes, utxosBytes, costModelsBytes, maxBudget, slotConfig, protocolMajorVersion, runPhaseOne) {
+    const results = evaluateRaw(Uint8Array.from(txBytes), utxosBytes.map(([input, output]) => [Uint8Array.from(input), Uint8Array.from(output)]), Uint8Array.from(costModelsBytes), { cpu: maxBudget[0], memory: maxBudget[1] }, [...slotConfig], protocolMajorVersion, runPhaseOne);
+    return Object.freeze(results.map((result) => Object.freeze([
+        Uint8Array.from(result.redeemer),
+        Object.freeze({
+            cost: Object.freeze({ cpu: result.cost.cpu, memory: result.cost.memory }),
+            logs: Object.freeze([...result.logs]),
+        }),
+    ])));
+}
+export function evaluatePhaseTwo(transaction, resolvedInputs, costModels, maxBudget, slotConfig, protocolMajorVersion, runPhaseOne) {
+    const raw = evaluatePhaseTwoRaw(transaction.to_cbor_bytes(), resolvedInputs.map((utxo) => [utxo.input().to_cbor_bytes(), utxo.output().to_cbor_bytes()]), costModels.to_cbor_bytes(), maxBudget, slotConfig, protocolMajorVersion, runPhaseOne);
+    return Object.freeze(raw.map(([redeemer, evaluation]) => Object.freeze({
+        redeemer: RedeemerWitnessKey.from_redeemer(LegacyRedeemer.from_cbor_bytes(redeemer)),
+        evaluation: Object.freeze({
+            cost: Object.freeze({ cpu: evaluation.cost.cpu, memory: evaluation.cost.memory }),
+            logs: Object.freeze([...evaluation.logs]),
+        }),
+    })));
+}
+function assertStandaloneLength(name, value) {
+    if (value.length > MAX_STANDALONE_BYTES) {
+        throw new CardanoBoundsError(name, 0n, BigInt(MAX_STANDALONE_BYTES), BigInt(value.length));
+    }
+}
+function assertClosed(term) {
+    const stack = [[term, 0n]];
+    while (stack.length !== 0) {
+        const [current, depth] = stack.pop();
+        switch (current.kind) {
+            case "var":
+                if (current.index < 1n || current.index > depth) {
+                    throw new DeserializeError("INVALID_STRUCTURE", "UPLC program contains a free variable");
+                }
+                break;
+            case "lambda":
+                stack.push([current.body, depth + 1n]);
+                break;
+            case "delay":
+            case "force":
+                stack.push([current.term, depth]);
+                break;
+            case "apply":
+                stack.push([current.argument, depth], [current.function, depth]);
+                break;
+            case "constr":
+                for (const field of current.fields)
+                    stack.push([field, depth]);
+                break;
+            case "case":
+                stack.push([current.scrutinee, depth]);
+                for (const branch of current.branches)
+                    stack.push([branch, depth]);
+                break;
+            default: break;
+        }
+    }
+}
+//# sourceMappingURL=api.js.map

package/dist/esm/api.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"api.js","sourceRoot":"","sources":["../../src/api.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,UAAU,EACV,UAAU,GAEX,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,UAAU,EACV,cAAc,EACd,kBAAkB,EAClB,WAAW,EACX,wBAAwB,GACzB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAiB,MAAM,eAAe,CAAC;AAC5D,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,gBAAgB,CAAC;AAExB,MAAM,oBAAoB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAsB9C,MAAM,UAAU,mBAAmB,CACjC,WAAuB,EACvB,iBAA6B;IAE7B,sBAAsB,CAAC,iBAAiB,EAAE,WAAW,CAAC,CAAC;IACvD,sBAAsB,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAAC;IAC1D,IAAI,UAAqB,CAAC;IAC1B,IAAI,CAAC;QACH,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,gBAAgB;YAAE,MAAM,KAAK,CAAC;QACnD,MAAM,IAAI,gBAAgB,CAAC,cAAc,EAAE,wBAAwB,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,IAAI,gBAAgB,CAAC,mBAAmB,EAAE,wCAAwC,CAAC,CAAC;IAC5F,CAAC;IACD,MAAM,OAAO,GAAG,qBAAqB,CAAC,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC1E,IAAI,IAAI,GAAa,OAAO,CAAC,IAAI,CAAC;IAClC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QAC1C,sBAAsB,CAAC,SAAS,CAAC,CAAC;QAClC,IAAI,GAAG;YACL,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE;SAClE,CAAC;IACJ,CAAC;IACD,YAAY,CAAC,IAAI,CAAC,CAAC;IACnB,OAAO,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,OAAmB,EACnB,UAAmF,EACnF,eAA2B,EAC3B,SAAiD,EACjD,UAIC,EACD,oBAA4B,EAC5B,WAAoB;IAEpB,MAAM,OAAO,GAAG,WAAW,CACzB,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EACxB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAU,CAAC,EAC/F,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,EAChC,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,EAC3C,CAAC,GAAG,UAAU,CAAC,EACf,oBAAoB,EACpB,WAAW,CACZ,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QACzD,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC;YACZ,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACzE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;SACtC,CAAC;KACM,CAAC,CAAC,CAAC,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,WAAwB,EACxB,cAAmD,EACnD,UAAsB,EACtB,SAAiD,EACjD,UAIC,EACD,oBAA4B,EAC5B,WAAoB;IAEpB,MAAM,GAAG,GAAC,mBAAmB,CAC3B,WAAW,CAAC,aAAa,EAAE,EAC3B,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAC,EAAE,CAAA,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,aAAa,EAAE,EAAC,IAAI,CAAC,MAAM,EAAE,CAAC,aAAa,EAAE,CAAU,CAAC,EACjG,UAAU,CAAC,aAAa,EAAE,EAC1B,SAAS,EACT,UAAU,EACV,oBAAoB,EACpB,WAAW,CACZ,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAC,UAAU,CAAC,EAAC,EAAE,CAAA,MAAM,CAAC,MAAM,CAAC;QAClE,QAAQ,EAAC,kBAAkB,CAAC,aAAa,CAAC,cAAc,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;QACnF,UAAU,EAAC,MAAM,CAAC,MAAM,CAAC;YACvB,IAAI,EAAC,MAAM,CAAC,MAAM,CAAC,EAAC,GAAG,EAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAC,MAAM,EAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAC,CAAC;YAC3E,IAAI,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;SACzC,CAAC;KACH,CAAC,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAY,EAAE,KAAiB;IAC7D,IAAI,KAAK,CAAC,MAAM,GAAG,oBAAoB,EAAE,CAAC;QACxC,MAAM,IAAI,kBAAkB,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7F,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,IAAc;IAClC,MAAM,KAAK,GAAuC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/D,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,GAAG,EAAiC,CAAC;QACpE,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,KAAK;gBACR,IAAI,OAAO,CAAC,KAAK,GAAG,EAAE,IAAI,OAAO,CAAC,KAAK,GAAG,KAAK,EAAE,CAAC;oBAChD,MAAM,IAAI,gBAAgB,CAAC,mBAAmB,EAAE,uCAAuC,CAAC,CAAC;gBAC3F,CAAC;gBACD,MAAM;YACR,KAAK,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC;gBAAC,MAAM;YAC7D,KAAK,OAAO,CAAC;YACb,KAAK,OAAO;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBAAC,MAAM;YACvD,KAAK,OAAO;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;gBAAC,MAAM;YACtF,KAAK,QAAQ;gBAAE,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM;oBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;gBAAC,MAAM;YACrF,KAAK,MAAM;gBACT,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;gBACvC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,QAAQ;oBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;gBACnE,MAAM;YACR,OAAO,CAAC,CAAC,MAAM;QACjB,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/esm/blueprint/index.d.ts

@@ -0,0 +1,15 @@
+export interface BlueprintViolation {
+    readonly code: string;
+    readonly path: string;
+    readonly message: string;
+}
+export interface PlutusBlueprint {
+    readonly preamble: Readonly<Record<string, unknown>>;
+    readonly validators: readonly Readonly<Record<string, unknown>>[];
+    readonly definitions?: Readonly<Record<string, unknown>>;
+    readonly source: Readonly<Record<string, unknown>>;
+}
+export declare function parse_plutus_blueprint(json: string): PlutusBlueprint;
+export declare function validate_plutus_blueprint(value: unknown): PlutusBlueprint;
+export declare function validate_blueprint_value(schema: unknown, value: unknown): readonly BlueprintViolation[];
+//# sourceMappingURL=index.d.ts.map

package/dist/esm/blueprint/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/blueprint/index.ts"],"names":[],"mappings":"AAQA,MAAM,WAAW,kBAAkB;IAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE;AAC9G,MAAM,WAAW,eAAe;IAAG,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;CAAE;AAkL1Q,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAIpE;AACD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,CAAoC;AAQ9G,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,SAAS,kBAAkB,EAAE,CA4EvG"}