@hardkas/sdk 0.9.2-alpha → 0.9.4-alpha

package/dist/index.d.ts

@@ -280,13 +280,13 @@ declare class HardkasLocalnet {
      * Initializes the in-memory simulated workspace.
      *
      * Docker Toccata process control remains a CLI/localnet responsibility in
-     * 0.9.2-alpha; the SDK reports that boundary instead of silently shelling out.
+     * 0.9.4-alpha; the SDK reports that boundary instead of silently shelling out.
      */
     start(options?: LocalnetProfileOptions): Promise<LocalnetControlResult>;
     /**
      * Funds a simulated account through the SDK transaction flow.
      *
-     * Toccata Docker mining/funding remains CLI-only in 0.9.2-alpha because it
+     * Toccata Docker mining/funding remains CLI-only in 0.9.4-alpha because it
      * depends on a local stratum/miner companion and host Docker state.
      */
     fund(identifier: string, options?: LocalnetProfileOptions & {
@@ -545,6 +545,9 @@ interface SilverCompareReport {
     notes: SilverCompareEntry[];
     expectedKnownLimitations: ["PARTIAL_VM_SIMULATION"];
 }
+declare const SilverScript: {
+    builder(): never;
+};
 declare class HardkasSilver {
     private sdk;
     readonly simulate: {
@@ -855,6 +858,7 @@ declare const defineTask: {
 interface HardkasOptions {
     cwd?: string;
     configPath?: string;
+    workspaceRoot?: string;
     mode?: "developer" | "agent";
     network?: string;
     autoBootstrap?: boolean;
@@ -925,4 +929,4 @@ declare class Hardkas {
     enforcePolicy(action: "network" | "mainnet" | "external-wallet" | "mutation", context?: string): void;
 }
 
-export { type CorpusIssue, type CorpusVerifyResult, Hardkas, HardkasAccounts, HardkasArtifactsManager, type HardkasCapabilities, HardkasCapabilitiesApi, HardkasCorpus, HardkasL2, HardkasLineage, HardkasLocalnet, type HardkasOptions, HardkasProgrammability, HardkasQuery, HardkasReplay, HardkasSilver, HardkasTx, HardkasVprogs, HardkasWorkspace, HardkasZk, type ProgrammabilityAppPlan, type ProgrammabilityCapabilitiesResult, type ProgrammabilityClaims, type ProgrammabilityCorpusReport, type ProgrammabilityInspectResult, type ProgrammabilityKind, type ProgrammabilityVerifyResult, type SilverCompareMode, type SilverCompareOptions, type SilverCompareReport, type SilverCompileOptions, type SilverDeployPlanOptions, type SilverSdkArtifactResult, type SilverSdkWriteOptions, type SilverSpendPlanOptions, type TaskArgs, type TaskContext, type VprogsCapabilitiesResult, type VprogsClaims, type VprogsInspectResult, type VprogsStatusResult, type ZkCapabilities, type ZkCorpusVerifyResult, type ZkIssue, type ZkProofInspectResult, type ZkProofSystem, type ZkProofVerifyResult, createHardkasCapabilities, createProgrammabilityCapabilities, createVprogsCapabilities, createVprogsStatus, createZkCapabilities, defineTask, inspectVprogsArtifact, inspectZkProof, programmabilityClaims, verifyToccataCorpus, verifyZkCorpus, verifyZkProofLocal };
+export { type CorpusIssue, type CorpusVerifyResult, Hardkas, HardkasAccounts, HardkasArtifactsManager, type HardkasCapabilities, HardkasCapabilitiesApi, HardkasCorpus, HardkasL2, HardkasLineage, HardkasLocalnet, type HardkasOptions, HardkasProgrammability, HardkasQuery, HardkasReplay, HardkasSilver, HardkasTx, HardkasVprogs, HardkasWorkspace, HardkasZk, type ProgrammabilityAppPlan, type ProgrammabilityCapabilitiesResult, type ProgrammabilityClaims, type ProgrammabilityCorpusReport, type ProgrammabilityInspectResult, type ProgrammabilityKind, type ProgrammabilityVerifyResult, type SilverCompareMode, type SilverCompareOptions, type SilverCompareReport, type SilverCompileOptions, type SilverDeployPlanOptions, SilverScript, type SilverSdkArtifactResult, type SilverSdkWriteOptions, type SilverSpendPlanOptions, type TaskArgs, type TaskContext, type VprogsCapabilitiesResult, type VprogsClaims, type VprogsInspectResult, type VprogsStatusResult, type ZkCapabilities, type ZkCorpusVerifyResult, type ZkIssue, type ZkProofInspectResult, type ZkProofSystem, type ZkProofVerifyResult, createHardkasCapabilities, createProgrammabilityCapabilities, createVprogsCapabilities, createVprogsStatus, createZkCapabilities, defineTask, inspectVprogsArtifact, inspectZkProof, programmabilityClaims, verifyToccataCorpus, verifyZkCorpus, verifyZkProofLocal };

package/dist/index.js

@@ -1159,7 +1159,7 @@ var HardkasLocalnet = class {
    * Initializes the in-memory simulated workspace.
    *
    * Docker Toccata process control remains a CLI/localnet responsibility in
-   * 0.9.2-alpha; the SDK reports that boundary instead of silently shelling out.
+   * 0.9.4-alpha; the SDK reports that boundary instead of silently shelling out.
    */
   async start(options = {}) {
     const profile = options.profile || "simulated";
@@ -1177,13 +1177,13 @@ var HardkasLocalnet = class {
       schema: HardkasSchemas2.LocalnetControlV1,
       profile,
       status: "SDK_LOCALNET_CONTROL_UNSUPPORTED",
-      message: "SDK Docker localnet start is not supported in 0.9.2-alpha. Use `hardkas localnet start --profile toccata-v2`."
+      message: "SDK Docker localnet start is not supported in 0.9.4-alpha. Use `hardkas localnet start --profile toccata-v2`."
     };
   }
   /**
    * Funds a simulated account through the SDK transaction flow.
    *
-   * Toccata Docker mining/funding remains CLI-only in 0.9.2-alpha because it
+   * Toccata Docker mining/funding remains CLI-only in 0.9.4-alpha because it
    * depends on a local stratum/miner companion and host Docker state.
    */
   async fund(identifier, options = {}) {
@@ -1207,7 +1207,7 @@ var HardkasLocalnet = class {
       profile,
       identifier,
       status: "SDK_TOCCATA_FUNDING_UNSUPPORTED",
-      message: "SDK Toccata funding is not supported in 0.9.2-alpha. Use `hardkas localnet fund <account> --profile toccata-v2`."
+      message: "SDK Toccata funding is not supported in 0.9.4-alpha. Use `hardkas localnet fund <account> --profile toccata-v2`."
     };
   }
   /**
@@ -2564,6 +2564,13 @@ import {
   simulateSilverSpend
 } from "@hardkas/simulator";
 import { HardkasSchemas as HardkasSchemas6 } from "@hardkas/artifacts";
+var SilverScript = {
+  builder() {
+    throw new Error(
+      "SILVERSCRIPT_MAINNET_NOT_ENABLED: SilverScript builder is experimental and requires simnet capability checks in 0.9.4-alpha."
+    );
+  }
+};
 var HardkasSilver = class {
   constructor(sdk) {
     this.sdk = sdk;
@@ -2653,7 +2660,7 @@ var HardkasSilver = class {
   async deploy(options) {
     if (options.mode === "real") {
       throw new Error(
-        "SDK_SILVER_REAL_LIFECYCLE_UNSUPPORTED: use `hardkas silver deploy` for Docker/RPC execution in 0.9.2-alpha."
+        "SDK_SILVER_REAL_LIFECYCLE_UNSUPPORTED: use `hardkas silver deploy` for Docker/RPC execution in 0.9.4-alpha."
       );
     }
     return this.simulateDeploy(options.artifact, options);
@@ -2713,7 +2720,7 @@ var HardkasSilver = class {
   async spend(options) {
     if (options.mode === "real") {
       throw new Error(
-        "SDK_SILVER_REAL_LIFECYCLE_UNSUPPORTED: use `hardkas silver spend` for Docker/RPC execution in 0.9.2-alpha."
+        "SDK_SILVER_REAL_LIFECYCLE_UNSUPPORTED: use `hardkas silver spend` for Docker/RPC execution in 0.9.4-alpha."
       );
     }
     return this.simulateSpend(
@@ -3125,7 +3132,7 @@ async function verifyZkProofLocal(targetPath, workspaceRoot = process.cwd()) {
       issues: [
         {
           code: "RISC0_VERIFIER_UNAVAILABLE",
-          message: "RISC0 local receipt verification helper is not bundled in 0.9.2-alpha."
+          message: "RISC0 local receipt verification helper is not bundled in 0.9.4-alpha."
         },
         {
           code: "RISC0_LOCAL_VERIFICATION_NOT_IMPLEMENTED",
@@ -3556,6 +3563,25 @@ async function inspectVprogsArtifact(targetPath, workspaceRoot = process.cwd())
   }
   try {
     const artifact = JSON.parse(fs7.readFileSync(resolved, "utf8"));
+    const validSchemas = [
+      HardkasSchemas8.VProgsInspectFixtureV1
+    ];
+    if (!artifact.schema || !validSchemas.includes(artifact.schema)) {
+      return {
+        ok: false,
+        schema: HardkasSchemas8.VProgsInspectV1,
+        status: "VPROGS_ARTIFACT_INVALID",
+        path: path7.relative(workspaceRoot, resolved).replace(/\\/g, "/"),
+        claims: vprogsClaims(),
+        issues: [
+          {
+            code: "VPROGS_ARTIFACT_SCHEMA_INVALID",
+            message: `Invalid or unknown vProgs schema: ${artifact.schema || "undefined"}`,
+            file: resolved
+          }
+        ]
+      };
+    }
     return {
       ok: true,
       schema: HardkasSchemas8.VProgsInspectV1,
@@ -4161,6 +4187,7 @@ export {
   HardkasWorkspace,
   HardkasZk,
   SOMPI_PER_KAS,
+  SilverScript,
   buildPaymentPlan2 as buildPaymentPlan,
   createHardkasCapabilities,
   createHardkasClient,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hardkas/sdk",
-  "version": "0.9.2-alpha",
+  "version": "0.9.4-alpha",
   "type": "module",
   "files": [
     "dist",
@@ -24,18 +24,18 @@
   },
   "dependencies": {
     "@kaspa/core-lib": "^1.6.5",
-    "@hardkas/accounts": "0.9.2-alpha",
-    "@hardkas/core": "0.9.2-alpha",
-    "@hardkas/artifacts": "0.9.2-alpha",
-    "@hardkas/l2": "0.9.2-alpha",
-    "@hardkas/kaspa-rpc": "0.9.2-alpha",
-    "@hardkas/config": "0.9.2-alpha",
-    "@hardkas/query-store": "0.9.2-alpha",
-    "@hardkas/query": "0.9.2-alpha",
-    "@hardkas/simulator": "0.9.2-alpha",
-    "@hardkas/tx-builder": "0.9.2-alpha",
-    "@hardkas/localnet": "0.9.2-alpha",
-    "@hardkas/wallet-adapter": "0.9.2-alpha"
+    "@hardkas/config": "0.9.4-alpha",
+    "@hardkas/accounts": "0.9.4-alpha",
+    "@hardkas/artifacts": "0.9.4-alpha",
+    "@hardkas/core": "0.9.4-alpha",
+    "@hardkas/l2": "0.9.4-alpha",
+    "@hardkas/kaspa-rpc": "0.9.4-alpha",
+    "@hardkas/localnet": "0.9.4-alpha",
+    "@hardkas/query": "0.9.4-alpha",
+    "@hardkas/query-store": "0.9.4-alpha",
+    "@hardkas/simulator": "0.9.4-alpha",
+    "@hardkas/wallet-adapter": "0.9.4-alpha",
+    "@hardkas/tx-builder": "0.9.4-alpha"
   },
   "devDependencies": {
     "@types/node": "^20.12.7",