@melra/protocol 0.3.0-alpha.11 → 0.3.0-alpha.13

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/dist/index.d.ts CHANGED
@@ -1,6 +1,6 @@
1
1
  import { z } from "zod";
2
2
  export declare const PROTOCOL_VERSION = "2025-11-25";
3
- export declare const PRODUCT_VERSION = "0.3.0-alpha.11";
3
+ export declare const PRODUCT_VERSION = "0.3.0-alpha.13";
4
4
  export declare const FileOperationSchema: z.ZodObject<{
5
5
  kind: z.ZodLiteral<"file">;
6
6
  action: z.ZodEnum<{
@@ -43,6 +43,14 @@ export declare const TerminalOperationSchema: z.ZodObject<{
43
43
  timeoutMs: z.ZodDefault<z.ZodNumber>;
44
44
  maxOutputChars: z.ZodDefault<z.ZodNumber>;
45
45
  }, z.core.$strict>;
46
+ /**
47
+ * Every string a terminal argument can hand a program as a path: the argument
48
+ * itself and an option's attached value (`--file=x`, `-fx`, `/G:x`). No shell
49
+ * runs, so `~`, `$HOME` and globs reach the program as written. Policy judges
50
+ * these by spelling and the terminal runtime by where they lead, so both read
51
+ * them from here.
52
+ */
53
+ export declare function terminalArgumentPaths(args: readonly string[]): string[];
46
54
  export declare const BrowserTargetSchema: z.ZodObject<{
47
55
  selector: z.ZodOptional<z.ZodString>;
48
56
  role: z.ZodOptional<z.ZodString>;
@@ -484,6 +492,10 @@ export declare const EvidencePredicateSchema: z.ZodDiscriminatedUnion<[z.ZodObje
484
492
  path: z.ZodString;
485
493
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
486
494
  timeoutMs: z.ZodDefault<z.ZodNumber>;
495
+ }, z.core.$strict>, z.ZodObject<{
496
+ type: z.ZodLiteral<"custom">;
497
+ verifier: z.ZodString;
498
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
487
499
  }, z.core.$strict>], "type">;
488
500
  export type EvidencePredicate = z.infer<typeof EvidencePredicateSchema>;
489
501
  export declare const PrincipalKindSchema: z.ZodEnum<{
@@ -825,6 +837,10 @@ export declare const TaskRequestSchema: z.ZodObject<{
825
837
  path: z.ZodString;
826
838
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
827
839
  timeoutMs: z.ZodDefault<z.ZodNumber>;
840
+ }, z.core.$strict>, z.ZodObject<{
841
+ type: z.ZodLiteral<"custom">;
842
+ verifier: z.ZodString;
843
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
828
844
  }, z.core.$strict>], "type">>>;
829
845
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
830
846
  type: z.ZodLiteral<"result_equals">;
@@ -863,6 +879,10 @@ export declare const TaskRequestSchema: z.ZodObject<{
863
879
  path: z.ZodString;
864
880
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
865
881
  timeoutMs: z.ZodDefault<z.ZodNumber>;
882
+ }, z.core.$strict>, z.ZodObject<{
883
+ type: z.ZodLiteral<"custom">;
884
+ verifier: z.ZodString;
885
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
866
886
  }, z.core.$strict>], "type">>>;
867
887
  identity: z.ZodOptional<z.ZodObject<{
868
888
  principal: z.ZodObject<{
@@ -914,7 +934,7 @@ export declare const PolicyOutcomeSchema: z.ZodEnum<{
914
934
  * What an operation reaches for, as opposed to what it is named. `npm ls` and
915
935
  * `npm install` are the same allowlisted command; only the second one installs
916
936
  * a package and talks to a registry. Traits are what `policy.deniedTraits`
917
- * matches on and what a caller sees before it echoes an approval phrase.
937
+ * matches on and what a caller sees before it approves.
918
938
  */
919
939
  export declare const CapabilityTraitSchema: z.ZodEnum<{
920
940
  "package-install": "package-install";
@@ -952,7 +972,7 @@ export declare const ApprovalChallengeSchema: z.ZodObject<{
952
972
  approvalId: z.ZodString;
953
973
  taskId: z.ZodString;
954
974
  actionDigest: z.ZodString;
955
- phrase: z.ZodString;
975
+ phrase: z.ZodOptional<z.ZodString>;
956
976
  expiresAt: z.ZodString;
957
977
  }, z.core.$strict>;
958
978
  export type ApprovalChallenge = z.infer<typeof ApprovalChallengeSchema>;
@@ -1401,6 +1421,10 @@ export declare const OperationNodeSchema: z.ZodObject<{
1401
1421
  path: z.ZodString;
1402
1422
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
1403
1423
  timeoutMs: z.ZodDefault<z.ZodNumber>;
1424
+ }, z.core.$strict>, z.ZodObject<{
1425
+ type: z.ZodLiteral<"custom">;
1426
+ verifier: z.ZodString;
1427
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
1404
1428
  }, z.core.$strict>], "type">>>;
1405
1429
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
1406
1430
  type: z.ZodLiteral<"result_equals">;
@@ -1439,6 +1463,10 @@ export declare const OperationNodeSchema: z.ZodObject<{
1439
1463
  path: z.ZodString;
1440
1464
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
1441
1465
  timeoutMs: z.ZodDefault<z.ZodNumber>;
1466
+ }, z.core.$strict>, z.ZodObject<{
1467
+ type: z.ZodLiteral<"custom">;
1468
+ verifier: z.ZodString;
1469
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
1442
1470
  }, z.core.$strict>], "type">>>;
1443
1471
  identity: z.ZodOptional<z.ZodObject<{
1444
1472
  principal: z.ZodObject<{
@@ -1516,6 +1544,10 @@ export declare const ConditionNodeSchema: z.ZodObject<{
1516
1544
  path: z.ZodString;
1517
1545
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
1518
1546
  timeoutMs: z.ZodDefault<z.ZodNumber>;
1547
+ }, z.core.$strict>, z.ZodObject<{
1548
+ type: z.ZodLiteral<"custom">;
1549
+ verifier: z.ZodString;
1550
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
1519
1551
  }, z.core.$strict>], "type">;
1520
1552
  whenTrue: z.ZodDefault<z.ZodArray<z.ZodObject<{
1521
1553
  goal: z.ZodString;
@@ -1775,6 +1807,10 @@ export declare const ConditionNodeSchema: z.ZodObject<{
1775
1807
  path: z.ZodString;
1776
1808
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
1777
1809
  timeoutMs: z.ZodDefault<z.ZodNumber>;
1810
+ }, z.core.$strict>, z.ZodObject<{
1811
+ type: z.ZodLiteral<"custom">;
1812
+ verifier: z.ZodString;
1813
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
1778
1814
  }, z.core.$strict>], "type">>>;
1779
1815
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
1780
1816
  type: z.ZodLiteral<"result_equals">;
@@ -1813,6 +1849,10 @@ export declare const ConditionNodeSchema: z.ZodObject<{
1813
1849
  path: z.ZodString;
1814
1850
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
1815
1851
  timeoutMs: z.ZodDefault<z.ZodNumber>;
1852
+ }, z.core.$strict>, z.ZodObject<{
1853
+ type: z.ZodLiteral<"custom">;
1854
+ verifier: z.ZodString;
1855
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
1816
1856
  }, z.core.$strict>], "type">>>;
1817
1857
  identity: z.ZodOptional<z.ZodObject<{
1818
1858
  principal: z.ZodObject<{
@@ -2099,6 +2139,10 @@ export declare const ConditionNodeSchema: z.ZodObject<{
2099
2139
  path: z.ZodString;
2100
2140
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
2101
2141
  timeoutMs: z.ZodDefault<z.ZodNumber>;
2142
+ }, z.core.$strict>, z.ZodObject<{
2143
+ type: z.ZodLiteral<"custom">;
2144
+ verifier: z.ZodString;
2145
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
2102
2146
  }, z.core.$strict>], "type">>>;
2103
2147
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
2104
2148
  type: z.ZodLiteral<"result_equals">;
@@ -2137,6 +2181,10 @@ export declare const ConditionNodeSchema: z.ZodObject<{
2137
2181
  path: z.ZodString;
2138
2182
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
2139
2183
  timeoutMs: z.ZodDefault<z.ZodNumber>;
2184
+ }, z.core.$strict>, z.ZodObject<{
2185
+ type: z.ZodLiteral<"custom">;
2186
+ verifier: z.ZodString;
2187
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
2140
2188
  }, z.core.$strict>], "type">>>;
2141
2189
  identity: z.ZodOptional<z.ZodObject<{
2142
2190
  principal: z.ZodObject<{
@@ -2428,6 +2476,10 @@ export declare const ParallelNodeSchema: z.ZodObject<{
2428
2476
  path: z.ZodString;
2429
2477
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
2430
2478
  timeoutMs: z.ZodDefault<z.ZodNumber>;
2479
+ }, z.core.$strict>, z.ZodObject<{
2480
+ type: z.ZodLiteral<"custom">;
2481
+ verifier: z.ZodString;
2482
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
2431
2483
  }, z.core.$strict>], "type">>>;
2432
2484
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
2433
2485
  type: z.ZodLiteral<"result_equals">;
@@ -2466,6 +2518,10 @@ export declare const ParallelNodeSchema: z.ZodObject<{
2466
2518
  path: z.ZodString;
2467
2519
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
2468
2520
  timeoutMs: z.ZodDefault<z.ZodNumber>;
2521
+ }, z.core.$strict>, z.ZodObject<{
2522
+ type: z.ZodLiteral<"custom">;
2523
+ verifier: z.ZodString;
2524
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
2469
2525
  }, z.core.$strict>], "type">>>;
2470
2526
  identity: z.ZodOptional<z.ZodObject<{
2471
2527
  principal: z.ZodObject<{
@@ -2757,6 +2813,10 @@ export declare const BoundedLoopNodeSchema: z.ZodObject<{
2757
2813
  path: z.ZodString;
2758
2814
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
2759
2815
  timeoutMs: z.ZodDefault<z.ZodNumber>;
2816
+ }, z.core.$strict>, z.ZodObject<{
2817
+ type: z.ZodLiteral<"custom">;
2818
+ verifier: z.ZodString;
2819
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
2760
2820
  }, z.core.$strict>], "type">>>;
2761
2821
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
2762
2822
  type: z.ZodLiteral<"result_equals">;
@@ -2795,6 +2855,10 @@ export declare const BoundedLoopNodeSchema: z.ZodObject<{
2795
2855
  path: z.ZodString;
2796
2856
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
2797
2857
  timeoutMs: z.ZodDefault<z.ZodNumber>;
2858
+ }, z.core.$strict>, z.ZodObject<{
2859
+ type: z.ZodLiteral<"custom">;
2860
+ verifier: z.ZodString;
2861
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
2798
2862
  }, z.core.$strict>], "type">>>;
2799
2863
  identity: z.ZodOptional<z.ZodObject<{
2800
2864
  principal: z.ZodObject<{
@@ -2861,6 +2925,10 @@ export declare const BoundedLoopNodeSchema: z.ZodObject<{
2861
2925
  path: z.ZodString;
2862
2926
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
2863
2927
  timeoutMs: z.ZodDefault<z.ZodNumber>;
2928
+ }, z.core.$strict>, z.ZodObject<{
2929
+ type: z.ZodLiteral<"custom">;
2930
+ verifier: z.ZodString;
2931
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
2864
2932
  }, z.core.$strict>], "type">>;
2865
2933
  }, z.core.$strict>;
2866
2934
  export declare const CheckpointNodeSchema: z.ZodObject<{
@@ -3131,6 +3199,10 @@ export declare const CompensationNodeSchema: z.ZodObject<{
3131
3199
  path: z.ZodString;
3132
3200
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
3133
3201
  timeoutMs: z.ZodDefault<z.ZodNumber>;
3202
+ }, z.core.$strict>, z.ZodObject<{
3203
+ type: z.ZodLiteral<"custom">;
3204
+ verifier: z.ZodString;
3205
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
3134
3206
  }, z.core.$strict>], "type">>>;
3135
3207
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
3136
3208
  type: z.ZodLiteral<"result_equals">;
@@ -3169,6 +3241,10 @@ export declare const CompensationNodeSchema: z.ZodObject<{
3169
3241
  path: z.ZodString;
3170
3242
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
3171
3243
  timeoutMs: z.ZodDefault<z.ZodNumber>;
3244
+ }, z.core.$strict>, z.ZodObject<{
3245
+ type: z.ZodLiteral<"custom">;
3246
+ verifier: z.ZodString;
3247
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
3172
3248
  }, z.core.$strict>], "type">>>;
3173
3249
  identity: z.ZodOptional<z.ZodObject<{
3174
3250
  principal: z.ZodObject<{
@@ -3249,6 +3325,10 @@ export declare const DelegationNodeSchema: z.ZodObject<{
3249
3325
  path: z.ZodString;
3250
3326
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
3251
3327
  timeoutMs: z.ZodDefault<z.ZodNumber>;
3328
+ }, z.core.$strict>, z.ZodObject<{
3329
+ type: z.ZodLiteral<"custom">;
3330
+ verifier: z.ZodString;
3331
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
3252
3332
  }, z.core.$strict>], "type">>>;
3253
3333
  }, z.core.$strict>;
3254
3334
  export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -3513,6 +3593,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
3513
3593
  path: z.ZodString;
3514
3594
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
3515
3595
  timeoutMs: z.ZodDefault<z.ZodNumber>;
3596
+ }, z.core.$strict>, z.ZodObject<{
3597
+ type: z.ZodLiteral<"custom">;
3598
+ verifier: z.ZodString;
3599
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
3516
3600
  }, z.core.$strict>], "type">>>;
