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,269 @@
1
+ {
2
+ "$schema": "https://json-schema.org/draft/2020-12/schema",
3
+ "type": "object",
4
+ "properties": {
5
+ "schemaVersion": {
6
+ "$ref": "#/$defs/__schema0"
7
+ },
8
+ "provider": {
9
+ "$ref": "#/$defs/__schema1"
10
+ },
11
+ "scope": {
12
+ "$ref": "#/$defs/__schema2"
13
+ },
14
+ "formats": {
15
+ "$ref": "#/$defs/__schema3"
16
+ },
17
+ "capabilities": {
18
+ "$ref": "#/$defs/__schema5"
19
+ },
20
+ "adapters": {
21
+ "$ref": "#/$defs/__schema7"
22
+ },
23
+ "cost": {
24
+ "$ref": "#/$defs/__schema9"
25
+ },
26
+ "limits": {
27
+ "$ref": "#/$defs/__schema11"
28
+ },
29
+ "manifestDigest": {
30
+ "$ref": "#/$defs/__schema13"
31
+ }
32
+ },
33
+ "required": [
34
+ "schemaVersion",
35
+ "provider",
36
+ "scope",
37
+ "formats",
38
+ "capabilities",
39
+ "adapters",
40
+ "cost",
41
+ "limits",
42
+ "manifestDigest"
43
+ ],
44
+ "additionalProperties": false,
45
+ "title": "AssertLedger evidence provider manifest",
46
+ "description": "Announced provider identity, capabilities, formats, cost model, and limits. An announced capability never proves that a control ran.",
47
+ "$defs": {
48
+ "__schema0": {
49
+ "type": "string",
50
+ "const": "1.0.0"
51
+ },
52
+ "__schema1": {
53
+ "type": "object",
54
+ "properties": {
55
+ "name": {
56
+ "type": "string",
57
+ "const": "assertledger"
58
+ },
59
+ "version": {
60
+ "type": "string",
61
+ "minLength": 1,
62
+ "maxLength": 128
63
+ },
64
+ "sourceRevision": {
65
+ "oneOf": [
66
+ {
67
+ "type": "object",
68
+ "properties": {
69
+ "status": {
70
+ "type": "string",
71
+ "const": "RECORDED"
72
+ },
73
+ "commit": {
74
+ "type": "string",
75
+ "pattern": "^(?:[a-f0-9]{40}|[a-f0-9]{64})$"
76
+ },
77
+ "worktree": {
78
+ "type": "string",
79
+ "enum": ["CLEAN", "DIRTY"]
80
+ }
81
+ },
82
+ "required": ["status", "commit", "worktree"],
83
+ "additionalProperties": false
84
+ },
85
+ {
86
+ "type": "object",
87
+ "properties": {
88
+ "status": {
89
+ "type": "string",
90
+ "const": "UNKNOWN"
91
+ }
92
+ },
93
+ "required": ["status"],
94
+ "additionalProperties": false
95
+ }
96
+ ]
97
+ }
98
+ },
99
+ "required": ["name", "version", "sourceRevision"],
100
+ "additionalProperties": false
101
+ },
102
+ "__schema2": {
103
+ "type": "string",
104
+ "minLength": 1,
105
+ "maxLength": 2048
106
+ },
107
+ "__schema3": {
108
+ "type": "object",
109
+ "properties": {
110
+ "accepts": {
111
+ "maxItems": 100,
112
+ "type": "array",
113
+ "items": {
114
+ "$ref": "#/$defs/__schema4"
115
+ }
116
+ },
117
+ "emits": {
118
+ "maxItems": 100,
119
+ "type": "array",
120
+ "items": {
121
+ "$ref": "#/$defs/__schema4"
122
+ }
123
+ }
124
+ },
125
+ "required": ["accepts", "emits"],
126
+ "additionalProperties": false
127
+ },
128
+ "__schema4": {
129
+ "type": "object",
130
+ "properties": {
131
+ "schemaId": {
132
+ "type": "string",
133
+ "minLength": 1,
134
+ "maxLength": 512
135
+ },
136
+ "schemaVersion": {
137
+ "type": "string",
138
+ "minLength": 1,
139
+ "maxLength": 128
140
+ }
141
+ },
142
+ "required": ["schemaId", "schemaVersion"],
143
+ "additionalProperties": false
144
+ },
145
+ "__schema5": {
146
+ "maxItems": 100,
147
+ "type": "array",
148
+ "items": {
149
+ "$ref": "#/$defs/__schema6"
150
+ }
151
+ },
152
+ "__schema6": {
153
+ "type": "object",
154
+ "properties": {
155
+ "id": {
156
+ "type": "string",
157
+ "minLength": 1,
158
+ "maxLength": 128,
159
+ "pattern": "^[A-Z][A-Z0-9_]*$"
160
+ },
161
+ "status": {
162
+ "type": "string",
163
+ "enum": ["SUPPORTED", "SUPPORTED_WHEN_RECORDED", "UNSUPPORTED"]
164
+ },
165
+ "modality": {
166
+ "type": "string",
167
+ "enum": ["TEST_OBSERVED", "RECORDED_METADATA", "NONE"]
168
+ },
169
+ "description": {
170
+ "type": "string",
171
+ "minLength": 1,
172
+ "maxLength": 2048
173
+ }
174
+ },
175
+ "required": ["id", "status", "modality", "description"],
176
+ "additionalProperties": false
177
+ },
178
+ "__schema7": {
179
+ "maxItems": 100,
180
+ "type": "array",
181
+ "items": {
182
+ "$ref": "#/$defs/__schema8"
183
+ }
184
+ },
185
+ "__schema8": {
186
+ "type": "object",
187
+ "properties": {
188
+ "kind": {
189
+ "type": "string",
190
+ "enum": ["node-test", "testforge-command"]
191
+ },
192
+ "profileId": {
193
+ "anyOf": [
194
+ {
195
+ "type": "string",
196
+ "minLength": 1,
197
+ "maxLength": 128
198
+ },
199
+ {
200
+ "type": "null"
201
+ }
202
+ ]
203
+ },
204
+ "profileVersion": {
205
+ "anyOf": [
206
+ {
207
+ "type": "string",
208
+ "minLength": 1,
209
+ "maxLength": 128
210
+ },
211
+ {
212
+ "type": "null"
213
+ }
214
+ ]
215
+ },
216
+ "official": {
217
+ "type": "boolean"
218
+ }
219
+ },
220
+ "required": ["kind", "profileId", "profileVersion", "official"],
221
+ "additionalProperties": false
222
+ },
223
+ "__schema9": {
224
+ "type": "object",
225
+ "properties": {
226
+ "unit": {
227
+ "type": "string",
228
+ "const": "PROCESS_EXECUTIONS"
229
+ },
230
+ "estimate": {
231
+ "type": "string",
232
+ "minLength": 1,
233
+ "maxLength": 512
234
+ },
235
+ "assumptions": {
236
+ "maxItems": 100,
237
+ "type": "array",
238
+ "items": {
239
+ "$ref": "#/$defs/__schema10"
240
+ }
241
+ }
242
+ },
243
+ "required": ["unit", "estimate", "assumptions"],
244
+ "additionalProperties": false
245
+ },
246
+ "__schema10": {
247
+ "type": "string",
248
+ "minLength": 1,
249
+ "maxLength": 2048
250
+ },
251
+ "__schema11": {
252
+ "maxItems": 100,
253
+ "type": "array",
254
+ "items": {
255
+ "$ref": "#/$defs/__schema12"
256
+ }
257
+ },
258
+ "__schema12": {
259
+ "type": "string",
260
+ "minLength": 1,
261
+ "maxLength": 2048
262
+ },
263
+ "__schema13": {
264
+ "type": "string",
265
+ "pattern": "^sha256:[a-f0-9]{64}$"
266
+ }
267
+ },
268
+ "$id": "https://testforge.dev/schemas/evidence-provider-manifest.v1.json"
269
+ }