@research-engineering/agentic-proofkit 0.5.1 → 0.7.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 +20 -9
- 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 +28 -17
- package/docs/specs/proofkit-agent-workflow/overview.md +7 -6
- package/docs/specs/proofkit-agent-workflow/requirements.v1.json +1 -1
- 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 +26 -4
- package/docs/specs/proofkit-spec-proof-core/requirements.v1.json +79 -1
- package/docs/specs/proofkit-supply-chain-quality/overview.md +9 -8
- package/docs/specs/proofkit-supply-chain-quality/requirements.v1.json +5 -5
- package/package.json +4 -4
- package/proofkit/cli-contract.v2.json +511 -195
- package/proofkit/command-families.v1.json +2 -1
- package/proofkit/requirement-bindings.json +563 -2
|
@@ -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,133 @@
|
|
|
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-plan",
|
|
47
|
+
"route": [
|
|
48
|
+
"adopt",
|
|
49
|
+
"plan"
|
|
50
|
+
],
|
|
51
|
+
"input": "none",
|
|
52
|
+
"stdin": false,
|
|
53
|
+
"inputPointer": false,
|
|
54
|
+
"scopeClass": "explicit_filesystem_scan",
|
|
55
|
+
"outputModes": [
|
|
56
|
+
"json",
|
|
57
|
+
"text"
|
|
58
|
+
],
|
|
59
|
+
"allowedFlags": [
|
|
60
|
+
"--color",
|
|
61
|
+
"--format",
|
|
62
|
+
"--mode",
|
|
63
|
+
"--repo-root",
|
|
64
|
+
"--stack"
|
|
65
|
+
],
|
|
66
|
+
"requiredFlags": [
|
|
67
|
+
"--mode",
|
|
68
|
+
"--repo-root"
|
|
69
|
+
],
|
|
70
|
+
"singleOccurrenceFlags": [
|
|
71
|
+
"--color",
|
|
72
|
+
"--format",
|
|
73
|
+
"--mode",
|
|
74
|
+
"--repo-root",
|
|
75
|
+
"--stack"
|
|
76
|
+
],
|
|
77
|
+
"flagChoices": {
|
|
78
|
+
"--color": [
|
|
79
|
+
"auto",
|
|
80
|
+
"never"
|
|
81
|
+
],
|
|
82
|
+
"--format": [
|
|
83
|
+
"json",
|
|
84
|
+
"text"
|
|
85
|
+
],
|
|
86
|
+
"--mode": [
|
|
87
|
+
"audit-from-code",
|
|
88
|
+
"code-baseline",
|
|
89
|
+
"fresh"
|
|
90
|
+
],
|
|
91
|
+
"--stack": [
|
|
92
|
+
"agentic_runtime_repo",
|
|
93
|
+
"generated_docs_contract_repo",
|
|
94
|
+
"python_service",
|
|
95
|
+
"python_typescript_service",
|
|
96
|
+
"typescript_monorepo",
|
|
97
|
+
"typescript_workspace"
|
|
98
|
+
]
|
|
99
|
+
},
|
|
100
|
+
"flagPresenceRequirements": [
|
|
101
|
+
{
|
|
102
|
+
"flag": "--color",
|
|
103
|
+
"requiredFlagValues": [
|
|
104
|
+
{
|
|
105
|
+
"flag": "--format",
|
|
106
|
+
"value": "text"
|
|
107
|
+
}
|
|
108
|
+
],
|
|
109
|
+
"requiredFlags": []
|
|
110
|
+
}
|
|
111
|
+
],
|
|
112
|
+
"outputContract": {
|
|
113
|
+
"contractId": "proofkit.adopt-plan.output.v1",
|
|
114
|
+
"schemaVersion": 1,
|
|
115
|
+
"rootType": "object",
|
|
116
|
+
"closed": true,
|
|
117
|
+
"rootDefinitionRef": "proofkit.adopt-plan.output.v1.root-shape",
|
|
118
|
+
"rootDefinitionDigest": "sha256:c7bc9d7b70231d57a3066cad755d30aacfbc92fe57ac54d2df5d2ec7ed175a32",
|
|
119
|
+
"nativeSource": {
|
|
120
|
+
"path": "internal/command/adoptionplan",
|
|
121
|
+
"canonicalDigest": "sha256:c34b3405ed178abf711ab3f43562dccb03c1c8d16dcdc00a0462c5197b65dc67",
|
|
122
|
+
"evidenceClass": "source_checkout"
|
|
123
|
+
},
|
|
124
|
+
"nativeOutputWitnessSelector": {
|
|
125
|
+
"path": "internal/command/adoptionplan/adoptionplan_test.go",
|
|
126
|
+
"test": "TestPlanWireAdmissionIsDeterministicAndOwnerClosed",
|
|
127
|
+
"command": "go test ./internal/command/adoptionplan -run '^TestPlanWireAdmissionIsDeterministicAndOwnerClosed$'",
|
|
128
|
+
"evidenceClass": "source_checkout"
|
|
129
|
+
},
|
|
130
|
+
"compatibilitySummary": [
|
|
131
|
+
"schemaVersion=1",
|
|
132
|
+
"JSON adoption plan; text is a bounded derived presentation",
|
|
133
|
+
"root-shape-only definition proofkit.adopt-plan.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
134
|
+
],
|
|
135
|
+
"ownerRequirementRefs": [
|
|
136
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
137
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
138
|
+
"REQ-PROOFKIT-SPEC-029",
|
|
139
|
+
"REQ-PROOFKIT-SPEC-030"
|
|
140
|
+
],
|
|
141
|
+
"flagChoices": {
|
|
142
|
+
"--color": [
|
|
143
|
+
"auto",
|
|
144
|
+
"never"
|
|
145
|
+
],
|
|
146
|
+
"--format": [
|
|
147
|
+
"json",
|
|
148
|
+
"text"
|
|
149
|
+
],
|
|
150
|
+
"--mode": [
|
|
151
|
+
"audit-from-code",
|
|
152
|
+
"code-baseline",
|
|
153
|
+
"fresh"
|
|
154
|
+
],
|
|
155
|
+
"--stack": [
|
|
156
|
+
"agentic_runtime_repo",
|
|
157
|
+
"generated_docs_contract_repo",
|
|
158
|
+
"python_service",
|
|
159
|
+
"python_typescript_service",
|
|
160
|
+
"typescript_monorepo",
|
|
161
|
+
"typescript_workspace"
|
|
162
|
+
]
|
|
163
|
+
}
|
|
164
|
+
}
|
|
165
|
+
},
|
|
38
166
|
{
|
|
39
167
|
"command": "adoption-checklist",
|
|
40
168
|
"input": "required",
|
|
@@ -347,11 +475,32 @@
|
|
|
347
475
|
],
|
|
348
476
|
"allowedFlags": [
|
|
349
477
|
"--agent-envelope",
|
|
478
|
+
"--agent-envelope-mode",
|
|
479
|
+
"--input",
|
|
480
|
+
"--input-pointer"
|
|
481
|
+
],
|
|
482
|
+
"singleOccurrenceFlags": [
|
|
483
|
+
"--agent-envelope",
|
|
484
|
+
"--agent-envelope-mode",
|
|
350
485
|
"--input",
|
|
351
486
|
"--input-pointer"
|
|
352
487
|
],
|
|
488
|
+
"flagChoices": {
|
|
489
|
+
"--agent-envelope-mode": [
|
|
490
|
+
"brief",
|
|
491
|
+
"full"
|
|
492
|
+
]
|
|
493
|
+
},
|
|
494
|
+
"flagPresenceRequirements": [
|
|
495
|
+
{
|
|
496
|
+
"flag": "--agent-envelope-mode",
|
|
497
|
+
"requiredFlags": [
|
|
498
|
+
"--agent-envelope"
|
|
499
|
+
]
|
|
500
|
+
}
|
|
501
|
+
],
|
|
353
502
|
"inputContract": {
|
|
354
|
-
"contractId": "proofkit.agent-route.input.
|
|
503
|
+
"contractId": "proofkit.agent-route.input.v2",
|
|
355
504
|
"schemaVersion": 1,
|
|
356
505
|
"authority": "agent-route input admission",
|
|
357
506
|
"fields": {
|
|
@@ -400,7 +549,7 @@
|
|
|
400
549
|
]
|
|
401
550
|
},
|
|
402
551
|
"ref": {
|
|
403
|
-
"format": "safe repo-relative caller-owned file, report ref, or scanner root ref; scanner root refs may be ."
|
|
552
|
+
"format": "safe repo-relative materialized caller-owned file, report ref, or scanner root ref; stdin sentinel - is forbidden and scanner root refs may be ."
|
|
404
553
|
}
|
|
405
554
|
},
|
|
406
555
|
"uniqueBy": "kind"
|
|
@@ -414,7 +563,6 @@
|
|
|
414
563
|
"nonClaim": "serve_local_view only adds --serve to requirement-browser-server routes; it does not create a public server or approve rendered artifacts."
|
|
415
564
|
},
|
|
416
565
|
"goal": {
|
|
417
|
-
"required": true,
|
|
418
566
|
"enum": [
|
|
419
567
|
"admit_receipts",
|
|
420
568
|
"adopt_repository",
|
|
@@ -435,7 +583,8 @@
|
|
|
435
583
|
"unknown",
|
|
436
584
|
"validate_requirement_source",
|
|
437
585
|
"verify_typescript_public_api"
|
|
438
|
-
]
|
|
586
|
+
],
|
|
587
|
+
"required": true
|
|
439
588
|
},
|
|
440
589
|
"knownChangedPaths": {
|
|
441
590
|
"default": [],
|
|
@@ -443,20 +592,21 @@
|
|
|
443
592
|
"nonClaim": "knownChangedPaths is diagnostic-only; selective routing requires a caller-owned changed_path_set input ref."
|
|
444
593
|
},
|
|
445
594
|
"mode": {
|
|
446
|
-
"required": true,
|
|
447
595
|
"enum": [
|
|
448
596
|
"enforce-all",
|
|
449
597
|
"enforce-touched",
|
|
450
598
|
"observe",
|
|
451
599
|
"warn"
|
|
452
|
-
]
|
|
600
|
+
],
|
|
601
|
+
"required": true
|
|
453
602
|
},
|
|
454
603
|
"nonClaims": {
|
|
455
604
|
"default": [],
|
|
456
|
-
"
|
|
457
|
-
"
|
|
605
|
+
"maxItemRunes": 240,
|
|
606
|
+
"maxItems": 8
|
|
458
607
|
},
|
|
459
608
|
"observedReports": {
|
|
609
|
+
"blockingSemantics": "any observed report state other than passed blocks command emission",
|
|
460
610
|
"default": [],
|
|
461
611
|
"item": {
|
|
462
612
|
"kind": {
|
|
@@ -472,7 +622,7 @@
|
|
|
472
622
|
]
|
|
473
623
|
},
|
|
474
624
|
"ref": {
|
|
475
|
-
"format": "safe repo-relative report ref"
|
|
625
|
+
"format": "safe repo-relative materialized caller-owned report ref; stdin sentinel - is forbidden"
|
|
476
626
|
},
|
|
477
627
|
"state": {
|
|
478
628
|
"enum": [
|
|
@@ -484,7 +634,6 @@
|
|
|
484
634
|
]
|
|
485
635
|
}
|
|
486
636
|
},
|
|
487
|
-
"blockingSemantics": "any observed report state other than passed blocks command emission",
|
|
488
637
|
"uniqueBy": "ref"
|
|
489
638
|
},
|
|
490
639
|
"openBrowser": {
|
|
@@ -492,9 +641,9 @@
|
|
|
492
641
|
"nonClaim": "openBrowser only adds --open when browserMode is serve_local_view."
|
|
493
642
|
},
|
|
494
643
|
"routeId": {
|
|
495
|
-
"required": true,
|
|
496
644
|
"format": "safe stable id",
|
|
497
|
-
"maxRunes": 96
|
|
645
|
+
"maxRunes": 96,
|
|
646
|
+
"required": true
|
|
498
647
|
},
|
|
499
648
|
"schemaVersion": {
|
|
500
649
|
"required": true,
|
|
@@ -507,11 +656,11 @@
|
|
|
507
656
|
],
|
|
508
657
|
"rootType": "object",
|
|
509
658
|
"closed": true,
|
|
510
|
-
"rootDefinitionRef": "proofkit.agent-route.input.
|
|
511
|
-
"rootDefinitionDigest": "sha256:
|
|
659
|
+
"rootDefinitionRef": "proofkit.agent-route.input.v2.root-shape",
|
|
660
|
+
"rootDefinitionDigest": "sha256:7151fa0ac2e070079c0a584b8a04757639d0b6955314a100044a8b471a7602d6",
|
|
512
661
|
"nativeSource": {
|
|
513
662
|
"path": "internal/command/agentroute",
|
|
514
|
-
"canonicalDigest": "sha256:
|
|
663
|
+
"canonicalDigest": "sha256:9fdb6a0fcb98b32fc58f6a1abb95946f1b433cc3022d6f731ae6701462b0d6f2",
|
|
515
664
|
"evidenceClass": "source_checkout"
|
|
516
665
|
},
|
|
517
666
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -531,81 +680,138 @@
|
|
|
531
680
|
"openBrowser",
|
|
532
681
|
"routeId",
|
|
533
682
|
"schemaVersion",
|
|
534
|
-
"root-shape-only definition proofkit.agent-route.input.
|
|
683
|
+
"root-shape-only definition proofkit.agent-route.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
535
684
|
],
|
|
536
685
|
"ownerRequirementRefs": [
|
|
537
686
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
538
687
|
"REQ-PROOFKIT-QUALITY-004",
|
|
539
|
-
"REQ-PROOFKIT-SPEC-005"
|
|
688
|
+
"REQ-PROOFKIT-SPEC-005",
|
|
689
|
+
"REQ-PROOFKIT-SPEC-026"
|
|
540
690
|
]
|
|
541
691
|
},
|
|
542
692
|
"outputContract": {
|
|
543
|
-
"contractId": "proofkit.agent-route.output.
|
|
544
|
-
"schemaVersion":
|
|
545
|
-
"authority": "deterministic route report
|
|
546
|
-
"
|
|
547
|
-
"
|
|
548
|
-
"
|
|
549
|
-
"
|
|
550
|
-
|
|
551
|
-
|
|
552
|
-
|
|
553
|
-
|
|
554
|
-
|
|
555
|
-
|
|
556
|
-
"
|
|
557
|
-
|
|
558
|
-
"
|
|
559
|
-
"
|
|
560
|
-
"
|
|
561
|
-
|
|
562
|
-
|
|
563
|
-
"
|
|
564
|
-
|
|
565
|
-
|
|
566
|
-
|
|
567
|
-
|
|
568
|
-
|
|
569
|
-
|
|
570
|
-
|
|
571
|
-
|
|
572
|
-
|
|
573
|
-
|
|
574
|
-
|
|
575
|
-
|
|
576
|
-
|
|
577
|
-
"
|
|
693
|
+
"contractId": "proofkit.agent-route.output.v3",
|
|
694
|
+
"schemaVersion": 3,
|
|
695
|
+
"authority": "deterministic route report, brief packet, full envelope, or invalid-input repair packet selected from the admitted invocation",
|
|
696
|
+
"reportContract": {
|
|
697
|
+
"contractId": "proofkit.agent-route.report.v3",
|
|
698
|
+
"schemaVersion": 3,
|
|
699
|
+
"requiredFields": [
|
|
700
|
+
"guidanceSlice",
|
|
701
|
+
"reportId",
|
|
702
|
+
"reportKind",
|
|
703
|
+
"schemaVersion",
|
|
704
|
+
"selectedRouteFamily",
|
|
705
|
+
"state",
|
|
706
|
+
"summary"
|
|
707
|
+
],
|
|
708
|
+
"fields": {
|
|
709
|
+
"schemaVersion": {
|
|
710
|
+
"value": 3
|
|
711
|
+
},
|
|
712
|
+
"selectedRouteFamily": {
|
|
713
|
+
"enum": [
|
|
714
|
+
"adoption",
|
|
715
|
+
"migration",
|
|
716
|
+
"release_and_deployment",
|
|
717
|
+
"rendered_views",
|
|
718
|
+
"repository_structure",
|
|
719
|
+
"requirement_proof_binding",
|
|
720
|
+
"requirement_source",
|
|
721
|
+
"selective_evidence",
|
|
722
|
+
"selective_planning",
|
|
723
|
+
"test_inventory_and_coverage",
|
|
724
|
+
"unknown"
|
|
725
|
+
]
|
|
726
|
+
},
|
|
727
|
+
"guidanceSlice": {
|
|
728
|
+
"requiredFields": [
|
|
729
|
+
"routeFamily"
|
|
730
|
+
],
|
|
731
|
+
"routeFamilyRule": "must equal selectedRouteFamily"
|
|
732
|
+
},
|
|
733
|
+
"summary": {
|
|
734
|
+
"availableCommandCount": "exact count before blocked-state command suppression",
|
|
735
|
+
"launcherProfile": "exact admitted command-renderer profile that affects route argv and report identity"
|
|
736
|
+
}
|
|
578
737
|
}
|
|
579
738
|
},
|
|
580
|
-
"
|
|
581
|
-
"
|
|
582
|
-
|
|
739
|
+
"briefPacketContract": {
|
|
740
|
+
"boundaryPolicyRefs": [
|
|
741
|
+
"REQ-PROOFKIT-SPEC-005",
|
|
742
|
+
"REQ-PROOFKIT-SPEC-026"
|
|
743
|
+
],
|
|
744
|
+
"contractId": "proofkit.agent-route.brief.v1",
|
|
745
|
+
"fieldRules": {
|
|
746
|
+
"blockers": "unknown-goal blocker when applicable, then required-input blockers, then sorted non-passed observed-report blockers; retain at most four and count the exact remainder without materializing the omitted blocker maps",
|
|
747
|
+
"boundaryPolicyRefs": "exactly the shipped and uniquely resolvable requirement IDs REQ-PROOFKIT-SPEC-005 and REQ-PROOFKIT-SPEC-026; policy prose is not duplicated",
|
|
748
|
+
"contextRefs": "only caller-owned artifact operands of the selected next command, each addressed by an RFC 6901 pointer into the source report",
|
|
749
|
+
"detailAccess": "binds source report ID, stable digest, and launcher profile and provides exact outputArgs suffixes for report and full retrieval from the original admitted input and launcher context",
|
|
750
|
+
"nextAction": "null for blocked states; otherwise the first canonical nextCommands entry with exact command identity and inline argv unless the byte bound requires argvState=detail_required",
|
|
751
|
+
"omissionSummary": "exact counts for unselected available commands, source-omitted commands, and blockers omitted by the packet bound",
|
|
752
|
+
"packetKind": "proofkit.agent-route.brief",
|
|
753
|
+
"schemaVersion": "1"
|
|
754
|
+
},
|
|
755
|
+
"maxBlockers": 4,
|
|
756
|
+
"maxPrettyJSONBytes": 3072,
|
|
757
|
+
"nonClaims": [
|
|
758
|
+
"The brief packet is derived route guidance, not requirement, proof, execution, merge, release, rollout, deployment, or readiness authority.",
|
|
759
|
+
"The packet byte bound does not claim tokenizer-specific token consumption or semantic sufficiency."
|
|
760
|
+
],
|
|
761
|
+
"requiredFields": [
|
|
762
|
+
"blockers",
|
|
763
|
+
"boundaryPolicyRefs",
|
|
764
|
+
"contextRefs",
|
|
765
|
+
"detailAccess",
|
|
766
|
+
"nextAction",
|
|
767
|
+
"omissionSummary",
|
|
768
|
+
"packetId",
|
|
769
|
+
"packetKind",
|
|
770
|
+
"routeFamily",
|
|
771
|
+
"schemaVersion",
|
|
772
|
+
"state"
|
|
773
|
+
],
|
|
774
|
+
"schemaVersion": 1
|
|
775
|
+
},
|
|
776
|
+
"changesFromV2": [
|
|
777
|
+
"bare --agent-envelope emits proofkit.agent-route.brief",
|
|
778
|
+
"--agent-envelope-mode full preserves the prior generic envelope projection",
|
|
779
|
+
"route report schemaVersion advances to 3 while preserving prior route-family semantics and adding exact launcher and available-command context"
|
|
583
780
|
],
|
|
584
781
|
"rootType": "object",
|
|
585
782
|
"closed": true,
|
|
586
|
-
"rootDefinitionRef": "proofkit.agent-route.output.
|
|
587
|
-
"rootDefinitionDigest": "sha256:
|
|
588
|
-
"
|
|
589
|
-
|
|
590
|
-
|
|
591
|
-
|
|
592
|
-
|
|
783
|
+
"rootDefinitionRef": "proofkit.agent-route.output.v3.root-shape",
|
|
784
|
+
"rootDefinitionDigest": "sha256:0881bc0765f61ea76d681a8bb2ddd915504c5a350a3a8286253e2959693be60e",
|
|
785
|
+
"nativeSources": [
|
|
786
|
+
{
|
|
787
|
+
"path": "internal/app",
|
|
788
|
+
"canonicalDigest": "sha256:7f8837c629226c740c41b14ea0c1fc9c03337faeeec5453bd4d2899a8f7b0bf8",
|
|
789
|
+
"evidenceClass": "source_checkout"
|
|
790
|
+
},
|
|
791
|
+
{
|
|
792
|
+
"path": "internal/command/agentroute",
|
|
793
|
+
"canonicalDigest": "sha256:9fdb6a0fcb98b32fc58f6a1abb95946f1b433cc3022d6f731ae6701462b0d6f2",
|
|
794
|
+
"evidenceClass": "source_checkout"
|
|
795
|
+
}
|
|
796
|
+
],
|
|
593
797
|
"nativeOutputWitnessSelector": {
|
|
594
|
-
"path": "internal/
|
|
595
|
-
"test": "
|
|
596
|
-
"command": "go test ./internal/
|
|
798
|
+
"path": "internal/app/cli_abi_test.go",
|
|
799
|
+
"test": "TestAgentRouteEnvelopeModesUseExactRootShapes",
|
|
800
|
+
"command": "go test ./internal/app -run '^TestAgentRouteEnvelopeModesUseExactRootShapes$'",
|
|
597
801
|
"evidenceClass": "source_checkout"
|
|
598
802
|
},
|
|
599
803
|
"compatibilitySummary": [
|
|
600
804
|
"guidanceSlice",
|
|
601
|
-
"schemaVersion",
|
|
602
805
|
"selectedRouteFamily",
|
|
603
|
-
"
|
|
806
|
+
"schemaVersion=3",
|
|
807
|
+
"brief agent packet by default with explicit full envelope detail mode",
|
|
808
|
+
"nested proofkit.agent-route.brief.v1 contract plus root-shape definition proofkit.agent-route.output.v3.root-shape"
|
|
604
809
|
],
|
|
605
810
|
"ownerRequirementRefs": [
|
|
606
811
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
607
812
|
"REQ-PROOFKIT-QUALITY-004",
|
|
608
|
-
"REQ-PROOFKIT-SPEC-005"
|
|
813
|
+
"REQ-PROOFKIT-SPEC-005",
|
|
814
|
+
"REQ-PROOFKIT-SPEC-026"
|
|
609
815
|
]
|
|
610
816
|
}
|
|
611
817
|
},
|
|
@@ -767,7 +973,7 @@
|
|
|
767
973
|
"rootDefinitionDigest": "sha256:9b1b0b9b884f84f856db7373844a1988bb7ef0198a9f125219025530ed6054b2",
|
|
768
974
|
"nativeSource": {
|
|
769
975
|
"path": "internal/command/capabilitymapadmission",
|
|
770
|
-
"canonicalDigest": "sha256:
|
|
976
|
+
"canonicalDigest": "sha256:000dc65922353143b40c0a5e7be633ac79c898bb7260cc8a3801db48153b7d43",
|
|
771
977
|
"evidenceClass": "source_checkout"
|
|
772
978
|
},
|
|
773
979
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -795,7 +1001,7 @@
|
|
|
795
1001
|
"rootDefinitionDigest": "sha256:d20d4d55690f7b98768d8bb1c2c313f78bdf9ac8163fa6d1ff694664b2d7d999",
|
|
796
1002
|
"nativeSource": {
|
|
797
1003
|
"path": "internal/command/capabilitymapadmission",
|
|
798
|
-
"canonicalDigest": "sha256:
|
|
1004
|
+
"canonicalDigest": "sha256:000dc65922353143b40c0a5e7be633ac79c898bb7260cc8a3801db48153b7d43",
|
|
799
1005
|
"evidenceClass": "source_checkout"
|
|
800
1006
|
},
|
|
801
1007
|
"nativeOutputWitnessSelector": {
|
|
@@ -1118,7 +1324,7 @@
|
|
|
1118
1324
|
"rootDefinitionDigest": "sha256:b343c1093476cd9f50970f58608e43c1a6ae681a2c06b17c217ab4f22ea454e5",
|
|
1119
1325
|
"nativeSource": {
|
|
1120
1326
|
"path": "internal/command/conformanceprofile",
|
|
1121
|
-
|
|
1327
|
+
"canonicalDigest": "sha256:fba2ae58bf66cfc43834368dec84ca85abd11e08a541786dc59eafaf7628c322",
|
|
1122
1328
|
"evidenceClass": "source_checkout"
|
|
1123
1329
|
},
|
|
1124
1330
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -1145,7 +1351,7 @@
|
|
|
1145
1351
|
"rootDefinitionDigest": "sha256:5817a9d259deb8ff48d8dc6298b46164e7b132304ca1d865967c611d147b1793",
|
|
1146
1352
|
"nativeSource": {
|
|
1147
1353
|
"path": "internal/command/conformanceprofile",
|
|
1148
|
-
|
|
1354
|
+
"canonicalDigest": "sha256:fba2ae58bf66cfc43834368dec84ca85abd11e08a541786dc59eafaf7628c322",
|
|
1149
1355
|
"evidenceClass": "source_checkout"
|
|
1150
1356
|
},
|
|
1151
1357
|
"nativeOutputWitnessSelector": {
|
|
@@ -1814,70 +2020,6 @@
|
|
|
1814
2020
|
]
|
|
1815
2021
|
}
|
|
1816
2022
|
},
|
|
1817
|
-
{
|
|
1818
|
-
"command": "init",
|
|
1819
|
-
"input": "none",
|
|
1820
|
-
"stdin": false,
|
|
1821
|
-
"inputPointer": false,
|
|
1822
|
-
"scopeClass": "built_in_package_catalog",
|
|
1823
|
-
"outputModes": [
|
|
1824
|
-
"json"
|
|
1825
|
-
],
|
|
1826
|
-
"allowedFlags": [
|
|
1827
|
-
"--preset"
|
|
1828
|
-
],
|
|
1829
|
-
"outputContract": {
|
|
1830
|
-
"contractId": "proofkit.init.output.v1",
|
|
1831
|
-
"schemaVersion": 1,
|
|
1832
|
-
"authority": "dry-run adoption route guidance",
|
|
1833
|
-
"presets": [
|
|
1834
|
-
"all",
|
|
1835
|
-
"change-set",
|
|
1836
|
-
"code-audit",
|
|
1837
|
-
"code-baseline",
|
|
1838
|
-
"fresh",
|
|
1839
|
-
"legacy"
|
|
1840
|
-
],
|
|
1841
|
-
"requiredReportFields": [
|
|
1842
|
-
"diagnostics",
|
|
1843
|
-
"nonClaims",
|
|
1844
|
-
"reportId",
|
|
1845
|
-
"reportKind",
|
|
1846
|
-
"ruleResults",
|
|
1847
|
-
"schemaVersion",
|
|
1848
|
-
"state",
|
|
1849
|
-
"summary"
|
|
1850
|
-
],
|
|
1851
|
-
"nonClaim": "Init does not read repository files, discover tests, write files, create requirements, or approve merge/release/rollout.",
|
|
1852
|
-
"rootType": "object",
|
|
1853
|
-
"closed": true,
|
|
1854
|
-
"rootDefinitionRef": "proofkit.init.output.v1.root-shape",
|
|
1855
|
-
"rootDefinitionDigest": "sha256:9f57ccd7905a2d8cbffeb8cf3495d338ea67c0ebfe66889b4d5ee16434be5f88",
|
|
1856
|
-
"nativeSource": {
|
|
1857
|
-
"path": "internal/command/initplan",
|
|
1858
|
-
"canonicalDigest": "sha256:b7cf7f6d0cf534c062ac6b9aa20129308aae0b1a1716e2be74569a5f2bd7dfcf",
|
|
1859
|
-
"evidenceClass": "source_checkout"
|
|
1860
|
-
},
|
|
1861
|
-
"nativeOutputWitnessSelector": {
|
|
1862
|
-
"path": "internal/app/cli_abi_test.go",
|
|
1863
|
-
"test": "TestCLIABIGoldenCorpus",
|
|
1864
|
-
"command": "go test ./internal/app -run '^TestCLIABIGoldenCorpus$'",
|
|
1865
|
-
"evidenceClass": "source_checkout"
|
|
1866
|
-
},
|
|
1867
|
-
"compatibilitySummary": [
|
|
1868
|
-
"schemaVersion=1",
|
|
1869
|
-
"root-shape-only definition proofkit.init.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
1870
|
-
],
|
|
1871
|
-
"ownerRequirementRefs": [
|
|
1872
|
-
"REQ-PROOFKIT-PACKAGE-002",
|
|
1873
|
-
"REQ-PROOFKIT-QUALITY-004",
|
|
1874
|
-
"REQ-PROOFKIT-QUALITY-021",
|
|
1875
|
-
"REQ-PROOFKIT-SPEC-009",
|
|
1876
|
-
"REQ-PROOFKIT-SPEC-011",
|
|
1877
|
-
"REQ-PROOFKIT-SPEC-012"
|
|
1878
|
-
]
|
|
1879
|
-
}
|
|
1880
|
-
},
|
|
1881
2023
|
{
|
|
1882
2024
|
"command": "json-report-cli-adapter-source",
|
|
1883
2025
|
"input": "none",
|
|
@@ -1923,7 +2065,7 @@
|
|
|
1923
2065
|
"rootDefinitionDigest": "sha256:9378c7663485f39089cf6c39a3d2f778e28b5801637229fe9524a9652a7b0737",
|
|
1924
2066
|
"nativeSource": {
|
|
1925
2067
|
"path": "internal/command/jsonreportcliadaptersource",
|
|
1926
|
-
"canonicalDigest": "sha256:
|
|
2068
|
+
"canonicalDigest": "sha256:e2d464fd22ab51809883622acfe23b35ffe7615701bc8f8672a097fc3b202462",
|
|
1927
2069
|
"evidenceClass": "source_checkout"
|
|
1928
2070
|
},
|
|
1929
2071
|
"nativeOutputWitnessSelector": {
|
|
@@ -2151,7 +2293,7 @@
|
|
|
2151
2293
|
"rootDefinitionDigest": "sha256:218011a133540f57ef74f8748747e00d33b6757c9f77725ecef39f45fb19423f",
|
|
2152
2294
|
"nativeSource": {
|
|
2153
2295
|
"path": "internal/command/nativeevidenceguidance",
|
|
2154
|
-
"canonicalDigest": "sha256:
|
|
2296
|
+
"canonicalDigest": "sha256:dc0f538649d2f097f6cd39dad1db4b11da249206cac1b741a528beab48969974",
|
|
2155
2297
|
"evidenceClass": "source_checkout"
|
|
2156
2298
|
},
|
|
2157
2299
|
"nativeOutputWitnessSelector": {
|
|
@@ -2421,7 +2563,7 @@
|
|
|
2421
2563
|
"nativeSources": [
|
|
2422
2564
|
{
|
|
2423
2565
|
"path": "internal/app",
|
|
2424
|
-
"canonicalDigest": "sha256:
|
|
2566
|
+
"canonicalDigest": "sha256:7f8837c629226c740c41b14ea0c1fc9c03337faeeec5453bd4d2899a8f7b0bf8",
|
|
2425
2567
|
"evidenceClass": "source_checkout"
|
|
2426
2568
|
},
|
|
2427
2569
|
{
|
|
@@ -3364,6 +3506,54 @@
|
|
|
3364
3506
|
]
|
|
3365
3507
|
}
|
|
3366
3508
|
},
|
|
3509
|
+
{
|
|
3510
|
+
"command": "repository-inventory",
|
|
3511
|
+
"input": "none",
|
|
3512
|
+
"stdin": false,
|
|
3513
|
+
"inputPointer": false,
|
|
3514
|
+
"scopeClass": "explicit_filesystem_scan",
|
|
3515
|
+
"outputModes": [
|
|
3516
|
+
"json"
|
|
3517
|
+
],
|
|
3518
|
+
"allowedFlags": [
|
|
3519
|
+
"--repo-root"
|
|
3520
|
+
],
|
|
3521
|
+
"requiredFlags": [
|
|
3522
|
+
"--repo-root"
|
|
3523
|
+
],
|
|
3524
|
+
"singleOccurrenceFlags": [
|
|
3525
|
+
"--repo-root"
|
|
3526
|
+
],
|
|
3527
|
+
"outputContract": {
|
|
3528
|
+
"contractId": "proofkit.repository-inventory.output.v1",
|
|
3529
|
+
"schemaVersion": 1,
|
|
3530
|
+
"rootType": "object",
|
|
3531
|
+
"closed": true,
|
|
3532
|
+
"rootDefinitionRef": "proofkit.repository-inventory.output.v1.root-shape",
|
|
3533
|
+
"rootDefinitionDigest": "sha256:cc91b8e1a3fb25180165204979ccbc07c378679e2ffe7f85348b3fd38ecbdc8e",
|
|
3534
|
+
"nativeSource": {
|
|
3535
|
+
"path": "internal/command/repositoryinventory",
|
|
3536
|
+
"canonicalDigest": "sha256:4fb3ddaf49f9db46192a5ee2c88552cb60f2eca94197c4046045f48728a99d29",
|
|
3537
|
+
"evidenceClass": "source_checkout"
|
|
3538
|
+
},
|
|
3539
|
+
"nativeOutputWitnessSelector": {
|
|
3540
|
+
"path": "internal/command/repositoryinventory/repositoryinventory_test.go",
|
|
3541
|
+
"test": "TestScanProducesBoundedClosedInventory",
|
|
3542
|
+
"command": "go test ./internal/command/repositoryinventory -run '^TestScanProducesBoundedClosedInventory$'",
|
|
3543
|
+
"evidenceClass": "source_checkout"
|
|
3544
|
+
},
|
|
3545
|
+
"compatibilitySummary": [
|
|
3546
|
+
"schemaVersion=1",
|
|
3547
|
+
"bounded root-catalog observation without manifest or source semantics",
|
|
3548
|
+
"root-shape-only definition proofkit.repository-inventory.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
3549
|
+
],
|
|
3550
|
+
"ownerRequirementRefs": [
|
|
3551
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
3552
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
3553
|
+
"REQ-PROOFKIT-SPEC-028"
|
|
3554
|
+
]
|
|
3555
|
+
}
|
|
3556
|
+
},
|
|
3367
3557
|
{
|
|
3368
3558
|
"command": "requirement-authoring-plan",
|
|
3369
3559
|
"input": "required",
|
|
@@ -5663,7 +5853,7 @@
|
|
|
5663
5853
|
"rootDefinitionDigest": "sha256:3c842174dff5361e7f83166469b832805e05aa314b073c16234b5b64e346281e",
|
|
5664
5854
|
"nativeSource": {
|
|
5665
5855
|
"path": "internal/app",
|
|
5666
|
-
"canonicalDigest": "sha256:
|
|
5856
|
+
"canonicalDigest": "sha256:7f8837c629226c740c41b14ea0c1fc9c03337faeeec5453bd4d2899a8f7b0bf8",
|
|
5667
5857
|
"evidenceClass": "source_checkout"
|
|
5668
5858
|
},
|
|
5669
5859
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -5692,7 +5882,7 @@
|
|
|
5692
5882
|
"rootDefinitionDigest": "sha256:0ea95e277ebe44cd2de42c29b47c38686ac0b6b390d8965367437b3fe138e209",
|
|
5693
5883
|
"nativeSource": {
|
|
5694
5884
|
"path": "internal/app",
|
|
5695
|
-
"canonicalDigest": "sha256:
|
|
5885
|
+
"canonicalDigest": "sha256:7f8837c629226c740c41b14ea0c1fc9c03337faeeec5453bd4d2899a8f7b0bf8",
|
|
5696
5886
|
"evidenceClass": "source_checkout"
|
|
5697
5887
|
},
|
|
5698
5888
|
"nativeOutputWitnessSelector": {
|
|
@@ -5885,7 +6075,7 @@
|
|
|
5885
6075
|
"rootDefinitionDigest": "sha256:338f720a24bd36f4ab34cad9b14d3bd26389119e5c713146f1c4eb019f4a0637",
|
|
5886
6076
|
"nativeSource": {
|
|
5887
6077
|
"path": "internal/command/stackpreset",
|
|
5888
|
-
"canonicalDigest": "sha256:
|
|
6078
|
+
"canonicalDigest": "sha256:15217c3923804206b0a05069566cb7b62787829785d314adcbfaf6637c87f4db",
|
|
5889
6079
|
"evidenceClass": "source_checkout"
|
|
5890
6080
|
},
|
|
5891
6081
|
"nativeOutputWitnessSelector": {
|
|
@@ -6929,6 +7119,58 @@
|
|
|
6929
7119
|
}
|
|
6930
7120
|
],
|
|
6931
7121
|
"contractDefinitions": [
|
|
7122
|
+
{
|
|
7123
|
+
"definitionId": "proofkit.adopt-plan.output.v1.root-shape",
|
|
7124
|
+
"schemaVersion": 1,
|
|
7125
|
+
"rootType": "object",
|
|
7126
|
+
"closed": true,
|
|
7127
|
+
"definitionRefs": [],
|
|
7128
|
+
"fieldTree": {
|
|
7129
|
+
"kind": "root_shape_only",
|
|
7130
|
+
"nonClaims": [
|
|
7131
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
7132
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
7133
|
+
],
|
|
7134
|
+
"variants": [
|
|
7135
|
+
{
|
|
7136
|
+
"allowedFields": [
|
|
7137
|
+
"authoringPacket",
|
|
7138
|
+
"authority",
|
|
7139
|
+
"intent",
|
|
7140
|
+
"nonClaims",
|
|
7141
|
+
"planId",
|
|
7142
|
+
"planKind",
|
|
7143
|
+
"repositoryInventory",
|
|
7144
|
+
"schemaVersion",
|
|
7145
|
+
"sourceTrust",
|
|
7146
|
+
"stackHint",
|
|
7147
|
+
"state",
|
|
7148
|
+
"summary"
|
|
7149
|
+
],
|
|
7150
|
+
"requiredFields": [
|
|
7151
|
+
"authoringPacket",
|
|
7152
|
+
"authority",
|
|
7153
|
+
"intent",
|
|
7154
|
+
"nonClaims",
|
|
7155
|
+
"planId",
|
|
7156
|
+
"planKind",
|
|
7157
|
+
"repositoryInventory",
|
|
7158
|
+
"schemaVersion",
|
|
7159
|
+
"sourceTrust",
|
|
7160
|
+
"stackHint",
|
|
7161
|
+
"state",
|
|
7162
|
+
"summary"
|
|
7163
|
+
],
|
|
7164
|
+
"rootKind": "object",
|
|
7165
|
+
"variantId": "01-root",
|
|
7166
|
+
"when": [
|
|
7167
|
+
"default JSON mode"
|
|
7168
|
+
]
|
|
7169
|
+
}
|
|
7170
|
+
]
|
|
7171
|
+
},
|
|
7172
|
+
"canonicalDigest": "sha256:c7bc9d7b70231d57a3066cad755d30aacfbc92fe57ac54d2df5d2ec7ed175a32"
|
|
7173
|
+
},
|
|
6932
7174
|
{
|
|
6933
7175
|
"definitionId": "proofkit.adoption-checklist.input.v1.root-shape",
|
|
6934
7176
|
"schemaVersion": 1,
|
|
@@ -7664,7 +7906,7 @@
|
|
|
7664
7906
|
"canonicalDigest": "sha256:c06f7bfa9c10f73575aa5f927696d41db818697c9a3d320074b7c254011830d5"
|
|
7665
7907
|
},
|
|
7666
7908
|
{
|
|
7667
|
-
"definitionId": "proofkit.agent-route.input.
|
|
7909
|
+
"definitionId": "proofkit.agent-route.input.v2.root-shape",
|
|
7668
7910
|
"schemaVersion": 1,
|
|
7669
7911
|
"rootType": "object",
|
|
7670
7912
|
"closed": true,
|
|
@@ -7703,10 +7945,10 @@
|
|
|
7703
7945
|
}
|
|
7704
7946
|
]
|
|
7705
7947
|
},
|
|
7706
|
-
"canonicalDigest": "sha256:
|
|
7948
|
+
"canonicalDigest": "sha256:7151fa0ac2e070079c0a584b8a04757639d0b6955314a100044a8b471a7602d6"
|
|
7707
7949
|
},
|
|
7708
7950
|
{
|
|
7709
|
-
"definitionId": "proofkit.agent-route.output.
|
|
7951
|
+
"definitionId": "proofkit.agent-route.output.v3.root-shape",
|
|
7710
7952
|
"schemaVersion": 1,
|
|
7711
7953
|
"rootType": "object",
|
|
7712
7954
|
"closed": true,
|
|
@@ -7718,6 +7960,39 @@
|
|
|
7718
7960
|
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
7719
7961
|
],
|
|
7720
7962
|
"variants": [
|
|
7963
|
+
{
|
|
7964
|
+
"allowedFields": [
|
|
7965
|
+
"blockers",
|
|
7966
|
+
"boundaryPolicyRefs",
|
|
7967
|
+
"contextRefs",
|
|
7968
|
+
"detailAccess",
|
|
7969
|
+
"nextAction",
|
|
7970
|
+
"omissionSummary",
|
|
7971
|
+
"packetId",
|
|
7972
|
+
"packetKind",
|
|
7973
|
+
"routeFamily",
|
|
7974
|
+
"schemaVersion",
|
|
7975
|
+
"state"
|
|
7976
|
+
],
|
|
7977
|
+
"requiredFields": [
|
|
7978
|
+
"blockers",
|
|
7979
|
+
"boundaryPolicyRefs",
|
|
7980
|
+
"contextRefs",
|
|
7981
|
+
"detailAccess",
|
|
7982
|
+
"nextAction",
|
|
7983
|
+
"omissionSummary",
|
|
7984
|
+
"packetId",
|
|
7985
|
+
"packetKind",
|
|
7986
|
+
"routeFamily",
|
|
7987
|
+
"schemaVersion",
|
|
7988
|
+
"state"
|
|
7989
|
+
],
|
|
7990
|
+
"rootKind": "object",
|
|
7991
|
+
"variantId": "01-agent-brief",
|
|
7992
|
+
"when": [
|
|
7993
|
+
"--agent-envelope=present --agent-envelope-mode=absent|brief; admitted route input"
|
|
7994
|
+
]
|
|
7995
|
+
},
|
|
7721
7996
|
{
|
|
7722
7997
|
"allowedFields": [
|
|
7723
7998
|
"actionPlan",
|
|
@@ -7752,9 +8027,48 @@
|
|
|
7752
8027
|
"sourceReport"
|
|
7753
8028
|
],
|
|
7754
8029
|
"rootKind": "object",
|
|
7755
|
-
"variantId": "
|
|
8030
|
+
"variantId": "02-agent-envelope-full",
|
|
7756
8031
|
"when": [
|
|
7757
|
-
"--agent-envelope"
|
|
8032
|
+
"--agent-envelope=present --agent-envelope-mode=full; admitted route input"
|
|
8033
|
+
]
|
|
8034
|
+
},
|
|
8035
|
+
{
|
|
8036
|
+
"allowedFields": [
|
|
8037
|
+
"actionPlan",
|
|
8038
|
+
"blockedPreconditions",
|
|
8039
|
+
"bounds",
|
|
8040
|
+
"clarificationQuestions",
|
|
8041
|
+
"commands",
|
|
8042
|
+
"contextRefs",
|
|
8043
|
+
"costContract",
|
|
8044
|
+
"envelopeId",
|
|
8045
|
+
"nonClaims",
|
|
8046
|
+
"omitted",
|
|
8047
|
+
"receiptRefs",
|
|
8048
|
+
"routeQuestions",
|
|
8049
|
+
"schemaVersion",
|
|
8050
|
+
"sourceReport"
|
|
8051
|
+
],
|
|
8052
|
+
"requiredFields": [
|
|
8053
|
+
"actionPlan",
|
|
8054
|
+
"blockedPreconditions",
|
|
8055
|
+
"bounds",
|
|
8056
|
+
"clarificationQuestions",
|
|
8057
|
+
"commands",
|
|
8058
|
+
"contextRefs",
|
|
8059
|
+
"costContract",
|
|
8060
|
+
"envelopeId",
|
|
8061
|
+
"nonClaims",
|
|
8062
|
+
"omitted",
|
|
8063
|
+
"receiptRefs",
|
|
8064
|
+
"routeQuestions",
|
|
8065
|
+
"schemaVersion",
|
|
8066
|
+
"sourceReport"
|
|
8067
|
+
],
|
|
8068
|
+
"rootKind": "object",
|
|
8069
|
+
"variantId": "03-invalid-input-repair",
|
|
8070
|
+
"when": [
|
|
8071
|
+
"--agent-envelope=present; route input or input-pointer admission failed"
|
|
7758
8072
|
]
|
|
7759
8073
|
},
|
|
7760
8074
|
{
|
|
@@ -7795,7 +8109,7 @@
|
|
|
7795
8109
|
"summary"
|
|
7796
8110
|
],
|
|
7797
8111
|
"rootKind": "object",
|
|
7798
|
-
"variantId": "
|
|
8112
|
+
"variantId": "04-routed",
|
|
7799
8113
|
"when": [
|
|
7800
8114
|
"without --agent-envelope; known goal"
|
|
7801
8115
|
]
|
|
@@ -7808,6 +8122,7 @@
|
|
|
7808
8122
|
"guidanceSlice",
|
|
7809
8123
|
"nextCommands",
|
|
7810
8124
|
"nonClaims",
|
|
8125
|
+
"observedReports",
|
|
7811
8126
|
"omitted",
|
|
7812
8127
|
"reportId",
|
|
7813
8128
|
"reportKind",
|
|
@@ -7825,6 +8140,7 @@
|
|
|
7825
8140
|
"guidanceSlice",
|
|
7826
8141
|
"nextCommands",
|
|
7827
8142
|
"nonClaims",
|
|
8143
|
+
"observedReports",
|
|
7828
8144
|
"omitted",
|
|
7829
8145
|
"reportId",
|
|
7830
8146
|
"reportKind",
|
|
@@ -7836,14 +8152,14 @@
|
|
|
7836
8152
|
"summary"
|
|
7837
8153
|
],
|
|
7838
8154
|
"rootKind": "object",
|
|
7839
|
-
"variantId": "
|
|
8155
|
+
"variantId": "05-unknown-goal",
|
|
7840
8156
|
"when": [
|
|
7841
8157
|
"without --agent-envelope; goal=unknown"
|
|
7842
8158
|
]
|
|
7843
8159
|
}
|
|
7844
8160
|
]
|
|
7845
8161
|
},
|
|
7846
|
-
"canonicalDigest": "sha256:
|
|
8162
|
+
"canonicalDigest": "sha256:0881bc0765f61ea76d681a8bb2ddd915504c5a350a3a8286253e2959693be60e"
|
|
7847
8163
|
},
|
|
7848
8164
|
{
|
|
7849
8165
|
"definitionId": "proofkit.binding-partition.input.v1.root-shape",
|
|
@@ -9654,50 +9970,6 @@
|
|
|
9654
9970
|
},
|
|
9655
9971
|
"canonicalDigest": "sha256:e6dacd55cace039ca8e24bdec628b1498d0c12bbfcdb60c46854ab2047c3f2d7"
|
|
9656
9972
|
},
|
|
9657
|
-
{
|
|
9658
|
-
"definitionId": "proofkit.init.output.v1.root-shape",
|
|
9659
|
-
"schemaVersion": 1,
|
|
9660
|
-
"rootType": "object",
|
|
9661
|
-
"closed": true,
|
|
9662
|
-
"definitionRefs": [],
|
|
9663
|
-
"fieldTree": {
|
|
9664
|
-
"kind": "root_shape_only",
|
|
9665
|
-
"nonClaims": [
|
|
9666
|
-
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
9667
|
-
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
9668
|
-
],
|
|
9669
|
-
"variants": [
|
|
9670
|
-
{
|
|
9671
|
-
"allowedFields": [
|
|
9672
|
-
"diagnostics",
|
|
9673
|
-
"nonClaims",
|
|
9674
|
-
"reportId",
|
|
9675
|
-
"reportKind",
|
|
9676
|
-
"ruleResults",
|
|
9677
|
-
"schemaVersion",
|
|
9678
|
-
"state",
|
|
9679
|
-
"summary"
|
|
9680
|
-
],
|
|
9681
|
-
"requiredFields": [
|
|
9682
|
-
"diagnostics",
|
|
9683
|
-
"nonClaims",
|
|
9684
|
-
"reportId",
|
|
9685
|
-
"reportKind",
|
|
9686
|
-
"ruleResults",
|
|
9687
|
-
"schemaVersion",
|
|
9688
|
-
"state",
|
|
9689
|
-
"summary"
|
|
9690
|
-
],
|
|
9691
|
-
"rootKind": "object",
|
|
9692
|
-
"variantId": "01-root",
|
|
9693
|
-
"when": [
|
|
9694
|
-
"default JSON mode"
|
|
9695
|
-
]
|
|
9696
|
-
}
|
|
9697
|
-
]
|
|
9698
|
-
},
|
|
9699
|
-
"canonicalDigest": "sha256:9f57ccd7905a2d8cbffeb8cf3495d338ea67c0ebfe66889b4d5ee16434be5f88"
|
|
9700
|
-
},
|
|
9701
9973
|
{
|
|
9702
9974
|
"definitionId": "proofkit.json-report-cli-adapter-source.output.v1.root-shape",
|
|
9703
9975
|
"schemaVersion": 1,
|
|
@@ -11523,6 +11795,50 @@
|
|
|
11523
11795
|
},
|
|
11524
11796
|
"canonicalDigest": "sha256:acf8e7db39bfb1325d83c2cdfe68a7c243847d207e56691a3b2937b28f95d3e7"
|
|
11525
11797
|
},
|
|
11798
|
+
{
|
|
11799
|
+
"definitionId": "proofkit.repository-inventory.output.v1.root-shape",
|
|
11800
|
+
"schemaVersion": 1,
|
|
11801
|
+
"rootType": "object",
|
|
11802
|
+
"closed": true,
|
|
11803
|
+
"definitionRefs": [],
|
|
11804
|
+
"fieldTree": {
|
|
11805
|
+
"kind": "root_shape_only",
|
|
11806
|
+
"nonClaims": [
|
|
11807
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
11808
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
11809
|
+
],
|
|
11810
|
+
"variants": [
|
|
11811
|
+
{
|
|
11812
|
+
"allowedFields": [
|
|
11813
|
+
"entries",
|
|
11814
|
+
"inventoryId",
|
|
11815
|
+
"inventoryKind",
|
|
11816
|
+
"nonClaims",
|
|
11817
|
+
"omissions",
|
|
11818
|
+
"policyId",
|
|
11819
|
+
"schemaVersion",
|
|
11820
|
+
"scope"
|
|
11821
|
+
],
|
|
11822
|
+
"requiredFields": [
|
|
11823
|
+
"entries",
|
|
11824
|
+
"inventoryId",
|
|
11825
|
+
"inventoryKind",
|
|
11826
|
+
"nonClaims",
|
|
11827
|
+
"omissions",
|
|
11828
|
+
"policyId",
|
|
11829
|
+
"schemaVersion",
|
|
11830
|
+
"scope"
|
|
11831
|
+
],
|
|
11832
|
+
"rootKind": "object",
|
|
11833
|
+
"variantId": "01-root",
|
|
11834
|
+
"when": [
|
|
11835
|
+
"default JSON mode"
|
|
11836
|
+
]
|
|
11837
|
+
}
|
|
11838
|
+
]
|
|
11839
|
+
},
|
|
11840
|
+
"canonicalDigest": "sha256:cc91b8e1a3fb25180165204979ccbc07c378679e2ffe7f85348b3fd38ecbdc8e"
|
|
11841
|
+
},
|
|
11526
11842
|
{
|
|
11527
11843
|
"definitionId": "proofkit.requirement-authoring-plan.input.v1.root-shape",
|
|
11528
11844
|
"schemaVersion": 1,
|