@research-engineering/agentic-proofkit 0.9.0 → 0.10.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.
- package/ADOPTION.md +61 -0
- package/NON_CLAIMS.md +18 -0
- 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 +2 -0
- package/docs/specs/proofkit-agent-workflow/overview.md +45 -0
- package/docs/specs/proofkit-agent-workflow/requirements.v1.json +51 -0
- package/docs/specs/proofkit-spec-proof-core/requirements.v1.json +1 -1
- package/package.json +1 -1
- package/proofkit/cli-contract.v2.json +427 -27
- package/proofkit/command-families.v1.json +9 -0
- package/proofkit/requirement-bindings.json +482 -0
|
@@ -5,8 +5,8 @@
|
|
|
5
5
|
"processContract": {
|
|
6
6
|
"successExitCode": 0,
|
|
7
7
|
"failureExitCode": 1,
|
|
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
|
-
"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.",
|
|
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. Integration check also emits exactly one classified JSON value or text report with exit 2 for missing, stale, or invalid; current exits 0, and operational errors exit 1.",
|
|
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. Integration check classified exit-2 reports leave stderr empty; operational or invocation errors use non-disclosing stderr diagnostics.",
|
|
10
10
|
"commandRouteGrammar": {
|
|
11
11
|
"minimumTokens": 1,
|
|
12
12
|
"maximumTokens": 4,
|
|
@@ -143,7 +143,7 @@
|
|
|
143
143
|
"nativeSources": [
|
|
144
144
|
{
|
|
145
145
|
"path": "internal/app",
|
|
146
|
-
"canonicalDigest": "sha256:
|
|
146
|
+
"canonicalDigest": "sha256:8cf495d309f3447cc7743e8c2e9ff303e5f4bb78d69eeff27fd48d37fa47d605",
|
|
147
147
|
"evidenceClass": "source_checkout"
|
|
148
148
|
},
|
|
149
149
|
{
|
|
@@ -153,7 +153,7 @@
|
|
|
153
153
|
},
|
|
154
154
|
{
|
|
155
155
|
"path": "internal/kernel/repositorytransaction",
|
|
156
|
-
"canonicalDigest": "sha256:
|
|
156
|
+
"canonicalDigest": "sha256:927d0a6fcdd5bfcb3961b78cc0bad7ccad1d991f3bdb2c7af1f476afcd215bfc",
|
|
157
157
|
"evidenceClass": "source_checkout"
|
|
158
158
|
}
|
|
159
159
|
],
|
|
@@ -281,7 +281,7 @@
|
|
|
281
281
|
"nativeSources": [
|
|
282
282
|
{
|
|
283
283
|
"path": "internal/app",
|
|
284
|
-
"canonicalDigest": "sha256:
|
|
284
|
+
"canonicalDigest": "sha256:8cf495d309f3447cc7743e8c2e9ff303e5f4bb78d69eeff27fd48d37fa47d605",
|
|
285
285
|
"evidenceClass": "source_checkout"
|
|
286
286
|
},
|
|
287
287
|
{
|
|
@@ -291,7 +291,7 @@
|
|
|
291
291
|
},
|
|
292
292
|
{
|
|
293
293
|
"path": "internal/kernel/repositorytransaction",
|
|
294
|
-
"canonicalDigest": "sha256:
|
|
294
|
+
"canonicalDigest": "sha256:927d0a6fcdd5bfcb3961b78cc0bad7ccad1d991f3bdb2c7af1f476afcd215bfc",
|
|
295
295
|
"evidenceClass": "source_checkout"
|
|
296
296
|
}
|
|
297
297
|
],
|
|
@@ -395,7 +395,7 @@
|
|
|
395
395
|
"nativeSources": [
|
|
396
396
|
{
|
|
397
397
|
"path": "internal/app",
|
|
398
|
-
"canonicalDigest": "sha256:
|
|
398
|
+
"canonicalDigest": "sha256:8cf495d309f3447cc7743e8c2e9ff303e5f4bb78d69eeff27fd48d37fa47d605",
|
|
399
399
|
"evidenceClass": "source_checkout"
|
|
400
400
|
},
|
|
401
401
|
{
|
|
@@ -405,7 +405,7 @@
|
|
|
405
405
|
},
|
|
406
406
|
{
|
|
407
407
|
"path": "internal/kernel/repositorytransaction",
|
|
408
|
-
"canonicalDigest": "sha256:
|
|
408
|
+
"canonicalDigest": "sha256:927d0a6fcdd5bfcb3961b78cc0bad7ccad1d991f3bdb2c7af1f476afcd215bfc",
|
|
409
409
|
"evidenceClass": "source_checkout"
|
|
410
410
|
}
|
|
411
411
|
],
|
|
@@ -1186,7 +1186,7 @@
|
|
|
1186
1186
|
"nativeSources": [
|
|
1187
1187
|
{
|
|
1188
1188
|
"path": "internal/app",
|
|
1189
|
-
"canonicalDigest": "sha256:
|
|
1189
|
+
"canonicalDigest": "sha256:8cf495d309f3447cc7743e8c2e9ff303e5f4bb78d69eeff27fd48d37fa47d605",
|
|
1190
1190
|
"evidenceClass": "source_checkout"
|
|
1191
1191
|
},
|
|
1192
1192
|
{
|
|
@@ -2425,6 +2425,196 @@
|
|
|
2425
2425
|
]
|
|
2426
2426
|
}
|
|
2427
2427
|
},
|
|
2428
|
+
{
|
|
2429
|
+
"command": "integration-check",
|
|
2430
|
+
"route": [
|
|
2431
|
+
"integration",
|
|
2432
|
+
"check"
|
|
2433
|
+
],
|
|
2434
|
+
"input": "none",
|
|
2435
|
+
"stdin": false,
|
|
2436
|
+
"inputPointer": false,
|
|
2437
|
+
"scopeClass": "explicit_filesystem_scan",
|
|
2438
|
+
"outputModes": [
|
|
2439
|
+
"json",
|
|
2440
|
+
"text"
|
|
2441
|
+
],
|
|
2442
|
+
"allowedFlags": [
|
|
2443
|
+
"--format",
|
|
2444
|
+
"--repo-root",
|
|
2445
|
+
"--tool"
|
|
2446
|
+
],
|
|
2447
|
+
"requiredFlags": [
|
|
2448
|
+
"--repo-root",
|
|
2449
|
+
"--tool"
|
|
2450
|
+
],
|
|
2451
|
+
"singleOccurrenceFlags": [
|
|
2452
|
+
"--format",
|
|
2453
|
+
"--repo-root",
|
|
2454
|
+
"--tool"
|
|
2455
|
+
],
|
|
2456
|
+
"flagChoices": {
|
|
2457
|
+
"--format": [
|
|
2458
|
+
"json",
|
|
2459
|
+
"text"
|
|
2460
|
+
],
|
|
2461
|
+
"--tool": [
|
|
2462
|
+
"claude",
|
|
2463
|
+
"codex"
|
|
2464
|
+
]
|
|
2465
|
+
},
|
|
2466
|
+
"outputContract": {
|
|
2467
|
+
"contractId": "proofkit.integration-check.output.v1",
|
|
2468
|
+
"schemaVersion": 1,
|
|
2469
|
+
"rootType": "object",
|
|
2470
|
+
"closed": true,
|
|
2471
|
+
"rootDefinitionRef": "proofkit.integration-check.output.v1.root-shape",
|
|
2472
|
+
"rootDefinitionDigest": "sha256:309c5f43b8d5596d88859819ed59e4486926d75d5f41d2b2b6e252389f5913ca",
|
|
2473
|
+
"nativeSources": [
|
|
2474
|
+
{
|
|
2475
|
+
"path": "internal/app",
|
|
2476
|
+
"canonicalDigest": "sha256:8cf495d309f3447cc7743e8c2e9ff303e5f4bb78d69eeff27fd48d37fa47d605",
|
|
2477
|
+
"evidenceClass": "source_checkout"
|
|
2478
|
+
},
|
|
2479
|
+
{
|
|
2480
|
+
"path": "internal/command/agentintegration",
|
|
2481
|
+
"canonicalDigest": "sha256:d85cf0fc38bbd28f86ececb3e41f9e04fca7f2741507bf006cd1a55500484505",
|
|
2482
|
+
"evidenceClass": "source_checkout"
|
|
2483
|
+
},
|
|
2484
|
+
{
|
|
2485
|
+
"path": "internal/kernel/repositorytransaction",
|
|
2486
|
+
"canonicalDigest": "sha256:927d0a6fcdd5bfcb3961b78cc0bad7ccad1d991f3bdb2c7af1f476afcd215bfc",
|
|
2487
|
+
"evidenceClass": "source_checkout"
|
|
2488
|
+
},
|
|
2489
|
+
{
|
|
2490
|
+
"path": "internal/kernel/rootpath",
|
|
2491
|
+
"canonicalDigest": "sha256:948e23e5063da448335fbcd9a1bee0a0d92e9b07092fafeec7a1ca935d425055",
|
|
2492
|
+
"evidenceClass": "source_checkout"
|
|
2493
|
+
}
|
|
2494
|
+
],
|
|
2495
|
+
"nativeOutputWitnessSelector": {
|
|
2496
|
+
"path": "internal/app/agent_integration_command_test.go",
|
|
2497
|
+
"test": "TestIntegrationCommandsExactRootShapes",
|
|
2498
|
+
"command": "go test ./internal/app -run '^TestIntegrationCommandsExactRootShapes$'",
|
|
2499
|
+
"evidenceClass": "source_checkout"
|
|
2500
|
+
},
|
|
2501
|
+
"compatibilitySummary": [
|
|
2502
|
+
"schemaVersion=1",
|
|
2503
|
+
"kind=proofkit.integration-check.v1; tool=claude|codex; targetPath is the fixed selected descriptor-owned repository-relative path",
|
|
2504
|
+
"state=missing|current|stale|invalid; expectedContentDigest identifies generated bytes, never observed file bytes",
|
|
2505
|
+
"JSON is the default; text is an ANSI-free classification projection; no input, output-file, color, carrier, or install option",
|
|
2506
|
+
"exit 0 only for current; exit 2 for missing/stale/invalid with a classified report and empty stderr; exit 1 for invocation, operational, cancellation, cleanup, serialization, or output transport error",
|
|
2507
|
+
"two read-only confined observations of at most 8192 bytes each; no observed content, observed digest, or caller root paths in output or diagnostics",
|
|
2508
|
+
"current means exact generated-byte freshness only, not installation, host activation, permission grant, or semantic full proof",
|
|
2509
|
+
"root-shape-only definition proofkit.integration-check.output.v1.root-shape; nested fields, leaf types, cardinalities, and semantic validity remain native-owner claims"
|
|
2510
|
+
],
|
|
2511
|
+
"ownerRequirementRefs": [
|
|
2512
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
2513
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
2514
|
+
"REQ-PROOFKIT-WORKFLOW-016",
|
|
2515
|
+
"REQ-PROOFKIT-WORKFLOW-017",
|
|
2516
|
+
"REQ-PROOFKIT-WORKFLOW-018"
|
|
2517
|
+
],
|
|
2518
|
+
"flagChoices": {
|
|
2519
|
+
"--format": [
|
|
2520
|
+
"json",
|
|
2521
|
+
"text"
|
|
2522
|
+
],
|
|
2523
|
+
"--tool": [
|
|
2524
|
+
"claude",
|
|
2525
|
+
"codex"
|
|
2526
|
+
]
|
|
2527
|
+
}
|
|
2528
|
+
}
|
|
2529
|
+
},
|
|
2530
|
+
{
|
|
2531
|
+
"command": "integration-source",
|
|
2532
|
+
"route": [
|
|
2533
|
+
"integration",
|
|
2534
|
+
"source"
|
|
2535
|
+
],
|
|
2536
|
+
"input": "none",
|
|
2537
|
+
"stdin": false,
|
|
2538
|
+
"inputPointer": false,
|
|
2539
|
+
"scopeClass": "built_in_package_catalog",
|
|
2540
|
+
"outputModes": [
|
|
2541
|
+
"json",
|
|
2542
|
+
"text"
|
|
2543
|
+
],
|
|
2544
|
+
"allowedFlags": [
|
|
2545
|
+
"--format",
|
|
2546
|
+
"--tool"
|
|
2547
|
+
],
|
|
2548
|
+
"requiredFlags": [
|
|
2549
|
+
"--tool"
|
|
2550
|
+
],
|
|
2551
|
+
"singleOccurrenceFlags": [
|
|
2552
|
+
"--format",
|
|
2553
|
+
"--tool"
|
|
2554
|
+
],
|
|
2555
|
+
"flagChoices": {
|
|
2556
|
+
"--format": [
|
|
2557
|
+
"json",
|
|
2558
|
+
"text"
|
|
2559
|
+
],
|
|
2560
|
+
"--tool": [
|
|
2561
|
+
"claude",
|
|
2562
|
+
"codex"
|
|
2563
|
+
]
|
|
2564
|
+
},
|
|
2565
|
+
"outputContract": {
|
|
2566
|
+
"contractId": "proofkit.integration-source.output.v1",
|
|
2567
|
+
"schemaVersion": 1,
|
|
2568
|
+
"rootType": "object",
|
|
2569
|
+
"closed": true,
|
|
2570
|
+
"rootDefinitionRef": "proofkit.integration-source.output.v1.root-shape",
|
|
2571
|
+
"rootDefinitionDigest": "sha256:f7437f3154a39e0bb0b2b1329c626401140ee93b7f58ae23de63905cdcf30ec5",
|
|
2572
|
+
"nativeSources": [
|
|
2573
|
+
{
|
|
2574
|
+
"path": "internal/app",
|
|
2575
|
+
"canonicalDigest": "sha256:8cf495d309f3447cc7743e8c2e9ff303e5f4bb78d69eeff27fd48d37fa47d605",
|
|
2576
|
+
"evidenceClass": "source_checkout"
|
|
2577
|
+
},
|
|
2578
|
+
{
|
|
2579
|
+
"path": "internal/command/agentintegration",
|
|
2580
|
+
"canonicalDigest": "sha256:d85cf0fc38bbd28f86ececb3e41f9e04fca7f2741507bf006cd1a55500484505",
|
|
2581
|
+
"evidenceClass": "source_checkout"
|
|
2582
|
+
}
|
|
2583
|
+
],
|
|
2584
|
+
"nativeOutputWitnessSelector": {
|
|
2585
|
+
"path": "internal/app/agent_integration_command_test.go",
|
|
2586
|
+
"test": "TestIntegrationCommandsExactRootShapes",
|
|
2587
|
+
"command": "go test ./internal/app -run '^TestIntegrationCommandsExactRootShapes$'",
|
|
2588
|
+
"evidenceClass": "source_checkout"
|
|
2589
|
+
},
|
|
2590
|
+
"compatibilitySummary": [
|
|
2591
|
+
"schemaVersion=1",
|
|
2592
|
+
"kind=proofkit.integration-source.v1; tool=claude|codex; targetPath is the fixed selected descriptor-owned repository-relative path",
|
|
2593
|
+
"JSON is the default; --format text is byte-identical to content and adds no wrapper, newline, or styling",
|
|
2594
|
+
"metadataBytes<=512 and bodyBytes<=4096 count UTF-8 bytes separately; contentDigest binds exact content",
|
|
2595
|
+
"integrationId binds the template, tool/path descriptor, and capabilityDigest over exactly consumed registered invocation contracts; package version and process-local launcher are not persisted",
|
|
2596
|
+
"pure generation performs no repository read or application write; no input, repo-root, output-file, color, carrier, or install option",
|
|
2597
|
+
"exit 0 on generation success; exit 1 on invocation, cancellation, serialization, or output transport error",
|
|
2598
|
+
"root-shape-only definition proofkit.integration-source.output.v1.root-shape; nested fields, leaf types, cardinalities, and semantic validity remain native-owner claims"
|
|
2599
|
+
],
|
|
2600
|
+
"ownerRequirementRefs": [
|
|
2601
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
2602
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
2603
|
+
"REQ-PROOFKIT-WORKFLOW-016",
|
|
2604
|
+
"REQ-PROOFKIT-WORKFLOW-018"
|
|
2605
|
+
],
|
|
2606
|
+
"flagChoices": {
|
|
2607
|
+
"--format": [
|
|
2608
|
+
"json",
|
|
2609
|
+
"text"
|
|
2610
|
+
],
|
|
2611
|
+
"--tool": [
|
|
2612
|
+
"claude",
|
|
2613
|
+
"codex"
|
|
2614
|
+
]
|
|
2615
|
+
}
|
|
2616
|
+
}
|
|
2617
|
+
},
|
|
2428
2618
|
{
|
|
2429
2619
|
"command": "json-report-cli-adapter-source",
|
|
2430
2620
|
"input": "none",
|
|
@@ -3057,7 +3247,7 @@
|
|
|
3057
3247
|
"nativeSources": [
|
|
3058
3248
|
{
|
|
3059
3249
|
"path": "internal/app",
|
|
3060
|
-
"canonicalDigest": "sha256:
|
|
3250
|
+
"canonicalDigest": "sha256:8cf495d309f3447cc7743e8c2e9ff303e5f4bb78d69eeff27fd48d37fa47d605",
|
|
3061
3251
|
"evidenceClass": "source_checkout"
|
|
3062
3252
|
},
|
|
3063
3253
|
{
|
|
@@ -6347,7 +6537,7 @@
|
|
|
6347
6537
|
"rootDefinitionDigest": "sha256:3c842174dff5361e7f83166469b832805e05aa314b073c16234b5b64e346281e",
|
|
6348
6538
|
"nativeSource": {
|
|
6349
6539
|
"path": "internal/app",
|
|
6350
|
-
"canonicalDigest": "sha256:
|
|
6540
|
+
"canonicalDigest": "sha256:8cf495d309f3447cc7743e8c2e9ff303e5f4bb78d69eeff27fd48d37fa47d605",
|
|
6351
6541
|
"evidenceClass": "source_checkout"
|
|
6352
6542
|
},
|
|
6353
6543
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -6376,7 +6566,7 @@
|
|
|
6376
6566
|
"rootDefinitionDigest": "sha256:0ea95e277ebe44cd2de42c29b47c38686ac0b6b390d8965367437b3fe138e209",
|
|
6377
6567
|
"nativeSource": {
|
|
6378
6568
|
"path": "internal/app",
|
|
6379
|
-
"canonicalDigest": "sha256:
|
|
6569
|
+
"canonicalDigest": "sha256:8cf495d309f3447cc7743e8c2e9ff303e5f4bb78d69eeff27fd48d37fa47d605",
|
|
6380
6570
|
"evidenceClass": "source_checkout"
|
|
6381
6571
|
},
|
|
6382
6572
|
"nativeOutputWitnessSelector": {
|
|
@@ -8363,11 +8553,33 @@
|
|
|
8363
8553
|
],
|
|
8364
8554
|
"variants": [
|
|
8365
8555
|
{
|
|
8366
|
-
"allowedFields": [
|
|
8367
|
-
|
|
8556
|
+
"allowedFields": [
|
|
8557
|
+
"nonClaims",
|
|
8558
|
+
"projectId",
|
|
8559
|
+
"requestId",
|
|
8560
|
+
"requestKind",
|
|
8561
|
+
"requirementProofBinding",
|
|
8562
|
+
"requirementSources",
|
|
8563
|
+
"schemaVersion",
|
|
8564
|
+
"sourcePlan",
|
|
8565
|
+
"testEvidenceInventory"
|
|
8566
|
+
],
|
|
8567
|
+
"requiredFields": [
|
|
8568
|
+
"nonClaims",
|
|
8569
|
+
"projectId",
|
|
8570
|
+
"requestId",
|
|
8571
|
+
"requestKind",
|
|
8572
|
+
"requirementProofBinding",
|
|
8573
|
+
"requirementSources",
|
|
8574
|
+
"schemaVersion",
|
|
8575
|
+
"sourcePlan",
|
|
8576
|
+
"testEvidenceInventory"
|
|
8577
|
+
],
|
|
8368
8578
|
"rootKind": "object",
|
|
8369
8579
|
"variantId": "01-root",
|
|
8370
|
-
"when": [
|
|
8580
|
+
"when": [
|
|
8581
|
+
"default JSON input"
|
|
8582
|
+
]
|
|
8371
8583
|
}
|
|
8372
8584
|
]
|
|
8373
8585
|
},
|
|
@@ -8387,11 +8599,35 @@
|
|
|
8387
8599
|
],
|
|
8388
8600
|
"variants": [
|
|
8389
8601
|
{
|
|
8390
|
-
"allowedFields": [
|
|
8391
|
-
|
|
8602
|
+
"allowedFields": [
|
|
8603
|
+
"expectedDesiredStateId",
|
|
8604
|
+
"expectedTransactionId",
|
|
8605
|
+
"failureClass",
|
|
8606
|
+
"nonClaims",
|
|
8607
|
+
"operation",
|
|
8608
|
+
"receiptId",
|
|
8609
|
+
"receiptKind",
|
|
8610
|
+
"schemaVersion",
|
|
8611
|
+
"state",
|
|
8612
|
+
"transactionResult"
|
|
8613
|
+
],
|
|
8614
|
+
"requiredFields": [
|
|
8615
|
+
"expectedDesiredStateId",
|
|
8616
|
+
"expectedTransactionId",
|
|
8617
|
+
"failureClass",
|
|
8618
|
+
"nonClaims",
|
|
8619
|
+
"operation",
|
|
8620
|
+
"receiptId",
|
|
8621
|
+
"receiptKind",
|
|
8622
|
+
"schemaVersion",
|
|
8623
|
+
"state",
|
|
8624
|
+
"transactionResult"
|
|
8625
|
+
],
|
|
8392
8626
|
"rootKind": "object",
|
|
8393
8627
|
"variantId": "01-root",
|
|
8394
|
-
"when": [
|
|
8628
|
+
"when": [
|
|
8629
|
+
"default JSON mode"
|
|
8630
|
+
]
|
|
8395
8631
|
}
|
|
8396
8632
|
]
|
|
8397
8633
|
},
|
|
@@ -8411,11 +8647,33 @@
|
|
|
8411
8647
|
],
|
|
8412
8648
|
"variants": [
|
|
8413
8649
|
{
|
|
8414
|
-
"allowedFields": [
|
|
8415
|
-
|
|
8650
|
+
"allowedFields": [
|
|
8651
|
+
"nonClaims",
|
|
8652
|
+
"projectId",
|
|
8653
|
+
"requestId",
|
|
8654
|
+
"requestKind",
|
|
8655
|
+
"requirementProofBinding",
|
|
8656
|
+
"requirementSources",
|
|
8657
|
+
"schemaVersion",
|
|
8658
|
+
"sourcePlan",
|
|
8659
|
+
"testEvidenceInventory"
|
|
8660
|
+
],
|
|
8661
|
+
"requiredFields": [
|
|
8662
|
+
"nonClaims",
|
|
8663
|
+
"projectId",
|
|
8664
|
+
"requestId",
|
|
8665
|
+
"requestKind",
|
|
8666
|
+
"requirementProofBinding",
|
|
8667
|
+
"requirementSources",
|
|
8668
|
+
"schemaVersion",
|
|
8669
|
+
"sourcePlan",
|
|
8670
|
+
"testEvidenceInventory"
|
|
8671
|
+
],
|
|
8416
8672
|
"rootKind": "object",
|
|
8417
8673
|
"variantId": "01-root",
|
|
8418
|
-
"when": [
|
|
8674
|
+
"when": [
|
|
8675
|
+
"default JSON input"
|
|
8676
|
+
]
|
|
8419
8677
|
}
|
|
8420
8678
|
]
|
|
8421
8679
|
},
|
|
@@ -8435,11 +8693,35 @@
|
|
|
8435
8693
|
],
|
|
8436
8694
|
"variants": [
|
|
8437
8695
|
{
|
|
8438
|
-
"allowedFields": [
|
|
8439
|
-
|
|
8696
|
+
"allowedFields": [
|
|
8697
|
+
"manifest",
|
|
8698
|
+
"nonClaims",
|
|
8699
|
+
"planKind",
|
|
8700
|
+
"projectId",
|
|
8701
|
+
"requestId",
|
|
8702
|
+
"schemaVersion",
|
|
8703
|
+
"sourceIntent",
|
|
8704
|
+
"sourcePlanId",
|
|
8705
|
+
"state",
|
|
8706
|
+
"transaction"
|
|
8707
|
+
],
|
|
8708
|
+
"requiredFields": [
|
|
8709
|
+
"manifest",
|
|
8710
|
+
"nonClaims",
|
|
8711
|
+
"planKind",
|
|
8712
|
+
"projectId",
|
|
8713
|
+
"requestId",
|
|
8714
|
+
"schemaVersion",
|
|
8715
|
+
"sourceIntent",
|
|
8716
|
+
"sourcePlanId",
|
|
8717
|
+
"state",
|
|
8718
|
+
"transaction"
|
|
8719
|
+
],
|
|
8440
8720
|
"rootKind": "object",
|
|
8441
8721
|
"variantId": "01-root",
|
|
8442
|
-
"when": [
|
|
8722
|
+
"when": [
|
|
8723
|
+
"default JSON mode"
|
|
8724
|
+
]
|
|
8443
8725
|
}
|
|
8444
8726
|
]
|
|
8445
8727
|
},
|
|
@@ -8459,11 +8741,35 @@
|
|
|
8459
8741
|
],
|
|
8460
8742
|
"variants": [
|
|
8461
8743
|
{
|
|
8462
|
-
"allowedFields": [
|
|
8463
|
-
|
|
8744
|
+
"allowedFields": [
|
|
8745
|
+
"expectedDesiredStateId",
|
|
8746
|
+
"expectedTransactionId",
|
|
8747
|
+
"failureClass",
|
|
8748
|
+
"nonClaims",
|
|
8749
|
+
"operation",
|
|
8750
|
+
"receiptId",
|
|
8751
|
+
"receiptKind",
|
|
8752
|
+
"schemaVersion",
|
|
8753
|
+
"state",
|
|
8754
|
+
"transactionResult"
|
|
8755
|
+
],
|
|
8756
|
+
"requiredFields": [
|
|
8757
|
+
"expectedDesiredStateId",
|
|
8758
|
+
"expectedTransactionId",
|
|
8759
|
+
"failureClass",
|
|
8760
|
+
"nonClaims",
|
|
8761
|
+
"operation",
|
|
8762
|
+
"receiptId",
|
|
8763
|
+
"receiptKind",
|
|
8764
|
+
"schemaVersion",
|
|
8765
|
+
"state",
|
|
8766
|
+
"transactionResult"
|
|
8767
|
+
],
|
|
8464
8768
|
"rootKind": "object",
|
|
8465
8769
|
"variantId": "01-root",
|
|
8466
|
-
"when": [
|
|
8770
|
+
"when": [
|
|
8771
|
+
"default JSON mode"
|
|
8772
|
+
]
|
|
8467
8773
|
}
|
|
8468
8774
|
]
|
|
8469
8775
|
},
|
|
@@ -10674,6 +10980,100 @@
|
|
|
10674
10980
|
},
|
|
10675
10981
|
"canonicalDigest": "sha256:e6dacd55cace039ca8e24bdec628b1498d0c12bbfcdb60c46854ab2047c3f2d7"
|
|
10676
10982
|
},
|
|
10983
|
+
{
|
|
10984
|
+
"definitionId": "proofkit.integration-check.output.v1.root-shape",
|
|
10985
|
+
"schemaVersion": 1,
|
|
10986
|
+
"rootType": "object",
|
|
10987
|
+
"closed": true,
|
|
10988
|
+
"definitionRefs": [],
|
|
10989
|
+
"fieldTree": {
|
|
10990
|
+
"kind": "root_shape_only",
|
|
10991
|
+
"nonClaims": [
|
|
10992
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
10993
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
10994
|
+
],
|
|
10995
|
+
"variants": [
|
|
10996
|
+
{
|
|
10997
|
+
"allowedFields": [
|
|
10998
|
+
"expectedContentDigest",
|
|
10999
|
+
"integrationId",
|
|
11000
|
+
"kind",
|
|
11001
|
+
"nonClaims",
|
|
11002
|
+
"schemaVersion",
|
|
11003
|
+
"state",
|
|
11004
|
+
"targetPath",
|
|
11005
|
+
"tool"
|
|
11006
|
+
],
|
|
11007
|
+
"requiredFields": [
|
|
11008
|
+
"expectedContentDigest",
|
|
11009
|
+
"integrationId",
|
|
11010
|
+
"kind",
|
|
11011
|
+
"nonClaims",
|
|
11012
|
+
"schemaVersion",
|
|
11013
|
+
"state",
|
|
11014
|
+
"targetPath",
|
|
11015
|
+
"tool"
|
|
11016
|
+
],
|
|
11017
|
+
"rootKind": "object",
|
|
11018
|
+
"variantId": "01-root",
|
|
11019
|
+
"when": [
|
|
11020
|
+
"default JSON mode"
|
|
11021
|
+
]
|
|
11022
|
+
}
|
|
11023
|
+
]
|
|
11024
|
+
},
|
|
11025
|
+
"canonicalDigest": "sha256:309c5f43b8d5596d88859819ed59e4486926d75d5f41d2b2b6e252389f5913ca"
|
|
11026
|
+
},
|
|
11027
|
+
{
|
|
11028
|
+
"definitionId": "proofkit.integration-source.output.v1.root-shape",
|
|
11029
|
+
"schemaVersion": 1,
|
|
11030
|
+
"rootType": "object",
|
|
11031
|
+
"closed": true,
|
|
11032
|
+
"definitionRefs": [],
|
|
11033
|
+
"fieldTree": {
|
|
11034
|
+
"kind": "root_shape_only",
|
|
11035
|
+
"nonClaims": [
|
|
11036
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
11037
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
11038
|
+
],
|
|
11039
|
+
"variants": [
|
|
11040
|
+
{
|
|
11041
|
+
"allowedFields": [
|
|
11042
|
+
"bodyBytes",
|
|
11043
|
+
"capabilityDigest",
|
|
11044
|
+
"content",
|
|
11045
|
+
"contentDigest",
|
|
11046
|
+
"integrationId",
|
|
11047
|
+
"kind",
|
|
11048
|
+
"metadataBytes",
|
|
11049
|
+
"nonClaims",
|
|
11050
|
+
"schemaVersion",
|
|
11051
|
+
"targetPath",
|
|
11052
|
+
"tool"
|
|
11053
|
+
],
|
|
11054
|
+
"requiredFields": [
|
|
11055
|
+
"bodyBytes",
|
|
11056
|
+
"capabilityDigest",
|
|
11057
|
+
"content",
|
|
11058
|
+
"contentDigest",
|
|
11059
|
+
"integrationId",
|
|
11060
|
+
"kind",
|
|
11061
|
+
"metadataBytes",
|
|
11062
|
+
"nonClaims",
|
|
11063
|
+
"schemaVersion",
|
|
11064
|
+
"targetPath",
|
|
11065
|
+
"tool"
|
|
11066
|
+
],
|
|
11067
|
+
"rootKind": "object",
|
|
11068
|
+
"variantId": "01-root",
|
|
11069
|
+
"when": [
|
|
11070
|
+
"default JSON mode"
|
|
11071
|
+
]
|
|
11072
|
+
}
|
|
11073
|
+
]
|
|
11074
|
+
},
|
|
11075
|
+
"canonicalDigest": "sha256:f7437f3154a39e0bb0b2b1329c626401140ee93b7f58ae23de63905cdcf30ec5"
|
|
11076
|
+
},
|
|
10677
11077
|
{
|
|
10678
11078
|
"definitionId": "proofkit.json-report-cli-adapter-source.output.v1.root-shape",
|
|
10679
11079
|
"schemaVersion": 1,
|
|
@@ -27,6 +27,15 @@
|
|
|
27
27
|
"adopt-materialize-recover"
|
|
28
28
|
]
|
|
29
29
|
},
|
|
30
|
+
{
|
|
31
|
+
"familyId": "agent-integrations",
|
|
32
|
+
"label": "Agent integrations",
|
|
33
|
+
"purpose": "Generate portable bootstrap source and check generated-byte freshness without installation or host activation.",
|
|
34
|
+
"commands": [
|
|
35
|
+
"integration-check",
|
|
36
|
+
"integration-source"
|
|
37
|
+
]
|
|
38
|
+
},
|
|
30
39
|
{
|
|
31
40
|
"familyId": "agent-workflow-planning",
|
|
32
41
|
"label": "Agent workflow planning",
|