@arkade-os/sdk 0.5.0-rc.26 → 0.5.0-rc.28

package/dist/contracts/handlers/index.cjs

@@ -1,37 +1,37 @@
 'use strict';
 
-var chunkCFOIHLON_cjs = require('../../chunk-CFOIHLON.cjs');
-require('../../chunk-VVFCCNU2.cjs');
+var chunkYFQOJTG3_cjs = require('../../chunk-YFQOJTG3.cjs');
+require('../../chunk-FGKBQH5S.cjs');
 
 
 
 Object.defineProperty(exports, "ArkadeContractHandler", {
   enumerable: true,
-  get: function () { return chunkCFOIHLON_cjs.ArkadeContractHandler; }
+  get: function () { return chunkYFQOJTG3_cjs.ArkadeContractHandler; }
 });
 Object.defineProperty(exports, "BoardingContractHandler", {
   enumerable: true,
-  get: function () { return chunkCFOIHLON_cjs.BoardingContractHandler; }
+  get: function () { return chunkYFQOJTG3_cjs.BoardingContractHandler; }
 });
 Object.defineProperty(exports, "DefaultContractHandler", {
   enumerable: true,
-  get: function () { return chunkCFOIHLON_cjs.DefaultContractHandler; }
+  get: function () { return chunkYFQOJTG3_cjs.DefaultContractHandler; }
 });
 Object.defineProperty(exports, "DelegateContractHandler", {
   enumerable: true,
-  get: function () { return chunkCFOIHLON_cjs.DelegateContractHandler; }
+  get: function () { return chunkYFQOJTG3_cjs.DelegateContractHandler; }
 });
 Object.defineProperty(exports, "VHTLCContractHandler", {
   enumerable: true,
-  get: function () { return chunkCFOIHLON_cjs.VHTLCContractHandler; }
+  get: function () { return chunkYFQOJTG3_cjs.VHTLCContractHandler; }
 });
 Object.defineProperty(exports, "VHTLCV2ContractHandler", {
   enumerable: true,
-  get: function () { return chunkCFOIHLON_cjs.VHTLCV2ContractHandler; }
+  get: function () { return chunkYFQOJTG3_cjs.VHTLCV2ContractHandler; }
 });
 Object.defineProperty(exports, "contractHandlers", {
   enumerable: true,
-  get: function () { return chunkCFOIHLON_cjs.contractHandlers; }
+  get: function () { return chunkYFQOJTG3_cjs.contractHandlers; }
 });
 //# sourceMappingURL=index.cjs.map
 //# sourceMappingURL=index.cjs.map

package/dist/contracts/handlers/index.d.cts

@@ -1,7 +1,7 @@
-export { o as ArkadeContractHandler, B as BoardingContractHandler, q as BoardingContractParams, D as DefaultContractHandler, t as DefaultContractParams, u as DelegateContractHandler, x as DelegateContractParams, y as VHTLCContractHandler, z as VHTLCContractParams, E as VHTLCV2ContractHandler, F as VHTLCV2ContractParams, G as contractHandlers } from '../../index-DOION7Ta.cjs';
-import '../../index-BfvbSL0W.cjs';
-import '@scure/btc-signer/utils.js';
-import '@scure/btc-signer/psbt.js';
+export { o as ArkadeContractHandler, B as BoardingContractHandler, q as BoardingContractParams, D as DefaultContractHandler, t as DefaultContractParams, u as DelegateContractHandler, x as DelegateContractParams, y as VHTLCContractHandler, z as VHTLCContractParams, E as VHTLCV2ContractHandler, F as VHTLCV2ContractParams, G as contractHandlers } from '../../index-CP3v0PVS.cjs';
+import '../../ark-CgZYyMpf.cjs';
 import '@scure/btc-signer';
 import '@scure/btc-signer/transaction.js';
-import '../../delegate-r3jh7UcH.cjs';
+import '@scure/btc-signer/utils.js';
+import '@scure/btc-signer/psbt.js';
+import '../../delegate-wuf6DBpr.cjs';

package/dist/contracts/handlers/index.d.ts

