assertledger 1.4.0 → 1.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (107) hide show
  1. package/README.fr.md +5 -2
  2. package/README.md +5 -2
  3. package/conformance/schema-extensions.json +15 -0
  4. package/dist/build-info.json +1 -1
  5. package/dist/cli.d.ts.map +1 -1
  6. package/dist/cli.js +213 -8
  7. package/dist/cli.js.map +1 -1
  8. package/dist/contracts/index.d.ts +467 -4
  9. package/dist/contracts/index.d.ts.map +1 -1
  10. package/dist/contracts/index.js +256 -3
  11. package/dist/contracts/index.js.map +1 -1
  12. package/dist/contracts/qualification.d.ts +528 -0
  13. package/dist/contracts/qualification.d.ts.map +1 -0
  14. package/dist/contracts/qualification.js +357 -0
  15. package/dist/contracts/qualification.js.map +1 -0
  16. package/dist/core/index.d.ts +9 -0
  17. package/dist/core/index.d.ts.map +1 -1
  18. package/dist/core/index.js +46 -2
  19. package/dist/core/index.js.map +1 -1
  20. package/dist/core/qualification.d.ts +17 -0
  21. package/dist/core/qualification.d.ts.map +1 -0
  22. package/dist/core/qualification.js +571 -0
  23. package/dist/core/qualification.js.map +1 -0
  24. package/dist/diagnostics.d.ts.map +1 -1
  25. package/dist/diagnostics.js +81 -4
  26. package/dist/diagnostics.js.map +1 -1
  27. package/dist/engine/adapters/bun-native.d.ts +35 -0
  28. package/dist/engine/adapters/bun-native.d.ts.map +1 -0
  29. package/dist/engine/adapters/bun-native.js +179 -0
  30. package/dist/engine/adapters/bun-native.js.map +1 -0
  31. package/dist/engine/adapters/bun-test-designated-profile.d.ts +23 -0
  32. package/dist/engine/adapters/bun-test-designated-profile.d.ts.map +1 -0
  33. package/dist/engine/adapters/bun-test-designated-profile.js +24 -0
  34. package/dist/engine/adapters/bun-test-designated-profile.js.map +1 -0
  35. package/dist/engine/container.d.ts +7 -0
  36. package/dist/engine/container.d.ts.map +1 -1
  37. package/dist/engine/container.js +22 -7
  38. package/dist/engine/container.js.map +1 -1
  39. package/dist/engine/git-regression.d.ts.map +1 -1
  40. package/dist/engine/git-regression.js +9 -2
  41. package/dist/engine/git-regression.js.map +1 -1
  42. package/dist/engine/index.d.ts +14 -0
  43. package/dist/engine/index.d.ts.map +1 -1
  44. package/dist/engine/index.js +828 -97
  45. package/dist/engine/index.js.map +1 -1
  46. package/dist/engine/qualification.d.ts +154 -0
  47. package/dist/engine/qualification.d.ts.map +1 -0
  48. package/dist/engine/qualification.js +725 -0
  49. package/dist/engine/qualification.js.map +1 -0
  50. package/dist/engine/test-closure.d.ts +39 -0
  51. package/dist/engine/test-closure.d.ts.map +1 -0
  52. package/dist/engine/test-closure.js +513 -0
  53. package/dist/engine/test-closure.js.map +1 -0
  54. package/dist/engine/witness-import.d.ts +31 -0
  55. package/dist/engine/witness-import.d.ts.map +1 -0
  56. package/dist/engine/witness-import.js +224 -0
  57. package/dist/engine/witness-import.js.map +1 -0
  58. package/dist/index.d.ts +3 -0
  59. package/dist/index.d.ts.map +1 -1
  60. package/dist/index.js +3 -0
  61. package/dist/index.js.map +1 -1
  62. package/dist/mcp/index.d.ts.map +1 -1
  63. package/dist/mcp/index.js +65 -0
  64. package/dist/mcp/index.js.map +1 -1
  65. package/dist/sdk/index.d.ts +292 -3
  66. package/dist/sdk/index.d.ts.map +1 -1
  67. package/dist/sdk/index.js +39 -1
  68. package/dist/sdk/index.js.map +1 -1
  69. package/docs/container-isolation.md +6 -0
  70. package/docs/migration-orchestration-qualification-v1.md +109 -0
  71. package/docs/migration-verification-v4.md +94 -0
  72. package/docs/orchestration-qualification.md +167 -0
  73. package/docs/reference.md +7 -0
  74. package/docs/witness-import.md +67 -0
  75. package/examples/orchestration/README.md +68 -0
  76. package/examples/orchestration/consumer-obligations.json +101 -0
  77. package/examples/orchestration/workspace/bitbucket-pipelines.yml +10 -0
  78. package/examples/orchestration/workspace/command-shape.test.mjs +25 -0
  79. package/examples/orchestration/workspace/commands.mjs +14 -0
  80. package/examples/orchestration/workspace/completion.mjs +39 -0
  81. package/examples/orchestration/workspace/faults.json +1 -0
  82. package/examples/orchestration/workspace/native.test.ts +4 -0
  83. package/examples/orchestration/workspace/package.json +6 -0
  84. package/examples/orchestration/workspace/packages/app/package.json +12 -0
  85. package/examples/orchestration/workspace/packages/app/verdict.txt +1 -0
  86. package/examples/orchestration/workspace/packages/leaf/package.json +9 -0
  87. package/examples/orchestration/workspace/packages/leaf/verdict.txt +1 -0
  88. package/examples/orchestration/workspace/pnpm-lock.yaml +170 -0
  89. package/examples/orchestration/workspace/pnpm-workspace.yaml +2 -0
  90. package/examples/orchestration/workspace/task.mjs +23 -0
  91. package/examples/orchestration/workspace/turbo.json +38 -0
  92. package/examples/orchestration/workspace/wrapper.mjs +45 -0
  93. package/integrations/bun/driver.d.mts +30 -1
  94. package/integrations/bun/driver.mjs +215 -6
  95. package/integrations/bun/preload.mjs +186 -5
  96. package/integrations/bun-native/README.md +86 -0
  97. package/integrations/bun-native/driver.mjs +396 -0
  98. package/integrations/bun-native/preload.mjs +375 -0
  99. package/integrations/skill/SKILL.md +25 -5
  100. package/package.json +1 -1
  101. package/schemas/evidence-manifest.v4.json +995 -0
  102. package/schemas/qualification-execution-request.v1.json +571 -0
  103. package/schemas/qualification-plan.v1.json +528 -0
  104. package/schemas/qualification-receipt.v1.json +821 -0
  105. package/schemas/qualification-replay-result.v1.json +37 -0
  106. package/schemas/verification-request.v4.json +590 -0
  107. package/schemas/witness-import-request.v1.json +231 -0
