Skip to main content

ProgrammabilityVerifySchema

HardKAS SDK

HardKAS SDK / artifacts/src / ProgrammabilityVerifySchema

Variable: ProgrammabilityVerifySchema

const ProgrammabilityVerifySchema: ZodObject<{ claims: ZodObject<{ artifactCoherence: ZodLiteral<"READY_MATCH">; generalCovenantSupport: ZodLiteral<"NOT_CLAIMED">; mainnet: ZodLiteral<"BLOCKED_BY_POLICY">; risc0InspectSurface: ZodLiteral<"RISC0_INSPECT_SURFACE_READY">; runtimeOutcome: ZodLiteral<"PARTIAL">; silverCapabilities: ZodObject<{ silver.compile.v1: ZodLiteral<"REAL_NODE_EVIDENCE">; silver.p2sh.deploy-spend.v1: ZodLiteral<"REAL_NODE_EVIDENCE">; silver.p2sh.relative-timelock.v1: ZodLiteral<"REAL_NODE_EVIDENCE">; toccata.covenant.auth-1to1-transition.v1: ZodLiteral<"REAL_NODE_EVIDENCE">; }, "strip", ZodTypeAny, { silver.compile.v1?: "REAL_NODE_EVIDENCE"; silver.p2sh.deploy-spend.v1?: "REAL_NODE_EVIDENCE"; silver.p2sh.relative-timelock.v1?: "REAL_NODE_EVIDENCE"; toccata.covenant.auth-1to1-transition.v1?: "REAL_NODE_EVIDENCE"; }, { silver.compile.v1?: "REAL_NODE_EVIDENCE"; silver.p2sh.deploy-spend.v1?: "REAL_NODE_EVIDENCE"; silver.p2sh.relative-timelock.v1?: "REAL_NODE_EVIDENCE"; toccata.covenant.auth-1to1-transition.v1?: "REAL_NODE_EVIDENCE"; }>; silverCompiler: ZodLiteral<"OFFICIAL_SILVERC_V1_0_0_MANAGED">; vmConsensusEquivalence: ZodLiteral<"NOT_CLAIMED">; vProgsInspectSurface: ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">; vProgsRuntime: ZodLiteral<"NOT_CLAIMED">; vProgsStableApi: ZodLiteral<"NOT_CLAIMED">; zkCorpusSurface: ZodLiteral<"ZK_CORPUS_SURFACE_READY">; zkLocalVerification: ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">; zkOnchainVerification: ZodLiteral<"NOT_CLAIMED">; }, "strip", ZodTypeAny, { artifactCoherence?: "READY_MATCH"; generalCovenantSupport?: "NOT_CLAIMED"; mainnet?: "BLOCKED_BY_POLICY"; risc0InspectSurface?: "RISC0_INSPECT_SURFACE_READY"; runtimeOutcome?: "PARTIAL"; silverCapabilities?: { silver.compile.v1?: "REAL_NODE_EVIDENCE"; silver.p2sh.deploy-spend.v1?: "REAL_NODE_EVIDENCE"; silver.p2sh.relative-timelock.v1?: "REAL_NODE_EVIDENCE"; toccata.covenant.auth-1to1-transition.v1?: "REAL_NODE_EVIDENCE"; }; silverCompiler?: "OFFICIAL_SILVERC_V1_0_0_MANAGED"; vmConsensusEquivalence?: "NOT_CLAIMED"; vProgsInspectSurface?: "VPROGS_INSPECT_SURFACE_READY"; vProgsRuntime?: "NOT_CLAIMED"; vProgsStableApi?: "NOT_CLAIMED"; zkCorpusSurface?: "ZK_CORPUS_SURFACE_READY"; zkLocalVerification?: "READY_GROTH16_FIXTURE_COHERENCE"; zkOnchainVerification?: "NOT_CLAIMED"; }, { artifactCoherence?: "READY_MATCH"; generalCovenantSupport?: "NOT_CLAIMED"; mainnet?: "BLOCKED_BY_POLICY"; risc0InspectSurface?: "RISC0_INSPECT_SURFACE_READY"; runtimeOutcome?: "PARTIAL"; silverCapabilities?: { silver.compile.v1?: "REAL_NODE_EVIDENCE"; silver.p2sh.deploy-spend.v1?: "REAL_NODE_EVIDENCE"; silver.p2sh.relative-timelock.v1?: "REAL_NODE_EVIDENCE"; toccata.covenant.auth-1to1-transition.v1?: "REAL_NODE_EVIDENCE"; }; silverCompiler?: "OFFICIAL_SILVERC_V1_0_0_MANAGED"; vmConsensusEquivalence?: "NOT_CLAIMED"; vProgsInspectSurface?: "VPROGS_INSPECT_SURFACE_READY"; vProgsRuntime?: "NOT_CLAIMED"; vProgsStableApi?: "NOT_CLAIMED"; zkCorpusSurface?: "ZK_CORPUS_SURFACE_READY"; zkLocalVerification?: "READY_GROTH16_FIXTURE_COHERENCE"; zkOnchainVerification?: "NOT_CLAIMED"; }>; issues: ZodArray<ZodObject<{ code: ZodString; file: ZodOptional<ZodString>; message: ZodString; }, "strip", ZodTypeAny, { code?: string; file?: string; message?: string; }, { code?: string; file?: string; message?: string; }>, "many">; kind: ZodEnum<["silver", "zk", "vprog"]>; ok: ZodBoolean; path: ZodString; schema: ZodLiteral<"hardkas.programmability.verify.v1">; sourceStatus: ZodOptional<ZodString>; status: ZodEnum<["PROGRAMMABILITY_VERIFY_PASS", "PROGRAMMABILITY_VERIFY_FAIL", "PROGRAMMABILITY_VERIFY_PARTIAL"]>; }, "strip", ZodTypeAny, { claims?: { artifactCoherence?: "READY_MATCH"; generalCovenantSupport?: "NOT_CLAIMED"; mainnet?: "BLOCKED_BY_POLICY"; risc0InspectSurface?: "RISC0_INSPECT_SURFACE_READY"; runtimeOutcome?: "PARTIAL"; silverCapabilities?: { silver.compile.v1?: "REAL_NODE_EVIDENCE"; silver.p2sh.deploy-spend.v1?: "REAL_NODE_EVIDENCE"; silver.p2sh.relative-timelock.v1?: "REAL_NODE_EVIDENCE"; toccata.covenant.auth-1to1-transition.v1?: "REAL_NODE_EVIDENCE"; }; silverCompiler?: "OFFICIAL_SILVERC_V1_0_0_MANAGED"; vmConsensusEquivalence?: "NOT_CLAIMED"; vProgsInspectSurface?: "VPROGS_INSPECT_SURFACE_READY"; vProgsRuntime?: "NOT_CLAIMED"; vProgsStableApi?: "NOT_CLAIMED"; zkCorpusSurface?: "ZK_CORPUS_SURFACE_READY"; zkLocalVerification?: "READY_GROTH16_FIXTURE_COHERENCE"; zkOnchainVerification?: "NOT_CLAIMED"; }; issues?: object[]; kind?: "silver" | "zk" | "vprog"; ok?: boolean; path?: string; schema?: "hardkas.programmability.verify.v1"; sourceStatus?: string; status?: "PROGRAMMABILITY_VERIFY_PASS" | "PROGRAMMABILITY_VERIFY_FAIL" | "PROGRAMMABILITY_VERIFY_PARTIAL"; }, { claims?: { artifactCoherence?: "READY_MATCH"; generalCovenantSupport?: "NOT_CLAIMED"; mainnet?: "BLOCKED_BY_POLICY"; risc0InspectSurface?: "RISC0_INSPECT_SURFACE_READY"; runtimeOutcome?: "PARTIAL"; silverCapabilities?: { silver.compile.v1?: "REAL_NODE_EVIDENCE"; silver.p2sh.deploy-spend.v1?: "REAL_NODE_EVIDENCE"; silver.p2sh.relative-timelock.v1?: "REAL_NODE_EVIDENCE"; toccata.covenant.auth-1to1-transition.v1?: "REAL_NODE_EVIDENCE"; }; silverCompiler?: "OFFICIAL_SILVERC_V1_0_0_MANAGED"; vmConsensusEquivalence?: "NOT_CLAIMED"; vProgsInspectSurface?: "VPROGS_INSPECT_SURFACE_READY"; vProgsRuntime?: "NOT_CLAIMED"; vProgsStableApi?: "NOT_CLAIMED"; zkCorpusSurface?: "ZK_CORPUS_SURFACE_READY"; zkLocalVerification?: "READY_GROTH16_FIXTURE_COHERENCE"; zkOnchainVerification?: "NOT_CLAIMED"; }; issues?: object[]; kind?: "silver" | "zk" | "vprog"; ok?: boolean; path?: string; schema?: "hardkas.programmability.verify.v1"; sourceStatus?: string; status?: "PROGRAMMABILITY_VERIFY_PASS" | "PROGRAMMABILITY_VERIFY_FAIL" | "PROGRAMMABILITY_VERIFY_PARTIAL"; }>

Defined in: packages/artifacts/src/schemas.ts:822