@melra/protocol 0.3.0-alpha.13 → 0.3.0-alpha.15
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 +359 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +112 -18
- package/dist/index.js.map +1 -1
- package/package.json +2 -2
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.
|
|
3
|
+
export declare const PRODUCT_VERSION = "0.3.0-alpha.15";
|
|
4
4
|
export declare const FileOperationSchema: z.ZodObject<{
|
|
5
5
|
kind: z.ZodLiteral<"file">;
|
|
6
6
|
action: z.ZodEnum<{
|
|
@@ -51,6 +51,15 @@ export declare const TerminalOperationSchema: z.ZodObject<{
|
|
|
51
51
|
* them from here.
|
|
52
52
|
*/
|
|
53
53
|
export declare function terminalArgumentPaths(args: readonly string[]): string[];
|
|
54
|
+
/**
|
|
55
|
+
* The file each of those names as a reference for some programs to read
|
|
56
|
+
* (`@x`, `-d@x`, `name=<x`): one file, never a directory to walk. Kept apart,
|
|
57
|
+
* because to most programs `@/` and `</` are text (`rg "@/" src`), so only the
|
|
58
|
+
* terminal runtime judges these, and only as the file itself. Only this plain
|
|
59
|
+
* form: a program's own other ways of naming a file are not parsed here, and
|
|
60
|
+
* stay the accepted residual of approving that program.
|
|
61
|
+
*/
|
|
62
|
+
export declare function terminalArgumentReferences(args: readonly string[]): string[];
|
|
54
63
|
export declare const BrowserTargetSchema: z.ZodObject<{
|
|
55
64
|
selector: z.ZodOptional<z.ZodString>;
|
|
56
65
|
role: z.ZodOptional<z.ZodString>;
|
|
@@ -496,6 +505,10 @@ export declare const EvidencePredicateSchema: z.ZodDiscriminatedUnion<[z.ZodObje
|
|
|
496
505
|
type: z.ZodLiteral<"custom">;
|
|
497
506
|
verifier: z.ZodString;
|
|
498
507
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
508
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
509
|
+
type: z.ZodLiteral<"semantic">;
|
|
510
|
+
question: z.ZodString;
|
|
511
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
499
512
|
}, z.core.$strict>], "type">;
|
|
500
513
|
export type EvidencePredicate = z.infer<typeof EvidencePredicateSchema>;
|
|
501
514
|
export declare const PrincipalKindSchema: z.ZodEnum<{
|
|
@@ -841,6 +854,10 @@ export declare const TaskRequestSchema: z.ZodObject<{
|
|
|
841
854
|
type: z.ZodLiteral<"custom">;
|
|
842
855
|
verifier: z.ZodString;
|
|
843
856
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
857
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
858
|
+
type: z.ZodLiteral<"semantic">;
|
|
859
|
+
question: z.ZodString;
|
|
860
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
844
861
|
}, z.core.$strict>], "type">>>;
|
|
845
862
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
846
863
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -883,6 +900,10 @@ export declare const TaskRequestSchema: z.ZodObject<{
|
|
|
883
900
|
type: z.ZodLiteral<"custom">;
|
|
884
901
|
verifier: z.ZodString;
|
|
885
902
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
903
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
904
|
+
type: z.ZodLiteral<"semantic">;
|
|
905
|
+
question: z.ZodString;
|
|
906
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
886
907
|
}, z.core.$strict>], "type">>>;
|
|
887
908
|
identity: z.ZodOptional<z.ZodObject<{
|
|
888
909
|
principal: z.ZodObject<{
|
|
@@ -1052,6 +1073,82 @@ export declare const CredentialsSchema: z.ZodRecord<z.ZodString, z.ZodObject<{
|
|
|
1052
1073
|
hosts: z.ZodArray<z.ZodString>;
|
|
1053
1074
|
capability: z.ZodString;
|
|
1054
1075
|
}, z.core.$strict>>;
|
|
1076
|
+
/**
|
|
1077
|
+
* A policy file as written, every key optional (`loadPolicy` fills in the
|
|
1078
|
+
* defaults).
|
|
1079
|
+
*
|
|
1080
|
+
* Strict at every level because the file is a trust boundary. Read loosely, a
|
|
1081
|
+
* typo'd key (`"allowedComands"`) was dropped for the default the operator
|
|
1082
|
+
* meant to replace, and a wrong type flowed straight into policy:
|
|
1083
|
+
* `"unhinged": "false"` is a truthy string and switched the guardrails off.
|
|
1084
|
+
* `approvalTtlMs` keeps its range and its code, `policy_approval_ttl_invalid`,
|
|
1085
|
+
* as one problem among the others rather than ahead of them.
|
|
1086
|
+
*/
|
|
1087
|
+
export declare const PolicyFileSchema: z.ZodObject<{
|
|
1088
|
+
version: z.ZodExactOptional<z.ZodString>;
|
|
1089
|
+
workspaceRoot: z.ZodExactOptional<z.ZodString>;
|
|
1090
|
+
allowedCommands: z.ZodExactOptional<z.ZodArray<z.ZodString>>;
|
|
1091
|
+
allowedDomains: z.ZodExactOptional<z.ZodArray<z.ZodString>>;
|
|
1092
|
+
allowLocalhost: z.ZodExactOptional<z.ZodBoolean>;
|
|
1093
|
+
popups: z.ZodExactOptional<z.ZodEnum<{
|
|
1094
|
+
allow: "allow";
|
|
1095
|
+
block: "block";
|
|
1096
|
+
}>>;
|
|
1097
|
+
mutations: z.ZodExactOptional<z.ZodEnum<{
|
|
1098
|
+
deny: "deny";
|
|
1099
|
+
confirm: "confirm";
|
|
1100
|
+
}>>;
|
|
1101
|
+
approvalTtlMs: z.ZodExactOptional<z.ZodNumber>;
|
|
1102
|
+
maxFileBytes: z.ZodExactOptional<z.ZodNumber>;
|
|
1103
|
+
memoryRetention: z.ZodExactOptional<z.ZodObject<{
|
|
1104
|
+
maxAgeDays: z.ZodExactOptional<z.ZodNumber>;
|
|
1105
|
+
maxPerScope: z.ZodExactOptional<z.ZodNumber>;
|
|
1106
|
+
}, z.core.$strict>>;
|
|
1107
|
+
deniedTraits: z.ZodExactOptional<z.ZodArray<z.ZodEnum<{
|
|
1108
|
+
"package-install": "package-install";
|
|
1109
|
+
network: "network";
|
|
1110
|
+
}>>>;
|
|
1111
|
+
capabilities: z.ZodExactOptional<z.ZodArray<z.ZodObject<{
|
|
1112
|
+
id: z.ZodString;
|
|
1113
|
+
capability: z.ZodString;
|
|
1114
|
+
effects: z.ZodArray<z.ZodEnum<{
|
|
1115
|
+
read: "read";
|
|
1116
|
+
mutate: "mutate";
|
|
1117
|
+
destructive: "destructive";
|
|
1118
|
+
}>>;
|
|
1119
|
+
target: z.ZodDefault<z.ZodString>;
|
|
1120
|
+
principal: z.ZodDefault<z.ZodString>;
|
|
1121
|
+
validUntil: z.ZodOptional<z.ZodString>;
|
|
1122
|
+
policyVersion: z.ZodOptional<z.ZodString>;
|
|
1123
|
+
maxOperations: z.ZodOptional<z.ZodNumber>;
|
|
1124
|
+
provider: z.ZodOptional<z.ZodObject<{
|
|
1125
|
+
name: z.ZodString;
|
|
1126
|
+
account: z.ZodOptional<z.ZodString>;
|
|
1127
|
+
amountMax: z.ZodOptional<z.ZodNumber>;
|
|
1128
|
+
dailyMax: z.ZodOptional<z.ZodNumber>;
|
|
1129
|
+
}, z.core.$strict>>;
|
|
1130
|
+
}, z.core.$strict>>>;
|
|
1131
|
+
credentials: z.ZodExactOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
|
|
1132
|
+
source: z.ZodUnion<readonly [z.ZodObject<{
|
|
1133
|
+
env: z.ZodString;
|
|
1134
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
1135
|
+
file: z.ZodString;
|
|
1136
|
+
}, z.core.$strict>]>;
|
|
1137
|
+
inject: z.ZodObject<{
|
|
1138
|
+
header: z.ZodString;
|
|
1139
|
+
scheme: z.ZodOptional<z.ZodString>;
|
|
1140
|
+
}, z.core.$strict>;
|
|
1141
|
+
hosts: z.ZodArray<z.ZodString>;
|
|
1142
|
+
capability: z.ZodString;
|
|
1143
|
+
}, z.core.$strict>>>;
|
|
1144
|
+
circuitBreaker: z.ZodExactOptional<z.ZodObject<{
|
|
1145
|
+
threshold: z.ZodExactOptional<z.ZodNumber>;
|
|
1146
|
+
cooldownMs: z.ZodExactOptional<z.ZodNumber>;
|
|
1147
|
+
}, z.core.$strict>>;
|
|
1148
|
+
unhinged: z.ZodExactOptional<z.ZodBoolean>;
|
|
1149
|
+
mode: z.ZodExactOptional<z.ZodString>;
|
|
1150
|
+
}, z.core.$strict>;
|
|
1151
|
+
export type PolicyFileInput = z.input<typeof PolicyFileSchema>;
|
|
1055
1152
|
/**
|
|
1056
1153
|
* What MELRA promises about how many times an effect can run.
|
|
1057
1154
|
*
|
|
@@ -1425,6 +1522,10 @@ export declare const OperationNodeSchema: z.ZodObject<{
|
|
|
1425
1522
|
type: z.ZodLiteral<"custom">;
|
|
1426
1523
|
verifier: z.ZodString;
|
|
1427
1524
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
1525
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
1526
|
+
type: z.ZodLiteral<"semantic">;
|
|
1527
|
+
question: z.ZodString;
|
|
1528
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
1428
1529
|
}, z.core.$strict>], "type">>>;
|
|
1429
1530
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
1430
1531
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -1467,6 +1568,10 @@ export declare const OperationNodeSchema: z.ZodObject<{
|
|
|
1467
1568
|
type: z.ZodLiteral<"custom">;
|
|
1468
1569
|
verifier: z.ZodString;
|
|
1469
1570
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
1571
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
1572
|
+
type: z.ZodLiteral<"semantic">;
|
|
1573
|
+
question: z.ZodString;
|
|
1574
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
1470
1575
|
}, z.core.$strict>], "type">>>;
|
|
1471
1576
|
identity: z.ZodOptional<z.ZodObject<{
|
|
1472
1577
|
principal: z.ZodObject<{
|
|
@@ -1548,6 +1653,10 @@ export declare const ConditionNodeSchema: z.ZodObject<{
|
|
|
1548
1653
|
type: z.ZodLiteral<"custom">;
|
|
1549
1654
|
verifier: z.ZodString;
|
|
1550
1655
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
1656
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
1657
|
+
type: z.ZodLiteral<"semantic">;
|
|
1658
|
+
question: z.ZodString;
|
|
1659
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
1551
1660
|
}, z.core.$strict>], "type">;
|
|
1552
1661
|
whenTrue: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1553
1662
|
goal: z.ZodString;
|
|
@@ -1811,6 +1920,10 @@ export declare const ConditionNodeSchema: z.ZodObject<{
|
|
|
1811
1920
|
type: z.ZodLiteral<"custom">;
|
|
1812
1921
|
verifier: z.ZodString;
|
|
1813
1922
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
1923
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
1924
|
+
type: z.ZodLiteral<"semantic">;
|
|
1925
|
+
question: z.ZodString;
|
|
1926
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
1814
1927
|
}, z.core.$strict>], "type">>>;
|
|
1815
1928
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
1816
1929
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -1853,6 +1966,10 @@ export declare const ConditionNodeSchema: z.ZodObject<{
|
|
|
1853
1966
|
type: z.ZodLiteral<"custom">;
|
|
1854
1967
|
verifier: z.ZodString;
|
|
1855
1968
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
1969
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
1970
|
+
type: z.ZodLiteral<"semantic">;
|
|
1971
|
+
question: z.ZodString;
|
|
1972
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
1856
1973
|
}, z.core.$strict>], "type">>>;
|
|
1857
1974
|
identity: z.ZodOptional<z.ZodObject<{
|
|
1858
1975
|
principal: z.ZodObject<{
|
|
@@ -2143,6 +2260,10 @@ export declare const ConditionNodeSchema: z.ZodObject<{
|
|
|
2143
2260
|
type: z.ZodLiteral<"custom">;
|
|
2144
2261
|
verifier: z.ZodString;
|
|
2145
2262
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
2263
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
2264
|
+
type: z.ZodLiteral<"semantic">;
|
|
2265
|
+
question: z.ZodString;
|
|
2266
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
2146
2267
|
}, z.core.$strict>], "type">>>;
|
|
2147
2268
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
2148
2269
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -2185,6 +2306,10 @@ export declare const ConditionNodeSchema: z.ZodObject<{
|
|
|
2185
2306
|
type: z.ZodLiteral<"custom">;
|
|
2186
2307
|
verifier: z.ZodString;
|
|
2187
2308
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
2309
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
2310
|
+
type: z.ZodLiteral<"semantic">;
|
|
2311
|
+
question: z.ZodString;
|
|
2312
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
2188
2313
|
}, z.core.$strict>], "type">>>;
|
|
2189
2314
|
identity: z.ZodOptional<z.ZodObject<{
|
|
2190
2315
|
principal: z.ZodObject<{
|
|
@@ -2480,6 +2605,10 @@ export declare const ParallelNodeSchema: z.ZodObject<{
|
|
|
2480
2605
|
type: z.ZodLiteral<"custom">;
|
|
2481
2606
|
verifier: z.ZodString;
|
|
2482
2607
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
2608
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
2609
|
+
type: z.ZodLiteral<"semantic">;
|
|
2610
|
+
question: z.ZodString;
|
|
2611
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
2483
2612
|
}, z.core.$strict>], "type">>>;
|
|
2484
2613
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
2485
2614
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -2522,6 +2651,10 @@ export declare const ParallelNodeSchema: z.ZodObject<{
|
|
|
2522
2651
|
type: z.ZodLiteral<"custom">;
|
|
2523
2652
|
verifier: z.ZodString;
|
|
2524
2653
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
2654
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
2655
|
+
type: z.ZodLiteral<"semantic">;
|
|
2656
|
+
question: z.ZodString;
|
|
2657
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
2525
2658
|
}, z.core.$strict>], "type">>>;
|
|
2526
2659
|
identity: z.ZodOptional<z.ZodObject<{
|
|
2527
2660
|
principal: z.ZodObject<{
|
|
@@ -2817,6 +2950,10 @@ export declare const BoundedLoopNodeSchema: z.ZodObject<{
|
|
|
2817
2950
|
type: z.ZodLiteral<"custom">;
|
|
2818
2951
|
verifier: z.ZodString;
|
|
2819
2952
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
2953
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
2954
|
+
type: z.ZodLiteral<"semantic">;
|
|
2955
|
+
question: z.ZodString;
|
|
2956
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
2820
2957
|
}, z.core.$strict>], "type">>>;
|
|
2821
2958
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
2822
2959
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -2859,6 +2996,10 @@ export declare const BoundedLoopNodeSchema: z.ZodObject<{
|
|
|
2859
2996
|
type: z.ZodLiteral<"custom">;
|
|
2860
2997
|
verifier: z.ZodString;
|
|
2861
2998
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
2999
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
3000
|
+
type: z.ZodLiteral<"semantic">;
|
|
3001
|
+
question: z.ZodString;
|
|
3002
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
2862
3003
|
}, z.core.$strict>], "type">>>;
|
|
2863
3004
|
identity: z.ZodOptional<z.ZodObject<{
|
|
2864
3005
|
principal: z.ZodObject<{
|
|
@@ -2929,6 +3070,10 @@ export declare const BoundedLoopNodeSchema: z.ZodObject<{
|
|
|
2929
3070
|
type: z.ZodLiteral<"custom">;
|
|
2930
3071
|
verifier: z.ZodString;
|
|
2931
3072
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
3073
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
3074
|
+
type: z.ZodLiteral<"semantic">;
|
|
3075
|
+
question: z.ZodString;
|
|
3076
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
2932
3077
|
}, z.core.$strict>], "type">>;
|
|
2933
3078
|
}, z.core.$strict>;
|
|
2934
3079
|
export declare const CheckpointNodeSchema: z.ZodObject<{
|
|
@@ -3203,6 +3348,10 @@ export declare const CompensationNodeSchema: z.ZodObject<{
|
|
|
3203
3348
|
type: z.ZodLiteral<"custom">;
|
|
3204
3349
|
verifier: z.ZodString;
|
|
3205
3350
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
3351
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
3352
|
+
type: z.ZodLiteral<"semantic">;
|
|
3353
|
+
question: z.ZodString;
|
|
3354
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
3206
3355
|
}, z.core.$strict>], "type">>>;
|
|
3207
3356
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
3208
3357
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -3245,6 +3394,10 @@ export declare const CompensationNodeSchema: z.ZodObject<{
|
|
|
3245
3394
|
type: z.ZodLiteral<"custom">;
|
|
3246
3395
|
verifier: z.ZodString;
|
|
3247
3396
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
3397
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
3398
|
+
type: z.ZodLiteral<"semantic">;
|
|
3399
|
+
question: z.ZodString;
|
|
3400
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
3248
3401
|
}, z.core.$strict>], "type">>>;
|
|
3249
3402
|
identity: z.ZodOptional<z.ZodObject<{
|
|
3250
3403
|
principal: z.ZodObject<{
|
|
@@ -3329,6 +3482,10 @@ export declare const DelegationNodeSchema: z.ZodObject<{
|
|
|
3329
3482
|
type: z.ZodLiteral<"custom">;
|
|
3330
3483
|
verifier: z.ZodString;
|
|
3331
3484
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
3485
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
3486
|
+
type: z.ZodLiteral<"semantic">;
|
|
3487
|
+
question: z.ZodString;
|
|
3488
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
3332
3489
|
}, z.core.$strict>], "type">>>;
|
|
3333
3490
|
}, z.core.$strict>;
|
|
3334
3491
|
export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
@@ -3597,6 +3754,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
3597
3754
|
type: z.ZodLiteral<"custom">;
|
|
3598
3755
|
verifier: z.ZodString;
|
|
3599
3756
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
3757
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
3758
|
+
type: z.ZodLiteral<"semantic">;
|
|
3759
|
+
question: z.ZodString;
|
|
3760
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
3600
3761
|
}, z.core.$strict>], "type">>>;
|
|
3601
3762
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
3602
3763
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -3639,6 +3800,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
3639
3800
|
type: z.ZodLiteral<"custom">;
|
|
3640
3801
|
verifier: z.ZodString;
|
|
3641
3802
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
3803
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
3804
|
+
type: z.ZodLiteral<"semantic">;
|
|
3805
|
+
question: z.ZodString;
|
|
3806
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
3642
3807
|
}, z.core.$strict>], "type">>>;
|
|
3643
3808
|
identity: z.ZodOptional<z.ZodObject<{
|
|
3644
3809
|
principal: z.ZodObject<{
|
|
@@ -3718,6 +3883,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
3718
3883
|
type: z.ZodLiteral<"custom">;
|
|
3719
3884
|
verifier: z.ZodString;
|
|
3720
3885
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
3886
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
3887
|
+
type: z.ZodLiteral<"semantic">;
|
|
3888
|
+
question: z.ZodString;
|
|
3889
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
3721
3890
|
}, z.core.$strict>], "type">;
|
|
3722
3891
|
whenTrue: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
3723
3892
|
goal: z.ZodString;
|
|
@@ -3981,6 +4150,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
3981
4150
|
type: z.ZodLiteral<"custom">;
|
|
3982
4151
|
verifier: z.ZodString;
|
|
3983
4152
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
4153
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
4154
|
+
type: z.ZodLiteral<"semantic">;
|
|
4155
|
+
question: z.ZodString;
|
|
4156
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
3984
4157
|
}, z.core.$strict>], "type">>>;
|
|
3985
4158
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
3986
4159
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -4023,6 +4196,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
4023
4196
|
type: z.ZodLiteral<"custom">;
|
|
4024
4197
|
verifier: z.ZodString;
|
|
4025
4198
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
4199
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
4200
|
+
type: z.ZodLiteral<"semantic">;
|
|
4201
|
+
question: z.ZodString;
|
|
4202
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
4026
4203
|
}, z.core.$strict>], "type">>>;
|
|
4027
4204
|
identity: z.ZodOptional<z.ZodObject<{
|
|
4028
4205
|
principal: z.ZodObject<{
|
|
@@ -4313,6 +4490,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
4313
4490
|
type: z.ZodLiteral<"custom">;
|
|
4314
4491
|
verifier: z.ZodString;
|
|
4315
4492
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
4493
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
4494
|
+
type: z.ZodLiteral<"semantic">;
|
|
4495
|
+
question: z.ZodString;
|
|
4496
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
4316
4497
|
}, z.core.$strict>], "type">>>;
|
|
4317
4498
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
4318
4499
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -4355,6 +4536,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
4355
4536
|
type: z.ZodLiteral<"custom">;
|
|
4356
4537
|
verifier: z.ZodString;
|
|
4357
4538
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
4539
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
4540
|
+
type: z.ZodLiteral<"semantic">;
|
|
4541
|
+
question: z.ZodString;
|
|
4542
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
4358
4543
|
}, z.core.$strict>], "type">>>;
|
|
4359
4544
|
identity: z.ZodOptional<z.ZodObject<{
|
|
4360
4545
|
principal: z.ZodObject<{
|
|
@@ -4649,6 +4834,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
4649
4834
|
type: z.ZodLiteral<"custom">;
|
|
4650
4835
|
verifier: z.ZodString;
|
|
4651
4836
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
4837
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
4838
|
+
type: z.ZodLiteral<"semantic">;
|
|
4839
|
+
question: z.ZodString;
|
|
4840
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
4652
4841
|
}, z.core.$strict>], "type">>>;
|
|
4653
4842
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
4654
4843
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -4691,6 +4880,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
4691
4880
|
type: z.ZodLiteral<"custom">;
|
|
4692
4881
|
verifier: z.ZodString;
|
|
4693
4882
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
4883
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
4884
|
+
type: z.ZodLiteral<"semantic">;
|
|
4885
|
+
question: z.ZodString;
|
|
4886
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
4694
4887
|
}, z.core.$strict>], "type">>>;
|
|
4695
4888
|
identity: z.ZodOptional<z.ZodObject<{
|
|
4696
4889
|
principal: z.ZodObject<{
|
|
@@ -4985,6 +5178,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
4985
5178
|
type: z.ZodLiteral<"custom">;
|
|
4986
5179
|
verifier: z.ZodString;
|
|
4987
5180
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
5181
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
5182
|
+
type: z.ZodLiteral<"semantic">;
|
|
5183
|
+
question: z.ZodString;
|
|
5184
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
4988
5185
|
}, z.core.$strict>], "type">>>;
|
|
4989
5186
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
4990
5187
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -5027,6 +5224,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
5027
5224
|
type: z.ZodLiteral<"custom">;
|
|
5028
5225
|
verifier: z.ZodString;
|
|
5029
5226
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
5227
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
5228
|
+
type: z.ZodLiteral<"semantic">;
|
|
5229
|
+
question: z.ZodString;
|
|
5230
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
5030
5231
|
}, z.core.$strict>], "type">>>;
|
|
5031
5232
|
identity: z.ZodOptional<z.ZodObject<{
|
|
5032
5233
|
principal: z.ZodObject<{
|
|
@@ -5097,6 +5298,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
5097
5298
|
type: z.ZodLiteral<"custom">;
|
|
5098
5299
|
verifier: z.ZodString;
|
|
5099
5300
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
5301
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
5302
|
+
type: z.ZodLiteral<"semantic">;
|
|
5303
|
+
question: z.ZodString;
|
|
5304
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
5100
5305
|
}, z.core.$strict>], "type">>;
|
|
5101
5306
|
}, z.core.$strict>, z.ZodObject<{
|
|
5102
5307
|
id: z.ZodString;
|
|
@@ -5369,6 +5574,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
5369
5574
|
type: z.ZodLiteral<"custom">;
|
|
5370
5575
|
verifier: z.ZodString;
|
|
5371
5576
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
5577
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
5578
|
+
type: z.ZodLiteral<"semantic">;
|
|
5579
|
+
question: z.ZodString;
|
|
5580
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
5372
5581
|
}, z.core.$strict>], "type">>>;
|
|
5373
5582
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
5374
5583
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -5411,6 +5620,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
5411
5620
|
type: z.ZodLiteral<"custom">;
|
|
5412
5621
|
verifier: z.ZodString;
|
|
5413
5622
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
5623
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
5624
|
+
type: z.ZodLiteral<"semantic">;
|
|
5625
|
+
question: z.ZodString;
|
|
5626
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
5414
5627
|
}, z.core.$strict>], "type">>>;
|
|
5415
5628
|
identity: z.ZodOptional<z.ZodObject<{
|
|
5416
5629
|
principal: z.ZodObject<{
|
|
@@ -5493,6 +5706,10 @@ export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
5493
5706
|
type: z.ZodLiteral<"custom">;
|
|
5494
5707
|
verifier: z.ZodString;
|
|
5495
5708
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
5709
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
5710
|
+
type: z.ZodLiteral<"semantic">;
|
|
5711
|
+
question: z.ZodString;
|
|
5712
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
5496
5713
|
}, z.core.$strict>], "type">>>;
|
|
5497
5714
|
}, z.core.$strict>], "type">;
|
|
5498
5715
|
export declare const WorkflowInputSchema: z.ZodObject<{
|
|
@@ -5772,6 +5989,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
5772
5989
|
type: z.ZodLiteral<"custom">;
|
|
5773
5990
|
verifier: z.ZodString;
|
|
5774
5991
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
5992
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
5993
|
+
type: z.ZodLiteral<"semantic">;
|
|
5994
|
+
question: z.ZodString;
|
|
5995
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
5775
5996
|
}, z.core.$strict>], "type">>>;
|
|
5776
5997
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
5777
5998
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -5814,6 +6035,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
5814
6035
|
type: z.ZodLiteral<"custom">;
|
|
5815
6036
|
verifier: z.ZodString;
|
|
5816
6037
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
6038
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
6039
|
+
type: z.ZodLiteral<"semantic">;
|
|
6040
|
+
question: z.ZodString;
|
|
6041
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
5817
6042
|
}, z.core.$strict>], "type">>>;
|
|
5818
6043
|
identity: z.ZodOptional<z.ZodObject<{
|
|
5819
6044
|
principal: z.ZodObject<{
|
|
@@ -5893,6 +6118,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
5893
6118
|
type: z.ZodLiteral<"custom">;
|
|
5894
6119
|
verifier: z.ZodString;
|
|
5895
6120
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
6121
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
6122
|
+
type: z.ZodLiteral<"semantic">;
|
|
6123
|
+
question: z.ZodString;
|
|
6124
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
5896
6125
|
}, z.core.$strict>], "type">;
|
|
5897
6126
|
whenTrue: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
5898
6127
|
goal: z.ZodString;
|
|
@@ -6156,6 +6385,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
6156
6385
|
type: z.ZodLiteral<"custom">;
|
|
6157
6386
|
verifier: z.ZodString;
|
|
6158
6387
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
6388
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
6389
|
+
type: z.ZodLiteral<"semantic">;
|
|
6390
|
+
question: z.ZodString;
|
|
6391
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
6159
6392
|
}, z.core.$strict>], "type">>>;
|
|
6160
6393
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
6161
6394
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -6198,6 +6431,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
6198
6431
|
type: z.ZodLiteral<"custom">;
|
|
6199
6432
|
verifier: z.ZodString;
|
|
6200
6433
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
6434
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
6435
|
+
type: z.ZodLiteral<"semantic">;
|
|
6436
|
+
question: z.ZodString;
|
|
6437
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
6201
6438
|
}, z.core.$strict>], "type">>>;
|
|
6202
6439
|
identity: z.ZodOptional<z.ZodObject<{
|
|
6203
6440
|
principal: z.ZodObject<{
|
|
@@ -6488,6 +6725,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
6488
6725
|
type: z.ZodLiteral<"custom">;
|
|
6489
6726
|
verifier: z.ZodString;
|
|
6490
6727
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
6728
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
6729
|
+
type: z.ZodLiteral<"semantic">;
|
|
6730
|
+
question: z.ZodString;
|
|
6731
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
6491
6732
|
}, z.core.$strict>], "type">>>;
|
|
6492
6733
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
6493
6734
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -6530,6 +6771,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
6530
6771
|
type: z.ZodLiteral<"custom">;
|
|
6531
6772
|
verifier: z.ZodString;
|
|
6532
6773
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
6774
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
6775
|
+
type: z.ZodLiteral<"semantic">;
|
|
6776
|
+
question: z.ZodString;
|
|
6777
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
6533
6778
|
}, z.core.$strict>], "type">>>;
|
|
6534
6779
|
identity: z.ZodOptional<z.ZodObject<{
|
|
6535
6780
|
principal: z.ZodObject<{
|
|
@@ -6824,6 +7069,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
6824
7069
|
type: z.ZodLiteral<"custom">;
|
|
6825
7070
|
verifier: z.ZodString;
|
|
6826
7071
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
7072
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
7073
|
+
type: z.ZodLiteral<"semantic">;
|
|
7074
|
+
question: z.ZodString;
|
|
7075
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
6827
7076
|
}, z.core.$strict>], "type">>>;
|
|
6828
7077
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
6829
7078
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -6866,6 +7115,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
6866
7115
|
type: z.ZodLiteral<"custom">;
|
|
6867
7116
|
verifier: z.ZodString;
|
|
6868
7117
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
7118
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
7119
|
+
type: z.ZodLiteral<"semantic">;
|
|
7120
|
+
question: z.ZodString;
|
|
7121
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
6869
7122
|
}, z.core.$strict>], "type">>>;
|
|
6870
7123
|
identity: z.ZodOptional<z.ZodObject<{
|
|
6871
7124
|
principal: z.ZodObject<{
|
|
@@ -7160,6 +7413,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
7160
7413
|
type: z.ZodLiteral<"custom">;
|
|
7161
7414
|
verifier: z.ZodString;
|
|
7162
7415
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
7416
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
7417
|
+
type: z.ZodLiteral<"semantic">;
|
|
7418
|
+
question: z.ZodString;
|
|
7419
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
7163
7420
|
}, z.core.$strict>], "type">>>;
|
|
7164
7421
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
7165
7422
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -7202,6 +7459,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
7202
7459
|
type: z.ZodLiteral<"custom">;
|
|
7203
7460
|
verifier: z.ZodString;
|
|
7204
7461
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
7462
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
7463
|
+
type: z.ZodLiteral<"semantic">;
|
|
7464
|
+
question: z.ZodString;
|
|
7465
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
7205
7466
|
}, z.core.$strict>], "type">>>;
|
|
7206
7467
|
identity: z.ZodOptional<z.ZodObject<{
|
|
7207
7468
|
principal: z.ZodObject<{
|
|
@@ -7272,6 +7533,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
7272
7533
|
type: z.ZodLiteral<"custom">;
|
|
7273
7534
|
verifier: z.ZodString;
|
|
7274
7535
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
7536
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
7537
|
+
type: z.ZodLiteral<"semantic">;
|
|
7538
|
+
question: z.ZodString;
|
|
7539
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
7275
7540
|
}, z.core.$strict>], "type">>;
|
|
7276
7541
|
}, z.core.$strict>, z.ZodObject<{
|
|
7277
7542
|
id: z.ZodString;
|
|
@@ -7544,6 +7809,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
7544
7809
|
type: z.ZodLiteral<"custom">;
|
|
7545
7810
|
verifier: z.ZodString;
|
|
7546
7811
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
7812
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
7813
|
+
type: z.ZodLiteral<"semantic">;
|
|
7814
|
+
question: z.ZodString;
|
|
7815
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
7547
7816
|
}, z.core.$strict>], "type">>>;
|
|
7548
7817
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
7549
7818
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -7586,6 +7855,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
7586
7855
|
type: z.ZodLiteral<"custom">;
|
|
7587
7856
|
verifier: z.ZodString;
|
|
7588
7857
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
7858
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
7859
|
+
type: z.ZodLiteral<"semantic">;
|
|
7860
|
+
question: z.ZodString;
|
|
7861
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
7589
7862
|
}, z.core.$strict>], "type">>>;
|
|
7590
7863
|
identity: z.ZodOptional<z.ZodObject<{
|
|
7591
7864
|
principal: z.ZodObject<{
|
|
@@ -7668,6 +7941,10 @@ export declare const WorkflowDefinitionSchema: z.ZodObject<{
|
|
|
7668
7941
|
type: z.ZodLiteral<"custom">;
|
|
7669
7942
|
verifier: z.ZodString;
|
|
7670
7943
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
7944
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
7945
|
+
type: z.ZodLiteral<"semantic">;
|
|
7946
|
+
question: z.ZodString;
|
|
7947
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
7671
7948
|
}, z.core.$strict>], "type">>>;
|
|
7672
7949
|
}, z.core.$strict>], "type">>;
|
|
7673
7950
|
budget: z.ZodOptional<z.ZodObject<{
|
|
@@ -8200,6 +8477,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
8200
8477
|
type: z.ZodLiteral<"custom">;
|
|
8201
8478
|
verifier: z.ZodString;
|
|
8202
8479
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
8480
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
8481
|
+
type: z.ZodLiteral<"semantic">;
|
|
8482
|
+
question: z.ZodString;
|
|
8483
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
8203
8484
|
}, z.core.$strict>], "type">>>;
|
|
8204
8485
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
8205
8486
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -8242,6 +8523,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
8242
8523
|
type: z.ZodLiteral<"custom">;
|
|
8243
8524
|
verifier: z.ZodString;
|
|
8244
8525
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
8526
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
8527
|
+
type: z.ZodLiteral<"semantic">;
|
|
8528
|
+
question: z.ZodString;
|
|
8529
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
8245
8530
|
}, z.core.$strict>], "type">>>;
|
|
8246
8531
|
identity: z.ZodOptional<z.ZodObject<{
|
|
8247
8532
|
principal: z.ZodObject<{
|
|
@@ -8321,6 +8606,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
8321
8606
|
type: z.ZodLiteral<"custom">;
|
|
8322
8607
|
verifier: z.ZodString;
|
|
8323
8608
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
8609
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
8610
|
+
type: z.ZodLiteral<"semantic">;
|
|
8611
|
+
question: z.ZodString;
|
|
8612
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
8324
8613
|
}, z.core.$strict>], "type">;
|
|
8325
8614
|
whenTrue: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
8326
8615
|
goal: z.ZodString;
|
|
@@ -8584,6 +8873,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
8584
8873
|
type: z.ZodLiteral<"custom">;
|
|
8585
8874
|
verifier: z.ZodString;
|
|
8586
8875
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
8876
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
8877
|
+
type: z.ZodLiteral<"semantic">;
|
|
8878
|
+
question: z.ZodString;
|
|
8879
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
8587
8880
|
}, z.core.$strict>], "type">>>;
|
|
8588
8881
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
8589
8882
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -8626,6 +8919,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
8626
8919
|
type: z.ZodLiteral<"custom">;
|
|
8627
8920
|
verifier: z.ZodString;
|
|
8628
8921
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
8922
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
8923
|
+
type: z.ZodLiteral<"semantic">;
|
|
8924
|
+
question: z.ZodString;
|
|
8925
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
8629
8926
|
}, z.core.$strict>], "type">>>;
|
|
8630
8927
|
identity: z.ZodOptional<z.ZodObject<{
|
|
8631
8928
|
principal: z.ZodObject<{
|
|
@@ -8916,6 +9213,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
8916
9213
|
type: z.ZodLiteral<"custom">;
|
|
8917
9214
|
verifier: z.ZodString;
|
|
8918
9215
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
9216
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
9217
|
+
type: z.ZodLiteral<"semantic">;
|
|
9218
|
+
question: z.ZodString;
|
|
9219
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
8919
9220
|
}, z.core.$strict>], "type">>>;
|
|
8920
9221
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
8921
9222
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -8958,6 +9259,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
8958
9259
|
type: z.ZodLiteral<"custom">;
|
|
8959
9260
|
verifier: z.ZodString;
|
|
8960
9261
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
9262
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
9263
|
+
type: z.ZodLiteral<"semantic">;
|
|
9264
|
+
question: z.ZodString;
|
|
9265
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
8961
9266
|
}, z.core.$strict>], "type">>>;
|
|
8962
9267
|
identity: z.ZodOptional<z.ZodObject<{
|
|
8963
9268
|
principal: z.ZodObject<{
|
|
@@ -9252,6 +9557,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
9252
9557
|
type: z.ZodLiteral<"custom">;
|
|
9253
9558
|
verifier: z.ZodString;
|
|
9254
9559
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
9560
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
9561
|
+
type: z.ZodLiteral<"semantic">;
|
|
9562
|
+
question: z.ZodString;
|
|
9563
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
9255
9564
|
}, z.core.$strict>], "type">>>;
|
|
9256
9565
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
9257
9566
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -9294,6 +9603,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
9294
9603
|
type: z.ZodLiteral<"custom">;
|
|
9295
9604
|
verifier: z.ZodString;
|
|
9296
9605
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
9606
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
9607
|
+
type: z.ZodLiteral<"semantic">;
|
|
9608
|
+
question: z.ZodString;
|
|
9609
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
9297
9610
|
}, z.core.$strict>], "type">>>;
|
|
9298
9611
|
identity: z.ZodOptional<z.ZodObject<{
|
|
9299
9612
|
principal: z.ZodObject<{
|
|
@@ -9588,6 +9901,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
9588
9901
|
type: z.ZodLiteral<"custom">;
|
|
9589
9902
|
verifier: z.ZodString;
|
|
9590
9903
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
9904
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
9905
|
+
type: z.ZodLiteral<"semantic">;
|
|
9906
|
+
question: z.ZodString;
|
|
9907
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
9591
9908
|
}, z.core.$strict>], "type">>>;
|
|
9592
9909
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
9593
9910
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -9630,6 +9947,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
9630
9947
|
type: z.ZodLiteral<"custom">;
|
|
9631
9948
|
verifier: z.ZodString;
|
|
9632
9949
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
9950
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
9951
|
+
type: z.ZodLiteral<"semantic">;
|
|
9952
|
+
question: z.ZodString;
|
|
9953
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
9633
9954
|
}, z.core.$strict>], "type">>>;
|
|
9634
9955
|
identity: z.ZodOptional<z.ZodObject<{
|
|
9635
9956
|
principal: z.ZodObject<{
|
|
@@ -9700,6 +10021,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
9700
10021
|
type: z.ZodLiteral<"custom">;
|
|
9701
10022
|
verifier: z.ZodString;
|
|
9702
10023
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
10024
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
10025
|
+
type: z.ZodLiteral<"semantic">;
|
|
10026
|
+
question: z.ZodString;
|
|
10027
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
9703
10028
|
}, z.core.$strict>], "type">>;
|
|
9704
10029
|
}, z.core.$strict>, z.ZodObject<{
|
|
9705
10030
|
id: z.ZodString;
|
|
@@ -9972,6 +10297,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
9972
10297
|
type: z.ZodLiteral<"custom">;
|
|
9973
10298
|
verifier: z.ZodString;
|
|
9974
10299
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
10300
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
10301
|
+
type: z.ZodLiteral<"semantic">;
|
|
10302
|
+
question: z.ZodString;
|
|
10303
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
9975
10304
|
}, z.core.$strict>], "type">>>;
|
|
9976
10305
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
9977
10306
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -10014,6 +10343,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
10014
10343
|
type: z.ZodLiteral<"custom">;
|
|
10015
10344
|
verifier: z.ZodString;
|
|
10016
10345
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
10346
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
10347
|
+
type: z.ZodLiteral<"semantic">;
|
|
10348
|
+
question: z.ZodString;
|
|
10349
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
10017
10350
|
}, z.core.$strict>], "type">>>;
|
|
10018
10351
|
identity: z.ZodOptional<z.ZodObject<{
|
|
10019
10352
|
principal: z.ZodObject<{
|
|
@@ -10096,6 +10429,10 @@ export declare const WorkflowPlanInputSchema: z.ZodObject<{
|
|
|
10096
10429
|
type: z.ZodLiteral<"custom">;
|
|
10097
10430
|
verifier: z.ZodString;
|
|
10098
10431
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
10432
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
10433
|
+
type: z.ZodLiteral<"semantic">;
|
|
10434
|
+
question: z.ZodString;
|
|
10435
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
10099
10436
|
}, z.core.$strict>], "type">>>;
|
|
10100
10437
|
}, z.core.$strict>], "type">>;
|
|
10101
10438
|
budget: z.ZodOptional<z.ZodObject<{
|
|
@@ -10182,6 +10519,17 @@ export interface ApprovalDecision {
|
|
|
10182
10519
|
approver: string;
|
|
10183
10520
|
decidedAt: string;
|
|
10184
10521
|
}
|
|
10522
|
+
/**
|
|
10523
|
+
* One per semantic predicate, written in the save that moves a task to
|
|
10524
|
+
* `waiting_user` and kept after it settles. `predicateIndex` indexes
|
|
10525
|
+
* `request.requiredEvidence` and the action receipt's evidence; the question
|
|
10526
|
+
* itself stays in the request, redacted once.
|
|
10527
|
+
*/
|
|
10528
|
+
export interface SemanticJudgement {
|
|
10529
|
+
judgementId: string;
|
|
10530
|
+
predicateIndex: number;
|
|
10531
|
+
expiresAt: string;
|
|
10532
|
+
}
|
|
10185
10533
|
export interface TaskRecord {
|
|
10186
10534
|
id: string;
|
|
10187
10535
|
request: TaskRequest;
|
|
@@ -10203,6 +10551,8 @@ export interface TaskRecord {
|
|
|
10203
10551
|
attempts?: number;
|
|
10204
10552
|
receiptIds: string[];
|
|
10205
10553
|
certificateId?: string;
|
|
10554
|
+
/** The semantic questions a `waiting_user` task waits on (#54). */
|
|
10555
|
+
judgements?: SemanticJudgement[];
|
|
10206
10556
|
createdAt: string;
|
|
10207
10557
|
updatedAt: string;
|
|
10208
10558
|
}
|
|
@@ -10480,6 +10830,10 @@ export declare const MelraPlanInputSchema: z.ZodObject<{
|
|
|
10480
10830
|
type: z.ZodLiteral<"custom">;
|
|
10481
10831
|
verifier: z.ZodString;
|
|
10482
10832
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
10833
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
10834
|
+
type: z.ZodLiteral<"semantic">;
|
|
10835
|
+
question: z.ZodString;
|
|
10836
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
10483
10837
|
}, z.core.$strict>], "type">>>;
|
|
10484
10838
|
reconciliation: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
10485
10839
|
type: z.ZodLiteral<"result_equals">;
|
|
@@ -10522,6 +10876,10 @@ export declare const MelraPlanInputSchema: z.ZodObject<{
|
|
|
10522
10876
|
type: z.ZodLiteral<"custom">;
|
|
10523
10877
|
verifier: z.ZodString;
|
|
10524
10878
|
params: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>>;
|
|
10879
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
10880
|
+
type: z.ZodLiteral<"semantic">;
|
|
10881
|
+
question: z.ZodString;
|
|
10882
|
+
artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
10525
10883
|
}, z.core.$strict>], "type">>>;
|
|
10526
10884
|
identity: z.ZodOptional<z.ZodObject<{
|
|
10527
10885
|
principal: z.ZodObject<{
|