assertledger 1.3.1 → 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.
- package/README.fr.md +6 -3
- package/README.md +6 -3
- package/conformance/schema-extensions.json +15 -0
- package/dist/build-info.json +1 -1
- package/dist/cli.d.ts.map +1 -1
- package/dist/cli.js +218 -8
- package/dist/cli.js.map +1 -1
- package/dist/contracts/index.d.ts +467 -4
- package/dist/contracts/index.d.ts.map +1 -1
- package/dist/contracts/index.js +256 -3
- package/dist/contracts/index.js.map +1 -1
- package/dist/contracts/qualification.d.ts +528 -0
- package/dist/contracts/qualification.d.ts.map +1 -0
- package/dist/contracts/qualification.js +357 -0
- package/dist/contracts/qualification.js.map +1 -0
- package/dist/core/index.d.ts +9 -0
- package/dist/core/index.d.ts.map +1 -1
- package/dist/core/index.js +46 -2
- package/dist/core/index.js.map +1 -1
- package/dist/core/qualification.d.ts +17 -0
- package/dist/core/qualification.d.ts.map +1 -0
- package/dist/core/qualification.js +571 -0
- package/dist/core/qualification.js.map +1 -0
- package/dist/diagnostics.d.ts.map +1 -1
- package/dist/diagnostics.js +81 -4
- package/dist/diagnostics.js.map +1 -1
- package/dist/engine/adapters/bun-native.d.ts +35 -0
- package/dist/engine/adapters/bun-native.d.ts.map +1 -0
- package/dist/engine/adapters/bun-native.js +179 -0
- package/dist/engine/adapters/bun-native.js.map +1 -0
- package/dist/engine/adapters/bun-test-designated-profile.d.ts +23 -0
- package/dist/engine/adapters/bun-test-designated-profile.d.ts.map +1 -0
- package/dist/engine/adapters/bun-test-designated-profile.js +24 -0
- package/dist/engine/adapters/bun-test-designated-profile.js.map +1 -0
- package/dist/engine/container.d.ts +7 -0
- package/dist/engine/container.d.ts.map +1 -1
- package/dist/engine/container.js +22 -7
- package/dist/engine/container.js.map +1 -1
- package/dist/engine/git-regression.d.ts.map +1 -1
- package/dist/engine/git-regression.js +9 -2
- package/dist/engine/git-regression.js.map +1 -1
- package/dist/engine/index.d.ts +14 -0
- package/dist/engine/index.d.ts.map +1 -1
- package/dist/engine/index.js +828 -97
- package/dist/engine/index.js.map +1 -1
- package/dist/engine/qualification.d.ts +154 -0
- package/dist/engine/qualification.d.ts.map +1 -0
- package/dist/engine/qualification.js +725 -0
- package/dist/engine/qualification.js.map +1 -0
- package/dist/engine/test-closure.d.ts +39 -0
- package/dist/engine/test-closure.d.ts.map +1 -0
- package/dist/engine/test-closure.js +513 -0
- package/dist/engine/test-closure.js.map +1 -0
- package/dist/engine/witness-import.d.ts +31 -0
- package/dist/engine/witness-import.d.ts.map +1 -0
- package/dist/engine/witness-import.js +224 -0
- package/dist/engine/witness-import.js.map +1 -0
- package/dist/index.d.ts +3 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +3 -0
- package/dist/index.js.map +1 -1
- package/dist/mcp/index.d.ts.map +1 -1
- package/dist/mcp/index.js +65 -0
- package/dist/mcp/index.js.map +1 -1
- package/dist/sdk/index.d.ts +292 -3
- package/dist/sdk/index.d.ts.map +1 -1
- package/dist/sdk/index.js +39 -1
- package/dist/sdk/index.js.map +1 -1
- package/docs/container-isolation.md +6 -0
- package/docs/migration-orchestration-qualification-v1.md +109 -0
- package/docs/migration-verification-v4.md +94 -0
- package/docs/orchestration-qualification.md +167 -0
- package/docs/reference.md +13 -0
- package/docs/witness-import.md +67 -0
- package/examples/orchestration/README.md +68 -0
- package/examples/orchestration/consumer-obligations.json +101 -0
- package/examples/orchestration/workspace/bitbucket-pipelines.yml +10 -0
- package/examples/orchestration/workspace/command-shape.test.mjs +25 -0
- package/examples/orchestration/workspace/commands.mjs +14 -0
- package/examples/orchestration/workspace/completion.mjs +39 -0
- package/examples/orchestration/workspace/faults.json +1 -0
- package/examples/orchestration/workspace/native.test.ts +4 -0
- package/examples/orchestration/workspace/package.json +6 -0
- package/examples/orchestration/workspace/packages/app/package.json +12 -0
- package/examples/orchestration/workspace/packages/app/verdict.txt +1 -0
- package/examples/orchestration/workspace/packages/leaf/package.json +9 -0
- package/examples/orchestration/workspace/packages/leaf/verdict.txt +1 -0
- package/examples/orchestration/workspace/pnpm-lock.yaml +170 -0
- package/examples/orchestration/workspace/pnpm-workspace.yaml +2 -0
- package/examples/orchestration/workspace/task.mjs +23 -0
- package/examples/orchestration/workspace/turbo.json +38 -0
- package/examples/orchestration/workspace/wrapper.mjs +45 -0
- package/integrations/bun/driver.d.mts +30 -1
- package/integrations/bun/driver.mjs +215 -6
- package/integrations/bun/preload.mjs +186 -5
- package/integrations/bun-native/README.md +86 -0
- package/integrations/bun-native/driver.mjs +396 -0
- package/integrations/bun-native/preload.mjs +375 -0
- package/integrations/skill/SKILL.md +25 -5
- package/package.json +1 -1
- package/schemas/evidence-manifest.v4.json +995 -0
- package/schemas/qualification-execution-request.v1.json +571 -0
- package/schemas/qualification-plan.v1.json +528 -0
- package/schemas/qualification-receipt.v1.json +821 -0
- package/schemas/qualification-replay-result.v1.json +37 -0
- package/schemas/verification-request.v4.json +590 -0
- 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"}
|