npm - @hardkas/artifacts - Versions diffs - 0.8.20-alpha → 0.9.1-alpha - Mend

@hardkas/artifacts 0.8.20-alpha → 0.9.1-alpha

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (4) hide show

package/dist/index.d.ts CHANGED Viewed

@@ -1,4 +1,5 @@
-import { ArtifactType, NetworkId, ExecutionMode, ContentHash, WorkflowId, ArtifactId, LineageId, EventSequence, TxId, KaspaAddress, CorruptionCode, CorruptionSeverity, EventEnvelope, RuntimeContext } from '@hardkas/core';
+import { HardkasSchema, HardkasSchemas, ArtifactType, NetworkId, ExecutionMode, ContentHash, WorkflowId, ArtifactId, LineageId, EventSequence, TxId, KaspaAddress, CorruptionCode, CorruptionSeverity, EventEnvelope, RuntimeContext } from '@hardkas/core';
+export { ArtifactType, ArtifactTypes, HardkasSchema, HardkasSchemas, SchemaMetadata, assertKnownArtifactType, describeArtifactType, isKnownArtifactType } from '@hardkas/core';
 import { z } from 'zod';
 import { TxOutput, Utxo, TxPlan as TxPlan$1 } from '@hardkas/tx-builder';
@@ -18,8 +19,22 @@ declare const ARTIFACT_SCHEMAS: {
     readonly NETWORK_PROFILE: "hardkas.networkProfile.v1";
     readonly ASSUMPTION: "hardkas.assumption.v1";
     readonly MIGRATION_RECEIPT: "hardkas.migrationReceipt.v1";
+    readonly SILVER_COMPILE: "hardkas.silver.compile";
+    readonly SILVER_TEST: "hardkas.silver.test";
+    readonly SILVER_DEPLOY_PLAN: "hardkas.silver.deployPlan";
+    readonly SILVER_DEPLOY: "hardkas.silver.deploy";
+    readonly SILVER_SPEND_PLAN: "hardkas.silver.spendPlan";
+    readonly SILVER_SPEND_RECEIPT: "hardkas.silver.spendReceipt";
+    readonly SILVER_DEPLOY_SIMULATION: "hardkas.silver.deploySimulation";
+    readonly SILVER_SPEND_SIMULATION: "hardkas.silver.spendSimulation";
+    readonly PROGRAMMABILITY_CAPABILITIES: "hardkas.programmability.capabilities.v1";
+    readonly PROGRAMMABILITY_INSPECT: "hardkas.programmability.inspect.v1";
+    readonly PROGRAMMABILITY_VERIFY: "hardkas.programmability.verify.v1";
+    readonly PROGRAMMABILITY_CORPUS_REPORT: "hardkas.programmability.corpusReport.v1";
+    readonly PROGRAMMABILITY_APP_PLAN: "hardkas.programmability.appPlan.v1";
+    readonly TOCCATA_PROGRAMMABILITY_CORPUS: "hardkas.toccataProgrammabilityCorpus.v1";
 };
-type HardkasArtifactSchema = (typeof ARTIFACT_SCHEMAS)[keyof typeof ARTIFACT_SCHEMAS] | string;
+type HardkasArtifactSchema = HardkasSchema | string;
 type HardkasArtifactMode = "simulated" | "node" | "rpc" | "l2-rpc" | "real";
 declare const ARTIFACT_VERSION = "1.0.0-alpha";
@@ -2469,6 +2484,2030 @@ declare const RuntimeSessionSchema: z.ZodObject<{
     parentSessionId?: string | undefined;
 }>;
 type RuntimeSession = z.infer<typeof RuntimeSessionSchema>;