3517
3601
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
3518
3602
  type: z.ZodLiteral<"result_equals">;
@@ -3551,6 +3635,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
3551
3635
  path: z.ZodString;
3552
3636
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
3553
3637
  timeoutMs: z.ZodDefault<z.ZodNumber>;
3638
+ }, z.core.$strict>, z.ZodObject<{
3639
+ type: z.ZodLiteral<"custom">;
3640
+ verifier: z.ZodString;
3641
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
3554
3642
  }, z.core.$strict>], "type">>>;
3555
3643
  identity: z.ZodOptional<z.ZodObject<{
3556
3644
  principal: z.ZodObject<{
@@ -3626,6 +3714,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
3626
3714
  path: z.ZodString;
3627
3715
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
3628
3716
  timeoutMs: z.ZodDefault<z.ZodNumber>;
3717
+ }, z.core.$strict>, z.ZodObject<{
3718
+ type: z.ZodLiteral<"custom">;
3719
+ verifier: z.ZodString;
3720
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
3629
3721
  }, z.core.$strict>], "type">;
3630
3722
  whenTrue: z.ZodDefault<z.ZodArray<z.ZodObject<{
3631
3723
  goal: z.ZodString;
@@ -3885,6 +3977,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
3885
3977
  path: z.ZodString;
3886
3978
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
3887
3979
  timeoutMs: z.ZodDefault<z.ZodNumber>;
3980
+ }, z.core.$strict>, z.ZodObject<{
3981
+ type: z.ZodLiteral<"custom">;
3982
+ verifier: z.ZodString;
3983
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
3888
3984
  }, z.core.$strict>], "type">>>;