@@ -0,0 +1,528 @@
1
+ import * as z from "zod";
2
+ /** Supported collector contracts; package/runtime versions are separate identities. */
3
+ export declare const QUALIFICATION_ADAPTER_VERSIONS: Readonly<{
4
+ command: "1.0.0";
5
+ turbo: "1.0.0";
6
+ "node-test": "1.0.0";
7
+ "bun-native": "1.0.0";
8
+ "ci-config": "1.0.0";
9
+ }>;
10
+ export declare const QualificationJsonSchema: z.ZodJSONSchema;
11
+ export type QualificationJson = z.infer<typeof QualificationJsonSchema>;
12
+ export declare const QualificationObservationSchema: z.ZodObject<{
13
+ worldId: z.ZodString;
14
+ attempt: z.ZodInt;
15
+ actionId: z.ZodString;
16
+ state: z.ZodEnum<{
17
+ COLLECTION_ERROR: "COLLECTION_ERROR";
18
+ COMPLETED: "COMPLETED";
19
+ CRASH: "CRASH";
20
+ INFRA_ERROR: "INFRA_ERROR";
21
+ NO_TESTS: "NO_TESTS";
22
+ TIMEOUT: "TIMEOUT";
23
+ }>;
24
+ facts: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
25
+ bindingDigest: z.ZodString;
26
+ }, z.core.$strict>;
27
+ export type QualificationObservation = z.infer<typeof QualificationObservationSchema>;
28
+ export declare const QualificationPlanSchema: z.ZodObject<{
29
+ schemaVersion: z.ZodLiteral<"1.0.0">;
30
+ profileId: z.ZodString;
31
+ subject: z.ZodObject<{
32
+ commit: z.ZodString;
33
+ baseCommit: z.ZodString;
34
+ candidateDigest: z.ZodString;
35
+ inputDigest: z.ZodString;
36
+ }, z.core.$strict>;
37
+ ciTrust: z.ZodOptional<z.ZodObject<{
38
+ repositoryId: z.ZodString;
39
+ observerId: z.ZodString;
40
+ publicKeyPem: z.ZodString;
41
+ requiredSteps: z.ZodArray<z.ZodObject<{
42
+ id: z.ZodString;
43
+ commandDigest: z.ZodString;
44
+ }, z.core.$strict>>;
45
+ }, z.core.$strict>>;
46
+ tools: z.ZodArray<z.ZodObject<{
47
+ id: z.ZodString;
48
+ version: z.ZodString;
49
+ digest: z.ZodString;
50
+ identityPath: z.ZodOptional<z.ZodString>;
51
+ versionCommand: z.ZodOptional<z.ZodObject<{
52
+ executable: z.ZodString;
53
+ arguments: z.ZodArray<z.ZodString>;
54
+ }, z.core.$strict>>;
55
+ }, z.core.$strict>>;
56
+ suites: z.ZodArray<z.ZodObject<{
57
+ id: z.ZodString;
58
+ files: z.ZodArray<z.ZodString>;
59
+ extraction: z.ZodEnum<{
60
+ COMPLETE: "COMPLETE";
61
+ OMITTED: "OMITTED";
62
+ UNAVAILABLE: "UNAVAILABLE";
63
+ }>;
64
+ }, z.core.$strict>>;
65
+ obligations: z.ZodArray<z.ZodObject<{
66
+ id: z.ZodString;
67
+ kind: z.ZodEnum<{
68
+ cache: "cache";
69
+ "ci-config": "ci-config";
70
+ "ci-live": "ci-live";
71
+ "ci-local": "ci-local";
72
+ propagation: "propagation";
73
+ selection: "selection";
74
+ tests: "tests";
75
+ wrapper: "wrapper";
76
+ }>;
77
+ required: z.ZodBoolean;
78
+ suiteIds: z.ZodArray<z.ZodString>;
79
+ checks: z.ZodArray<z.ZodObject<{
80
+ id: z.ZodString;
81
+ actionId: z.ZodString;
82
+ field: z.ZodString;
83
+ expected: z.ZodJSONSchema;
84
+ }, z.core.$strict>>;
85
+ limits: z.ZodArray<z.ZodString>;
86
+ }, z.core.$strict>>;
87
+ actions: z.ZodArray<z.ZodObject<{
88
+ id: z.ZodString;
89
+ adapter: z.ZodEnum<{
90
+ "bun-native": "bun-native";
91
+ "ci-config": "ci-config";
92
+ command: "command";
93
+ "node-test": "node-test";
94
+ turbo: "turbo";
95
+ }>;
96
+ executable: z.ZodString;
97
+ arguments: z.ZodArray<z.ZodString>;
98
+ environment: z.ZodRecord<z.ZodString, z.ZodString>;
99
+ prepareFiles: z.ZodArray<z.ZodObject<{
100
+ path: z.ZodString;
101
+ content: z.ZodString;
102
+ }, z.core.$strict>>;
103
+ removePaths: z.ZodArray<z.ZodString>;
104
+ observe: z.ZodObject<{
105
+ trace: z.ZodBoolean;
106
+ outputs: z.ZodArray<z.ZodString>;
107
+ report: z.ZodNullable<z.ZodString>;
108
+ }, z.core.$strict>;
109
+ }, z.core.$strict>>;
110
+ worlds: z.ZodArray<z.ZodObject<{
111
+ id: z.ZodString;
112
+ kind: z.ZodEnum<{
113
+ NEUTRAL: "NEUTRAL";
114
+ REFERENCE: "REFERENCE";
115
+ TARGET: "TARGET";
116
+ }>;
117
+ files: z.ZodArray<z.ZodObject<{
118
+ path: z.ZodString;
119
+ content: z.ZodString;
120
+ }, z.core.$strict>>;
121
+ discriminants: z.ZodArray<z.ZodObject<{
122
+ obligationId: z.ZodString;
123
+ checkIds: z.ZodArray<z.ZodString>;
124
+ }, z.core.$strict>>;
125
+ }, z.core.$strict>>;
126
+ requiredAttempts: z.ZodInt;
127
+ timeoutMs: z.ZodInt;
128
+ maximumOutputBytes: z.ZodInt;
129
+ isolation: z.ZodObject<{
130
+ kind: z.ZodLiteral<"trusted-local">;
131
+ acknowledgedUnsafeExecution: z.ZodLiteral<true>;
132
+ }, z.core.$strict>;
133
+ allowedCandidatePaths: z.ZodArray<z.ZodString>;
134
+ }, z.core.$strict>;
135
+ export type QualificationPlan = z.infer<typeof QualificationPlanSchema>;
136
+ export declare const QualificationExecutionRequestSchema: z.ZodObject<{
137
+ root: z.ZodString;
138
+ plan: z.ZodObject<{
139
+ schemaVersion: z.ZodLiteral<"1.0.0">;
140
+ profileId: z.ZodString;
141
+ subject: z.ZodObject<{
142
+ commit: z.ZodString;
143
+ baseCommit: z.ZodString;
144
+ candidateDigest: z.ZodString;
145
+ inputDigest: z.ZodString;
146
+ }, z.core.$strict>;
147
+ ciTrust: z.ZodOptional<z.ZodObject<{
148
+ repositoryId: z.ZodString;
149
+ observerId: z.ZodString;
150
+ publicKeyPem: z.ZodString;
151
+ requiredSteps: z.ZodArray<z.ZodObject<{
152
+ id: z.ZodString;
153
+ commandDigest: z.ZodString;
154
+ }, z.core.$strict>>;
155
+ }, z.core.$strict>>;
156
+ tools: z.ZodArray<z.ZodObject<{
157
+ id: z.ZodString;
158
+ version: z.ZodString;
159
+ digest: z.ZodString;
160
+ identityPath: z.ZodOptional<z.ZodString>;
161
+ versionCommand: z.ZodOptional<z.ZodObject<{
162
+ executable: z.ZodString;
163
+ arguments: z.ZodArray<z.ZodString>;
164
+ }, z.core.$strict>>;
165
+ }, z.core.$strict>>;
166
+ suites: z.ZodArray<z.ZodObject<{
167
+ id: z.ZodString;
168
+ files: z.ZodArray<z.ZodString>;
169
+ extraction: z.ZodEnum<{
170
+ COMPLETE: "COMPLETE";
171
+ OMITTED: "OMITTED";
172
+ UNAVAILABLE: "UNAVAILABLE";
173
+ }>;
174
+ }, z.core.$strict>>;
175
+ obligations: z.ZodArray<z.ZodObject<{
176
+ id: z.ZodString;
177
+ kind: z.ZodEnum<{
178
+ cache: "cache";
179
+ "ci-config": "ci-config";
180
+ "ci-live": "ci-live";
181
+ "ci-local": "ci-local";
182
+ propagation: "propagation";
183
+ selection: "selection";
184
+ tests: "tests";
185
+ wrapper: "wrapper";
186
+ }>;
187
+ required: z.ZodBoolean;
188
+ suiteIds: z.ZodArray<z.ZodString>;
189
+ checks: z.ZodArray<z.ZodObject<{
190
+ id: z.ZodString;
191
+ actionId: z.ZodString;
192
+ field: z.ZodString;
193
+ expected: z.ZodJSONSchema;
194
+ }, z.core.$strict>>;
195
+ limits: z.ZodArray<z.ZodString>;
196
+ }, z.core.$strict>>;
197
+ actions: z.ZodArray<z.ZodObject<{
198
+ id: z.ZodString;
199
+ adapter: z.ZodEnum<{
200
+ "bun-native": "bun-native";
201
+ "ci-config": "ci-config";
202
+ command: "command";
203
+ "node-test": "node-test";
204
+ turbo: "turbo";
205
+ }>;
206
+ executable: z.ZodString;
207
+ arguments: z.ZodArray<z.ZodString>;
208
+ environment: z.ZodRecord<z.ZodString, z.ZodString>;
209
+ prepareFiles: z.ZodArray<z.ZodObject<{
210
+ path: z.ZodString;
211
+ content: z.ZodString;
212
+ }, z.core.$strict>>;
213
+ removePaths: z.ZodArray<z.ZodString>;
214
+ observe: z.ZodObject<{
215
+ trace: z.ZodBoolean;
216
+ outputs: z.ZodArray<z.ZodString>;
217
+ report: z.ZodNullable<z.ZodString>;
218
+ }, z.core.$strict>;
219
+ }, z.core.$strict>>;
220
+ worlds: z.ZodArray<z.ZodObject<{
221
+ id: z.ZodString;
222
+ kind: z.ZodEnum<{
223
+ NEUTRAL: "NEUTRAL";
224
+ REFERENCE: "REFERENCE";
225
+ TARGET: "TARGET";
226
+ }>;
227
+ files: z.ZodArray<z.ZodObject<{
228
+ path: z.ZodString;
229
+ content: z.ZodString;
230
+ }, z.core.$strict>>;
231
+ discriminants: z.ZodArray<z.ZodObject<{
232
+ obligationId: z.ZodString;
233
+ checkIds: z.ZodArray<z.ZodString>;
234
+ }, z.core.$strict>>;
235
+ }, z.core.$strict>>;
236
+ requiredAttempts: z.ZodInt;
237
+ timeoutMs: z.ZodInt;
238
+ maximumOutputBytes: z.ZodInt;
239
+ isolation: z.ZodObject<{
240
+ kind: z.ZodLiteral<"trusted-local">;
241
+ acknowledgedUnsafeExecution: z.ZodLiteral<true>;
242
+ }, z.core.$strict>;
243
+ allowedCandidatePaths: z.ZodArray<z.ZodString>;
244
+ }, z.core.$strict>;
245
+ planDigest: z.ZodString;
246
+ candidate: z.ZodObject<{
247
+ files: z.ZodArray<z.ZodObject<{
248
+ path: z.ZodString;
249
+ content: z.ZodString;
250
+ }, z.core.$strict>>;
251
+ }, z.core.$strict>;
252
+ }, z.core.$strict>;
253
+ export type QualificationExecutionRequest = z.infer<typeof QualificationExecutionRequestSchema>;
254
+ export declare const QualificationExpectedDomainSchema: z.ZodObject<{
255
+ planDigest: z.ZodString;
256
+ candidateDigest: z.ZodString;
257
+ inputDigest: z.ZodString;
258
+ commit: z.ZodString;
259
+ baseCommit: z.ZodString;
260
+ mechanismDigest: z.ZodOptional<z.ZodString>;
261
+ }, z.core.$strict>;
262
+ export type QualificationExpectedDomain = z.infer<typeof QualificationExpectedDomainSchema>;
263
+ export declare function parseQualificationPlan(value: unknown): QualificationPlan;
264
+ export declare const QUALIFICATION_SNAPSHOT_EXCLUDES: readonly [".git", ".testforge", ".turbo", "coverage", "node_modules"];
265
+ export declare const QualificationRuntimeSchema: z.ZodObject<{
266
+ mechanismDigest: z.ZodString;
267
+ platform: z.ZodString;
268
+ architecture: z.ZodString;
269
+ node: z.ZodString;
270
+ tools: z.ZodRecord<z.ZodString, z.ZodObject<{
271
+ executable: z.ZodString;
272
+ identityPath: z.ZodString;
273
+ digest: z.ZodString;
274
+ version: z.ZodString;
275
+ versionArguments: z.ZodArray<z.ZodString>;
276
+ }, z.core.$strict>>;
277
+ collectorDigest: z.ZodString;
278
+ snapshotExcludes: z.ZodTuple<[z.ZodLiteral<".git">, z.ZodLiteral<".testforge">, z.ZodLiteral<".turbo">, z.ZodLiteral<"coverage">, z.ZodLiteral<"node_modules">], null>;
279
+ dependencySnapshot: z.ZodLiteral<"EXCLUDED_NODE_MODULES">;
280
+ }, z.core.$strict>;
281
+ export declare const QualificationProvenanceSchema: z.ZodObject<{
282
+ engineVersion: z.ZodString;
283
+ adapterVersions: z.ZodRecord<z.ZodString, z.ZodString>;
284
+ runtime: z.ZodObject<{
285
+ mechanismDigest: z.ZodString;
286
+ platform: z.ZodString;
287
+ architecture: z.ZodString;
288
+ node: z.ZodString;
289
+ tools: z.ZodRecord<z.ZodString, z.ZodObject<{
290
+ executable: z.ZodString;
291
+ identityPath: z.ZodString;
292
+ digest: z.ZodString;
293
+ version: z.ZodString;
294
+ versionArguments: z.ZodArray<z.ZodString>;
295
+ }, z.core.$strict>>;
296
+ collectorDigest: z.ZodString;
297
+ snapshotExcludes: z.ZodTuple<[z.ZodLiteral<".git">, z.ZodLiteral<".testforge">, z.ZodLiteral<".turbo">, z.ZodLiteral<"coverage">, z.ZodLiteral<"node_modules">], null>;
298
+ dependencySnapshot: z.ZodLiteral<"EXCLUDED_NODE_MODULES">;
299
+ }, z.core.$strict>;
300
+ executionTrust: z.ZodLiteral<"TRUSTED_LOCAL_UNSANDBOXED">;
301
+ }, z.core.$strict>;
302
+ export declare const QualificationCiObservationSchema: z.ZodObject<{
303
+ protocolVersion: z.ZodLiteral<"1.0.0">;
304
+ provider: z.ZodLiteral<"bitbucket">;
305
+ repositoryId: z.ZodString;
306
+ observerId: z.ZodString;
307
+ commit: z.ZodString;
308
+ baseCommit: z.ZodString;
309
+ candidateDigest: z.ZodString;
310
+ inputDigest: z.ZodString;
311
+ planDigest: z.ZodString;
312
+ pipelineId: z.ZodString;
313
+ pipelineUrl: z.ZodString;
314
+ steps: z.ZodArray<z.ZodObject<{
315
+ id: z.ZodString;
316
+ commandDigest: z.ZodString;
317
+ commit: z.ZodString;
318
+ result: z.ZodEnum<{
319
+ FAILURE: "FAILURE";
320
+ SKIPPED: "SKIPPED";
321
+ SUCCESS: "SUCCESS";
322
+ }>;
323
+ }, z.core.$strict>>;
324
+ terminalResult: z.ZodEnum<{
325
+ FAILURE: "FAILURE";
326
+ STOPPED: "STOPPED";
327
+ SUCCESS: "SUCCESS";
328
+ }>;
329
+ signature: z.ZodString;
330
+ }, z.core.$strict>;
331
+ export type QualificationCiObservation = z.infer<typeof QualificationCiObservationSchema>;
332
+ export declare const QualificationAssessmentSchema: z.ZodObject<{
333
+ obligationId: z.ZodString;
334
+ kind: z.ZodString;
335
+ required: z.ZodBoolean;
336
+ status: z.ZodEnum<{
337
+ COVERED: "COVERED";
338
+ OPEN: "OPEN";
339
+ REJECTED: "REJECTED";
340
+ }>;
341
+ reasons: z.ZodArray<z.ZodString>;
342
+ mismatchCheckIds: z.ZodArray<z.ZodString>;
343
+ }, z.core.$strict>;
344
+ export declare const QualificationReceiptSchema: z.ZodObject<{
345
+ schemaVersion: z.ZodLiteral<"1.0.0">;
346
+ plan: z.ZodObject<{
347
+ schemaVersion: z.ZodLiteral<"1.0.0">;
348
+ profileId: z.ZodString;
349
+ subject: z.ZodObject<{
350
+ commit: z.ZodString;
351
+ baseCommit: z.ZodString;
352
+ candidateDigest: z.ZodString;
353
+ inputDigest: z.ZodString;
354
+ }, z.core.$strict>;
355
+ ciTrust: z.ZodOptional<z.ZodObject<{
356
+ repositoryId: z.ZodString;
357
+ observerId: z.ZodString;
358
+ publicKeyPem: z.ZodString;
359
+ requiredSteps: z.ZodArray<z.ZodObject<{
360
+ id: z.ZodString;
361
+ commandDigest: z.ZodString;
362
+ }, z.core.$strict>>;
363
+ }, z.core.$strict>>;
364
+ tools: z.ZodArray<z.ZodObject<{
365
+ id: z.ZodString;
366
+ version: z.ZodString;
367
+ digest: z.ZodString;
368
+ identityPath: z.ZodOptional<z.ZodString>;
369
+ versionCommand: z.ZodOptional<z.ZodObject<{
370
+ executable: z.ZodString;
371
+ arguments: z.ZodArray<z.ZodString>;
372
+ }, z.core.$strict>>;
373
+ }, z.core.$strict>>;
374
+ suites: z.ZodArray<z.ZodObject<{
375
+ id: z.ZodString;
376
+ files: z.ZodArray<z.ZodString>;
377
+ extraction: z.ZodEnum<{
378
+ COMPLETE: "COMPLETE";
379
+ OMITTED: "OMITTED";
380
+ UNAVAILABLE: "UNAVAILABLE";
381
+ }>;
382
+ }, z.core.$strict>>;
383
+ obligations: z.ZodArray<z.ZodObject<{
384
+ id: z.ZodString;
385
+ kind: z.ZodEnum<{
386
+ cache: "cache";
387
+ "ci-config": "ci-config";
388
+ "ci-live": "ci-live";
389
+ "ci-local": "ci-local";
390
+ propagation: "propagation";
391
+ selection: "selection";
392
+ tests: "tests";
393
+ wrapper: "wrapper";
394
+ }>;
395
+ required: z.ZodBoolean;
396
+ suiteIds: z.ZodArray<z.ZodString>;
397
+ checks: z.ZodArray<z.ZodObject<{
398
+ id: z.ZodString;
399
+ actionId: z.ZodString;
400
+ field: z.ZodString;
401
+ expected: z.ZodJSONSchema;
402
+ }, z.core.$strict>>;
403
+ limits: z.ZodArray<z.ZodString>;
404
+ }, z.core.$strict>>;
405
+ actions: z.ZodArray<z.ZodObject<{
406
+ id: z.ZodString;
407
+ adapter: z.ZodEnum<{
408
+ "bun-native": "bun-native";
409
+ "ci-config": "ci-config";
410
+ command: "command";
411
+ "node-test": "node-test";
412
+ turbo: "turbo";
413
+ }>;
414
+ executable: z.ZodString;
415
+ arguments: z.ZodArray<z.ZodString>;
416
+ environment: z.ZodRecord<z.ZodString, z.ZodString>;
417
+ prepareFiles: z.ZodArray<z.ZodObject<{
418
+ path: z.ZodString;
419
+ content: z.ZodString;
420
+ }, z.core.$strict>>;
421
+ removePaths: z.ZodArray<z.ZodString>;
422
+ observe: z.ZodObject<{
423
+ trace: z.ZodBoolean;
424
+ outputs: z.ZodArray<z.ZodString>;
425
+ report: z.ZodNullable<z.ZodString>;
426
+ }, z.core.$strict>;
427
+ }, z.core.$strict>>;
428
+ worlds: z.ZodArray<z.ZodObject<{
429
+ id: z.ZodString;
430
+ kind: z.ZodEnum<{
431
+ NEUTRAL: "NEUTRAL";
432
+ REFERENCE: "REFERENCE";
433
+ TARGET: "TARGET";
434
+ }>;
435
+ files: z.ZodArray<z.ZodObject<{
436
+ path: z.ZodString;
437
+ content: z.ZodString;
438
+ }, z.core.$strict>>;
439
+ discriminants: z.ZodArray<z.ZodObject<{
440
+ obligationId: z.ZodString;
441
+ checkIds: z.ZodArray<z.ZodString>;
442
+ }, z.core.$strict>>;
443
+ }, z.core.$strict>>;
444
+ requiredAttempts: z.ZodInt;
445
+ timeoutMs: z.ZodInt;
446
+ maximumOutputBytes: z.ZodInt;
447
+ isolation: z.ZodObject<{
448
+ kind: z.ZodLiteral<"trusted-local">;
449
+ acknowledgedUnsafeExecution: z.ZodLiteral<true>;
450
+ }, z.core.$strict>;
451
+ allowedCandidatePaths: z.ZodArray<z.ZodString>;
452
+ }, z.core.$strict>;
453
+ planDigest: z.ZodString;
454
+ candidateDigest: z.ZodString;
455
+ observations: z.ZodArray<z.ZodObject<{
456
+ worldId: z.ZodString;
457
+ attempt: z.ZodInt;
458
+ actionId: z.ZodString;
459
+ state: z.ZodEnum<{
460
+ COLLECTION_ERROR: "COLLECTION_ERROR";
461
+ COMPLETED: "COMPLETED";
462
+ CRASH: "CRASH";
463
+ INFRA_ERROR: "INFRA_ERROR";
464
+ NO_TESTS: "NO_TESTS";
465
+ TIMEOUT: "TIMEOUT";
466
+ }>;
467
+ facts: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
468
+ bindingDigest: z.ZodString;
469
+ }, z.core.$strict>>;
470
+ provenance: z.ZodObject<{
471
+ engineVersion: z.ZodString;
472
+ adapterVersions: z.ZodRecord<z.ZodString, z.ZodString>;
473
+ runtime: z.ZodObject<{
474
+ mechanismDigest: z.ZodString;
475
+ platform: z.ZodString;
476
+ architecture: z.ZodString;
477
+ node: z.ZodString;
478
+ tools: z.ZodRecord<z.ZodString, z.ZodObject<{
479
+ executable: z.ZodString;
480
+ identityPath: z.ZodString;
481
+ digest: z.ZodString;
482
+ version: z.ZodString;
483
+ versionArguments: z.ZodArray<z.ZodString>;
484
+ }, z.core.$strict>>;
485
+ collectorDigest: z.ZodString;
486
+ snapshotExcludes: z.ZodTuple<[z.ZodLiteral<".git">, z.ZodLiteral<".testforge">, z.ZodLiteral<".turbo">, z.ZodLiteral<"coverage">, z.ZodLiteral<"node_modules">], null>;
487
+ dependencySnapshot: z.ZodLiteral<"EXCLUDED_NODE_MODULES">;
488
+ }, z.core.$strict>;
489
+ executionTrust: z.ZodLiteral<"TRUSTED_LOCAL_UNSANDBOXED">;
490
+ }, z.core.$strict>;
491
+ externalCi: z.ZodNullable<z.ZodJSONSchema>;
492
+ assessments: z.ZodArray<z.ZodObject<{
493
+ obligationId: z.ZodString;
494
+ kind: z.ZodString;
495
+ required: z.ZodBoolean;
496
+ status: z.ZodEnum<{
497
+ COVERED: "COVERED";
498
+ OPEN: "OPEN";
499
+ REJECTED: "REJECTED";
500
+ }>;
501
+ reasons: z.ZodArray<z.ZodString>;
502
+ mismatchCheckIds: z.ZodArray<z.ZodString>;
503
+ }, z.core.$strict>>;
504
+ coveredGuaranteeIds: z.ZodArray<z.ZodString>;
505
+ openGuaranteeIds: z.ZodArray<z.ZodString>;
506
+ decision: z.ZodEnum<{
507
+ OPEN: "OPEN";
508
+ QUALIFIED: "QUALIFIED";
509
+ REJECTED: "REJECTED";
510
+ }>;
511
+ decisionDigest: z.ZodString;
512
+ artifactDigest: z.ZodString;
513
+ }, z.core.$strict>;
514
+ export type QualificationReceipt = z.infer<typeof QualificationReceiptSchema>;
515
+ export declare const QualificationReplayResultSchema: z.ZodObject<{
516
+ valid: z.ZodBoolean;
517
+ integrityValid: z.ZodBoolean;
518
+ semanticsValid: z.ZodBoolean;
519
+ domainValid: z.ZodBoolean;
520
+ reexecuted: z.ZodLiteral<false>;
521
+ producerAuthenticated: z.ZodLiteral<false>;
522
+ }, z.core.$strict>;
523
+ export type QualificationReplayResult = z.infer<typeof QualificationReplayResultSchema>;
524
+ export declare function qualificationPlanJsonSchema(): Record<string, unknown>;
525
+ export declare function qualificationReceiptJsonSchema(): Record<string, unknown>;
526
+ export declare function qualificationReplayResultJsonSchema(): Record<string, unknown>;
527
+ export declare function qualificationExecutionRequestJsonSchema(): Record<string, unknown>;
528
+ //# sourceMappingURL=qualification.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"qualification.d.ts","sourceRoot":"","sources":["../../src/contracts/qualification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAEzB,uFAAuF;AACvF,eAAO,MAAM,8BAA8B;;;;;;EAMzC,CAAC;AAEH,eAAO,MAAM,uBAAuB,iBAAW,CAAC;AAChD,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAoCxE,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;kBAOzC,CAAC;AACH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,8BAA8B,CAAC,CAAC;AACtF,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAkIlC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAK9C,CAAC;AACH,MAAM,MAAM,6BAA6B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mCAAmC,CAAC,CAAC;AAChG,eAAO,MAAM,iCAAiC;;;;;;;kBAO5C,CAAC;AACH,MAAM,MAAM,2BAA2B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iCAAiC,CAAC,CAAC;AAE5F,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,iBAAiB,CA4FxE;AAYD,eAAO,MAAM,+BAA+B,YAC1C,MAAM,EACN,YAAY,EACZ,QAAQ,EACR,UAAU,EACV,cAAc,CACN,CAAC;AACX,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;kBAwBrC,CAAC;AACH,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;kBAKxC,CAAC;AACH,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAwB3C,CAAC;AACH,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gCAAgC,CAAC,CAAC;AAC1F,eAAO,MAAM,6BAA6B;;;;;;;;;;;kBAOxC,CAAC;AACH,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAcrC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAC9E,eAAO,MAAM,+BAA+B;;;;;;;kBAO1C,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,+BAA+B,CAAC,CAAC;AACxF,wBAAgB,2BAA2B,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAMrE;AACD,wBAAgB,8BAA8B,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAMxE;AACD,wBAAgB,mCAAmC,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAM7E;AACD,wBAAgB,uCAAuC,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAMjF"}