assertledger 1.0.0 → 1.1.1

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 (93) hide show
  1. package/README.fr.md +3 -3
  2. package/README.md +3 -3
  3. package/SECURITY.md +11 -6
  4. package/conformance/schema-extensions.json +36 -0
  5. package/dist/build-info.d.ts +16 -0
  6. package/dist/build-info.d.ts.map +1 -0
  7. package/dist/build-info.js +18 -0
  8. package/dist/build-info.js.map +1 -0
  9. package/dist/build-info.json +7 -0
  10. package/dist/cli.d.ts.map +1 -1
  11. package/dist/cli.js +117 -19
  12. package/dist/cli.js.map +1 -1
  13. package/dist/contracts/index.d.ts +943 -0
  14. package/dist/contracts/index.d.ts.map +1 -1
  15. package/dist/contracts/index.js +561 -21
  16. package/dist/contracts/index.js.map +1 -1
  17. package/dist/core/index.d.ts +10 -1
  18. package/dist/core/index.d.ts.map +1 -1
  19. package/dist/core/index.js +484 -8
  20. package/dist/core/index.js.map +1 -1
  21. package/dist/diagnostics.d.ts.map +1 -1
  22. package/dist/diagnostics.js +42 -2
  23. package/dist/diagnostics.js.map +1 -1
  24. package/dist/engine/adapters/node-test-runtime.d.ts +17 -0
  25. package/dist/engine/adapters/node-test-runtime.d.ts.map +1 -1
  26. package/dist/engine/adapters/node-test-runtime.js +45 -23
  27. package/dist/engine/adapters/node-test-runtime.js.map +1 -1
  28. package/dist/engine/container.d.ts +54 -0
  29. package/dist/engine/container.d.ts.map +1 -0
  30. package/dist/engine/container.js +464 -0
  31. package/dist/engine/container.js.map +1 -0
  32. package/dist/engine/git-regression.d.ts +12 -2
  33. package/dist/engine/git-regression.d.ts.map +1 -1
  34. package/dist/engine/git-regression.js +63 -16
  35. package/dist/engine/git-regression.js.map +1 -1
  36. package/dist/engine/index.d.ts +7 -1
  37. package/dist/engine/index.d.ts.map +1 -1
  38. package/dist/engine/index.js +300 -74
  39. package/dist/engine/index.js.map +1 -1
  40. package/dist/mcp/index.d.ts.map +1 -1
  41. package/dist/mcp/index.js +53 -1
  42. package/dist/mcp/index.js.map +1 -1
  43. package/dist/proof-planner/carry-over.d.ts +21 -0
  44. package/dist/proof-planner/carry-over.d.ts.map +1 -0
  45. package/dist/proof-planner/carry-over.js +212 -0
  46. package/dist/proof-planner/carry-over.js.map +1 -0
  47. package/dist/proof-planner/index.d.ts +11 -0
  48. package/dist/proof-planner/index.d.ts.map +1 -0
  49. package/dist/proof-planner/index.js +11 -0
  50. package/dist/proof-planner/index.js.map +1 -0
  51. package/dist/proof-planner/model.d.ts +272 -0
  52. package/dist/proof-planner/model.d.ts.map +1 -0
  53. package/dist/proof-planner/model.js +215 -0
  54. package/dist/proof-planner/model.js.map +1 -0
  55. package/dist/proof-planner/plan.d.ts +140 -0
  56. package/dist/proof-planner/plan.d.ts.map +1 -0
  57. package/dist/proof-planner/plan.js +1124 -0
  58. package/dist/proof-planner/plan.js.map +1 -0
  59. package/dist/proof-planner/policy.d.ts +100 -0
  60. package/dist/proof-planner/policy.d.ts.map +1 -0
  61. package/dist/proof-planner/policy.js +407 -0
  62. package/dist/proof-planner/policy.js.map +1 -0
  63. package/dist/proof-planner/render.d.ts +4 -0
  64. package/dist/proof-planner/render.d.ts.map +1 -0
  65. package/dist/proof-planner/render.js +73 -0
  66. package/dist/proof-planner/render.js.map +1 -0
  67. package/dist/sdk/index.d.ts +16 -6
  68. package/dist/sdk/index.d.ts.map +1 -1
  69. package/dist/sdk/index.js +63 -5
  70. package/dist/sdk/index.js.map +1 -1
  71. package/docs/agentic-test-profile.md +5 -0
  72. package/docs/architecture.md +15 -3
  73. package/docs/ci.md +7 -1
  74. package/docs/conformance-v1.md +11 -2
  75. package/docs/container-isolation.md +156 -0
  76. package/docs/evidence-export.md +146 -0
  77. package/docs/git-regression.md +7 -3
  78. package/docs/migration-timeout-discovery-inconclusive.md +126 -0
  79. package/docs/migration-verification-v2.md +55 -0
  80. package/docs/project-intent.md +3 -2
  81. package/docs/proof-model.md +28 -6
  82. package/docs/proof-planner.md +368 -0
  83. package/docs/reference.md +59 -12
  84. package/docs/roadmap.md +12 -4
  85. package/examples/agentic-profile/profile-manifest.mjs +5 -1
  86. package/examples/evidence-export/consumer.mjs +35 -0
  87. package/package.json +5 -5
  88. package/schemas/evidence-export-replay-result.v1.json +49 -0
  89. package/schemas/evidence-export-request.v1.json +681 -0
  90. package/schemas/evidence-export.v1.json +1479 -0
  91. package/schemas/evidence-manifest.v2.json +886 -0
  92. package/schemas/evidence-provider-manifest.v1.json +269 -0
  93. package/schemas/verification-request.v2.json +457 -0