3889
3985
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
3890
3986
  type: z.ZodLiteral<"result_equals">;
@@ -3923,6 +4019,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
3923
4019
  path: z.ZodString;
3924
4020
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
3925
4021
  timeoutMs: z.ZodDefault<z.ZodNumber>;
4022
+ }, z.core.$strict>, z.ZodObject<{
4023
+ type: z.ZodLiteral<"custom">;
4024
+ verifier: z.ZodString;
4025
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
3926
4026
  }, z.core.$strict>], "type">>>;
3927
4027
  identity: z.ZodOptional<z.ZodObject<{
3928
4028
  principal: z.ZodObject<{
@@ -4209,6 +4309,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
4209
4309
  path: z.ZodString;
4210
4310
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
4211
4311
  timeoutMs: z.ZodDefault<z.ZodNumber>;
4312
+ }, z.core.$strict>, z.ZodObject<{
4313
+ type: z.ZodLiteral<"custom">;
4314
+ verifier: z.ZodString;
4315
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
4212
4316
  }, z.core.$strict>], "type">>>;
4213
4317
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
4214
4318
  type: z.ZodLiteral<"result_equals">;
@@ -4247,6 +4351,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
4247
4351
  path: z.ZodString;
4248
4352
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
4249
4353
  timeoutMs: z.ZodDefault<z.ZodNumber>;
