ProgrammabilityCorpusReportSchema

HardKAS SDK

---

HardKAS SDK / artifacts/src / ProgrammabilityCorpusReportSchema

Variable: ProgrammabilityCorpusReportSchema

const ProgrammabilityCorpusReportSchema: 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">; ok: ZodBoolean; path: ZodString; schema: ZodLiteral<"hardkas.programmability.corpusReport.v1">; status: ZodEnum<["PROGRAMMABILITY_CORPUS_PASS", "PROGRAMMABILITY_CORPUS_FAIL"]>; summary: ZodObject<{ knownLimitations: ZodArray<ZodString, "many">; rootManifest: ZodEnum<["PASS", "FAIL"]>; silver: ZodEnum<["PASS", "FAIL", "SKIPPED"]>; vprogs: ZodEnum<["PASS", "FAIL", "SKIPPED"]>; zk: ZodEnum<["PASS", "FAIL", "SKIPPED"]>; }, "strip", ZodTypeAny, { knownLimitations?: string[]; rootManifest?: "PASS" | "FAIL"; silver?: "PASS" | "FAIL" | "SKIPPED"; vprogs?: "PASS" | "FAIL" | "SKIPPED"; zk?: "PASS" | "FAIL" | "SKIPPED"; }, { knownLimitations?: string[]; rootManifest?: "PASS" | "FAIL"; silver?: "PASS" | "FAIL" | "SKIPPED"; vprogs?: "PASS" | "FAIL" | "SKIPPED"; zk?: "PASS" | "FAIL" | "SKIPPED"; }>; }, "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[]; ok?: boolean; path?: string; schema?: "hardkas.programmability.corpusReport.v1"; status?: "PROGRAMMABILITY_CORPUS_PASS" | "PROGRAMMABILITY_CORPUS_FAIL"; summary?: { knownLimitations?: string[]; rootManifest?: "PASS" | "FAIL"; silver?: "PASS" | "FAIL" | "SKIPPED"; vprogs?: "PASS" | "FAIL" | "SKIPPED"; zk?: "PASS" | "FAIL" | "SKIPPED"; }; }, { 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[]; ok?: boolean; path?: string; schema?: "hardkas.programmability.corpusReport.v1"; status?: "PROGRAMMABILITY_CORPUS_PASS" | "PROGRAMMABILITY_CORPUS_FAIL"; summary?: { knownLimitations?: string[]; rootManifest?: "PASS" | "FAIL"; silver?: "PASS" | "FAIL" | "SKIPPED"; vprogs?: "PASS" | "FAIL" | "SKIPPED"; zk?: "PASS" | "FAIL" | "SKIPPED"; }; }>

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