+declare const SilverCompileArtifactSchema: z.ZodObject<{
+    schemaVersion: z.ZodOptional<z.ZodString>;
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+    parents: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    lineageDepth: z.ZodOptional<z.ZodNumber>;
+    workflowId: z.ZodOptional<z.ZodString>;
+    assumptionLevel: z.ZodOptional<z.ZodString>;
+    scriptProfile: z.ZodOptional<z.ZodEnum<["standard", "experimental"]>>;
+    scriptCapabilities: z.ZodOptional<z.ZodArray<z.ZodEnum<["p2pk", "multisig", "timelock", "covenant-experimental", "silverscript-experimental", "tockata-experimental"]>, "many">>;
+    scriptMetadata: z.ZodOptional<z.ZodObject<{
+        language: z.ZodOptional<z.ZodEnum<["native", "silverscript", "tockata"]>>;
+        version: z.ZodOptional<z.ZodString>;
+        experimental: z.ZodBoolean;
+        notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        consensusImpact: z.ZodOptional<z.ZodEnum<["none", "experimental"]>>;
+    }, "strip", z.ZodTypeAny, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }>>;
+} & {
+    schema: z.ZodLiteral<"hardkas.silver.compile">;
+    sourcePath: z.ZodString;
+    sourceHash: z.ZodString;
+    compilerName: z.ZodString;
+    compilerVersion: z.ZodString;
+    compilerCommand: z.ZodString;
+    compiledScriptHex: z.ZodString;
+    compiledScriptHash: z.ZodString;
+    abi: z.ZodOptional<z.ZodAny>;
+    network: z.ZodString;
+    assumptions: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.compile";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    network: string;
+    sourcePath: string;
+    sourceHash: string;
+    compilerName: string;
+    compilerVersion: string;
+    compilerCommand: string;
+    compiledScriptHex: string;
+    compiledScriptHash: string;
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+    abi?: any;
+    assumptions?: string[] | undefined;
+}, {
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.compile";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    network: string;
+    sourcePath: string;
+    sourceHash: string;
+    compilerName: string;
+    compilerVersion: string;
+    compilerCommand: string;
+    compiledScriptHex: string;
+    compiledScriptHash: string;
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+    abi?: any;
+    assumptions?: string[] | undefined;
+}>;
+declare const SilverDeployPlanArtifactSchema: z.ZodObject<{
+    schemaVersion: z.ZodOptional<z.ZodString>;
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+    parents: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    lineageDepth: z.ZodOptional<z.ZodNumber>;
+    workflowId: z.ZodOptional<z.ZodString>;
+    assumptionLevel: z.ZodOptional<z.ZodString>;
+    scriptProfile: z.ZodOptional<z.ZodEnum<["standard", "experimental"]>>;
+    scriptCapabilities: z.ZodOptional<z.ZodArray<z.ZodEnum<["p2pk", "multisig", "timelock", "covenant-experimental", "silverscript-experimental", "tockata-experimental"]>, "many">>;
+    scriptMetadata: z.ZodOptional<z.ZodObject<{
+        language: z.ZodOptional<z.ZodEnum<["native", "silverscript", "tockata"]>>;
+        version: z.ZodOptional<z.ZodString>;
+        experimental: z.ZodBoolean;
+        notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        consensusImpact: z.ZodOptional<z.ZodEnum<["none", "experimental"]>>;
+    }, "strip", z.ZodTypeAny, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }>>;
+} & {
+    schema: z.ZodLiteral<"hardkas.silver.deployPlan">;
+    compileArtifactHash: z.ZodString;
+    compiledScriptHash: z.ZodString;
+    redeemScriptHex: z.ZodString;
+    redeemScriptHash: z.ZodString;
+    lockingScriptHex: z.ZodString;
+    scriptPublicKeyVersion: z.ZodNumber;
+    amountSompi: z.ZodString;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
+    deployerAddress: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.deployPlan";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    amountSompi: string;
+    compiledScriptHash: string;
+    compileArtifactHash: string;
+    redeemScriptHex: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    scriptPublicKeyVersion: number;
+    deployerAddress: string;
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+}, {
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.deployPlan";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    amountSompi: string;
+    compiledScriptHash: string;
+    compileArtifactHash: string;
+    redeemScriptHex: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    scriptPublicKeyVersion: number;
+    deployerAddress: string;
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+}>;
+declare const SilverDeployArtifactSchema: z.ZodObject<{
+    schemaVersion: z.ZodOptional<z.ZodString>;
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+    parents: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    lineageDepth: z.ZodOptional<z.ZodNumber>;
+    workflowId: z.ZodOptional<z.ZodString>;
+    assumptionLevel: z.ZodOptional<z.ZodString>;
+    scriptProfile: z.ZodOptional<z.ZodEnum<["standard", "experimental"]>>;
+    scriptCapabilities: z.ZodOptional<z.ZodArray<z.ZodEnum<["p2pk", "multisig", "timelock", "covenant-experimental", "silverscript-experimental", "tockata-experimental"]>, "many">>;
+    scriptMetadata: z.ZodOptional<z.ZodObject<{
+        language: z.ZodOptional<z.ZodEnum<["native", "silverscript", "tockata"]>>;
+        version: z.ZodOptional<z.ZodString>;
+        experimental: z.ZodBoolean;
+        notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        consensusImpact: z.ZodOptional<z.ZodEnum<["none", "experimental"]>>;
+    }, "strip", z.ZodTypeAny, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }>>;
+} & {
+    schema: z.ZodLiteral<"hardkas.silver.deploy">;
+    deployPlanHash: z.ZodString;
+    compileArtifactHash: z.ZodString;
+    compiledScriptHash: z.ZodString;
+    redeemScriptHex: z.ZodString;
+    redeemScriptHash: z.ZodString;
+    lockingScriptHex: z.ZodString;
+    scriptPublicKeyVersion: z.ZodNumber;
+    deployTxId: z.ZodString;
+    outputIndex: z.ZodNumber;
+    amountSompi: z.ZodString;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
+    nodeVersion: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.deploy";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    amountSompi: string;
+    compiledScriptHash: string;
+    compileArtifactHash: string;
+    redeemScriptHex: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    scriptPublicKeyVersion: number;
+    deployPlanHash: string;
+    deployTxId: string;
+    outputIndex: number;
+    nodeVersion: string;
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+}, {
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.deploy";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    amountSompi: string;
+    compiledScriptHash: string;
+    compileArtifactHash: string;
+    redeemScriptHex: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    scriptPublicKeyVersion: number;
+    deployPlanHash: string;
+    deployTxId: string;
+    outputIndex: number;
+    nodeVersion: string;
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+}>;
+declare const SilverScriptArgSchema: z.ZodObject<{
+    type: z.ZodLiteral<"hex">;
+    value: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    type: "hex";
+    value: string;
+}, {
+    type: "hex";
+    value: string;
+}>;
+declare const SilverSpendPlanArtifactSchema: z.ZodObject<{
+    schemaVersion: z.ZodOptional<z.ZodString>;
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+    parents: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    lineageDepth: z.ZodOptional<z.ZodNumber>;
+    workflowId: z.ZodOptional<z.ZodString>;
+    scriptProfile: z.ZodOptional<z.ZodEnum<["standard", "experimental"]>>;
+    scriptCapabilities: z.ZodOptional<z.ZodArray<z.ZodEnum<["p2pk", "multisig", "timelock", "covenant-experimental", "silverscript-experimental", "tockata-experimental"]>, "many">>;
+    scriptMetadata: z.ZodOptional<z.ZodObject<{
+        language: z.ZodOptional<z.ZodEnum<["native", "silverscript", "tockata"]>>;
+        version: z.ZodOptional<z.ZodString>;
+        experimental: z.ZodBoolean;
+        notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        consensusImpact: z.ZodOptional<z.ZodEnum<["none", "experimental"]>>;
+    }, "strip", z.ZodTypeAny, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }>>;
+} & {
+    schema: z.ZodLiteral<"hardkas.silver.spendPlan">;
+    deployArtifactHash: z.ZodString;
+    compileArtifactHash: z.ZodString;
+    redeemScriptHash: z.ZodString;
+    lockingScriptHex: z.ZodString;
+    contractUtxoRef: z.ZodObject<{
+        transactionId: z.ZodString;
+        index: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        transactionId: string;
+        index: number;
+    }, {
+        transactionId: string;
+        index: number;
+    }>;
+    args: z.ZodArray<z.ZodObject<{
+        type: z.ZodLiteral<"hex">;
+        value: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        type: "hex";
+        value: string;
+    }, {
+        type: "hex";
+        value: string;
+    }>, "many">;
+    argsHash: z.ZodString;
+    signatureScriptHex: z.ZodString;
+    expectedOutputs: z.ZodArray<z.ZodObject<{
+        address: z.ZodString;
+        amountSompi: z.ZodString;
+        scriptHash: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }, {
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }>, "many">;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
+    assumptionLevel: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.spendPlan";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    compileArtifactHash: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    deployArtifactHash: string;
+    contractUtxoRef: {
+        transactionId: string;
+        index: number;
+    };
+    args: {
+        type: "hex";
+        value: string;
+    }[];
+    argsHash: string;
+    signatureScriptHex: string;
+    expectedOutputs: {
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }[];
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+}, {
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.spendPlan";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    compileArtifactHash: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    deployArtifactHash: string;
+    contractUtxoRef: {
+        transactionId: string;
+        index: number;
+    };
+    args: {
+        type: "hex";
+        value: string;
+    }[];
+    argsHash: string;
+    signatureScriptHex: string;
+    expectedOutputs: {
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }[];
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+}>;
+declare const SilverSpendReceiptArtifactSchema: z.ZodObject<{
+    schemaVersion: z.ZodOptional<z.ZodString>;
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+    parents: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    lineageDepth: z.ZodOptional<z.ZodNumber>;
+    workflowId: z.ZodOptional<z.ZodString>;
+    assumptionLevel: z.ZodOptional<z.ZodString>;
+    scriptProfile: z.ZodOptional<z.ZodEnum<["standard", "experimental"]>>;
+    scriptCapabilities: z.ZodOptional<z.ZodArray<z.ZodEnum<["p2pk", "multisig", "timelock", "covenant-experimental", "silverscript-experimental", "tockata-experimental"]>, "many">>;
+    scriptMetadata: z.ZodOptional<z.ZodObject<{
+        language: z.ZodOptional<z.ZodEnum<["native", "silverscript", "tockata"]>>;
+        version: z.ZodOptional<z.ZodString>;
+        experimental: z.ZodBoolean;
+        notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        consensusImpact: z.ZodOptional<z.ZodEnum<["none", "experimental"]>>;
+    }, "strip", z.ZodTypeAny, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }>>;
+} & {
+    schema: z.ZodLiteral<"hardkas.silver.spendReceipt">;
+    spendPlanHash: z.ZodString;
+    deployArtifactHash: z.ZodOptional<z.ZodString>;
+    redeemScriptHash: z.ZodOptional<z.ZodString>;
+    lockingScriptHex: z.ZodOptional<z.ZodString>;
+    signatureScriptHex: z.ZodOptional<z.ZodString>;
+    spentOutpoint: z.ZodOptional<z.ZodObject<{
+        transactionId: z.ZodString;
+        index: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        transactionId: string;
+        index: number;
+    }, {
+        transactionId: string;
+        index: number;
+    }>>;
+    expectedOutputs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        address: z.ZodString;
+        amountSompi: z.ZodString;
+        scriptHash: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }, {
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }>, "many">>;
+    txId: z.ZodString;
+    status: z.ZodEnum<["simulated", "submitted", "accepted", "rejected"]>;
+}, "strip", z.ZodTypeAny, {
+    status: "simulated" | "submitted" | "accepted" | "rejected";
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.spendReceipt";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    txId: string;
+    spendPlanHash: string;
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+    redeemScriptHash?: string | undefined;
+    lockingScriptHex?: string | undefined;
+    deployArtifactHash?: string | undefined;
+    signatureScriptHex?: string | undefined;
+    expectedOutputs?: {
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }[] | undefined;
+    spentOutpoint?: {
+        transactionId: string;
+        index: number;
+    } | undefined;
+}, {
+    status: "simulated" | "submitted" | "accepted" | "rejected";
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.spendReceipt";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    txId: string;
+    spendPlanHash: string;
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+    redeemScriptHash?: string | undefined;
+    lockingScriptHex?: string | undefined;
+    deployArtifactHash?: string | undefined;
+    signatureScriptHex?: string | undefined;
+    expectedOutputs?: {
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }[] | undefined;
+    spentOutpoint?: {
+        transactionId: string;
+        index: number;
+    } | undefined;
+}>;
+declare const SilverDeploySimulationArtifactSchema: z.ZodObject<{
+    schemaVersion: z.ZodOptional<z.ZodString>;
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+    parents: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    lineageDepth: z.ZodOptional<z.ZodNumber>;
+    workflowId: z.ZodOptional<z.ZodString>;
+    assumptionLevel: z.ZodOptional<z.ZodString>;
+    scriptProfile: z.ZodOptional<z.ZodEnum<["standard", "experimental"]>>;
+    scriptCapabilities: z.ZodOptional<z.ZodArray<z.ZodEnum<["p2pk", "multisig", "timelock", "covenant-experimental", "silverscript-experimental", "tockata-experimental"]>, "many">>;
+    scriptMetadata: z.ZodOptional<z.ZodObject<{
+        language: z.ZodOptional<z.ZodEnum<["native", "silverscript", "tockata"]>>;
+        version: z.ZodOptional<z.ZodString>;
+        experimental: z.ZodBoolean;
+        notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        consensusImpact: z.ZodOptional<z.ZodEnum<["none", "experimental"]>>;
+    }, "strip", z.ZodTypeAny, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }>>;
+} & {
+    schema: z.ZodLiteral<"hardkas.silver.deploySimulation">;
+    deployPlanHash: z.ZodString;
+    compileArtifactHash: z.ZodString;
+    compiledScriptHash: z.ZodString;
+    redeemScriptHex: z.ZodString;
+    redeemScriptHash: z.ZodString;
+    lockingScriptHex: z.ZodString;
+    scriptPublicKeyVersion: z.ZodLiteral<0>;
+    simulatedDeployTxId: z.ZodString;
+    syntheticOutpoint: z.ZodObject<{
+        transactionId: z.ZodString;
+        index: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        transactionId: string;
+        index: number;
+    }, {
+        transactionId: string;
+        index: number;
+    }>;
+    amountSompi: z.ZodString;
+    feeSompi: z.ZodString;
+    status: z.ZodLiteral<"SIMULATED_ACCEPTED">;
+}, "strip", z.ZodTypeAny, {
+    status: "SIMULATED_ACCEPTED";
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.deploySimulation";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    amountSompi: string;
+    feeSompi: string;
+    compiledScriptHash: string;
+    compileArtifactHash: string;
+    redeemScriptHex: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    scriptPublicKeyVersion: 0;
+    deployPlanHash: string;
+    simulatedDeployTxId: string;
+    syntheticOutpoint: {
+        transactionId: string;
+        index: number;
+    };
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+}, {
+    status: "SIMULATED_ACCEPTED";
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.deploySimulation";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    amountSompi: string;
+    feeSompi: string;
+    compiledScriptHash: string;
+    compileArtifactHash: string;
+    redeemScriptHex: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    scriptPublicKeyVersion: 0;
+    deployPlanHash: string;
+    simulatedDeployTxId: string;
+    syntheticOutpoint: {
+        transactionId: string;
+        index: number;
+    };
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+}>;
+declare const SilverSpendSimulationArtifactSchema: z.ZodObject<{
+    schemaVersion: z.ZodOptional<z.ZodString>;
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+    parents: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    lineageDepth: z.ZodOptional<z.ZodNumber>;
+    workflowId: z.ZodOptional<z.ZodString>;
+    assumptionLevel: z.ZodOptional<z.ZodString>;
+    scriptProfile: z.ZodOptional<z.ZodEnum<["standard", "experimental"]>>;
+    scriptCapabilities: z.ZodOptional<z.ZodArray<z.ZodEnum<["p2pk", "multisig", "timelock", "covenant-experimental", "silverscript-experimental", "tockata-experimental"]>, "many">>;
+    scriptMetadata: z.ZodOptional<z.ZodObject<{
+        language: z.ZodOptional<z.ZodEnum<["native", "silverscript", "tockata"]>>;
+        version: z.ZodOptional<z.ZodString>;
+        experimental: z.ZodBoolean;
+        notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        consensusImpact: z.ZodOptional<z.ZodEnum<["none", "experimental"]>>;
+    }, "strip", z.ZodTypeAny, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }>>;
+} & {
+    schema: z.ZodLiteral<"hardkas.silver.spendSimulation">;
+    deploySimulationHash: z.ZodString;
+    spendPlanHash: z.ZodString;
+    redeemScriptHash: z.ZodString;
+    lockingScriptHex: z.ZodString;
+    signatureScriptHex: z.ZodString;
+    simulatedSpendTxId: z.ZodString;
+    spentOutpoint: z.ZodObject<{
+        transactionId: z.ZodString;
+        index: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        transactionId: string;
+        index: number;
+    }, {
+        transactionId: string;
+        index: number;
+    }>;
+    expectedOutputs: z.ZodArray<z.ZodObject<{
+        address: z.ZodString;
+        amountSompi: z.ZodString;
+        scriptHash: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }, {
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }>, "many">;
+    feeSompi: z.ZodString;
+    status: z.ZodLiteral<"SIMULATED_ACCEPTED">;
+}, "strip", z.ZodTypeAny, {
+    status: "SIMULATED_ACCEPTED";
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.spendSimulation";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    feeSompi: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    signatureScriptHex: string;
+    expectedOutputs: {
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }[];
+    spendPlanHash: string;
+    spentOutpoint: {
+        transactionId: string;
+        index: number;
+    };
+    deploySimulationHash: string;
+    simulatedSpendTxId: string;
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+}, {
+    status: "SIMULATED_ACCEPTED";
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.spendSimulation";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    feeSompi: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    signatureScriptHex: string;
+    expectedOutputs: {
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }[];
+    spendPlanHash: string;
+    spentOutpoint: {
+        transactionId: string;
+        index: number;
+    };
+    deploySimulationHash: string;
+    simulatedSpendTxId: string;
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+}>;
+declare const SilverTestArtifactSchema: z.ZodObject<{
+    schemaVersion: z.ZodOptional<z.ZodString>;
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+    parents: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    lineageDepth: z.ZodOptional<z.ZodNumber>;
+    workflowId: z.ZodOptional<z.ZodString>;
+    assumptionLevel: z.ZodOptional<z.ZodString>;
+    scriptProfile: z.ZodOptional<z.ZodEnum<["standard", "experimental"]>>;
+    scriptCapabilities: z.ZodOptional<z.ZodArray<z.ZodEnum<["p2pk", "multisig", "timelock", "covenant-experimental", "silverscript-experimental", "tockata-experimental"]>, "many">>;
+    scriptMetadata: z.ZodOptional<z.ZodObject<{
+        language: z.ZodOptional<z.ZodEnum<["native", "silverscript", "tockata"]>>;
+        version: z.ZodOptional<z.ZodString>;
+        experimental: z.ZodBoolean;
+        notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        consensusImpact: z.ZodOptional<z.ZodEnum<["none", "experimental"]>>;
+    }, "strip", z.ZodTypeAny, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }, {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    }>>;
+} & {
+    schema: z.ZodLiteral<"hardkas.silver.test">;
+    compileArtifactHash: z.ZodString;
+    sourceHash: z.ZodString;
+    compiledScriptHash: z.ZodString;
+    testVectorsHash: z.ZodNullable<z.ZodOptional<z.ZodString>>;
+    compilerName: z.ZodString;
+    compilerVersion: z.ZodString;
+    results: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        status: z.ZodEnum<["PASS", "FAIL", "SKIPPED", "EXPECTED_COMPILER_FAILURE", "PARTIAL_TEST_VECTOR_SUPPORT"]>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "PASS" | "FAIL" | "SKIPPED" | "EXPECTED_COMPILER_FAILURE" | "PARTIAL_TEST_VECTOR_SUPPORT";
+        name: string;
+        reason?: string | undefined;
+    }, {
+        status: "PASS" | "FAIL" | "SKIPPED" | "EXPECTED_COMPILER_FAILURE" | "PARTIAL_TEST_VECTOR_SUPPORT";
+        name: string;
+        reason?: string | undefined;
+    }>, "many">;
+    status: z.ZodEnum<["PASS", "FAIL", "PARTIAL_TEST_VECTOR_SUPPORT", "EXPECTED_COMPILER_FAILURE"]>;
+}, "strip", z.ZodTypeAny, {
+    status: "PASS" | "FAIL" | "EXPECTED_COMPILER_FAILURE" | "PARTIAL_TEST_VECTOR_SUPPORT";
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.test";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    sourceHash: string;
+    compilerName: string;
+    compilerVersion: string;
+    compiledScriptHash: string;
+    compileArtifactHash: string;
+    results: {
+        status: "PASS" | "FAIL" | "SKIPPED" | "EXPECTED_COMPILER_FAILURE" | "PARTIAL_TEST_VECTOR_SUPPORT";
+        name: string;
+        reason?: string | undefined;
+    }[];
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+    testVectorsHash?: string | null | undefined;
+}, {
+    status: "PASS" | "FAIL" | "EXPECTED_COMPILER_FAILURE" | "PARTIAL_TEST_VECTOR_SUPPORT";
+    version: "1.0.0-alpha";
+    schema: "hardkas.silver.test";
+    hardkasVersion: string;
+    networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    sourceHash: string;
+    compilerName: string;
+    compilerVersion: string;
+    compiledScriptHash: string;
+    compileArtifactHash: string;
+    results: {
+        status: "PASS" | "FAIL" | "SKIPPED" | "EXPECTED_COMPILER_FAILURE" | "PARTIAL_TEST_VECTOR_SUPPORT";
+        name: string;
+        reason?: string | undefined;
+    }[];
+    schemaVersion?: string | undefined;
+    hashVersion?: string | number | undefined;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    parents?: string[] | undefined;
+    lineageDepth?: number | undefined;
+    workflowId?: string | undefined;
+    assumptionLevel?: string | undefined;
+    scriptProfile?: "experimental" | "standard" | undefined;
+    scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
+    scriptMetadata?: {
+        experimental: boolean;
+        language?: "native" | "silverscript" | "tockata" | undefined;
+        version?: string | undefined;
+        notes?: string[] | undefined;
+        consensusImpact?: "experimental" | "none" | undefined;
+    } | undefined;
+    testVectorsHash?: string | null | undefined;
+}>;
+declare const ProgrammabilityClaimsSchema: z.ZodObject<{
+    artifactCoherence: z.ZodLiteral<"READY_MATCH">;
+    silverScriptBuilder: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
+    zkCorpusSurface: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
+    zkLocalVerification: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
+    risc0InspectSurface: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
+    vProgsInspectSurface: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
+    runtimeOutcome: z.ZodLiteral<"PARTIAL">;
+    vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
+    zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
+    vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
+    vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
+    mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
+}, "strip", z.ZodTypeAny, {
+    mainnet: "BLOCKED_BY_POLICY";
+    artifactCoherence: "READY_MATCH";
+    silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+    zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+    zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+    risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+    vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+    runtimeOutcome: "PARTIAL";
+    vmConsensusEquivalence: "NOT_CLAIMED";
+    zkOnchainVerification: "NOT_CLAIMED";
+    vProgsRuntime: "NOT_CLAIMED";
+    vProgsStableApi: "NOT_CLAIMED";
+}, {
+    mainnet: "BLOCKED_BY_POLICY";
+    artifactCoherence: "READY_MATCH";
+    silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+    zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+    zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+    risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+    vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+    runtimeOutcome: "PARTIAL";
+    vmConsensusEquivalence: "NOT_CLAIMED";
+    zkOnchainVerification: "NOT_CLAIMED";
+    vProgsRuntime: "NOT_CLAIMED";
+    vProgsStableApi: "NOT_CLAIMED";
+}>;
+declare const ProgrammabilityCapabilitiesSchema: z.ZodObject<{
+    schema: z.ZodLiteral<"hardkas.programmability.capabilities.v1">;
+    ok: z.ZodLiteral<true>;
+    status: z.ZodLiteral<"PROGRAMMABILITY_SURFACE_READY">;
+    surfaces: z.ZodObject<{
+        silverScript: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
+        zkCorpus: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
+        groth16FixtureCoherence: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
+        risc0Inspect: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
+        vProgsInspect: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
+    }, "strip", z.ZodTypeAny, {
+        silverScript: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpus: "ZK_CORPUS_SURFACE_READY";
+        groth16FixtureCoherence: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0Inspect: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspect: "VPROGS_INSPECT_SURFACE_READY";
+    }, {
+        silverScript: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpus: "ZK_CORPUS_SURFACE_READY";
+        groth16FixtureCoherence: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0Inspect: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspect: "VPROGS_INSPECT_SURFACE_READY";
+    }>;
+    claims: z.ZodObject<{
+        artifactCoherence: z.ZodLiteral<"READY_MATCH">;
+        silverScriptBuilder: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
+        zkCorpusSurface: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
+        zkLocalVerification: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
+        risc0InspectSurface: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
+        vProgsInspectSurface: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
+        runtimeOutcome: z.ZodLiteral<"PARTIAL">;
+        vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
+        zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
+        vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
+        vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
+        mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
+    }, "strip", z.ZodTypeAny, {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    }, {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    }>;
+    nonClaims: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    status: "PROGRAMMABILITY_SURFACE_READY";
+    schema: "hardkas.programmability.capabilities.v1";
+    ok: true;
+    surfaces: {
+        silverScript: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpus: "ZK_CORPUS_SURFACE_READY";
+        groth16FixtureCoherence: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0Inspect: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspect: "VPROGS_INSPECT_SURFACE_READY";
+    };
+    claims: {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    };
+    nonClaims: string[];
+}, {
+    status: "PROGRAMMABILITY_SURFACE_READY";
+    schema: "hardkas.programmability.capabilities.v1";
+    ok: true;
+    surfaces: {
+        silverScript: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpus: "ZK_CORPUS_SURFACE_READY";
+        groth16FixtureCoherence: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0Inspect: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspect: "VPROGS_INSPECT_SURFACE_READY";
+    };
+    claims: {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    };
+    nonClaims: string[];
+}>;
+declare const ProgrammabilityInspectSchema: z.ZodObject<{
+    schema: z.ZodLiteral<"hardkas.programmability.inspect.v1">;
+    ok: z.ZodBoolean;
+    status: z.ZodEnum<["PROGRAMMABILITY_ARTIFACT_INSPECTED", "PROGRAMMABILITY_ARTIFACT_INVALID"]>;
+    kind: z.ZodEnum<["silver", "zk", "vprog"]>;
+    path: z.ZodString;
+    artifactSchema: z.ZodOptional<z.ZodString>;
+    contentHash: z.ZodOptional<z.ZodString>;
+    sourceStatus: z.ZodOptional<z.ZodString>;
+    claims: z.ZodObject<{
+        artifactCoherence: z.ZodLiteral<"READY_MATCH">;
+        silverScriptBuilder: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
+        zkCorpusSurface: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
+        zkLocalVerification: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
+        risc0InspectSurface: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
+        vProgsInspectSurface: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
+        runtimeOutcome: z.ZodLiteral<"PARTIAL">;
+        vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
+        zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
+        vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
+        vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
+        mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
+    }, "strip", z.ZodTypeAny, {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    }, {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    }>;
+    issues: z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        message: z.ZodString;
+        file: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        code: string;
+        message: string;
+        file?: string | undefined;
+    }, {
+        code: string;
+        message: string;
+        file?: string | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    issues: {
+        code: string;
+        message: string;
+        file?: string | undefined;
+    }[];
+    path: string;
+    status: "PROGRAMMABILITY_ARTIFACT_INSPECTED" | "PROGRAMMABILITY_ARTIFACT_INVALID";
+    schema: "hardkas.programmability.inspect.v1";
+    ok: boolean;
+    claims: {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    };
+    kind: "silver" | "zk" | "vprog";
+    contentHash?: string | undefined;
+    artifactSchema?: string | undefined;
+    sourceStatus?: string | undefined;
+}, {
+    issues: {
+        code: string;
+        message: string;
+        file?: string | undefined;
+    }[];
+    path: string;
+    status: "PROGRAMMABILITY_ARTIFACT_INSPECTED" | "PROGRAMMABILITY_ARTIFACT_INVALID";
+    schema: "hardkas.programmability.inspect.v1";
+    ok: boolean;
+    claims: {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    };
+    kind: "silver" | "zk" | "vprog";
+    contentHash?: string | undefined;
+    artifactSchema?: string | undefined;
+    sourceStatus?: string | undefined;
+}>;
+declare const ProgrammabilityVerifySchema: z.ZodObject<{
+    schema: z.ZodLiteral<"hardkas.programmability.verify.v1">;
+    ok: z.ZodBoolean;
+    status: z.ZodEnum<["PROGRAMMABILITY_VERIFY_PASS", "PROGRAMMABILITY_VERIFY_FAIL", "PROGRAMMABILITY_VERIFY_PARTIAL"]>;
+    kind: z.ZodEnum<["silver", "zk", "vprog"]>;
+    path: z.ZodString;
+    sourceStatus: z.ZodOptional<z.ZodString>;
+    claims: z.ZodObject<{
+        artifactCoherence: z.ZodLiteral<"READY_MATCH">;
+        silverScriptBuilder: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
+        zkCorpusSurface: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
+        zkLocalVerification: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
+        risc0InspectSurface: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
+        vProgsInspectSurface: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
+        runtimeOutcome: z.ZodLiteral<"PARTIAL">;
+        vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
+        zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
+        vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
+        vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
+        mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
+    }, "strip", z.ZodTypeAny, {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    }, {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    }>;
+    issues: z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        message: z.ZodString;
+        file: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        code: string;
+        message: string;
+        file?: string | undefined;
+    }, {
+        code: string;
+        message: string;
+        file?: string | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    issues: {
+        code: string;
+        message: string;
+        file?: string | undefined;
+    }[];
+    path: string;
+    status: "PROGRAMMABILITY_VERIFY_PASS" | "PROGRAMMABILITY_VERIFY_FAIL" | "PROGRAMMABILITY_VERIFY_PARTIAL";
+    schema: "hardkas.programmability.verify.v1";
+    ok: boolean;
+    claims: {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    };
+    kind: "silver" | "zk" | "vprog";
+    sourceStatus?: string | undefined;
+}, {
+    issues: {
+        code: string;
+        message: string;
+        file?: string | undefined;
+    }[];
+    path: string;
+    status: "PROGRAMMABILITY_VERIFY_PASS" | "PROGRAMMABILITY_VERIFY_FAIL" | "PROGRAMMABILITY_VERIFY_PARTIAL";
+    schema: "hardkas.programmability.verify.v1";
+    ok: boolean;
+    claims: {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    };
+    kind: "silver" | "zk" | "vprog";
+    sourceStatus?: string | undefined;
+}>;
+declare const ProgrammabilityCorpusReportSchema: z.ZodObject<{
+    schema: z.ZodLiteral<"hardkas.programmability.corpusReport.v1">;
+    ok: z.ZodBoolean;
+    path: z.ZodString;
+    status: z.ZodEnum<["PROGRAMMABILITY_CORPUS_PASS", "PROGRAMMABILITY_CORPUS_FAIL"]>;
+    summary: z.ZodObject<{
+        silver: z.ZodEnum<["PASS", "FAIL", "SKIPPED"]>;
+        zk: z.ZodEnum<["PASS", "FAIL", "SKIPPED"]>;
+        vprogs: z.ZodEnum<["PASS", "FAIL", "SKIPPED"]>;
+        rootManifest: z.ZodEnum<["PASS", "FAIL"]>;
+        knownLimitations: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        silver: "PASS" | "FAIL" | "SKIPPED";
+        zk: "PASS" | "FAIL" | "SKIPPED";
+        vprogs: "PASS" | "FAIL" | "SKIPPED";
+        rootManifest: "PASS" | "FAIL";
+        knownLimitations: string[];
+    }, {
+        silver: "PASS" | "FAIL" | "SKIPPED";
+        zk: "PASS" | "FAIL" | "SKIPPED";
+        vprogs: "PASS" | "FAIL" | "SKIPPED";
+        rootManifest: "PASS" | "FAIL";
+        knownLimitations: string[];
+    }>;
+    claims: z.ZodObject<{
+        artifactCoherence: z.ZodLiteral<"READY_MATCH">;
+        silverScriptBuilder: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
+        zkCorpusSurface: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
+        zkLocalVerification: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
+        risc0InspectSurface: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
+        vProgsInspectSurface: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
+        runtimeOutcome: z.ZodLiteral<"PARTIAL">;
+        vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
+        zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
+        vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
+        vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
+        mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
+    }, "strip", z.ZodTypeAny, {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    }, {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    }>;
+    issues: z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        message: z.ZodString;
+        file: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        code: string;
+        message: string;
+        file?: string | undefined;
+    }, {
+        code: string;
+        message: string;
+        file?: string | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    issues: {
+        code: string;
+        message: string;
+        file?: string | undefined;
+    }[];
+    path: string;
+    status: "PROGRAMMABILITY_CORPUS_PASS" | "PROGRAMMABILITY_CORPUS_FAIL";
+    schema: "hardkas.programmability.corpusReport.v1";
+    ok: boolean;
+    claims: {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    };
+    summary: {
+        silver: "PASS" | "FAIL" | "SKIPPED";
+        zk: "PASS" | "FAIL" | "SKIPPED";
+        vprogs: "PASS" | "FAIL" | "SKIPPED";
+        rootManifest: "PASS" | "FAIL";
+        knownLimitations: string[];
+    };
+}, {
+    issues: {
+        code: string;
+        message: string;
+        file?: string | undefined;
+    }[];
+    path: string;
+    status: "PROGRAMMABILITY_CORPUS_PASS" | "PROGRAMMABILITY_CORPUS_FAIL";
+    schema: "hardkas.programmability.corpusReport.v1";
+    ok: boolean;
+    claims: {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    };
+    summary: {
+        silver: "PASS" | "FAIL" | "SKIPPED";
+        zk: "PASS" | "FAIL" | "SKIPPED";
+        vprogs: "PASS" | "FAIL" | "SKIPPED";
+        rootManifest: "PASS" | "FAIL";
+        knownLimitations: string[];
+    };
+}>;
+declare const ProgrammabilityAppPlanSchema: z.ZodObject<{
+    schema: z.ZodLiteral<"hardkas.programmability.appPlan.v1">;
+    ok: z.ZodLiteral<true>;
+    status: z.ZodLiteral<"PROGRAMMABILITY_APP_PLAN_READY">;
+    kind: z.ZodEnum<["silver", "zk", "vprog", "full-lab"]>;
+    template: z.ZodString;
+    commands: z.ZodArray<z.ZodString, "many">;
+    sdkSurfaces: z.ZodArray<z.ZodString, "many">;
+    claims: z.ZodObject<{
+        artifactCoherence: z.ZodLiteral<"READY_MATCH">;
+        silverScriptBuilder: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
+        zkCorpusSurface: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
+        zkLocalVerification: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
+        risc0InspectSurface: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
+        vProgsInspectSurface: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
+        runtimeOutcome: z.ZodLiteral<"PARTIAL">;
+        vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
+        zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
+        vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
+        vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
+        mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
+    }, "strip", z.ZodTypeAny, {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    }, {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    }>;
+    nonClaims: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    status: "PROGRAMMABILITY_APP_PLAN_READY";
+    schema: "hardkas.programmability.appPlan.v1";
+    ok: true;
+    claims: {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    };
+    nonClaims: string[];
+    kind: "silver" | "zk" | "vprog" | "full-lab";
+    template: string;
+    commands: string[];
+    sdkSurfaces: string[];
+}, {
+    status: "PROGRAMMABILITY_APP_PLAN_READY";
+    schema: "hardkas.programmability.appPlan.v1";
+    ok: true;
+    claims: {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+        zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+        zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+        risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+        vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    };
+    nonClaims: string[];
+    kind: "silver" | "zk" | "vprog" | "full-lab";
+    template: string;
+    commands: string[];
+    sdkSurfaces: string[];
+}>;
+declare const ToccataProgrammabilityCorpusSchema: z.ZodObject<{
+    schema: z.ZodLiteral<"hardkas.toccataProgrammabilityCorpus.v1">;
+    version: z.ZodString;
+    network: z.ZodLiteral<"simnet">;
+    profile: z.ZodLiteral<"toccata-v2">;
+    status: z.ZodLiteral<"PROGRAMMABILITY_SURFACE_READY">;
+    components: z.ZodRecord<z.ZodString, z.ZodAny>;
+    claims: z.ZodObject<{
+        artifactCoherence: z.ZodLiteral<"READY_MATCH">;
+        runtimeOutcome: z.ZodLiteral<"PARTIAL">;
+        vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
+        zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
+        vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
+        vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
+        mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
+    }, "strip", z.ZodTypeAny, {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    }, {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    }>;
+    expectedKnownLimitations: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    status: "PROGRAMMABILITY_SURFACE_READY";
+    version: string;
+    schema: "hardkas.toccataProgrammabilityCorpus.v1";
+    network: "simnet";
+    claims: {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    };
+    profile: "toccata-v2";
+    components: Record<string, any>;
+    expectedKnownLimitations: string[];
+}, {
+    status: "PROGRAMMABILITY_SURFACE_READY";
+    version: string;
+    schema: "hardkas.toccataProgrammabilityCorpus.v1";
+    network: "simnet";
+    claims: {
+        mainnet: "BLOCKED_BY_POLICY";
+        artifactCoherence: "READY_MATCH";
+        runtimeOutcome: "PARTIAL";
+        vmConsensusEquivalence: "NOT_CLAIMED";
+        zkOnchainVerification: "NOT_CLAIMED";
+        vProgsRuntime: "NOT_CLAIMED";
+        vProgsStableApi: "NOT_CLAIMED";
+    };
+    profile: "toccata-v2";
+    components: Record<string, any>;
+    expectedKnownLimitations: string[];
+}>;
+type ProgrammabilityClaimsSchemaType = z.infer<typeof ProgrammabilityClaimsSchema>;
+type ProgrammabilityCapabilitiesSchemaType = z.infer<typeof ProgrammabilityCapabilitiesSchema>;
+type ProgrammabilityInspectSchemaType = z.infer<typeof ProgrammabilityInspectSchema>;
+type ProgrammabilityVerifySchemaType = z.infer<typeof ProgrammabilityVerifySchema>;
+type ProgrammabilityCorpusReportSchemaType = z.infer<typeof ProgrammabilityCorpusReportSchema>;
+type ProgrammabilityAppPlanSchemaType = z.infer<typeof ProgrammabilityAppPlanSchema>;
+type ToccataProgrammabilityCorpusSchemaType = z.infer<typeof ToccataProgrammabilityCorpusSchema>;
 interface ArtifactValidationResult {
     ok: boolean;
@@ -2492,7 +4531,7 @@ interface IgraTxRequestArtifact {
     readonly nonce?: string;
 }
 interface IgraTxPlanArtifact {
-    readonly schema: "hardkas.igraTxPlan.v1";
+    readonly schema: typeof HardkasSchemas.IgraTxPlanV1;
     readonly hardkasVersion: string;
     readonly networkId: string;
     readonly mode: "l2-rpc";
@@ -2507,7 +4546,7 @@ interface IgraTxPlanArtifact {
     readonly status: "built";
 }
 interface IgraSignedTxArtifact {
-    readonly schema: "hardkas.igraSignedTx.v1";
+    readonly schema: typeof HardkasSchemas.IgraSignedTxV1;
     readonly hardkasVersion: string;
     readonly networkId: string;
     readonly mode: "l2-rpc";
@@ -2522,7 +4561,7 @@ interface IgraSignedTxArtifact {
     readonly status: "signed";
 }
 interface IgraTxReceiptArtifact {
-    readonly schema: "hardkas.igraTxReceipt.v1";
+    readonly schema: typeof HardkasSchemas.IgraTxReceiptV1;
     readonly hardkasVersion: string;
     readonly networkId: string;
     readonly mode: "l2-rpc";
@@ -2615,7 +4654,7 @@ interface TxOutputArtifact {
     readonly script?: string | undefined;
 }
 interface TxPlanArtifactV1 extends HardkasArtifactBase {
-    readonly schema: "hardkas.txPlan.v1";
+    readonly schema: typeof HardkasSchemas.TxPlanV1;
     readonly status: "built" | "unsigned";
     readonly planId: string;
     readonly from: {
@@ -2639,7 +4678,7 @@ interface TxPlanArtifactV1 extends HardkasArtifactBase {
     readonly metadata?: Record<string, any> | undefined;
 }
 interface SignedTxArtifactV1 extends HardkasArtifactBase {
-    readonly schema: "hardkas.signedTx.v1";
+    readonly schema: typeof HardkasSchemas.SignedTxV1;
     readonly status: "signed";
     readonly signedId: string;
     readonly sourcePlanId: string;
@@ -2663,7 +4702,7 @@ interface SignedTxArtifactV1 extends HardkasArtifactBase {
     readonly metadata?: Record<string, any> | undefined;
 }
 interface TxReceiptArtifactV1 extends HardkasArtifactBase {
-    readonly schema: "hardkas.txReceipt.v1";
+    readonly schema: typeof HardkasSchemas.TxReceiptV1;
     readonly status: "submitted" | "accepted" | "confirmed" | "finalized" | "failed";
     readonly txId: TxId;
     readonly sourceSignedId?: ArtifactId | undefined;
@@ -2688,7 +4727,7 @@ interface TxReceiptArtifactV1 extends HardkasArtifactBase {
     readonly metadata?: Record<string, any> | undefined;
 }
 interface TxTraceArtifactV1 extends HardkasArtifactBase {
-    readonly schema: "hardkas.txTrace.v1";
+    readonly schema: typeof HardkasSchemas.TxTraceV1;
     readonly txId: TxId;
     readonly steps: Array<{
         phase: string;
@@ -2888,7 +4927,7 @@ interface WorkflowArtifact extends BaseArtifact<"workflow.v1"> {
     };
 }
 interface DeploymentRecord extends HardkasArtifactBase {
-    schema: "hardkas.deployment.v1";
+    schema: typeof HardkasSchemas.DeploymentV1;
     /** Human-readable label (e.g., "initial-funding", "vault-covenant-v1") */
     label: string;
     /** Network where this was deployed */
@@ -2917,7 +4956,7 @@ interface DeploymentRecord extends HardkasArtifactBase {
     notes?: string;
 }
 interface DeploymentIndex extends HardkasArtifactBase {
-    schema: "hardkas.deploymentIndex.v1";
+    schema: typeof HardkasSchemas.DeploymentIndexV1;
     networkId: NetworkId;
     deployments: DeploymentSummary[];
     lastUpdated: string;
@@ -2930,6 +4969,175 @@ interface DeploymentSummary {
     deployedAt: string;
     contentHash: string;
 }
+interface SilverCompileArtifact extends BaseArtifact<"silver.compile"> {
+    sourcePath: string;
+    sourceHash: string;
+    compilerName: string;
+    compilerVersion: string;
+    compilerCommand: string;
+    compiledScriptHex?: string | undefined;
+    compiledScriptHash?: string | undefined;
+    abi?: any | undefined;
+    network: string;
+    assumptions?: string[] | undefined;
+}
+interface SilverTestArtifact extends BaseArtifact<"silver.test"> {
+    compileArtifactHash: string;
+    sourceHash: string;
+    compiledScriptHash: string;
+    testVectorsHash?: string | null | undefined;
+    compilerName: string;
+    compilerVersion: string;
+    results: Array<{
+        name: string;
+        status: "PASS" | "FAIL" | "SKIPPED" | "EXPECTED_COMPILER_FAILURE" | "PARTIAL_TEST_VECTOR_SUPPORT";
+        reason?: string | undefined;
+    }>;
+    status: "PASS" | "FAIL" | "PARTIAL_TEST_VECTOR_SUPPORT" | "EXPECTED_COMPILER_FAILURE";
+}
+interface SilverDeployPlanArtifact extends BaseArtifact<"silver.deployPlan"> {
+    compileArtifactHash: string;
+    compiledScriptHash: string;
+    redeemScriptHex: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    scriptPublicKeyVersion: number;
+    amountSompi: string;
+    deployerAddress: string;
+}
+interface SilverDeployArtifact extends BaseArtifact<"silver.deploy"> {
+    deployPlanHash: string;
+    compileArtifactHash: string;
+    compiledScriptHash: string;
+    redeemScriptHex: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    scriptPublicKeyVersion: number;
+    deployTxId: string;
+    outputIndex: number;
+    amountSompi: string;
+    nodeVersion: string;
+}
+interface SilverSpendPlanArtifact extends BaseArtifact<"silver.spendPlan"> {
+    deployArtifactHash: string;
+    compileArtifactHash: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    contractUtxoRef: {
+        transactionId: string;
+        index: number;
+    };
+    args: Array<{
+        type: "hex";
+        value: string;
+    }>;
+    argsHash: string;
+    signatureScriptHex: string;
+    expectedOutputs: Array<{
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }>;
+    assumptionLevel?: AssumptionLevel | undefined;
+}
+interface SilverSpendReceiptArtifact extends BaseArtifact<"silver.spendReceipt"> {
+    spendPlanHash: string;
+    deployArtifactHash?: string | undefined;
+    redeemScriptHash?: string | undefined;
+    lockingScriptHex?: string | undefined;
+    signatureScriptHex?: string | undefined;
+    spentOutpoint?: {
+        transactionId: string;
+        index: number;
+    } | undefined;
+    expectedOutputs?: Array<{
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }> | undefined;
+    txId: string;
+    status: "simulated" | "submitted" | "accepted" | "rejected";
+}
+interface SilverDeploySimulationArtifact extends BaseArtifact<"silver.deploySimulation"> {
+    deployPlanHash: string;
+    compileArtifactHash: string;
+    compiledScriptHash: string;
+    redeemScriptHex: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    scriptPublicKeyVersion: 0;
+    simulatedDeployTxId: string;
+    syntheticOutpoint: {
+        transactionId: string;
+        index: number;
+    };
+    amountSompi: string;
+    feeSompi: string;
+    status: "SIMULATED_ACCEPTED";
+}
+interface SilverSpendSimulationArtifact extends BaseArtifact<"silver.spendSimulation"> {
+    deploySimulationHash: string;
+    spendPlanHash: string;
+    redeemScriptHash: string;
+    lockingScriptHex: string;
+    signatureScriptHex: string;
+    simulatedSpendTxId: string;
+    spentOutpoint: {
+        transactionId: string;
+        index: number;
+    };
+    expectedOutputs: Array<{
+        address: string;
+        amountSompi: string;
+        scriptHash?: string | undefined;
+    }>;
+    feeSompi: string;
+    status: "SIMULATED_ACCEPTED";
+}
+interface ProgrammabilityClaims {
+    artifactCoherence: "READY_MATCH";
+    silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
+    zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
+    zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
+    risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
+    vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
+    runtimeOutcome: "PARTIAL";
+    vmConsensusEquivalence: "NOT_CLAIMED";
+    zkOnchainVerification: "NOT_CLAIMED";
+    vProgsRuntime: "NOT_CLAIMED";
+    vProgsStableApi: "NOT_CLAIMED";
+    mainnet: "BLOCKED_BY_POLICY";
+}
+interface ProgrammabilityCapabilitiesArtifact {
+    schema: typeof HardkasSchemas.ProgrammabilityCapabilitiesV1;
+    ok: true;
+    status: "PROGRAMMABILITY_SURFACE_READY";
+    claims: ProgrammabilityClaims;
+}
+interface ProgrammabilityInspectArtifact {
+    schema: typeof HardkasSchemas.ProgrammabilityInspectV1;
+    ok: boolean;
+    status: "PROGRAMMABILITY_ARTIFACT_INSPECTED" | "PROGRAMMABILITY_ARTIFACT_INVALID";
+    claims: ProgrammabilityClaims;
+}
+interface ProgrammabilityVerifyArtifact {
+    schema: typeof HardkasSchemas.ProgrammabilityVerifyV1;
+    ok: boolean;
+    status: "PROGRAMMABILITY_VERIFY_PASS" | "PROGRAMMABILITY_VERIFY_FAIL" | "PROGRAMMABILITY_VERIFY_PARTIAL";
+    claims: ProgrammabilityClaims;
+}
+interface ProgrammabilityCorpusReportArtifact {
+    schema: typeof HardkasSchemas.ProgrammabilityCorpusReportV1;
+    ok: boolean;
+    status: "PROGRAMMABILITY_CORPUS_PASS" | "PROGRAMMABILITY_CORPUS_FAIL";
+    claims: ProgrammabilityClaims;
+}
+interface ProgrammabilityAppPlanArtifact {
+    schema: typeof HardkasSchemas.ProgrammabilityAppPlanV1;
+    ok: true;
+    status: "PROGRAMMABILITY_APP_PLAN_READY";
+    claims: ProgrammabilityClaims;
+}
 declare const SEMANTIC_EXCLUSIONS: Set<string>;
 declare const V4_SEMANTIC_EXCLUSIONS: Set<string>;
@@ -3521,4 +5729,4 @@ interface ExternalHardkasSigner {
     signTransaction(txPlan: TxPlanArtifact): Promise<SignedTxArtifact>;
 }
-export { ARTIFACT_SCHEMAS, ARTIFACT_VERSION, AccountRefSchema, type ArtifactDiff, type ArtifactExplanation, ArtifactLineageSchema, type ArtifactLookup, type ArtifactPayload, type ArtifactValidationResult, type ArtifactVerificationResult, type Assumption, type AssumptionArtifact, type AssumptionLevel, AssumptionSchema, type BaseArtifact, BaseArtifactSchema, BasicCorrelationInvariant, BasicLineageInvariant, CURRENT_HASH_VERSION, type Clock, type CreateTxPlanArtifactOptions, type DagContext, DagContextSchema, type DeploymentIndex, type DeploymentRecord, type DeploymentSummary, type DiffEntry, type DraftArtifact, type ExternalHardkasSigner, type FeeAuditResult, HARDKAS_VERSION, type HardkasArtifactBase, type HardkasArtifactMode, type HardkasArtifactSchema, HashInvariant, type IgraSignedTxArtifact, type IgraTxPlanArtifact, type IgraTxReceiptArtifact, type IgraTxRequestArtifact, type Invariant, type InvariantContext, type InvariantViolation, InvariantWatcher, LifecycleInvariant, type LineageOptions, type LineageValidationResult, LocalnetUtxoSchemaV2, type MigrationReceipt, type MigrationReceiptArtifact, MigrationReceiptSchema, MigrationRequiredError, type MigrationResult, type MigrationStep, NetworkInvariant, type NetworkProfile, type NetworkProfileArtifact, NetworkProfileSchema, type Policy, type PolicyArtifact, PolicySchema, ReplayInvariant, type RuntimeSession, RuntimeSessionSchema, SEMANTIC_EXCLUSIONS, STRICT_PATH_KEYS, SchemaInvariant, type ScriptCapability, ScriptCapabilitySchema, ScriptMetadataSchema, SignatureEntrySchema, SignatureMetadataEntrySchema, type SignedTx, type SignedTxArtifact, type SignedTxArtifactV1, SignedTxSchema, type Snapshot, type SnapshotArtifact, SnapshotSchema, type TxOutputArtifact, type TxPlan, type TxPlanArtifact, type TxPlanArtifactV1, TxPlanSchema, type TxReceipt, type TxReceiptArtifact, type TxReceiptArtifactV1, TxReceiptSchema, type TxTrace, type TxTraceArtifact, type TxTraceArtifactV1, TxTraceSchema, type UtxoArtifact, V4_SEMANTIC_EXCLUSIONS, type VerificationContext, type VerificationIssue, type VerificationSeverity, type WatcherOptions, type Workflow, type WorkflowArtifact, WorkflowSchema, assertDecimalBigIntString, assertEvmAddress, assertEvmTxHash, assertHexData, assertValidIgraSignedTxArtifact, assertValidIgraTxPlanArtifact, assertValidIgraTxReceiptArtifact, assertValidSignedTxArtifact, assertValidTxPlanArtifact, assertValidTxReceiptArtifact, bigIntReplacer, calculateContentHash, canMigrate, canonicalStringify, createDeploymentRecord, createIgraDeployPlanId, createIgraPlanId, createIgraSignedId, createLineageTransition, createSimulatedSignedTxArtifact, createSimulatedTxReceipt, createTxPlanArtifact, defaultClock, deleteDeployment, detectArtifactVersion, diffArtifacts, explainArtifact, formatSignedTxArtifact, formatTxPlanArtifact, formatTxReceiptArtifact, generateMigrationReceipt, getBroadcastableSignedTransaction, getDefaultL2ReceiptsDir, getDefaultReceiptPath, getL2ReceiptPath, getMigrationPath, getRegisteredMigrationSteps, isIgraTxPlanArtifact, listDeployments, listIgraTxReceiptArtifacts, loadDeployment, loadIgraTxReceiptArtifact, migrateArtifactPayload, migrateToCanonical, readArtifact, readSignedTxArtifact, readTxPlanArtifact, readTxReceiptArtifact, recomputeMass, registerMigrationStep, saveDeployment, saveIgraTxReceiptArtifact, sortUtxosByOutpoint, txOutputFromArtifact, txOutputToArtifact, updateDeployment, updateDeploymentStatus, utxoFromArtifact, utxoToArtifact, validateArtifact, validateIgraSignedTxArtifact, validateIgraTxPlanArtifact, validateIgraTxReceiptArtifact, validateSignedTxArtifact, validateTxPlanArtifact, validateTxReceiptArtifact, verifyArtifact, verifyArtifactFile, verifyArtifactIntegrity, verifyArtifactIntegritySync, verifyArtifactReplay, verifyArtifactSemantics, verifyFeeSemantics, verifyLineage, writeArtifact };
+export { ARTIFACT_SCHEMAS, ARTIFACT_VERSION, AccountRefSchema, type ArtifactDiff, type ArtifactExplanation, ArtifactLineageSchema, type ArtifactLookup, type ArtifactPayload, type ArtifactValidationResult, type ArtifactVerificationResult, type Assumption, type AssumptionArtifact, type AssumptionLevel, AssumptionSchema, type BaseArtifact, BaseArtifactSchema, BasicCorrelationInvariant, BasicLineageInvariant, CURRENT_HASH_VERSION, type Clock, type CreateTxPlanArtifactOptions, type DagContext, DagContextSchema, type DeploymentIndex, type DeploymentRecord, type DeploymentSummary, type DiffEntry, type DraftArtifact, type ExternalHardkasSigner, type FeeAuditResult, HARDKAS_VERSION, type HardkasArtifactBase, type HardkasArtifactMode, type HardkasArtifactSchema, HashInvariant, type IgraSignedTxArtifact, type IgraTxPlanArtifact, type IgraTxReceiptArtifact, type IgraTxRequestArtifact, type Invariant, type InvariantContext, type InvariantViolation, InvariantWatcher, LifecycleInvariant, type LineageOptions, type LineageValidationResult, LocalnetUtxoSchemaV2, type MigrationReceipt, type MigrationReceiptArtifact, MigrationReceiptSchema, MigrationRequiredError, type MigrationResult, type MigrationStep, NetworkInvariant, type NetworkProfile, type NetworkProfileArtifact, NetworkProfileSchema, type Policy, type PolicyArtifact, PolicySchema, type ProgrammabilityAppPlanArtifact, ProgrammabilityAppPlanSchema, type ProgrammabilityAppPlanSchemaType, type ProgrammabilityCapabilitiesArtifact, ProgrammabilityCapabilitiesSchema, type ProgrammabilityCapabilitiesSchemaType, type ProgrammabilityClaims, ProgrammabilityClaimsSchema, type ProgrammabilityClaimsSchemaType, type ProgrammabilityCorpusReportArtifact, ProgrammabilityCorpusReportSchema, type ProgrammabilityCorpusReportSchemaType, type ProgrammabilityInspectArtifact, ProgrammabilityInspectSchema, type ProgrammabilityInspectSchemaType, type ProgrammabilityVerifyArtifact, ProgrammabilityVerifySchema, type ProgrammabilityVerifySchemaType, ReplayInvariant, type RuntimeSession, RuntimeSessionSchema, SEMANTIC_EXCLUSIONS, STRICT_PATH_KEYS, SchemaInvariant, type ScriptCapability, ScriptCapabilitySchema, ScriptMetadataSchema, SignatureEntrySchema, SignatureMetadataEntrySchema, type SignedTx, type SignedTxArtifact, type SignedTxArtifactV1, SignedTxSchema, type SilverCompileArtifact, SilverCompileArtifactSchema, type SilverDeployArtifact, SilverDeployArtifactSchema, type SilverDeployPlanArtifact, SilverDeployPlanArtifactSchema, type SilverDeploySimulationArtifact, SilverDeploySimulationArtifactSchema, SilverScriptArgSchema, type SilverSpendPlanArtifact, SilverSpendPlanArtifactSchema, type SilverSpendReceiptArtifact, SilverSpendReceiptArtifactSchema, type SilverSpendSimulationArtifact, SilverSpendSimulationArtifactSchema, type SilverTestArtifact, SilverTestArtifactSchema, type Snapshot, type SnapshotArtifact, SnapshotSchema, ToccataProgrammabilityCorpusSchema, type ToccataProgrammabilityCorpusSchemaType, type TxOutputArtifact, type TxPlan, type TxPlanArtifact, type TxPlanArtifactV1, TxPlanSchema, type TxReceipt, type TxReceiptArtifact, type TxReceiptArtifactV1, TxReceiptSchema, type TxTrace, type TxTraceArtifact, type TxTraceArtifactV1, TxTraceSchema, type UtxoArtifact, V4_SEMANTIC_EXCLUSIONS, type VerificationContext, type VerificationIssue, type VerificationSeverity, type WatcherOptions, type Workflow, type WorkflowArtifact, WorkflowSchema, assertDecimalBigIntString, assertEvmAddress, assertEvmTxHash, assertHexData, assertValidIgraSignedTxArtifact, assertValidIgraTxPlanArtifact, assertValidIgraTxReceiptArtifact, assertValidSignedTxArtifact, assertValidTxPlanArtifact, assertValidTxReceiptArtifact, bigIntReplacer, calculateContentHash, canMigrate, canonicalStringify, createDeploymentRecord, createIgraDeployPlanId, createIgraPlanId, createIgraSignedId, createLineageTransition, createSimulatedSignedTxArtifact, createSimulatedTxReceipt, createTxPlanArtifact, defaultClock, deleteDeployment, detectArtifactVersion, diffArtifacts, explainArtifact, formatSignedTxArtifact, formatTxPlanArtifact, formatTxReceiptArtifact, generateMigrationReceipt, getBroadcastableSignedTransaction, getDefaultL2ReceiptsDir, getDefaultReceiptPath, getL2ReceiptPath, getMigrationPath, getRegisteredMigrationSteps, isIgraTxPlanArtifact, listDeployments, listIgraTxReceiptArtifacts, loadDeployment, loadIgraTxReceiptArtifact, migrateArtifactPayload, migrateToCanonical, readArtifact, readSignedTxArtifact, readTxPlanArtifact, readTxReceiptArtifact, recomputeMass, registerMigrationStep, saveDeployment, saveIgraTxReceiptArtifact, sortUtxosByOutpoint, txOutputFromArtifact, txOutputToArtifact, updateDeployment, updateDeploymentStatus, utxoFromArtifact, utxoToArtifact, validateArtifact, validateIgraSignedTxArtifact, validateIgraTxPlanArtifact, validateIgraTxReceiptArtifact, validateSignedTxArtifact, validateTxPlanArtifact, validateTxReceiptArtifact, verifyArtifact, verifyArtifactFile, verifyArtifactIntegrity, verifyArtifactIntegritySync, verifyArtifactReplay, verifyArtifactSemantics, verifyFeeSemantics, verifyLineage, writeArtifact };