@@ -1,7 +1,7 @@
-export { o as ArkadeContractHandler, B as BoardingContractHandler, q as BoardingContractParams, D as DefaultContractHandler, t as DefaultContractParams, u as DelegateContractHandler, x as DelegateContractParams, y as VHTLCContractHandler, z as VHTLCContractParams, E as VHTLCV2ContractHandler, F as VHTLCV2ContractParams, G as contractHandlers } from '../../index-Chgwl4dO.js';
-import '../../index-BfvbSL0W.js';
-import '@scure/btc-signer/utils.js';
-import '@scure/btc-signer/psbt.js';
+export { o as ArkadeContractHandler, B as BoardingContractHandler, q as BoardingContractParams, D as DefaultContractHandler, t as DefaultContractParams, u as DelegateContractHandler, x as DelegateContractParams, y as VHTLCContractHandler, z as VHTLCContractParams, E as VHTLCV2ContractHandler, F as VHTLCV2ContractParams, G as contractHandlers } from '../../index-1pLGuueL.js';
+import '../../ark-CgZYyMpf.js';
 import '@scure/btc-signer';
 import '@scure/btc-signer/transaction.js';
-import '../../delegate-Cz8FnLqi.js';
+import '@scure/btc-signer/utils.js';
+import '@scure/btc-signer/psbt.js';
+import '../../delegate-B8KSoeVz.js';

package/dist/contracts/handlers/index.js

@@ -1,4 +1,4 @@
-export { ArkadeContractHandler, BoardingContractHandler, DefaultContractHandler, DelegateContractHandler, VHTLCContractHandler, VHTLCV2ContractHandler, contractHandlers } from '../../chunk-N2VM6V6K.js';
-import '../../chunk-HTCIPDVW.js';
+export { ArkadeContractHandler, BoardingContractHandler, DefaultContractHandler, DelegateContractHandler, VHTLCContractHandler, VHTLCV2ContractHandler, contractHandlers } from '../../chunk-CR5YHHEM.js';
+import '../../chunk-CG7S6CDR.js';
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

package/dist/{delegate-Cz8FnLqi.d.ts → delegate-B8KSoeVz.d.ts}

@@ -1,5 +1,5 @@
 import { Bytes } from '@scure/btc-signer/utils.js';
-import { w as RelativeTimelock, V as VtxoScript, x as TapLeafScript } from './index-BfvbSL0W.js';
+import { w as RelativeTimelock, V as VtxoScript, x as TapLeafScript } from './ark-CgZYyMpf.js';
 
 /**
  * DefaultVtxo is the default implementation of a VtxoScript.

package/dist/{delegate-r3jh7UcH.d.cts → delegate-wuf6DBpr.d.cts}

@@ -1,5 +1,5 @@
 import { Bytes } from '@scure/btc-signer/utils.js';
-import { w as RelativeTimelock, V as VtxoScript, x as TapLeafScript } from './index-BfvbSL0W.cjs';
+import { w as RelativeTimelock, V as VtxoScript, x as TapLeafScript } from './ark-CgZYyMpf.cjs';
 
 /**
  * DefaultVtxo is the default implementation of a VtxoScript.

package/dist/{index-DOION7Ta.d.cts → index-1pLGuueL.d.ts}

@@ -1,5 +1,5 @@
-import { bw as ContractHandler, w as RelativeTimelock, bI as Discoverable, V as VtxoScript, x as TapLeafScript, dA as TapscriptDeriving } from './index-BfvbSL0W.cjs';
-import { D as DefaultVtxo, a as DelegateVtxo } from './delegate-r3jh7UcH.cjs';
+import { bD as ContractHandler, w as RelativeTimelock, bP as Discoverable, V as VtxoScript, x as TapLeafScript, dI as TapscriptDeriving } from './ark-CgZYyMpf.js';
+import { D as DefaultVtxo, a as DelegateVtxo } from './delegate-B8KSoeVz.js';
 import { Bytes } from '@scure/btc-signer/utils.js';
 
 /**
@@ -366,15 +366,15 @@ declare const BoardingContractHandler: ContractHandler<BoardingContractParams, D
 /**
  * Arkade Program model & compiler.
  *
- * A {@link Program} is the artifact shape shared with the ArkadeScript
- * compiler: named functions, each split into a `tapscript` segment enforced
+ * A {@link Program} is the normalized SDK model: named functions, each
+ * split into a `tapscript` segment enforced
  * on-chain and an optional `arkadeScript` segment emulated by the co-signing
  * service. This module owns everything that is *pure data → script*:
  *
  * - the Program/segment/token types,
  * - `$param` resolution ({@link resolveAsm}), witness and timelock resolution,
- * - program validation ({@link validateProgram}) — typed constructor params
- *   are authoritative when present,
+ * - program validation ({@link validateProgram}) — every referenced constructor
+ *   parameter must be declared and bound,
  * - {@link ArkadeProgramScript} — a {@link VtxoScript} compiled from a
  *   program, its constructor args and the signer keys,
  * - artifact JSON (de)serialization ({@link parseArtifact} /
@@ -394,12 +394,20 @@ type AsmToken = string | number | bigint | Uint8Array;
 type ArkadeParamValue = Uint8Array | bigint | number;
 /** A function call argument (function input). */
 type ArkadeArgValue = Uint8Array | bigint | number;