4354
+ }, z.core.$strict>, z.ZodObject<{
4355
+ type: z.ZodLiteral<"custom">;
4356
+ verifier: z.ZodString;
4357
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
4250
4358
  }, z.core.$strict>], "type">>>;
4251
4359
  identity: z.ZodOptional<z.ZodObject<{
4252
4360
  principal: z.ZodObject<{
@@ -4537,6 +4645,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
4537
4645
  path: z.ZodString;
4538
4646
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
4539
4647
  timeoutMs: z.ZodDefault<z.ZodNumber>;
4648
+ }, z.core.$strict>, z.ZodObject<{
4649
+ type: z.ZodLiteral<"custom">;
4650
+ verifier: z.ZodString;
4651
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
4540
4652
  }, z.core.$strict>], "type">>>;
4541
4653
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
4542
4654
  type: z.ZodLiteral<"result_equals">;
@@ -4575,6 +4687,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
4575
4687
  path: z.ZodString;
4576
4688
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
4577
4689
  timeoutMs: z.ZodDefault<z.ZodNumber>;
4690
+ }, z.core.$strict>, z.ZodObject<{
4691
+ type: z.ZodLiteral<"custom">;
4692
+ verifier: z.ZodString;
4693
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
4578
4694
  }, z.core.$strict>], "type">>>;
4579
4695
  identity: z.ZodOptional<z.ZodObject<{
4580
4696
  principal: z.ZodObject<{
@@ -4865,6 +4981,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
4865
4981
  path: z.ZodString;
4866
4982
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
4867
4983
  timeoutMs: z.ZodDefault<z.ZodNumber>;
4984
+ }, z.core.$strict>, z.ZodObject<{
4985
+ type: z.ZodLiteral<"custom">;
4986
+ verifier: z.ZodString;
4987
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
4868
4988
  }, z.core.$strict>], "type">>>;
4869
4989
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
4870
4990
  type: z.ZodLiteral<"result_equals">;
@@ -4903,6 +5023,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
4903
5023
  path: z.ZodString;
4904
5024
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
4905
5025
  timeoutMs: z.ZodDefault<z.ZodNumber>;
5026
+ }, z.core.$strict>, z.ZodObject<{
5027
+ type: z.ZodLiteral<"custom">;
5028
+ verifier: z.ZodString;
5029
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
4906
5030
  }, z.core.$strict>], "type">>>;
4907
5031
  identity: z.ZodOptional<z.ZodObject<{
4908
5032
  principal: z.ZodObject<{
@@ -4969,6 +5093,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
4969
5093
  path: z.ZodString;
4970
5094
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
4971
5095
  timeoutMs: z.ZodDefault<z.ZodNumber>;
5096
+ }, z.core.$strict>, z.ZodObject<{
5097
+ type: z.ZodLiteral<"custom">;
5098
+ verifier: z.ZodString;
5099
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
4972
5100
  }, z.core.$strict>], "type">>;
4973
5101
  }, z.core.$strict>, z.ZodObject<{
4974
5102
  id: z.ZodString;
@@ -5237,6 +5365,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
5237
5365
  path: z.ZodString;
5238
5366
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
5239
5367
  timeoutMs: z.ZodDefault<z.ZodNumber>;
5368
+ }, z.core.$strict>, z.ZodObject<{
5369
+ type: z.ZodLiteral<"custom">;
5370
+ verifier: z.ZodString;
5371
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
5240
5372
  }, z.core.$strict>], "type">>>;
5241
5373
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
5242
5374
  type: z.ZodLiteral<"result_equals">;
@@ -5275,6 +5407,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
5275
5407
  path: z.ZodString;
5276
5408
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
5277
5409
  timeoutMs: z.ZodDefault<z.ZodNumber>;
5410
+ }, z.core.$strict>, z.ZodObject<{
5411
+ type: z.ZodLiteral<"custom">;
5412
+ verifier: z.ZodString;
5413
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
5278
5414
  }, z.core.$strict>], "type">>>;
5279
5415
  identity: z.ZodOptional<z.ZodObject<{
5280
5416
  principal: z.ZodObject<{
@@ -5353,6 +5489,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
5353
5489
  path: z.ZodString;
5354
5490
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
5355
5491
  timeoutMs: z.ZodDefault<z.ZodNumber>;
5492
+ }, z.core.$strict>, z.ZodObject<{
5493
+ type: z.ZodLiteral<"custom">;
5494
+ verifier: z.ZodString;
5495
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
5356
5496
  }, z.core.$strict>], "type">>>;
