@research-engineering/agentic-proofkit 0.6.0 → 0.8.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/ADOPTION.md +17 -1
- package/README.md +19 -8
- package/dist/platform/darwin-arm64/agentic-proofkit +0 -0
- package/dist/platform/darwin-x64/agentic-proofkit +0 -0
- package/dist/platform/linux-arm64/agentic-proofkit +0 -0
- package/dist/platform/linux-x64/agentic-proofkit +0 -0
- package/docs/proofkit-contract-map.md +6 -5
- package/docs/specs/proofkit-package-boundary/overview.md +5 -4
- package/docs/specs/proofkit-package-boundary/requirements.v1.json +2 -2
- package/docs/specs/proofkit-spec-proof-core/overview.md +31 -4
- package/docs/specs/proofkit-spec-proof-core/requirements.v1.json +105 -1
- package/docs/specs/proofkit-supply-chain-quality/overview.md +9 -8
- package/docs/specs/proofkit-supply-chain-quality/requirements.v1.json +3 -3
- package/package.json +1 -1
- package/proofkit/cli-contract.v2.json +819 -135
- package/proofkit/command-families.v1.json +12 -1
- package/proofkit/requirement-bindings.json +759 -0
|
@@ -7,6 +7,13 @@
|
|
|
7
7
|
"failureExitCode": 1,
|
|
8
8
|
"stdout": "Successful JSON commands write exactly one JSON value to stdout unless an admitted explicit output-file flag writes that JSON value to the selected path and leaves stdout empty. Successful text or help commands write text to stdout unless an admitted explicit output-file flag writes the selected representation to the selected path and leaves stdout empty. Commands do not write stderr on success.",
|
|
9
9
|
"stderr": "Argument parsing, unsupported command, input admission, and output serialization failures write human diagnostics to stderr. Failed report commands may still write a machine-readable failed report to stdout when admission succeeds. Opt-in agent-envelope repair packets may write deterministic invalid-input JSON to stdout with exit code 1 and empty stderr.",
|
|
10
|
+
"commandRouteGrammar": {
|
|
11
|
+
"minimumTokens": 1,
|
|
12
|
+
"maximumTokens": 4,
|
|
13
|
+
"separator": " ",
|
|
14
|
+
"tokenPattern": "^[a-z0-9]+(?:-[a-z0-9]+)*$",
|
|
15
|
+
"ambiguityPolicy": "no_route_is_prefix_of_another"
|
|
16
|
+
},
|
|
10
17
|
"globalOptions": {
|
|
11
18
|
"jsonLayout": {
|
|
12
19
|
"flag": "--json-layout",
|
|
@@ -29,12 +36,533 @@
|
|
|
29
36
|
"-h"
|
|
30
37
|
],
|
|
31
38
|
"commandHelpExclusive": true,
|
|
32
|
-
"helpCommandPositionalTarget": "
|
|
39
|
+
"helpCommandPositionalTarget": "optional_supported_command_route",
|
|
33
40
|
"helpCatalogFormsSource": "proofkit/command-families.v1.json",
|
|
34
41
|
"helpReadsCommandInput": false
|
|
35
42
|
}
|
|
36
43
|
},
|
|
37
44
|
"commands": [
|
|
45
|
+
{
|
|
46
|
+
"command": "adopt-materialize-apply",
|
|
47
|
+
"route": [
|
|
48
|
+
"adopt",
|
|
49
|
+
"materialize",
|
|
50
|
+
"apply"
|
|
51
|
+
],
|
|
52
|
+
"input": "required",
|
|
53
|
+
"stdin": true,
|
|
54
|
+
"inputPointer": true,
|
|
55
|
+
"scopeClass": "explicit_filesystem_mutation",
|
|
56
|
+
"outputModes": [
|
|
57
|
+
"json",
|
|
58
|
+
"text"
|
|
59
|
+
],
|
|
60
|
+
"allowedFlags": [
|
|
61
|
+
"--color",
|
|
62
|
+
"--expect-desired-state",
|
|
63
|
+
"--expect-transaction",
|
|
64
|
+
"--format",
|
|
65
|
+
"--input",
|
|
66
|
+
"--input-pointer",
|
|
67
|
+
"--repo-root"
|
|
68
|
+
],
|
|
69
|
+
"requiredFlags": [
|
|
70
|
+
"--expect-desired-state",
|
|
71
|
+
"--expect-transaction",
|
|
72
|
+
"--repo-root"
|
|
73
|
+
],
|
|
74
|
+
"singleOccurrenceFlags": [
|
|
75
|
+
"--color",
|
|
76
|
+
"--expect-desired-state",
|
|
77
|
+
"--expect-transaction",
|
|
78
|
+
"--format",
|
|
79
|
+
"--input",
|
|
80
|
+
"--input-pointer",
|
|
81
|
+
"--repo-root"
|
|
82
|
+
],
|
|
83
|
+
"flagChoices": {
|
|
84
|
+
"--color": [
|
|
85
|
+
"auto",
|
|
86
|
+
"never"
|
|
87
|
+
],
|
|
88
|
+
"--format": [
|
|
89
|
+
"json",
|
|
90
|
+
"text"
|
|
91
|
+
]
|
|
92
|
+
},
|
|
93
|
+
"flagPresenceRequirements": [
|
|
94
|
+
{
|
|
95
|
+
"flag": "--color",
|
|
96
|
+
"requiredFlagValues": [
|
|
97
|
+
{
|
|
98
|
+
"flag": "--format",
|
|
99
|
+
"value": "text"
|
|
100
|
+
}
|
|
101
|
+
],
|
|
102
|
+
"requiredFlags": []
|
|
103
|
+
}
|
|
104
|
+
],
|
|
105
|
+
"inputContract": {
|
|
106
|
+
"contractId": "proofkit.adopt-materialize-apply.input.v1",
|
|
107
|
+
"schemaVersion": 1,
|
|
108
|
+
"rootType": "object",
|
|
109
|
+
"closed": true,
|
|
110
|
+
"rootDefinitionRef": "proofkit.adoption-materialization.apply-input.v1.root-shape",
|
|
111
|
+
"rootDefinitionDigest": "sha256:3dbf760a8f8b0a4093c1dd4edc23367c5ef8027b31c18a01490afb657fcc03ad",
|
|
112
|
+
"nativeSource": {
|
|
113
|
+
"path": "internal/command/adoptionmaterialization",
|
|
114
|
+
"canonicalDigest": "sha256:25fde227d9a26bc6fac85be5963b4f227e5cac06b876b14565a863ff45b40f11",
|
|
115
|
+
"evidenceClass": "source_checkout"
|
|
116
|
+
},
|
|
117
|
+
"nativeAdmissionWitnessSelector": {
|
|
118
|
+
"path": "internal/app/adoption_materialization_command_test.go",
|
|
119
|
+
"test": "TestAdoptionMaterializationCLI",
|
|
120
|
+
"command": "go test ./internal/app -run '^TestAdoptionMaterializationCLI$'",
|
|
121
|
+
"evidenceClass": "source_checkout"
|
|
122
|
+
},
|
|
123
|
+
"compatibilitySummary": [
|
|
124
|
+
"schemaVersion=1",
|
|
125
|
+
"owner-admitted adoption plan, requirement sources, proof bindings, and direct test inventory",
|
|
126
|
+
"root-shape-only definition proofkit.adoption-materialization.apply-input.v1.root-shape; nested fields, types, cardinalities, and cross-record closure remain native-owner claims"
|
|
127
|
+
],
|
|
128
|
+
"ownerRequirementRefs": [
|
|
129
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
130
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
131
|
+
"REQ-PROOFKIT-SPEC-032",
|
|
132
|
+
"REQ-PROOFKIT-SPEC-033"
|
|
133
|
+
]
|
|
134
|
+
},
|
|
135
|
+
"outputContract": {
|
|
136
|
+
"contractId": "proofkit.adopt-materialize-apply.output.v1",
|
|
137
|
+
"schemaVersion": 1,
|
|
138
|
+
"rootType": "object",
|
|
139
|
+
"closed": true,
|
|
140
|
+
"rootDefinitionRef": "proofkit.adoption-materialization.apply-output.v1.root-shape",
|
|
141
|
+
"rootDefinitionDigest": "sha256:4b58bd4e89da98ad79c5e6faf32fe58766313117ad2558b602bfed853de0cf7e",
|
|
142
|
+
"nativeSources": [
|
|
143
|
+
{
|
|
144
|
+
"path": "internal/app",
|
|
145
|
+
"canonicalDigest": "sha256:0195a152392ad4cecd99a2d0c147ee8e25a034a32e4f730033766399a030c5c3",
|
|
146
|
+
"evidenceClass": "source_checkout"
|
|
147
|
+
},
|
|
148
|
+
{
|
|
149
|
+
"path": "internal/command/adoptionmaterialization",
|
|
150
|
+
"canonicalDigest": "sha256:25fde227d9a26bc6fac85be5963b4f227e5cac06b876b14565a863ff45b40f11",
|
|
151
|
+
"evidenceClass": "source_checkout"
|
|
152
|
+
},
|
|
153
|
+
{
|
|
154
|
+
"path": "internal/kernel/repositorytransaction",
|
|
155
|
+
"canonicalDigest": "sha256:a0c1d96df99382bd334cd7ddaa3de2d191c5c7f166ece0c720e3791fec87350f",
|
|
156
|
+
"evidenceClass": "source_checkout"
|
|
157
|
+
}
|
|
158
|
+
],
|
|
159
|
+
"nativeOutputWitnessSelector": {
|
|
160
|
+
"path": "internal/app/adoption_materialization_command_test.go",
|
|
161
|
+
"test": "TestAdoptMaterializeApplyOutputUsesExactRootShape",
|
|
162
|
+
"command": "go test ./internal/app -run '^TestAdoptMaterializeApplyOutputUsesExactRootShape$'",
|
|
163
|
+
"evidenceClass": "source_checkout"
|
|
164
|
+
},
|
|
165
|
+
"compatibilitySummary": [
|
|
166
|
+
"schemaVersion=1",
|
|
167
|
+
"apply receipt binds expected transaction and desired-state identities to the transaction result",
|
|
168
|
+
"JSON receipt and bounded text projection preserve the same operation outcome",
|
|
169
|
+
"root-shape-only definition proofkit.adoption-materialization.apply-output.v1.root-shape; nested fields, types, and cardinalities remain native-owner claims"
|
|
170
|
+
],
|
|
171
|
+
"ownerRequirementRefs": [
|
|
172
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
173
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
174
|
+
"REQ-PROOFKIT-SPEC-032",
|
|
175
|
+
"REQ-PROOFKIT-SPEC-033"
|
|
176
|
+
],
|
|
177
|
+
"flagChoices": {
|
|
178
|
+
"--color": [
|
|
179
|
+
"auto",
|
|
180
|
+
"never"
|
|
181
|
+
],
|
|
182
|
+
"--format": [
|
|
183
|
+
"json",
|
|
184
|
+
"text"
|
|
185
|
+
]
|
|
186
|
+
}
|
|
187
|
+
}
|
|
188
|
+
},
|
|
189
|
+
{
|
|
190
|
+
"command": "adopt-materialize-plan",
|
|
191
|
+
"route": [
|
|
192
|
+
"adopt",
|
|
193
|
+
"materialize",
|
|
194
|
+
"plan"
|
|
195
|
+
],
|
|
196
|
+
"input": "required",
|
|
197
|
+
"stdin": true,
|
|
198
|
+
"inputPointer": true,
|
|
199
|
+
"scopeClass": "explicit_filesystem_scan",
|
|
200
|
+
"outputModes": [
|
|
201
|
+
"json",
|
|
202
|
+
"text"
|
|
203
|
+
],
|
|
204
|
+
"allowedFlags": [
|
|
205
|
+
"--color",
|
|
206
|
+
"--format",
|
|
207
|
+
"--input",
|
|
208
|
+
"--input-pointer",
|
|
209
|
+
"--repo-root"
|
|
210
|
+
],
|
|
211
|
+
"requiredFlags": [
|
|
212
|
+
"--repo-root"
|
|
213
|
+
],
|
|
214
|
+
"singleOccurrenceFlags": [
|
|
215
|
+
"--color",
|
|
216
|
+
"--format",
|
|
217
|
+
"--input",
|
|
218
|
+
"--input-pointer",
|
|
219
|
+
"--repo-root"
|
|
220
|
+
],
|
|
221
|
+
"flagChoices": {
|
|
222
|
+
"--color": [
|
|
223
|
+
"auto",
|
|
224
|
+
"never"
|
|
225
|
+
],
|
|
226
|
+
"--format": [
|
|
227
|
+
"json",
|
|
228
|
+
"text"
|
|
229
|
+
]
|
|
230
|
+
},
|
|
231
|
+
"flagPresenceRequirements": [
|
|
232
|
+
{
|
|
233
|
+
"flag": "--color",
|
|
234
|
+
"requiredFlagValues": [
|
|
235
|
+
{
|
|
236
|
+
"flag": "--format",
|
|
237
|
+
"value": "text"
|
|
238
|
+
}
|
|
239
|
+
],
|
|
240
|
+
"requiredFlags": []
|
|
241
|
+
}
|
|
242
|
+
],
|
|
243
|
+
"inputContract": {
|
|
244
|
+
"contractId": "proofkit.adopt-materialize-plan.input.v1",
|
|
245
|
+
"schemaVersion": 1,
|
|
246
|
+
"rootType": "object",
|
|
247
|
+
"closed": true,
|
|
248
|
+
"rootDefinitionRef": "proofkit.adoption-materialization.plan-input.v1.root-shape",
|
|
249
|
+
"rootDefinitionDigest": "sha256:c18995fb310dbde102bea231d83ec3756ffdf863199acbc88237471d06278c9e",
|
|
250
|
+
"nativeSource": {
|
|
251
|
+
"path": "internal/command/adoptionmaterialization",
|
|
252
|
+
"canonicalDigest": "sha256:25fde227d9a26bc6fac85be5963b4f227e5cac06b876b14565a863ff45b40f11",
|
|
253
|
+
"evidenceClass": "source_checkout"
|
|
254
|
+
},
|
|
255
|
+
"nativeAdmissionWitnessSelector": {
|
|
256
|
+
"path": "internal/app/adoption_materialization_command_test.go",
|
|
257
|
+
"test": "TestAdoptionMaterializationCLI",
|
|
258
|
+
"command": "go test ./internal/app -run '^TestAdoptionMaterializationCLI$'",
|
|
259
|
+
"evidenceClass": "source_checkout"
|
|
260
|
+
},
|
|
261
|
+
"compatibilitySummary": [
|
|
262
|
+
"schemaVersion=1",
|
|
263
|
+
"owner-admitted adoption plan, requirement sources, proof bindings, and direct test inventory",
|
|
264
|
+
"root-shape-only definition proofkit.adoption-materialization.plan-input.v1.root-shape; nested fields, types, cardinalities, and cross-record closure remain native-owner claims"
|
|
265
|
+
],
|
|
266
|
+
"ownerRequirementRefs": [
|
|
267
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
268
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
269
|
+
"REQ-PROOFKIT-SPEC-032",
|
|
270
|
+
"REQ-PROOFKIT-SPEC-033"
|
|
271
|
+
]
|
|
272
|
+
},
|
|
273
|
+
"outputContract": {
|
|
274
|
+
"contractId": "proofkit.adopt-materialize-plan.output.v1",
|
|
275
|
+
"schemaVersion": 1,
|
|
276
|
+
"rootType": "object",
|
|
277
|
+
"closed": true,
|
|
278
|
+
"rootDefinitionRef": "proofkit.adoption-materialization.plan-output.v1.root-shape",
|
|
279
|
+
"rootDefinitionDigest": "sha256:fc0e2d547a5fd54ebebe9d237a48ae15418b32d3d28fa5185aae64a0fba9b255",
|
|
280
|
+
"nativeSources": [
|
|
281
|
+
{
|
|
282
|
+
"path": "internal/app",
|
|
283
|
+
"canonicalDigest": "sha256:0195a152392ad4cecd99a2d0c147ee8e25a034a32e4f730033766399a030c5c3",
|
|
284
|
+
"evidenceClass": "source_checkout"
|
|
285
|
+
},
|
|
286
|
+
{
|
|
287
|
+
"path": "internal/command/adoptionmaterialization",
|
|
288
|
+
"canonicalDigest": "sha256:25fde227d9a26bc6fac85be5963b4f227e5cac06b876b14565a863ff45b40f11",
|
|
289
|
+
"evidenceClass": "source_checkout"
|
|
290
|
+
},
|
|
291
|
+
{
|
|
292
|
+
"path": "internal/kernel/repositorytransaction",
|
|
293
|
+
"canonicalDigest": "sha256:a0c1d96df99382bd334cd7ddaa3de2d191c5c7f166ece0c720e3791fec87350f",
|
|
294
|
+
"evidenceClass": "source_checkout"
|
|
295
|
+
}
|
|
296
|
+
],
|
|
297
|
+
"nativeOutputWitnessSelector": {
|
|
298
|
+
"path": "internal/app/adoption_materialization_command_test.go",
|
|
299
|
+
"test": "TestAdoptMaterializePlanOutputUsesExactRootShape",
|
|
300
|
+
"command": "go test ./internal/app -run '^TestAdoptMaterializePlanOutputUsesExactRootShape$'",
|
|
301
|
+
"evidenceClass": "source_checkout"
|
|
302
|
+
},
|
|
303
|
+
"compatibilitySummary": [
|
|
304
|
+
"schemaVersion=1",
|
|
305
|
+
"read-only content-bound plan with transaction and desired-state identities",
|
|
306
|
+
"JSON plan and bounded text are derived from one admitted typed plan",
|
|
307
|
+
"root-shape-only definition proofkit.adoption-materialization.plan-output.v1.root-shape; nested fields, types, and cardinalities remain native-owner claims"
|
|
308
|
+
],
|
|
309
|
+
"ownerRequirementRefs": [
|
|
310
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
311
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
312
|
+
"REQ-PROOFKIT-SPEC-032",
|
|
313
|
+
"REQ-PROOFKIT-SPEC-033"
|
|
314
|
+
],
|
|
315
|
+
"flagChoices": {
|
|
316
|
+
"--color": [
|
|
317
|
+
"auto",
|
|
318
|
+
"never"
|
|
319
|
+
],
|
|
320
|
+
"--format": [
|
|
321
|
+
"json",
|
|
322
|
+
"text"
|
|
323
|
+
]
|
|
324
|
+
}
|
|
325
|
+
}
|
|
326
|
+
},
|
|
327
|
+
{
|
|
328
|
+
"command": "adopt-materialize-recover",
|
|
329
|
+
"route": [
|
|
330
|
+
"adopt",
|
|
331
|
+
"materialize",
|
|
332
|
+
"recover"
|
|
333
|
+
],
|
|
334
|
+
"input": "none",
|
|
335
|
+
"stdin": false,
|
|
336
|
+
"inputPointer": false,
|
|
337
|
+
"scopeClass": "explicit_filesystem_mutation",
|
|
338
|
+
"outputModes": [
|
|
339
|
+
"json",
|
|
340
|
+
"text"
|
|
341
|
+
],
|
|
342
|
+
"allowedFlags": [
|
|
343
|
+
"--action",
|
|
344
|
+
"--color",
|
|
345
|
+
"--format",
|
|
346
|
+
"--repo-root",
|
|
347
|
+
"--transaction"
|
|
348
|
+
],
|
|
349
|
+
"requiredFlags": [
|
|
350
|
+
"--action",
|
|
351
|
+
"--repo-root",
|
|
352
|
+
"--transaction"
|
|
353
|
+
],
|
|
354
|
+
"singleOccurrenceFlags": [
|
|
355
|
+
"--action",
|
|
356
|
+
"--color",
|
|
357
|
+
"--format",
|
|
358
|
+
"--repo-root",
|
|
359
|
+
"--transaction"
|
|
360
|
+
],
|
|
361
|
+
"flagChoices": {
|
|
362
|
+
"--action": [
|
|
363
|
+
"resume",
|
|
364
|
+
"rollback"
|
|
365
|
+
],
|
|
366
|
+
"--color": [
|
|
367
|
+
"auto",
|
|
368
|
+
"never"
|
|
369
|
+
],
|
|
370
|
+
"--format": [
|
|
371
|
+
"json",
|
|
372
|
+
"text"
|
|
373
|
+
]
|
|
374
|
+
},
|
|
375
|
+
"flagPresenceRequirements": [
|
|
376
|
+
{
|
|
377
|
+
"flag": "--color",
|
|
378
|
+
"requiredFlagValues": [
|
|
379
|
+
{
|
|
380
|
+
"flag": "--format",
|
|
381
|
+
"value": "text"
|
|
382
|
+
}
|
|
383
|
+
],
|
|
384
|
+
"requiredFlags": []
|
|
385
|
+
}
|
|
386
|
+
],
|
|
387
|
+
"outputContract": {
|
|
388
|
+
"contractId": "proofkit.adopt-materialize-recover.output.v1",
|
|
389
|
+
"schemaVersion": 1,
|
|
390
|
+
"rootType": "object",
|
|
391
|
+
"closed": true,
|
|
392
|
+
"rootDefinitionRef": "proofkit.adoption-materialization.recover-output.v1.root-shape",
|
|
393
|
+
"rootDefinitionDigest": "sha256:06129ef857ffb11351535c769f9ca207522a08f3c5bf2da52c6f5fff0b1ac757",
|
|
394
|
+
"nativeSources": [
|
|
395
|
+
{
|
|
396
|
+
"path": "internal/app",
|
|
397
|
+
"canonicalDigest": "sha256:0195a152392ad4cecd99a2d0c147ee8e25a034a32e4f730033766399a030c5c3",
|
|
398
|
+
"evidenceClass": "source_checkout"
|
|
399
|
+
},
|
|
400
|
+
{
|
|
401
|
+
"path": "internal/command/adoptionmaterialization",
|
|
402
|
+
"canonicalDigest": "sha256:25fde227d9a26bc6fac85be5963b4f227e5cac06b876b14565a863ff45b40f11",
|
|
403
|
+
"evidenceClass": "source_checkout"
|
|
404
|
+
},
|
|
405
|
+
{
|
|
406
|
+
"path": "internal/kernel/repositorytransaction",
|
|
407
|
+
"canonicalDigest": "sha256:a0c1d96df99382bd334cd7ddaa3de2d191c5c7f166ece0c720e3791fec87350f",
|
|
408
|
+
"evidenceClass": "source_checkout"
|
|
409
|
+
}
|
|
410
|
+
],
|
|
411
|
+
"nativeOutputWitnessSelector": {
|
|
412
|
+
"path": "internal/app/adoption_materialization_command_test.go",
|
|
413
|
+
"test": "TestAdoptMaterializeRecoverOutputUsesExactRootShape",
|
|
414
|
+
"command": "go test ./internal/app -run '^TestAdoptMaterializeRecoverOutputUsesExactRootShape$'",
|
|
415
|
+
"evidenceClass": "source_checkout"
|
|
416
|
+
},
|
|
417
|
+
"compatibilitySummary": [
|
|
418
|
+
"schemaVersion=1",
|
|
419
|
+
"resume or rollback receipt binds one exact pending transaction identity to its terminal or retained recovery state",
|
|
420
|
+
"JSON receipt and bounded text projection preserve the same operation outcome",
|
|
421
|
+
"root-shape-only definition proofkit.adoption-materialization.recover-output.v1.root-shape; nested fields, types, and cardinalities remain native-owner claims"
|
|
422
|
+
],
|
|
423
|
+
"ownerRequirementRefs": [
|
|
424
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
425
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
426
|
+
"REQ-PROOFKIT-SPEC-032",
|
|
427
|
+
"REQ-PROOFKIT-SPEC-033"
|
|
428
|
+
],
|
|
429
|
+
"flagChoices": {
|
|
430
|
+
"--action": [
|
|
431
|
+
"resume",
|
|
432
|
+
"rollback"
|
|
433
|
+
],
|
|
434
|
+
"--color": [
|
|
435
|
+
"auto",
|
|
436
|
+
"never"
|
|
437
|
+
],
|
|
438
|
+
"--format": [
|
|
439
|
+
"json",
|
|
440
|
+
"text"
|
|
441
|
+
]
|
|
442
|
+
}
|
|
443
|
+
}
|
|
444
|
+
},
|
|
445
|
+
{
|
|
446
|
+
"command": "adopt-plan",
|
|
447
|
+
"route": [
|
|
448
|
+
"adopt",
|
|
449
|
+
"plan"
|
|
450
|
+
],
|
|
451
|
+
"input": "none",
|
|
452
|
+
"stdin": false,
|
|
453
|
+
"inputPointer": false,
|
|
454
|
+
"scopeClass": "explicit_filesystem_scan",
|
|
455
|
+
"outputModes": [
|
|
456
|
+
"json",
|
|
457
|
+
"text"
|
|
458
|
+
],
|
|
459
|
+
"allowedFlags": [
|
|
460
|
+
"--color",
|
|
461
|
+
"--format",
|
|
462
|
+
"--mode",
|
|
463
|
+
"--repo-root",
|
|
464
|
+
"--stack"
|
|
465
|
+
],
|
|
466
|
+
"requiredFlags": [
|
|
467
|
+
"--mode",
|
|
468
|
+
"--repo-root"
|
|
469
|
+
],
|
|
470
|
+
"singleOccurrenceFlags": [
|
|
471
|
+
"--color",
|
|
472
|
+
"--format",
|
|
473
|
+
"--mode",
|
|
474
|
+
"--repo-root",
|
|
475
|
+
"--stack"
|
|
476
|
+
],
|
|
477
|
+
"flagChoices": {
|
|
478
|
+
"--color": [
|
|
479
|
+
"auto",
|
|
480
|
+
"never"
|
|
481
|
+
],
|
|
482
|
+
"--format": [
|
|
483
|
+
"json",
|
|
484
|
+
"text"
|
|
485
|
+
],
|
|
486
|
+
"--mode": [
|
|
487
|
+
"audit-from-code",
|
|
488
|
+
"code-baseline",
|
|
489
|
+
"fresh"
|
|
490
|
+
],
|
|
491
|
+
"--stack": [
|
|
492
|
+
"agentic_runtime_repo",
|
|
493
|
+
"generated_docs_contract_repo",
|
|
494
|
+
"python_service",
|
|
495
|
+
"python_typescript_service",
|
|
496
|
+
"typescript_monorepo",
|
|
497
|
+
"typescript_workspace"
|
|
498
|
+
]
|
|
499
|
+
},
|
|
500
|
+
"flagPresenceRequirements": [
|
|
501
|
+
{
|
|
502
|
+
"flag": "--color",
|
|
503
|
+
"requiredFlagValues": [
|
|
504
|
+
{
|
|
505
|
+
"flag": "--format",
|
|
506
|
+
"value": "text"
|
|
507
|
+
}
|
|
508
|
+
],
|
|
509
|
+
"requiredFlags": []
|
|
510
|
+
}
|
|
511
|
+
],
|
|
512
|
+
"outputContract": {
|
|
513
|
+
"contractId": "proofkit.adopt-plan.output.v1",
|
|
514
|
+
"schemaVersion": 1,
|
|
515
|
+
"rootType": "object",
|
|
516
|
+
"closed": true,
|
|
517
|
+
"rootDefinitionRef": "proofkit.adopt-plan.output.v1.root-shape",
|
|
518
|
+
"rootDefinitionDigest": "sha256:c7bc9d7b70231d57a3066cad755d30aacfbc92fe57ac54d2df5d2ec7ed175a32",
|
|
519
|
+
"nativeSource": {
|
|
520
|
+
"path": "internal/command/adoptionplan",
|
|
521
|
+
"canonicalDigest": "sha256:c34b3405ed178abf711ab3f43562dccb03c1c8d16dcdc00a0462c5197b65dc67",
|
|
522
|
+
"evidenceClass": "source_checkout"
|
|
523
|
+
},
|
|
524
|
+
"nativeOutputWitnessSelector": {
|
|
525
|
+
"path": "internal/command/adoptionplan/adoptionplan_test.go",
|
|
526
|
+
"test": "TestPlanWireAdmissionIsDeterministicAndOwnerClosed",
|
|
527
|
+
"command": "go test ./internal/command/adoptionplan -run '^TestPlanWireAdmissionIsDeterministicAndOwnerClosed$'",
|
|
528
|
+
"evidenceClass": "source_checkout"
|
|
529
|
+
},
|
|
530
|
+
"compatibilitySummary": [
|
|
531
|
+
"schemaVersion=1",
|
|
532
|
+
"JSON adoption plan; text is a bounded derived presentation",
|
|
533
|
+
"root-shape-only definition proofkit.adopt-plan.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
534
|
+
],
|
|
535
|
+
"ownerRequirementRefs": [
|
|
536
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
537
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
538
|
+
"REQ-PROOFKIT-SPEC-029",
|
|
539
|
+
"REQ-PROOFKIT-SPEC-030"
|
|
540
|
+
],
|
|
541
|
+
"flagChoices": {
|
|
542
|
+
"--color": [
|
|
543
|
+
"auto",
|
|
544
|
+
"never"
|
|
545
|
+
],
|
|
546
|
+
"--format": [
|
|
547
|
+
"json",
|
|
548
|
+
"text"
|
|
549
|
+
],
|
|
550
|
+
"--mode": [
|
|
551
|
+
"audit-from-code",
|
|
552
|
+
"code-baseline",
|
|
553
|
+
"fresh"
|
|
554
|
+
],
|
|
555
|
+
"--stack": [
|
|
556
|
+
"agentic_runtime_repo",
|
|
557
|
+
"generated_docs_contract_repo",
|
|
558
|
+
"python_service",
|
|
559
|
+
"python_typescript_service",
|
|
560
|
+
"typescript_monorepo",
|
|
561
|
+
"typescript_workspace"
|
|
562
|
+
]
|
|
563
|
+
}
|
|
564
|
+
}
|
|
565
|
+
},
|
|
38
566
|
{
|
|
39
567
|
"command": "adoption-checklist",
|
|
40
568
|
"input": "required",
|
|
@@ -372,7 +900,7 @@
|
|
|
372
900
|
}
|
|
373
901
|
],
|
|
374
902
|
"inputContract": {
|
|
375
|
-
"contractId": "proofkit.agent-route.input.
|
|
903
|
+
"contractId": "proofkit.agent-route.input.v2",
|
|
376
904
|
"schemaVersion": 1,
|
|
377
905
|
"authority": "agent-route input admission",
|
|
378
906
|
"fields": {
|
|
@@ -528,11 +1056,11 @@
|
|
|
528
1056
|
],
|
|
529
1057
|
"rootType": "object",
|
|
530
1058
|
"closed": true,
|
|
531
|
-
"rootDefinitionRef": "proofkit.agent-route.input.
|
|
532
|
-
"rootDefinitionDigest": "sha256:
|
|
1059
|
+
"rootDefinitionRef": "proofkit.agent-route.input.v2.root-shape",
|
|
1060
|
+
"rootDefinitionDigest": "sha256:7151fa0ac2e070079c0a584b8a04757639d0b6955314a100044a8b471a7602d6",
|
|
533
1061
|
"nativeSource": {
|
|
534
1062
|
"path": "internal/command/agentroute",
|
|
535
|
-
"canonicalDigest": "sha256:
|
|
1063
|
+
"canonicalDigest": "sha256:9fdb6a0fcb98b32fc58f6a1abb95946f1b433cc3022d6f731ae6701462b0d6f2",
|
|
536
1064
|
"evidenceClass": "source_checkout"
|
|
537
1065
|
},
|
|
538
1066
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -552,7 +1080,7 @@
|
|
|
552
1080
|
"openBrowser",
|
|
553
1081
|
"routeId",
|
|
554
1082
|
"schemaVersion",
|
|
555
|
-
"root-shape-only definition proofkit.agent-route.input.
|
|
1083
|
+
"root-shape-only definition proofkit.agent-route.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
556
1084
|
],
|
|
557
1085
|
"ownerRequirementRefs": [
|
|
558
1086
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -657,12 +1185,12 @@
|
|
|
657
1185
|
"nativeSources": [
|
|
658
1186
|
{
|
|
659
1187
|
"path": "internal/app",
|
|
660
|
-
"canonicalDigest": "sha256:
|
|
1188
|
+
"canonicalDigest": "sha256:0195a152392ad4cecd99a2d0c147ee8e25a034a32e4f730033766399a030c5c3",
|
|
661
1189
|
"evidenceClass": "source_checkout"
|
|
662
1190
|
},
|
|
663
1191
|
{
|
|
664
1192
|
"path": "internal/command/agentroute",
|
|
665
|
-
"canonicalDigest": "sha256:
|
|
1193
|
+
"canonicalDigest": "sha256:9fdb6a0fcb98b32fc58f6a1abb95946f1b433cc3022d6f731ae6701462b0d6f2",
|
|
666
1194
|
"evidenceClass": "source_checkout"
|
|
667
1195
|
}
|
|
668
1196
|
],
|
|
@@ -845,7 +1373,7 @@
|
|
|
845
1373
|
"rootDefinitionDigest": "sha256:9b1b0b9b884f84f856db7373844a1988bb7ef0198a9f125219025530ed6054b2",
|
|
846
1374
|
"nativeSource": {
|
|
847
1375
|
"path": "internal/command/capabilitymapadmission",
|
|
848
|
-
"canonicalDigest": "sha256:
|
|
1376
|
+
"canonicalDigest": "sha256:000dc65922353143b40c0a5e7be633ac79c898bb7260cc8a3801db48153b7d43",
|
|
849
1377
|
"evidenceClass": "source_checkout"
|
|
850
1378
|
},
|
|
851
1379
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -873,7 +1401,7 @@
|
|
|
873
1401
|
"rootDefinitionDigest": "sha256:d20d4d55690f7b98768d8bb1c2c313f78bdf9ac8163fa6d1ff694664b2d7d999",
|
|
874
1402
|
"nativeSource": {
|
|
875
1403
|
"path": "internal/command/capabilitymapadmission",
|
|
876
|
-
"canonicalDigest": "sha256:
|
|
1404
|
+
"canonicalDigest": "sha256:000dc65922353143b40c0a5e7be633ac79c898bb7260cc8a3801db48153b7d43",
|
|
877
1405
|
"evidenceClass": "source_checkout"
|
|
878
1406
|
},
|
|
879
1407
|
"nativeOutputWitnessSelector": {
|
|
@@ -1884,75 +2412,11 @@
|
|
|
1884
2412
|
},
|
|
1885
2413
|
"compatibilitySummary": [
|
|
1886
2414
|
"schemaVersion=2",
|
|
1887
|
-
"root-shape-only definition proofkit.impact.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
1888
|
-
],
|
|
1889
|
-
"ownerRequirementRefs": [
|
|
1890
|
-
"REQ-PROOFKIT-PACKAGE-002",
|
|
1891
|
-
"REQ-PROOFKIT-QUALITY-004"
|
|
1892
|
-
]
|
|
1893
|
-
}
|
|
1894
|
-
},
|
|
1895
|
-
{
|
|
1896
|
-
"command": "init",
|
|
1897
|
-
"input": "none",
|
|
1898
|
-
"stdin": false,
|
|
1899
|
-
"inputPointer": false,
|
|
1900
|
-
"scopeClass": "built_in_package_catalog",
|
|
1901
|
-
"outputModes": [
|
|
1902
|
-
"json"
|
|
1903
|
-
],
|
|
1904
|
-
"allowedFlags": [
|
|
1905
|
-
"--preset"
|
|
1906
|
-
],
|
|
1907
|
-
"outputContract": {
|
|
1908
|
-
"contractId": "proofkit.init.output.v1",
|
|
1909
|
-
"schemaVersion": 1,
|
|
1910
|
-
"authority": "dry-run adoption route guidance",
|
|
1911
|
-
"presets": [
|
|
1912
|
-
"all",
|
|
1913
|
-
"change-set",
|
|
1914
|
-
"code-audit",
|
|
1915
|
-
"code-baseline",
|
|
1916
|
-
"fresh",
|
|
1917
|
-
"legacy"
|
|
1918
|
-
],
|
|
1919
|
-
"requiredReportFields": [
|
|
1920
|
-
"diagnostics",
|
|
1921
|
-
"nonClaims",
|
|
1922
|
-
"reportId",
|
|
1923
|
-
"reportKind",
|
|
1924
|
-
"ruleResults",
|
|
1925
|
-
"schemaVersion",
|
|
1926
|
-
"state",
|
|
1927
|
-
"summary"
|
|
1928
|
-
],
|
|
1929
|
-
"nonClaim": "Init does not read repository files, discover tests, write files, create requirements, or approve merge/release/rollout.",
|
|
1930
|
-
"rootType": "object",
|
|
1931
|
-
"closed": true,
|
|
1932
|
-
"rootDefinitionRef": "proofkit.init.output.v1.root-shape",
|
|
1933
|
-
"rootDefinitionDigest": "sha256:9f57ccd7905a2d8cbffeb8cf3495d338ea67c0ebfe66889b4d5ee16434be5f88",
|
|
1934
|
-
"nativeSource": {
|
|
1935
|
-
"path": "internal/command/initplan",
|
|
1936
|
-
"canonicalDigest": "sha256:b7cf7f6d0cf534c062ac6b9aa20129308aae0b1a1716e2be74569a5f2bd7dfcf",
|
|
1937
|
-
"evidenceClass": "source_checkout"
|
|
1938
|
-
},
|
|
1939
|
-
"nativeOutputWitnessSelector": {
|
|
1940
|
-
"path": "internal/app/cli_abi_test.go",
|
|
1941
|
-
"test": "TestCLIABIGoldenCorpus",
|
|
1942
|
-
"command": "go test ./internal/app -run '^TestCLIABIGoldenCorpus$'",
|
|
1943
|
-
"evidenceClass": "source_checkout"
|
|
1944
|
-
},
|
|
1945
|
-
"compatibilitySummary": [
|
|
1946
|
-
"schemaVersion=1",
|
|
1947
|
-
"root-shape-only definition proofkit.init.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
1948
|
-
],
|
|
1949
|
-
"ownerRequirementRefs": [
|
|
1950
|
-
"REQ-PROOFKIT-PACKAGE-002",
|
|
1951
|
-
"REQ-PROOFKIT-QUALITY-004",
|
|
1952
|
-
"REQ-PROOFKIT-QUALITY-021",
|
|
1953
|
-
"REQ-PROOFKIT-SPEC-009",
|
|
1954
|
-
"REQ-PROOFKIT-SPEC-011",
|
|
1955
|
-
"REQ-PROOFKIT-SPEC-012"
|
|
2415
|
+
"root-shape-only definition proofkit.impact.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
2416
|
+
],
|
|
2417
|
+
"ownerRequirementRefs": [
|
|
2418
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
2419
|
+
"REQ-PROOFKIT-QUALITY-004"
|
|
1956
2420
|
]
|
|
1957
2421
|
}
|
|
1958
2422
|
},
|
|
@@ -2001,7 +2465,7 @@
|
|
|
2001
2465
|
"rootDefinitionDigest": "sha256:9378c7663485f39089cf6c39a3d2f778e28b5801637229fe9524a9652a7b0737",
|
|
2002
2466
|
"nativeSource": {
|
|
2003
2467
|
"path": "internal/command/jsonreportcliadaptersource",
|
|
2004
|
-
"canonicalDigest": "sha256:
|
|
2468
|
+
"canonicalDigest": "sha256:e2d464fd22ab51809883622acfe23b35ffe7615701bc8f8672a097fc3b202462",
|
|
2005
2469
|
"evidenceClass": "source_checkout"
|
|
2006
2470
|
},
|
|
2007
2471
|
"nativeOutputWitnessSelector": {
|
|
@@ -2229,7 +2693,7 @@
|
|
|
2229
2693
|
"rootDefinitionDigest": "sha256:218011a133540f57ef74f8748747e00d33b6757c9f77725ecef39f45fb19423f",
|
|
2230
2694
|
"nativeSource": {
|
|
2231
2695
|
"path": "internal/command/nativeevidenceguidance",
|
|
2232
|
-
"canonicalDigest": "sha256:
|
|
2696
|
+
"canonicalDigest": "sha256:dc0f538649d2f097f6cd39dad1db4b11da249206cac1b741a528beab48969974",
|
|
2233
2697
|
"evidenceClass": "source_checkout"
|
|
2234
2698
|
},
|
|
2235
2699
|
"nativeOutputWitnessSelector": {
|
|
@@ -2499,7 +2963,7 @@
|
|
|
2499
2963
|
"nativeSources": [
|
|
2500
2964
|
{
|
|
2501
2965
|
"path": "internal/app",
|
|
2502
|
-
"canonicalDigest": "sha256:
|
|
2966
|
+
"canonicalDigest": "sha256:0195a152392ad4cecd99a2d0c147ee8e25a034a32e4f730033766399a030c5c3",
|
|
2503
2967
|
"evidenceClass": "source_checkout"
|
|
2504
2968
|
},
|
|
2505
2969
|
{
|
|
@@ -3442,6 +3906,54 @@
|
|
|
3442
3906
|
]
|
|
3443
3907
|
}
|
|
3444
3908
|
},
|
|
3909
|
+
{
|
|
3910
|
+
"command": "repository-inventory",
|
|
3911
|
+
"input": "none",
|
|
3912
|
+
"stdin": false,
|
|
3913
|
+
"inputPointer": false,
|
|
3914
|
+
"scopeClass": "explicit_filesystem_scan",
|
|
3915
|
+
"outputModes": [
|
|
3916
|
+
"json"
|
|
3917
|
+
],
|
|
3918
|
+
"allowedFlags": [
|
|
3919
|
+
"--repo-root"
|
|
3920
|
+
],
|
|
3921
|
+
"requiredFlags": [
|
|
3922
|
+
"--repo-root"
|
|
3923
|
+
],
|
|
3924
|
+
"singleOccurrenceFlags": [
|
|
3925
|
+
"--repo-root"
|
|
3926
|
+
],
|
|
3927
|
+
"outputContract": {
|
|
3928
|
+
"contractId": "proofkit.repository-inventory.output.v1",
|
|
3929
|
+
"schemaVersion": 1,
|
|
3930
|
+
"rootType": "object",
|
|
3931
|
+
"closed": true,
|
|
3932
|
+
"rootDefinitionRef": "proofkit.repository-inventory.output.v1.root-shape",
|
|
3933
|
+
"rootDefinitionDigest": "sha256:cc91b8e1a3fb25180165204979ccbc07c378679e2ffe7f85348b3fd38ecbdc8e",
|
|
3934
|
+
"nativeSource": {
|
|
3935
|
+
"path": "internal/command/repositoryinventory",
|
|
3936
|
+
"canonicalDigest": "sha256:4fb3ddaf49f9db46192a5ee2c88552cb60f2eca94197c4046045f48728a99d29",
|
|
3937
|
+
"evidenceClass": "source_checkout"
|
|
3938
|
+
},
|
|
3939
|
+
"nativeOutputWitnessSelector": {
|
|
3940
|
+
"path": "internal/command/repositoryinventory/repositoryinventory_test.go",
|
|
3941
|
+
"test": "TestScanProducesBoundedClosedInventory",
|
|
3942
|
+
"command": "go test ./internal/command/repositoryinventory -run '^TestScanProducesBoundedClosedInventory$'",
|
|
3943
|
+
"evidenceClass": "source_checkout"
|
|
3944
|
+
},
|
|
3945
|
+
"compatibilitySummary": [
|
|
3946
|
+
"schemaVersion=1",
|
|
3947
|
+
"bounded root-catalog observation without manifest or source semantics",
|
|
3948
|
+
"root-shape-only definition proofkit.repository-inventory.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
3949
|
+
],
|
|
3950
|
+
"ownerRequirementRefs": [
|
|
3951
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
3952
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
3953
|
+
"REQ-PROOFKIT-SPEC-028"
|
|
3954
|
+
]
|
|
3955
|
+
}
|
|
3956
|
+
},
|
|
3445
3957
|
{
|
|
3446
3958
|
"command": "requirement-authoring-plan",
|
|
3447
3959
|
"input": "required",
|
|
@@ -4047,7 +4559,7 @@
|
|
|
4047
4559
|
"rootDefinitionDigest": "sha256:f6300d6d0f80f5066fe4079433978132ee2bb1df75e602e59cf3dc37a385d3ce",
|
|
4048
4560
|
"nativeSource": {
|
|
4049
4561
|
"path": "internal/command/requirementcoverageinput",
|
|
4050
|
-
"canonicalDigest": "sha256:
|
|
4562
|
+
"canonicalDigest": "sha256:ca685e4dd96bcd3981443471bcb9ef6f2a74ca2d8c2f9926aba2662bf7876ab4",
|
|
4051
4563
|
"evidenceClass": "source_checkout"
|
|
4052
4564
|
},
|
|
4053
4565
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -4095,7 +4607,7 @@
|
|
|
4095
4607
|
"rootDefinitionDigest": "sha256:0f264c996a058fb8aff102e42b95a4610d3a584b35687cc870b3d16c9589cfed",
|
|
4096
4608
|
"nativeSource": {
|
|
4097
4609
|
"path": "internal/command/requirementcoverageinput",
|
|
4098
|
-
"canonicalDigest": "sha256:
|
|
4610
|
+
"canonicalDigest": "sha256:ca685e4dd96bcd3981443471bcb9ef6f2a74ca2d8c2f9926aba2662bf7876ab4",
|
|
4099
4611
|
"evidenceClass": "source_checkout"
|
|
4100
4612
|
},
|
|
4101
4613
|
"nativeOutputWitnessSelector": {
|
|
@@ -5741,7 +6253,7 @@
|
|
|
5741
6253
|
"rootDefinitionDigest": "sha256:3c842174dff5361e7f83166469b832805e05aa314b073c16234b5b64e346281e",
|
|
5742
6254
|
"nativeSource": {
|
|
5743
6255
|
"path": "internal/app",
|
|
5744
|
-
"canonicalDigest": "sha256:
|
|
6256
|
+
"canonicalDigest": "sha256:0195a152392ad4cecd99a2d0c147ee8e25a034a32e4f730033766399a030c5c3",
|
|
5745
6257
|
"evidenceClass": "source_checkout"
|
|
5746
6258
|
},
|
|
5747
6259
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -5770,7 +6282,7 @@
|
|
|
5770
6282
|
"rootDefinitionDigest": "sha256:0ea95e277ebe44cd2de42c29b47c38686ac0b6b390d8965367437b3fe138e209",
|
|
5771
6283
|
"nativeSource": {
|
|
5772
6284
|
"path": "internal/app",
|
|
5773
|
-
"canonicalDigest": "sha256:
|
|
6285
|
+
"canonicalDigest": "sha256:0195a152392ad4cecd99a2d0c147ee8e25a034a32e4f730033766399a030c5c3",
|
|
5774
6286
|
"evidenceClass": "source_checkout"
|
|
5775
6287
|
},
|
|
5776
6288
|
"nativeOutputWitnessSelector": {
|
|
@@ -5963,7 +6475,7 @@
|
|
|
5963
6475
|
"rootDefinitionDigest": "sha256:338f720a24bd36f4ab34cad9b14d3bd26389119e5c713146f1c4eb019f4a0637",
|
|
5964
6476
|
"nativeSource": {
|
|
5965
6477
|
"path": "internal/command/stackpreset",
|
|
5966
|
-
"canonicalDigest": "sha256:
|
|
6478
|
+
"canonicalDigest": "sha256:15217c3923804206b0a05069566cb7b62787829785d314adcbfaf6637c87f4db",
|
|
5967
6479
|
"evidenceClass": "source_checkout"
|
|
5968
6480
|
},
|
|
5969
6481
|
"nativeOutputWitnessSelector": {
|
|
@@ -6121,7 +6633,7 @@
|
|
|
6121
6633
|
},
|
|
6122
6634
|
{
|
|
6123
6635
|
"path": "internal/command/testevidenceinventory",
|
|
6124
|
-
"canonicalDigest": "sha256:
|
|
6636
|
+
"canonicalDigest": "sha256:5b0a149b1875f3844459420645c9b2fa86a9d7c933c5edd90292192220fcdc33",
|
|
6125
6637
|
"evidenceClass": "source_checkout"
|
|
6126
6638
|
}
|
|
6127
6639
|
],
|
|
@@ -6218,7 +6730,7 @@
|
|
|
6218
6730
|
},
|
|
6219
6731
|
{
|
|
6220
6732
|
"path": "internal/command/testevidenceinventory",
|
|
6221
|
-
"canonicalDigest": "sha256:
|
|
6733
|
+
"canonicalDigest": "sha256:5b0a149b1875f3844459420645c9b2fa86a9d7c933c5edd90292192220fcdc33",
|
|
6222
6734
|
"evidenceClass": "source_checkout"
|
|
6223
6735
|
}
|
|
6224
6736
|
],
|
|
@@ -7007,6 +7519,58 @@
|
|
|
7007
7519
|
}
|
|
7008
7520
|
],
|
|
7009
7521
|
"contractDefinitions": [
|
|
7522
|
+
{
|
|
7523
|
+
"definitionId": "proofkit.adopt-plan.output.v1.root-shape",
|
|
7524
|
+
"schemaVersion": 1,
|
|
7525
|
+
"rootType": "object",
|
|
7526
|
+
"closed": true,
|
|
7527
|
+
"definitionRefs": [],
|
|
7528
|
+
"fieldTree": {
|
|
7529
|
+
"kind": "root_shape_only",
|
|
7530
|
+
"nonClaims": [
|
|
7531
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
7532
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
7533
|
+
],
|
|
7534
|
+
"variants": [
|
|
7535
|
+
{
|
|
7536
|
+
"allowedFields": [
|
|
7537
|
+
"authoringPacket",
|
|
7538
|
+
"authority",
|
|
7539
|
+
"intent",
|
|
7540
|
+
"nonClaims",
|
|
7541
|
+
"planId",
|
|
7542
|
+
"planKind",
|
|
7543
|
+
"repositoryInventory",
|
|
7544
|
+
"schemaVersion",
|
|
7545
|
+
"sourceTrust",
|
|
7546
|
+
"stackHint",
|
|
7547
|
+
"state",
|
|
7548
|
+
"summary"
|
|
7549
|
+
],
|
|
7550
|
+
"requiredFields": [
|
|
7551
|
+
"authoringPacket",
|
|
7552
|
+
"authority",
|
|
7553
|
+
"intent",
|
|
7554
|
+
"nonClaims",
|
|
7555
|
+
"planId",
|
|
7556
|
+
"planKind",
|
|
7557
|
+
"repositoryInventory",
|
|
7558
|
+
"schemaVersion",
|
|
7559
|
+
"sourceTrust",
|
|
7560
|
+
"stackHint",
|
|
7561
|
+
"state",
|
|
7562
|
+
"summary"
|
|
7563
|
+
],
|
|
7564
|
+
"rootKind": "object",
|
|
7565
|
+
"variantId": "01-root",
|
|
7566
|
+
"when": [
|
|
7567
|
+
"default JSON mode"
|
|
7568
|
+
]
|
|
7569
|
+
}
|
|
7570
|
+
]
|
|
7571
|
+
},
|
|
7572
|
+
"canonicalDigest": "sha256:c7bc9d7b70231d57a3066cad755d30aacfbc92fe57ac54d2df5d2ec7ed175a32"
|
|
7573
|
+
},
|
|
7010
7574
|
{
|
|
7011
7575
|
"definitionId": "proofkit.adoption-checklist.input.v1.root-shape",
|
|
7012
7576
|
"schemaVersion": 1,
|
|
@@ -7601,6 +8165,126 @@
|
|
|
7601
8165
|
},
|
|
7602
8166
|
"canonicalDigest": "sha256:90583a47b9bdd605b2d3f24dcb1a5dbb2b4d9da20d7be097da381c9c77229e62"
|
|
7603
8167
|
},
|
|
8168
|
+
{
|
|
8169
|
+
"definitionId": "proofkit.adoption-materialization.apply-input.v1.root-shape",
|
|
8170
|
+
"schemaVersion": 1,
|
|
8171
|
+
"rootType": "object",
|
|
8172
|
+
"closed": true,
|
|
8173
|
+
"definitionRefs": [],
|
|
8174
|
+
"fieldTree": {
|
|
8175
|
+
"kind": "root_shape_only",
|
|
8176
|
+
"nonClaims": [
|
|
8177
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
8178
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
8179
|
+
],
|
|
8180
|
+
"variants": [
|
|
8181
|
+
{
|
|
8182
|
+
"allowedFields": ["nonClaims", "projectId", "requestId", "requestKind", "requirementProofBinding", "requirementSources", "schemaVersion", "sourcePlan", "testEvidenceInventory"],
|
|
8183
|
+
"requiredFields": ["nonClaims", "projectId", "requestId", "requestKind", "requirementProofBinding", "requirementSources", "schemaVersion", "sourcePlan", "testEvidenceInventory"],
|
|
8184
|
+
"rootKind": "object",
|
|
8185
|
+
"variantId": "01-root",
|
|
8186
|
+
"when": ["default JSON input"]
|
|
8187
|
+
}
|
|
8188
|
+
]
|
|
8189
|
+
},
|
|
8190
|
+
"canonicalDigest": "sha256:3dbf760a8f8b0a4093c1dd4edc23367c5ef8027b31c18a01490afb657fcc03ad"
|
|
8191
|
+
},
|
|
8192
|
+
{
|
|
8193
|
+
"definitionId": "proofkit.adoption-materialization.apply-output.v1.root-shape",
|
|
8194
|
+
"schemaVersion": 1,
|
|
8195
|
+
"rootType": "object",
|
|
8196
|
+
"closed": true,
|
|
8197
|
+
"definitionRefs": [],
|
|
8198
|
+
"fieldTree": {
|
|
8199
|
+
"kind": "root_shape_only",
|
|
8200
|
+
"nonClaims": [
|
|
8201
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
8202
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
8203
|
+
],
|
|
8204
|
+
"variants": [
|
|
8205
|
+
{
|
|
8206
|
+
"allowedFields": ["expectedDesiredStateId", "expectedTransactionId", "failureClass", "nonClaims", "operation", "receiptId", "receiptKind", "schemaVersion", "state", "transactionResult"],
|
|
8207
|
+
"requiredFields": ["expectedDesiredStateId", "expectedTransactionId", "failureClass", "nonClaims", "operation", "receiptId", "receiptKind", "schemaVersion", "state", "transactionResult"],
|
|
8208
|
+
"rootKind": "object",
|
|
8209
|
+
"variantId": "01-root",
|
|
8210
|
+
"when": ["default JSON mode"]
|
|
8211
|
+
}
|
|
8212
|
+
]
|
|
8213
|
+
},
|
|
8214
|
+
"canonicalDigest": "sha256:4b58bd4e89da98ad79c5e6faf32fe58766313117ad2558b602bfed853de0cf7e"
|
|
8215
|
+
},
|
|
8216
|
+
{
|
|
8217
|
+
"definitionId": "proofkit.adoption-materialization.plan-input.v1.root-shape",
|
|
8218
|
+
"schemaVersion": 1,
|
|
8219
|
+
"rootType": "object",
|
|
8220
|
+
"closed": true,
|
|
8221
|
+
"definitionRefs": [],
|
|
8222
|
+
"fieldTree": {
|
|
8223
|
+
"kind": "root_shape_only",
|
|
8224
|
+
"nonClaims": [
|
|
8225
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
8226
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
8227
|
+
],
|
|
8228
|
+
"variants": [
|
|
8229
|
+
{
|
|
8230
|
+
"allowedFields": ["nonClaims", "projectId", "requestId", "requestKind", "requirementProofBinding", "requirementSources", "schemaVersion", "sourcePlan", "testEvidenceInventory"],
|
|
8231
|
+
"requiredFields": ["nonClaims", "projectId", "requestId", "requestKind", "requirementProofBinding", "requirementSources", "schemaVersion", "sourcePlan", "testEvidenceInventory"],
|
|
8232
|
+
"rootKind": "object",
|
|
8233
|
+
"variantId": "01-root",
|
|
8234
|
+
"when": ["default JSON input"]
|
|
8235
|
+
}
|
|
8236
|
+
]
|
|
8237
|
+
},
|
|
8238
|
+
"canonicalDigest": "sha256:c18995fb310dbde102bea231d83ec3756ffdf863199acbc88237471d06278c9e"
|
|
8239
|
+
},
|
|
8240
|
+
{
|
|
8241
|
+
"definitionId": "proofkit.adoption-materialization.plan-output.v1.root-shape",
|
|
8242
|
+
"schemaVersion": 1,
|
|
8243
|
+
"rootType": "object",
|
|
8244
|
+
"closed": true,
|
|
8245
|
+
"definitionRefs": [],
|
|
8246
|
+
"fieldTree": {
|
|
8247
|
+
"kind": "root_shape_only",
|
|
8248
|
+
"nonClaims": [
|
|
8249
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
8250
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
8251
|
+
],
|
|
8252
|
+
"variants": [
|
|
8253
|
+
{
|
|
8254
|
+
"allowedFields": ["manifest", "nonClaims", "planKind", "projectId", "requestId", "schemaVersion", "sourceIntent", "sourcePlanId", "state", "transaction"],
|
|
8255
|
+
"requiredFields": ["manifest", "nonClaims", "planKind", "projectId", "requestId", "schemaVersion", "sourceIntent", "sourcePlanId", "state", "transaction"],
|
|
8256
|
+
"rootKind": "object",
|
|
8257
|
+
"variantId": "01-root",
|
|
8258
|
+
"when": ["default JSON mode"]
|
|
8259
|
+
}
|
|
8260
|
+
]
|
|
8261
|
+
},
|
|
8262
|
+
"canonicalDigest": "sha256:fc0e2d547a5fd54ebebe9d237a48ae15418b32d3d28fa5185aae64a0fba9b255"
|
|
8263
|
+
},
|
|
8264
|
+
{
|
|
8265
|
+
"definitionId": "proofkit.adoption-materialization.recover-output.v1.root-shape",
|
|
8266
|
+
"schemaVersion": 1,
|
|
8267
|
+
"rootType": "object",
|
|
8268
|
+
"closed": true,
|
|
8269
|
+
"definitionRefs": [],
|
|
8270
|
+
"fieldTree": {
|
|
8271
|
+
"kind": "root_shape_only",
|
|
8272
|
+
"nonClaims": [
|
|
8273
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
8274
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
8275
|
+
],
|
|
8276
|
+
"variants": [
|
|
8277
|
+
{
|
|
8278
|
+
"allowedFields": ["expectedDesiredStateId", "expectedTransactionId", "failureClass", "nonClaims", "operation", "receiptId", "receiptKind", "schemaVersion", "state", "transactionResult"],
|
|
8279
|
+
"requiredFields": ["expectedDesiredStateId", "expectedTransactionId", "failureClass", "nonClaims", "operation", "receiptId", "receiptKind", "schemaVersion", "state", "transactionResult"],
|
|
8280
|
+
"rootKind": "object",
|
|
8281
|
+
"variantId": "01-root",
|
|
8282
|
+
"when": ["default JSON mode"]
|
|
8283
|
+
}
|
|
8284
|
+
]
|
|
8285
|
+
},
|
|
8286
|
+
"canonicalDigest": "sha256:06129ef857ffb11351535c769f9ca207522a08f3c5bf2da52c6f5fff0b1ac757"
|
|
8287
|
+
},
|
|
7604
8288
|
{
|
|
7605
8289
|
"definitionId": "proofkit.adoption-workflow-plan.input.v1.root-shape",
|
|
7606
8290
|
"schemaVersion": 1,
|
|
@@ -7742,7 +8426,7 @@
|
|
|
7742
8426
|
"canonicalDigest": "sha256:c06f7bfa9c10f73575aa5f927696d41db818697c9a3d320074b7c254011830d5"
|
|
7743
8427
|
},
|
|
7744
8428
|
{
|
|
7745
|
-
"definitionId": "proofkit.agent-route.input.
|
|
8429
|
+
"definitionId": "proofkit.agent-route.input.v2.root-shape",
|
|
7746
8430
|
"schemaVersion": 1,
|
|
7747
8431
|
"rootType": "object",
|
|
7748
8432
|
"closed": true,
|
|
@@ -7781,7 +8465,7 @@
|
|
|
7781
8465
|
}
|
|
7782
8466
|
]
|
|
7783
8467
|
},
|
|
7784
|
-
"canonicalDigest": "sha256:
|
|
8468
|
+
"canonicalDigest": "sha256:7151fa0ac2e070079c0a584b8a04757639d0b6955314a100044a8b471a7602d6"
|
|
7785
8469
|
},
|
|
7786
8470
|
{
|
|
7787
8471
|
"definitionId": "proofkit.agent-route.output.v3.root-shape",
|
|
@@ -9806,50 +10490,6 @@
|
|
|
9806
10490
|
},
|
|
9807
10491
|
"canonicalDigest": "sha256:e6dacd55cace039ca8e24bdec628b1498d0c12bbfcdb60c46854ab2047c3f2d7"
|
|
9808
10492
|
},
|
|
9809
|
-
{
|
|
9810
|
-
"definitionId": "proofkit.init.output.v1.root-shape",
|
|
9811
|
-
"schemaVersion": 1,
|
|
9812
|
-
"rootType": "object",
|
|
9813
|
-
"closed": true,
|
|
9814
|
-
"definitionRefs": [],
|
|
9815
|
-
"fieldTree": {
|
|
9816
|
-
"kind": "root_shape_only",
|
|
9817
|
-
"nonClaims": [
|
|
9818
|
-
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
9819
|
-
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
9820
|
-
],
|
|
9821
|
-
"variants": [
|
|
9822
|
-
{
|
|
9823
|
-
"allowedFields": [
|
|
9824
|
-
"diagnostics",
|
|
9825
|
-
"nonClaims",
|
|
9826
|
-
"reportId",
|
|
9827
|
-
"reportKind",
|
|
9828
|
-
"ruleResults",
|
|
9829
|
-
"schemaVersion",
|
|
9830
|
-
"state",
|
|
9831
|
-
"summary"
|
|
9832
|
-
],
|
|
9833
|
-
"requiredFields": [
|
|
9834
|
-
"diagnostics",
|
|
9835
|
-
"nonClaims",
|
|
9836
|
-
"reportId",
|
|
9837
|
-
"reportKind",
|
|
9838
|
-
"ruleResults",
|
|
9839
|
-
"schemaVersion",
|
|
9840
|
-
"state",
|
|
9841
|
-
"summary"
|
|
9842
|
-
],
|
|
9843
|
-
"rootKind": "object",
|
|
9844
|
-
"variantId": "01-root",
|
|
9845
|
-
"when": [
|
|
9846
|
-
"default JSON mode"
|
|
9847
|
-
]
|
|
9848
|
-
}
|
|
9849
|
-
]
|
|
9850
|
-
},
|
|
9851
|
-
"canonicalDigest": "sha256:9f57ccd7905a2d8cbffeb8cf3495d338ea67c0ebfe66889b4d5ee16434be5f88"
|
|
9852
|
-
},
|
|
9853
10493
|
{
|
|
9854
10494
|
"definitionId": "proofkit.json-report-cli-adapter-source.output.v1.root-shape",
|
|
9855
10495
|
"schemaVersion": 1,
|
|
@@ -11675,6 +12315,50 @@
|
|
|
11675
12315
|
},
|
|
11676
12316
|
"canonicalDigest": "sha256:acf8e7db39bfb1325d83c2cdfe68a7c243847d207e56691a3b2937b28f95d3e7"
|
|
11677
12317
|
},
|
|
12318
|
+
{
|
|
12319
|
+
"definitionId": "proofkit.repository-inventory.output.v1.root-shape",
|
|
12320
|
+
"schemaVersion": 1,
|
|
12321
|
+
"rootType": "object",
|
|
12322
|
+
"closed": true,
|
|
12323
|
+
"definitionRefs": [],
|
|
12324
|
+
"fieldTree": {
|
|
12325
|
+
"kind": "root_shape_only",
|
|
12326
|
+
"nonClaims": [
|
|
12327
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
12328
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
12329
|
+
],
|
|
12330
|
+
"variants": [
|
|
12331
|
+
{
|
|
12332
|
+
"allowedFields": [
|
|
12333
|
+
"entries",
|
|
12334
|
+
"inventoryId",
|
|
12335
|
+
"inventoryKind",
|
|
12336
|
+
"nonClaims",
|
|
12337
|
+
"omissions",
|
|
12338
|
+
"policyId",
|
|
12339
|
+
"schemaVersion",
|
|
12340
|
+
"scope"
|
|
12341
|
+
],
|
|
12342
|
+
"requiredFields": [
|
|
12343
|
+
"entries",
|
|
12344
|
+
"inventoryId",
|
|
12345
|
+
"inventoryKind",
|
|
12346
|
+
"nonClaims",
|
|
12347
|
+
"omissions",
|
|
12348
|
+
"policyId",
|
|
12349
|
+
"schemaVersion",
|
|
12350
|
+
"scope"
|
|
12351
|
+
],
|
|
12352
|
+
"rootKind": "object",
|
|
12353
|
+
"variantId": "01-root",
|
|
12354
|
+
"when": [
|
|
12355
|
+
"default JSON mode"
|
|
12356
|
+
]
|
|
12357
|
+
}
|
|
12358
|
+
]
|
|
12359
|
+
},
|
|
12360
|
+
"canonicalDigest": "sha256:cc91b8e1a3fb25180165204979ccbc07c378679e2ffe7f85348b3fd38ecbdc8e"
|
|
12361
|
+
},
|
|
11678
12362
|
{
|
|
11679
12363
|
"definitionId": "proofkit.requirement-authoring-plan.input.v1.root-shape",
|
|
11680
12364
|
"schemaVersion": 1,
|