@hardkas/artifacts 0.9.0-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.
- package/README.md +44 -44
- package/dist/index.d.ts +763 -12
- package/dist/index.js +305 -127
- package/package.json +3 -3
package/dist/index.d.ts
CHANGED
|
@@ -1,4 +1,5 @@
|
|
|
1
|
-
import { ArtifactType, NetworkId, ExecutionMode, ContentHash, WorkflowId, ArtifactId, LineageId, EventSequence, TxId, KaspaAddress, CorruptionCode, CorruptionSeverity, EventEnvelope, RuntimeContext } from '@hardkas/core';
|
|
1
|
+
import { HardkasSchema, HardkasSchemas, ArtifactType, NetworkId, ExecutionMode, ContentHash, WorkflowId, ArtifactId, LineageId, EventSequence, TxId, KaspaAddress, CorruptionCode, CorruptionSeverity, EventEnvelope, RuntimeContext } from '@hardkas/core';
|
|
2
|
+
export { ArtifactType, ArtifactTypes, HardkasSchema, HardkasSchemas, SchemaMetadata, assertKnownArtifactType, describeArtifactType, isKnownArtifactType } from '@hardkas/core';
|
|
2
3
|
import { z } from 'zod';
|
|
3
4
|
import { TxOutput, Utxo, TxPlan as TxPlan$1 } from '@hardkas/tx-builder';
|
|
4
5
|
|
|
@@ -26,8 +27,14 @@ declare const ARTIFACT_SCHEMAS: {
|
|
|
26
27
|
readonly SILVER_SPEND_RECEIPT: "hardkas.silver.spendReceipt";
|
|
27
28
|
readonly SILVER_DEPLOY_SIMULATION: "hardkas.silver.deploySimulation";
|
|
28
29
|
readonly SILVER_SPEND_SIMULATION: "hardkas.silver.spendSimulation";
|
|
30
|
+
readonly PROGRAMMABILITY_CAPABILITIES: "hardkas.programmability.capabilities.v1";
|
|
31
|
+
readonly PROGRAMMABILITY_INSPECT: "hardkas.programmability.inspect.v1";
|
|
32
|
+
readonly PROGRAMMABILITY_VERIFY: "hardkas.programmability.verify.v1";
|
|
33
|
+
readonly PROGRAMMABILITY_CORPUS_REPORT: "hardkas.programmability.corpusReport.v1";
|
|
34
|
+
readonly PROGRAMMABILITY_APP_PLAN: "hardkas.programmability.appPlan.v1";
|
|
35
|
+
readonly TOCCATA_PROGRAMMABILITY_CORPUS: "hardkas.toccataProgrammabilityCorpus.v1";
|
|
29
36
|
};
|
|
30
|
-
type HardkasArtifactSchema =
|
|
37
|
+
type HardkasArtifactSchema = HardkasSchema | string;
|
|
31
38
|
type HardkasArtifactMode = "simulated" | "node" | "rpc" | "l2-rpc" | "real";
|
|
32
39
|
|
|
33
40
|
declare const ARTIFACT_VERSION = "1.0.0-alpha";
|
|
@@ -3801,6 +3808,706 @@ declare const SilverTestArtifactSchema: z.ZodObject<{
|
|
|
3801
3808
|
} | undefined;
|
|
3802
3809
|
testVectorsHash?: string | null | undefined;
|
|
3803
3810
|
}>;
|
|
3811
|
+
declare const ProgrammabilityClaimsSchema: z.ZodObject<{
|
|
3812
|
+
artifactCoherence: z.ZodLiteral<"READY_MATCH">;
|
|
3813
|
+
silverScriptBuilder: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
|
|
3814
|
+
zkCorpusSurface: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
|
|
3815
|
+
zkLocalVerification: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
|
|
3816
|
+
risc0InspectSurface: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
|
|
3817
|
+
vProgsInspectSurface: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
|
|
3818
|
+
runtimeOutcome: z.ZodLiteral<"PARTIAL">;
|
|
3819
|
+
vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
|
|
3820
|
+
zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
|
|
3821
|
+
vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
|
|
3822
|
+
vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
|
|
3823
|
+
mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
|
|
3824
|
+
}, "strip", z.ZodTypeAny, {
|
|
3825
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
3826
|
+
artifactCoherence: "READY_MATCH";
|
|
3827
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
3828
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
3829
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
3830
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
3831
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
3832
|
+
runtimeOutcome: "PARTIAL";
|
|
3833
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
3834
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
3835
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
3836
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
3837
|
+
}, {
|
|
3838
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
3839
|
+
artifactCoherence: "READY_MATCH";
|
|
3840
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
3841
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
3842
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
3843
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
3844
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
3845
|
+
runtimeOutcome: "PARTIAL";
|
|
3846
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
3847
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
3848
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
3849
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
3850
|
+
}>;
|
|
3851
|
+
declare const ProgrammabilityCapabilitiesSchema: z.ZodObject<{
|
|
3852
|
+
schema: z.ZodLiteral<"hardkas.programmability.capabilities.v1">;
|
|
3853
|
+
ok: z.ZodLiteral<true>;
|
|
3854
|
+
status: z.ZodLiteral<"PROGRAMMABILITY_SURFACE_READY">;
|
|
3855
|
+
surfaces: z.ZodObject<{
|
|
3856
|
+
silverScript: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
|
|
3857
|
+
zkCorpus: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
|
|
3858
|
+
groth16FixtureCoherence: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
|
|
3859
|
+
risc0Inspect: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
|
|
3860
|
+
vProgsInspect: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
|
|
3861
|
+
}, "strip", z.ZodTypeAny, {
|
|
3862
|
+
silverScript: "SILVERSCRIPT_BUILDER_READY";
|
|
3863
|
+
zkCorpus: "ZK_CORPUS_SURFACE_READY";
|
|
3864
|
+
groth16FixtureCoherence: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
3865
|
+
risc0Inspect: "RISC0_INSPECT_SURFACE_READY";
|
|
3866
|
+
vProgsInspect: "VPROGS_INSPECT_SURFACE_READY";
|
|
3867
|
+
}, {
|
|
3868
|
+
silverScript: "SILVERSCRIPT_BUILDER_READY";
|
|
3869
|
+
zkCorpus: "ZK_CORPUS_SURFACE_READY";
|
|
3870
|
+
groth16FixtureCoherence: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
3871
|
+
risc0Inspect: "RISC0_INSPECT_SURFACE_READY";
|
|
3872
|
+
vProgsInspect: "VPROGS_INSPECT_SURFACE_READY";
|
|
3873
|
+
}>;
|
|
3874
|
+
claims: z.ZodObject<{
|
|
3875
|
+
artifactCoherence: z.ZodLiteral<"READY_MATCH">;
|
|
3876
|
+
silverScriptBuilder: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
|
|
3877
|
+
zkCorpusSurface: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
|
|
3878
|
+
zkLocalVerification: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
|
|
3879
|
+
risc0InspectSurface: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
|
|
3880
|
+
vProgsInspectSurface: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
|
|
3881
|
+
runtimeOutcome: z.ZodLiteral<"PARTIAL">;
|
|
3882
|
+
vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
|
|
3883
|
+
zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
|
|
3884
|
+
vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
|
|
3885
|
+
vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
|
|
3886
|
+
mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
|
|
3887
|
+
}, "strip", z.ZodTypeAny, {
|
|
3888
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
3889
|
+
artifactCoherence: "READY_MATCH";
|
|
3890
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
3891
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
3892
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
3893
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
3894
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
3895
|
+
runtimeOutcome: "PARTIAL";
|
|
3896
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
3897
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
3898
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
3899
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
3900
|
+
}, {
|
|
3901
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
3902
|
+
artifactCoherence: "READY_MATCH";
|
|
3903
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
3904
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
3905
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
3906
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
3907
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
3908
|
+
runtimeOutcome: "PARTIAL";
|
|
3909
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
3910
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
3911
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
3912
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
3913
|
+
}>;
|
|
3914
|
+
nonClaims: z.ZodArray<z.ZodString, "many">;
|
|
3915
|
+
}, "strip", z.ZodTypeAny, {
|
|
3916
|
+
status: "PROGRAMMABILITY_SURFACE_READY";
|
|
3917
|
+
schema: "hardkas.programmability.capabilities.v1";
|
|
3918
|
+
ok: true;
|
|
3919
|
+
surfaces: {
|
|
3920
|
+
silverScript: "SILVERSCRIPT_BUILDER_READY";
|
|
3921
|
+
zkCorpus: "ZK_CORPUS_SURFACE_READY";
|
|
3922
|
+
groth16FixtureCoherence: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
3923
|
+
risc0Inspect: "RISC0_INSPECT_SURFACE_READY";
|
|
3924
|
+
vProgsInspect: "VPROGS_INSPECT_SURFACE_READY";
|
|
3925
|
+
};
|
|
3926
|
+
claims: {
|
|
3927
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
3928
|
+
artifactCoherence: "READY_MATCH";
|
|
3929
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
3930
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
3931
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
3932
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
3933
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
3934
|
+
runtimeOutcome: "PARTIAL";
|
|
3935
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
3936
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
3937
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
3938
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
3939
|
+
};
|
|
3940
|
+
nonClaims: string[];
|
|
3941
|
+
}, {
|
|
3942
|
+
status: "PROGRAMMABILITY_SURFACE_READY";
|
|
3943
|
+
schema: "hardkas.programmability.capabilities.v1";
|
|
3944
|
+
ok: true;
|
|
3945
|
+
surfaces: {
|
|
3946
|
+
silverScript: "SILVERSCRIPT_BUILDER_READY";
|
|
3947
|
+
zkCorpus: "ZK_CORPUS_SURFACE_READY";
|
|
3948
|
+
groth16FixtureCoherence: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
3949
|
+
risc0Inspect: "RISC0_INSPECT_SURFACE_READY";
|
|
3950
|
+
vProgsInspect: "VPROGS_INSPECT_SURFACE_READY";
|
|
3951
|
+
};
|
|
3952
|
+
claims: {
|
|
3953
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
3954
|
+
artifactCoherence: "READY_MATCH";
|
|
3955
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
3956
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
3957
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
3958
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
3959
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
3960
|
+
runtimeOutcome: "PARTIAL";
|
|
3961
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
3962
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
3963
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
3964
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
3965
|
+
};
|
|
3966
|
+
nonClaims: string[];
|
|
3967
|
+
}>;
|
|
3968
|
+
declare const ProgrammabilityInspectSchema: z.ZodObject<{
|
|
3969
|
+
schema: z.ZodLiteral<"hardkas.programmability.inspect.v1">;
|
|
3970
|
+
ok: z.ZodBoolean;
|
|
3971
|
+
status: z.ZodEnum<["PROGRAMMABILITY_ARTIFACT_INSPECTED", "PROGRAMMABILITY_ARTIFACT_INVALID"]>;
|
|
3972
|
+
kind: z.ZodEnum<["silver", "zk", "vprog"]>;
|
|
3973
|
+
path: z.ZodString;
|
|
3974
|
+
artifactSchema: z.ZodOptional<z.ZodString>;
|
|
3975
|
+
contentHash: z.ZodOptional<z.ZodString>;
|
|
3976
|
+
sourceStatus: z.ZodOptional<z.ZodString>;
|
|
3977
|
+
claims: z.ZodObject<{
|
|
3978
|
+
artifactCoherence: z.ZodLiteral<"READY_MATCH">;
|
|
3979
|
+
silverScriptBuilder: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
|
|
3980
|
+
zkCorpusSurface: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
|
|
3981
|
+
zkLocalVerification: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
|
|
3982
|
+
risc0InspectSurface: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
|
|
3983
|
+
vProgsInspectSurface: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
|
|
3984
|
+
runtimeOutcome: z.ZodLiteral<"PARTIAL">;
|
|
3985
|
+
vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
|
|
3986
|
+
zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
|
|
3987
|
+
vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
|
|
3988
|
+
vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
|
|
3989
|
+
mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
|
|
3990
|
+
}, "strip", z.ZodTypeAny, {
|
|
3991
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
3992
|
+
artifactCoherence: "READY_MATCH";
|
|
3993
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
3994
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
3995
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
3996
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
3997
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
3998
|
+
runtimeOutcome: "PARTIAL";
|
|
3999
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4000
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4001
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4002
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4003
|
+
}, {
|
|
4004
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4005
|
+
artifactCoherence: "READY_MATCH";
|
|
4006
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4007
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4008
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4009
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4010
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4011
|
+
runtimeOutcome: "PARTIAL";
|
|
4012
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4013
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4014
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4015
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4016
|
+
}>;
|
|
4017
|
+
issues: z.ZodArray<z.ZodObject<{
|
|
4018
|
+
code: z.ZodString;
|
|
4019
|
+
message: z.ZodString;
|
|
4020
|
+
file: z.ZodOptional<z.ZodString>;
|
|
4021
|
+
}, "strip", z.ZodTypeAny, {
|
|
4022
|
+
code: string;
|
|
4023
|
+
message: string;
|
|
4024
|
+
file?: string | undefined;
|
|
4025
|
+
}, {
|
|
4026
|
+
code: string;
|
|
4027
|
+
message: string;
|
|
4028
|
+
file?: string | undefined;
|
|
4029
|
+
}>, "many">;
|
|
4030
|
+
}, "strip", z.ZodTypeAny, {
|
|
4031
|
+
issues: {
|
|
4032
|
+
code: string;
|
|
4033
|
+
message: string;
|
|
4034
|
+
file?: string | undefined;
|
|
4035
|
+
}[];
|
|
4036
|
+
path: string;
|
|
4037
|
+
status: "PROGRAMMABILITY_ARTIFACT_INSPECTED" | "PROGRAMMABILITY_ARTIFACT_INVALID";
|
|
4038
|
+
schema: "hardkas.programmability.inspect.v1";
|
|
4039
|
+
ok: boolean;
|
|
4040
|
+
claims: {
|
|
4041
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4042
|
+
artifactCoherence: "READY_MATCH";
|
|
4043
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4044
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4045
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4046
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4047
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4048
|
+
runtimeOutcome: "PARTIAL";
|
|
4049
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4050
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4051
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4052
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4053
|
+
};
|
|
4054
|
+
kind: "silver" | "zk" | "vprog";
|
|
4055
|
+
contentHash?: string | undefined;
|
|
4056
|
+
artifactSchema?: string | undefined;
|
|
4057
|
+
sourceStatus?: string | undefined;
|
|
4058
|
+
}, {
|
|
4059
|
+
issues: {
|
|
4060
|
+
code: string;
|
|
4061
|
+
message: string;
|
|
4062
|
+
file?: string | undefined;
|
|
4063
|
+
}[];
|
|
4064
|
+
path: string;
|
|
4065
|
+
status: "PROGRAMMABILITY_ARTIFACT_INSPECTED" | "PROGRAMMABILITY_ARTIFACT_INVALID";
|
|
4066
|
+
schema: "hardkas.programmability.inspect.v1";
|
|
4067
|
+
ok: boolean;
|
|
4068
|
+
claims: {
|
|
4069
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4070
|
+
artifactCoherence: "READY_MATCH";
|
|
4071
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4072
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4073
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4074
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4075
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4076
|
+
runtimeOutcome: "PARTIAL";
|
|
4077
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4078
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4079
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4080
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4081
|
+
};
|
|
4082
|
+
kind: "silver" | "zk" | "vprog";
|
|
4083
|
+
contentHash?: string | undefined;
|
|
4084
|
+
artifactSchema?: string | undefined;
|
|
4085
|
+
sourceStatus?: string | undefined;
|
|
4086
|
+
}>;
|
|
4087
|
+
declare const ProgrammabilityVerifySchema: z.ZodObject<{
|
|
4088
|
+
schema: z.ZodLiteral<"hardkas.programmability.verify.v1">;
|
|
4089
|
+
ok: z.ZodBoolean;
|
|
4090
|
+
status: z.ZodEnum<["PROGRAMMABILITY_VERIFY_PASS", "PROGRAMMABILITY_VERIFY_FAIL", "PROGRAMMABILITY_VERIFY_PARTIAL"]>;
|
|
4091
|
+
kind: z.ZodEnum<["silver", "zk", "vprog"]>;
|
|
4092
|
+
path: z.ZodString;
|
|
4093
|
+
sourceStatus: z.ZodOptional<z.ZodString>;
|
|
4094
|
+
claims: z.ZodObject<{
|
|
4095
|
+
artifactCoherence: z.ZodLiteral<"READY_MATCH">;
|
|
4096
|
+
silverScriptBuilder: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
|
|
4097
|
+
zkCorpusSurface: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
|
|
4098
|
+
zkLocalVerification: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
|
|
4099
|
+
risc0InspectSurface: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
|
|
4100
|
+
vProgsInspectSurface: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
|
|
4101
|
+
runtimeOutcome: z.ZodLiteral<"PARTIAL">;
|
|
4102
|
+
vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4103
|
+
zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4104
|
+
vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4105
|
+
vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4106
|
+
mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
|
|
4107
|
+
}, "strip", z.ZodTypeAny, {
|
|
4108
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4109
|
+
artifactCoherence: "READY_MATCH";
|
|
4110
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4111
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4112
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4113
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4114
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4115
|
+
runtimeOutcome: "PARTIAL";
|
|
4116
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4117
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4118
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4119
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4120
|
+
}, {
|
|
4121
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4122
|
+
artifactCoherence: "READY_MATCH";
|
|
4123
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4124
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4125
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4126
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4127
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4128
|
+
runtimeOutcome: "PARTIAL";
|
|
4129
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4130
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4131
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4132
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4133
|
+
}>;
|
|
4134
|
+
issues: z.ZodArray<z.ZodObject<{
|
|
4135
|
+
code: z.ZodString;
|
|
4136
|
+
message: z.ZodString;
|
|
4137
|
+
file: z.ZodOptional<z.ZodString>;
|
|
4138
|
+
}, "strip", z.ZodTypeAny, {
|
|
4139
|
+
code: string;
|
|
4140
|
+
message: string;
|
|
4141
|
+
file?: string | undefined;
|
|
4142
|
+
}, {
|
|
4143
|
+
code: string;
|
|
4144
|
+
message: string;
|
|
4145
|
+
file?: string | undefined;
|
|
4146
|
+
}>, "many">;
|
|
4147
|
+
}, "strip", z.ZodTypeAny, {
|
|
4148
|
+
issues: {
|
|
4149
|
+
code: string;
|
|
4150
|
+
message: string;
|
|
4151
|
+
file?: string | undefined;
|
|
4152
|
+
}[];
|
|
4153
|
+
path: string;
|
|
4154
|
+
status: "PROGRAMMABILITY_VERIFY_PASS" | "PROGRAMMABILITY_VERIFY_FAIL" | "PROGRAMMABILITY_VERIFY_PARTIAL";
|
|
4155
|
+
schema: "hardkas.programmability.verify.v1";
|
|
4156
|
+
ok: boolean;
|
|
4157
|
+
claims: {
|
|
4158
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4159
|
+
artifactCoherence: "READY_MATCH";
|
|
4160
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4161
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4162
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4163
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4164
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4165
|
+
runtimeOutcome: "PARTIAL";
|
|
4166
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4167
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4168
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4169
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4170
|
+
};
|
|
4171
|
+
kind: "silver" | "zk" | "vprog";
|
|
4172
|
+
sourceStatus?: string | undefined;
|
|
4173
|
+
}, {
|
|
4174
|
+
issues: {
|
|
4175
|
+
code: string;
|
|
4176
|
+
message: string;
|
|
4177
|
+
file?: string | undefined;
|
|
4178
|
+
}[];
|
|
4179
|
+
path: string;
|
|
4180
|
+
status: "PROGRAMMABILITY_VERIFY_PASS" | "PROGRAMMABILITY_VERIFY_FAIL" | "PROGRAMMABILITY_VERIFY_PARTIAL";
|
|
4181
|
+
schema: "hardkas.programmability.verify.v1";
|
|
4182
|
+
ok: boolean;
|
|
4183
|
+
claims: {
|
|
4184
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4185
|
+
artifactCoherence: "READY_MATCH";
|
|
4186
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4187
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4188
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4189
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4190
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4191
|
+
runtimeOutcome: "PARTIAL";
|
|
4192
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4193
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4194
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4195
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4196
|
+
};
|
|
4197
|
+
kind: "silver" | "zk" | "vprog";
|
|
4198
|
+
sourceStatus?: string | undefined;
|
|
4199
|
+
}>;
|
|
4200
|
+
declare const ProgrammabilityCorpusReportSchema: z.ZodObject<{
|
|
4201
|
+
schema: z.ZodLiteral<"hardkas.programmability.corpusReport.v1">;
|
|
4202
|
+
ok: z.ZodBoolean;
|
|
4203
|
+
path: z.ZodString;
|
|
4204
|
+
status: z.ZodEnum<["PROGRAMMABILITY_CORPUS_PASS", "PROGRAMMABILITY_CORPUS_FAIL"]>;
|
|
4205
|
+
summary: z.ZodObject<{
|
|
4206
|
+
silver: z.ZodEnum<["PASS", "FAIL", "SKIPPED"]>;
|
|
4207
|
+
zk: z.ZodEnum<["PASS", "FAIL", "SKIPPED"]>;
|
|
4208
|
+
vprogs: z.ZodEnum<["PASS", "FAIL", "SKIPPED"]>;
|
|
4209
|
+
rootManifest: z.ZodEnum<["PASS", "FAIL"]>;
|
|
4210
|
+
knownLimitations: z.ZodArray<z.ZodString, "many">;
|
|
4211
|
+
}, "strip", z.ZodTypeAny, {
|
|
4212
|
+
silver: "PASS" | "FAIL" | "SKIPPED";
|
|
4213
|
+
zk: "PASS" | "FAIL" | "SKIPPED";
|
|
4214
|
+
vprogs: "PASS" | "FAIL" | "SKIPPED";
|
|
4215
|
+
rootManifest: "PASS" | "FAIL";
|
|
4216
|
+
knownLimitations: string[];
|
|
4217
|
+
}, {
|
|
4218
|
+
silver: "PASS" | "FAIL" | "SKIPPED";
|
|
4219
|
+
zk: "PASS" | "FAIL" | "SKIPPED";
|
|
4220
|
+
vprogs: "PASS" | "FAIL" | "SKIPPED";
|
|
4221
|
+
rootManifest: "PASS" | "FAIL";
|
|
4222
|
+
knownLimitations: string[];
|
|
4223
|
+
}>;
|
|
4224
|
+
claims: z.ZodObject<{
|
|
4225
|
+
artifactCoherence: z.ZodLiteral<"READY_MATCH">;
|
|
4226
|
+
silverScriptBuilder: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
|
|
4227
|
+
zkCorpusSurface: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
|
|
4228
|
+
zkLocalVerification: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
|
|
4229
|
+
risc0InspectSurface: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
|
|
4230
|
+
vProgsInspectSurface: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
|
|
4231
|
+
runtimeOutcome: z.ZodLiteral<"PARTIAL">;
|
|
4232
|
+
vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4233
|
+
zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4234
|
+
vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4235
|
+
vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4236
|
+
mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
|
|
4237
|
+
}, "strip", z.ZodTypeAny, {
|
|
4238
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4239
|
+
artifactCoherence: "READY_MATCH";
|
|
4240
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4241
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4242
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4243
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4244
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4245
|
+
runtimeOutcome: "PARTIAL";
|
|
4246
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4247
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4248
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4249
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4250
|
+
}, {
|
|
4251
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4252
|
+
artifactCoherence: "READY_MATCH";
|
|
4253
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4254
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4255
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4256
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4257
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4258
|
+
runtimeOutcome: "PARTIAL";
|
|
4259
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4260
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4261
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4262
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4263
|
+
}>;
|
|
4264
|
+
issues: z.ZodArray<z.ZodObject<{
|
|
4265
|
+
code: z.ZodString;
|
|
4266
|
+
message: z.ZodString;
|
|
4267
|
+
file: z.ZodOptional<z.ZodString>;
|
|
4268
|
+
}, "strip", z.ZodTypeAny, {
|
|
4269
|
+
code: string;
|
|
4270
|
+
message: string;
|
|
4271
|
+
file?: string | undefined;
|
|
4272
|
+
}, {
|
|
4273
|
+
code: string;
|
|
4274
|
+
message: string;
|
|
4275
|
+
file?: string | undefined;
|
|
4276
|
+
}>, "many">;
|
|
4277
|
+
}, "strip", z.ZodTypeAny, {
|
|
4278
|
+
issues: {
|
|
4279
|
+
code: string;
|
|
4280
|
+
message: string;
|
|
4281
|
+
file?: string | undefined;
|
|
4282
|
+
}[];
|
|
4283
|
+
path: string;
|
|
4284
|
+
status: "PROGRAMMABILITY_CORPUS_PASS" | "PROGRAMMABILITY_CORPUS_FAIL";
|
|
4285
|
+
schema: "hardkas.programmability.corpusReport.v1";
|
|
4286
|
+
ok: boolean;
|
|
4287
|
+
claims: {
|
|
4288
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4289
|
+
artifactCoherence: "READY_MATCH";
|
|
4290
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4291
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4292
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4293
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4294
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4295
|
+
runtimeOutcome: "PARTIAL";
|
|
4296
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4297
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4298
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4299
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4300
|
+
};
|
|
4301
|
+
summary: {
|
|
4302
|
+
silver: "PASS" | "FAIL" | "SKIPPED";
|
|
4303
|
+
zk: "PASS" | "FAIL" | "SKIPPED";
|
|
4304
|
+
vprogs: "PASS" | "FAIL" | "SKIPPED";
|
|
4305
|
+
rootManifest: "PASS" | "FAIL";
|
|
4306
|
+
knownLimitations: string[];
|
|
4307
|
+
};
|
|
4308
|
+
}, {
|
|
4309
|
+
issues: {
|
|
4310
|
+
code: string;
|
|
4311
|
+
message: string;
|
|
4312
|
+
file?: string | undefined;
|
|
4313
|
+
}[];
|
|
4314
|
+
path: string;
|
|
4315
|
+
status: "PROGRAMMABILITY_CORPUS_PASS" | "PROGRAMMABILITY_CORPUS_FAIL";
|
|
4316
|
+
schema: "hardkas.programmability.corpusReport.v1";
|
|
4317
|
+
ok: boolean;
|
|
4318
|
+
claims: {
|
|
4319
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4320
|
+
artifactCoherence: "READY_MATCH";
|
|
4321
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4322
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4323
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4324
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4325
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4326
|
+
runtimeOutcome: "PARTIAL";
|
|
4327
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4328
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4329
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4330
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4331
|
+
};
|
|
4332
|
+
summary: {
|
|
4333
|
+
silver: "PASS" | "FAIL" | "SKIPPED";
|
|
4334
|
+
zk: "PASS" | "FAIL" | "SKIPPED";
|
|
4335
|
+
vprogs: "PASS" | "FAIL" | "SKIPPED";
|
|
4336
|
+
rootManifest: "PASS" | "FAIL";
|
|
4337
|
+
knownLimitations: string[];
|
|
4338
|
+
};
|
|
4339
|
+
}>;
|
|
4340
|
+
declare const ProgrammabilityAppPlanSchema: z.ZodObject<{
|
|
4341
|
+
schema: z.ZodLiteral<"hardkas.programmability.appPlan.v1">;
|
|
4342
|
+
ok: z.ZodLiteral<true>;
|
|
4343
|
+
status: z.ZodLiteral<"PROGRAMMABILITY_APP_PLAN_READY">;
|
|
4344
|
+
kind: z.ZodEnum<["silver", "zk", "vprog", "full-lab"]>;
|
|
4345
|
+
template: z.ZodString;
|
|
4346
|
+
commands: z.ZodArray<z.ZodString, "many">;
|
|
4347
|
+
sdkSurfaces: z.ZodArray<z.ZodString, "many">;
|
|
4348
|
+
claims: z.ZodObject<{
|
|
4349
|
+
artifactCoherence: z.ZodLiteral<"READY_MATCH">;
|
|
4350
|
+
silverScriptBuilder: z.ZodLiteral<"SILVERSCRIPT_BUILDER_READY">;
|
|
4351
|
+
zkCorpusSurface: z.ZodLiteral<"ZK_CORPUS_SURFACE_READY">;
|
|
4352
|
+
zkLocalVerification: z.ZodLiteral<"READY_GROTH16_FIXTURE_COHERENCE">;
|
|
4353
|
+
risc0InspectSurface: z.ZodLiteral<"RISC0_INSPECT_SURFACE_READY">;
|
|
4354
|
+
vProgsInspectSurface: z.ZodLiteral<"VPROGS_INSPECT_SURFACE_READY">;
|
|
4355
|
+
runtimeOutcome: z.ZodLiteral<"PARTIAL">;
|
|
4356
|
+
vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4357
|
+
zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4358
|
+
vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4359
|
+
vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4360
|
+
mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
|
|
4361
|
+
}, "strip", z.ZodTypeAny, {
|
|
4362
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4363
|
+
artifactCoherence: "READY_MATCH";
|
|
4364
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4365
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4366
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4367
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4368
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4369
|
+
runtimeOutcome: "PARTIAL";
|
|
4370
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4371
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4372
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4373
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4374
|
+
}, {
|
|
4375
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4376
|
+
artifactCoherence: "READY_MATCH";
|
|
4377
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4378
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4379
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4380
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4381
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4382
|
+
runtimeOutcome: "PARTIAL";
|
|
4383
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4384
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4385
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4386
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4387
|
+
}>;
|
|
4388
|
+
nonClaims: z.ZodArray<z.ZodString, "many">;
|
|
4389
|
+
}, "strip", z.ZodTypeAny, {
|
|
4390
|
+
status: "PROGRAMMABILITY_APP_PLAN_READY";
|
|
4391
|
+
schema: "hardkas.programmability.appPlan.v1";
|
|
4392
|
+
ok: true;
|
|
4393
|
+
claims: {
|
|
4394
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4395
|
+
artifactCoherence: "READY_MATCH";
|
|
4396
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4397
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4398
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4399
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4400
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4401
|
+
runtimeOutcome: "PARTIAL";
|
|
4402
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4403
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4404
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4405
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4406
|
+
};
|
|
4407
|
+
nonClaims: string[];
|
|
4408
|
+
kind: "silver" | "zk" | "vprog" | "full-lab";
|
|
4409
|
+
template: string;
|
|
4410
|
+
commands: string[];
|
|
4411
|
+
sdkSurfaces: string[];
|
|
4412
|
+
}, {
|
|
4413
|
+
status: "PROGRAMMABILITY_APP_PLAN_READY";
|
|
4414
|
+
schema: "hardkas.programmability.appPlan.v1";
|
|
4415
|
+
ok: true;
|
|
4416
|
+
claims: {
|
|
4417
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4418
|
+
artifactCoherence: "READY_MATCH";
|
|
4419
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
4420
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
4421
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
4422
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
4423
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
4424
|
+
runtimeOutcome: "PARTIAL";
|
|
4425
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4426
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4427
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4428
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4429
|
+
};
|
|
4430
|
+
nonClaims: string[];
|
|
4431
|
+
kind: "silver" | "zk" | "vprog" | "full-lab";
|
|
4432
|
+
template: string;
|
|
4433
|
+
commands: string[];
|
|
4434
|
+
sdkSurfaces: string[];
|
|
4435
|
+
}>;
|
|
4436
|
+
declare const ToccataProgrammabilityCorpusSchema: z.ZodObject<{
|
|
4437
|
+
schema: z.ZodLiteral<"hardkas.toccataProgrammabilityCorpus.v1">;
|
|
4438
|
+
version: z.ZodString;
|
|
4439
|
+
network: z.ZodLiteral<"simnet">;
|
|
4440
|
+
profile: z.ZodLiteral<"toccata-v2">;
|
|
4441
|
+
status: z.ZodLiteral<"PROGRAMMABILITY_SURFACE_READY">;
|
|
4442
|
+
components: z.ZodRecord<z.ZodString, z.ZodAny>;
|
|
4443
|
+
claims: z.ZodObject<{
|
|
4444
|
+
artifactCoherence: z.ZodLiteral<"READY_MATCH">;
|
|
4445
|
+
runtimeOutcome: z.ZodLiteral<"PARTIAL">;
|
|
4446
|
+
vmConsensusEquivalence: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4447
|
+
zkOnchainVerification: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4448
|
+
vProgsRuntime: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4449
|
+
vProgsStableApi: z.ZodLiteral<"NOT_CLAIMED">;
|
|
4450
|
+
mainnet: z.ZodLiteral<"BLOCKED_BY_POLICY">;
|
|
4451
|
+
}, "strip", z.ZodTypeAny, {
|
|
4452
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4453
|
+
artifactCoherence: "READY_MATCH";
|
|
4454
|
+
runtimeOutcome: "PARTIAL";
|
|
4455
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4456
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4457
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4458
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4459
|
+
}, {
|
|
4460
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4461
|
+
artifactCoherence: "READY_MATCH";
|
|
4462
|
+
runtimeOutcome: "PARTIAL";
|
|
4463
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4464
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4465
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4466
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4467
|
+
}>;
|
|
4468
|
+
expectedKnownLimitations: z.ZodArray<z.ZodString, "many">;
|
|
4469
|
+
}, "strip", z.ZodTypeAny, {
|
|
4470
|
+
status: "PROGRAMMABILITY_SURFACE_READY";
|
|
4471
|
+
version: string;
|
|
4472
|
+
schema: "hardkas.toccataProgrammabilityCorpus.v1";
|
|
4473
|
+
network: "simnet";
|
|
4474
|
+
claims: {
|
|
4475
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4476
|
+
artifactCoherence: "READY_MATCH";
|
|
4477
|
+
runtimeOutcome: "PARTIAL";
|
|
4478
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4479
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4480
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4481
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4482
|
+
};
|
|
4483
|
+
profile: "toccata-v2";
|
|
4484
|
+
components: Record<string, any>;
|
|
4485
|
+
expectedKnownLimitations: string[];
|
|
4486
|
+
}, {
|
|
4487
|
+
status: "PROGRAMMABILITY_SURFACE_READY";
|
|
4488
|
+
version: string;
|
|
4489
|
+
schema: "hardkas.toccataProgrammabilityCorpus.v1";
|
|
4490
|
+
network: "simnet";
|
|
4491
|
+
claims: {
|
|
4492
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
4493
|
+
artifactCoherence: "READY_MATCH";
|
|
4494
|
+
runtimeOutcome: "PARTIAL";
|
|
4495
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
4496
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
4497
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
4498
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
4499
|
+
};
|
|
4500
|
+
profile: "toccata-v2";
|
|
4501
|
+
components: Record<string, any>;
|
|
4502
|
+
expectedKnownLimitations: string[];
|
|
4503
|
+
}>;
|
|
4504
|
+
type ProgrammabilityClaimsSchemaType = z.infer<typeof ProgrammabilityClaimsSchema>;
|
|
4505
|
+
type ProgrammabilityCapabilitiesSchemaType = z.infer<typeof ProgrammabilityCapabilitiesSchema>;
|
|
4506
|
+
type ProgrammabilityInspectSchemaType = z.infer<typeof ProgrammabilityInspectSchema>;
|
|
4507
|
+
type ProgrammabilityVerifySchemaType = z.infer<typeof ProgrammabilityVerifySchema>;
|
|
4508
|
+
type ProgrammabilityCorpusReportSchemaType = z.infer<typeof ProgrammabilityCorpusReportSchema>;
|
|
4509
|
+
type ProgrammabilityAppPlanSchemaType = z.infer<typeof ProgrammabilityAppPlanSchema>;
|
|
4510
|
+
type ToccataProgrammabilityCorpusSchemaType = z.infer<typeof ToccataProgrammabilityCorpusSchema>;
|
|
3804
4511
|
|
|
3805
4512
|
interface ArtifactValidationResult {
|
|
3806
4513
|
ok: boolean;
|
|
@@ -3824,7 +4531,7 @@ interface IgraTxRequestArtifact {
|
|
|
3824
4531
|
readonly nonce?: string;
|
|
3825
4532
|
}
|
|
3826
4533
|
interface IgraTxPlanArtifact {
|
|
3827
|
-
readonly schema:
|
|
4534
|
+
readonly schema: typeof HardkasSchemas.IgraTxPlanV1;
|
|
3828
4535
|
readonly hardkasVersion: string;
|
|
3829
4536
|
readonly networkId: string;
|
|
3830
4537
|
readonly mode: "l2-rpc";
|
|
@@ -3839,7 +4546,7 @@ interface IgraTxPlanArtifact {
|
|
|
3839
4546
|
readonly status: "built";
|
|
3840
4547
|
}
|
|
3841
4548
|
interface IgraSignedTxArtifact {
|
|
3842
|
-
readonly schema:
|
|
4549
|
+
readonly schema: typeof HardkasSchemas.IgraSignedTxV1;
|
|
3843
4550
|
readonly hardkasVersion: string;
|
|
3844
4551
|
readonly networkId: string;
|
|
3845
4552
|
readonly mode: "l2-rpc";
|
|
@@ -3854,7 +4561,7 @@ interface IgraSignedTxArtifact {
|
|
|
3854
4561
|
readonly status: "signed";
|
|
3855
4562
|
}
|
|
3856
4563
|
interface IgraTxReceiptArtifact {
|
|
3857
|
-
readonly schema:
|
|
4564
|
+
readonly schema: typeof HardkasSchemas.IgraTxReceiptV1;
|
|
3858
4565
|
readonly hardkasVersion: string;
|
|
3859
4566
|
readonly networkId: string;
|
|
3860
4567
|
readonly mode: "l2-rpc";
|
|
@@ -3947,7 +4654,7 @@ interface TxOutputArtifact {
|
|
|
3947
4654
|
readonly script?: string | undefined;
|
|
3948
4655
|
}
|
|
3949
4656
|
interface TxPlanArtifactV1 extends HardkasArtifactBase {
|
|
3950
|
-
readonly schema:
|
|
4657
|
+
readonly schema: typeof HardkasSchemas.TxPlanV1;
|
|
3951
4658
|
readonly status: "built" | "unsigned";
|
|
3952
4659
|
readonly planId: string;
|
|
3953
4660
|
readonly from: {
|
|
@@ -3971,7 +4678,7 @@ interface TxPlanArtifactV1 extends HardkasArtifactBase {
|
|
|
3971
4678
|
readonly metadata?: Record<string, any> | undefined;
|
|
3972
4679
|
}
|
|
3973
4680
|
interface SignedTxArtifactV1 extends HardkasArtifactBase {
|
|
3974
|
-
readonly schema:
|
|
4681
|
+
readonly schema: typeof HardkasSchemas.SignedTxV1;
|
|
3975
4682
|
readonly status: "signed";
|
|
3976
4683
|
readonly signedId: string;
|
|
3977
4684
|
readonly sourcePlanId: string;
|
|
@@ -3995,7 +4702,7 @@ interface SignedTxArtifactV1 extends HardkasArtifactBase {
|
|
|
3995
4702
|
readonly metadata?: Record<string, any> | undefined;
|
|
3996
4703
|
}
|
|
3997
4704
|
interface TxReceiptArtifactV1 extends HardkasArtifactBase {
|
|
3998
|
-
readonly schema:
|
|
4705
|
+
readonly schema: typeof HardkasSchemas.TxReceiptV1;
|
|
3999
4706
|
readonly status: "submitted" | "accepted" | "confirmed" | "finalized" | "failed";
|
|
4000
4707
|
readonly txId: TxId;
|
|
4001
4708
|
readonly sourceSignedId?: ArtifactId | undefined;
|
|
@@ -4020,7 +4727,7 @@ interface TxReceiptArtifactV1 extends HardkasArtifactBase {
|
|
|
4020
4727
|
readonly metadata?: Record<string, any> | undefined;
|
|
4021
4728
|
}
|
|
4022
4729
|
interface TxTraceArtifactV1 extends HardkasArtifactBase {
|
|
4023
|
-
readonly schema:
|
|
4730
|
+
readonly schema: typeof HardkasSchemas.TxTraceV1;
|
|
4024
4731
|
readonly txId: TxId;
|
|
4025
4732
|
readonly steps: Array<{
|
|
4026
4733
|
phase: string;
|
|
@@ -4220,7 +4927,7 @@ interface WorkflowArtifact extends BaseArtifact<"workflow.v1"> {
|
|
|
4220
4927
|
};
|
|
4221
4928
|
}
|
|
4222
4929
|
interface DeploymentRecord extends HardkasArtifactBase {
|
|
4223
|
-
schema:
|
|
4930
|
+
schema: typeof HardkasSchemas.DeploymentV1;
|
|
4224
4931
|
/** Human-readable label (e.g., "initial-funding", "vault-covenant-v1") */
|
|
4225
4932
|
label: string;
|
|
4226
4933
|
/** Network where this was deployed */
|
|
@@ -4249,7 +4956,7 @@ interface DeploymentRecord extends HardkasArtifactBase {
|
|
|
4249
4956
|
notes?: string;
|
|
4250
4957
|
}
|
|
4251
4958
|
interface DeploymentIndex extends HardkasArtifactBase {
|
|
4252
|
-
schema:
|
|
4959
|
+
schema: typeof HardkasSchemas.DeploymentIndexV1;
|
|
4253
4960
|
networkId: NetworkId;
|
|
4254
4961
|
deployments: DeploymentSummary[];
|
|
4255
4962
|
lastUpdated: string;
|
|
@@ -4387,6 +5094,50 @@ interface SilverSpendSimulationArtifact extends BaseArtifact<"silver.spendSimula
|
|
|
4387
5094
|
feeSompi: string;
|
|
4388
5095
|
status: "SIMULATED_ACCEPTED";
|
|
4389
5096
|
}
|
|
5097
|
+
interface ProgrammabilityClaims {
|
|
5098
|
+
artifactCoherence: "READY_MATCH";
|
|
5099
|
+
silverScriptBuilder: "SILVERSCRIPT_BUILDER_READY";
|
|
5100
|
+
zkCorpusSurface: "ZK_CORPUS_SURFACE_READY";
|
|
5101
|
+
zkLocalVerification: "READY_GROTH16_FIXTURE_COHERENCE";
|
|
5102
|
+
risc0InspectSurface: "RISC0_INSPECT_SURFACE_READY";
|
|
5103
|
+
vProgsInspectSurface: "VPROGS_INSPECT_SURFACE_READY";
|
|
5104
|
+
runtimeOutcome: "PARTIAL";
|
|
5105
|
+
vmConsensusEquivalence: "NOT_CLAIMED";
|
|
5106
|
+
zkOnchainVerification: "NOT_CLAIMED";
|
|
5107
|
+
vProgsRuntime: "NOT_CLAIMED";
|
|
5108
|
+
vProgsStableApi: "NOT_CLAIMED";
|
|
5109
|
+
mainnet: "BLOCKED_BY_POLICY";
|
|
5110
|
+
}
|
|
5111
|
+
interface ProgrammabilityCapabilitiesArtifact {
|
|
5112
|
+
schema: typeof HardkasSchemas.ProgrammabilityCapabilitiesV1;
|
|
5113
|
+
ok: true;
|
|
5114
|
+
status: "PROGRAMMABILITY_SURFACE_READY";
|
|
5115
|
+
claims: ProgrammabilityClaims;
|
|
5116
|
+
}
|
|
5117
|
+
interface ProgrammabilityInspectArtifact {
|
|
5118
|
+
schema: typeof HardkasSchemas.ProgrammabilityInspectV1;
|
|
5119
|
+
ok: boolean;
|
|
5120
|
+
status: "PROGRAMMABILITY_ARTIFACT_INSPECTED" | "PROGRAMMABILITY_ARTIFACT_INVALID";
|
|
5121
|
+
claims: ProgrammabilityClaims;
|
|
5122
|
+
}
|
|
5123
|
+
interface ProgrammabilityVerifyArtifact {
|
|
5124
|
+
schema: typeof HardkasSchemas.ProgrammabilityVerifyV1;
|
|
5125
|
+
ok: boolean;
|
|
5126
|
+
status: "PROGRAMMABILITY_VERIFY_PASS" | "PROGRAMMABILITY_VERIFY_FAIL" | "PROGRAMMABILITY_VERIFY_PARTIAL";
|
|
5127
|
+
claims: ProgrammabilityClaims;
|
|
5128
|
+
}
|
|
5129
|
+
interface ProgrammabilityCorpusReportArtifact {
|
|
5130
|
+
schema: typeof HardkasSchemas.ProgrammabilityCorpusReportV1;
|
|
5131
|
+
ok: boolean;
|
|
5132
|
+
status: "PROGRAMMABILITY_CORPUS_PASS" | "PROGRAMMABILITY_CORPUS_FAIL";
|
|
5133
|
+
claims: ProgrammabilityClaims;
|
|
5134
|
+
}
|
|
5135
|
+
interface ProgrammabilityAppPlanArtifact {
|
|
5136
|
+
schema: typeof HardkasSchemas.ProgrammabilityAppPlanV1;
|
|
5137
|
+
ok: true;
|
|
5138
|
+
status: "PROGRAMMABILITY_APP_PLAN_READY";
|
|
5139
|
+
claims: ProgrammabilityClaims;
|
|
5140
|
+
}
|
|
4390
5141
|
|
|
4391
5142
|
declare const SEMANTIC_EXCLUSIONS: Set<string>;
|
|
4392
5143
|
declare const V4_SEMANTIC_EXCLUSIONS: Set<string>;
|
|
@@ -4978,4 +5729,4 @@ interface ExternalHardkasSigner {
|
|
|
4978
5729
|
signTransaction(txPlan: TxPlanArtifact): Promise<SignedTxArtifact>;
|
|
4979
5730
|
}
|
|
4980
5731
|
|
|
4981
|
-
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 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, 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 };
|
|
5732
|
+
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 };
|