5357
5497
  }, z.core.$strict>], "type">;
5358
5498
  export declare const WorkflowInputSchema: z.ZodObject<{
@@ -5628,6 +5768,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
5628
5768
  path: z.ZodString;
5629
5769
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
5630
5770
  timeoutMs: z.ZodDefault<z.ZodNumber>;
5771
+ }, z.core.$strict>, z.ZodObject<{
5772
+ type: z.ZodLiteral<"custom">;
5773
+ verifier: z.ZodString;
5774
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
5631
5775
  }, z.core.$strict>], "type">>>;
5632
5776
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
5633
5777
  type: z.ZodLiteral<"result_equals">;
@@ -5666,6 +5810,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
5666
5810
  path: z.ZodString;
5667
5811
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
5668
5812
  timeoutMs: z.ZodDefault<z.ZodNumber>;
5813
+ }, z.core.$strict>, z.ZodObject<{
5814
+ type: z.ZodLiteral<"custom">;
5815
+ verifier: z.ZodString;
5816
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
5669
5817
  }, z.core.$strict>], "type">>>;
5670
5818
  identity: z.ZodOptional<z.ZodObject<{
5671
5819
  principal: z.ZodObject<{
@@ -5741,6 +5889,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
5741
5889
  path: z.ZodString;
5742
5890
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
5743
5891
  timeoutMs: z.ZodDefault<z.ZodNumber>;
5892
+ }, z.core.$strict>, z.ZodObject<{
5893
+ type: z.ZodLiteral<"custom">;
5894
+ verifier: z.ZodString;
5895
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
5744
5896
  }, z.core.$strict>], "type">;
5745
5897
  whenTrue: z.ZodDefault<z.ZodArray<z.ZodObject<{
5746
5898
  goal: z.ZodString;
@@ -6000,6 +6152,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
6000
6152
  path: z.ZodString;
6001
6153
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
6002
6154
  timeoutMs: z.ZodDefault<z.ZodNumber>;
6155
+ }, z.core.$strict>, z.ZodObject<{
6156
+ type: z.ZodLiteral<"custom">;
6157
+ verifier: z.ZodString;
6158
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
6003
6159
  }, z.core.$strict>], "type">>>;
6004
6160
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
6005
6161
  type: z.ZodLiteral<"result_equals">;
@@ -6038,6 +6194,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
6038
6194
  path: z.ZodString;
6039
6195
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
6040
6196
  timeoutMs: z.ZodDefault<z.ZodNumber>;
6197
+ }, z.core.$strict>, z.ZodObject<{
6198
+ type: z.ZodLiteral<"custom">;
6199
+ verifier: z.ZodString;
6200
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
6041
6201
  }, z.core.$strict>], "type">>>;
6042
6202
  identity: z.ZodOptional<z.ZodObject<{
6043
6203
  principal: z.ZodObject<{
@@ -6324,6 +6484,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
6324
6484
  path: z.ZodString;
6325
6485
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
6326
6486
  timeoutMs: z.ZodDefault<z.ZodNumber>;
6487
+ }, z.core.$strict>, z.ZodObject<{
6488
+ type: z.ZodLiteral<"custom">;
6489
+ verifier: z.ZodString;
6490
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
6327
6491
  }, z.core.$strict>], "type">>>;
6328
6492
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
6329
6493
  type: z.ZodLiteral<"result_equals">;
@@ -6362,6 +6526,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
6362
6526
  path: z.ZodString;
6363
6527
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
6364
6528
  timeoutMs: z.ZodDefault<z.ZodNumber>;
6529
+ }, z.core.$strict>, z.ZodObject<{
6530
+ type: z.ZodLiteral<"custom">;
6531
+ verifier: z.ZodString;
6532
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
6365
6533
  }, z.core.$strict>], "type">>>;
6366
6534
  identity: z.ZodOptional<z.ZodObject<{
6367
6535
  principal: z.ZodObject<{
@@ -6652,6 +6820,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
6652
6820
  path: z.ZodString;
6653
6821
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
6654
6822
  timeoutMs: z.ZodDefault<z.ZodNumber>;
6823
+ }, z.core.$strict>, z.ZodObject<{
6824
+ type: z.ZodLiteral<"custom">;
6825
+ verifier: z.ZodString;
6826
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
6655
6827
  }, z.core.$strict>], "type">>>;
6656
6828
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
6657
6829
  type: z.ZodLiteral<"result_equals">;
@@ -6690,6 +6862,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
6690
6862
  path: z.ZodString;
6691
6863
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
6692
6864
  timeoutMs: z.ZodDefault<z.ZodNumber>;
6865
+ }, z.core.$strict>, z.ZodObject<{
6866
+ type: z.ZodLiteral<"custom">;
6867
+ verifier: z.ZodString;
6868
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
6693
6869
  }, z.core.$strict>], "type">>>;
6694
6870
  identity: z.ZodOptional<z.ZodObject<{
6695
6871
  principal: z.ZodObject<{
@@ -6980,6 +7156,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
6980
7156
  path: z.ZodString;
6981
7157
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
6982
7158
  timeoutMs: z.ZodDefault<z.ZodNumber>;
7159
+ }, z.core.$strict>, z.ZodObject<{
7160
+ type: z.ZodLiteral<"custom">;
7161
+ verifier: z.ZodString;
7162
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
6983
7163
  }, z.core.$strict>], "type">>>;
