@hardkas/artifacts 0.8.2-alpha → 0.8.4-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.
Files changed (3) hide show
  1. package/dist/index.d.ts +628 -33
  2. package/dist/index.js +497 -60
  3. package/package.json +3 -3
package/dist/index.d.ts CHANGED
@@ -14,6 +14,10 @@ declare const ARTIFACT_SCHEMAS: {
14
14
  readonly IGRA_TX_PLAN: "hardkas.igraTxPlan.v1";
15
15
  readonly IGRA_SIGNED_TX: "hardkas.igraSignedTx.v1";
16
16
  readonly IGRA_TX_RECEIPT: "hardkas.igraTxReceipt.v1";
17
+ readonly POLICY: "hardkas.policy.v1";
18
+ readonly NETWORK_PROFILE: "hardkas.networkProfile.v1";
19
+ readonly ASSUMPTION: "hardkas.assumption.v1";
20
+ readonly MIGRATION_RECEIPT: "hardkas.migrationReceipt.v1";
17
21
  };
18
22
  type HardkasArtifactSchema = (typeof ARTIFACT_SCHEMAS)[keyof typeof ARTIFACT_SCHEMAS] | string;
19
23
  type HardkasArtifactMode = "simulated" | "node" | "rpc" | "l2-rpc" | "real";
