@research-engineering/agentic-proofkit 0.7.0 → 0.9.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/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 +8 -3
- package/docs/specs/proofkit-agent-workflow/overview.md +29 -6
- package/docs/specs/proofkit-agent-workflow/requirements.v1.json +56 -0
- package/docs/specs/proofkit-spec-proof-core/overview.md +16 -0
- package/docs/specs/proofkit-spec-proof-core/requirements.v1.json +53 -1
- package/package.json +1 -1
- package/proofkit/cli-contract.v2.json +819 -21
- package/proofkit/command-families.v1.json +19 -0
- package/proofkit/requirement-bindings.json +822 -0
|
@@ -12,7 +12,8 @@
|
|
|
12
12
|
"maximumTokens": 4,
|
|
13
13
|
"separator": " ",
|
|
14
14
|
"tokenPattern": "^[a-z0-9]+(?:-[a-z0-9]+)*$",
|
|
15
|
-
"ambiguityPolicy": "no_route_is_prefix_of_another"
|
|
15
|
+
"ambiguityPolicy": "no_route_is_prefix_of_another",
|
|
16
|
+
"omittedRoutePolicy": "command_id"
|
|
16
17
|
},
|
|
17
18
|
"globalOptions": {
|
|
18
19
|
"jsonLayout": {
|
|
@@ -42,6 +43,406 @@
|
|
|
42
43
|
}
|
|
43
44
|
},
|
|
44
45
|
"commands": [
|
|
46
|
+
{
|
|
47
|
+
"command": "adopt-materialize-apply",
|
|
48
|
+
"route": [
|
|
49
|
+
"adopt",
|
|
50
|
+
"materialize",
|
|
51
|
+
"apply"
|
|
52
|
+
],
|
|
53
|
+
"input": "required",
|
|
54
|
+
"stdin": true,
|
|
55
|
+
"inputPointer": true,
|
|
56
|
+
"scopeClass": "explicit_filesystem_mutation",
|
|
57
|
+
"outputModes": [
|
|
58
|
+
"json",
|
|
59
|
+
"text"
|
|
60
|
+
],
|
|
61
|
+
"allowedFlags": [
|
|
62
|
+
"--color",
|
|
63
|
+
"--expect-desired-state",
|
|
64
|
+
"--expect-transaction",
|
|
65
|
+
"--format",
|
|
66
|
+
"--input",
|
|
67
|
+
"--input-pointer",
|
|
68
|
+
"--repo-root"
|
|
69
|
+
],
|
|
70
|
+
"requiredFlags": [
|
|
71
|
+
"--expect-desired-state",
|
|
72
|
+
"--expect-transaction",
|
|
73
|
+
"--repo-root"
|
|
74
|
+
],
|
|
75
|
+
"singleOccurrenceFlags": [
|
|
76
|
+
"--color",
|
|
77
|
+
"--expect-desired-state",
|
|
78
|
+
"--expect-transaction",
|
|
79
|
+
"--format",
|
|
80
|
+
"--input",
|
|
81
|
+
"--input-pointer",
|
|
82
|
+
"--repo-root"
|
|
83
|
+
],
|
|
84
|
+
"flagChoices": {
|
|
85
|
+
"--color": [
|
|
86
|
+
"auto",
|
|
87
|
+
"never"
|
|
88
|
+
],
|
|
89
|
+
"--format": [
|
|
90
|
+
"json",
|
|
91
|
+
"text"
|
|
92
|
+
]
|
|
93
|
+
},
|
|
94
|
+
"flagPresenceRequirements": [
|
|
95
|
+
{
|
|
96
|
+
"flag": "--color",
|
|
97
|
+
"requiredFlagValues": [
|
|
98
|
+
{
|
|
99
|
+
"flag": "--format",
|
|
100
|
+
"value": "text"
|
|
101
|
+
}
|
|
102
|
+
],
|
|
103
|
+
"requiredFlags": []
|
|
104
|
+
}
|
|
105
|
+
],
|
|
106
|
+
"inputContract": {
|
|
107
|
+
"contractId": "proofkit.adopt-materialize-apply.input.v1",
|
|
108
|
+
"schemaVersion": 1,
|
|
109
|
+
"rootType": "object",
|
|
110
|
+
"closed": true,
|
|
111
|
+
"rootDefinitionRef": "proofkit.adoption-materialization.apply-input.v1.root-shape",
|
|
112
|
+
"rootDefinitionDigest": "sha256:3dbf760a8f8b0a4093c1dd4edc23367c5ef8027b31c18a01490afb657fcc03ad",
|
|
113
|
+
"nativeSource": {
|
|
114
|
+
"path": "internal/command/adoptionmaterialization",
|
|
115
|
+
"canonicalDigest": "sha256:2940a39db54e51167e3f3373aa38525fc734fddc3902ac7d7ed1fdf326066cfe",
|
|
116
|
+
"evidenceClass": "source_checkout"
|
|
117
|
+
},
|
|
118
|
+
"nativeAdmissionWitnessSelector": {
|
|
119
|
+
"path": "internal/app/adoption_materialization_command_test.go",
|
|
120
|
+
"test": "TestAdoptionMaterializationCLI",
|
|
121
|
+
"command": "go test ./internal/app -run '^TestAdoptionMaterializationCLI$'",
|
|
122
|
+
"evidenceClass": "source_checkout"
|
|
123
|
+
},
|
|
124
|
+
"compatibilitySummary": [
|
|
125
|
+
"schemaVersion=1",
|
|
126
|
+
"owner-admitted adoption plan, requirement sources, proof bindings, and direct test inventory",
|
|
127
|
+
"root-shape-only definition proofkit.adoption-materialization.apply-input.v1.root-shape; nested fields, types, cardinalities, and cross-record closure remain native-owner claims"
|
|
128
|
+
],
|
|
129
|
+
"ownerRequirementRefs": [
|
|
130
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
131
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
132
|
+
"REQ-PROOFKIT-SPEC-032",
|
|
133
|
+
"REQ-PROOFKIT-SPEC-033"
|
|
134
|
+
]
|
|
135
|
+
},
|
|
136
|
+
"outputContract": {
|
|
137
|
+
"contractId": "proofkit.adopt-materialize-apply.output.v1",
|
|
138
|
+
"schemaVersion": 1,
|
|
139
|
+
"rootType": "object",
|
|
140
|
+
"closed": true,
|
|
141
|
+
"rootDefinitionRef": "proofkit.adoption-materialization.apply-output.v1.root-shape",
|
|
142
|
+
"rootDefinitionDigest": "sha256:4b58bd4e89da98ad79c5e6faf32fe58766313117ad2558b602bfed853de0cf7e",
|
|
143
|
+
"nativeSources": [
|
|
144
|
+
{
|
|
145
|
+
"path": "internal/app",
|
|
146
|
+
"canonicalDigest": "sha256:7fa037cfe6147827468954667d103b27796ff43c1d1f74d81be1f545d7534a8e",
|
|
147
|
+
"evidenceClass": "source_checkout"
|
|
148
|
+
},
|
|
149
|
+
{
|
|
150
|
+
"path": "internal/command/adoptionmaterialization",
|
|
151
|
+
"canonicalDigest": "sha256:2940a39db54e51167e3f3373aa38525fc734fddc3902ac7d7ed1fdf326066cfe",
|
|
152
|
+
"evidenceClass": "source_checkout"
|
|
153
|
+
},
|
|
154
|
+
{
|
|
155
|
+
"path": "internal/kernel/repositorytransaction",
|
|
156
|
+
"canonicalDigest": "sha256:fd549a1f5795524d4f7feed3a4ebcef03e3d6fe53d6ce7e8e24ff5014de9a9cd",
|
|
157
|
+
"evidenceClass": "source_checkout"
|
|
158
|
+
}
|
|
159
|
+
],
|
|
160
|
+
"nativeOutputWitnessSelector": {
|
|
161
|
+
"path": "internal/app/adoption_materialization_command_test.go",
|
|
162
|
+
"test": "TestAdoptMaterializeApplyOutputUsesExactRootShape",
|
|
163
|
+
"command": "go test ./internal/app -run '^TestAdoptMaterializeApplyOutputUsesExactRootShape$'",
|
|
164
|
+
"evidenceClass": "source_checkout"
|
|
165
|
+
},
|
|
166
|
+
"compatibilitySummary": [
|
|
167
|
+
"schemaVersion=1",
|
|
168
|
+
"apply receipt binds expected transaction and desired-state identities to the transaction result",
|
|
169
|
+
"JSON receipt and bounded text projection preserve the same operation outcome",
|
|
170
|
+
"root-shape-only definition proofkit.adoption-materialization.apply-output.v1.root-shape; nested fields, types, and cardinalities remain native-owner claims"
|
|
171
|
+
],
|
|
172
|
+
"ownerRequirementRefs": [
|
|
173
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
174
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
175
|
+
"REQ-PROOFKIT-SPEC-032",
|
|
176
|
+
"REQ-PROOFKIT-SPEC-033"
|
|
177
|
+
],
|
|
178
|
+
"flagChoices": {
|
|
179
|
+
"--color": [
|
|
180
|
+
"auto",
|
|
181
|
+
"never"
|
|
182
|
+
],
|
|
183
|
+
"--format": [
|
|
184
|
+
"json",
|
|
185
|
+
"text"
|
|
186
|
+
]
|
|
187
|
+
}
|
|
188
|
+
}
|
|
189
|
+
},
|
|
190
|
+
{
|
|
191
|
+
"command": "adopt-materialize-plan",
|
|
192
|
+
"route": [
|
|
193
|
+
"adopt",
|
|
194
|
+
"materialize",
|
|
195
|
+
"plan"
|
|
196
|
+
],
|
|
197
|
+
"input": "required",
|
|
198
|
+
"stdin": true,
|
|
199
|
+
"inputPointer": true,
|
|
200
|
+
"scopeClass": "explicit_filesystem_scan",
|
|
201
|
+
"outputModes": [
|
|
202
|
+
"json",
|
|
203
|
+
"text"
|
|
204
|
+
],
|
|
205
|
+
"allowedFlags": [
|
|
206
|
+
"--color",
|
|
207
|
+
"--format",
|
|
208
|
+
"--input",
|
|
209
|
+
"--input-pointer",
|
|
210
|
+
"--repo-root"
|
|
211
|
+
],
|
|
212
|
+
"requiredFlags": [
|
|
213
|
+
"--repo-root"
|
|
214
|
+
],
|
|
215
|
+
"singleOccurrenceFlags": [
|
|
216
|
+
"--color",
|
|
217
|
+
"--format",
|
|
218
|
+
"--input",
|
|
219
|
+
"--input-pointer",
|
|
220
|
+
"--repo-root"
|
|
221
|
+
],
|
|
222
|
+
"flagChoices": {
|
|
223
|
+
"--color": [
|
|
224
|
+
"auto",
|
|
225
|
+
"never"
|
|
226
|
+
],
|
|
227
|
+
"--format": [
|
|
228
|
+
"json",
|
|
229
|
+
"text"
|
|
230
|
+
]
|
|
231
|
+
},
|
|
232
|
+
"flagPresenceRequirements": [
|
|
233
|
+
{
|
|
234
|
+
"flag": "--color",
|
|
235
|
+
"requiredFlagValues": [
|
|
236
|
+
{
|
|
237
|
+
"flag": "--format",
|
|
238
|
+
"value": "text"
|
|
239
|
+
}
|
|
240
|
+
],
|
|
241
|
+
"requiredFlags": []
|
|
242
|
+
}
|
|
243
|
+
],
|
|
244
|
+
"inputContract": {
|
|
245
|
+
"contractId": "proofkit.adopt-materialize-plan.input.v1",
|
|
246
|
+
"schemaVersion": 1,
|
|
247
|
+
"rootType": "object",
|
|
248
|
+
"closed": true,
|
|
249
|
+
"rootDefinitionRef": "proofkit.adoption-materialization.plan-input.v1.root-shape",
|
|
250
|
+
"rootDefinitionDigest": "sha256:c18995fb310dbde102bea231d83ec3756ffdf863199acbc88237471d06278c9e",
|
|
251
|
+
"nativeSource": {
|
|
252
|
+
"path": "internal/command/adoptionmaterialization",
|
|
253
|
+
"canonicalDigest": "sha256:2940a39db54e51167e3f3373aa38525fc734fddc3902ac7d7ed1fdf326066cfe",
|
|
254
|
+
"evidenceClass": "source_checkout"
|
|
255
|
+
},
|
|
256
|
+
"nativeAdmissionWitnessSelector": {
|
|
257
|
+
"path": "internal/app/adoption_materialization_command_test.go",
|
|
258
|
+
"test": "TestAdoptionMaterializationCLI",
|
|
259
|
+
"command": "go test ./internal/app -run '^TestAdoptionMaterializationCLI$'",
|
|
260
|
+
"evidenceClass": "source_checkout"
|
|
261
|
+
},
|
|
262
|
+
"compatibilitySummary": [
|
|
263
|
+
"schemaVersion=1",
|
|
264
|
+
"owner-admitted adoption plan, requirement sources, proof bindings, and direct test inventory",
|
|
265
|
+
"root-shape-only definition proofkit.adoption-materialization.plan-input.v1.root-shape; nested fields, types, cardinalities, and cross-record closure remain native-owner claims"
|
|
266
|
+
],
|
|
267
|
+
"ownerRequirementRefs": [
|
|
268
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
269
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
270
|
+
"REQ-PROOFKIT-SPEC-032",
|
|
271
|
+
"REQ-PROOFKIT-SPEC-033"
|
|
272
|
+
]
|
|
273
|
+
},
|
|
274
|
+
"outputContract": {
|
|
275
|
+
"contractId": "proofkit.adopt-materialize-plan.output.v1",
|
|
276
|
+
"schemaVersion": 1,
|
|
277
|
+
"rootType": "object",
|
|
278
|
+
"closed": true,
|
|
279
|
+
"rootDefinitionRef": "proofkit.adoption-materialization.plan-output.v1.root-shape",
|
|
280
|
+
"rootDefinitionDigest": "sha256:fc0e2d547a5fd54ebebe9d237a48ae15418b32d3d28fa5185aae64a0fba9b255",
|
|
281
|
+
"nativeSources": [
|
|
282
|
+
{
|
|
283
|
+
"path": "internal/app",
|
|
284
|
+
"canonicalDigest": "sha256:7fa037cfe6147827468954667d103b27796ff43c1d1f74d81be1f545d7534a8e",
|
|
285
|
+
"evidenceClass": "source_checkout"
|
|
286
|
+
},
|
|
287
|
+
{
|
|
288
|
+
"path": "internal/command/adoptionmaterialization",
|
|
289
|
+
"canonicalDigest": "sha256:2940a39db54e51167e3f3373aa38525fc734fddc3902ac7d7ed1fdf326066cfe",
|
|
290
|
+
"evidenceClass": "source_checkout"
|
|
291
|
+
},
|
|
292
|
+
{
|
|
293
|
+
"path": "internal/kernel/repositorytransaction",
|
|
294
|
+
"canonicalDigest": "sha256:fd549a1f5795524d4f7feed3a4ebcef03e3d6fe53d6ce7e8e24ff5014de9a9cd",
|
|
295
|
+
"evidenceClass": "source_checkout"
|
|
296
|
+
}
|
|
297
|
+
],
|
|
298
|
+
"nativeOutputWitnessSelector": {
|
|
299
|
+
"path": "internal/app/adoption_materialization_command_test.go",
|
|
300
|
+
"test": "TestAdoptMaterializePlanOutputUsesExactRootShape",
|
|
301
|
+
"command": "go test ./internal/app -run '^TestAdoptMaterializePlanOutputUsesExactRootShape$'",
|
|
302
|
+
"evidenceClass": "source_checkout"
|
|
303
|
+
},
|
|
304
|
+
"compatibilitySummary": [
|
|
305
|
+
"schemaVersion=1",
|
|
306
|
+
"read-only content-bound plan with transaction and desired-state identities",
|
|
307
|
+
"JSON plan and bounded text are derived from one admitted typed plan",
|
|
308
|
+
"root-shape-only definition proofkit.adoption-materialization.plan-output.v1.root-shape; nested fields, types, and cardinalities remain native-owner claims"
|
|
309
|
+
],
|
|
310
|
+
"ownerRequirementRefs": [
|
|
311
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
312
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
313
|
+
"REQ-PROOFKIT-SPEC-032",
|
|
314
|
+
"REQ-PROOFKIT-SPEC-033"
|
|
315
|
+
],
|
|
316
|
+
"flagChoices": {
|
|
317
|
+
"--color": [
|
|
318
|
+
"auto",
|
|
319
|
+
"never"
|
|
320
|
+
],
|
|
321
|
+
"--format": [
|
|
322
|
+
"json",
|
|
323
|
+
"text"
|
|
324
|
+
]
|
|
325
|
+
}
|
|
326
|
+
}
|
|
327
|
+
},
|
|
328
|
+
{
|
|
329
|
+
"command": "adopt-materialize-recover",
|
|
330
|
+
"route": [
|
|
331
|
+
"adopt",
|
|
332
|
+
"materialize",
|
|
333
|
+
"recover"
|
|
334
|
+
],
|
|
335
|
+
"input": "none",
|
|
336
|
+
"stdin": false,
|
|
337
|
+
"inputPointer": false,
|
|
338
|
+
"scopeClass": "explicit_filesystem_mutation",
|
|
339
|
+
"outputModes": [
|
|
340
|
+
"json",
|
|
341
|
+
"text"
|
|
342
|
+
],
|
|
343
|
+
"allowedFlags": [
|
|
344
|
+
"--action",
|
|
345
|
+
"--color",
|
|
346
|
+
"--format",
|
|
347
|
+
"--repo-root",
|
|
348
|
+
"--transaction"
|
|
349
|
+
],
|
|
350
|
+
"requiredFlags": [
|
|
351
|
+
"--action",
|
|
352
|
+
"--repo-root",
|
|
353
|
+
"--transaction"
|
|
354
|
+
],
|
|
355
|
+
"singleOccurrenceFlags": [
|
|
356
|
+
"--action",
|
|
357
|
+
"--color",
|
|
358
|
+
"--format",
|
|
359
|
+
"--repo-root",
|
|
360
|
+
"--transaction"
|
|
361
|
+
],
|
|
362
|
+
"flagChoices": {
|
|
363
|
+
"--action": [
|
|
364
|
+
"resume",
|
|
365
|
+
"rollback"
|
|
366
|
+
],
|
|
367
|
+
"--color": [
|
|
368
|
+
"auto",
|
|
369
|
+
"never"
|
|
370
|
+
],
|
|
371
|
+
"--format": [
|
|
372
|
+
"json",
|
|
373
|
+
"text"
|
|
374
|
+
]
|
|
375
|
+
},
|
|
376
|
+
"flagPresenceRequirements": [
|
|
377
|
+
{
|
|
378
|
+
"flag": "--color",
|
|
379
|
+
"requiredFlagValues": [
|
|
380
|
+
{
|
|
381
|
+
"flag": "--format",
|
|
382
|
+
"value": "text"
|
|
383
|
+
}
|
|
384
|
+
],
|
|
385
|
+
"requiredFlags": []
|
|
386
|
+
}
|
|
387
|
+
],
|
|
388
|
+
"outputContract": {
|
|
389
|
+
"contractId": "proofkit.adopt-materialize-recover.output.v1",
|
|
390
|
+
"schemaVersion": 1,
|
|
391
|
+
"rootType": "object",
|
|
392
|
+
"closed": true,
|
|
393
|
+
"rootDefinitionRef": "proofkit.adoption-materialization.recover-output.v1.root-shape",
|
|
394
|
+
"rootDefinitionDigest": "sha256:06129ef857ffb11351535c769f9ca207522a08f3c5bf2da52c6f5fff0b1ac757",
|
|
395
|
+
"nativeSources": [
|
|
396
|
+
{
|
|
397
|
+
"path": "internal/app",
|
|
398
|
+
"canonicalDigest": "sha256:7fa037cfe6147827468954667d103b27796ff43c1d1f74d81be1f545d7534a8e",
|
|
399
|
+
"evidenceClass": "source_checkout"
|
|
400
|
+
},
|
|
401
|
+
{
|
|
402
|
+
"path": "internal/command/adoptionmaterialization",
|
|
403
|
+
"canonicalDigest": "sha256:2940a39db54e51167e3f3373aa38525fc734fddc3902ac7d7ed1fdf326066cfe",
|
|
404
|
+
"evidenceClass": "source_checkout"
|
|
405
|
+
},
|
|
406
|
+
{
|
|
407
|
+
"path": "internal/kernel/repositorytransaction",
|
|
408
|
+
"canonicalDigest": "sha256:fd549a1f5795524d4f7feed3a4ebcef03e3d6fe53d6ce7e8e24ff5014de9a9cd",
|
|
409
|
+
"evidenceClass": "source_checkout"
|
|
410
|
+
}
|
|
411
|
+
],
|
|
412
|
+
"nativeOutputWitnessSelector": {
|
|
413
|
+
"path": "internal/app/adoption_materialization_command_test.go",
|
|
414
|
+
"test": "TestAdoptMaterializeRecoverOutputUsesExactRootShape",
|
|
415
|
+
"command": "go test ./internal/app -run '^TestAdoptMaterializeRecoverOutputUsesExactRootShape$'",
|
|
416
|
+
"evidenceClass": "source_checkout"
|
|
417
|
+
},
|
|
418
|
+
"compatibilitySummary": [
|
|
419
|
+
"schemaVersion=1",
|
|
420
|
+
"resume or rollback receipt binds one exact pending transaction identity to its terminal or retained recovery state",
|
|
421
|
+
"JSON receipt and bounded text projection preserve the same operation outcome",
|
|
422
|
+
"root-shape-only definition proofkit.adoption-materialization.recover-output.v1.root-shape; nested fields, types, and cardinalities remain native-owner claims"
|
|
423
|
+
],
|
|
424
|
+
"ownerRequirementRefs": [
|
|
425
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
426
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
427
|
+
"REQ-PROOFKIT-SPEC-032",
|
|
428
|
+
"REQ-PROOFKIT-SPEC-033"
|
|
429
|
+
],
|
|
430
|
+
"flagChoices": {
|
|
431
|
+
"--action": [
|
|
432
|
+
"resume",
|
|
433
|
+
"rollback"
|
|
434
|
+
],
|
|
435
|
+
"--color": [
|
|
436
|
+
"auto",
|
|
437
|
+
"never"
|
|
438
|
+
],
|
|
439
|
+
"--format": [
|
|
440
|
+
"json",
|
|
441
|
+
"text"
|
|
442
|
+
]
|
|
443
|
+
}
|
|
444
|
+
}
|
|
445
|
+
},
|
|
45
446
|
{
|
|
46
447
|
"command": "adopt-plan",
|
|
47
448
|
"route": [
|
|
@@ -785,7 +1186,7 @@
|
|
|
785
1186
|
"nativeSources": [
|
|
786
1187
|
{
|
|
787
1188
|
"path": "internal/app",
|
|
788
|
-
"canonicalDigest": "sha256:
|
|
1189
|
+
"canonicalDigest": "sha256:7fa037cfe6147827468954667d103b27796ff43c1d1f74d81be1f545d7534a8e",
|
|
789
1190
|
"evidenceClass": "source_checkout"
|
|
790
1191
|
},
|
|
791
1192
|
{
|
|
@@ -1023,6 +1424,10 @@
|
|
|
1023
1424
|
},
|
|
1024
1425
|
{
|
|
1025
1426
|
"command": "change-workflow-plan",
|
|
1427
|
+
"route": [
|
|
1428
|
+
"change",
|
|
1429
|
+
"plan"
|
|
1430
|
+
],
|
|
1026
1431
|
"input": "required",
|
|
1027
1432
|
"stdin": true,
|
|
1028
1433
|
"inputPointer": true,
|
|
@@ -2292,29 +2697,118 @@
|
|
|
2292
2697
|
"rootDefinitionRef": "proofkit.native-evidence-guidance.output.v1.root-shape",
|
|
2293
2698
|
"rootDefinitionDigest": "sha256:218011a133540f57ef74f8748747e00d33b6757c9f77725ecef39f45fb19423f",
|
|
2294
2699
|
"nativeSource": {
|
|
2295
|
-
"path": "internal/command/nativeevidenceguidance",
|
|
2296
|
-
"canonicalDigest": "sha256:dc0f538649d2f097f6cd39dad1db4b11da249206cac1b741a528beab48969974",
|
|
2700
|
+
"path": "internal/command/nativeevidenceguidance",
|
|
2701
|
+
"canonicalDigest": "sha256:dc0f538649d2f097f6cd39dad1db4b11da249206cac1b741a528beab48969974",
|
|
2702
|
+
"evidenceClass": "source_checkout"
|
|
2703
|
+
},
|
|
2704
|
+
"nativeOutputWitnessSelector": {
|
|
2705
|
+
"path": "internal/command/nativeevidenceguidance/guidance_test.go",
|
|
2706
|
+
"test": "TestGuidanceSlotPredicates",
|
|
2707
|
+
"command": "go test ./internal/command/nativeevidenceguidance -run '^TestGuidanceSlotPredicates$'",
|
|
2708
|
+
"evidenceClass": "source_checkout"
|
|
2709
|
+
},
|
|
2710
|
+
"compatibilitySummary": [
|
|
2711
|
+
"schemaVersion=1",
|
|
2712
|
+
"JSON guidance report; text is a bounded derived presentation",
|
|
2713
|
+
"root-shape-only definition proofkit.native-evidence-guidance.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
2714
|
+
],
|
|
2715
|
+
"ownerRequirementRefs": [
|
|
2716
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
2717
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
2718
|
+
"REQ-PROOFKIT-WORKFLOW-007",
|
|
2719
|
+
"REQ-PROOFKIT-WORKFLOW-008",
|
|
2720
|
+
"REQ-PROOFKIT-WORKFLOW-009",
|
|
2721
|
+
"REQ-PROOFKIT-WORKFLOW-010",
|
|
2722
|
+
"REQ-PROOFKIT-WORKFLOW-011"
|
|
2723
|
+
],
|
|
2724
|
+
"flagChoices": {
|
|
2725
|
+
"--color": [
|
|
2726
|
+
"auto",
|
|
2727
|
+
"never"
|
|
2728
|
+
],
|
|
2729
|
+
"--format": [
|
|
2730
|
+
"json",
|
|
2731
|
+
"text"
|
|
2732
|
+
]
|
|
2733
|
+
}
|
|
2734
|
+
}
|
|
2735
|
+
},
|
|
2736
|
+
{
|
|
2737
|
+
"command": "next",
|
|
2738
|
+
"input": "none",
|
|
2739
|
+
"stdin": false,
|
|
2740
|
+
"inputPointer": false,
|
|
2741
|
+
"scopeClass": "explicit_filesystem_scan",
|
|
2742
|
+
"outputModes": [
|
|
2743
|
+
"json",
|
|
2744
|
+
"text"
|
|
2745
|
+
],
|
|
2746
|
+
"allowedFlags": [
|
|
2747
|
+
"--color",
|
|
2748
|
+
"--format",
|
|
2749
|
+
"--repo-root"
|
|
2750
|
+
],
|
|
2751
|
+
"requiredFlags": [
|
|
2752
|
+
"--repo-root"
|
|
2753
|
+
],
|
|
2754
|
+
"singleOccurrenceFlags": [
|
|
2755
|
+
"--color",
|
|
2756
|
+
"--format",
|
|
2757
|
+
"--repo-root"
|
|
2758
|
+
],
|
|
2759
|
+
"flagChoices": {
|
|
2760
|
+
"--color": [
|
|
2761
|
+
"auto",
|
|
2762
|
+
"never"
|
|
2763
|
+
],
|
|
2764
|
+
"--format": [
|
|
2765
|
+
"json",
|
|
2766
|
+
"text"
|
|
2767
|
+
]
|
|
2768
|
+
},
|
|
2769
|
+
"flagPresenceRequirements": [
|
|
2770
|
+
{
|
|
2771
|
+
"flag": "--color",
|
|
2772
|
+
"requiredFlagValues": [
|
|
2773
|
+
{
|
|
2774
|
+
"flag": "--format",
|
|
2775
|
+
"value": "text"
|
|
2776
|
+
}
|
|
2777
|
+
],
|
|
2778
|
+
"requiredFlags": []
|
|
2779
|
+
}
|
|
2780
|
+
],
|
|
2781
|
+
"outputContract": {
|
|
2782
|
+
"contractId": "proofkit.next.output.v1",
|
|
2783
|
+
"schemaVersion": 1,
|
|
2784
|
+
"rootType": "object",
|
|
2785
|
+
"closed": true,
|
|
2786
|
+
"rootDefinitionRef": "proofkit.next.output.v1.root-shape",
|
|
2787
|
+
"rootDefinitionDigest": "sha256:b046def1ec1d608e3c76efd84127df7cd8b0a10a920e7ad9b8b850826432d3af",
|
|
2788
|
+
"nativeSource": {
|
|
2789
|
+
"path": "internal/command/projectstatus",
|
|
2790
|
+
"canonicalDigest": "sha256:050ff57dee13ac2cc7c71ab4f2ed94c8d9a73f945544ecb57c18c07da4ed5c13",
|
|
2297
2791
|
"evidenceClass": "source_checkout"
|
|
2298
2792
|
},
|
|
2299
2793
|
"nativeOutputWitnessSelector": {
|
|
2300
|
-
"path": "internal/
|
|
2301
|
-
"test": "
|
|
2302
|
-
"command": "go test ./internal/
|
|
2794
|
+
"path": "internal/app/project_status_command_test.go",
|
|
2795
|
+
"test": "TestNextOutputUsesExactRootShape",
|
|
2796
|
+
"command": "go test ./internal/app -run '^TestNextOutputUsesExactRootShape$'",
|
|
2303
2797
|
"evidenceClass": "source_checkout"
|
|
2304
2798
|
},
|
|
2305
2799
|
"compatibilitySummary": [
|
|
2306
2800
|
"schemaVersion=1",
|
|
2307
|
-
"
|
|
2308
|
-
"
|
|
2801
|
+
"one non-executable next-action projection derived from the same bounded project snapshot as status",
|
|
2802
|
+
"bounded text preserves exactly projectState, actionClass, executable, commandRoute, contextRef, requiredDecision, and issueCodes; packetId, snapshotId, statusRef, and nonClaims remain JSON-only",
|
|
2803
|
+
"root-shape-only definition proofkit.next.output.v1.root-shape; nested fields, types, cardinalities, and native witness execution remain native-owner claims"
|
|
2309
2804
|
],
|
|
2310
2805
|
"ownerRequirementRefs": [
|
|
2311
2806
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
2312
2807
|
"REQ-PROOFKIT-QUALITY-004",
|
|
2313
|
-
"REQ-PROOFKIT-WORKFLOW-
|
|
2314
|
-
"REQ-PROOFKIT-WORKFLOW-
|
|
2315
|
-
"REQ-PROOFKIT-WORKFLOW-
|
|
2316
|
-
"REQ-PROOFKIT-WORKFLOW-
|
|
2317
|
-
"REQ-PROOFKIT-WORKFLOW-011"
|
|
2808
|
+
"REQ-PROOFKIT-WORKFLOW-012",
|
|
2809
|
+
"REQ-PROOFKIT-WORKFLOW-013",
|
|
2810
|
+
"REQ-PROOFKIT-WORKFLOW-014",
|
|
2811
|
+
"REQ-PROOFKIT-WORKFLOW-015"
|
|
2318
2812
|
],
|
|
2319
2813
|
"flagChoices": {
|
|
2320
2814
|
"--color": [
|
|
@@ -2563,7 +3057,7 @@
|
|
|
2563
3057
|
"nativeSources": [
|
|
2564
3058
|
{
|
|
2565
3059
|
"path": "internal/app",
|
|
2566
|
-
"canonicalDigest": "sha256:
|
|
3060
|
+
"canonicalDigest": "sha256:7fa037cfe6147827468954667d103b27796ff43c1d1f74d81be1f545d7534a8e",
|
|
2567
3061
|
"evidenceClass": "source_checkout"
|
|
2568
3062
|
},
|
|
2569
3063
|
{
|
|
@@ -4159,7 +4653,7 @@
|
|
|
4159
4653
|
"rootDefinitionDigest": "sha256:f6300d6d0f80f5066fe4079433978132ee2bb1df75e602e59cf3dc37a385d3ce",
|
|
4160
4654
|
"nativeSource": {
|
|
4161
4655
|
"path": "internal/command/requirementcoverageinput",
|
|
4162
|
-
"canonicalDigest": "sha256:
|
|
4656
|
+
"canonicalDigest": "sha256:ca685e4dd96bcd3981443471bcb9ef6f2a74ca2d8c2f9926aba2662bf7876ab4",
|
|
4163
4657
|
"evidenceClass": "source_checkout"
|
|
4164
4658
|
},
|
|
4165
4659
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -4207,7 +4701,7 @@
|
|
|
4207
4701
|
"rootDefinitionDigest": "sha256:0f264c996a058fb8aff102e42b95a4610d3a584b35687cc870b3d16c9589cfed",
|
|
4208
4702
|
"nativeSource": {
|
|
4209
4703
|
"path": "internal/command/requirementcoverageinput",
|
|
4210
|
-
"canonicalDigest": "sha256:
|
|
4704
|
+
"canonicalDigest": "sha256:ca685e4dd96bcd3981443471bcb9ef6f2a74ca2d8c2f9926aba2662bf7876ab4",
|
|
4211
4705
|
"evidenceClass": "source_checkout"
|
|
4212
4706
|
},
|
|
4213
4707
|
"nativeOutputWitnessSelector": {
|
|
@@ -5853,7 +6347,7 @@
|
|
|
5853
6347
|
"rootDefinitionDigest": "sha256:3c842174dff5361e7f83166469b832805e05aa314b073c16234b5b64e346281e",
|
|
5854
6348
|
"nativeSource": {
|
|
5855
6349
|
"path": "internal/app",
|
|
5856
|
-
"canonicalDigest": "sha256:
|
|
6350
|
+
"canonicalDigest": "sha256:7fa037cfe6147827468954667d103b27796ff43c1d1f74d81be1f545d7534a8e",
|
|
5857
6351
|
"evidenceClass": "source_checkout"
|
|
5858
6352
|
},
|
|
5859
6353
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -5882,7 +6376,7 @@
|
|
|
5882
6376
|
"rootDefinitionDigest": "sha256:0ea95e277ebe44cd2de42c29b47c38686ac0b6b390d8965367437b3fe138e209",
|
|
5883
6377
|
"nativeSource": {
|
|
5884
6378
|
"path": "internal/app",
|
|
5885
|
-
"canonicalDigest": "sha256:
|
|
6379
|
+
"canonicalDigest": "sha256:7fa037cfe6147827468954667d103b27796ff43c1d1f74d81be1f545d7534a8e",
|
|
5886
6380
|
"evidenceClass": "source_checkout"
|
|
5887
6381
|
},
|
|
5888
6382
|
"nativeOutputWitnessSelector": {
|
|
@@ -6105,6 +6599,96 @@
|
|
|
6105
6599
|
]
|
|
6106
6600
|
}
|
|
6107
6601
|
},
|
|
6602
|
+
{
|
|
6603
|
+
"command": "status",
|
|
6604
|
+
"input": "none",
|
|
6605
|
+
"stdin": false,
|
|
6606
|
+
"inputPointer": false,
|
|
6607
|
+
"scopeClass": "explicit_filesystem_scan",
|
|
6608
|
+
"outputModes": [
|
|
6609
|
+
"json",
|
|
6610
|
+
"text"
|
|
6611
|
+
],
|
|
6612
|
+
"allowedFlags": [
|
|
6613
|
+
"--color",
|
|
6614
|
+
"--format",
|
|
6615
|
+
"--repo-root"
|
|
6616
|
+
],
|
|
6617
|
+
"requiredFlags": [
|
|
6618
|
+
"--repo-root"
|
|
6619
|
+
],
|
|
6620
|
+
"singleOccurrenceFlags": [
|
|
6621
|
+
"--color",
|
|
6622
|
+
"--format",
|
|
6623
|
+
"--repo-root"
|
|
6624
|
+
],
|
|
6625
|
+
"flagChoices": {
|
|
6626
|
+
"--color": [
|
|
6627
|
+
"auto",
|
|
6628
|
+
"never"
|
|
6629
|
+
],
|
|
6630
|
+
"--format": [
|
|
6631
|
+
"json",
|
|
6632
|
+
"text"
|
|
6633
|
+
]
|
|
6634
|
+
},
|
|
6635
|
+
"flagPresenceRequirements": [
|
|
6636
|
+
{
|
|
6637
|
+
"flag": "--color",
|
|
6638
|
+
"requiredFlagValues": [
|
|
6639
|
+
{
|
|
6640
|
+
"flag": "--format",
|
|
6641
|
+
"value": "text"
|
|
6642
|
+
}
|
|
6643
|
+
],
|
|
6644
|
+
"requiredFlags": []
|
|
6645
|
+
}
|
|
6646
|
+
],
|
|
6647
|
+
"outputContract": {
|
|
6648
|
+
"contractId": "proofkit.status.output.v1",
|
|
6649
|
+
"schemaVersion": 1,
|
|
6650
|
+
"rootType": "object",
|
|
6651
|
+
"closed": true,
|
|
6652
|
+
"rootDefinitionRef": "proofkit.status.output.v1.root-shape",
|
|
6653
|
+
"rootDefinitionDigest": "sha256:4d26ca7b7f6be8120fbac40519db02d8e5ae8ba7264208c714fbb9f1cb88ef15",
|
|
6654
|
+
"nativeSource": {
|
|
6655
|
+
"path": "internal/command/projectstatus",
|
|
6656
|
+
"canonicalDigest": "sha256:050ff57dee13ac2cc7c71ab4f2ed94c8d9a73f945544ecb57c18c07da4ed5c13",
|
|
6657
|
+
"evidenceClass": "source_checkout"
|
|
6658
|
+
},
|
|
6659
|
+
"nativeOutputWitnessSelector": {
|
|
6660
|
+
"path": "internal/app/project_status_command_test.go",
|
|
6661
|
+
"test": "TestStatusOutputUsesExactRootShape",
|
|
6662
|
+
"command": "go test ./internal/app -run '^TestStatusOutputUsesExactRootShape$'",
|
|
6663
|
+
"evidenceClass": "source_checkout"
|
|
6664
|
+
},
|
|
6665
|
+
"compatibilitySummary": [
|
|
6666
|
+
"schemaVersion=1",
|
|
6667
|
+
"bounded read-only classification over a normalized transaction, manifest, child-currentness, child-admission, and cross-record-closure observation; admitted in-bound records bind exact content digests and unread out-of-bound records bind only their invalid class",
|
|
6668
|
+
"verification_required means structurally admitted and never means complete, merge-ready, release-ready, or production-ready",
|
|
6669
|
+
"bounded text preserves exactly projectState, snapshotId, nextAction.actionClass, and issueCodes; project, manifest, transaction, child, closure, action-identity, and nonClaims coordinates remain JSON-only",
|
|
6670
|
+
"root-shape-only definition proofkit.status.output.v1.root-shape; nested fields, types, cardinalities, and native witness execution remain native-owner claims"
|
|
6671
|
+
],
|
|
6672
|
+
"ownerRequirementRefs": [
|
|
6673
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
6674
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
6675
|
+
"REQ-PROOFKIT-WORKFLOW-012",
|
|
6676
|
+
"REQ-PROOFKIT-WORKFLOW-013",
|
|
6677
|
+
"REQ-PROOFKIT-WORKFLOW-014",
|
|
6678
|
+
"REQ-PROOFKIT-WORKFLOW-015"
|
|
6679
|
+
],
|
|
6680
|
+
"flagChoices": {
|
|
6681
|
+
"--color": [
|
|
6682
|
+
"auto",
|
|
6683
|
+
"never"
|
|
6684
|
+
],
|
|
6685
|
+
"--format": [
|
|
6686
|
+
"json",
|
|
6687
|
+
"text"
|
|
6688
|
+
]
|
|
6689
|
+
}
|
|
6690
|
+
}
|
|
6691
|
+
},
|
|
6108
6692
|
{
|
|
6109
6693
|
"command": "test-evidence-inventory",
|
|
6110
6694
|
"input": "required",
|
|
@@ -6233,7 +6817,7 @@
|
|
|
6233
6817
|
},
|
|
6234
6818
|
{
|
|
6235
6819
|
"path": "internal/command/testevidenceinventory",
|
|
6236
|
-
"canonicalDigest": "sha256:
|
|
6820
|
+
"canonicalDigest": "sha256:5b0a149b1875f3844459420645c9b2fa86a9d7c933c5edd90292192220fcdc33",
|
|
6237
6821
|
"evidenceClass": "source_checkout"
|
|
6238
6822
|
}
|
|
6239
6823
|
],
|
|
@@ -6330,7 +6914,7 @@
|
|
|
6330
6914
|
},
|
|
6331
6915
|
{
|
|
6332
6916
|
"path": "internal/command/testevidenceinventory",
|
|
6333
|
-
"canonicalDigest": "sha256:
|
|
6917
|
+
"canonicalDigest": "sha256:5b0a149b1875f3844459420645c9b2fa86a9d7c933c5edd90292192220fcdc33",
|
|
6334
6918
|
"evidenceClass": "source_checkout"
|
|
6335
6919
|
}
|
|
6336
6920
|
],
|
|
@@ -7765,6 +8349,126 @@
|
|
|
7765
8349
|
},
|
|
7766
8350
|
"canonicalDigest": "sha256:90583a47b9bdd605b2d3f24dcb1a5dbb2b4d9da20d7be097da381c9c77229e62"
|
|
7767
8351
|
},
|
|
8352
|
+
{
|
|
8353
|
+
"definitionId": "proofkit.adoption-materialization.apply-input.v1.root-shape",
|
|
8354
|
+
"schemaVersion": 1,
|
|
8355
|
+
"rootType": "object",
|
|
8356
|
+
"closed": true,
|
|
8357
|
+
"definitionRefs": [],
|
|
8358
|
+
"fieldTree": {
|
|
8359
|
+
"kind": "root_shape_only",
|
|
8360
|
+
"nonClaims": [
|
|
8361
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
8362
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
8363
|
+
],
|
|
8364
|
+
"variants": [
|
|
8365
|
+
{
|
|
8366
|
+
"allowedFields": ["nonClaims", "projectId", "requestId", "requestKind", "requirementProofBinding", "requirementSources", "schemaVersion", "sourcePlan", "testEvidenceInventory"],
|
|
8367
|
+
"requiredFields": ["nonClaims", "projectId", "requestId", "requestKind", "requirementProofBinding", "requirementSources", "schemaVersion", "sourcePlan", "testEvidenceInventory"],
|
|
8368
|
+
"rootKind": "object",
|
|
8369
|
+
"variantId": "01-root",
|
|
8370
|
+
"when": ["default JSON input"]
|
|
8371
|
+
}
|
|
8372
|
+
]
|
|
8373
|
+
},
|
|
8374
|
+
"canonicalDigest": "sha256:3dbf760a8f8b0a4093c1dd4edc23367c5ef8027b31c18a01490afb657fcc03ad"
|
|
8375
|
+
},
|
|
8376
|
+
{
|
|
8377
|
+
"definitionId": "proofkit.adoption-materialization.apply-output.v1.root-shape",
|
|
8378
|
+
"schemaVersion": 1,
|
|
8379
|
+
"rootType": "object",
|
|
8380
|
+
"closed": true,
|
|
8381
|
+
"definitionRefs": [],
|
|
8382
|
+
"fieldTree": {
|
|
8383
|
+
"kind": "root_shape_only",
|
|
8384
|
+
"nonClaims": [
|
|
8385
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
8386
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
8387
|
+
],
|
|
8388
|
+
"variants": [
|
|
8389
|
+
{
|
|
8390
|
+
"allowedFields": ["expectedDesiredStateId", "expectedTransactionId", "failureClass", "nonClaims", "operation", "receiptId", "receiptKind", "schemaVersion", "state", "transactionResult"],
|
|
8391
|
+
"requiredFields": ["expectedDesiredStateId", "expectedTransactionId", "failureClass", "nonClaims", "operation", "receiptId", "receiptKind", "schemaVersion", "state", "transactionResult"],
|
|
8392
|
+
"rootKind": "object",
|
|
8393
|
+
"variantId": "01-root",
|
|
8394
|
+
"when": ["default JSON mode"]
|
|
8395
|
+
}
|
|
8396
|
+
]
|
|
8397
|
+
},
|
|
8398
|
+
"canonicalDigest": "sha256:4b58bd4e89da98ad79c5e6faf32fe58766313117ad2558b602bfed853de0cf7e"
|
|
8399
|
+
},
|
|
8400
|
+
{
|
|
8401
|
+
"definitionId": "proofkit.adoption-materialization.plan-input.v1.root-shape",
|
|
8402
|
+
"schemaVersion": 1,
|
|
8403
|
+
"rootType": "object",
|
|
8404
|
+
"closed": true,
|
|
8405
|
+
"definitionRefs": [],
|
|
8406
|
+
"fieldTree": {
|
|
8407
|
+
"kind": "root_shape_only",
|
|
8408
|
+
"nonClaims": [
|
|
8409
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
8410
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
8411
|
+
],
|
|
8412
|
+
"variants": [
|
|
8413
|
+
{
|
|
8414
|
+
"allowedFields": ["nonClaims", "projectId", "requestId", "requestKind", "requirementProofBinding", "requirementSources", "schemaVersion", "sourcePlan", "testEvidenceInventory"],
|
|
8415
|
+
"requiredFields": ["nonClaims", "projectId", "requestId", "requestKind", "requirementProofBinding", "requirementSources", "schemaVersion", "sourcePlan", "testEvidenceInventory"],
|
|
8416
|
+
"rootKind": "object",
|
|
8417
|
+
"variantId": "01-root",
|
|
8418
|
+
"when": ["default JSON input"]
|
|
8419
|
+
}
|
|
8420
|
+
]
|
|
8421
|
+
},
|
|
8422
|
+
"canonicalDigest": "sha256:c18995fb310dbde102bea231d83ec3756ffdf863199acbc88237471d06278c9e"
|
|
8423
|
+
},
|
|
8424
|
+
{
|
|
8425
|
+
"definitionId": "proofkit.adoption-materialization.plan-output.v1.root-shape",
|
|
8426
|
+
"schemaVersion": 1,
|
|
8427
|
+
"rootType": "object",
|
|
8428
|
+
"closed": true,
|
|
8429
|
+
"definitionRefs": [],
|
|
8430
|
+
"fieldTree": {
|
|
8431
|
+
"kind": "root_shape_only",
|
|
8432
|
+
"nonClaims": [
|
|
8433
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
8434
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
8435
|
+
],
|
|
8436
|
+
"variants": [
|
|
8437
|
+
{
|
|
8438
|
+
"allowedFields": ["manifest", "nonClaims", "planKind", "projectId", "requestId", "schemaVersion", "sourceIntent", "sourcePlanId", "state", "transaction"],
|
|
8439
|
+
"requiredFields": ["manifest", "nonClaims", "planKind", "projectId", "requestId", "schemaVersion", "sourceIntent", "sourcePlanId", "state", "transaction"],
|
|
8440
|
+
"rootKind": "object",
|
|
8441
|
+
"variantId": "01-root",
|
|
8442
|
+
"when": ["default JSON mode"]
|
|
8443
|
+
}
|
|
8444
|
+
]
|
|
8445
|
+
},
|
|
8446
|
+
"canonicalDigest": "sha256:fc0e2d547a5fd54ebebe9d237a48ae15418b32d3d28fa5185aae64a0fba9b255"
|
|
8447
|
+
},
|
|
8448
|
+
{
|
|
8449
|
+
"definitionId": "proofkit.adoption-materialization.recover-output.v1.root-shape",
|
|
8450
|
+
"schemaVersion": 1,
|
|
8451
|
+
"rootType": "object",
|
|
8452
|
+
"closed": true,
|
|
8453
|
+
"definitionRefs": [],
|
|
8454
|
+
"fieldTree": {
|
|
8455
|
+
"kind": "root_shape_only",
|
|
8456
|
+
"nonClaims": [
|
|
8457
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
8458
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
8459
|
+
],
|
|
8460
|
+
"variants": [
|
|
8461
|
+
{
|
|
8462
|
+
"allowedFields": ["expectedDesiredStateId", "expectedTransactionId", "failureClass", "nonClaims", "operation", "receiptId", "receiptKind", "schemaVersion", "state", "transactionResult"],
|
|
8463
|
+
"requiredFields": ["expectedDesiredStateId", "expectedTransactionId", "failureClass", "nonClaims", "operation", "receiptId", "receiptKind", "schemaVersion", "state", "transactionResult"],
|
|
8464
|
+
"rootKind": "object",
|
|
8465
|
+
"variantId": "01-root",
|
|
8466
|
+
"when": ["default JSON mode"]
|
|
8467
|
+
}
|
|
8468
|
+
]
|
|
8469
|
+
},
|
|
8470
|
+
"canonicalDigest": "sha256:06129ef857ffb11351535c769f9ca207522a08f3c5bf2da52c6f5fff0b1ac757"
|
|
8471
|
+
},
|
|
7768
8472
|
{
|
|
7769
8473
|
"definitionId": "proofkit.adoption-workflow-plan.input.v1.root-shape",
|
|
7770
8474
|
"schemaVersion": 1,
|
|
@@ -10238,6 +10942,52 @@
|
|
|
10238
10942
|
},
|
|
10239
10943
|
"canonicalDigest": "sha256:218011a133540f57ef74f8748747e00d33b6757c9f77725ecef39f45fb19423f"
|
|
10240
10944
|
},
|
|
10945
|
+
{
|
|
10946
|
+
"definitionId": "proofkit.next.output.v1.root-shape",
|
|
10947
|
+
"schemaVersion": 1,
|
|
10948
|
+
"rootType": "object",
|
|
10949
|
+
"closed": true,
|
|
10950
|
+
"definitionRefs": [],
|
|
10951
|
+
"fieldTree": {
|
|
10952
|
+
"kind": "root_shape_only",
|
|
10953
|
+
"nonClaims": [
|
|
10954
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
10955
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
10956
|
+
],
|
|
10957
|
+
"variants": [
|
|
10958
|
+
{
|
|
10959
|
+
"allowedFields": [
|
|
10960
|
+
"action",
|
|
10961
|
+
"issueCodes",
|
|
10962
|
+
"nonClaims",
|
|
10963
|
+
"packetId",
|
|
10964
|
+
"packetKind",
|
|
10965
|
+
"projectState",
|
|
10966
|
+
"schemaVersion",
|
|
10967
|
+
"snapshotId",
|
|
10968
|
+
"statusRef"
|
|
10969
|
+
],
|
|
10970
|
+
"requiredFields": [
|
|
10971
|
+
"action",
|
|
10972
|
+
"issueCodes",
|
|
10973
|
+
"nonClaims",
|
|
10974
|
+
"packetId",
|
|
10975
|
+
"packetKind",
|
|
10976
|
+
"projectState",
|
|
10977
|
+
"schemaVersion",
|
|
10978
|
+
"snapshotId",
|
|
10979
|
+
"statusRef"
|
|
10980
|
+
],
|
|
10981
|
+
"rootKind": "object",
|
|
10982
|
+
"variantId": "01-root",
|
|
10983
|
+
"when": [
|
|
10984
|
+
"default JSON mode"
|
|
10985
|
+
]
|
|
10986
|
+
}
|
|
10987
|
+
]
|
|
10988
|
+
},
|
|
10989
|
+
"canonicalDigest": "sha256:b046def1ec1d608e3c76efd84127df7cd8b0a10a920e7ad9b8b850826432d3af"
|
|
10990
|
+
},
|
|
10241
10991
|
{
|
|
10242
10992
|
"definitionId": "proofkit.obligation-decision.input.v1.root-shape",
|
|
10243
10993
|
"schemaVersion": 1,
|
|
@@ -14853,6 +15603,54 @@
|
|
|
14853
15603
|
},
|
|
14854
15604
|
"canonicalDigest": "sha256:338f720a24bd36f4ab34cad9b14d3bd26389119e5c713146f1c4eb019f4a0637"
|
|
14855
15605
|
},
|
|
15606
|
+
{
|
|
15607
|
+
"definitionId": "proofkit.status.output.v1.root-shape",
|
|
15608
|
+
"schemaVersion": 1,
|
|
15609
|
+
"rootType": "object",
|
|
15610
|
+
"closed": true,
|
|
15611
|
+
"definitionRefs": [],
|
|
15612
|
+
"fieldTree": {
|
|
15613
|
+
"kind": "root_shape_only",
|
|
15614
|
+
"nonClaims": [
|
|
15615
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
15616
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
15617
|
+
],
|
|
15618
|
+
"variants": [
|
|
15619
|
+
{
|
|
15620
|
+
"allowedFields": [
|
|
15621
|
+
"issueCodes",
|
|
15622
|
+
"manifestId",
|
|
15623
|
+
"nextAction",
|
|
15624
|
+
"nonClaims",
|
|
15625
|
+
"projectId",
|
|
15626
|
+
"projectState",
|
|
15627
|
+
"reportKind",
|
|
15628
|
+
"schemaVersion",
|
|
15629
|
+
"snapshotId",
|
|
15630
|
+
"statusId"
|
|
15631
|
+
],
|
|
15632
|
+
"requiredFields": [
|
|
15633
|
+
"issueCodes",
|
|
15634
|
+
"manifestId",
|
|
15635
|
+
"nextAction",
|
|
15636
|
+
"nonClaims",
|
|
15637
|
+
"projectId",
|
|
15638
|
+
"projectState",
|
|
15639
|
+
"reportKind",
|
|
15640
|
+
"schemaVersion",
|
|
15641
|
+
"snapshotId",
|
|
15642
|
+
"statusId"
|
|
15643
|
+
],
|
|
15644
|
+
"rootKind": "object",
|
|
15645
|
+
"variantId": "01-root",
|
|
15646
|
+
"when": [
|
|
15647
|
+
"default JSON mode"
|
|
15648
|
+
]
|
|
15649
|
+
}
|
|
15650
|
+
]
|
|
15651
|
+
},
|
|
15652
|
+
"canonicalDigest": "sha256:4d26ca7b7f6be8120fbac40519db02d8e5ae8ba7264208c714fbb9f1cb88ef15"
|
|
15653
|
+
},
|
|
14856
15654
|
{
|
|
14857
15655
|
"definitionId": "proofkit.test-evidence-inventory.input.v2.root-shape",
|
|
14858
15656
|
"schemaVersion": 2,
|