6984
7164
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
6985
7165
  type: z.ZodLiteral<"result_equals">;
@@ -7018,6 +7198,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
7018
7198
  path: z.ZodString;
7019
7199
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
7020
7200
  timeoutMs: z.ZodDefault<z.ZodNumber>;
7201
+ }, z.core.$strict>, z.ZodObject<{
7202
+ type: z.ZodLiteral<"custom">;
7203
+ verifier: z.ZodString;
7204
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
7021
7205
  }, z.core.$strict>], "type">>>;
7022
7206
  identity: z.ZodOptional<z.ZodObject<{
7023
7207
  principal: z.ZodObject<{
@@ -7084,6 +7268,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
7084
7268
  path: z.ZodString;
7085
7269
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
7086
7270
  timeoutMs: z.ZodDefault<z.ZodNumber>;
7271
+ }, z.core.$strict>, z.ZodObject<{
7272
+ type: z.ZodLiteral<"custom">;
7273
+ verifier: z.ZodString;
7274
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
7087
7275
  }, z.core.$strict>], "type">>;
7088
7276
  }, z.core.$strict>, z.ZodObject<{
7089
7277
  id: z.ZodString;
@@ -7352,6 +7540,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
7352
7540
  path: z.ZodString;
7353
7541
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
7354
7542
  timeoutMs: z.ZodDefault<z.ZodNumber>;
7543
+ }, z.core.$strict>, z.ZodObject<{
7544
+ type: z.ZodLiteral<"custom">;
7545
+ verifier: z.ZodString;
7546
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
7355
7547
  }, z.core.$strict>], "type">>>;
7356
7548
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
7357
7549
  type: z.ZodLiteral<"result_equals">;
@@ -7390,6 +7582,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
7390
7582
  path: z.ZodString;
7391
7583
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
7392
7584
  timeoutMs: z.ZodDefault<z.ZodNumber>;
7585
+ }, z.core.$strict>, z.ZodObject<{
7586
+ type: z.ZodLiteral<"custom">;
7587
+ verifier: z.ZodString;
7588
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
7393
7589
  }, z.core.$strict>], "type">>>;
7394
7590
  identity: z.ZodOptional<z.ZodObject<{
7395
7591
  principal: z.ZodObject<{
@@ -7468,6 +7664,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
7468
7664
  path: z.ZodString;
7469
7665
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
7470
7666
  timeoutMs: z.ZodDefault<z.ZodNumber>;
7667
+ }, z.core.$strict>, z.ZodObject<{
7668
+ type: z.ZodLiteral<"custom">;
7669
+ verifier: z.ZodString;
7670
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
7471
7671
  }, z.core.$strict>], "type">>>;
7472
7672
  }, z.core.$strict>], "type">>;
7473
7673
  budget: z.ZodOptional<z.ZodObject<{
@@ -7541,7 +7741,7 @@ export declare const WorkflowNodeStateSchema: z.ZodObject<{
7541
7741
  approvalId: z.ZodString;
7542
7742
  taskId: z.ZodString;
7543
7743
  actionDigest: z.ZodString;
7544
- phrase: z.ZodString;
7744
+ phrase: z.ZodOptional<z.ZodString>;
7545
7745
  expiresAt: z.ZodString;
7546
7746
  }, z.core.$strict>>;
7547
7747
  iterations: z.ZodOptional<z.ZodNumber>;
@@ -7589,7 +7789,7 @@ export declare const WorkflowRunSchema: z.ZodObject<{
7589
7789
  approvalId: z.ZodString;
7590
7790
  taskId: z.ZodString;
7591
7791
  actionDigest: z.ZodString;
7592
- phrase: z.ZodString;
7792
+ phrase: z.ZodOptional<z.ZodString>;
7593
7793
  expiresAt: z.ZodString;
7594
7794
  }, z.core.$strict>>;
7595
7795
  iterations: z.ZodOptional<z.ZodNumber>;
@@ -7646,7 +7846,7 @@ export declare const WorkflowSnapshotSchema: z.ZodObject<{
7646
7846
  approvalId: z.ZodString;
7647
7847
  taskId: z.ZodString;
7648
7848
  actionDigest: z.ZodString;
7649
- phrase: z.ZodString;
7849
+ phrase: z.ZodOptional<z.ZodString>;
7650
7850
  expiresAt: z.ZodString;
7651
7851
  }, z.core.$strict>>;
7652
7852
  iterations: z.ZodOptional<z.ZodNumber>;
@@ -7702,7 +7902,7 @@ export declare const WorkflowAdvanceResultSchema: z.ZodObject<{
7702
7902
  approvalId: z.ZodString;
7703
7903
  taskId: z.ZodString;
7704
7904
  actionDigest: z.ZodString;
7705
- phrase: z.ZodString;
7905
+ phrase: z.ZodOptional<z.ZodString>;
7706
7906
  expiresAt: z.ZodString;
7707
7907
  }, z.core.$strict>>;
7708
7908
  iterations: z.ZodOptional<z.ZodNumber>;
@@ -7996,6 +8196,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
7996
8196
  path: z.ZodString;
7997
8197
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
7998
8198
  timeoutMs: z.ZodDefault<z.ZodNumber>;
8199
+ }, z.core.$strict>, z.ZodObject<{
8200
+ type: z.ZodLiteral<"custom">;
8201
+ verifier: z.ZodString;
8202
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
7999
8203
  }, z.core.$strict>], "type">>>;
