@sourcey/catalog-verifier 1.1.12 → 1.1.14
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SOURCEY-CLOSURE.json +53 -53
- package/dist/contracts/agent-readiness/src/binding.d.ts +22 -0
- package/dist/contracts/agent-readiness/src/binding.d.ts.map +1 -1
- package/dist/contracts/agent-readiness/src/binding.js +52 -4
- package/dist/contracts/agent-readiness/src/binding.js.map +1 -1
- package/dist/contracts/agent-readiness/src/declaration-acquisition.d.ts +1 -0
- package/dist/contracts/agent-readiness/src/declaration-acquisition.d.ts.map +1 -1
- package/dist/contracts/agent-readiness/src/declaration.d.ts +4 -0
- package/dist/contracts/agent-readiness/src/declaration.d.ts.map +1 -1
- package/dist/contracts/agent-readiness/src/jobs.d.ts +3 -0
- package/dist/contracts/agent-readiness/src/jobs.d.ts.map +1 -1
- package/dist/contracts/agent-readiness/src/jobs.js +1 -0
- package/dist/contracts/agent-readiness/src/jobs.js.map +1 -1
- package/dist/contracts/agent-readiness/src/offer-relations.d.ts +1 -0
- package/dist/contracts/agent-readiness/src/offer-relations.d.ts.map +1 -1
- package/dist/contracts/agent-readiness/src/operate-policy.d.ts +2 -0
- package/dist/contracts/agent-readiness/src/operate-policy.d.ts.map +1 -1
- package/dist/contracts/agent-readiness/src/release-index.d.ts +9 -0
- package/dist/contracts/agent-readiness/src/release-index.d.ts.map +1 -1
- package/dist/contracts/agent-readiness/src/revision.d.ts +17 -0
- package/dist/contracts/agent-readiness/src/revision.d.ts.map +1 -1
- package/dist/contracts/agent-readiness/src/run.d.ts +8 -0
- package/dist/contracts/agent-readiness/src/run.d.ts.map +1 -1
- package/dist/contracts/agent-readiness/src/run.js +8 -2
- package/dist/contracts/agent-readiness/src/run.js.map +1 -1
- package/dist/contracts/api/src/endpoints.d.ts +26 -0
- package/dist/contracts/api/src/endpoints.d.ts.map +1 -1
- package/dist/contracts/api/src/read.d.ts +13 -1
- package/dist/contracts/api/src/read.d.ts.map +1 -1
- package/dist/contracts/api/src/read.js +1 -1
- package/dist/contracts/api/src/submissions.d.ts +1 -0
- package/dist/contracts/api/src/submissions.d.ts.map +1 -1
- package/dist/modules/agent-readiness-engine/src/assertions.d.ts +23 -2
- package/dist/modules/agent-readiness-engine/src/assertions.d.ts.map +1 -1
- package/dist/modules/agent-readiness-engine/src/assertions.js +90 -8
- package/dist/modules/agent-readiness-engine/src/assertions.js.map +1 -1
- package/dist/modules/agent-readiness-engine/src/binding.d.ts +3 -2
- package/dist/modules/agent-readiness-engine/src/binding.d.ts.map +1 -1
- package/dist/modules/agent-readiness-engine/src/binding.js +34 -22
- package/dist/modules/agent-readiness-engine/src/binding.js.map +1 -1
- package/dist/modules/agent-readiness-engine/src/checks.d.ts +46 -7
- package/dist/modules/agent-readiness-engine/src/checks.d.ts.map +1 -1
- package/dist/modules/agent-readiness-engine/src/checks.js +146 -11
- package/dist/modules/agent-readiness-engine/src/checks.js.map +1 -1
- package/dist/modules/agent-readiness-jobs/src/index.d.ts +464 -7
- package/dist/modules/agent-readiness-jobs/src/index.d.ts.map +1 -1
- package/dist/modules/agent-readiness-jobs/src/index.js +397 -7
- package/dist/modules/agent-readiness-jobs/src/index.js.map +1 -1
- package/dist/modules/agent-readiness-policy/src/current-policy.d.ts +1 -1
- package/dist/modules/agent-readiness-repository/src/change.d.ts.map +1 -1
- package/dist/modules/agent-readiness-repository/src/change.js +19 -3
- package/dist/modules/agent-readiness-repository/src/change.js.map +1 -1
- package/dist/modules/release/src/verification-policies.d.ts +1 -1
- package/package.json +1 -1
|
@@ -7,8 +7,176 @@ import { AGENT_READINESS_JOB_LIBRARY_CONTRACT, agentReadinessJobLibraryCoreSchem
|
|
|
7
7
|
*/
|
|
8
8
|
export const AGENT_READINESS_JOB_LIBRARY_SOURCE = {
|
|
9
9
|
library_contract: AGENT_READINESS_JOB_LIBRARY_CONTRACT,
|
|
10
|
-
library_version: "2026-10-
|
|
10
|
+
library_version: "2026-10-10",
|
|
11
11
|
jobs: [
|
|
12
|
+
{
|
|
13
|
+
job_id: "bounty-claim",
|
|
14
|
+
category: "bounty-board",
|
|
15
|
+
name: "Claim a bounty",
|
|
16
|
+
statement: "Claim an open bounty with a note that is the run's nonce, then read the claim back.",
|
|
17
|
+
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
18
|
+
assertions: [
|
|
19
|
+
{
|
|
20
|
+
name: "bounty_claimed",
|
|
21
|
+
statement: "The board accepts the claim under an identifier it returns or was given.",
|
|
22
|
+
proof: "resource_created",
|
|
23
|
+
},
|
|
24
|
+
{
|
|
25
|
+
name: "read_back",
|
|
26
|
+
statement: "The claim reads back under that identifier with the nonce as its note.",
|
|
27
|
+
proof: "resource_read_back",
|
|
28
|
+
},
|
|
29
|
+
],
|
|
30
|
+
observation_links: [
|
|
31
|
+
{
|
|
32
|
+
from: { assertion: "bounty_claimed", observation: "id" },
|
|
33
|
+
to: { assertion: "read_back", observation: "created_id" },
|
|
34
|
+
},
|
|
35
|
+
],
|
|
36
|
+
error_probe: { statement: "A claim on a bounty that does not exist." },
|
|
37
|
+
effect: "consequential",
|
|
38
|
+
cleanup: "required",
|
|
39
|
+
},
|
|
40
|
+
{
|
|
41
|
+
job_id: "bucket-create",
|
|
42
|
+
category: "cloud-platform",
|
|
43
|
+
name: "Create a storage bucket",
|
|
44
|
+
statement: "Create a storage bucket named with the run's nonce, then read it back.",
|
|
45
|
+
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
46
|
+
assertions: [
|
|
47
|
+
{
|
|
48
|
+
name: "bucket_created",
|
|
49
|
+
statement: "The platform creates the bucket under an identifier it returns or was given.",
|
|
50
|
+
proof: "resource_created",
|
|
51
|
+
},
|
|
52
|
+
{
|
|
53
|
+
name: "read_back",
|
|
54
|
+
statement: "The bucket reads back under that identifier with the nonce as its name.",
|
|
55
|
+
proof: "resource_read_back",
|
|
56
|
+
},
|
|
57
|
+
],
|
|
58
|
+
observation_links: [
|
|
59
|
+
{
|
|
60
|
+
from: { assertion: "bucket_created", observation: "id" },
|
|
61
|
+
to: { assertion: "read_back", observation: "created_id" },
|
|
62
|
+
},
|
|
63
|
+
],
|
|
64
|
+
error_probe: { statement: "A bucket request with a name the platform does not allow." },
|
|
65
|
+
effect: "consequential",
|
|
66
|
+
cleanup: "required",
|
|
67
|
+
},
|
|
68
|
+
{
|
|
69
|
+
job_id: "chat-message-post",
|
|
70
|
+
category: "team-chat",
|
|
71
|
+
name: "Post a message",
|
|
72
|
+
statement: "Post a message whose text is the run's nonce to a channel, then read it back.",
|
|
73
|
+
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
74
|
+
assertions: [
|
|
75
|
+
{
|
|
76
|
+
name: "message_posted",
|
|
77
|
+
statement: "The service posts the message under an identifier it returns or was given.",
|
|
78
|
+
proof: "resource_created",
|
|
79
|
+
},
|
|
80
|
+
{
|
|
81
|
+
name: "read_back",
|
|
82
|
+
statement: "The message reads back under that identifier with the nonce as its text.",
|
|
83
|
+
proof: "resource_read_back",
|
|
84
|
+
},
|
|
85
|
+
],
|
|
86
|
+
observation_links: [
|
|
87
|
+
{
|
|
88
|
+
from: { assertion: "message_posted", observation: "id" },
|
|
89
|
+
to: { assertion: "read_back", observation: "created_id" },
|
|
90
|
+
},
|
|
91
|
+
],
|
|
92
|
+
error_probe: { statement: "A message to a channel that does not exist." },
|
|
93
|
+
effect: "consequential",
|
|
94
|
+
cleanup: "required",
|
|
95
|
+
},
|
|
96
|
+
{
|
|
97
|
+
job_id: "crm-contact-create",
|
|
98
|
+
category: "crm",
|
|
99
|
+
name: "Create a contact",
|
|
100
|
+
statement: "Create a contact with a field set to the run's nonce, then read it back.",
|
|
101
|
+
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
102
|
+
assertions: [
|
|
103
|
+
{
|
|
104
|
+
name: "contact_created",
|
|
105
|
+
statement: "The service creates the contact under an identifier it returns or was given.",
|
|
106
|
+
proof: "resource_created",
|
|
107
|
+
},
|
|
108
|
+
{
|
|
109
|
+
name: "read_back",
|
|
110
|
+
statement: "The contact reads back under that identifier with the nonce in that field.",
|
|
111
|
+
proof: "resource_read_back",
|
|
112
|
+
},
|
|
113
|
+
],
|
|
114
|
+
observation_links: [
|
|
115
|
+
{
|
|
116
|
+
from: { assertion: "contact_created", observation: "id" },
|
|
117
|
+
to: { assertion: "read_back", observation: "created_id" },
|
|
118
|
+
},
|
|
119
|
+
],
|
|
120
|
+
error_probe: { statement: "A contact request with an email address that is not valid." },
|
|
121
|
+
effect: "consequential",
|
|
122
|
+
cleanup: "required",
|
|
123
|
+
},
|
|
124
|
+
{
|
|
125
|
+
job_id: "database-create",
|
|
126
|
+
category: "database",
|
|
127
|
+
name: "Create a database deployment",
|
|
128
|
+
statement: "Create a database deployment named with the run's nonce, then read it back.",
|
|
129
|
+
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
130
|
+
assertions: [
|
|
131
|
+
{
|
|
132
|
+
name: "deployment_created",
|
|
133
|
+
statement: "The service creates the deployment under an identifier it returns or was given.",
|
|
134
|
+
proof: "resource_created",
|
|
135
|
+
},
|
|
136
|
+
{
|
|
137
|
+
name: "read_back",
|
|
138
|
+
statement: "The deployment reads back under that identifier with the nonce as its name.",
|
|
139
|
+
proof: "resource_read_back",
|
|
140
|
+
},
|
|
141
|
+
],
|
|
142
|
+
observation_links: [
|
|
143
|
+
{
|
|
144
|
+
from: { assertion: "deployment_created", observation: "id" },
|
|
145
|
+
to: { assertion: "read_back", observation: "created_id" },
|
|
146
|
+
},
|
|
147
|
+
],
|
|
148
|
+
error_probe: { statement: "A database request with a name the service does not allow." },
|
|
149
|
+
effect: "consequential",
|
|
150
|
+
cleanup: "required",
|
|
151
|
+
},
|
|
152
|
+
{
|
|
153
|
+
job_id: "deployment-create",
|
|
154
|
+
category: "frontend-hosting",
|
|
155
|
+
name: "Create a deployment",
|
|
156
|
+
statement: "Create a deployment named with the run's nonce, then read it back.",
|
|
157
|
+
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
158
|
+
assertions: [
|
|
159
|
+
{
|
|
160
|
+
name: "deployment_created",
|
|
161
|
+
statement: "The service creates the deployment under an identifier it returns or was given.",
|
|
162
|
+
proof: "resource_created",
|
|
163
|
+
},
|
|
164
|
+
{
|
|
165
|
+
name: "read_back",
|
|
166
|
+
statement: "The deployment reads back under that identifier with the nonce as its name.",
|
|
167
|
+
proof: "resource_read_back",
|
|
168
|
+
},
|
|
169
|
+
],
|
|
170
|
+
observation_links: [
|
|
171
|
+
{
|
|
172
|
+
from: { assertion: "deployment_created", observation: "id" },
|
|
173
|
+
to: { assertion: "read_back", observation: "created_id" },
|
|
174
|
+
},
|
|
175
|
+
],
|
|
176
|
+
error_probe: { statement: "A deployment request for a project that does not exist." },
|
|
177
|
+
effect: "consequential",
|
|
178
|
+
cleanup: "required",
|
|
179
|
+
},
|
|
12
180
|
{
|
|
13
181
|
job_id: "dns-resolve",
|
|
14
182
|
category: "dns-resolver",
|
|
@@ -37,6 +205,88 @@ export const AGENT_READINESS_JOB_LIBRARY_SOURCE = {
|
|
|
37
205
|
effect: "read",
|
|
38
206
|
cleanup: "none",
|
|
39
207
|
},
|
|
208
|
+
{
|
|
209
|
+
job_id: "email-send",
|
|
210
|
+
category: "email",
|
|
211
|
+
name: "Send an email",
|
|
212
|
+
statement: "Send an email whose body carries the run's nonce to a Sourcey-controlled mailbox.",
|
|
213
|
+
inputs: [
|
|
214
|
+
{ kind: "nonce", name: "nonce" },
|
|
215
|
+
{ kind: "sink", name: "recipient", sink: "email" },
|
|
216
|
+
],
|
|
217
|
+
assertions: [
|
|
218
|
+
{
|
|
219
|
+
name: "message_accepted",
|
|
220
|
+
statement: "The service accepts the email and returns its identifier.",
|
|
221
|
+
proof: "message_accepted",
|
|
222
|
+
},
|
|
223
|
+
{
|
|
224
|
+
name: "delivered_to_sink",
|
|
225
|
+
statement: "The email reaches the Sourcey-controlled mailbox, carrying the nonce.",
|
|
226
|
+
proof: "sink_received",
|
|
227
|
+
},
|
|
228
|
+
],
|
|
229
|
+
observation_links: [],
|
|
230
|
+
error_probe: { statement: "An email to a recipient address that is not valid." },
|
|
231
|
+
effect: "billable",
|
|
232
|
+
cleanup: "none",
|
|
233
|
+
},
|
|
234
|
+
{
|
|
235
|
+
job_id: "error-event-report",
|
|
236
|
+
category: "error-tracking",
|
|
237
|
+
name: "Report an error",
|
|
238
|
+
statement: "Report an error event whose message is the run's nonce, then read it back.",
|
|
239
|
+
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
240
|
+
assertions: [
|
|
241
|
+
{
|
|
242
|
+
name: "event_reported",
|
|
243
|
+
statement: "The service accepts the event under an identifier it returns or was given.",
|
|
244
|
+
proof: "resource_created",
|
|
245
|
+
},
|
|
246
|
+
{
|
|
247
|
+
name: "read_back",
|
|
248
|
+
statement: "The event reads back under that identifier with the nonce as its message.",
|
|
249
|
+
proof: "resource_read_back",
|
|
250
|
+
},
|
|
251
|
+
],
|
|
252
|
+
observation_links: [
|
|
253
|
+
{
|
|
254
|
+
from: { assertion: "event_reported", observation: "id" },
|
|
255
|
+
to: { assertion: "read_back", observation: "created_id" },
|
|
256
|
+
},
|
|
257
|
+
],
|
|
258
|
+
error_probe: { statement: "An event sent to a project that does not exist." },
|
|
259
|
+
effect: "consequential",
|
|
260
|
+
cleanup: "required",
|
|
261
|
+
},
|
|
262
|
+
{
|
|
263
|
+
job_id: "feature-flag-create",
|
|
264
|
+
category: "feature-flags",
|
|
265
|
+
name: "Create a feature flag",
|
|
266
|
+
statement: "Create a feature flag keyed by the run's nonce, then read it back.",
|
|
267
|
+
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
268
|
+
assertions: [
|
|
269
|
+
{
|
|
270
|
+
name: "flag_created",
|
|
271
|
+
statement: "The service creates the flag under an identifier it returns or was given.",
|
|
272
|
+
proof: "resource_created",
|
|
273
|
+
},
|
|
274
|
+
{
|
|
275
|
+
name: "read_back",
|
|
276
|
+
statement: "The flag reads back under that identifier with the nonce as its key.",
|
|
277
|
+
proof: "resource_read_back",
|
|
278
|
+
},
|
|
279
|
+
],
|
|
280
|
+
observation_links: [
|
|
281
|
+
{
|
|
282
|
+
from: { assertion: "flag_created", observation: "id" },
|
|
283
|
+
to: { assertion: "read_back", observation: "created_id" },
|
|
284
|
+
},
|
|
285
|
+
],
|
|
286
|
+
error_probe: { statement: "A flag request with a key the service does not allow." },
|
|
287
|
+
effect: "consequential",
|
|
288
|
+
cleanup: "required",
|
|
289
|
+
},
|
|
40
290
|
{
|
|
41
291
|
job_id: "model-chat-stream-tool",
|
|
42
292
|
category: "model-api",
|
|
@@ -74,21 +324,77 @@ export const AGENT_READINESS_JOB_LIBRARY_SOURCE = {
|
|
|
74
324
|
effect: "billable",
|
|
75
325
|
cleanup: "none",
|
|
76
326
|
},
|
|
327
|
+
{
|
|
328
|
+
job_id: "monitor-create",
|
|
329
|
+
category: "monitoring",
|
|
330
|
+
name: "Create a monitor",
|
|
331
|
+
statement: "Create a monitor named with the run's nonce, then read it back.",
|
|
332
|
+
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
333
|
+
assertions: [
|
|
334
|
+
{
|
|
335
|
+
name: "monitor_created",
|
|
336
|
+
statement: "The service creates the monitor under an identifier it returns or was given.",
|
|
337
|
+
proof: "resource_created",
|
|
338
|
+
},
|
|
339
|
+
{
|
|
340
|
+
name: "read_back",
|
|
341
|
+
statement: "The monitor reads back under that identifier with the nonce as its name.",
|
|
342
|
+
proof: "resource_read_back",
|
|
343
|
+
},
|
|
344
|
+
],
|
|
345
|
+
observation_links: [
|
|
346
|
+
{
|
|
347
|
+
from: { assertion: "monitor_created", observation: "id" },
|
|
348
|
+
to: { assertion: "read_back", observation: "created_id" },
|
|
349
|
+
},
|
|
350
|
+
],
|
|
351
|
+
error_probe: { statement: "A monitor request with a query the service cannot parse." },
|
|
352
|
+
effect: "consequential",
|
|
353
|
+
cleanup: "required",
|
|
354
|
+
},
|
|
355
|
+
{
|
|
356
|
+
job_id: "payment-create",
|
|
357
|
+
category: "payments",
|
|
358
|
+
name: "Create a payment link",
|
|
359
|
+
statement: "Create a payment link with a field set to the run's nonce, then read it back.",
|
|
360
|
+
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
361
|
+
assertions: [
|
|
362
|
+
{
|
|
363
|
+
name: "link_created",
|
|
364
|
+
statement: "The service creates the payment link under an identifier it returns or was given.",
|
|
365
|
+
proof: "resource_created",
|
|
366
|
+
},
|
|
367
|
+
{
|
|
368
|
+
name: "read_back",
|
|
369
|
+
statement: "The payment link reads back under that identifier with the nonce in that field.",
|
|
370
|
+
proof: "resource_read_back",
|
|
371
|
+
},
|
|
372
|
+
],
|
|
373
|
+
observation_links: [
|
|
374
|
+
{
|
|
375
|
+
from: { assertion: "link_created", observation: "id" },
|
|
376
|
+
to: { assertion: "read_back", observation: "created_id" },
|
|
377
|
+
},
|
|
378
|
+
],
|
|
379
|
+
error_probe: { statement: "A payment link with an amount the service does not accept." },
|
|
380
|
+
effect: "consequential",
|
|
381
|
+
cleanup: "required",
|
|
382
|
+
},
|
|
77
383
|
{
|
|
78
384
|
job_id: "repository-create",
|
|
79
385
|
category: "repository-hosting",
|
|
80
386
|
name: "Create a repository",
|
|
81
|
-
statement: "Create a repository named
|
|
387
|
+
statement: "Create a repository named with the run's nonce, then read it back.",
|
|
82
388
|
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
83
389
|
assertions: [
|
|
84
390
|
{
|
|
85
391
|
name: "repository_created",
|
|
86
|
-
statement: "The service creates the repository.",
|
|
392
|
+
statement: "The service creates the repository under an identifier it returns or was given.",
|
|
87
393
|
proof: "resource_created",
|
|
88
394
|
},
|
|
89
395
|
{
|
|
90
396
|
name: "read_back",
|
|
91
|
-
statement: "The repository reads back under
|
|
397
|
+
statement: "The repository reads back under that identifier with the nonce as its name.",
|
|
92
398
|
proof: "resource_read_back",
|
|
93
399
|
},
|
|
94
400
|
],
|
|
@@ -102,6 +408,34 @@ export const AGENT_READINESS_JOB_LIBRARY_SOURCE = {
|
|
|
102
408
|
effect: "consequential",
|
|
103
409
|
cleanup: "required",
|
|
104
410
|
},
|
|
411
|
+
{
|
|
412
|
+
job_id: "search-record-find",
|
|
413
|
+
category: "search",
|
|
414
|
+
name: "Find a record by search",
|
|
415
|
+
statement: "Index a record whose content is the run's nonce, then search for the nonce.",
|
|
416
|
+
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
417
|
+
assertions: [
|
|
418
|
+
{
|
|
419
|
+
name: "record_indexed",
|
|
420
|
+
statement: "The service indexes the record under an identifier it returns or was given.",
|
|
421
|
+
proof: "resource_created",
|
|
422
|
+
},
|
|
423
|
+
{
|
|
424
|
+
name: "record_found",
|
|
425
|
+
statement: "A search whose query is the nonce, sent without the created identifier, returns the record under that identifier with the nonce as its content.",
|
|
426
|
+
proof: "resource_found_by_query",
|
|
427
|
+
},
|
|
428
|
+
],
|
|
429
|
+
observation_links: [
|
|
430
|
+
{
|
|
431
|
+
from: { assertion: "record_indexed", observation: "id" },
|
|
432
|
+
to: { assertion: "record_found", observation: "created_id" },
|
|
433
|
+
},
|
|
434
|
+
],
|
|
435
|
+
error_probe: { statement: "A search against an index that does not exist." },
|
|
436
|
+
effect: "consequential",
|
|
437
|
+
cleanup: "required",
|
|
438
|
+
},
|
|
105
439
|
{
|
|
106
440
|
job_id: "sms-send",
|
|
107
441
|
category: "sms-messaging",
|
|
@@ -128,21 +462,77 @@ export const AGENT_READINESS_JOB_LIBRARY_SOURCE = {
|
|
|
128
462
|
effect: "billable",
|
|
129
463
|
cleanup: "none",
|
|
130
464
|
},
|
|
465
|
+
{
|
|
466
|
+
job_id: "user-create",
|
|
467
|
+
category: "auth",
|
|
468
|
+
name: "Create a user",
|
|
469
|
+
statement: "Create a user with a field set to the run's nonce, then read it back.",
|
|
470
|
+
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
471
|
+
assertions: [
|
|
472
|
+
{
|
|
473
|
+
name: "user_created",
|
|
474
|
+
statement: "The service creates the user under an identifier it returns or was given.",
|
|
475
|
+
proof: "resource_created",
|
|
476
|
+
},
|
|
477
|
+
{
|
|
478
|
+
name: "read_back",
|
|
479
|
+
statement: "The user reads back under that identifier with the nonce in that field.",
|
|
480
|
+
proof: "resource_read_back",
|
|
481
|
+
},
|
|
482
|
+
],
|
|
483
|
+
observation_links: [
|
|
484
|
+
{
|
|
485
|
+
from: { assertion: "user_created", observation: "id" },
|
|
486
|
+
to: { assertion: "read_back", observation: "created_id" },
|
|
487
|
+
},
|
|
488
|
+
],
|
|
489
|
+
error_probe: { statement: "A user request with an email address that is not valid." },
|
|
490
|
+
effect: "consequential",
|
|
491
|
+
cleanup: "required",
|
|
492
|
+
},
|
|
493
|
+
{
|
|
494
|
+
job_id: "vector-upsert-query",
|
|
495
|
+
category: "vector-database",
|
|
496
|
+
name: "Find a vector by query",
|
|
497
|
+
statement: "Write a vector whose metadata value is the run's nonce, then query for the nonce.",
|
|
498
|
+
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
499
|
+
assertions: [
|
|
500
|
+
{
|
|
501
|
+
name: "vector_written",
|
|
502
|
+
statement: "The service writes the vector under an identifier it returns or was given.",
|
|
503
|
+
proof: "resource_created",
|
|
504
|
+
},
|
|
505
|
+
{
|
|
506
|
+
name: "vector_found",
|
|
507
|
+
statement: "A query for the nonce, sent without the created identifier, returns the vector under that identifier with the nonce as its metadata value.",
|
|
508
|
+
proof: "resource_found_by_query",
|
|
509
|
+
},
|
|
510
|
+
],
|
|
511
|
+
observation_links: [
|
|
512
|
+
{
|
|
513
|
+
from: { assertion: "vector_written", observation: "id" },
|
|
514
|
+
to: { assertion: "vector_found", observation: "created_id" },
|
|
515
|
+
},
|
|
516
|
+
],
|
|
517
|
+
error_probe: { statement: "A query against an index that does not exist." },
|
|
518
|
+
effect: "consequential",
|
|
519
|
+
cleanup: "required",
|
|
520
|
+
},
|
|
131
521
|
{
|
|
132
522
|
job_id: "workspace-page-create",
|
|
133
523
|
category: "workspace",
|
|
134
524
|
name: "Create a page",
|
|
135
|
-
statement: "Create a page
|
|
525
|
+
statement: "Create a page whose title is the run's nonce in a shared container, then read it back.",
|
|
136
526
|
inputs: [{ kind: "nonce", name: "nonce" }],
|
|
137
527
|
assertions: [
|
|
138
528
|
{
|
|
139
529
|
name: "page_created",
|
|
140
|
-
statement: "The service creates the page in the container.",
|
|
530
|
+
statement: "The service creates the page in the container under an identifier it returns or was given.",
|
|
141
531
|
proof: "resource_created",
|
|
142
532
|
},
|
|
143
533
|
{
|
|
144
534
|
name: "read_back",
|
|
145
|
-
statement: "The page reads back with the
|
|
535
|
+
statement: "The page reads back under that identifier with the nonce as its title.",
|
|
146
536
|
proof: "resource_read_back",
|
|
147
537
|
},
|
|
148
538
|
],
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../modules/agent-readiness-jobs/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAE1D,OAAO,EACL,oCAAoC,EAGpC,kCAAkC,EAClC,8BAA8B,GAC/B,MAAM,iDAAiD,CAAC;AAEzD;;;;GAIG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG;IAChD,gBAAgB,EAAE,oCAAoC;IACtD,eAAe,EAAE,YAAY;IAC7B,IAAI,EAAE;QACJ;YACE,MAAM,EAAE,aAAa;YACrB,QAAQ,EAAE,cAAc;YACxB,IAAI,EAAE,gBAAgB;YACtB,SAAS,EAAE,2DAA2D;YACtE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;YAC/D,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,kBAAkB;oBACxB,SAAS,EACP,gFAAgF;oBAClF,KAAK,EAAE,YAAY;iBACpB;gBACD;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,SAAS,EAAE,6CAA6C;oBACxD,KAAK,EAAE,aAAa;iBACrB;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,kBAAkB,EAAE,WAAW,EAAE,YAAY,EAAE;oBAClE,EAAE,EAAE,EAAE,SAAS,EAAE,sBAAsB,EAAE,WAAW,EAAE,QAAQ,EAAE;iBACjE;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,yDAAyD,EAAE;YACrF,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,MAAM;SAChB;QACD;YACE,MAAM,EAAE,wBAAwB;YAChC,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,sCAAsC;YAC5C,SAAS,EACP,4HAA4H;YAC9H,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,cAAc;oBACpB,SAAS,EAAE,0DAA0D;oBACrE,KAAK,EAAE,gBAAgB;iBACxB;gBACD;oBACE,IAAI,EAAE,eAAe;oBACrB,SAAS,EAAE,gDAAgD;oBAC3D,KAAK,EAAE,eAAe;iBACvB;gBACD;oBACE,IAAI,EAAE,mBAAmB;oBACzB,SAAS,EAAE,8CAA8C;oBACzD,KAAK,EAAE,aAAa;iBACrB;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE;oBAC9D,EAAE,EAAE,EAAE,SAAS,EAAE,eAAe,EAAE,WAAW,EAAE,QAAQ,EAAE;iBAC1D;gBACD;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,eAAe,EAAE,WAAW,EAAE,QAAQ,EAAE;oBAC3D,EAAE,EAAE,EAAE,SAAS,EAAE,mBAAmB,EAAE,WAAW,EAAE,WAAW,EAAE;iBACjE;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,0DAA0D,EAAE;YACtF,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,MAAM;SAChB;QACD;YACE,MAAM,EAAE,mBAAmB;YAC3B,QAAQ,EAAE,oBAAoB;YAC9B,IAAI,EAAE,qBAAqB;YAC3B,SAAS,EAAE,yDAAyD;YACpE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,oBAAoB;oBAC1B,SAAS,EAAE,qCAAqC;oBAChD,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,wEAAwE;oBACnF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,oBAAoB,EAAE,WAAW,EAAE,IAAI,EAAE;oBAC5D,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,8DAA8D,EAAE;YAC1F,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,UAAU;YAClB,QAAQ,EAAE,eAAe;YACzB,IAAI,EAAE,qBAAqB;YAC3B,SAAS,EAAE,8EAA8E;YACzF,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE;gBAChC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE;aACnD;YACD,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,kBAAkB;oBACxB,SAAS,EAAE,6DAA6D;oBACxE,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,mBAAmB;oBACzB,SAAS,EAAE,wEAAwE;oBACnF,KAAK,EAAE,eAAe;iBACvB;aACF;YACD,iBAAiB,EAAE,EAAE;YACrB,WAAW,EAAE,EAAE,SAAS,EAAE,oDAAoD,EAAE;YAChF,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,MAAM;SAChB;QACD;YACE,MAAM,EAAE,uBAAuB;YAC/B,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,eAAe;YACrB,SAAS,EAAE,gFAAgF;YAC3F,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,cAAc;oBACpB,SAAS,EAAE,gDAAgD;oBAC3D,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,8DAA8D;oBACzE,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,IAAI,EAAE;oBACtD,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,qDAAqD,EAAE;YACjF,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;KACF;CACoE,CAAC;AAExE,sEAAsE;AACtE,MAAM,UAAU,4BAA4B,CAC1C,MAA0D;IAE1D,MAAM,IAAI,GAAG,kCAAkC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC9D,OAAO,8BAA8B,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACzF,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,8BAA8B,CAAC,KAAc;IAC3D,MAAM,OAAO,GAAG,8BAA8B,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;IAC5C,IAAI,MAAM,CAAC,kCAAkC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,cAAc,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,uBAAuB,CAAC,GAAsB;IAC5D,OAAO,MAAM,CAAC,GAAG,CAAW,CAAC;AAC/B,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,wBAAwB,CACtC,OAAiC,EACjC,KAAa;IAEb,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;IACzE,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,eAAe,OAAO,CAAC,cAAc,eAAe,KAAK,GAAG,CAAC,CAAC;IACxF,OAAO,GAAG,CAAC;AACb,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../modules/agent-readiness-jobs/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAE1D,OAAO,EACL,oCAAoC,EAGpC,kCAAkC,EAClC,8BAA8B,GAC/B,MAAM,iDAAiD,CAAC;AAEzD;;;;GAIG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG;IAChD,gBAAgB,EAAE,oCAAoC;IACtD,eAAe,EAAE,YAAY;IAC7B,IAAI,EAAE;QACJ;YACE,MAAM,EAAE,cAAc;YACtB,QAAQ,EAAE,cAAc;YACxB,IAAI,EAAE,gBAAgB;YACtB,SAAS,EACP,qFAAqF;YACvF,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,gBAAgB;oBACtB,SAAS,EAAE,0EAA0E;oBACrF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,wEAAwE;oBACnF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,IAAI,EAAE;oBACxD,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,0CAA0C,EAAE;YACtE,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,eAAe;YACvB,QAAQ,EAAE,gBAAgB;YAC1B,IAAI,EAAE,yBAAyB;YAC/B,SAAS,EAAE,wEAAwE;YACnF,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,gBAAgB;oBACtB,SAAS,EAAE,8EAA8E;oBACzF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,yEAAyE;oBACpF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,IAAI,EAAE;oBACxD,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,2DAA2D,EAAE;YACvF,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,mBAAmB;YAC3B,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,gBAAgB;YACtB,SAAS,EAAE,+EAA+E;YAC1F,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,gBAAgB;oBACtB,SAAS,EAAE,4EAA4E;oBACvF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,0EAA0E;oBACrF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,IAAI,EAAE;oBACxD,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,6CAA6C,EAAE;YACzE,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,oBAAoB;YAC5B,QAAQ,EAAE,KAAK;YACf,IAAI,EAAE,kBAAkB;YACxB,SAAS,EAAE,0EAA0E;YACrF,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,iBAAiB;oBACvB,SAAS,EAAE,8EAA8E;oBACzF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,4EAA4E;oBACvF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,iBAAiB,EAAE,WAAW,EAAE,IAAI,EAAE;oBACzD,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,4DAA4D,EAAE;YACxF,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,iBAAiB;YACzB,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,8BAA8B;YACpC,SAAS,EAAE,6EAA6E;YACxF,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,oBAAoB;oBAC1B,SAAS,EACP,iFAAiF;oBACnF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,6EAA6E;oBACxF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,oBAAoB,EAAE,WAAW,EAAE,IAAI,EAAE;oBAC5D,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,4DAA4D,EAAE;YACxF,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,mBAAmB;YAC3B,QAAQ,EAAE,kBAAkB;YAC5B,IAAI,EAAE,qBAAqB;YAC3B,SAAS,EAAE,oEAAoE;YAC/E,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,oBAAoB;oBAC1B,SAAS,EACP,iFAAiF;oBACnF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,6EAA6E;oBACxF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,oBAAoB,EAAE,WAAW,EAAE,IAAI,EAAE;oBAC5D,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,yDAAyD,EAAE;YACrF,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,aAAa;YACrB,QAAQ,EAAE,cAAc;YACxB,IAAI,EAAE,gBAAgB;YACtB,SAAS,EAAE,2DAA2D;YACtE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;YAC/D,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,kBAAkB;oBACxB,SAAS,EACP,gFAAgF;oBAClF,KAAK,EAAE,YAAY;iBACpB;gBACD;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,SAAS,EAAE,6CAA6C;oBACxD,KAAK,EAAE,aAAa;iBACrB;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,kBAAkB,EAAE,WAAW,EAAE,YAAY,EAAE;oBAClE,EAAE,EAAE,EAAE,SAAS,EAAE,sBAAsB,EAAE,WAAW,EAAE,QAAQ,EAAE;iBACjE;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,yDAAyD,EAAE;YACrF,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,MAAM;SAChB;QACD;YACE,MAAM,EAAE,YAAY;YACpB,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,eAAe;YACrB,SAAS,EACP,mFAAmF;YACrF,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE;gBAChC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE;aACnD;YACD,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,kBAAkB;oBACxB,SAAS,EAAE,2DAA2D;oBACtE,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,mBAAmB;oBACzB,SAAS,EAAE,uEAAuE;oBAClF,KAAK,EAAE,eAAe;iBACvB;aACF;YACD,iBAAiB,EAAE,EAAE;YACrB,WAAW,EAAE,EAAE,SAAS,EAAE,oDAAoD,EAAE;YAChF,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,MAAM;SAChB;QACD;YACE,MAAM,EAAE,oBAAoB;YAC5B,QAAQ,EAAE,gBAAgB;YAC1B,IAAI,EAAE,iBAAiB;YACvB,SAAS,EAAE,4EAA4E;YACvF,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,gBAAgB;oBACtB,SAAS,EAAE,4EAA4E;oBACvF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,2EAA2E;oBACtF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,IAAI,EAAE;oBACxD,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,iDAAiD,EAAE;YAC7E,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,qBAAqB;YAC7B,QAAQ,EAAE,eAAe;YACzB,IAAI,EAAE,uBAAuB;YAC7B,SAAS,EAAE,oEAAoE;YAC/E,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,cAAc;oBACpB,SAAS,EAAE,2EAA2E;oBACtF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,sEAAsE;oBACjF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,IAAI,EAAE;oBACtD,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,uDAAuD,EAAE;YACnF,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,wBAAwB;YAChC,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,sCAAsC;YAC5C,SAAS,EACP,4HAA4H;YAC9H,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,cAAc;oBACpB,SAAS,EAAE,0DAA0D;oBACrE,KAAK,EAAE,gBAAgB;iBACxB;gBACD;oBACE,IAAI,EAAE,eAAe;oBACrB,SAAS,EAAE,gDAAgD;oBAC3D,KAAK,EAAE,eAAe;iBACvB;gBACD;oBACE,IAAI,EAAE,mBAAmB;oBACzB,SAAS,EAAE,8CAA8C;oBACzD,KAAK,EAAE,aAAa;iBACrB;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE;oBAC9D,EAAE,EAAE,EAAE,SAAS,EAAE,eAAe,EAAE,WAAW,EAAE,QAAQ,EAAE;iBAC1D;gBACD;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,eAAe,EAAE,WAAW,EAAE,QAAQ,EAAE;oBAC3D,EAAE,EAAE,EAAE,SAAS,EAAE,mBAAmB,EAAE,WAAW,EAAE,WAAW,EAAE;iBACjE;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,0DAA0D,EAAE;YACtF,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,MAAM;SAChB;QACD;YACE,MAAM,EAAE,gBAAgB;YACxB,QAAQ,EAAE,YAAY;YACtB,IAAI,EAAE,kBAAkB;YACxB,SAAS,EAAE,iEAAiE;YAC5E,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,iBAAiB;oBACvB,SAAS,EAAE,8EAA8E;oBACzF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,0EAA0E;oBACrF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,iBAAiB,EAAE,WAAW,EAAE,IAAI,EAAE;oBACzD,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,0DAA0D,EAAE;YACtF,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,gBAAgB;YACxB,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,uBAAuB;YAC7B,SAAS,EAAE,+EAA+E;YAC1F,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,cAAc;oBACpB,SAAS,EACP,mFAAmF;oBACrF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EACP,iFAAiF;oBACnF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,IAAI,EAAE;oBACtD,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,4DAA4D,EAAE;YACxF,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,mBAAmB;YAC3B,QAAQ,EAAE,oBAAoB;YAC9B,IAAI,EAAE,qBAAqB;YAC3B,SAAS,EAAE,oEAAoE;YAC/E,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,oBAAoB;oBAC1B,SAAS,EACP,iFAAiF;oBACnF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,6EAA6E;oBACxF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,oBAAoB,EAAE,WAAW,EAAE,IAAI,EAAE;oBAC5D,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,8DAA8D,EAAE;YAC1F,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,oBAAoB;YAC5B,QAAQ,EAAE,QAAQ;YAClB,IAAI,EAAE,yBAAyB;YAC/B,SAAS,EAAE,6EAA6E;YACxF,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,gBAAgB;oBACtB,SAAS,EAAE,6EAA6E;oBACxF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,cAAc;oBACpB,SAAS,EACP,iJAAiJ;oBACnJ,KAAK,EAAE,yBAAyB;iBACjC;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,IAAI,EAAE;oBACxD,EAAE,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC7D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,gDAAgD,EAAE;YAC5E,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,UAAU;YAClB,QAAQ,EAAE,eAAe;YACzB,IAAI,EAAE,qBAAqB;YAC3B,SAAS,EAAE,8EAA8E;YACzF,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE;gBAChC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE;aACnD;YACD,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,kBAAkB;oBACxB,SAAS,EAAE,6DAA6D;oBACxE,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,mBAAmB;oBACzB,SAAS,EAAE,wEAAwE;oBACnF,KAAK,EAAE,eAAe;iBACvB;aACF;YACD,iBAAiB,EAAE,EAAE;YACrB,WAAW,EAAE,EAAE,SAAS,EAAE,oDAAoD,EAAE;YAChF,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,MAAM;SAChB;QACD;YACE,MAAM,EAAE,aAAa;YACrB,QAAQ,EAAE,MAAM;YAChB,IAAI,EAAE,eAAe;YACrB,SAAS,EAAE,uEAAuE;YAClF,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,cAAc;oBACpB,SAAS,EAAE,2EAA2E;oBACtF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,yEAAyE;oBACpF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,IAAI,EAAE;oBACtD,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,yDAAyD,EAAE;YACrF,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,qBAAqB;YAC7B,QAAQ,EAAE,iBAAiB;YAC3B,IAAI,EAAE,wBAAwB;YAC9B,SAAS,EACP,mFAAmF;YACrF,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,gBAAgB;oBACtB,SAAS,EAAE,4EAA4E;oBACvF,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,cAAc;oBACpB,SAAS,EACP,4IAA4I;oBAC9I,KAAK,EAAE,yBAAyB;iBACjC;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,IAAI,EAAE;oBACxD,EAAE,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC7D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,+CAA+C,EAAE;YAC3E,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;QACD;YACE,MAAM,EAAE,uBAAuB;YAC/B,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,eAAe;YACrB,SAAS,EACP,wFAAwF;YAC1F,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC1C,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,cAAc;oBACpB,SAAS,EACP,4FAA4F;oBAC9F,KAAK,EAAE,kBAAkB;iBAC1B;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,wEAAwE;oBACnF,KAAK,EAAE,oBAAoB;iBAC5B;aACF;YACD,iBAAiB,EAAE;gBACjB;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,IAAI,EAAE;oBACtD,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE;iBAC1D;aACF;YACD,WAAW,EAAE,EAAE,SAAS,EAAE,qDAAqD,EAAE;YACjF,MAAM,EAAE,eAAe;YACvB,OAAO,EAAE,UAAU;SACpB;KACF;CACoE,CAAC;AAExE,sEAAsE;AACtE,MAAM,UAAU,4BAA4B,CAC1C,MAA0D;IAE1D,MAAM,IAAI,GAAG,kCAAkC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC9D,OAAO,8BAA8B,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACzF,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,8BAA8B,CAAC,KAAc;IAC3D,MAAM,OAAO,GAAG,8BAA8B,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;IAC5C,IAAI,MAAM,CAAC,kCAAkC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,cAAc,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,uBAAuB,CAAC,GAAsB;IAC5D,OAAO,MAAM,CAAC,GAAG,CAAW,CAAC;AAC/B,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,wBAAwB,CACtC,OAAiC,EACjC,KAAa;IAEb,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;IACzE,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,eAAe,OAAO,CAAC,cAAc,eAAe,KAAK,GAAG,CAAC,CAAC;IACxF,OAAO,GAAG,CAAC;AACb,CAAC"}
|
|
@@ -29,7 +29,7 @@ export declare const currentAgentReadinessPolicy: {
|
|
|
29
29
|
assertions: {
|
|
30
30
|
name: string;
|
|
31
31
|
statement: string;
|
|
32
|
-
proof: "dns_answer" | "dns_success" | "message_accepted" | "model_selected" | "resource_created" | "resource_read_back" | "sink_received" | "stream_chunks" | "tool_called";
|
|
32
|
+
proof: "dns_answer" | "dns_success" | "message_accepted" | "model_selected" | "resource_created" | "resource_found_by_query" | "resource_read_back" | "sink_received" | "stream_chunks" | "tool_called";
|
|
33
33
|
}[];
|
|
34
34
|
observation_links: {
|
|
35
35
|
from: {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"change.d.ts","sourceRoot":"","sources":["../../../../modules/agent-readiness-repository/src/change.ts"],"names":[],"mappings":"AAIA,OAAO,EAA0C,KAAK,MAAM,EAAU,MAAM,qBAAqB,CAAC;
|
|
1
|
+
{"version":3,"file":"change.d.ts","sourceRoot":"","sources":["../../../../modules/agent-readiness-repository/src/change.ts"],"names":[],"mappings":"AAIA,OAAO,EAA0C,KAAK,MAAM,EAAU,MAAM,qBAAqB,CAAC;AAElG,OAAO,EACL,0BAA0B,EAE1B,KAAK,oBAAoB,EAC1B,MAAM,iDAAiD,CAAC;AAEzD,OAAO,EACL,KAAK,6BAA6B,EAEnC,MAAM,uBAAuB,CAAC;AAI/B,KAAK,8BAA8B,GAC/B;IACE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,SAAS,EAAE,CAAC;CACvC,CAAC;AAEN,6FAA6F;AAC7F,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,6BAA6B,GAAG,IAAI,CAAC;IACpD,QAAQ,CAAC,IAAI,EAAE,6BAA6B,GAAG,IAAI,CAAC;IACpD,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,SAAS,8BAA8B,EAAE,CAAC;CAClE;AAED,UAAU,iCAAkC,SAAQ,4BAA4B;IAC9E,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,eAAe,EAAE,oDAAoD,CAAC;IAC/E,QAAQ,CAAC,UAAU,EAAE,OAAO,0BAA0B,CAAC;IACvD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,SAAS,iCAAiC,EAAE,CAAC;IAC7D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED;;;GAGG;AACH,wBAAsB,2CAA2C,CAAC,KAAK,EAAE;IACvE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;CACvC,GAAG,OAAO,CAAC,oCAAoC,CAAC,CAkDhD;AAED,wBAAsB,0CAA0C,CAAC,KAAK,EAAE;IACtE,QAAQ,CAAC,MAAM,EAAE,oCAAoC,CAAC;IACtD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;CACvC,GAAG,OAAO,CAAC,IAAI,CAAC,CAUhB;AAED,wBAAgB,uCAAuC,CACrD,MAAM,EAAE,oCAAoC,GAC3C,SAAS,8BAA8B,EAAE,CAM3C;AAWD;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,QAAQ,CAAC,IAAI,EAAE,6BAA6B,GAAG,IAAI,CAAC;IACpD,QAAQ,CAAC,IAAI,EAAE,6BAA6B,GAAG,IAAI,CAAC;CACrD,GAAG,4BAA4B,CAkD/B"}
|
|
@@ -3,6 +3,7 @@ import { resolve } from "node:path";
|
|
|
3
3
|
import { promisify } from "node:util";
|
|
4
4
|
import { gitComparisonBase } from "provenry/git";
|
|
5
5
|
import { canonicalJson, compareCanonicalStrings, digest } from "provenry/primitives";
|
|
6
|
+
import { ZodError } from "zod";
|
|
6
7
|
import { AGENT_READINESS_REPOSITORY, } from "../../../contracts/agent-readiness/src/index.js";
|
|
7
8
|
import { assertAgentReadinessDeclarationJobs } from "../../agent-readiness-policy/src/declaration-jobs.js";
|
|
8
9
|
import { readAgentReadinessDeclarationBlobAtRevision, } from "./declaration-blob.js";
|
|
@@ -35,9 +36,7 @@ export async function inspectAgentReadinessRepositoryChangePacket(input) {
|
|
|
35
36
|
const paths = await Promise.all(pathStatuses.map(async ({ status, path }) => {
|
|
36
37
|
const file = path.slice("entities/".length);
|
|
37
38
|
const [base, head] = await Promise.all([
|
|
38
|
-
status === "added"
|
|
39
|
-
? null
|
|
40
|
-
: readAgentReadinessDeclarationBlobAtRevision(repositoryRoot, comparisonBase, file),
|
|
39
|
+
status === "added" ? null : readBaseBlob(repositoryRoot, comparisonBase, file),
|
|
41
40
|
status === "removed"
|
|
42
41
|
? null
|
|
43
42
|
: readAgentReadinessDeclarationBlobAtRevision(repositoryRoot, headRevision, file),
|
|
@@ -215,6 +214,23 @@ async function resolveOptionalGitObject(repositoryRoot, revision) {
|
|
|
215
214
|
throw error;
|
|
216
215
|
}
|
|
217
216
|
}
|
|
217
|
+
/**
|
|
218
|
+
* The base is historical authoring, and a contributor must be able to bring
|
|
219
|
+
* its head onto the current contract. Bytes the current contract cannot read
|
|
220
|
+
* yield no base: the head reads as adding every declaration it makes, and
|
|
221
|
+
* admission sends a modified file with no readable base to a person, since
|
|
222
|
+
* what it stopped declaring cannot be read from it.
|
|
223
|
+
*/
|
|
224
|
+
async function readBaseBlob(repositoryRoot, revision, file) {
|
|
225
|
+
try {
|
|
226
|
+
return await readAgentReadinessDeclarationBlobAtRevision(repositoryRoot, revision, file);
|
|
227
|
+
}
|
|
228
|
+
catch (error) {
|
|
229
|
+
if (error instanceof ZodError)
|
|
230
|
+
return null;
|
|
231
|
+
throw error;
|
|
232
|
+
}
|
|
233
|
+
}
|
|
218
234
|
/** Every declaration in the bytes closes over the installed readiness policy. */
|
|
219
235
|
function assertAgentReadinessBlobPolicy(blob, policy) {
|
|
220
236
|
if (!blob)
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"change.js","sourceRoot":"","sources":["../../../../modules/agent-readiness-repository/src/change.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,uBAAuB,EAAe,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClG,OAAO,EACL,0BAA0B,GAG3B,MAAM,iDAAiD,CAAC;AACzD,OAAO,EAAE,mCAAmC,EAAE,MAAM,sDAAsD,CAAC;AAC3G,OAAO,EAEL,2CAA2C,GAC5C,MAAM,uBAAuB,CAAC;AAE/B,MAAM,WAAW,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAuDxC;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,2CAA2C,CAAC,KAKjE;IACC,MAAM,cAAc,GAAG,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrD,MAAM,cAAc,GAAG,MAAM,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,MAAM,sBAAsB,CAAC,cAAc,EAAE,cAAc,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IACjG,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IAC/E,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CACb,oFAAoF,UAAU;aAC3F,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC;aACvB,IAAI,CAAC,IAAI,CAAC,GAAG,CACjB,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,YAAY,EAAE,eAAe,EAAE,mBAAmB,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC7E,gBAAgB,CAAC,cAAc,EAAE,GAAG,KAAK,CAAC,YAAY,WAAW,CAAC;QAClE,gBAAgB,CAAC,cAAc,EAAE,GAAG,cAAc,SAAS,CAAC;QAC5D,wBAAwB,CAAC,cAAc,EAAE,GAAG,cAAc,WAAW,CAAC;KACvE,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IACtD,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC/D,gBAAgB,CAAC,cAAc,EAAE,GAAG,YAAY,SAAS,CAAC;QAC1D,wBAAwB,CAAC,cAAc,EAAE,GAAG,YAAY,WAAW,CAAC;KACrE,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAC7B,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACrC,MAAM,KAAK,OAAO
|
|
1
|
+
{"version":3,"file":"change.js","sourceRoot":"","sources":["../../../../modules/agent-readiness-repository/src/change.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,uBAAuB,EAAe,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClG,OAAO,EAAE,QAAQ,EAAE,MAAM,KAAK,CAAC;AAC/B,OAAO,EACL,0BAA0B,GAG3B,MAAM,iDAAiD,CAAC;AACzD,OAAO,EAAE,mCAAmC,EAAE,MAAM,sDAAsD,CAAC;AAC3G,OAAO,EAEL,2CAA2C,GAC5C,MAAM,uBAAuB,CAAC;AAE/B,MAAM,WAAW,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAuDxC;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,2CAA2C,CAAC,KAKjE;IACC,MAAM,cAAc,GAAG,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrD,MAAM,cAAc,GAAG,MAAM,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,MAAM,sBAAsB,CAAC,cAAc,EAAE,cAAc,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IACjG,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IAC/E,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CACb,oFAAoF,UAAU;aAC3F,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC;aACvB,IAAI,CAAC,IAAI,CAAC,GAAG,CACjB,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,YAAY,EAAE,eAAe,EAAE,mBAAmB,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC7E,gBAAgB,CAAC,cAAc,EAAE,GAAG,KAAK,CAAC,YAAY,WAAW,CAAC;QAClE,gBAAgB,CAAC,cAAc,EAAE,GAAG,cAAc,SAAS,CAAC;QAC5D,wBAAwB,CAAC,cAAc,EAAE,GAAG,cAAc,WAAW,CAAC;KACvE,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IACtD,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC/D,gBAAgB,CAAC,cAAc,EAAE,GAAG,YAAY,SAAS,CAAC;QAC1D,wBAAwB,CAAC,cAAc,EAAE,GAAG,YAAY,WAAW,CAAC;KACrE,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAC7B,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACrC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,cAAc,EAAE,cAAc,EAAE,IAAI,CAAC;YAC9E,MAAM,KAAK,SAAS;gBAClB,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,2CAA2C,CAAC,cAAc,EAAE,YAAY,EAAE,IAAI,CAAC;SACpF,CAAC,CAAC;QACH,uEAAuE;QACvE,gEAAgE;QAChE,8BAA8B,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACnD,OAAO,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CACH,CAAC;IACF,MAAM,IAAI,GAAG;QACX,eAAe,EAAE,oDAA6D;QAC9E,UAAU,EAAE,0BAA0B;QACtC,cAAc;QACd,eAAe;QACf,mBAAmB;QACnB,YAAY;QACZ,eAAe;QACf,mBAAmB;QACnB,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;KACnF,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;AACjD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,0CAA0C,CAAC,KAIhE;IACC,MAAM,QAAQ,GAAG,MAAM,2CAA2C,CAAC;QACjE,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,cAAc;QACzC,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,YAAY;QACvC,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC,CAAC;IACH,IAAI,aAAa,CAAC,QAAQ,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;IACzF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uCAAuC,CACrD,MAA4C;IAE5C,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CACnC,IAAI,CAAC,YAAY,CAAC,MAAM,CACtB,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,oBAAoB,IAAI,KAAK,CAAC,IAAI,KAAK,uBAAuB,CAC/E,CACF,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAChB,MAAmD,EACnD,IAAY,EACZ,IAA0C,EAC1C,IAA0C;IAE1C,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,4BAA4B,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAG5C;IACC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IAC7B,MAAM,KAAK,GAAG,IAAI,EAAE,oBAAoB,IAAI,EAAE,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAI,EAAE,oBAAoB,IAAI,EAAE,CAAC;IACjD,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAC7E,uBAAuB,CACxB,CAAC;IACF,MAAM,YAAY,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,aAAa,EAAkC,EAAE;QAC7E,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,IAAI,KAAK,EAAE,CAAC;YACrB,OAAO;gBACL,IAAI,EAAE,mBAAmB;gBACzB,aAAa;gBACb,qBAAqB,EAAE,KAAK,CAAC,eAAyB;gBACtD,eAAe,EAAE,gBAAgB,CAAC,KAAK,CAAC;aACzC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;YACrB,OAAO;gBACL,IAAI,EAAE,qBAAqB;gBAC3B,aAAa;gBACb,mBAAmB,EAAE,MAAM,CAAC,eAAyB;gBACrD,eAAe,EAAE,gBAAgB,CAAC,MAAM,CAAC;aAC1C,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QAC3E,IAAI,MAAM,CAAC,eAAe,KAAK,KAAK,CAAC,eAAe,EAAE,CAAC;YACrD,OAAO;gBACL,IAAI,EAAE,uBAAuB;gBAC7B,aAAa;gBACb,cAAc,EAAE,KAAK,CAAC,eAAyB;gBAC/C,eAAe,EAAE,EAAE;aACpB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,aAAa;YACb,mBAAmB,EAAE,MAAM,CAAC,eAAyB;YACrD,qBAAqB,EAAE,KAAK,CAAC,eAAyB;YACtD,eAAe,EAAE,uBAAuB,CAAC,MAAM,EAAE,KAAK,CAAC;SACxD,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,oBAAoB,EAClB,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC/F,YAAY;KACb,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAmC;IACxD,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;AAC/B,CAAC;AAED,SAAS,gBAAgB,CAAC,QAA2C;IACnE,OAAO,CAAC,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,uBAAuB,CAC9B,MAAyC,EACzC,KAAwC;IAExC,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACxC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;SAC/D,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SAC7D,IAAI,CAAC,uBAAuB,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,aAAa,CAAC,QAA2C;IAChE,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;IACzC,OAAO,IAAI,GAAG,CAAC;QACb,CAAC,sBAAsB,EAAE,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,CAAU;QACrE,CAAC,mBAAmB,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAU;QACzD,CAAC,8BAA8B,EAAE,MAAM,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAU;QAC/E,CAAC,yBAAyB,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAU;QACrE,GAAG,UAAU,CAAC,aAAa,EAAE,WAAW,CAAC,YAAY,EAAE,YAAY,CAAC;QACpE,GAAG,UAAU,CAAC,aAAa,EAAE,WAAW,CAAC,YAAY,EAAE,gBAAgB,CAAC;QACxE,GAAG,UAAU,CAAC,UAAU,EAAE,WAAW,CAAC,SAAS,EAAE,aAAa,CAAC;QAC/D,GAAG,UAAU,CAAC,UAAU,EAAE,WAAW,CAAC,SAAS,EAAE,aAAa,CAAC;QAC/D,GAAG,UAAU,CAAC,WAAW,EAAE,WAAW,CAAC,UAAU,EAAE,cAAc,CAAC;QAClE,GAAG,UAAU,CAAC,UAAU,EAAE,WAAW,CAAC,SAAS,EAAE,aAAa,CAAC;QAC/D,GAAG,UAAU,CAAC,gBAAgB,EAAE,WAAW,CAAC,eAAe,EAAE,mBAAmB,CAAC;QACjF,GAAG,UAAU,CAAC,mBAAmB,EAAE,WAAW,CAAC,kBAAkB,EAAE,cAAc,CAAC;QAClF,GAAG,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;KACvD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CACjB,IAAY,EACZ,MAAwB,EACxB,QAAa;IAEb,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,eAAe,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAU,CAAC,CAAC;AACnG,CAAC;AAED,KAAK,UAAU,sBAAsB,CACnC,cAAsB,EACtB,YAAoB,EACpB,YAAoB;IAIpB,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,WAAW,CAClC,KAAK,EACL,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,cAAc,EAAE,YAAY,EAAE,YAAY,CAAC,EAC3E,EAAE,GAAG,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI,EAAE,CACxE,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACnE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAC7F,MAAM,KAAK,GAAG,EAAE,CAAC;IACjB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;QAC/E,MAAM,MAAM,GACV,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QACvF,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,IAAI,GAAG,CAAC,CAAC;QAC3F,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAGG;IAEH,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,6DAA6D,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,cAAsB,EAAE,QAAgB;IACtE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,WAAW,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE;QACnE,GAAG,EAAE,cAAc;QACnB,QAAQ,EAAE,MAAM;QAChB,SAAS,EAAE,IAAI;KAChB,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACxF,OAAO,GAAG,CAAC;AACb,CAAC;AAED,KAAK,UAAU,wBAAwB,CACrC,cAAsB,EACtB,QAAgB;IAEhB,IAAI,CAAC;QACH,OAAO,MAAM,gBAAgB,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IAC1D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,SAAS,GAAG,KAA6D,CAAC;QAChF,IAAI,SAAS,CAAC,IAAI,KAAK,GAAG,IAAI,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC;YAAE,OAAO,IAAI,CAAC;QACxF,IAAI,SAAS,CAAC,IAAI,KAAK,GAAG,IAAI,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC,EAAE,CAAC;YACvF,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,YAAY,CACzB,cAAsB,EACtB,QAAgB,EAChB,IAAY;IAEZ,IAAI,CAAC;QACH,OAAO,MAAM,2CAA2C,CAAC,cAAc,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC3F,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3C,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,SAAS,8BAA8B,CACrC,IAA0C,EAC1C,MAA4B;IAE5B,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAChE,mCAAmC,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;IACrF,CAAC;AACH,CAAC"}
|
|
@@ -55,7 +55,7 @@ export declare function verifyCatalogDeltaPolicies(bundle: CatalogReleaseBundle,
|
|
|
55
55
|
assertions: {
|
|
56
56
|
name: string;
|
|
57
57
|
statement: string;
|
|
58
|
-
proof: "dns_answer" | "dns_success" | "message_accepted" | "model_selected" | "resource_created" | "resource_read_back" | "sink_received" | "stream_chunks" | "tool_called";
|
|
58
|
+
proof: "dns_answer" | "dns_success" | "message_accepted" | "model_selected" | "resource_created" | "resource_found_by_query" | "resource_read_back" | "sink_received" | "stream_chunks" | "tool_called";
|
|
59
59
|
}[];
|
|
60
60
|
observation_links: {
|
|
61
61
|
from: {
|