-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathaudit-log.log
315 lines (315 loc) · 129 KB
/
audit-log.log
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
[policy-reasoner v0.1.0][2023-12-19 22:13:22] {"kind":"POLICY-ADD","auth":{"initiator":"John Doe","system":"TODO implement!"},"connector_context":"bfb431c999971876cafa931ff04e38924ddaa108d0ce4cb5473c0d471e3801d5","policy":{"description":"","creator":null,"created_at":"2023-12-19T22:13:22.374476978+01:00","version":3,"version_description":"A test version of policy uploaded using the checker-client tool","content":[{"reasoner":"eflint","reasoner_version":"0.1.0","content":{
"version": "0.1.0",
"kind": "phrases",
"phrases": [
{
"kind": "predicate",
"is-invariant": true,
"name": "no-node-at-dan",
"expression": {
"operator": "EQ",
"operands": [
{
"operator": "COUNT",
"operands": [
{
"iterator": "FOREACH",
"binds": [
"node"
],
"expression": {
"identifier": "node-at",
"operands": [
[
"node"
],
{
"identifier": "domain",
"operands": [
{
"identifier": "user",
"operands": [
"Dan"
]
}
]
}
]
}
}
]
},
0
]
}
}
],
"updates": true
}}]}}
[policy-reasoner v0.1.0][2023-12-19 22:13:28] {"kind":"POLICY-ACTIVATE","auth":{"initiator":"John Doe","system":"TODO implement!"},"policy":{"description":"","creator":"John Doe","created_at":"2023-12-19T22:13:22.374476+01:00","version":3,"version_description":"A test version of policy uploaded using the checker-client tool","content":[{"reasoner":"eflint","reasoner_version":"0.1.0","content":{
"version": "0.1.0",
"kind": "phrases",
"phrases": [
{
"kind": "predicate",
"is-invariant": true,
"name": "no-node-at-dan",
"expression": {
"operator": "EQ",
"operands": [
{
"operator": "COUNT",
"operands": [
{
"iterator": "FOREACH",
"binds": [
"node"
],
"expression": {
"identifier": "node-at",
"operands": [
[
"node"
],
{
"identifier": "domain",
"operands": [
{
"identifier": "user",
"operands": [
"Dan"
]
}
]
}
]
}
}
]
},
0
]
}
}
],
"updates": true
}}]}}
[policy-reasoner v0.1.0][2023-12-19 22:13:32] {"kind":"WORKFLOW-VALIDATE","reference":"be6421e7-ab90-41f4-8c1c-7fa5dd0a5609","auth":{"initiator":"mock initiator","system":"mock system"},"policy":3,"state":{"users":[],"locations":[],"datasets":[],"functions":[]},"workflow":{"id":"workflow-kQC2yR9i","start":{"Parallel":{"branches":[{"Task":{"id":"workflow-kQC2yR9i-<main>:3-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"st_antonius_ect","from":null}],"output":{"name":"result_local_compute_fd8627","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_fd8627","from":null}]}}},{"Task":{"id":"workflow-kQC2yR9i-<main>:7-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"umc_utrecht_ect","from":null}],"output":{"name":"result_local_compute_ae9277","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_ae9277","from":null}]}}}],"merge":"All","next":{"Task":{"id":"workflow-kQC2yR9i-<main>:11-task","name":"aggregate","package":"epi","version":"1.0.0","input":[{"name":"result_local_compute_ae9277","from":null},{"name":"result_local_compute_fd8627","from":null}],"output":{"name":"result_aggregate_eb8d7f","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_aggregate_eb8d7f","from":null}]}}}}},"user":{"name":"Danny Data Scientist"},"metadata":[],"signature":"its_signed_i_swear_mom"}}
[policy-reasoner v0.1.0][2023-12-19 22:13:32] {"kind":"REASONER-RESPONSE","reference":"be6421e7-ab90-41f4-8c1c-7fa5dd0a5609","response":"{\"success\":true,\"results\":[{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"user\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"domain\",\"identified-by\":[\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"asset\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-access\",\"identified-by\":[\"asset\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"code\",\"identified-by\":[\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"workflow\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result\",\"identified-by\":[\"workflow\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result-recipient\",\"identified-by\":[\"workflow-result\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node\",\"identified-by\":[\"workflow\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input-from\",\"identified-by\":[\"node-input\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-output\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-at\",\"identified-by\":[\"node\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"task\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"function\",\"identified-by\":[\"node-input\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"commit\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop-body\",\"identified-by\":[\"loop\",\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature-valid\",\"identified-by\":[\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"tag\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"metadata\",\"identified-by\":[\"tag\",\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-metadata\",\"identified-by\":[\"workflow\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-metadata\",\"identified-by\":[\"node\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-metadata\",\"identified-by\":[\"asset\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"user-metadata\",\"identified-by\":[\"user\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:3-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:3-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"st_antonius_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_fd8627\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_fd8627\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:7-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:7-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"umc_utrecht_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_ae9277\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_ae9277\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:11-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:11-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"aggregate\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_ae9277\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_fd8627\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-kQC2yR9i-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_eb8d7f\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-kQC2yR9i\"]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_eb8d7f\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"predicate\",\"expression\":{\"operator\":\"EQ\",\"operands\":[{\"operator\":\"COUNT\",\"operands\":[{\"iterator\":\"FOREACH\",\"binds\":[\"node\"],\"expression\":{\"identifier\":\"node-at\",\"operands\":[[\"node\"],{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}]},0]},\"name\":\"no-node-at-dan\"}],\"triggers\":[],\"violated\":false,\"violations\":[]}]}"}
[policy-reasoner v0.1.0][2023-12-19 22:13:32] {"kind":"REASONER-VERDICT","reference":"be6421e7-ab90-41f4-8c1c-7fa5dd0a5609","verdict":{"verdict":"allow","verdict_reference":"be6421e7-ab90-41f4-8c1c-7fa5dd0a5609","signature":"signature"}}
[policy-reasoner v0.1.0][2023-12-19 22:57:13] {"kind":"WORKFLOW-VALIDATE","reference":"4c1c604e-7832-46ee-ab7f-fd7501c37d06","auth":{"initiator":"mock initiator","system":"mock system"},"policy":3,"state":{"users":[],"locations":[],"datasets":[],"functions":[]},"workflow":{"id":"workflow-F9IItRoU","start":{"Parallel":{"branches":[{"Task":{"id":"workflow-F9IItRoU-<main>:3-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"st_antonius_ect","from":null}],"output":{"name":"result_local_compute_3a77f7","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_3a77f7","from":null}]}}},{"Task":{"id":"workflow-F9IItRoU-<main>:7-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"umc_utrecht_ect","from":null}],"output":{"name":"result_local_compute_8ce0c7","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_8ce0c7","from":null}]}}}],"merge":"All","next":{"Task":{"id":"workflow-F9IItRoU-<main>:11-task","name":"aggregate","package":"epi","version":"1.0.0","input":[{"name":"result_local_compute_3a77f7","from":null},{"name":"result_local_compute_8ce0c7","from":null}],"output":{"name":"result_aggregate_cfc35e","from":null},"location":"Dan","metadata":[],"next":{"Stop":[{"name":"result_aggregate_cfc35e","from":null}]}}}}},"user":{"name":"Danny Data Scientist"},"metadata":[],"signature":"its_signed_i_swear_mom"}}
[policy-reasoner v0.1.0][2023-12-19 22:57:13] {"kind":"REASONER-RESPONSE","reference":"4c1c604e-7832-46ee-ab7f-fd7501c37d06","response":"{\"success\":true,\"results\":[{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"user\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"domain\",\"identified-by\":[\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"asset\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-access\",\"identified-by\":[\"asset\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"code\",\"identified-by\":[\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"workflow\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result\",\"identified-by\":[\"workflow\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result-recipient\",\"identified-by\":[\"workflow-result\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node\",\"identified-by\":[\"workflow\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input-from\",\"identified-by\":[\"node-input\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-output\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-at\",\"identified-by\":[\"node\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"task\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"function\",\"identified-by\":[\"node-input\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"commit\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop-body\",\"identified-by\":[\"loop\",\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature-valid\",\"identified-by\":[\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"tag\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"metadata\",\"identified-by\":[\"tag\",\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-metadata\",\"identified-by\":[\"workflow\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-metadata\",\"identified-by\":[\"node\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-metadata\",\"identified-by\":[\"asset\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"user-metadata\",\"identified-by\":[\"user\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:3-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:3-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"st_antonius_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_3a77f7\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_3a77f7\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:7-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:7-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"umc_utrecht_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_8ce0c7\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_8ce0c7\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:11-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:11-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"aggregate\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_3a77f7\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input-from\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_3a77f7\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_8ce0c7\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input-from\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_8ce0c7\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_cfc35e\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-at\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-F9IItRoU-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-F9IItRoU\"]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_cfc35e\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"predicate\",\"expression\":{\"operator\":\"EQ\",\"operands\":[{\"operator\":\"COUNT\",\"operands\":[{\"iterator\":\"FOREACH\",\"binds\":[\"node\"],\"expression\":{\"identifier\":\"node-at\",\"operands\":[[\"node\"],{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}]},0]},\"name\":\"no-node-at-dan\"}],\"triggers\":[],\"violated\":false,\"violations\":[]}]}"}
[policy-reasoner v0.1.0][2023-12-19 22:57:13] {"kind":"REASONER-VERDICT","reference":"4c1c604e-7832-46ee-ab7f-fd7501c37d06","verdict":{"verdict":"allow","verdict_reference":"4c1c604e-7832-46ee-ab7f-fd7501c37d06","signature":"signature"}}
[policy-reasoner v0.1.0][2023-12-19 22:59:31] {"kind":"WORKFLOW-VALIDATE","reference":"81b3d8f4-1e26-42fe-bcac-3ae994ef634a","auth":{"initiator":"mock initiator","system":"mock system"},"policy":3,"state":{"users":[],"locations":[],"datasets":[],"functions":[]},"workflow":{"id":"workflow-pTmQsK7L","start":{"Parallel":{"branches":[{"Task":{"id":"workflow-pTmQsK7L-<main>:3-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"st_antonius_ect","from":null}],"output":{"name":"result_local_compute_0a5e72","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_0a5e72","from":null}]}}},{"Task":{"id":"workflow-pTmQsK7L-<main>:7-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"umc_utrecht_ect","from":null}],"output":{"name":"result_local_compute_5e82c6","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_5e82c6","from":null}]}}}],"merge":"All","next":{"Task":{"id":"workflow-pTmQsK7L-<main>:11-task","name":"aggregate","package":"epi","version":"1.0.0","input":[{"name":"result_local_compute_5e82c6","from":null},{"name":"result_local_compute_0a5e72","from":null}],"output":{"name":"result_aggregate_6dbfb3","from":null},"location":"Dan","metadata":[],"next":{"Stop":[{"name":"result_aggregate_6dbfb3","from":null}]}}}}},"user":{"name":"Danny Data Scientist"},"metadata":[],"signature":"its_signed_i_swear_mom"}}
[policy-reasoner v0.1.0][2023-12-19 22:59:31] {"kind":"REASONER-RESPONSE","reference":"81b3d8f4-1e26-42fe-bcac-3ae994ef634a","response":"{\"success\":true,\"results\":[{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"user\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"domain\",\"identified-by\":[\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"asset\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-access\",\"identified-by\":[\"asset\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"code\",\"identified-by\":[\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"workflow\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result\",\"identified-by\":[\"workflow\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result-recipient\",\"identified-by\":[\"workflow-result\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node\",\"identified-by\":[\"workflow\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input-from\",\"identified-by\":[\"node-input\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-output\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-at\",\"identified-by\":[\"node\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"task\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"function\",\"identified-by\":[\"node-input\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"commit\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop-body\",\"identified-by\":[\"loop\",\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature-valid\",\"identified-by\":[\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"tag\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"metadata\",\"identified-by\":[\"tag\",\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-metadata\",\"identified-by\":[\"workflow\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-metadata\",\"identified-by\":[\"node\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-metadata\",\"identified-by\":[\"asset\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"user-metadata\",\"identified-by\":[\"user\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:3-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:3-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"st_antonius_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_0a5e72\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_0a5e72\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:7-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:7-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"umc_utrecht_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_5e82c6\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_5e82c6\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:11-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:11-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"aggregate\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_5e82c6\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input-from\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_5e82c6\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_0a5e72\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input-from\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_0a5e72\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_6dbfb3\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-at\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-pTmQsK7L-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-pTmQsK7L\"]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_6dbfb3\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"predicate\",\"expression\":{\"operator\":\"EQ\",\"operands\":[{\"operator\":\"COUNT\",\"operands\":[{\"iterator\":\"FOREACH\",\"binds\":[\"node\"],\"expression\":{\"identifier\":\"node-at\",\"operands\":[[\"node\"],{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}]},0]},\"name\":\"no-node-at-dan\"}],\"triggers\":[],\"violated\":false,\"violations\":[]}]}"}
[policy-reasoner v0.1.0][2023-12-19 22:59:31] {"kind":"REASONER-VERDICT","reference":"81b3d8f4-1e26-42fe-bcac-3ae994ef634a","verdict":{"verdict":"allow","verdict_reference":"81b3d8f4-1e26-42fe-bcac-3ae994ef634a","signature":"signature"}}
[policy-reasoner v0.1.0][2023-12-19 23:05:20] {"kind":"POLICY-ADD","auth":{"initiator":"John Doe","system":"TODO implement!"},"connector_context":"bfb431c999971876cafa931ff04e38924ddaa108d0ce4cb5473c0d471e3801d5","policy":{"description":"","creator":null,"created_at":"2023-12-19T23:05:20.524985905+01:00","version":4,"version_description":"A test version of policy uploaded using the checker-client tool","content":[{"reasoner":"eflint","reasoner_version":"0.1.0","content":{
"version": "0.1.0",
"kind": "phrases",
"phrases": [
{
"kind": "predicate",
"is-invariant": true,
"name": "only-dipg",
"expression": {
"iterator": "FORALL",
"binds": [
"node"
],
"expression": {
"iterator": "EXISTS",
"binds": [
"user",
"signature"
],
"expression": {
"identifier": "node-metadata",
"operands": [
[
"node"
],
{
"identifier": "metadata",
"operands": [
{
"identifier": "tag",
"operands": [
[
"user1"
],
"Dipg"
]
},
[
"signature"
]
]
}
]
}
}
}
}
],
"updates": true
}}]}}
[policy-reasoner v0.1.0][2023-12-19 23:05:34] {"kind":"POLICY-ACTIVATE","auth":{"initiator":"John Doe","system":"TODO implement!"},"policy":{"description":"","creator":"John Doe","created_at":"2023-12-19T23:05:20.524985+01:00","version":4,"version_description":"A test version of policy uploaded using the checker-client tool","content":[{"reasoner":"eflint","reasoner_version":"0.1.0","content":{
"version": "0.1.0",
"kind": "phrases",
"phrases": [
{
"kind": "predicate",
"is-invariant": true,
"name": "only-dipg",
"expression": {
"iterator": "FORALL",
"binds": [
"node"
],
"expression": {
"iterator": "EXISTS",
"binds": [
"user",
"signature"
],
"expression": {
"identifier": "node-metadata",
"operands": [
[
"node"
],
{
"identifier": "metadata",
"operands": [
{
"identifier": "tag",
"operands": [
[
"user1"
],
"Dipg"
]
},
[
"signature"
]
]
}
]
}
}
}
}
],
"updates": true
}}]}}
[policy-reasoner v0.1.0][2023-12-19 23:05:51] {"kind":"WORKFLOW-VALIDATE","reference":"7226b818-359b-4435-ae82-5ed0c8aa68fb","auth":{"initiator":"mock initiator","system":"mock system"},"policy":4,"state":{"users":[],"locations":[],"datasets":[],"functions":[]},"workflow":{"id":"workflow-xZKYgI8V","start":{"Parallel":{"branches":[{"Task":{"id":"workflow-xZKYgI8V-<main>:3-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"st_antonius_ect","from":null}],"output":{"name":"result_local_compute_4a850d","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_4a850d","from":null}]}}},{"Task":{"id":"workflow-xZKYgI8V-<main>:7-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"umc_utrecht_ect","from":null}],"output":{"name":"result_local_compute_e652fd","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_e652fd","from":null}]}}}],"merge":"All","next":{"Task":{"id":"workflow-xZKYgI8V-<main>:11-task","name":"aggregate","package":"epi","version":"1.0.0","input":[{"name":"result_local_compute_e652fd","from":null},{"name":"result_local_compute_4a850d","from":null}],"output":{"name":"result_aggregate_6cd04b","from":null},"location":"Dan","metadata":[],"next":{"Stop":[{"name":"result_aggregate_6cd04b","from":null}]}}}}},"user":{"name":"Danny Data Scientist"},"metadata":[],"signature":"its_signed_i_swear_mom"}}
[policy-reasoner v0.1.0][2023-12-19 23:05:51] {"kind":"REASONER-RESPONSE","reference":"7226b818-359b-4435-ae82-5ed0c8aa68fb","response":"{\"success\":true,\"results\":[{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"user\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"domain\",\"identified-by\":[\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"asset\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-access\",\"identified-by\":[\"asset\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"code\",\"identified-by\":[\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"workflow\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result\",\"identified-by\":[\"workflow\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result-recipient\",\"identified-by\":[\"workflow-result\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node\",\"identified-by\":[\"workflow\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input-from\",\"identified-by\":[\"node-input\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-output\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-at\",\"identified-by\":[\"node\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"task\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"function\",\"identified-by\":[\"node-input\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"commit\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop-body\",\"identified-by\":[\"loop\",\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature-valid\",\"identified-by\":[\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"tag\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"metadata\",\"identified-by\":[\"tag\",\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-metadata\",\"identified-by\":[\"workflow\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-metadata\",\"identified-by\":[\"node\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-metadata\",\"identified-by\":[\"asset\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"user-metadata\",\"identified-by\":[\"user\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:3-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:3-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"st_antonius_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_4a850d\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_4a850d\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:7-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:7-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"umc_utrecht_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_e652fd\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_e652fd\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:11-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:11-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"aggregate\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_e652fd\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input-from\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_e652fd\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_4a850d\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input-from\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_4a850d\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_6cd04b\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-at\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-xZKYgI8V-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-xZKYgI8V\"]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_6cd04b\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"predicate\",\"expression\":{\"iterator\":\"FORALL\",\"binds\":[\"node\"],\"expression\":{\"iterator\":\"EXISTS\",\"binds\":[\"user\",\"signature\"],\"expression\":{\"identifier\":\"node-metadata\",\"operands\":[[\"node\"],{\"identifier\":\"metadata\",\"operands\":[{\"identifier\":\"tag\",\"operands\":[[\"user1\"],\"Dipg\"]},[\"signature\"]]}]}}},\"name\":\"only-dipg\"}],\"triggers\":[],\"violated\":false,\"violations\":[]}]}"}
[policy-reasoner v0.1.0][2023-12-19 23:05:51] {"kind":"REASONER-VERDICT","reference":"7226b818-359b-4435-ae82-5ed0c8aa68fb","verdict":{"verdict":"allow","verdict_reference":"7226b818-359b-4435-ae82-5ed0c8aa68fb","signature":"signature"}}
[policy-reasoner v0.1.0][2023-12-19 23:13:21] {"kind":"WORKFLOW-VALIDATE","reference":"a01d4c3e-574f-4087-ac50-eaa81eab58df","auth":{"initiator":"mock initiator","system":"mock system"},"policy":4,"state":{"users":[],"locations":[],"datasets":[],"functions":[]},"workflow":{"id":"workflow-eQTmVfdP","start":{"Parallel":{"branches":[{"Task":{"id":"workflow-eQTmVfdP-<main>:3-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"st_antonius_ect","from":null}],"output":{"name":"result_local_compute_793963","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_793963","from":null}]}}},{"Task":{"id":"workflow-eQTmVfdP-<main>:7-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"umc_utrecht_ect","from":null}],"output":{"name":"result_local_compute_8dfe1f","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_8dfe1f","from":null}]}}}],"merge":"All","next":{"Task":{"id":"workflow-eQTmVfdP-<main>:11-task","name":"aggregate","package":"epi","version":"1.0.0","input":[{"name":"result_local_compute_8dfe1f","from":null},{"name":"result_local_compute_793963","from":null}],"output":{"name":"result_aggregate_f6f341","from":null},"location":"Dan","metadata":[],"next":{"Stop":[{"name":"result_aggregate_f6f341","from":null}]}}}}},"user":{"name":"Danny Data Scientist"},"metadata":[],"signature":"its_signed_i_swear_mom"}}
[policy-reasoner v0.1.0][2023-12-19 23:13:21] {"kind":"REASONER-RESPONSE","reference":"a01d4c3e-574f-4087-ac50-eaa81eab58df","response":"{\"success\":true,\"results\":[{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"user\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"domain\",\"identified-by\":[\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"asset\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-access\",\"identified-by\":[\"asset\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"code\",\"identified-by\":[\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"workflow\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result\",\"identified-by\":[\"workflow\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result-recipient\",\"identified-by\":[\"workflow-result\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node\",\"identified-by\":[\"workflow\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input-from\",\"identified-by\":[\"node-input\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-output\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-at\",\"identified-by\":[\"node\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"task\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"function\",\"identified-by\":[\"node-input\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"commit\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop-body\",\"identified-by\":[\"loop\",\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature-valid\",\"identified-by\":[\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"tag\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"metadata\",\"identified-by\":[\"tag\",\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-metadata\",\"identified-by\":[\"workflow\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-metadata\",\"identified-by\":[\"node\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-metadata\",\"identified-by\":[\"asset\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"user-metadata\",\"identified-by\":[\"user\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:3-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:3-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"st_antonius_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_793963\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_793963\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:7-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:7-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"umc_utrecht_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_8dfe1f\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_8dfe1f\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:11-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:11-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"aggregate\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_8dfe1f\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input-from\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_8dfe1f\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_793963\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input-from\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_793963\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_f6f341\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-at\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-eQTmVfdP-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-eQTmVfdP\"]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_f6f341\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"predicate\",\"expression\":{\"iterator\":\"FORALL\",\"binds\":[\"node\"],\"expression\":{\"iterator\":\"EXISTS\",\"binds\":[\"user\",\"signature\"],\"expression\":{\"identifier\":\"node-metadata\",\"operands\":[[\"node\"],{\"identifier\":\"metadata\",\"operands\":[{\"identifier\":\"tag\",\"operands\":[[\"user1\"],\"Dipg\"]},[\"signature\"]]}]}}},\"name\":\"only-dipg\"}],\"triggers\":[],\"violated\":false,\"violations\":[]}]}"}
[policy-reasoner v0.1.0][2023-12-19 23:13:21] {"kind":"REASONER-VERDICT","reference":"a01d4c3e-574f-4087-ac50-eaa81eab58df","verdict":{"verdict":"allow","verdict_reference":"a01d4c3e-574f-4087-ac50-eaa81eab58df","signature":"signature"}}
[policy-reasoner v0.1.0][2023-12-19 23:16:36] {"kind":"WORKFLOW-VALIDATE","reference":"c798a04b-fbf7-4e77-9cd3-9eec53aa2049","auth":{"initiator":"mock initiator","system":"mock system"},"policy":4,"state":{"users":[],"locations":[],"datasets":[],"functions":[]},"workflow":{"id":"workflow-PyhZUu9d","start":{"Parallel":{"branches":[{"Task":{"id":"workflow-PyhZUu9d-<main>:3-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"st_antonius_ect","from":null}],"output":{"name":"result_local_compute_8aaae7","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_8aaae7","from":null}]}}},{"Task":{"id":"workflow-PyhZUu9d-<main>:7-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"umc_utrecht_ect","from":null}],"output":{"name":"result_local_compute_ce3ff3","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_ce3ff3","from":null}]}}}],"merge":"All","next":{"Task":{"id":"workflow-PyhZUu9d-<main>:11-task","name":"aggregate","package":"epi","version":"1.0.0","input":[{"name":"result_local_compute_ce3ff3","from":null},{"name":"result_local_compute_8aaae7","from":null}],"output":{"name":"result_aggregate_35188e","from":null},"location":"Dan","metadata":[],"next":{"Stop":[{"name":"result_aggregate_35188e","from":null}]}}}}},"user":{"name":"Danny Data Scientist"},"metadata":[],"signature":"its_signed_i_swear_mom"}}
[policy-reasoner v0.1.0][2023-12-19 23:16:36] {"kind":"REASONER-RESPONSE","reference":"c798a04b-fbf7-4e77-9cd3-9eec53aa2049","response":"{\"success\":true,\"results\":[{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"user\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"domain\",\"identified-by\":[\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"asset\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-access\",\"identified-by\":[\"asset\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"code\",\"identified-by\":[\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"workflow\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result\",\"identified-by\":[\"workflow\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result-recipient\",\"identified-by\":[\"workflow-result\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node\",\"identified-by\":[\"workflow\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input-from\",\"identified-by\":[\"node-input\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-output\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-at\",\"identified-by\":[\"node\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"task\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"function\",\"identified-by\":[\"node-input\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"commit\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop-body\",\"identified-by\":[\"loop\",\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature-valid\",\"identified-by\":[\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"tag\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"metadata\",\"identified-by\":[\"tag\",\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-metadata\",\"identified-by\":[\"workflow\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-metadata\",\"identified-by\":[\"node\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-metadata\",\"identified-by\":[\"asset\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"user-metadata\",\"identified-by\":[\"user\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:3-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:3-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"st_antonius_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_8aaae7\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_8aaae7\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:7-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:7-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"umc_utrecht_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_ce3ff3\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_ce3ff3\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:11-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:11-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"aggregate\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_ce3ff3\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input-from\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_ce3ff3\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_8aaae7\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input-from\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_8aaae7\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_35188e\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-at\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-PyhZUu9d-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-PyhZUu9d\"]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_35188e\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"predicate\",\"expression\":{\"iterator\":\"FORALL\",\"binds\":[\"node\"],\"expression\":{\"iterator\":\"EXISTS\",\"binds\":[\"user\",\"signature\"],\"expression\":{\"identifier\":\"node-metadata\",\"operands\":[[\"node\"],{\"identifier\":\"metadata\",\"operands\":[{\"identifier\":\"tag\",\"operands\":[[\"user1\"],\"Dipg\"]},[\"signature\"]]}]}}},\"name\":\"only-dipg\",\"is-invariant\":true}],\"triggers\":[],\"violated\":true,\"violations\":[{\"kind\":\"invariant\",\"identifier\":\"only-dipg\",\"operands\":[]}]}]}"}
[policy-reasoner v0.1.0][2023-12-19 23:17:13] {"kind":"POLICY-ADD","auth":{"initiator":"John Doe","system":"TODO implement!"},"connector_context":"bfb431c999971876cafa931ff04e38924ddaa108d0ce4cb5473c0d471e3801d5","policy":{"description":"","creator":null,"created_at":"2023-12-19T23:17:13.777261115+01:00","version":5,"version_description":"A test version of policy uploaded using the checker-client tool","content":[{"reasoner":"eflint","reasoner_version":"0.1.0","content":{
"version": "0.1.0",
"kind": "phrases",
"phrases": [
{
"kind": "predicate",
"is-invariant": true,
"name": "only-dipg",
"expression": {
"iterator": "FORALL",
"binds": [
"node"
],
"expression": {
"iterator": "EXISTS",
"binds": [
"user",
"signature"
],
"expression": {
"identifier": "node-metadata",
"operands": [
[
"node"
],
{
"identifier": "metadata",
"operands": [
{
"identifier": "tag",
"operands": [
[
"user1"
],
"Dipg"
]
},
[
"signature"
]
]
}
]
}
}
}
}
],
"updates": true
}}]}}
[policy-reasoner v0.1.0][2023-12-19 23:17:23] {"kind":"POLICY-ACTIVATE","auth":{"initiator":"John Doe","system":"TODO implement!"},"policy":{"description":"","creator":"John Doe","created_at":"2023-12-19T23:17:13.777261+01:00","version":5,"version_description":"A test version of policy uploaded using the checker-client tool","content":[{"reasoner":"eflint","reasoner_version":"0.1.0","content":{
"version": "0.1.0",
"kind": "phrases",
"phrases": [
{
"kind": "predicate",
"is-invariant": true,
"name": "only-dipg",
"expression": {
"iterator": "FORALL",
"binds": [
"node"
],
"expression": {
"iterator": "EXISTS",
"binds": [
"user",
"signature"
],
"expression": {
"identifier": "node-metadata",
"operands": [
[
"node"
],
{
"identifier": "metadata",
"operands": [
{
"identifier": "tag",
"operands": [
[
"user1"
],
"Dipg"
]
},
[
"signature"
]
]
}
]
}
}
}
}
],
"updates": true
}}]}}
[policy-reasoner v0.1.0][2023-12-19 23:17:25] {"kind":"WORKFLOW-VALIDATE","reference":"ad73e471-aa57-46a6-963c-7998b1f92237","auth":{"initiator":"mock initiator","system":"mock system"},"policy":5,"state":{"users":[],"locations":[],"datasets":[],"functions":[]},"workflow":{"id":"workflow-TaPOREUD","start":{"Parallel":{"branches":[{"Task":{"id":"workflow-TaPOREUD-<main>:3-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"st_antonius_ect","from":null}],"output":{"name":"result_local_compute_263c05","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_263c05","from":null}]}}},{"Task":{"id":"workflow-TaPOREUD-<main>:7-task","name":"local_compute","package":"epi","version":"1.0.0","input":[{"name":"umc_utrecht_ect","from":null}],"output":{"name":"result_local_compute_65ea1d","from":null},"location":null,"metadata":[],"next":{"Stop":[{"name":"result_local_compute_65ea1d","from":null}]}}}],"merge":"All","next":{"Task":{"id":"workflow-TaPOREUD-<main>:11-task","name":"aggregate","package":"epi","version":"1.0.0","input":[{"name":"result_local_compute_65ea1d","from":null},{"name":"result_local_compute_263c05","from":null}],"output":{"name":"result_aggregate_2a41c2","from":null},"location":"Dan","metadata":[],"next":{"Stop":[{"name":"result_aggregate_2a41c2","from":null}]}}}}},"user":{"name":"Danny Data Scientist"},"metadata":[],"signature":"its_signed_i_swear_mom"}}
[policy-reasoner v0.1.0][2023-12-19 23:17:25] {"kind":"REASONER-RESPONSE","reference":"ad73e471-aa57-46a6-963c-7998b1f92237","response":"{\"success\":true,\"results\":[{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"user\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"domain\",\"identified-by\":[\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"asset\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-access\",\"identified-by\":[\"asset\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"code\",\"identified-by\":[\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"afact\",\"name\":\"workflow\",\"type\":\"String\"}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result\",\"identified-by\":[\"workflow\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-result-recipient\",\"identified-by\":[\"workflow-result\",\"user\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node\",\"identified-by\":[\"workflow\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-input-from\",\"identified-by\":[\"node-input\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-output\",\"identified-by\":[\"node\",\"asset\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-at\",\"identified-by\":[\"node\",\"domain\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"task\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"function\",\"identified-by\":[\"node-input\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"commit\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop\",\"identified-by\":[\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"loop-body\",\"identified-by\":[\"loop\",\"node\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"signature-valid\",\"identified-by\":[\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"tag\",\"identified-by\":[\"user\",\"string\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"metadata\",\"identified-by\":[\"tag\",\"signature\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"workflow-metadata\",\"identified-by\":[\"workflow\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"node-metadata\",\"identified-by\":[\"node\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"asset-metadata\",\"identified-by\":[\"asset\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"cfact\",\"name\":\"user-metadata\",\"identified-by\":[\"user\",\"metadata\"]}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:3-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:3-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"st_antonius_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:3-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_263c05\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_263c05\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:7-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:7-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"local_compute\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"umc_utrecht_ect\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:7-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_65ea1d\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_65ea1d\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:11-task\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"task\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:11-task\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"function\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"epi-1.0.0\"]}]},{\"identifier\":\"string\",\"operands\":[\"aggregate\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_65ea1d\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input-from\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_65ea1d\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_263c05\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-input-from\",\"operands\":[{\"identifier\":\"node-input\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_local_compute_263c05\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-output\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_2a41c2\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"node-at\",\"operands\":[{\"identifier\":\"node\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"string\",\"operands\":[\"workflow-TaPOREUD-\\u003cmain\\u003e:11-task\"]}]},{\"identifier\":\"domain\",\"operands\":[{\"identifier\":\"user\",\"operands\":[\"Dan\"]}]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"create\",\"operand\":{\"identifier\":\"workflow-result-recipient\",\"operands\":[{\"identifier\":\"workflow-result\",\"operands\":[{\"identifier\":\"workflow\",\"operands\":[\"workflow-TaPOREUD\"]},{\"identifier\":\"asset\",\"operands\":[\"result_aggregate_2a41c2\"]}]},{\"identifier\":\"user\",\"operands\":[\"Danny Data Scientist\"]}]}}],\"triggers\":[],\"violated\":false,\"violations\":[]},{\"success\":true,\"changes\":[{\"kind\":\"predicate\",\"expression\":{\"iterator\":\"FORALL\",\"binds\":[\"node\"],\"expression\":{\"iterator\":\"EXISTS\",\"binds\":[\"user\",\"signature\"],\"expression\":{\"identifier\":\"node-metadata\",\"operands\":[[\"node\"],{\"identifier\":\"metadata\",\"operands\":[{\"identifier\":\"tag\",\"operands\":[[\"user1\"],\"Dipg\"]},[\"signature\"]]}]}}},\"name\":\"only-dipg\",\"is-invariant\":true}],\"triggers\":[],\"violated\":true,\"violations\":[{\"kind\":\"invariant\",\"identifier\":\"only-dipg\",\"operands\":[]}]}]}"}