8000
8204
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
8001
8205
  type: z.ZodLiteral<"result_equals">;
@@ -8034,6 +8238,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
8034
8238
  path: z.ZodString;
8035
8239
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
8036
8240
  timeoutMs: z.ZodDefault<z.ZodNumber>;
8241
+ }, z.core.$strict>, z.ZodObject<{
8242
+ type: z.ZodLiteral<"custom">;
8243
+ verifier: z.ZodString;
8244
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
8037
8245
  }, z.core.$strict>], "type">>>;
8038
8246
  identity: z.ZodOptional<z.ZodObject<{
8039
8247
  principal: z.ZodObject<{
@@ -8109,6 +8317,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
8109
8317
  path: z.ZodString;
8110
8318
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
8111
8319
  timeoutMs: z.ZodDefault<z.ZodNumber>;
8320
+ }, z.core.$strict>, z.ZodObject<{
8321
+ type: z.ZodLiteral<"custom">;
8322
+ verifier: z.ZodString;
8323
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
8112
8324
  }, z.core.$strict>], "type">;
8113
8325
  whenTrue: z.ZodDefault<z.ZodArray<z.ZodObject<{
8114
8326
  goal: z.ZodString;
@@ -8368,6 +8580,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
8368
8580
  path: z.ZodString;
8369
8581
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
8370
8582
  timeoutMs: z.ZodDefault<z.ZodNumber>;
8583
+ }, z.core.$strict>, z.ZodObject<{
8584
+ type: z.ZodLiteral<"custom">;
8585
+ verifier: z.ZodString;
8586
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
8371
8587
  }, z.core.$strict>], "type">>>;
8372
8588
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
8373
8589
  type: z.ZodLiteral<"result_equals">;
@@ -8406,6 +8622,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
8406
8622
  path: z.ZodString;
8407
8623
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
8408
8624
  timeoutMs: z.ZodDefault<z.ZodNumber>;
8625
+ }, z.core.$strict>, z.ZodObject<{
8626
+ type: z.ZodLiteral<"custom">;
8627
+ verifier: z.ZodString;
8628
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
8409
8629
  }, z.core.$strict>], "type">>>;
8410
8630
  identity: z.ZodOptional<z.ZodObject<{
8411
8631
  principal: z.ZodObject<{
@@ -8692,6 +8912,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
8692
8912
  path: z.ZodString;
8693
8913
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
8694
8914
  timeoutMs: z.ZodDefault<z.ZodNumber>;
8915
+ }, z.core.$strict>, z.ZodObject<{
8916
+ type: z.ZodLiteral<"custom">;
8917
+ verifier: z.ZodString;
8918
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
8695
8919
  }, z.core.$strict>], "type">>>;
8696
8920
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
8697
8921
  type: z.ZodLiteral<"result_equals">;
@@ -8730,6 +8954,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
8730
8954
  path: z.ZodString;
8731
8955
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
8732
8956
  timeoutMs: z.ZodDefault<z.ZodNumber>;
8957
+ }, z.core.$strict>, z.ZodObject<{
8958
+ type: z.ZodLiteral<"custom">;
8959
+ verifier: z.ZodString;
8960
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
8733
8961
  }, z.core.$strict>], "type">>>;
8734
8962
  identity: z.ZodOptional<z.ZodObject<{
8735
8963
  principal: z.ZodObject<{
@@ -9020,6 +9248,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
9020
9248
  path: z.ZodString;
9021
9249
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
9022
9250
  timeoutMs: z.ZodDefault<z.ZodNumber>;
9251
+ }, z.core.$strict>, z.ZodObject<{
9252
+ type: z.ZodLiteral<"custom">;
9253
+ verifier: z.ZodString;
9254
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
9023
9255
  }, z.core.$strict>], "type">>>;
9024
9256
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
9025
9257
  type: z.ZodLiteral<"result_equals">;
@@ -9058,6 +9290,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
9058
9290
  path: z.ZodString;
9059
9291
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
9060
9292
  timeoutMs: z.ZodDefault<z.ZodNumber>;
9293
+ }, z.core.$strict>, z.ZodObject<{
9294
+ type: z.ZodLiteral<"custom">;
9295
+ verifier: z.ZodString;
9296
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
9061
9297
  }, z.core.$strict>], "type">>>;
9062
9298
  identity: z.ZodOptional<z.ZodObject<{
9063
9299
  principal: z.ZodObject<{
@@ -9348,6 +9584,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
9348
9584
  path: z.ZodString;
9349
9585
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
9350
9586
  timeoutMs: z.ZodDefault<z.ZodNumber>;
9587
+ }, z.core.$strict>, z.ZodObject<{
9588
+ type: z.ZodLiteral<"custom">;
9589
+ verifier: z.ZodString;
9590
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
9351
9591
  }, z.core.$strict>], "type">>>;
9352
9592
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
9353
9593
  type: z.ZodLiteral<"result_equals">;
@@ -9386,6 +9626,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
9386
9626
  path: z.ZodString;
9387
9627
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
9388
9628
  timeoutMs: z.ZodDefault<z.ZodNumber>;
9629
+ }, z.core.$strict>, z.ZodObject<{
9630
+ type: z.ZodLiteral<"custom">;
9631
+ verifier: z.ZodString;
9632
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
9389
9633
  }, z.core.$strict>], "type">>>;