@@ -0,0 +1,457 @@
1
+ {
2
+ "$schema": "https://json-schema.org/draft/2020-12/schema",
3
+ "type": "object",
4
+ "properties": {
5
+ "schemaVersion": {
6
+ "$ref": "#/$defs/__schema0"
7
+ },
8
+ "repository": {
9
+ "$ref": "#/$defs/__schema1"
10
+ },
11
+ "adapter": {
12
+ "$ref": "#/$defs/__schema3"
13
+ },
14
+ "isolation": {
15
+ "$ref": "#/$defs/__schema7"
16
+ },
17
+ "candidateRoots": {
18
+ "$ref": "#/$defs/__schema10"
19
+ },
20
+ "budgets": {
21
+ "$ref": "#/$defs/__schema12"
22
+ },
23
+ "policy": {
24
+ "$ref": "#/$defs/__schema13"
25
+ },
26
+ "worlds": {
27
+ "$ref": "#/$defs/__schema15"
28
+ },
29
+ "candidates": {
30
+ "$ref": "#/$defs/__schema19"
31
+ }
32
+ },
33
+ "required": [
34
+ "schemaVersion",
35
+ "repository",
36
+ "adapter",
37
+ "isolation",
38
+ "candidateRoots",
39
+ "budgets",
40
+ "policy",
41
+ "worlds",
42
+ "candidates"
43
+ ],
44
+ "additionalProperties": false,
45
+ "title": "AssertLedger verification request v2",
46
+ "description": "A versioned campaign executed either in a digest-pinned container backend or in explicitly acknowledged unsandboxed trusted-local mode.",
47
+ "$defs": {
48
+ "__schema0": {
49
+ "type": "string",
50
+ "const": "2.0.0"
51
+ },
52
+ "__schema1": {
53
+ "type": "object",
54
+ "properties": {
55
+ "root": {
56
+ "type": "string",
57
+ "minLength": 1
58
+ },
59
+ "exclude": {
60
+ "maxItems": 1000,
61
+ "type": "array",
62
+ "items": {
63
+ "$ref": "#/$defs/__schema2"
64
+ }
65
+ }
66
+ },
67
+ "required": ["root", "exclude"],
68
+ "additionalProperties": false
69
+ },
70
+ "__schema2": {
71
+ "type": "string",
72
+ "minLength": 1,
73
+ "maxLength": 512
74
+ },
75
+ "__schema3": {
76
+ "oneOf": [
77
+ {
78
+ "type": "object",
79
+ "properties": {
80
+ "kind": {
81
+ "type": "string",
82
+ "const": "node-test"
83
+ },
84
+ "executable": {
85
+ "type": "string",
86
+ "minLength": 1
87
+ },
88
+ "baseTestFiles": {
89
+ "minItems": 1,
90
+ "maxItems": 1000,
91
+ "type": "array",
92
+ "items": {
93
+ "$ref": "#/$defs/__schema4"
94
+ }
95
+ },
96
+ "extraArguments": {
97
+ "maxItems": 0,
98
+ "type": "array",
99
+ "items": {
100
+ "$ref": "#/$defs/__schema5"
101
+ }
102
+ }
103
+ },
104
+ "required": ["kind", "executable", "baseTestFiles"],
105
+ "additionalProperties": false
106
+ },
107
+ {
108
+ "type": "object",
109
+ "properties": {
110
+ "kind": {
111
+ "type": "string",
112
+ "const": "testforge-command"
113
+ },
114
+ "executable": {
115
+ "type": "string",
116
+ "minLength": 1
117
+ },
118
+ "arguments": {
119
+ "maxItems": 100,
120
+ "type": "array",
121
+ "items": {
122
+ "$ref": "#/$defs/__schema6"
123
+ }
124
+ },
125
+ "protocolVersion": {
126
+ "type": "string",
127
+ "const": "1.0.0"
128
+ }
129
+ },
130
+ "required": ["kind", "executable", "arguments", "protocolVersion"],
131
+ "additionalProperties": false
132
+ }
133
+ ]
134
+ },
135
+ "__schema4": {
136
+ "type": "string",
137
+ "minLength": 1
138
+ },
139
+ "__schema5": {
140
+ "type": "string"
141
+ },
142
+ "__schema6": {
143
+ "type": "string"
144
+ },
145
+ "__schema7": {
146
+ "oneOf": [
147
+ {
148
+ "type": "object",
149
+ "properties": {
150
+ "kind": {
151
+ "type": "string",
152
+ "const": "trusted-local"
153
+ },
154
+ "acknowledgedUnsafeExecution": {
155
+ "type": "boolean"
156
+ },
157
+ "environmentAllowlist": {
158
+ "maxItems": 100,
159
+ "type": "array",
160
+ "items": {
161
+ "$ref": "#/$defs/__schema8"
162
+ }
163
+ }
164
+ },
165
+ "required": ["kind", "acknowledgedUnsafeExecution", "environmentAllowlist"],
166
+ "additionalProperties": false
167
+ },
168
+ {
169
+ "type": "object",
170
+ "properties": {
171
+ "kind": {
172
+ "type": "string",
173
+ "const": "container"
174
+ },
175
+ "image": {
176
+ "type": "string",
177
+ "maxLength": 512,
178
+ "pattern": "^(?:[A-Za-z0-9][A-Za-z0-9.-]*(?::[0-9]{1,5})?\\/)?[a-z0-9]+(?:(?:[._]|__|-+)[a-z0-9]+)*(?:\\/[a-z0-9]+(?:(?:[._]|__|-+)[a-z0-9]+)*)*(?::[A-Za-z0-9_][A-Za-z0-9._-]{0,127})?@sha256:[a-f0-9]{64}$"
179
+ },
180
+ "environment": {
181
+ "maxItems": 100,
182
+ "type": "array",
183
+ "items": {
184
+ "$ref": "#/$defs/__schema9"
185
+ }
186
+ },
187
+ "limits": {
188
+ "type": "object",
189
+ "properties": {
190
+ "memoryBytes": {
191
+ "type": "integer",
192
+ "minimum": 67108864,
193
+ "maximum": 68719476736
194
+ },
195
+ "cpuMillicores": {
196
+ "type": "integer",
197
+ "minimum": 100,
198
+ "maximum": 256000
199
+ },
200
+ "pids": {
201
+ "type": "integer",
202
+ "minimum": 16,
203
+ "maximum": 65536
204
+ },
205
+ "temporaryDirectoryBytes": {
206
+ "type": "integer",
207
+ "minimum": 1048576,
208
+ "maximum": 17179869184
209
+ }
210
+ },
211
+ "required": ["memoryBytes", "cpuMillicores", "pids", "temporaryDirectoryBytes"],
212
+ "additionalProperties": false
213
+ }
214
+ },
215
+ "required": ["kind", "image", "environment", "limits"],
216
+ "additionalProperties": false
217
+ }
218
+ ]
219
+ },
220
+ "__schema8": {
221
+ "type": "string",
222
+ "minLength": 1,
223
+ "maxLength": 128,
224
+ "pattern": "^(?!(?:[Nn][Oo][Dd][Ee]_[Oo][Pp][Tt][Ii][Oo][Nn][Ss]$|[Tt][Ee][Ss][Tt][Ff][Oo][Rr][Gg][Ee]_|[Nn][Oo][Dd][Ee]_[Tt][Ee][Ss][Tt]_)).+$"
225
+ },
226
+ "__schema9": {
227
+ "type": "object",
228
+ "properties": {
229
+ "name": {
230
+ "$ref": "#/$defs/__schema8"
231
+ },
232
+ "value": {
233
+ "type": "string",
234
+ "maxLength": 4096
235
+ }
236
+ },
237
+ "required": ["name", "value"],
238
+ "additionalProperties": false
239
+ },
240
+ "__schema10": {
241
+ "minItems": 1,
242
+ "maxItems": 100,
243
+ "type": "array",
244
+ "items": {
245
+ "$ref": "#/$defs/__schema11"
246
+ }
247
+ },
248
+ "__schema11": {
249
+ "type": "string",
250
+ "minLength": 1,
251
+ "maxLength": 512
252
+ },
253
+ "__schema12": {
254
+ "type": "object",
255
+ "properties": {
256
+ "maximumCandidates": {
257
+ "type": "integer",
258
+ "minimum": 1,
259
+ "maximum": 1000
260
+ },
261
+ "maximumWorlds": {
262
+ "type": "integer",
263
+ "minimum": 3,
264
+ "maximum": 1000
265
+ },
266
+ "maximumExecutions": {
267
+ "type": "integer",
268
+ "minimum": 1,
269
+ "maximum": 1000000
270
+ },
271
+ "maximumRepositoryFiles": {
272
+ "type": "integer",
273
+ "minimum": 1,
274
+ "maximum": 10000000
275
+ },
276
+ "maximumRepositoryBytes": {
277
+ "type": "integer",
278
+ "minimum": 1,
279
+ "maximum": 1000000000000
280
+ },
281
+ "maximumWorldOverlayBytes": {
282
+ "type": "integer",
283
+ "minimum": 1,
284
+ "maximum": 1000000000000
285
+ },
286
+ "maximumCandidateBytes": {
287
+ "type": "integer",
288
+ "minimum": 1,
289
+ "maximum": 100000000
290
+ },
291
+ "maximumTotalCandidateBytes": {
292
+ "type": "integer",
293
+ "minimum": 1,
294
+ "maximum": 100000000000
295
+ },
296
+ "timeoutMsPerExecution": {
297
+ "type": "integer",
298
+ "minimum": 10,
299
+ "maximum": 86400000
300
+ },
301
+ "maximumOutputBytes": {
302
+ "type": "integer",
303
+ "minimum": 128,
304
+ "maximum": 100000000
305
+ }
306
+ },
307
+ "required": [
308
+ "maximumCandidates",
309
+ "maximumWorlds",
310
+ "maximumExecutions",
311
+ "maximumRepositoryFiles",
312
+ "maximumRepositoryBytes",
313
+ "maximumWorldOverlayBytes",
314
+ "maximumCandidateBytes",
315
+ "maximumTotalCandidateBytes",
316
+ "timeoutMsPerExecution",
317
+ "maximumOutputBytes"
318
+ ],
319
+ "additionalProperties": false
320
+ },
321
+ "__schema13": {
322
+ "type": "object",
323
+ "properties": {
324
+ "policyVersion": {
325
+ "type": "string",
326
+ "const": "1.0.0"
327
+ },
328
+ "requiredAttempts": {
329
+ "type": "integer",
330
+ "minimum": 1,
331
+ "maximum": 1000
332
+ },
333
+ "minimumTargetWeightPermille": {
334
+ "type": "integer",
335
+ "minimum": 1,
336
+ "maximum": 1000
337
+ },
338
+ "maximumSelectedCandidates": {
339
+ "type": "integer",
340
+ "minimum": 1,
341
+ "maximum": 1000
342
+ },
343
+ "acceptedTargetOutcomes": {
344
+ "minItems": 1,
345
+ "maxItems": 1,
346
+ "type": "array",
347
+ "items": {
348
+ "$ref": "#/$defs/__schema14"
349
+ }
350
+ }
351
+ },
352
+ "required": [
353
+ "policyVersion",
354
+ "requiredAttempts",
355
+ "minimumTargetWeightPermille",
356
+ "maximumSelectedCandidates",
357
+ "acceptedTargetOutcomes"
358
+ ],
359
+ "additionalProperties": false
360
+ },
361
+ "__schema14": {
362
+ "type": "string",
363
+ "const": "ASSERTION_FAILURE"
364
+ },
365
+ "__schema15": {
366
+ "minItems": 1,
367
+ "maxItems": 1000,
368
+ "type": "array",
369
+ "items": {
370
+ "$ref": "#/$defs/__schema16"
371
+ }
372
+ },
373
+ "__schema16": {
374
+ "type": "object",
375
+ "properties": {
376
+ "id": {
377
+ "$ref": "#/$defs/__schema17"
378
+ },
379
+ "kind": {
380
+ "type": "string",
381
+ "enum": ["REFERENCE", "TARGET", "NEUTRAL"]
382
+ },
383
+ "required": {
384
+ "type": "boolean"
385
+ },
386
+ "weight": {
387
+ "type": "integer",
388
+ "minimum": 0,
389
+ "maximum": 1000000
390
+ },
391
+ "provenance": {
392
+ "type": "string",
393
+ "minLength": 1,
394
+ "maxLength": 1024
395
+ },
396
+ "files": {
397
+ "maxItems": 1000,
398
+ "type": "array",
399
+ "items": {
400
+ "$ref": "#/$defs/__schema18"
401
+ }
402
+ }
403
+ },
404
+ "required": ["id", "kind", "required", "weight", "provenance", "files"],
405
+ "additionalProperties": false
406
+ },
407
+ "__schema17": {
408
+ "type": "string",
409
+ "minLength": 1,
410
+ "maxLength": 128,
411
+ "pattern": "^[A-Za-z0-9][A-Za-z0-9._-]*$"
412
+ },
413
+ "__schema18": {
414
+ "type": "object",
415
+ "properties": {
416
+ "path": {
417
+ "type": "string",
418
+ "minLength": 1,
419
+ "maxLength": 512
420
+ },
421
+ "content": {
422
+ "type": "string",
423
+ "maxLength": 1048576
424
+ }
425
+ },
426
+ "required": ["path", "content"],
427
+ "additionalProperties": false
428
+ },
429
+ "__schema19": {
430
+ "minItems": 1,
431
+ "maxItems": 1000,
432
+ "type": "array",
433
+ "items": {
434
+ "$ref": "#/$defs/__schema20"
435
+ }
436
+ },
437
+ "__schema20": {
438
+ "type": "object",
439
+ "properties": {
440
+ "id": {
441
+ "$ref": "#/$defs/__schema17"
442
+ },
443
+ "files": {
444
+ "minItems": 1,
445
+ "maxItems": 100,
446
+ "type": "array",
447
+ "items": {
448
+ "$ref": "#/$defs/__schema18"
449
+ }
450
+ }
451
+ },
452
+ "required": ["id", "files"],
453
+ "additionalProperties": false
454
+ }
455
+ },
456
+ "$id": "https://testforge.dev/schemas/verification-request.v2.json"
457
+ }