@@ -65,7 +69,7 @@ declare const BaseArtifactSchema: z.ZodObject<{
65
69
  hardkasVersion: z.ZodString;
66
70
  version: z.ZodLiteral<"1.0.0-alpha">;
67
71
  hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
68
- networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated"]>;
72
+ networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
69
73
  mode: z.ZodEnum<["simulated", "real", "readonly"]>;
70
74
  contentHash: z.ZodOptional<z.ZodString>;
71
75
  createdAt: z.ZodString;
@@ -116,7 +120,7 @@ declare const BaseArtifactSchema: z.ZodObject<{
116
120
  version: "1.0.0-alpha";
117
121
  schema: string;
118
122
  hardkasVersion: string;
119
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
123
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
120
124
  mode: "simulated" | "real" | "readonly";
121
125
  createdAt: string;
122
126
  schemaVersion?: string | undefined;
@@ -145,7 +149,7 @@ declare const BaseArtifactSchema: z.ZodObject<{
145
149
  version: "1.0.0-alpha";
146
150
  schema: string;
147
151
  hardkasVersion: string;
148
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
152
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
149
153
  mode: "simulated" | "real" | "readonly";
150
154
  createdAt: string;
151
155
  schemaVersion?: string | undefined;
@@ -184,6 +188,529 @@ declare const AccountRefSchema: z.ZodObject<{
184
188
  accountName?: string | undefined;
185
189
  input?: string | undefined;
186
190
  }>;
191
+ declare const PolicySchema: z.ZodObject<{
192
+ schemaVersion: z.ZodOptional<z.ZodString>;
193
+ hardkasVersion: z.ZodString;
194
+ version: z.ZodLiteral<"1.0.0-alpha">;
195
+ hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
196
+ networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
197
+ mode: z.ZodEnum<["simulated", "real", "readonly"]>;
198
+ contentHash: z.ZodOptional<z.ZodString>;
199
+ createdAt: z.ZodString;
200
+ lineage: z.ZodOptional<z.ZodObject<{
201
+ artifactId: z.ZodString;
202
+ lineageId: z.ZodString;
203
+ parentArtifactId: z.ZodOptional<z.ZodString>;
204
+ rootArtifactId: z.ZodString;
205
+ sequence: z.ZodOptional<z.ZodNumber>;
206
+ }, "strip", z.ZodTypeAny, {
207
+ artifactId: string;
208
+ lineageId: string;
209
+ rootArtifactId: string;
210
+ parentArtifactId?: string | undefined;
211
+ sequence?: number | undefined;
212
+ }, {
213
+ artifactId: string;
214
+ lineageId: string;
215
+ rootArtifactId: string;
216
+ parentArtifactId?: string | undefined;
217
+ sequence?: number | undefined;
218
+ }>>;
219
+ parents: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
220
+ lineageDepth: z.ZodOptional<z.ZodNumber>;
221
+ workflowId: z.ZodOptional<z.ZodString>;
222
+ scriptProfile: z.ZodOptional<z.ZodEnum<["standard", "experimental"]>>;
223
+ scriptCapabilities: z.ZodOptional<z.ZodArray<z.ZodEnum<["p2pk", "multisig", "timelock", "covenant-experimental", "silverscript-experimental", "tockata-experimental"]>, "many">>;
224
+ scriptMetadata: z.ZodOptional<z.ZodObject<{
225
+ language: z.ZodOptional<z.ZodEnum<["native", "silverscript", "tockata"]>>;
226
+ version: z.ZodOptional<z.ZodString>;
227
+ experimental: z.ZodBoolean;
228
+ notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
229
+ consensusImpact: z.ZodOptional<z.ZodEnum<["none", "experimental"]>>;
230
+ }, "strip", z.ZodTypeAny, {
231
+ experimental: boolean;
232
+ language?: "native" | "silverscript" | "tockata" | undefined;
233
+ version?: string | undefined;
234
+ notes?: string[] | undefined;
235
+ consensusImpact?: "experimental" | "none" | undefined;
236
+ }, {
237
+ experimental: boolean;
238
+ language?: "native" | "silverscript" | "tockata" | undefined;
239
+ version?: string | undefined;
240
+ notes?: string[] | undefined;
241
+ consensusImpact?: "experimental" | "none" | undefined;
242
+ }>>;
243
+ } & {
244
+ schema: z.ZodLiteral<"hardkas.policy.v1">;
245
+ decision: z.ZodEnum<["ALLOW", "DENY"]>;
246
+ rules: z.ZodArray<z.ZodObject<{
247
+ id: z.ZodString;
248
+ result: z.ZodEnum<["PASS", "FAIL"]>;
249
+ inputHash: z.ZodOptional<z.ZodString>;
250
+ }, "strip", z.ZodTypeAny, {
251
+ id: string;
252
+ result: "PASS" | "FAIL";
253
+ inputHash?: string | undefined;
254
+ }, {
255
+ id: string;
256
+ result: "PASS" | "FAIL";
257
+ inputHash?: string | undefined;
258
+ }>, "many">;
259
+ }, "strip", z.ZodTypeAny, {
260
+ version: "1.0.0-alpha";
261
+ schema: "hardkas.policy.v1";
262
+ hardkasVersion: string;
263
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
264
+ mode: "simulated" | "real" | "readonly";
265
+ createdAt: string;
266
+ decision: "ALLOW" | "DENY";
267
+ rules: {
268
+ id: string;
269
+ result: "PASS" | "FAIL";
270
+ inputHash?: string | undefined;
271
+ }[];
272
+ schemaVersion?: string | undefined;
273
+ hashVersion?: string | number | undefined;
274
+ contentHash?: string | undefined;
275
+ lineage?: {
276
+ artifactId: string;
277
+ lineageId: string;
278
+ rootArtifactId: string;
279
+ parentArtifactId?: string | undefined;
280
+ sequence?: number | undefined;
281
+ } | undefined;
282
+ parents?: string[] | undefined;
283
+ lineageDepth?: number | undefined;
284
+ workflowId?: string | undefined;
285
+ scriptProfile?: "experimental" | "standard" | undefined;
286
+ scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
287
+ scriptMetadata?: {
288
+ experimental: boolean;
289
+ language?: "native" | "silverscript" | "tockata" | undefined;
290
+ version?: string | undefined;
291
+ notes?: string[] | undefined;
292
+ consensusImpact?: "experimental" | "none" | undefined;
293
+ } | undefined;
294
+ }, {
295
+ version: "1.0.0-alpha";
296
+ schema: "hardkas.policy.v1";
297
+ hardkasVersion: string;
298
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
299
+ mode: "simulated" | "real" | "readonly";
300
+ createdAt: string;
301
+ decision: "ALLOW" | "DENY";
302
+ rules: {
303
+ id: string;
304
+ result: "PASS" | "FAIL";
305
+ inputHash?: string | undefined;
306
+ }[];
307
+ schemaVersion?: string | undefined;
308
+ hashVersion?: string | number | undefined;
309
+ contentHash?: string | undefined;
310
+ lineage?: {
311
+ artifactId: string;
312
+ lineageId: string;
313
+ rootArtifactId: string;
314
+ parentArtifactId?: string | undefined;
315
+ sequence?: number | undefined;
316
+ } | undefined;
317
+ parents?: string[] | undefined;
318
+ lineageDepth?: number | undefined;
319
+ workflowId?: string | undefined;
320
+ scriptProfile?: "experimental" | "standard" | undefined;
321
+ scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
322
+ scriptMetadata?: {
323
+ experimental: boolean;
324
+ language?: "native" | "silverscript" | "tockata" | undefined;
325
+ version?: string | undefined;
326
+ notes?: string[] | undefined;
327
+ consensusImpact?: "experimental" | "none" | undefined;
328
+ } | undefined;
329
+ }>;
330
+ declare const NetworkProfileSchema: z.ZodObject<{
331
+ schemaVersion: z.ZodOptional<z.ZodString>;
332
+ hardkasVersion: z.ZodString;
333
+ version: z.ZodLiteral<"1.0.0-alpha">;
334
+ hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
335
+ networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
336
+ mode: z.ZodEnum<["simulated", "real", "readonly"]>;
337
+ contentHash: z.ZodOptional<z.ZodString>;
338
+ createdAt: z.ZodString;
339
+ lineage: z.ZodOptional<z.ZodObject<{
340
+ artifactId: z.ZodString;
341
+ lineageId: z.ZodString;
342
+ parentArtifactId: z.ZodOptional<z.ZodString>;
343
+ rootArtifactId: z.ZodString;
344
+ sequence: z.ZodOptional<z.ZodNumber>;
345
+ }, "strip", z.ZodTypeAny, {
346
+ artifactId: string;
347
+ lineageId: string;
348
+ rootArtifactId: string;
349
+ parentArtifactId?: string | undefined;
350
+ sequence?: number | undefined;
351
+ }, {
352
+ artifactId: string;
353
+ lineageId: string;
354
+ rootArtifactId: string;
355
+ parentArtifactId?: string | undefined;
356
+ sequence?: number | undefined;
357
+ }>>;
358
+ parents: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
359
+ lineageDepth: z.ZodOptional<z.ZodNumber>;
360
+ workflowId: z.ZodOptional<z.ZodString>;
361
+ scriptProfile: z.ZodOptional<z.ZodEnum<["standard", "experimental"]>>;
362
+ scriptCapabilities: z.ZodOptional<z.ZodArray<z.ZodEnum<["p2pk", "multisig", "timelock", "covenant-experimental", "silverscript-experimental", "tockata-experimental"]>, "many">>;
363
+ scriptMetadata: z.ZodOptional<z.ZodObject<{
364
+ language: z.ZodOptional<z.ZodEnum<["native", "silverscript", "tockata"]>>;
365
+ version: z.ZodOptional<z.ZodString>;
366
+ experimental: z.ZodBoolean;
367
+ notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
368
+ consensusImpact: z.ZodOptional<z.ZodEnum<["none", "experimental"]>>;
369
+ }, "strip", z.ZodTypeAny, {
370
+ experimental: boolean;
371
+ language?: "native" | "silverscript" | "tockata" | undefined;
372
+ version?: string | undefined;
373
+ notes?: string[] | undefined;
374
+ consensusImpact?: "experimental" | "none" | undefined;
375
+ }, {
376
+ experimental: boolean;
377
+ language?: "native" | "silverscript" | "tockata" | undefined;
378
+ version?: string | undefined;
379
+ notes?: string[] | undefined;
380
+ consensusImpact?: "experimental" | "none" | undefined;
381
+ }>>;
382
+ } & {
383
+ schema: z.ZodLiteral<"hardkas.networkProfile.v1">;
384
+ networkProfileId: z.ZodString;
385
+ layer: z.ZodString;
386
+ capabilities: z.ZodRecord<z.ZodString, z.ZodAny>;
387
+ }, "strip", z.ZodTypeAny, {
388
+ version: "1.0.0-alpha";
389
+ schema: "hardkas.networkProfile.v1";
390
+ hardkasVersion: string;
391
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
392
+ mode: "simulated" | "real" | "readonly";
393
+ createdAt: string;
394
+ networkProfileId: string;
395
+ layer: string;
396
+ capabilities: Record<string, any>;
397
+ schemaVersion?: string | undefined;
398
+ hashVersion?: string | number | undefined;
399
+ contentHash?: string | undefined;
400
+ lineage?: {
401
+ artifactId: string;
402
+ lineageId: string;
403
+ rootArtifactId: string;
404
+ parentArtifactId?: string | undefined;
405
+ sequence?: number | undefined;
406
+ } | undefined;
407
+ parents?: string[] | undefined;
408
+ lineageDepth?: number | undefined;
409
+ workflowId?: string | undefined;
410
+ scriptProfile?: "experimental" | "standard" | undefined;
411
+ scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
412
+ scriptMetadata?: {
413
+ experimental: boolean;
414
+ language?: "native" | "silverscript" | "tockata" | undefined;
415
+ version?: string | undefined;
416
+ notes?: string[] | undefined;
417
+ consensusImpact?: "experimental" | "none" | undefined;
418
+ } | undefined;
419
+ }, {
420
+ version: "1.0.0-alpha";
421
+ schema: "hardkas.networkProfile.v1";
422
+ hardkasVersion: string;
423
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
424
+ mode: "simulated" | "real" | "readonly";
425
+ createdAt: string;
426
+ networkProfileId: string;
427
+ layer: string;
428
+ capabilities: Record<string, any>;
429
+ schemaVersion?: string | undefined;
430
+ hashVersion?: string | number | undefined;
431
+ contentHash?: string | undefined;
432
+ lineage?: {
433
+ artifactId: string;
434
+ lineageId: string;
435
+ rootArtifactId: string;
436
+ parentArtifactId?: string | undefined;
437
+ sequence?: number | undefined;
438
+ } | undefined;
439
+ parents?: string[] | undefined;
440
+ lineageDepth?: number | undefined;
441
+ workflowId?: string | undefined;
442
+ scriptProfile?: "experimental" | "standard" | undefined;
443
+ scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
444
+ scriptMetadata?: {
445
+ experimental: boolean;
446
+ language?: "native" | "silverscript" | "tockata" | undefined;
447
+ version?: string | undefined;
448
+ notes?: string[] | undefined;
449
+ consensusImpact?: "experimental" | "none" | undefined;
450
+ } | undefined;
451
+ }>;
452
+ declare const AssumptionSchema: z.ZodObject<{
453
+ schemaVersion: z.ZodOptional<z.ZodString>;
454
+ hardkasVersion: z.ZodString;
455
+ version: z.ZodLiteral<"1.0.0-alpha">;
456
+ hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
457
+ networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
458
+ mode: z.ZodEnum<["simulated", "real", "readonly"]>;
459
+ contentHash: z.ZodOptional<z.ZodString>;
460
+ createdAt: z.ZodString;
461
+ lineage: z.ZodOptional<z.ZodObject<{
462
+ artifactId: z.ZodString;
463
+ lineageId: z.ZodString;
464
+ parentArtifactId: z.ZodOptional<z.ZodString>;
465
+ rootArtifactId: z.ZodString;
466
+ sequence: z.ZodOptional<z.ZodNumber>;
467
+ }, "strip", z.ZodTypeAny, {
468
+ artifactId: string;
469
+ lineageId: string;
470
+ rootArtifactId: string;
471
+ parentArtifactId?: string | undefined;
472
+ sequence?: number | undefined;
473
+ }, {
474
+ artifactId: string;
475
+ lineageId: string;
476
+ rootArtifactId: string;
477
+ parentArtifactId?: string | undefined;
478
+ sequence?: number | undefined;
479
+ }>>;
480
+ parents: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
481
+ lineageDepth: z.ZodOptional<z.ZodNumber>;
482
+ workflowId: z.ZodOptional<z.ZodString>;
483
+ scriptProfile: z.ZodOptional<z.ZodEnum<["standard", "experimental"]>>;
484
+ scriptCapabilities: z.ZodOptional<z.ZodArray<z.ZodEnum<["p2pk", "multisig", "timelock", "covenant-experimental", "silverscript-experimental", "tockata-experimental"]>, "many">>;
485
+ scriptMetadata: z.ZodOptional<z.ZodObject<{
486
+ language: z.ZodOptional<z.ZodEnum<["native", "silverscript", "tockata"]>>;
487
+ version: z.ZodOptional<z.ZodString>;
488
+ experimental: z.ZodBoolean;
489
+ notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
490
+ consensusImpact: z.ZodOptional<z.ZodEnum<["none", "experimental"]>>;
491
+ }, "strip", z.ZodTypeAny, {
492
+ experimental: boolean;
493
+ language?: "native" | "silverscript" | "tockata" | undefined;
494
+ version?: string | undefined;
495
+ notes?: string[] | undefined;
496
+ consensusImpact?: "experimental" | "none" | undefined;
497
+ }, {
498
+ experimental: boolean;
499
+ language?: "native" | "silverscript" | "tockata" | undefined;
500
+ version?: string | undefined;
501
+ notes?: string[] | undefined;
502
+ consensusImpact?: "experimental" | "none" | undefined;
503
+ }>>;
504
+ } & {
505
+ schema: z.ZodLiteral<"hardkas.assumption.v1">;
506
+ settlement: z.ZodOptional<z.ZodString>;
507
+ securityModel: z.ZodOptional<z.ZodString>;
508
+ bridgePhase: z.ZodOptional<z.ZodString>;
509
+ exitModel: z.ZodOptional<z.ZodString>;
510
+ customAssumptions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
511
+ }, "strip", z.ZodTypeAny, {
512
+ version: "1.0.0-alpha";
513
+ schema: "hardkas.assumption.v1";
514
+ hardkasVersion: string;
515
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
516
+ mode: "simulated" | "real" | "readonly";
517
+ createdAt: string;
518
+ schemaVersion?: string | undefined;
519
+ hashVersion?: string | number | undefined;
520
+ contentHash?: string | undefined;
521
+ lineage?: {
522
+ artifactId: string;
523
+ lineageId: string;
524
+ rootArtifactId: string;
525
+ parentArtifactId?: string | undefined;
526
+ sequence?: number | undefined;
527
+ } | undefined;
528
+ parents?: string[] | undefined;
529
+ lineageDepth?: number | undefined;
530
+ workflowId?: string | undefined;
531
+ scriptProfile?: "experimental" | "standard" | undefined;
532
+ scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
533
+ scriptMetadata?: {
534
+ experimental: boolean;
535
+ language?: "native" | "silverscript" | "tockata" | undefined;
536
+ version?: string | undefined;
537
+ notes?: string[] | undefined;
538
+ consensusImpact?: "experimental" | "none" | undefined;
539
+ } | undefined;
540
+ settlement?: string | undefined;
541
+ securityModel?: string | undefined;
542
+ bridgePhase?: string | undefined;
543
+ exitModel?: string | undefined;
544
+ customAssumptions?: Record<string, any> | undefined;
545
+ }, {
546
+ version: "1.0.0-alpha";
547
+ schema: "hardkas.assumption.v1";
548
+ hardkasVersion: string;
549
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
550
+ mode: "simulated" | "real" | "readonly";
551
+ createdAt: string;
552
+ schemaVersion?: string | undefined;
553
+ hashVersion?: string | number | undefined;
554
+ contentHash?: string | undefined;
555
+ lineage?: {
556
+ artifactId: string;
557
+ lineageId: string;
558
+ rootArtifactId: string;
559
+ parentArtifactId?: string | undefined;
560
+ sequence?: number | undefined;
561
+ } | undefined;
562
+ parents?: string[] | undefined;
563
+ lineageDepth?: number | undefined;
564
+ workflowId?: string | undefined;
565
+ scriptProfile?: "experimental" | "standard" | undefined;
566
+ scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
567
+ scriptMetadata?: {
568
+ experimental: boolean;
569
+ language?: "native" | "silverscript" | "tockata" | undefined;
570
+ version?: string | undefined;
571
+ notes?: string[] | undefined;
572
+ consensusImpact?: "experimental" | "none" | undefined;
573
+ } | undefined;
574
+ settlement?: string | undefined;
575
+ securityModel?: string | undefined;
576
+ bridgePhase?: string | undefined;
577
+ exitModel?: string | undefined;
578
+ customAssumptions?: Record<string, any> | undefined;
579
+ }>;
580
+ declare const MigrationReceiptSchema: z.ZodObject<{
581
+ schemaVersion: z.ZodOptional<z.ZodString>;
582
+ hardkasVersion: z.ZodString;
583
+ version: z.ZodLiteral<"1.0.0-alpha">;
584
+ hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
585
+ networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
586
+ mode: z.ZodEnum<["simulated", "real", "readonly"]>;
587
+ contentHash: z.ZodOptional<z.ZodString>;
588
+ createdAt: z.ZodString;
589
+ lineage: z.ZodOptional<z.ZodObject<{
590
+ artifactId: z.ZodString;
591
+ lineageId: z.ZodString;
592
+ parentArtifactId: z.ZodOptional<z.ZodString>;
593
+ rootArtifactId: z.ZodString;
594
+ sequence: z.ZodOptional<z.ZodNumber>;
595
+ }, "strip", z.ZodTypeAny, {
596
+ artifactId: string;
597
+ lineageId: string;
598
+ rootArtifactId: string;
599
+ parentArtifactId?: string | undefined;
600
+ sequence?: number | undefined;
601
+ }, {
602
+ artifactId: string;
603
+ lineageId: string;
604
+ rootArtifactId: string;
605
+ parentArtifactId?: string | undefined;
606
+ sequence?: number | undefined;
607
+ }>>;
608
+ parents: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
609
+ lineageDepth: z.ZodOptional<z.ZodNumber>;
610
+ workflowId: z.ZodOptional<z.ZodString>;
611
+ scriptProfile: z.ZodOptional<z.ZodEnum<["standard", "experimental"]>>;
612
+ scriptCapabilities: z.ZodOptional<z.ZodArray<z.ZodEnum<["p2pk", "multisig", "timelock", "covenant-experimental", "silverscript-experimental", "tockata-experimental"]>, "many">>;
613
+ scriptMetadata: z.ZodOptional<z.ZodObject<{
614
+ language: z.ZodOptional<z.ZodEnum<["native", "silverscript", "tockata"]>>;
615
+ version: z.ZodOptional<z.ZodString>;
616
+ experimental: z.ZodBoolean;
617
+ notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
618
+ consensusImpact: z.ZodOptional<z.ZodEnum<["none", "experimental"]>>;
619
+ }, "strip", z.ZodTypeAny, {
620
+ experimental: boolean;
621
+ language?: "native" | "silverscript" | "tockata" | undefined;
622
+ version?: string | undefined;
623
+ notes?: string[] | undefined;
624
+ consensusImpact?: "experimental" | "none" | undefined;
625
+ }, {
626
+ experimental: boolean;
627
+ language?: "native" | "silverscript" | "tockata" | undefined;
628
+ version?: string | undefined;
629
+ notes?: string[] | undefined;
630
+ consensusImpact?: "experimental" | "none" | undefined;
631
+ }>>;
632
+ } & {
633
+ schema: z.ZodLiteral<"hardkas.migrationReceipt.v1">;
634
+ oldHash: z.ZodString;
635
+ newHash: z.ZodString;
636
+ fromSchema: z.ZodString;
637
+ toSchema: z.ZodString;
638
+ migrationId: z.ZodString;
639
+ migrationVersion: z.ZodOptional<z.ZodString>;
640
+ decision: z.ZodLiteral<"MIGRATED_WITH_PROOF">;
641
+ }, "strip", z.ZodTypeAny, {
642
+ version: "1.0.0-alpha";
643
+ schema: "hardkas.migrationReceipt.v1";
644
+ hardkasVersion: string;
645
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
646
+ mode: "simulated" | "real" | "readonly";
647
+ createdAt: string;
648
+ decision: "MIGRATED_WITH_PROOF";
649
+ oldHash: string;
650
+ newHash: string;
651
+ fromSchema: string;
652
+ toSchema: string;
653
+ migrationId: string;
654
+ schemaVersion?: string | undefined;
655
+ hashVersion?: string | number | undefined;
656
+ contentHash?: string | undefined;
657
+ lineage?: {
658
+ artifactId: string;
659
+ lineageId: string;
660
+ rootArtifactId: string;
661
+ parentArtifactId?: string | undefined;
662
+ sequence?: number | undefined;
663
+ } | undefined;
664
+ parents?: string[] | undefined;
665
+ lineageDepth?: number | undefined;
666
+ workflowId?: string | undefined;
667
+ scriptProfile?: "experimental" | "standard" | undefined;
668
+ scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
669
+ scriptMetadata?: {
670
+ experimental: boolean;
671
+ language?: "native" | "silverscript" | "tockata" | undefined;
672
+ version?: string | undefined;
673
+ notes?: string[] | undefined;
674
+ consensusImpact?: "experimental" | "none" | undefined;
675
+ } | undefined;
676
+ migrationVersion?: string | undefined;
677
+ }, {
678
+ version: "1.0.0-alpha";
679
+ schema: "hardkas.migrationReceipt.v1";
680
+ hardkasVersion: string;
681
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
682
+ mode: "simulated" | "real" | "readonly";
683
+ createdAt: string;
684
+ decision: "MIGRATED_WITH_PROOF";
685
+ oldHash: string;
686
+ newHash: string;
687
+ fromSchema: string;
688
+ toSchema: string;
689
+ migrationId: string;
690
+ schemaVersion?: string | undefined;
691
+ hashVersion?: string | number | undefined;
692
+ contentHash?: string | undefined;
693
+ lineage?: {
694
+ artifactId: string;
695
+ lineageId: string;
696
+ rootArtifactId: string;
697
+ parentArtifactId?: string | undefined;
698
+ sequence?: number | undefined;
699
+ } | undefined;
700
+ parents?: string[] | undefined;
701
+ lineageDepth?: number | undefined;
702
+ workflowId?: string | undefined;
703
+ scriptProfile?: "experimental" | "standard" | undefined;
704
+ scriptCapabilities?: ("p2pk" | "multisig" | "timelock" | "covenant-experimental" | "silverscript-experimental" | "tockata-experimental")[] | undefined;
705
+ scriptMetadata?: {
706
+ experimental: boolean;
707
+ language?: "native" | "silverscript" | "tockata" | undefined;
708
+ version?: string | undefined;
709
+ notes?: string[] | undefined;
710
+ consensusImpact?: "experimental" | "none" | undefined;
711
+ } | undefined;
712
+ migrationVersion?: string | undefined;
713
+ }>;
187
714
  declare const TxPlanSchema: z.ZodObject<{
188
715
  schemaVersion: z.ZodOptional<z.ZodString>;
189
716
  hardkasVersion: z.ZodString;
@@ -236,7 +763,7 @@ declare const TxPlanSchema: z.ZodObject<{
236
763
  }>>;
237
764
  } & {
238
765
  schema: z.ZodLiteral<"hardkas.txPlan">;
239
- networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated"]>;
766
+ networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
240
767
  mode: z.ZodEnum<["simulated", "real", "readonly"]>;
241
768
  planId: z.ZodString;
242
769
  from: z.ZodObject<{
@@ -314,11 +841,15 @@ declare const TxPlanSchema: z.ZodObject<{
314
841
  amountSompi: string;
315
842
  }>>;
316
843
  rpcUrl: z.ZodOptional<z.ZodString>;
844
+ networkProfileRef: z.ZodOptional<z.ZodString>;
845
+ policyRef: z.ZodOptional<z.ZodString>;
846
+ policyRefs: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
847
+ assumptionRef: z.ZodOptional<z.ZodString>;
317
848
  }, "strip", z.ZodTypeAny, {
318
849
  version: "1.0.0-alpha";
319
850
  schema: "hardkas.txPlan";
320
851
  hardkasVersion: string;
321
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
852
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
322
853
  mode: "simulated" | "real" | "readonly";
323
854
  createdAt: string;
324
855
  planId: string;
@@ -373,11 +904,15 @@ declare const TxPlanSchema: z.ZodObject<{
373
904
  amountSompi: string;
374
905
  } | undefined;
375
906
  rpcUrl?: string | undefined;
907
+ networkProfileRef?: string | undefined;
908
+ policyRef?: string | undefined;
909
+ policyRefs?: string[] | undefined;
910
+ assumptionRef?: string | undefined;
376
911
  }, {
377
912
  version: "1.0.0-alpha";
378
913
  schema: "hardkas.txPlan";
379
914
  hardkasVersion: string;
380
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
915
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
381
916
  mode: "simulated" | "real" | "readonly";
382
917
  createdAt: string;
383
918
  planId: string;
@@ -432,6 +967,10 @@ declare const TxPlanSchema: z.ZodObject<{
432
967
  amountSompi: string;
433
968
  } | undefined;
434
969
  rpcUrl?: string | undefined;
970
+ networkProfileRef?: string | undefined;
971
+ policyRef?: string | undefined;
972
+ policyRefs?: string[] | undefined;
973
+ assumptionRef?: string | undefined;
435
974
  }>;
436
975
  declare const DagContextSchema: z.ZodObject<{
437
976
  mode: z.ZodEnum<["linear", "dag-light"]>;
@@ -489,14 +1028,14 @@ declare const LocalnetUtxoSchemaV2: z.ZodObject<{
489
1028
  createdAtDaaScore: z.ZodString;
490
1029
  }, "strip", z.ZodTypeAny, {
491
1030
  address: string;
492
- amountSompi: string;
493
1031
  id: string;
1032
+ amountSompi: string;
494
1033
  spent: boolean;
495
1034
  createdAtDaaScore: string;
496
1035
  }, {
497
1036
  address: string;
498
- amountSompi: string;
499
1037
  id: string;
1038
+ amountSompi: string;
500
1039
  spent: boolean;
501
1040
  createdAtDaaScore: string;
502
1041
  }>;
@@ -505,7 +1044,7 @@ declare const SnapshotSchema: z.ZodObject<{
505
1044
  hardkasVersion: z.ZodString;
506
1045
  version: z.ZodLiteral<"1.0.0-alpha">;
507
1046
  hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
508
- networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated"]>;
1047
+ networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
509
1048
  mode: z.ZodEnum<["simulated", "real", "readonly"]>;
510
1049
  contentHash: z.ZodOptional<z.ZodString>;
511
1050
  createdAt: z.ZodString;
@@ -577,14 +1116,14 @@ declare const SnapshotSchema: z.ZodObject<{
577
1116
  createdAtDaaScore: z.ZodString;
578
1117
  }, "strip", z.ZodTypeAny, {
579
1118
  address: string;
580
- amountSompi: string;
581
1119
  id: string;
1120
+ amountSompi: string;
582
1121
  spent: boolean;
583
1122
  createdAtDaaScore: string;
584
1123
  }, {
585
1124
  address: string;
586
- amountSompi: string;
587
1125
  id: string;
1126
+ amountSompi: string;
588
1127
  spent: boolean;
589
1128
  createdAtDaaScore: string;
590
1129
  }>, "many">;
@@ -592,7 +1131,7 @@ declare const SnapshotSchema: z.ZodObject<{
592
1131
  version: "1.0.0-alpha";
593
1132
  schema: "hardkas.snapshot";
594
1133
  hardkasVersion: string;
595
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
1134
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
596
1135
  mode: "simulated" | "real" | "readonly";
597
1136
  createdAt: string;
598
1137
  daaScore: string;
@@ -602,8 +1141,8 @@ declare const SnapshotSchema: z.ZodObject<{
602
1141
  }[];
603
1142
  utxos: {
604
1143
  address: string;
605
- amountSompi: string;
606
1144
  id: string;
1145
+ amountSompi: string;
607
1146
  spent: boolean;
608
1147
  createdAtDaaScore: string;
609
1148
  }[];
@@ -637,7 +1176,7 @@ declare const SnapshotSchema: z.ZodObject<{
637
1176
  version: "1.0.0-alpha";
638
1177
  schema: "hardkas.snapshot";
639
1178
  hardkasVersion: string;
640
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
1179
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
641
1180
  mode: "simulated" | "real" | "readonly";
642
1181
  createdAt: string;
643
1182
  daaScore: string;
@@ -647,8 +1186,8 @@ declare const SnapshotSchema: z.ZodObject<{
647
1186
  }[];
648
1187
  utxos: {
649
1188
  address: string;
650
- amountSompi: string;
651
1189
  id: string;
1190
+ amountSompi: string;
652
1191
  spent: boolean;
653
1192
  createdAtDaaScore: string;
654
1193
  }[];
@@ -734,7 +1273,7 @@ declare const TxReceiptSchema: z.ZodObject<{
734
1273
  txId: z.ZodString;
735
1274
  status: z.ZodEnum<["pending", "submitted", "accepted", "confirmed", "failed"]>;
736
1275
  mode: z.ZodEnum<["simulated", "real", "readonly"]>;
737
- networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated"]>;
1276
+ networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
738
1277
  from: z.ZodObject<{
739
1278
  address: z.ZodString;
740
1279
  accountName: z.ZodOptional<z.ZodString>;
@@ -830,7 +1369,7 @@ declare const TxReceiptSchema: z.ZodObject<{
830
1369
  version: "1.0.0-alpha";
831
1370
  schema: "hardkas.txReceipt";
832
1371
  hardkasVersion: string;
833
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
1372
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
834
1373
  mode: "simulated" | "real" | "readonly";
835
1374
  createdAt: string;
836
1375
  from: {
@@ -901,7 +1440,7 @@ declare const TxReceiptSchema: z.ZodObject<{
901
1440
  version: "1.0.0-alpha";
902
1441
  schema: "hardkas.txReceipt";
903
1442
  hardkasVersion: string;
904
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
1443
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
905
1444
  mode: "simulated" | "real" | "readonly";
906
1445
  createdAt: string;
907
1446
  from: {
@@ -1043,7 +1582,7 @@ declare const SignedTxSchema: z.ZodObject<{
1043
1582
  status: z.ZodEnum<["partially_signed", "signed"]>;
1044
1583
  signedId: z.ZodString;
1045
1584
  sourcePlanId: z.ZodString;
1046
- networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated"]>;
1585
+ networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
1047
1586
  mode: z.ZodEnum<["simulated", "real", "readonly"]>;
1048
1587
  from: z.ZodObject<{
1049
1588
  address: z.ZodString;
@@ -1128,7 +1667,7 @@ declare const SignedTxSchema: z.ZodObject<{
1128
1667
  version: "1.0.0-alpha";
1129
1668
  schema: "hardkas.signedTx";
1130
1669
  hardkasVersion: string;
1131
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
1670
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
1132
1671
  mode: "simulated" | "real" | "readonly";
1133
1672
  createdAt: string;
1134
1673
  from: {
@@ -1190,7 +1729,7 @@ declare const SignedTxSchema: z.ZodObject<{
1190
1729
  version: "1.0.0-alpha";
1191
1730
  schema: "hardkas.signedTx";
1192
1731
  hardkasVersion: string;
1193
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
1732
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
1194
1733
  mode: "simulated" | "real" | "readonly";
1195
1734
  createdAt: string;
1196
1735
  from: {
@@ -1301,7 +1840,7 @@ declare const TxTraceSchema: z.ZodObject<{
1301
1840
  } & {
1302
1841
  schema: z.ZodLiteral<"hardkas.txTrace">;
1303
1842
  txId: z.ZodString;
1304
- networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated"]>;
1843
+ networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
1305
1844
  mode: z.ZodEnum<["simulated", "real", "readonly"]>;
1306
1845
  steps: z.ZodArray<z.ZodObject<{
1307
1846
  phase: z.ZodString;
@@ -1371,7 +1910,7 @@ declare const TxTraceSchema: z.ZodObject<{
1371
1910
  version: "1.0.0-alpha";
1372
1911
  schema: "hardkas.txTrace";
1373
1912
  hardkasVersion: string;
1374
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
1913
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
1375
1914
  mode: "simulated" | "real" | "readonly";
1376
1915
  createdAt: string;
1377
1916
  txId: string;
@@ -1421,7 +1960,7 @@ declare const TxTraceSchema: z.ZodObject<{
1421
1960
  version: "1.0.0-alpha";
1422
1961
  schema: "hardkas.txTrace";
1423
1962
  hardkasVersion: string;
1424
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
1963
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
1425
1964
  mode: "simulated" | "real" | "readonly";
1426
1965
  createdAt: string;
1427
1966
  txId: string;
@@ -1473,7 +2012,7 @@ declare const WorkflowSchema: z.ZodObject<{
1473
2012
  hardkasVersion: z.ZodString;
1474
2013
  version: z.ZodLiteral<"1.0.0-alpha">;
1475
2014
  hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
1476
- networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated"]>;
2015
+ networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
1477
2016
  mode: z.ZodEnum<["simulated", "real", "readonly"]>;
1478
2017
  contentHash: z.ZodOptional<z.ZodString>;
1479
2018
  createdAt: z.ZodString;
@@ -1603,7 +2142,7 @@ declare const WorkflowSchema: z.ZodObject<{
1603
2142
  version: "1.0.0-alpha";
1604
2143
  schema: "hardkas.workflow.v1";
1605
2144
  hardkasVersion: string;
1606
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
2145
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
1607
2146
  mode: "simulated" | "real" | "readonly";
1608
2147
  createdAt: string;
1609
2148
  workflowId: string;
@@ -1664,7 +2203,7 @@ declare const WorkflowSchema: z.ZodObject<{
1664
2203
  version: "1.0.0-alpha";
1665
2204
  schema: "hardkas.workflow.v1";
1666
2205
  hardkasVersion: string;
1667
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
2206
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
1668
2207
  mode: "simulated" | "real" | "readonly";
1669
2208
  createdAt: string;
1670
2209
  workflowId: string;
@@ -1729,13 +2268,17 @@ type TxTrace = z.infer<typeof TxTraceSchema>;
1729
2268
  type DagContext$1 = z.infer<typeof DagContextSchema>;
1730
2269
  type Workflow = z.infer<typeof WorkflowSchema>;
1731
2270
  type ScriptCapability = z.infer<typeof ScriptCapabilitySchema>;
2271
+ type Policy = z.infer<typeof PolicySchema>;
2272
+ type NetworkProfile = z.infer<typeof NetworkProfileSchema>;
2273
+ type Assumption = z.infer<typeof AssumptionSchema>;
2274
+ type MigrationReceipt = z.infer<typeof MigrationReceiptSchema>;
1732
2275
  declare const RuntimeSessionSchema: z.ZodObject<{
1733
2276
  schema: z.ZodString;
1734
2277
  schemaVersion: z.ZodOptional<z.ZodString>;
1735
2278
  hardkasVersion: z.ZodString;
1736
2279
  version: z.ZodLiteral<"1.0.0-alpha">;
1737
2280
  hashVersion: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>;
1738
- networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated"]>;
2281
+ networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet", "simulated", "igra"]>;
1739
2282
  mode: z.ZodEnum<["simulated", "real", "readonly"]>;
1740
2283
  contentHash: z.ZodOptional<z.ZodString>;
1741
2284
  createdAt: z.ZodString;
@@ -1796,7 +2339,7 @@ declare const RuntimeSessionSchema: z.ZodObject<{
1796
2339
  version: "1.0.0-alpha";
1797
2340
  schema: string;
1798
2341
  hardkasVersion: string;
1799
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
2342
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
1800
2343
  mode: "simulated" | "real" | "readonly";
1801
2344
  createdAt: string;
1802
2345
  startedAt: string;
@@ -1834,7 +2377,7 @@ declare const RuntimeSessionSchema: z.ZodObject<{
1834
2377
  version: "1.0.0-alpha";
1835
2378
  schema: string;
1836
2379
  hardkasVersion: string;
1837
- networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
2380
+ networkId: "simulated" | "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet" | "igra";
1838
2381
  mode: "simulated" | "real" | "readonly";
1839
2382
  createdAt: string;
1840
2383
  startedAt: string;
@@ -2128,6 +2671,10 @@ interface TxPlanArtifact extends BaseArtifact<"txPlan"> {
2128
2671
  address: string;
2129
2672
  amountSompi: string;
2130
2673
  } | undefined;
2674
+ networkProfileRef?: string | undefined;
2675
+ policyRef?: string | undefined;
2676
+ policyRefs?: string[] | undefined;
2677
+ assumptionRef?: string | undefined;
2131
2678
  }
2132
2679
  interface SignedTxArtifact extends BaseArtifact<"signedTx"> {
2133
2680
  status: "partially_signed" | "signed";
@@ -2211,6 +2758,35 @@ interface TxTraceArtifact extends BaseArtifact<"txTrace"> {
2211
2758
  }>;
2212
2759
  dagContext?: DagContext | undefined;
2213
2760
  }
2761
+ interface PolicyArtifact extends BaseArtifact<"policy.v1"> {
2762
+ decision: "ALLOW" | "DENY";
2763
+ rules: Array<{
2764
+ id: string;
2765
+ result: "PASS" | "FAIL";
2766
+ inputHash?: string | undefined;
2767
+ }>;
2768
+ }
2769
+ interface NetworkProfileArtifact extends BaseArtifact<"networkProfile.v1"> {
2770
+ networkProfileId: string;
2771
+ layer: string;
2772
+ capabilities: Record<string, any>;
2773
+ }
2774
+ interface AssumptionArtifact extends BaseArtifact<"assumption.v1"> {
2775
+ settlement?: string | undefined;
2776
+ securityModel?: string | undefined;
2777
+ bridgePhase?: string | undefined;
2778
+ exitModel?: string | undefined;
2779
+ customAssumptions?: Record<string, any> | undefined;
2780
+ }
2781
+ interface MigrationReceiptArtifact extends BaseArtifact<"migrationReceipt.v1"> {
2782
+ oldHash: string;
2783
+ newHash: string;
2784
+ fromSchema: string;
2785
+ toSchema: string;
2786
+ migrationId: string;
2787
+ migrationVersion?: string | undefined;
2788
+ decision: "MIGRATED_WITH_PROOF";
2789
+ }
2214
2790
 
2215
2791
  interface WorkflowArtifact extends BaseArtifact<"workflow.v1"> {
2216
2792
  workflowId: WorkflowId;
@@ -2322,6 +2898,9 @@ interface VerificationContext {
2322
2898
  strict?: boolean;
2323
2899
  networkId?: NetworkId;
2324
2900
  parent?: unknown;
2901
+ artifactsDir?: string;
2902
+ enforceMetadata?: boolean;
2903
+ resolveArtifact?: (id: string) => any;
2325
2904
  }
2326
2905
  type VerificationSeverity = CorruptionSeverity | "info" | "critical";
2327
2906
  type VerificationIssue = {
@@ -2346,7 +2925,12 @@ type ArtifactVerificationResult = {
2346
2925
  */
2347
2926
  declare function sortUtxosByOutpoint<T>(utxos: T[]): T[];
2348
2927
  /**
2349
- * Verifies an artifact's integrity.
2928
+ * Verifies an artifact's integrity synchronously.
2929
+ * Can take a raw object or a file path.
2930
+ */
2931
+ declare function verifyArtifactIntegritySync(artifactOrPath: unknown): ArtifactVerificationResult;
2932
+ /**
2933
+ * Verifies an artifact's integrity asynchronously.
2350
2934
  * Can take a raw object or a file path.
2351
2935
  */
2352
2936
  declare function verifyArtifactIntegrity(artifactOrPath: unknown): Promise<ArtifactVerificationResult>;
@@ -2531,6 +3115,11 @@ interface MigrationResult {
2531
3115
  description: string;
2532
3116
  }>;
2533
3117
  }
3118
+ declare class MigrationRequiredError extends Error {
3119
+ oldVersion: string;
3120
+ targetVersion: string;
3121
+ constructor(oldVersion: string, targetVersion: string);
3122
+ }
2534
3123
  /**
2535
3124
  * Registers a migration step in the global registry.
2536
3125
  * Steps should be registered in chronological order (oldest → newest).
@@ -2597,7 +3186,9 @@ declare function canMigrate(artifact: ArtifactPayload, targetVersion?: string):
2597
3186
  * }
2598
3187
  * ```
2599
3188
  */
2600
- declare function migrateArtifactPayload(artifact: ArtifactPayload, targetVersion?: string): MigrationResult;
3189
+ declare function migrateArtifactPayload(artifact: ArtifactPayload, targetVersion?: string, options?: {
3190
+ strictPolicy?: boolean;
3191
+ }): MigrationResult;
2601
3192
  /**
2602
3193
  * Migrates a v1 artifact to canonical format by updating the schema, version,
2603
3194
  * and calculating the contentHash.
@@ -2609,6 +3200,10 @@ declare function migrateArtifactPayload(artifact: ArtifactPayload, targetVersion
2609
3200
  * @returns The migrated artifact in canonical format
2610
3201
  */
2611
3202
  declare function migrateToCanonical(v1Artifact: ArtifactPayload): ArtifactPayload;
3203
+ /**
3204
+ * Generates an explicit MigrationReceipt connecting old artifact to new artifact.
3205
+ */
3206
+ declare function generateMigrationReceipt(oldArtifact: ArtifactPayload, newArtifact: ArtifactPayload, migrationId: string): any;
2612
3207
 
2613
3208
  declare const bigIntReplacer: (_key: string, value: unknown) => unknown;
2614
3209
  declare function writeArtifact(filePath: string, artifact: unknown): Promise<void>;
@@ -2830,4 +3425,4 @@ declare function listDeployments(rootDir: string, networkId?: string): Promise<D
2830
3425
  declare function updateDeployment(rootDir: string, networkId: string, label: string, update: Partial<DeploymentRecord>): Promise<DeploymentRecord>;
2831
3426
  declare function deleteDeployment(rootDir: string, networkId: string, label: string): Promise<boolean>;
2832
3427
 
2833
- export { ARTIFACT_SCHEMAS, ARTIFACT_VERSION, AccountRefSchema, type ArtifactDiff, type ArtifactExplanation, ArtifactLineageSchema, type ArtifactLookup, type ArtifactPayload, type ArtifactValidationResult, type ArtifactVerificationResult, type AssumptionLevel, 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 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 MigrationResult, type MigrationStep, NetworkInvariant, ReplayInvariant, type RuntimeSession, RuntimeSessionSchema, SEMANTIC_EXCLUSIONS, STRICT_PATH_KEYS, SchemaInvariant, type ScriptCapability, ScriptCapabilitySchema, ScriptMetadataSchema, SignatureEntrySchema, SignatureMetadataEntrySchema, type SignedTx, type SignedTxArtifact, type SignedTxArtifactV1, SignedTxSchema, 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, 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, createSimulatedSignedTxArtifact, createSimulatedTxReceipt, createTxPlanArtifact, defaultClock, deleteDeployment, detectArtifactVersion, diffArtifacts, explainArtifact, formatSignedTxArtifact, formatTxPlanArtifact, formatTxReceiptArtifact, 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, verifyArtifactReplay, verifyArtifactSemantics, verifyFeeSemantics, verifyLineage, writeArtifact };
3428
+ 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 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 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, 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, 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 };