-/**
- * The declared type of a function input, used to derive the static TS type of
- * the corresponding `functions.<name>(...)` argument. Byte-like types map to
- * `Uint8Array`; `int` maps to `bigint | number`.
- */
-type ArkadeArgType = "bytes" | "pubkey" | "sig" | "hash" | "int";
+/** Native scalar types and their compiler witness encodings. */
+declare const ARKADE_TYPE_ENCODINGS: {
+    readonly pubkey: "raw";
+    readonly signature: "schnorr-64";
+    readonly bytes: "raw";
+    readonly bytes20: "raw-20";
+    readonly bytes32: "raw-32";
+    readonly asset: "raw-32";
+    readonly int: "scriptnum";
+    readonly bool: "scriptnum";
+    readonly AssetGroup: "scriptnum";
+};
+/** A native Arkade scalar type for a constructor parameter or call input. */
+type ArkadeArgType = keyof typeof ARKADE_TYPE_ENCODINGS;
 /**
  * Maps an {@link ArkadeArgType} to its TypeScript argument type.
  * @internal
@@ -407,22 +415,21 @@ type ArkadeArgType = "bytes" | "pubkey" | "sig" | "hash" | "int";
 interface ArkadeValueType {
     bytes: Uint8Array;
     pubkey: Uint8Array;
-    sig: Uint8Array;
-    hash: Uint8Array;
+    signature: Uint8Array;
+    bytes20: Uint8Array;
+    bytes32: Uint8Array;
+    asset: Uint8Array;
     int: bigint | number;
+    bool: bigint | number;
+    AssetGroup: bigint | number;
 }
 /** A typed function input or constructor param: a name plus its {@link ArkadeArgType}. */
 interface InputDef {
     name: string;
     type: ArkadeArgType;
 }