9390
9634
  identity: z.ZodOptional<z.ZodObject<{
9391
9635
  principal: z.ZodObject<{
@@ -9452,6 +9696,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
9452
9696
  path: z.ZodString;
9453
9697
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
9454
9698
  timeoutMs: z.ZodDefault<z.ZodNumber>;
9699
+ }, z.core.$strict>, z.ZodObject<{
9700
+ type: z.ZodLiteral<"custom">;
9701
+ verifier: z.ZodString;
9702
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
9455
9703
  }, z.core.$strict>], "type">>;
9456
9704
  }, z.core.$strict>, z.ZodObject<{
9457
9705
  id: z.ZodString;
@@ -9720,6 +9968,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
9720
9968
  path: z.ZodString;
9721
9969
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
9722
9970
  timeoutMs: z.ZodDefault<z.ZodNumber>;
9971
+ }, z.core.$strict>, z.ZodObject<{
9972
+ type: z.ZodLiteral<"custom">;
9973
+ verifier: z.ZodString;
9974
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
9723
9975
  }, z.core.$strict>], "type">>>;
9724
9976
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
9725
9977
  type: z.ZodLiteral<"result_equals">;
@@ -9758,6 +10010,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
9758
10010
  path: z.ZodString;
9759
10011
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
9760
10012
  timeoutMs: z.ZodDefault<z.ZodNumber>;
10013
+ }, z.core.$strict>, z.ZodObject<{
10014
+ type: z.ZodLiteral<"custom">;
10015
+ verifier: z.ZodString;
10016
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
9761
10017
  }, z.core.$strict>], "type">>>;
9762
10018
  identity: z.ZodOptional<z.ZodObject<{
9763
10019
  principal: z.ZodObject<{
@@ -9836,6 +10092,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
9836
10092
  path: z.ZodString;
9837
10093
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
9838
10094
  timeoutMs: z.ZodDefault<z.ZodNumber>;
10095
+ }, z.core.$strict>, z.ZodObject<{
10096
+ type: z.ZodLiteral<"custom">;
10097
+ verifier: z.ZodString;
10098
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
9839
10099
  }, z.core.$strict>], "type">>>;
9840
10100
  }, z.core.$strict>], "type">>;
9841
10101
  budget: z.ZodOptional<z.ZodObject<{
@@ -9907,6 +10167,21 @@ export declare const TaskStatusSchema: z.ZodEnum<{
9907
10167
  budget_exhausted: "budget_exhausted";
9908
10168
  }>;
9909
10169
  export type TaskStatus = z.infer<typeof TaskStatusSchema>;
10170
+ /**
10171
+ * Who said yes to a challenge, through what, and to exactly what. `channel` is
10172
+ * `out_of_band` only for a decision recorded through an operator surface while
10173
+ * the kernel was in enforced mode, where the agent never held a credential;
10174
+ * anything an agent could have produced itself is `in_band`. `renderDigest` is
10175
+ * the digest of the effect contract the approver was shown.
10176
+ */
10177
+ export interface ApprovalDecision {
10178
+ approvalId: string;
10179
+ taskId: string;
10180
+ renderDigest: string;
10181
+ channel: "in_band" | "out_of_band";
10182
+ approver: string;
10183
+ decidedAt: string;
10184
+ }
9910
10185
  export interface TaskRecord {
9911
10186
  id: string;
9912
10187
  request: TaskRequest;
@@ -9915,6 +10190,14 @@ export interface TaskRecord {
9915
10190
  idempotencyKey?: string;
9916
10191
  attempt?: number;
9917
10192
  approval?: ApprovalChallenge;
10193
+ /** What authorised the run, written in the same save that marks it running. */
10194
+ approvedBy?: ApprovalDecision;
10195
+ /**
10196
+ * The deployment mode the effect ran under, written in that same save, so a
10197
+ * receipt or certificate written later by recovery or reconciliation in a
10198
+ * process deployed differently still says how the effect was governed.
10199
+ */
10200
+ mode?: string;
9918
10201
  result?: Record<string, unknown>;
9919
10202
  error?: string;
9920
10203
  attempts?: number;
@@ -10193,6 +10476,10 @@ export declare const MelraPlanInputSchema: z.ZodObject<{
10193
10476
  path: z.ZodString;
10194
10477
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
10195
10478
  timeoutMs: z.ZodDefault<z.ZodNumber>;
10479
+ }, z.core.$strict>, z.ZodObject<{
10480
+ type: z.ZodLiteral<"custom">;
10481
+ verifier: z.ZodString;
10482
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
10196
10483
  }, z.core.$strict>], "type">>>;
10197
10484
  reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
10198
10485
  type: z.ZodLiteral<"result_equals">;
@@ -10231,6 +10518,10 @@ export declare const MelraPlanInputSchema: z.ZodObject<{
10231
10518
  path: z.ZodString;
10232
10519
  value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
10233
10520
  timeoutMs: z.ZodDefault<z.ZodNumber>;
10521
+ }, z.core.$strict>, z.ZodObject<{
10522
+ type: z.ZodLiteral<"custom">;
10523
+ verifier: z.ZodString;
10524
+ params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
10234
10525
  }, z.core.$strict>], "type">>>;
10235
10526
  identity: z.ZodOptional<z.ZodObject<{
10236
10527
  principal: z.ZodObject<{