@hardkas/artifacts 0.9.0-alpha → 0.9.2-alpha

package/dist/index.js

@@ -1,7 +1,7 @@
 // package.json
 var package_default = {
   name: "@hardkas/artifacts",
-  version: "0.9.0-alpha",
+  version: "0.9.2-alpha",
   type: "module",
   license: "MIT",
   author: "Javier Rodriguez",
@@ -47,32 +47,42 @@ var package_default = {
 };
 
 // src/constants.ts
+import { HardkasSchemas } from "@hardkas/core";
 var HARDKAS_VERSION = package_default.version;
 var ARTIFACT_SCHEMAS = {
-  LOCALNET_STATE: "hardkas.localnetState.v1",
-  REAL_ACCOUNT_STORE: "hardkas.realAccountStore.v1",
-  TX_PLAN: "hardkas.txPlan",
-  SIGNED_TX: "hardkas.signedTx",
-  TX_RECEIPT: "hardkas.txReceipt",
-  TX_TRACE: "hardkas.txTrace",
-  SNAPSHOT: "hardkas.snapshot",
-  IGRA_TX_PLAN: "hardkas.igraTxPlan.v1",
-  IGRA_SIGNED_TX: "hardkas.igraSignedTx.v1",
-  IGRA_TX_RECEIPT: "hardkas.igraTxReceipt.v1",
-  POLICY: "hardkas.policy.v1",
-  NETWORK_PROFILE: "hardkas.networkProfile.v1",
-  ASSUMPTION: "hardkas.assumption.v1",
-  MIGRATION_RECEIPT: "hardkas.migrationReceipt.v1",
-  SILVER_COMPILE: "hardkas.silver.compile",
-  SILVER_TEST: "hardkas.silver.test",
-  SILVER_DEPLOY_PLAN: "hardkas.silver.deployPlan",
-  SILVER_DEPLOY: "hardkas.silver.deploy",
-  SILVER_SPEND_PLAN: "hardkas.silver.spendPlan",
-  SILVER_SPEND_RECEIPT: "hardkas.silver.spendReceipt",
-  SILVER_DEPLOY_SIMULATION: "hardkas.silver.deploySimulation",
-  SILVER_SPEND_SIMULATION: "hardkas.silver.spendSimulation"
+  LOCALNET_STATE: HardkasSchemas.LocalnetStateV1,
+  REAL_ACCOUNT_STORE: HardkasSchemas.RealAccountStoreV1,
+  TX_PLAN: HardkasSchemas.TxPlan,
+  SIGNED_TX: HardkasSchemas.SignedTx,
+  TX_RECEIPT: HardkasSchemas.TxReceipt,
+  TX_TRACE: HardkasSchemas.TxTrace,
+  SNAPSHOT: HardkasSchemas.Snapshot,
+  IGRA_TX_PLAN: HardkasSchemas.IgraTxPlanV1,
+  IGRA_SIGNED_TX: HardkasSchemas.IgraSignedTxV1,
+  IGRA_TX_RECEIPT: HardkasSchemas.IgraTxReceiptV1,
+  POLICY: HardkasSchemas.PolicyV1,
+  NETWORK_PROFILE: HardkasSchemas.NetworkProfileV1,
+  ASSUMPTION: HardkasSchemas.AssumptionV1,
+  MIGRATION_RECEIPT: HardkasSchemas.MigrationReceiptV1,
+  SILVER_COMPILE: HardkasSchemas.SilverCompile,
+  SILVER_TEST: HardkasSchemas.SilverTest,
+  SILVER_DEPLOY_PLAN: HardkasSchemas.SilverDeployPlan,
+  SILVER_DEPLOY: HardkasSchemas.SilverDeploy,
+  SILVER_SPEND_PLAN: HardkasSchemas.SilverSpendPlan,
+  SILVER_SPEND_RECEIPT: HardkasSchemas.SilverSpendReceipt,
+  SILVER_DEPLOY_SIMULATION: HardkasSchemas.SilverDeploySimulation,
+  SILVER_SPEND_SIMULATION: HardkasSchemas.SilverSpendSimulation,
+  PROGRAMMABILITY_CAPABILITIES: HardkasSchemas.ProgrammabilityCapabilitiesV1,
+  PROGRAMMABILITY_INSPECT: HardkasSchemas.ProgrammabilityInspectV1,
+  PROGRAMMABILITY_VERIFY: HardkasSchemas.ProgrammabilityVerifyV1,
+  PROGRAMMABILITY_CORPUS_REPORT: HardkasSchemas.ProgrammabilityCorpusReportV1,
+  PROGRAMMABILITY_APP_PLAN: HardkasSchemas.ProgrammabilityAppPlanV1,
+  TOCCATA_PROGRAMMABILITY_CORPUS: HardkasSchemas.ToccataProgrammabilityCorpusV1
 };
 
+// src/index.ts
+import { HardkasSchemas as HardkasSchemas11, ArtifactTypes, isKnownArtifactType, assertKnownArtifactType, describeArtifactType } from "@hardkas/core";
+
 // src/igra-artifacts.ts
 function isIgraTxPlanArtifact(value) {
   return validateIgraTxPlanArtifact(value).ok;
@@ -348,6 +358,7 @@ function calculateContentHash(obj, version = CURRENT_HASH_VERSION) {
 
 // src/schemas.ts
 import { z } from "zod";
+import { HardkasSchemas as HardkasSchemas2 } from "@hardkas/core";
 import {
   kaspaNetworkIdSchema,
   executionModeSchema
@@ -400,7 +411,7 @@ var AccountRefSchema = z.object({
   input: z.string().optional()
 });
 var PolicySchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.policy.v1"),
+  schema: z.literal(HardkasSchemas2.PolicyV1),
   decision: z.enum(["ALLOW", "DENY"]),
   rules: z.array(
     z.object({
@@ -411,13 +422,13 @@ var PolicySchema = BaseArtifactSchema.extend({
   )
 });
 var NetworkProfileSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.networkProfile.v1"),
+  schema: z.literal(HardkasSchemas2.NetworkProfileV1),
   networkProfileId: z.string(),
   layer: z.string(),
   capabilities: z.record(z.any())
 });
 var AssumptionSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.assumption.v1"),
+  schema: z.literal(HardkasSchemas2.AssumptionV1),
   settlement: z.string().optional(),
   securityModel: z.string().optional(),
   bridgePhase: z.string().optional(),
@@ -425,7 +436,7 @@ var AssumptionSchema = BaseArtifactSchema.extend({
   customAssumptions: z.record(z.any()).optional()
 });
 var MigrationReceiptSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.migrationReceipt.v1"),
+  schema: z.literal(HardkasSchemas2.MigrationReceiptV1),
   oldHash: z.string(),
   newHash: z.string(),
   fromSchema: z.string(),
@@ -435,7 +446,7 @@ var MigrationReceiptSchema = BaseArtifactSchema.extend({
   decision: z.literal("MIGRATED_WITH_PROOF")
 });
 var TxPlanSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.txPlan"),
+  schema: z.literal(HardkasSchemas2.TxPlan),
   networkId: kaspaNetworkIdSchema,
   mode: executionModeSchema,
   planId: z.string(),
@@ -497,7 +508,7 @@ var LocalnetUtxoSchemaV2 = z.object({
   createdAtDaaScore: z.string()
 });
 var SnapshotSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.snapshot"),
+  schema: z.literal(HardkasSchemas2.Snapshot),
   name: z.string().optional(),
   daaScore: z.string(),
   accountsHash: z.string().optional(),
@@ -512,7 +523,7 @@ var SnapshotSchema = BaseArtifactSchema.extend({
   utxos: z.array(LocalnetUtxoSchemaV2)
 });
 var TxReceiptSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.txReceipt"),
+  schema: z.literal(HardkasSchemas2.TxReceipt),
   txId: z.string(),
   status: z.enum(["pending", "submitted", "accepted", "confirmed", "failed"]),
   mode: executionModeSchema,
@@ -546,7 +557,7 @@ var SignatureMetadataEntrySchema = z.object({
   signedAt: z.string().datetime()
 });
 var SignedTxSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.signedTx"),
+  schema: z.literal(HardkasSchemas2.SignedTx),
   status: z.enum(["partially_signed", "signed"]),
   signedId: z.string(),
   sourcePlanId: z.string(),
@@ -570,7 +581,7 @@ var SignedTxSchema = BaseArtifactSchema.extend({
   metadata: z.any().optional()
 });
 var TxTraceSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.txTrace"),
+  schema: z.literal(HardkasSchemas2.TxTrace),
   txId: z.string(),
   networkId: kaspaNetworkIdSchema,
   mode: executionModeSchema,
@@ -585,7 +596,7 @@ var TxTraceSchema = BaseArtifactSchema.extend({
   dagContext: DagContextSchema.optional()
 });
 var WorkflowSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.workflow.v1"),
+  schema: z.literal(HardkasSchemas2.WorkflowV1),
   workflowId: z.string(),
   status: z.enum(["pending", "running", "completed", "failed"]),
   inputs: z.record(z.any()).optional(),
@@ -634,7 +645,7 @@ var RuntimeSessionSchema = BaseArtifactSchema.extend({
   notes: z.string().optional()
 });
 var SilverCompileArtifactSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.silver.compile"),
+  schema: z.literal(HardkasSchemas2.SilverCompile),
   sourcePath: z.string(),
   sourceHash: z.string(),
   compilerName: z.string(),
@@ -648,7 +659,7 @@ var SilverCompileArtifactSchema = BaseArtifactSchema.extend({
   assumptions: z.array(z.string()).optional()
 });
 var SilverDeployPlanArtifactSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.silver.deployPlan"),
+  schema: z.literal(HardkasSchemas2.SilverDeployPlan),
   compileArtifactHash: z.string(),
   compiledScriptHash: z.string(),
   redeemScriptHex: z.string(),
@@ -661,7 +672,7 @@ var SilverDeployPlanArtifactSchema = BaseArtifactSchema.extend({
   deployerAddress: z.string()
 });
 var SilverDeployArtifactSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.silver.deploy"),
+  schema: z.literal(HardkasSchemas2.SilverDeploy),
   deployPlanHash: z.string(),
   compileArtifactHash: z.string(),
   compiledScriptHash: z.string(),
@@ -680,7 +691,7 @@ var SilverScriptArgSchema = z.object({
   value: z.string()
 });
 var SilverSpendPlanArtifactSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.silver.spendPlan"),
+  schema: z.literal(HardkasSchemas2.SilverSpendPlan),
   deployArtifactHash: z.string(),
   compileArtifactHash: z.string(),
   redeemScriptHash: z.string(),
@@ -692,16 +703,18 @@ var SilverSpendPlanArtifactSchema = BaseArtifactSchema.extend({
   args: z.array(SilverScriptArgSchema),
   argsHash: z.string(),
   signatureScriptHex: z.string(),
-  expectedOutputs: z.array(z.object({
-    address: z.string(),
-    amountSompi: z.string(),
-    scriptHash: z.string().optional()
-  })),
+  expectedOutputs: z.array(
+    z.object({
+      address: z.string(),
+      amountSompi: z.string(),
+      scriptHash: z.string().optional()
+    })
+  ),
   networkId: kaspaNetworkIdSchema,
   assumptionLevel: z.string().optional()
 });
 var SilverSpendReceiptArtifactSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.silver.spendReceipt"),
+  schema: z.literal(HardkasSchemas2.SilverSpendReceipt),
   spendPlanHash: z.string(),
   deployArtifactHash: z.string().optional(),
   redeemScriptHash: z.string().optional(),
@@ -711,16 +724,18 @@ var SilverSpendReceiptArtifactSchema = BaseArtifactSchema.extend({
     transactionId: z.string(),
     index: z.number()
   }).optional(),
-  expectedOutputs: z.array(z.object({
-    address: z.string(),
-    amountSompi: z.string(),
-    scriptHash: z.string().optional()
-  })).optional(),
+  expectedOutputs: z.array(
+    z.object({
+      address: z.string(),
+      amountSompi: z.string(),
+      scriptHash: z.string().optional()
+    })
+  ).optional(),
   txId: z.string(),
   status: z.enum(["simulated", "submitted", "accepted", "rejected"])
 });
 var SilverDeploySimulationArtifactSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.silver.deploySimulation"),
+  schema: z.literal(HardkasSchemas2.SilverDeploySimulation),
   deployPlanHash: z.string(),
   compileArtifactHash: z.string(),
   compiledScriptHash: z.string(),
@@ -738,7 +753,7 @@ var SilverDeploySimulationArtifactSchema = BaseArtifactSchema.extend({
   status: z.literal("SIMULATED_ACCEPTED")
 });
 var SilverSpendSimulationArtifactSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.silver.spendSimulation"),
+  schema: z.literal(HardkasSchemas2.SilverSpendSimulation),
   deploySimulationHash: z.string(),
   spendPlanHash: z.string(),
   redeemScriptHash: z.string(),
@@ -749,27 +764,37 @@ var SilverSpendSimulationArtifactSchema = BaseArtifactSchema.extend({
     transactionId: z.string(),
     index: z.number()
   }),
-  expectedOutputs: z.array(z.object({
-    address: z.string(),
-    amountSompi: z.string(),
-    scriptHash: z.string().optional()
-  })),
+  expectedOutputs: z.array(
+    z.object({
+      address: z.string(),
+      amountSompi: z.string(),
+      scriptHash: z.string().optional()
+    })
+  ),
   feeSompi: z.string(),
   status: z.literal("SIMULATED_ACCEPTED")
 });
 var SilverTestArtifactSchema = BaseArtifactSchema.extend({
-  schema: z.literal("hardkas.silver.test"),
+  schema: z.literal(HardkasSchemas2.SilverTest),
   compileArtifactHash: z.string(),
   sourceHash: z.string(),
   compiledScriptHash: z.string(),
   testVectorsHash: z.string().optional().nullable(),
   compilerName: z.string(),
   compilerVersion: z.string(),
-  results: z.array(z.object({
-    name: z.string(),
-    status: z.enum(["PASS", "FAIL", "SKIPPED", "EXPECTED_COMPILER_FAILURE", "PARTIAL_TEST_VECTOR_SUPPORT"]),
-    reason: z.string().optional()
-  })),
+  results: z.array(
+    z.object({
+      name: z.string(),
+      status: z.enum([
+        "PASS",
+        "FAIL",
+        "SKIPPED",
+        "EXPECTED_COMPILER_FAILURE",
+        "PARTIAL_TEST_VECTOR_SUPPORT"
+      ]),
+      reason: z.string().optional()
+    })
+  ),
   status: z.enum([
     "PASS",
     "FAIL",
@@ -777,17 +802,138 @@ var SilverTestArtifactSchema = BaseArtifactSchema.extend({
     "EXPECTED_COMPILER_FAILURE"
   ])
 });
+var ProgrammabilityClaimsSchema = z.object({
+  artifactCoherence: z.literal("READY_MATCH"),
+  silverScriptBuilder: z.literal("SILVERSCRIPT_BUILDER_READY"),
+  zkCorpusSurface: z.literal("ZK_CORPUS_SURFACE_READY"),
+  zkLocalVerification: z.literal("READY_GROTH16_FIXTURE_COHERENCE"),
+  risc0InspectSurface: z.literal("RISC0_INSPECT_SURFACE_READY"),
+  vProgsInspectSurface: z.literal("VPROGS_INSPECT_SURFACE_READY"),
+  runtimeOutcome: z.literal("PARTIAL"),
+  vmConsensusEquivalence: z.literal("NOT_CLAIMED"),
+  zkOnchainVerification: z.literal("NOT_CLAIMED"),
+  vProgsRuntime: z.literal("NOT_CLAIMED"),
+  vProgsStableApi: z.literal("NOT_CLAIMED"),
+  mainnet: z.literal("BLOCKED_BY_POLICY")
+});
+var ProgrammabilityCapabilitiesSchema = z.object({
+  schema: z.literal(HardkasSchemas2.ProgrammabilityCapabilitiesV1),
+  ok: z.literal(true),
+  status: z.literal("PROGRAMMABILITY_SURFACE_READY"),
+  surfaces: z.object({
+    silverScript: z.literal("SILVERSCRIPT_BUILDER_READY"),
+    zkCorpus: z.literal("ZK_CORPUS_SURFACE_READY"),
+    groth16FixtureCoherence: z.literal("READY_GROTH16_FIXTURE_COHERENCE"),
+    risc0Inspect: z.literal("RISC0_INSPECT_SURFACE_READY"),
+    vProgsInspect: z.literal("VPROGS_INSPECT_SURFACE_READY")
+  }),
+  claims: ProgrammabilityClaimsSchema,
+  nonClaims: z.array(z.string())
+});
+var ProgrammabilityInspectSchema = z.object({
+  schema: z.literal(HardkasSchemas2.ProgrammabilityInspectV1),
+  ok: z.boolean(),
+  status: z.enum([
+    "PROGRAMMABILITY_ARTIFACT_INSPECTED",
+    "PROGRAMMABILITY_ARTIFACT_INVALID"
+  ]),
+  kind: z.enum(["silver", "zk", "vprog"]),
+  path: z.string(),
+  artifactSchema: z.string().optional(),
+  contentHash: z.string().optional(),
+  sourceStatus: z.string().optional(),
+  claims: ProgrammabilityClaimsSchema,
+  issues: z.array(
+    z.object({
+      code: z.string(),
+      message: z.string(),
+      file: z.string().optional()
+    })
+  )
+});
+var ProgrammabilityVerifySchema = z.object({
+  schema: z.literal(HardkasSchemas2.ProgrammabilityVerifyV1),
+  ok: z.boolean(),
+  status: z.enum([
+    "PROGRAMMABILITY_VERIFY_PASS",
+    "PROGRAMMABILITY_VERIFY_FAIL",
+    "PROGRAMMABILITY_VERIFY_PARTIAL"
+  ]),
+  kind: z.enum(["silver", "zk", "vprog"]),
+  path: z.string(),
+  sourceStatus: z.string().optional(),
+  claims: ProgrammabilityClaimsSchema,
+  issues: z.array(
+    z.object({
+      code: z.string(),
+      message: z.string(),
+      file: z.string().optional()
+    })
+  )
+});
+var ProgrammabilityCorpusReportSchema = z.object({
+  schema: z.literal(HardkasSchemas2.ProgrammabilityCorpusReportV1),
+  ok: z.boolean(),
+  path: z.string(),
+  status: z.enum(["PROGRAMMABILITY_CORPUS_PASS", "PROGRAMMABILITY_CORPUS_FAIL"]),
+  summary: z.object({
+    silver: z.enum(["PASS", "FAIL", "SKIPPED"]),
+    zk: z.enum(["PASS", "FAIL", "SKIPPED"]),
+    vprogs: z.enum(["PASS", "FAIL", "SKIPPED"]),
+    rootManifest: z.enum(["PASS", "FAIL"]),
+    knownLimitations: z.array(z.string())
+  }),
+  claims: ProgrammabilityClaimsSchema,
+  issues: z.array(
+    z.object({
+      code: z.string(),
+      message: z.string(),
+      file: z.string().optional()
+    })
+  )
+});
+var ProgrammabilityAppPlanSchema = z.object({
+  schema: z.literal(HardkasSchemas2.ProgrammabilityAppPlanV1),
+  ok: z.literal(true),
+  status: z.literal("PROGRAMMABILITY_APP_PLAN_READY"),
+  kind: z.enum(["silver", "zk", "vprog", "full-lab"]),
+  template: z.string(),
+  commands: z.array(z.string()),
+  sdkSurfaces: z.array(z.string()),
+  claims: ProgrammabilityClaimsSchema,
+  nonClaims: z.array(z.string())
+});
+var ToccataProgrammabilityCorpusSchema = z.object({
+  schema: z.literal(HardkasSchemas2.ToccataProgrammabilityCorpusV1),
+  version: z.string(),
+  network: z.literal("simnet"),
+  profile: z.literal("toccata-v2"),
+  status: z.literal("PROGRAMMABILITY_SURFACE_READY"),
+  components: z.record(z.any()),
+  claims: z.object({
+    artifactCoherence: z.literal("READY_MATCH"),
+    runtimeOutcome: z.literal("PARTIAL"),
+    vmConsensusEquivalence: z.literal("NOT_CLAIMED"),
+    zkOnchainVerification: z.literal("NOT_CLAIMED"),
+    vProgsRuntime: z.literal("NOT_CLAIMED"),
+    vProgsStableApi: z.literal("NOT_CLAIMED"),
+    mainnet: z.literal("BLOCKED_BY_POLICY")
+  }),
+  expectedKnownLimitations: z.array(z.string())
+});
 
 // src/verify.ts
 import fs from "fs";
 import path from "path";
+import { HardkasSchemas as HardkasSchemas5 } from "@hardkas/core";
 
 // src/feeVerify.ts
 import {
   estimateTransactionMass
 } from "@hardkas/tx-builder";
+import { HardkasSchemas as HardkasSchemas3 } from "@hardkas/core";
 function recomputeMass(artifact) {
-  if (artifact.schema === "hardkas.txPlan") {
+  if (artifact.schema === HardkasSchemas3.TxPlan) {
     const plan = artifact;
     const result = estimateTransactionMass({
       inputCount: (plan.inputs || []).length,
@@ -798,7 +944,7 @@ function recomputeMass(artifact) {
     });
     return result.mass;
   }
-  if (artifact.schema === "hardkas.txReceipt") {
+  if (artifact.schema === HardkasSchemas3.TxReceipt) {
     const receipt = artifact;
     return BigInt(receipt.mass || 0);
   }
@@ -811,7 +957,7 @@ function verifyFeeSemantics(artifact) {
   let inputTotal = 0n;
   let outputTotal = 0n;
   let feeRate = 1n;
-  if (artifact.schema === "hardkas.txPlan") {
+  if (artifact.schema === HardkasSchemas3.TxPlan) {
     const plan = artifact;
     artifactMass = BigInt(plan.estimatedMass || 0);
     artifactFee = BigInt(plan.estimatedFeeSompi || 0);
@@ -824,7 +970,7 @@ function verifyFeeSemantics(artifact) {
       0n
     );
     if (plan.change) outputTotal += BigInt(plan.change.amountSompi || 0);
-  } else if (artifact.schema === "hardkas.txReceipt") {
+  } else if (artifact.schema === HardkasSchemas3.TxReceipt) {
     const receipt = artifact;
     artifactMass = BigInt(receipt.mass || 0);
     artifactFee = BigInt(receipt.feeSompi);
@@ -851,7 +997,7 @@ function verifyFeeSemantics(artifact) {
   if (artifactFee < 0n) {
     issues.push("Economic violation: Negative fee detected");
   }
-  if (artifact.schema === "hardkas.txPlan") {
+  if (artifact.schema === HardkasSchemas3.TxPlan) {
     const plan = artifact;
     (plan.outputs || []).forEach((o, i) => {
       if (BigInt(o.amountSompi || 0) < 600n) {
@@ -872,6 +1018,7 @@ function verifyFeeSemantics(artifact) {
 }
 
 // src/lineage.ts
+import { HardkasSchemas as HardkasSchemas4 } from "@hardkas/core";
 function verifyLineage(artifact, parent, options = {}) {
   const issues = [];
   const addIssue = (code, message, severity = "error") => {
@@ -879,7 +1026,7 @@ function verifyLineage(artifact, parent, options = {}) {
   };
   const lineage = artifact.lineage;
   if (!lineage) {
-    const isWorkflow = artifact.schema === "hardkas.workflow.v1";
+    const isWorkflow = artifact.schema === HardkasSchemas4.WorkflowV1;
     const severity = options.strict && !isWorkflow ? "error" : "warning";
     if (!isWorkflow || options.strict) {
       addIssue("MISSING_LINEAGE", "Artifact has no lineage metadata", severity);
@@ -969,15 +1116,19 @@ function verifyLineage(artifact, parent, options = {}) {
   }
   if (parent) {
     const validTransitions = {
-      "hardkas.snapshot": ["hardkas.txPlan", "hardkas.migrationReceipt.v1"],
-      "hardkas.txPlan": ["hardkas.signedTx", "hardkas.migrationReceipt.v1"],
-      "hardkas.signedTx": ["hardkas.txReceipt", "hardkas.signedTx", "hardkas.migrationReceipt.v1"],
-      "hardkas.txReceipt": ["hardkas.txTrace", "hardkas.migrationReceipt.v1"]
+      [HardkasSchemas4.Snapshot]: [HardkasSchemas4.TxPlan, HardkasSchemas4.MigrationReceiptV1],
+      [HardkasSchemas4.TxPlan]: [HardkasSchemas4.SignedTx, HardkasSchemas4.MigrationReceiptV1],
+      [HardkasSchemas4.SignedTx]: [
+        HardkasSchemas4.TxReceipt,
+        HardkasSchemas4.SignedTx,
+        HardkasSchemas4.MigrationReceiptV1
+      ],
+      [HardkasSchemas4.TxReceipt]: [HardkasSchemas4.TxTrace, HardkasSchemas4.MigrationReceiptV1]
     };
     let isValidTransition = false;
-    if (parent.schema === "hardkas.migrationReceipt.v1") {
+    if (parent.schema === HardkasSchemas4.MigrationReceiptV1) {
       isValidTransition = parent.toSchema === artifact.schema;
-    } else if (artifact.schema === "hardkas.migrationReceipt.v1") {
+    } else if (artifact.schema === HardkasSchemas4.MigrationReceiptV1) {
       isValidTransition = artifact.fromSchema === parent.schema;
     } else {
       const allowed = validTransitions[parent.schema] || [];
@@ -1063,7 +1214,7 @@ function verifyArtifactIntegritySync(artifactOrPath, context = {}) {
     result.artifactType = v.schema;
     result.version = v.version;
     result.expectedHash = v.contentHash;
-    if (v.schema === "hardkas.replayReport.v1") {
+    if (v.schema === HardkasSchemas5.ReplayReportV1) {
       result.ok = true;
       return result;
     }
@@ -1109,58 +1260,58 @@ function verifyArtifactIntegritySync(artifactOrPath, context = {}) {
     }
     let schema;
     switch (v.schema) {
-      case "hardkas.snapshot":
+      case HardkasSchemas5.Snapshot:
         schema = SnapshotSchema;
         break;
-      case "hardkas.txPlan":
+      case HardkasSchemas5.TxPlan:
         schema = TxPlanSchema;
         break;
-      case "hardkas.txReceipt":
+      case HardkasSchemas5.TxReceipt:
         schema = TxReceiptSchema;
         break;
-      case "hardkas.txTrace":
+      case HardkasSchemas5.TxTrace:
         schema = TxTraceSchema;
         break;
-      case "hardkas.signedTx":
+      case HardkasSchemas5.SignedTx:
         schema = SignedTxSchema;
         break;
-      case "hardkas.workflow.v1":
+      case HardkasSchemas5.WorkflowV1:
         schema = WorkflowSchema;
         break;
-      case "hardkas.policy.v1":
+      case HardkasSchemas5.PolicyV1:
         schema = PolicySchema;
         break;
-      case "hardkas.networkProfile.v1":
+      case HardkasSchemas5.NetworkProfileV1:
         schema = NetworkProfileSchema;
         break;
-      case "hardkas.assumption.v1":
+      case HardkasSchemas5.AssumptionV1:
         schema = AssumptionSchema;
         break;
-      case "hardkas.migrationReceipt.v1":
+      case HardkasSchemas5.MigrationReceiptV1:
         schema = MigrationReceiptSchema;
         break;
-      case "hardkas.silver.compile":
+      case HardkasSchemas5.SilverCompile:
         schema = SilverCompileArtifactSchema;
         break;
-      case "hardkas.silver.deployPlan":
+      case HardkasSchemas5.SilverDeployPlan:
         schema = SilverDeployPlanArtifactSchema;
         break;
-      case "hardkas.silver.deploy":
+      case HardkasSchemas5.SilverDeploy:
         schema = SilverDeployArtifactSchema;
         break;
-      case "hardkas.silver.test":
+      case HardkasSchemas5.SilverTest:
         schema = SilverTestArtifactSchema;
         break;
-      case "hardkas.silver.spendPlan":
+      case HardkasSchemas5.SilverSpendPlan:
         schema = SilverSpendPlanArtifactSchema;
         break;
-      case "hardkas.silver.spendReceipt":
+      case HardkasSchemas5.SilverSpendReceipt:
         schema = SilverSpendReceiptArtifactSchema;
         break;
-      case "hardkas.silver.deploySimulation":
+      case HardkasSchemas5.SilverDeploySimulation:
         schema = SilverDeploySimulationArtifactSchema;
         break;
-      case "hardkas.silver.spendSimulation":
+      case HardkasSchemas5.SilverSpendSimulation:
         schema = SilverSpendSimulationArtifactSchema;
         break;
     }
@@ -1174,11 +1325,11 @@ function verifyArtifactIntegritySync(artifactOrPath, context = {}) {
             result.issues.push({
               code: "ARTIFACT_SCHEMA_INVALID",
               severity: zodSeverity,
-              message: `${pathStr}: ${e.message}`,
+              message: `${pathStr}: ${e instanceof Error ? e instanceof Error ? e.message : String(e) : String(e)}`,
               ...pathStr ? { path: pathStr } : {}
             });
           } else {
-            addError("ARTIFACT_SCHEMA_INVALID", `${pathStr}: ${e.message}`, pathStr);
+            addError("ARTIFACT_SCHEMA_INVALID", `${pathStr}: ${e instanceof Error ? e instanceof Error ? e.message : String(e) : String(e)}`, pathStr);
           }
         });
       }
@@ -1194,9 +1345,9 @@ function verifyArtifactIntegritySync(artifactOrPath, context = {}) {
     return result;
   } catch (e) {
     if (e instanceof SyntaxError) {
-      addError("ARTIFACT_JSON_INVALID", `Invalid JSON: ${e.message}`);
+      addError("ARTIFACT_JSON_INVALID", `Invalid JSON: ${e instanceof Error ? e instanceof Error ? e.message : String(e) : String(e)}`);
     } else if (e instanceof Error) {
-      addError("ARTIFACT_ID_INVALID", `Unexpected verification error: ${e.message}`);
+      addError("ARTIFACT_ID_INVALID", `Unexpected verification error: ${e instanceof Error ? e instanceof Error ? e.message : String(e) : String(e)}`);
     } else {
       addError("ARTIFACT_ID_INVALID", `Unexpected verification error: ${String(e)}`);
     }
@@ -1312,7 +1463,7 @@ function verifyArtifactSemantics(artifact, context = {}) {
               message: `Policy reference mismatch: expected ${ref}, got ${refObj.contentHash}`
             });
           } else {
-            if (refObj.schema === "hardkas.policy.v1") {
+            if (refObj.schema === HardkasSchemas5.PolicyV1) {
               if (refObj.decision === "DENY") {
                 addIssue({
                   code: "POLICY_VIOLATION",
@@ -1435,9 +1586,9 @@ function verifyArtifactSemantics(artifact, context = {}) {
     const lineage = v.lineage;
     if (lineage?.parentArtifactId && lineage?.parentArtifactId !== lineage?.artifactId) {
       parentId = lineage?.parentArtifactId;
-    } else if (v.schema === "hardkas.signedTx") {
+    } else if (v.schema === HardkasSchemas5.SignedTx) {
       parentId = v.sourcePlanId;
-    } else if (v.schema === "hardkas.txReceipt") {
+    } else if (v.schema === HardkasSchemas5.TxReceipt) {
       parentId = v.sourceSignedId || lineage?.parentArtifactId;
     }
     if (parentId) {
@@ -1464,7 +1615,10 @@ function verifyArtifactSemantics(artifact, context = {}) {
         });
       } else {
         try {
-          const parentSem = verifyArtifactSemantics(parentObj, { ...context, strict: true });
+          const parentSem = verifyArtifactSemantics(parentObj, {
+            ...context,
+            strict: true
+          });
           if (!parentSem.ok) {
             parentSem.issues.forEach((issue) => addIssue(issue));
           }
@@ -1497,7 +1651,7 @@ function verifyArtifactSemantics(artifact, context = {}) {
     }
   }
   const lineageAudit = verifyLineage(v, parentObj || context.parent, { strict });
-  if (!lineageAudit.ok || strict && !v.lineage && v.schema !== "hardkas.workflow.v1") {
+  if (!lineageAudit.ok || strict && !v.lineage && v.schema !== HardkasSchemas5.WorkflowV1) {
     lineageAudit.issues.forEach((issue) => {
       addIssue(issue);
     });
@@ -1511,7 +1665,7 @@ function verifyArtifactSemantics(artifact, context = {}) {
           severity: "error",
           message: "Strict mode requires workflowId"
         });
-      if (!v.assumptionLevel && v.schema !== "hardkas.workflow.v1")
+      if (!v.assumptionLevel && v.schema !== HardkasSchemas5.WorkflowV1)
         addIssue({
           code: "MISSING_ASSUMPTION_LEVEL",
           severity: "error",
@@ -1530,7 +1684,7 @@ function verifyArtifactSemantics(artifact, context = {}) {
           severity: "warning",
           message: "Missing workflowId"
         });
-      if (!v.assumptionLevel && v.schema !== "hardkas.workflow.v1")
+      if (!v.assumptionLevel && v.schema !== HardkasSchemas5.WorkflowV1)
         addIssue({
           code: "MISSING_ASSUMPTION_LEVEL",
           severity: "warning",
@@ -1544,7 +1698,7 @@ function verifyArtifactSemantics(artifact, context = {}) {
         severity: "warning",
         message: "Missing workflowId"
       });
-    if (!v.assumptionLevel && v.schema !== "hardkas.workflow.v1")
+    if (!v.assumptionLevel && v.schema !== HardkasSchemas5.WorkflowV1)
       addIssue({
         code: "MISSING_ASSUMPTION_LEVEL",
         severity: "warning",
@@ -1736,7 +1890,8 @@ import {
   asWorkflowId,
   asCorrelationId,
   asNetworkId,
-  asEventSequence
+  asEventSequence,
+  getTelemetry
 } from "@hardkas/core";
 var InvariantWatcher = class {
   invariants;
@@ -1766,7 +1921,15 @@ var InvariantWatcher = class {
             this.emitViolation(event, violation);
           }
         } catch (e) {
-          console.error(`Invariant ${invariant.id} failed with error:`, e);
+          try {
+            getTelemetry().logAnomaly(
+              "EXTERNAL_MUTATION",
+              "low",
+              "unknown",
+              `Invariant ${invariant.id} failed with error: ${String(e)}`
+            );
+          } catch (telemetryError) {
+          }
         }
       }
     });
@@ -1809,9 +1972,12 @@ var InvariantWatcher = class {
 };
 
 // src/migration.ts
+import { HardkasSchemas as HardkasSchemas6 } from "@hardkas/core";
 var MigrationRequiredError = class extends Error {
   constructor(oldVersion, targetVersion) {
-    super(`MIGRATION_REQUIRED: Artifact requires explicit migration from ${oldVersion} to ${targetVersion}`);
+    super(
+      `MIGRATION_REQUIRED: Artifact requires explicit migration from ${oldVersion} to ${targetVersion}`
+    );
     this.oldVersion = oldVersion;
     this.targetVersion = targetVersion;
     this.name = "MigrationRequiredError";
@@ -1844,16 +2010,16 @@ registerMigrationStep({
       migrated.lineage = { ...migrated.lineage };
     }
     if (typeof migrated.schema === "string" && migrated.schema.endsWith(".v1")) {
-      if (migrated.schema !== "hardkas.workflow.v1") {
+      if (migrated.schema !== HardkasSchemas6.WorkflowV1) {
         migrated.schema = migrated.schema.replace(/\.v1$/, "");
       }
     }
     migrated.version = ARTIFACT_VERSION;
-    if (migrated.schema === "hardkas.txPlan" && migrated.selectedUtxos !== void 0) {
+    if (migrated.schema === HardkasSchemas6.TxPlan && migrated.selectedUtxos !== void 0) {
       migrated.inputs = migrated.selectedUtxos;
       delete migrated.selectedUtxos;
     }
-    if (migrated.schema === "hardkas.snapshot" && Array.isArray(migrated.utxos)) {
+    if (migrated.schema === HardkasSchemas6.Snapshot && Array.isArray(migrated.utxos)) {
       migrated.utxos = sortUtxosByOutpoint(migrated.utxos);
     }
     if (!migrated.hardkasVersion) {
@@ -1978,7 +2144,7 @@ function generateMigrationReceipt(oldArtifact, newArtifact, migrationId) {
   const oldHash = oldArtifact.contentHash || calculateContentHash(oldArtifact, CURRENT_HASH_VERSION);
   const newHash = newArtifact.contentHash || calculateContentHash(newArtifact, CURRENT_HASH_VERSION);
   const receipt = {
-    schema: "hardkas.migrationReceipt.v1",
+    schema: HardkasSchemas6.MigrationReceiptV1,
     hardkasVersion: HARDKAS_VERSION,
     version: ARTIFACT_VERSION,
     hashVersion: CURRENT_HASH_VERSION,
@@ -2018,10 +2184,6 @@ async function writeArtifact(filePath, artifact) {
       const id = artifactObj.planId || artifactObj.signedId || artifactObj.txId || Date.now().toString(36);
       const prefix = artifactObj.schema ? artifactObj.schema.split(".")[1] || "artifact" : "artifact";
       targetPath = path2.join(filePath, `${prefix}-${id}.json`);
-      console.log(
-        `
-Note: Provided path is a directory. Auto-generating artifact filename: ${path2.basename(targetPath)}`
-      );
     }
   } catch (e) {
     if (filePath.endsWith("/") || filePath.endsWith("\\")) {
@@ -2079,7 +2241,7 @@ async function readTxReceiptArtifact(filePath) {
 }
 
 // src/format.ts
-import { formatSompi } from "@hardkas/core";
+import { formatSompiToKas } from "@hardkas/core";
 function formatTxPlanArtifact(artifact) {
   const lines = [];
   lines.push("HardKAS Transaction Plan Artifact (v2)");
@@ -2094,11 +2256,11 @@ function formatTxPlanArtifact(artifact) {
   lines.push("");
   lines.push(`From:         ${artifact.from.accountName || artifact.from.address}`);
   lines.push(`To:           ${artifact.to.address}`);
-  lines.push(`Amount:       ${formatSompi(BigInt(artifact.amountSompi))}`);
+  lines.push(`Amount:       ${formatSompiToKas(BigInt(artifact.amountSompi))}`);
   lines.push("");
   lines.push(`Inputs:       ${artifact.inputs.length}`);
   lines.push(`Outputs:      ${artifact.outputs.length}`);
-  lines.push(`Fee:          ${formatSompi(BigInt(artifact.estimatedFeeSompi))}`);
+  lines.push(`Fee:          ${formatSompiToKas(BigInt(artifact.estimatedFeeSompi))}`);
   lines.push(`Mass:         ${artifact.estimatedMass}`);
   lines.push("");
   lines.push("Deterministic Planning Specifications:");
@@ -2123,8 +2285,8 @@ function formatTxReceiptArtifact(artifact) {
   lines.push("");
   lines.push(`From:         ${artifact.from.address}`);
   lines.push(`To:           ${artifact.to.address}`);
-  lines.push(`Amount:       ${formatSompi(BigInt(artifact.amountSompi))}`);
-  lines.push(`Fee:          ${formatSompi(BigInt(artifact.feeSompi))}`);
+  lines.push(`Amount:       ${formatSompiToKas(BigInt(artifact.amountSompi))}`);
+  lines.push(`Fee:          ${formatSompiToKas(BigInt(artifact.feeSompi))}`);
   return lines.join("\n");
 }
 function formatSignedTxArtifact(artifact) {
@@ -2141,7 +2303,7 @@ function formatSignedTxArtifact(artifact) {
   lines.push("");
   lines.push(`From:         ${artifact.from.address}`);
   lines.push(`To:           ${artifact.to.address}`);
-  lines.push(`Amount:       ${formatSompi(BigInt(artifact.amountSompi))}`);
+  lines.push(`Amount:       ${formatSompiToKas(BigInt(artifact.amountSompi))}`);
   lines.push("");
   if (artifact.signedTransaction) {
     lines.push(`Format:       ${artifact.signedTransaction.format}`);
@@ -2207,11 +2369,12 @@ function safeParseBigInt(val, context) {
 }
 
 // src/tx-plan.ts
+import { HardkasSchemas as HardkasSchemas7 } from "@hardkas/core";
 function createTxPlanArtifact(options) {
   const artifact = {
-    schema: "hardkas.txPlan",
+    schema: HardkasSchemas7.TxPlan,
     hardkasVersion: HARDKAS_VERSION,
-    schemaVersion: "hardkas.artifact.v1",
+    schemaVersion: HardkasSchemas7.ArtifactV1,
     version: ARTIFACT_VERSION,
     hashVersion: CURRENT_HASH_VERSION,
     createdAt: new Date(options.ctx.clock.now()).toISOString(),
@@ -2283,10 +2446,11 @@ function createTxPlanArtifact(options) {
 }
 
 // src/signed-tx.ts
+import { HardkasSchemas as HardkasSchemas8 } from "@hardkas/core";
 function createSimulatedSignedTxArtifact(plan, payload, ctx) {
   const artifact = {
-    schema: "hardkas.signedTx",
-    schemaVersion: "hardkas.artifact.v1",
+    schema: HardkasSchemas8.SignedTx,
+    schemaVersion: HardkasSchemas8.ArtifactV1,
     hardkasVersion: HARDKAS_VERSION,
     version: ARTIFACT_VERSION,
     hashVersion: CURRENT_HASH_VERSION,
@@ -2303,7 +2467,7 @@ function createSimulatedSignedTxArtifact(plan, payload, ctx) {
       format: "simulated",
       payload
     },
-    lineage: createLineageTransition(plan, "hardkas.signedTx"),
+    lineage: createLineageTransition(plan, HardkasSchemas8.SignedTx),
     ...plan.workflowId ? { workflowId: plan.workflowId } : {},
     ...plan.assumptionLevel ? { assumptionLevel: plan.assumptionLevel } : {}
   };
@@ -2317,8 +2481,8 @@ function createSimulatedSignedTxArtifact(plan, payload, ctx) {
 }
 function createSimulatedTxReceipt(plan, txId, ctx, extra) {
   const artifact = {
-    schema: "hardkas.txReceipt",
-    schemaVersion: "hardkas.receipt.v1",
+    schema: HardkasSchemas8.TxReceipt,
+    schemaVersion: HardkasSchemas8.TxReceiptV1,
     hardkasVersion: HARDKAS_VERSION,
     version: ARTIFACT_VERSION,
     hashVersion: CURRENT_HASH_VERSION,
@@ -2338,7 +2502,7 @@ function createSimulatedTxReceipt(plan, txId, ctx, extra) {
     preStateHash: extra?.preStateHash,
     postStateHash: extra?.postStateHash,
     dagContext: extra?.dagContext,
-    lineage: createLineageTransition(plan, "hardkas.txReceipt"),
+    lineage: createLineageTransition(plan, HardkasSchemas8.TxReceipt),
     ...plan.workflowId ? { workflowId: plan.workflowId } : {},
     ...plan.assumptionLevel ? { assumptionLevel: plan.assumptionLevel } : {}
   };
@@ -2568,6 +2732,7 @@ async function explainArtifact(artifactUnknown) {
 import fs3 from "fs/promises";
 import path3 from "path";
 import { deterministicCompare as deterministicCompare3 } from "@hardkas/core";
+import { HardkasSchemas as HardkasSchemas9 } from "@hardkas/core";
 function getDefaultL2ReceiptsDir(cwd = process.cwd()) {
   return path3.join(cwd, ".hardkas", "l2-receipts");
 }
@@ -2597,7 +2762,7 @@ async function listIgraTxReceiptArtifacts(options) {
     for (const file of receiptFiles) {
       try {
         const data = await readArtifact(path3.join(dir, file));
-        if (data && typeof data === "object" && data.schema === "hardkas.igraTxReceipt.v1") {
+        if (data && typeof data === "object" && data.schema === HardkasSchemas9.IgraTxReceiptV1) {
           receipts.push(data);
         }
       } catch (e) {
@@ -2673,9 +2838,10 @@ function isPrimitive(val) {
 }
 
 // src/deployment.ts
+import { HardkasSchemas as HardkasSchemas10 } from "@hardkas/core";
 function createDeploymentRecord(opts) {
   const recordDraft = {
-    schema: "hardkas.deployment.v1",
+    schema: HardkasSchemas10.DeploymentV1,
     label: opts.label,
     networkId: opts.networkId,
     status: opts.status || "planned",
@@ -2802,6 +2968,7 @@ export {
   ARTIFACT_VERSION,
   AccountRefSchema,
   ArtifactLineageSchema,
+  ArtifactTypes,
   AssumptionSchema,
   BaseArtifactSchema,
   BasicCorrelationInvariant,
@@ -2809,6 +2976,7 @@ export {
   CURRENT_HASH_VERSION,
   DagContextSchema,
   HARDKAS_VERSION,
+  HardkasSchemas11 as HardkasSchemas,
   HashInvariant,
   InvariantWatcher,
   LifecycleInvariant,
@@ -2818,6 +2986,12 @@ export {
   NetworkInvariant,
   NetworkProfileSchema,
   PolicySchema,
+  ProgrammabilityAppPlanSchema,
+  ProgrammabilityCapabilitiesSchema,
+  ProgrammabilityClaimsSchema,
+  ProgrammabilityCorpusReportSchema,
+  ProgrammabilityInspectSchema,
+  ProgrammabilityVerifySchema,
   ReplayInvariant,
   RuntimeSessionSchema,
   SEMANTIC_EXCLUSIONS,
@@ -2838,6 +3012,7 @@ export {
   SilverSpendSimulationArtifactSchema,
   SilverTestArtifactSchema,
   SnapshotSchema,
+  ToccataProgrammabilityCorpusSchema,
   TxPlanSchema,
   TxReceiptSchema,
   TxTraceSchema,
@@ -2847,6 +3022,7 @@ export {
   assertEvmAddress,
   assertEvmTxHash,
   assertHexData,
+  assertKnownArtifactType,
   assertValidIgraSignedTxArtifact,
   assertValidIgraTxPlanArtifact,
   assertValidIgraTxReceiptArtifact,
@@ -2867,6 +3043,7 @@ export {
   createTxPlanArtifact,
   defaultClock,
   deleteDeployment,
+  describeArtifactType,
   detectArtifactVersion,
   diffArtifacts,
   explainArtifact,
@@ -2881,6 +3058,7 @@ export {
   getMigrationPath,
   getRegisteredMigrationSteps,
   isIgraTxPlanArtifact,
+  isKnownArtifactType,
   listDeployments,
   listIgraTxReceiptArtifacts,
   loadDeployment,