-/**
- * A function input or constructor param declaration: either a typed descriptor
- * `{ name, type }` (the argument is statically typed and its bound value is
- * validated) or a bare name string (the argument falls back to the loose
- * {@link ArkadeArgValue}).
- */
-type InputRef = string | InputDef;
+/** A typed function input or constructor parameter. */
+type InputRef = InputDef;
 /** Constructor pubkey `$param` tweaked by `fn`'s covenant. */
 interface TweakedSigner {
     tweak: string;
@@ -435,16 +442,20 @@ type WitnessRef = string | number | bigint | Uint8Array;
 /** Bitcoin Script segment of a spending path — enforced on-chain. */
 interface TapscriptSegment {
     /**
-     * Required signers. A path with `arkadeScript` also appends the emulator
-     * co-signer, unless `emulator` is `null`.
+     * Required signers. A path with `arkadeScript` also inserts the emulator
+     * co-signer at `emulatorIndex` (last by default), unless `emulator` is `null`.
      */
     signers: SignerRef[];
+    /** Caller signature ABI; satisfied through PSBT signing, never ConditionWitness. */
+    signatures?: InputDef[];
     /**
      * Covenant named by `<EMULATOR_KEY:fn>`. `null` when this leaf belongs to a
      * covenant but signs with a constructor-key tweak instead. Omitted on
      * hand-written programs, which still append the co-signer.
      */
     emulator?: string | null;
+    /** Emulator's position in the full signer list; omitted to append it. */
+    emulatorIndex?: number;
     /**
      * Optional standard-opcode condition (e.g. a hashlock), encoded into a
      * ConditionMultisig leaf — or ConditionCSVMultisig when combined with `csv`.
@@ -478,18 +489,26 @@ interface ArkadeSegment {
 }
 /** One named spending path. */
 interface ArkadeFunction {
-    /**
-     * The function ABI: an ordered list of call arguments. Each entry is a typed
-     * descriptor `{ name, type }` (which gives the matching `functions.<name>`
-     * argument a precise static type) or a bare name string (loose
-     * {@link ArkadeArgValue}). Absent for nullary paths (e.g. exit/cancel).
-     */
-    inputs?: readonly InputRef[];
+    /** Compiler spend group, used to resolve named covenant commitments. */
+    group?: string;
+    /** Ordered typed call arguments; absent for nullary paths. */
+    inputs?: readonly InputDef[];
     tapscript: TapscriptSegment;
     /** Present for covenant paths; absent for pure-tapscript paths (cancel/exit). */
     arkadeScript?: ArkadeSegment;
 }
-declare const SUPPORTED_PROGRAM_VERSION = 0;
+/** Supported normalized Program version. */
+declare const SUPPORTED_PROGRAM_VERSION = 1;
+/**
+ * A Program written for a version this SDK cannot read. Typed so a stored row in that format is
+ * reported as unsupported rather than broken: its script stays unknown until it is recovered with
+ * an SDK that reads that version, or re-created from fresh params.
+ */
+declare class UnsupportedProgramVersionError extends Error {
+    readonly version: unknown;
+    readonly name = "UnsupportedProgramVersionError";
+    constructor(version: unknown, context: string);
+}
 /** An Arkade contract program (hand-written or compiler-emitted). */
 interface Program {
     version: number;
@@ -498,12 +517,8 @@ interface Program {
      * artifact JSON, never used in compilation or the taproot tree.
      */
     name?: string;
-    /**
-     * Ordered constructor parameters. Bare name strings are documentation only
-     * (the legacy hand-written form); typed descriptors `{ name, type }` make
-     * the list authoritative — see {@link validateProgram}.
-     */
-    params?: readonly InputRef[];
+    /** Ordered typed constructor parameters. */
+    params?: readonly InputDef[];
     functions: Record<string, ArkadeFunction>;
 }
 /**
@@ -511,8 +526,8 @@ interface Program {
  * pass everything else (opcode names, numbers, raw byte pushes) through to the
  * Arkade script encoder. The SDK does not interpret opcodes — this is pure
  * substitution + encoding. To embed a signer key (server, user, or any
- * other), pass it as a `$param` in the constructor args; there is no
- * `<SERVER_KEY>`/`<COSIGNER_KEY>` token.
+ * other), pass it as a `$param` in the constructor args. Compiler `<...>`
+ * placeholders are normalized by {@link programFromArtifact} before this step.
  */
 declare function resolveAsm(asm: AsmToken[], bind: Record<string, ArkadeParamValue>): Uint8Array;
 /**
@@ -525,16 +540,7 @@ declare function resolveAsm(asm: AsmToken[], bind: Record<string, ArkadeParamVal
  *   (throws when the input is unbound — e.g. outside a function call).
  */
 declare function witnessRefToBytes(ref: WitnessRef, callArgs: Record<string, ArkadeArgValue>, programArgs: Record<string, ArkadeParamValue>): Uint8Array;
-/**
- * Validate a program's constructor-parameter declarations against the bound
- * args. A `params` list of bare name strings is documentation only (the
- * legacy hand-written form — no checks). When at least one entry is a typed
- * descriptor (the compiler-emitted form), the list is authoritative: every
- * declared param must be bound in `args`, every `"$name"` reference in the
- * program must be declared, and typed entries validate their bound value
- * (bytes-like types require a Uint8Array — 32 bytes for `pubkey`, 64 for
- * `sig`; `int` requires a bigint/number).
- */
+/** Validate declared constructor values and reject undeclared references. */
 declare function validateProgram(program: Program, args: Record<string, ArkadeParamValue>): void;
 /** The signer keys a program is compiled against. */
 interface ProgramKeys {
@@ -594,11 +600,11 @@ declare class ArkadeProgramScript extends VtxoScript {
 declare function parseArtifact(artifact: {
     version?: number;
     name?: string;
-    params?: readonly InputRef[];
+    params?: readonly InputDef[];
     functions: unknown;
 }): Program;
 /**
- * Serialize a {@link Program} to compiler-artifact JSON — the inverse of
+ * Serialize a {@link Program} to normalized Program JSON — the inverse of
  * {@link parseArtifact}: bytes become `0x`-hex strings; bigint tokens become
  * plain numbers (or, above `Number.MAX_SAFE_INTEGER`, `0x`-hex of their
  * minimal script-num bytes, which the script encoder pushes identically);
@@ -636,4 +642,4 @@ declare function deserializeArkadeContractParams(params: Record<string, string>)
  */
 declare const ArkadeContractHandler: ContractHandler<ArkadeContractParams, ArkadeProgramScript> & TapscriptDeriving<ArkadeProgramScript>;
 
-export { type ArkadeParamValue as A, BoardingContractHandler as B, type CompiledProgramFunction as C, DefaultContractHandler as D, VHTLCV2ContractHandler as E, type VHTLCV2ContractParams as F, contractHandlers as G, type InputRef as I, type Program as P, SUPPORTED_PROGRAM_VERSION as S, type TapscriptSegment as T, VHTLC as V, type WitnessRef as W, ArkadeProgramScript as a, type ProgramKeys as b, type ArkadeArgValue as c, type ArkadeFunction as d, type InputDef as e, type ArkadeValueType as f, type ArkadeArgType as g, type ArkadeContractParams as h, type ArkadeSegment as i, type AsmToken as j, type SignerRef as k, type TweakedSigner as l, deserializeArkadeContractParams as m, stringifyArtifact as n, ArkadeContractHandler as o, parseArtifact as p, type BoardingContractParams as q, resolveAsm as r, serializeArkadeContractParams as s, type DefaultContractParams as t, DelegateContractHandler as u, validateProgram as v, witnessRefToBytes as w, type DelegateContractParams as x, VHTLCContractHandler as y, type VHTLCContractParams as z };
+export { type ArkadeParamValue as A, BoardingContractHandler as B, type CompiledProgramFunction as C, DefaultContractHandler as D, VHTLCV2ContractHandler as E, type VHTLCV2ContractParams as F, contractHandlers as G, type InputDef as I, type Program as P, SUPPORTED_PROGRAM_VERSION as S, type TapscriptSegment as T, UnsupportedProgramVersionError as U, VHTLC as V, type WitnessRef as W, ArkadeProgramScript as a, type ProgramKeys as b, type ArkadeArgValue as c, type ArkadeFunction as d, type ArkadeValueType as e, type ArkadeArgType as f, type ArkadeContractParams as g, type ArkadeSegment as h, type AsmToken as i, type InputRef as j, type SignerRef as k, type TweakedSigner as l, deserializeArkadeContractParams as m, stringifyArtifact as n, ArkadeContractHandler as o, parseArtifact as p, type BoardingContractParams as q, resolveAsm as r, serializeArkadeContractParams as s, type DefaultContractParams as t, DelegateContractHandler as u, validateProgram as v, witnessRefToBytes as w, type DelegateContractParams as x, VHTLCContractHandler as y, type VHTLCContractParams as z };

package/dist/{index-Chgwl4dO.d.ts → index-CP3v0PVS.d.cts}

@@ -1,5 +1,5 @@
-import { bw as ContractHandler, w as RelativeTimelock, bI as Discoverable, V as VtxoScript, x as TapLeafScript, dA as TapscriptDeriving } from './index-BfvbSL0W.js';
-import { D as DefaultVtxo, a as DelegateVtxo } from './delegate-Cz8FnLqi.js';
+import { bD as ContractHandler, w as RelativeTimelock, bP as Discoverable, V as VtxoScript, x as TapLeafScript, dI as TapscriptDeriving } from './ark-CgZYyMpf.cjs';
+import { D as DefaultVtxo, a as DelegateVtxo } from './delegate-wuf6DBpr.cjs';
 import { Bytes } from '@scure/btc-signer/utils.js';
 
 /**
@@ -366,15 +366,15 @@ declare const BoardingContractHandler: ContractHandler<BoardingContractParams, D
 /**
  * Arkade Program model & compiler.
  *
- * A {@link Program} is the artifact shape shared with the ArkadeScript
- * compiler: named functions, each split into a `tapscript` segment enforced
+ * A {@link Program} is the normalized SDK model: named functions, each
+ * split into a `tapscript` segment enforced
  * on-chain and an optional `arkadeScript` segment emulated by the co-signing
  * service. This module owns everything that is *pure data → script*:
  *
  * - the Program/segment/token types,
  * - `$param` resolution ({@link resolveAsm}), witness and timelock resolution,
- * - program validation ({@link validateProgram}) — typed constructor params
- *   are authoritative when present,
+ * - program validation ({@link validateProgram}) — every referenced constructor
+ *   parameter must be declared and bound,
  * - {@link ArkadeProgramScript} — a {@link VtxoScript} compiled from a
  *   program, its constructor args and the signer keys,
  * - artifact JSON (de)serialization ({@link parseArtifact} /
@@ -394,12 +394,20 @@ type AsmToken = string | number | bigint | Uint8Array;
 type ArkadeParamValue = Uint8Array | bigint | number;
 /** A function call argument (function input). */
 type ArkadeArgValue = Uint8Array | bigint | number;
-/**
- * The declared type of a function input, used to derive the static TS type of
- * the corresponding `functions.<name>(...)` argument. Byte-like types map to
- * `Uint8Array`; `int` maps to `bigint | number`.
- */
-type ArkadeArgType = "bytes" | "pubkey" | "sig" | "hash" | "int";
+/** Native scalar types and their compiler witness encodings. */
+declare const ARKADE_TYPE_ENCODINGS: {
+    readonly pubkey: "raw";
+    readonly signature: "schnorr-64";
+    readonly bytes: "raw";
+    readonly bytes20: "raw-20";
+    readonly bytes32: "raw-32";
+    readonly asset: "raw-32";
+    readonly int: "scriptnum";
+    readonly bool: "scriptnum";
+    readonly AssetGroup: "scriptnum";
+};
+/** A native Arkade scalar type for a constructor parameter or call input. */
+type ArkadeArgType = keyof typeof ARKADE_TYPE_ENCODINGS;
 /**
  * Maps an {@link ArkadeArgType} to its TypeScript argument type.
  * @internal
@@ -407,22 +415,21 @@ type ArkadeArgType = "bytes" | "pubkey" | "sig" | "hash" | "int";
 interface ArkadeValueType {
     bytes: Uint8Array;
     pubkey: Uint8Array;
-    sig: Uint8Array;
-    hash: Uint8Array;
+    signature: Uint8Array;
+    bytes20: Uint8Array;
+    bytes32: Uint8Array;
+    asset: Uint8Array;
     int: bigint | number;
+    bool: bigint | number;
+    AssetGroup: bigint | number;
 }
 /** A typed function input or constructor param: a name plus its {@link ArkadeArgType}. */
 interface InputDef {
     name: string;
     type: ArkadeArgType;
 }
-/**
- * A function input or constructor param declaration: either a typed descriptor
- * `{ name, type }` (the argument is statically typed and its bound value is
- * validated) or a bare name string (the argument falls back to the loose
- * {@link ArkadeArgValue}).
- */
-type InputRef = string | InputDef;
+/** A typed function input or constructor parameter. */
+type InputRef = InputDef;
 /** Constructor pubkey `$param` tweaked by `fn`'s covenant. */
 interface TweakedSigner {
     tweak: string;
@@ -435,16 +442,20 @@ type WitnessRef = string | number | bigint | Uint8Array;
 /** Bitcoin Script segment of a spending path — enforced on-chain. */
 interface TapscriptSegment {
     /**
-     * Required signers. A path with `arkadeScript` also appends the emulator
-     * co-signer, unless `emulator` is `null`.
+     * Required signers. A path with `arkadeScript` also inserts the emulator
+     * co-signer at `emulatorIndex` (last by default), unless `emulator` is `null`.
      */
     signers: SignerRef[];
+    /** Caller signature ABI; satisfied through PSBT signing, never ConditionWitness. */
+    signatures?: InputDef[];
     /**
      * Covenant named by `<EMULATOR_KEY:fn>`. `null` when this leaf belongs to a
      * covenant but signs with a constructor-key tweak instead. Omitted on
      * hand-written programs, which still append the co-signer.
      */
     emulator?: string | null;
+    /** Emulator's position in the full signer list; omitted to append it. */
+    emulatorIndex?: number;
     /**
      * Optional standard-opcode condition (e.g. a hashlock), encoded into a
      * ConditionMultisig leaf — or ConditionCSVMultisig when combined with `csv`.
@@ -478,18 +489,26 @@ interface ArkadeSegment {
 }
 /** One named spending path. */
 interface ArkadeFunction {
-    /**
-     * The function ABI: an ordered list of call arguments. Each entry is a typed
-     * descriptor `{ name, type }` (which gives the matching `functions.<name>`
-     * argument a precise static type) or a bare name string (loose
-     * {@link ArkadeArgValue}). Absent for nullary paths (e.g. exit/cancel).
-     */
-    inputs?: readonly InputRef[];
+    /** Compiler spend group, used to resolve named covenant commitments. */
+    group?: string;
+    /** Ordered typed call arguments; absent for nullary paths. */
+    inputs?: readonly InputDef[];
     tapscript: TapscriptSegment;
     /** Present for covenant paths; absent for pure-tapscript paths (cancel/exit). */
     arkadeScript?: ArkadeSegment;
 }
-declare const SUPPORTED_PROGRAM_VERSION = 0;
+/** Supported normalized Program version. */
+declare const SUPPORTED_PROGRAM_VERSION = 1;
+/**
+ * A Program written for a version this SDK cannot read. Typed so a stored row in that format is
+ * reported as unsupported rather than broken: its script stays unknown until it is recovered with
+ * an SDK that reads that version, or re-created from fresh params.
+ */
+declare class UnsupportedProgramVersionError extends Error {
+    readonly version: unknown;
+    readonly name = "UnsupportedProgramVersionError";
+    constructor(version: unknown, context: string);
+}
 /** An Arkade contract program (hand-written or compiler-emitted). */
 interface Program {
     version: number;
@@ -498,12 +517,8 @@ interface Program {
      * artifact JSON, never used in compilation or the taproot tree.
      */
     name?: string;
-    /**
-     * Ordered constructor parameters. Bare name strings are documentation only
-     * (the legacy hand-written form); typed descriptors `{ name, type }` make
-     * the list authoritative — see {@link validateProgram}.
-     */
-    params?: readonly InputRef[];
+    /** Ordered typed constructor parameters. */
+    params?: readonly InputDef[];
     functions: Record<string, ArkadeFunction>;
 }
 /**
@@ -511,8 +526,8 @@ interface Program {
  * pass everything else (opcode names, numbers, raw byte pushes) through to the
  * Arkade script encoder. The SDK does not interpret opcodes — this is pure
  * substitution + encoding. To embed a signer key (server, user, or any
- * other), pass it as a `$param` in the constructor args; there is no
- * `<SERVER_KEY>`/`<COSIGNER_KEY>` token.
+ * other), pass it as a `$param` in the constructor args. Compiler `<...>`
+ * placeholders are normalized by {@link programFromArtifact} before this step.
  */
 declare function resolveAsm(asm: AsmToken[], bind: Record<string, ArkadeParamValue>): Uint8Array;
 /**
@@ -525,16 +540,7 @@ declare function resolveAsm(asm: AsmToken[], bind: Record<string, ArkadeParamVal
  *   (throws when the input is unbound — e.g. outside a function call).
  */
 declare function witnessRefToBytes(ref: WitnessRef, callArgs: Record<string, ArkadeArgValue>, programArgs: Record<string, ArkadeParamValue>): Uint8Array;
-/**
- * Validate a program's constructor-parameter declarations against the bound
- * args. A `params` list of bare name strings is documentation only (the
- * legacy hand-written form — no checks). When at least one entry is a typed
- * descriptor (the compiler-emitted form), the list is authoritative: every
- * declared param must be bound in `args`, every `"$name"` reference in the
- * program must be declared, and typed entries validate their bound value
- * (bytes-like types require a Uint8Array — 32 bytes for `pubkey`, 64 for
- * `sig`; `int` requires a bigint/number).
- */
+/** Validate declared constructor values and reject undeclared references. */
 declare function validateProgram(program: Program, args: Record<string, ArkadeParamValue>): void;
 /** The signer keys a program is compiled against. */
 interface ProgramKeys {
@@ -594,11 +600,11 @@ declare class ArkadeProgramScript extends VtxoScript {
 declare function parseArtifact(artifact: {
     version?: number;
     name?: string;
-    params?: readonly InputRef[];
+    params?: readonly InputDef[];
     functions: unknown;
 }): Program;
 /**
- * Serialize a {@link Program} to compiler-artifact JSON — the inverse of
+ * Serialize a {@link Program} to normalized Program JSON — the inverse of
  * {@link parseArtifact}: bytes become `0x`-hex strings; bigint tokens become
  * plain numbers (or, above `Number.MAX_SAFE_INTEGER`, `0x`-hex of their
  * minimal script-num bytes, which the script encoder pushes identically);
@@ -636,4 +642,4 @@ declare function deserializeArkadeContractParams(params: Record<string, string>)
  */
 declare const ArkadeContractHandler: ContractHandler<ArkadeContractParams, ArkadeProgramScript> & TapscriptDeriving<ArkadeProgramScript>;
 
-export { type ArkadeParamValue as A, BoardingContractHandler as B, type CompiledProgramFunction as C, DefaultContractHandler as D, VHTLCV2ContractHandler as E, type VHTLCV2ContractParams as F, contractHandlers as G, type InputRef as I, type Program as P, SUPPORTED_PROGRAM_VERSION as S, type TapscriptSegment as T, VHTLC as V, type WitnessRef as W, ArkadeProgramScript as a, type ProgramKeys as b, type ArkadeArgValue as c, type ArkadeFunction as d, type InputDef as e, type ArkadeValueType as f, type ArkadeArgType as g, type ArkadeContractParams as h, type ArkadeSegment as i, type AsmToken as j, type SignerRef as k, type TweakedSigner as l, deserializeArkadeContractParams as m, stringifyArtifact as n, ArkadeContractHandler as o, parseArtifact as p, type BoardingContractParams as q, resolveAsm as r, serializeArkadeContractParams as s, type DefaultContractParams as t, DelegateContractHandler as u, validateProgram as v, witnessRefToBytes as w, type DelegateContractParams as x, VHTLCContractHandler as y, type VHTLCContractParams as z };
+export { type ArkadeParamValue as A, BoardingContractHandler as B, type CompiledProgramFunction as C, DefaultContractHandler as D, VHTLCV2ContractHandler as E, type VHTLCV2ContractParams as F, contractHandlers as G, type InputDef as I, type Program as P, SUPPORTED_PROGRAM_VERSION as S, type TapscriptSegment as T, UnsupportedProgramVersionError as U, VHTLC as V, type WitnessRef as W, ArkadeProgramScript as a, type ProgramKeys as b, type ArkadeArgValue as c, type ArkadeFunction as d, type ArkadeValueType as e, type ArkadeArgType as f, type ArkadeContractParams as g, type ArkadeSegment as h, type AsmToken as i, type InputRef as j, type SignerRef as k, type TweakedSigner as l, deserializeArkadeContractParams as m, stringifyArtifact as n, ArkadeContractHandler as o, parseArtifact as p, type BoardingContractParams as q, resolveAsm as r, serializeArkadeContractParams as s, type DefaultContractParams as t, DelegateContractHandler as u, validateProgram as v, witnessRefToBytes as w, type DelegateContractParams as x, VHTLCContractHandler as y, type VHTLCContractParams as z };