@research-engineering/agentic-proofkit 0.4.0 → 0.5.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/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 +86 -0
- package/docs/specs/proofkit-agent-workflow/requirements.v1.json +157 -0
- package/docs/specs/proofkit-spec-proof-core/overview.md +21 -3
- package/docs/specs/proofkit-spec-proof-core/requirements.v1.json +15 -2
- package/docs/specs/proofkit-supply-chain-quality/overview.md +22 -4
- package/docs/specs/proofkit-supply-chain-quality/requirements.v1.json +27 -1
- package/package.json +2 -2
- package/proofkit/cli-contract.v2.json +463 -18
- package/proofkit/command-families.v1.json +9 -0
- package/proofkit/requirement-bindings.json +1201 -103
- package/proofkit/witness-plan.json +3 -0
|
@@ -28,6 +28,7 @@
|
|
|
28
28
|
"--help",
|
|
29
29
|
"-h"
|
|
30
30
|
],
|
|
31
|
+
"commandHelpExclusive": true,
|
|
31
32
|
"helpCommandPositionalTarget": "optional_supported_command",
|
|
32
33
|
"helpCatalogFormsSource": "proofkit/command-families.v1.json",
|
|
33
34
|
"helpReadsCommandInput": false
|
|
@@ -206,7 +207,7 @@
|
|
|
206
207
|
"rootDefinitionDigest": "sha256:104d1e8bef615582ead1c7c8c64b7e1643a76c2bc2a1f224189c372cf8cc4aa1",
|
|
207
208
|
"nativeSource": {
|
|
208
209
|
"path": "internal/command/adoptiondoctor",
|
|
209
|
-
"canonicalDigest": "sha256:
|
|
210
|
+
"canonicalDigest": "sha256:6ec8b4f324c102c1059c051f99209c91b4f7fe5a7218a03d8717c2791b8dd189",
|
|
210
211
|
"evidenceClass": "source_checkout"
|
|
211
212
|
},
|
|
212
213
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -237,7 +238,7 @@
|
|
|
237
238
|
"rootDefinitionDigest": "sha256:90583a47b9bdd605b2d3f24dcb1a5dbb2b4d9da20d7be097da381c9c77229e62",
|
|
238
239
|
"nativeSource": {
|
|
239
240
|
"path": "internal/command/adoptiondoctor",
|
|
240
|
-
"canonicalDigest": "sha256:
|
|
241
|
+
"canonicalDigest": "sha256:6ec8b4f324c102c1059c051f99209c91b4f7fe5a7218a03d8717c2791b8dd189",
|
|
241
242
|
"evidenceClass": "source_checkout"
|
|
242
243
|
},
|
|
243
244
|
"nativeOutputWitnessSelector": {
|
|
@@ -510,7 +511,7 @@
|
|
|
510
511
|
"rootDefinitionDigest": "sha256:fd1121285d1b357ed848febc248700a75417d06619e22ed36991631d7526375b",
|
|
511
512
|
"nativeSource": {
|
|
512
513
|
"path": "internal/command/agentroute",
|
|
513
|
-
"canonicalDigest": "sha256:
|
|
514
|
+
"canonicalDigest": "sha256:2fc5d42c6126069aad7cad9a18acf9683289ce54be3a0d2f3aef6f429e2bcbdf",
|
|
514
515
|
"evidenceClass": "source_checkout"
|
|
515
516
|
},
|
|
516
517
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -586,7 +587,7 @@
|
|
|
586
587
|
"rootDefinitionDigest": "sha256:db7d5b29083a939eea0f23253632394212b0d73b5f1b6206d0811d236d6a84ca",
|
|
587
588
|
"nativeSource": {
|
|
588
589
|
"path": "internal/command/agentroute",
|
|
589
|
-
"canonicalDigest": "sha256:
|
|
590
|
+
"canonicalDigest": "sha256:2fc5d42c6126069aad7cad9a18acf9683289ce54be3a0d2f3aef6f429e2bcbdf",
|
|
590
591
|
"evidenceClass": "source_checkout"
|
|
591
592
|
},
|
|
592
593
|
"nativeOutputWitnessSelector": {
|
|
@@ -814,6 +815,123 @@
|
|
|
814
815
|
]
|
|
815
816
|
}
|
|
816
817
|
},
|
|
818
|
+
{
|
|
819
|
+
"command": "change-workflow-plan",
|
|
820
|
+
"input": "required",
|
|
821
|
+
"stdin": true,
|
|
822
|
+
"inputPointer": true,
|
|
823
|
+
"scopeClass": "explicit_caller_input",
|
|
824
|
+
"agentEnvelope": true,
|
|
825
|
+
"outputModes": [
|
|
826
|
+
"json",
|
|
827
|
+
"text"
|
|
828
|
+
],
|
|
829
|
+
"allowedFlags": [
|
|
830
|
+
"--agent-envelope",
|
|
831
|
+
"--color",
|
|
832
|
+
"--format",
|
|
833
|
+
"--input",
|
|
834
|
+
"--input-pointer"
|
|
835
|
+
],
|
|
836
|
+
"singleOccurrenceFlags": [
|
|
837
|
+
"--agent-envelope",
|
|
838
|
+
"--color",
|
|
839
|
+
"--format",
|
|
840
|
+
"--input",
|
|
841
|
+
"--input-pointer"
|
|
842
|
+
],
|
|
843
|
+
"flagChoices": {
|
|
844
|
+
"--color": [
|
|
845
|
+
"auto",
|
|
846
|
+
"never"
|
|
847
|
+
],
|
|
848
|
+
"--format": [
|
|
849
|
+
"json",
|
|
850
|
+
"text"
|
|
851
|
+
]
|
|
852
|
+
},
|
|
853
|
+
"inputContract": {
|
|
854
|
+
"contractId": "proofkit.change-workflow-plan.input.v1",
|
|
855
|
+
"schemaVersion": 1,
|
|
856
|
+
"rootType": "object",
|
|
857
|
+
"closed": true,
|
|
858
|
+
"rootDefinitionRef": "proofkit.change-workflow-plan.input.v1.root-shape",
|
|
859
|
+
"rootDefinitionDigest": "sha256:6632a481380bfb07d754ef622661b291f805b1b168b1824089bdd5cc9bdd4b0e",
|
|
860
|
+
"nativeSource": {
|
|
861
|
+
"path": "internal/command/changeworkflowplan",
|
|
862
|
+
"canonicalDigest": "sha256:f0f7fce215691b4b52a02010ff12b65605473f586f5d11c428e5d647f405baec",
|
|
863
|
+
"evidenceClass": "source_checkout"
|
|
864
|
+
},
|
|
865
|
+
"nativeAdmissionWitnessSelector": {
|
|
866
|
+
"path": "internal/command/changeworkflowplan/state_test.go",
|
|
867
|
+
"test": "TestWorkflowStatePredicates",
|
|
868
|
+
"command": "go test ./internal/command/changeworkflowplan -run '^TestWorkflowStatePredicates$'",
|
|
869
|
+
"evidenceClass": "source_checkout"
|
|
870
|
+
},
|
|
871
|
+
"compatibilitySummary": [
|
|
872
|
+
"schemaVersion=1",
|
|
873
|
+
"root-shape-only definition proofkit.change-workflow-plan.input.v1.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
874
|
+
],
|
|
875
|
+
"ownerRequirementRefs": [
|
|
876
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
877
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
878
|
+
"REQ-PROOFKIT-WORKFLOW-001",
|
|
879
|
+
"REQ-PROOFKIT-WORKFLOW-002",
|
|
880
|
+
"REQ-PROOFKIT-WORKFLOW-003",
|
|
881
|
+
"REQ-PROOFKIT-WORKFLOW-004",
|
|
882
|
+
"REQ-PROOFKIT-WORKFLOW-005",
|
|
883
|
+
"REQ-PROOFKIT-WORKFLOW-006",
|
|
884
|
+
"REQ-PROOFKIT-WORKFLOW-008",
|
|
885
|
+
"REQ-PROOFKIT-WORKFLOW-011"
|
|
886
|
+
]
|
|
887
|
+
},
|
|
888
|
+
"outputContract": {
|
|
889
|
+
"contractId": "proofkit.change-workflow-plan.output.v1",
|
|
890
|
+
"schemaVersion": 1,
|
|
891
|
+
"rootType": "object",
|
|
892
|
+
"closed": true,
|
|
893
|
+
"rootDefinitionRef": "proofkit.change-workflow-plan.output.v1.root-shape",
|
|
894
|
+
"rootDefinitionDigest": "sha256:ca7b2acffdcbfd28222eb61f2bd8687f76f20cb789b712ee3ffc2756a3674ff8",
|
|
895
|
+
"nativeSource": {
|
|
896
|
+
"path": "internal/command/changeworkflowplan",
|
|
897
|
+
"canonicalDigest": "sha256:f0f7fce215691b4b52a02010ff12b65605473f586f5d11c428e5d647f405baec",
|
|
898
|
+
"evidenceClass": "source_checkout"
|
|
899
|
+
},
|
|
900
|
+
"nativeOutputWitnessSelector": {
|
|
901
|
+
"path": "internal/command/changeworkflowplan/state_test.go",
|
|
902
|
+
"test": "TestWorkflowStatePredicates",
|
|
903
|
+
"command": "go test ./internal/command/changeworkflowplan -run '^TestWorkflowStatePredicates$'",
|
|
904
|
+
"evidenceClass": "source_checkout"
|
|
905
|
+
},
|
|
906
|
+
"compatibilitySummary": [
|
|
907
|
+
"schemaVersion=1",
|
|
908
|
+
"JSON plan and agent-envelope variants; text is a bounded derived presentation",
|
|
909
|
+
"non-envelope JSON plan variants identify the optional built-in workflow profile",
|
|
910
|
+
"root-shape-only definition proofkit.change-workflow-plan.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
911
|
+
],
|
|
912
|
+
"ownerRequirementRefs": [
|
|
913
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
914
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
915
|
+
"REQ-PROOFKIT-WORKFLOW-001",
|
|
916
|
+
"REQ-PROOFKIT-WORKFLOW-002",
|
|
917
|
+
"REQ-PROOFKIT-WORKFLOW-003",
|
|
918
|
+
"REQ-PROOFKIT-WORKFLOW-005",
|
|
919
|
+
"REQ-PROOFKIT-WORKFLOW-008",
|
|
920
|
+
"REQ-PROOFKIT-WORKFLOW-009",
|
|
921
|
+
"REQ-PROOFKIT-WORKFLOW-011"
|
|
922
|
+
],
|
|
923
|
+
"flagChoices": {
|
|
924
|
+
"--color": [
|
|
925
|
+
"auto",
|
|
926
|
+
"never"
|
|
927
|
+
],
|
|
928
|
+
"--format": [
|
|
929
|
+
"json",
|
|
930
|
+
"text"
|
|
931
|
+
]
|
|
932
|
+
}
|
|
933
|
+
}
|
|
934
|
+
},
|
|
817
935
|
{
|
|
818
936
|
"command": "changed-path-set",
|
|
819
937
|
"input": "required",
|
|
@@ -1024,7 +1142,7 @@
|
|
|
1024
1142
|
"rootType": "object",
|
|
1025
1143
|
"closed": true,
|
|
1026
1144
|
"rootDefinitionRef": "proofkit.conformance-profile.output.v2.root-shape",
|
|
1027
|
-
"rootDefinitionDigest": "sha256:
|
|
1145
|
+
"rootDefinitionDigest": "sha256:5817a9d259deb8ff48d8dc6298b46164e7b132304ca1d865967c611d147b1793",
|
|
1028
1146
|
"nativeSource": {
|
|
1029
1147
|
"path": "internal/command/conformanceprofile",
|
|
1030
1148
|
"canonicalDigest": "sha256:fba2ae58bf66cfc43834368dec84ca85abd11e08a541786dc59eafaf7628c322",
|
|
@@ -1805,7 +1923,7 @@
|
|
|
1805
1923
|
"rootDefinitionDigest": "sha256:9378c7663485f39089cf6c39a3d2f778e28b5801637229fe9524a9652a7b0737",
|
|
1806
1924
|
"nativeSource": {
|
|
1807
1925
|
"path": "internal/command/jsonreportcliadaptersource",
|
|
1808
|
-
"canonicalDigest": "sha256:
|
|
1926
|
+
"canonicalDigest": "sha256:4844b3312ab79264da9a70cc722df8b02fcda77182f5d1c717c39abee0143a83",
|
|
1809
1927
|
"evidenceClass": "source_checkout"
|
|
1810
1928
|
},
|
|
1811
1929
|
"nativeOutputWitnessSelector": {
|
|
@@ -1996,6 +2114,78 @@
|
|
|
1996
2114
|
]
|
|
1997
2115
|
}
|
|
1998
2116
|
},
|
|
2117
|
+
{
|
|
2118
|
+
"command": "native-evidence-guidance",
|
|
2119
|
+
"input": "none",
|
|
2120
|
+
"stdin": false,
|
|
2121
|
+
"inputPointer": false,
|
|
2122
|
+
"scopeClass": "built_in_package_catalog",
|
|
2123
|
+
"outputModes": [
|
|
2124
|
+
"json",
|
|
2125
|
+
"text"
|
|
2126
|
+
],
|
|
2127
|
+
"allowedFlags": [
|
|
2128
|
+
"--color",
|
|
2129
|
+
"--format"
|
|
2130
|
+
],
|
|
2131
|
+
"singleOccurrenceFlags": [
|
|
2132
|
+
"--color",
|
|
2133
|
+
"--format"
|
|
2134
|
+
],
|
|
2135
|
+
"flagChoices": {
|
|
2136
|
+
"--color": [
|
|
2137
|
+
"auto",
|
|
2138
|
+
"never"
|
|
2139
|
+
],
|
|
2140
|
+
"--format": [
|
|
2141
|
+
"json",
|
|
2142
|
+
"text"
|
|
2143
|
+
]
|
|
2144
|
+
},
|
|
2145
|
+
"outputContract": {
|
|
2146
|
+
"contractId": "proofkit.native-evidence-guidance.output.v1",
|
|
2147
|
+
"schemaVersion": 1,
|
|
2148
|
+
"rootType": "object",
|
|
2149
|
+
"closed": true,
|
|
2150
|
+
"rootDefinitionRef": "proofkit.native-evidence-guidance.output.v1.root-shape",
|
|
2151
|
+
"rootDefinitionDigest": "sha256:218011a133540f57ef74f8748747e00d33b6757c9f77725ecef39f45fb19423f",
|
|
2152
|
+
"nativeSource": {
|
|
2153
|
+
"path": "internal/command/nativeevidenceguidance",
|
|
2154
|
+
"canonicalDigest": "sha256:14c609853ffb5a0decd40676f6b9621d983cd58ea4e7946e6c32ff31667221e1",
|
|
2155
|
+
"evidenceClass": "source_checkout"
|
|
2156
|
+
},
|
|
2157
|
+
"nativeOutputWitnessSelector": {
|
|
2158
|
+
"path": "internal/command/nativeevidenceguidance/guidance_test.go",
|
|
2159
|
+
"test": "TestGuidanceSlotPredicates",
|
|
2160
|
+
"command": "go test ./internal/command/nativeevidenceguidance -run '^TestGuidanceSlotPredicates$'",
|
|
2161
|
+
"evidenceClass": "source_checkout"
|
|
2162
|
+
},
|
|
2163
|
+
"compatibilitySummary": [
|
|
2164
|
+
"schemaVersion=1",
|
|
2165
|
+
"JSON guidance report; text is a bounded derived presentation",
|
|
2166
|
+
"root-shape-only definition proofkit.native-evidence-guidance.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
2167
|
+
],
|
|
2168
|
+
"ownerRequirementRefs": [
|
|
2169
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
2170
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
2171
|
+
"REQ-PROOFKIT-WORKFLOW-007",
|
|
2172
|
+
"REQ-PROOFKIT-WORKFLOW-008",
|
|
2173
|
+
"REQ-PROOFKIT-WORKFLOW-009",
|
|
2174
|
+
"REQ-PROOFKIT-WORKFLOW-010",
|
|
2175
|
+
"REQ-PROOFKIT-WORKFLOW-011"
|
|
2176
|
+
],
|
|
2177
|
+
"flagChoices": {
|
|
2178
|
+
"--color": [
|
|
2179
|
+
"auto",
|
|
2180
|
+
"never"
|
|
2181
|
+
],
|
|
2182
|
+
"--format": [
|
|
2183
|
+
"json",
|
|
2184
|
+
"text"
|
|
2185
|
+
]
|
|
2186
|
+
}
|
|
2187
|
+
}
|
|
2188
|
+
},
|
|
1999
2189
|
{
|
|
2000
2190
|
"command": "obligation-decision",
|
|
2001
2191
|
"input": "required",
|
|
@@ -2231,7 +2421,7 @@
|
|
|
2231
2421
|
"nativeSources": [
|
|
2232
2422
|
{
|
|
2233
2423
|
"path": "internal/app",
|
|
2234
|
-
"canonicalDigest": "sha256:
|
|
2424
|
+
"canonicalDigest": "sha256:af43c7dae19e019887fd3c43ddef4d453966b517880dc3fb76be5f3ed048281d",
|
|
2235
2425
|
"evidenceClass": "source_checkout"
|
|
2236
2426
|
},
|
|
2237
2427
|
{
|
|
@@ -3566,7 +3756,7 @@
|
|
|
3566
3756
|
"rootDefinitionDigest": "sha256:41bc233c96bd468bc96eeb0447e037cacdbcf92bb04161052303e8747e4282f2",
|
|
3567
3757
|
"nativeSource": {
|
|
3568
3758
|
"path": "internal/command/requirementcontext",
|
|
3569
|
-
"canonicalDigest": "sha256:
|
|
3759
|
+
"canonicalDigest": "sha256:15b85d9a093c8ce0b30f6428a72d3d4e62baf8e9f51be2b1f12d47f2f3f34509",
|
|
3570
3760
|
"evidenceClass": "source_checkout"
|
|
3571
3761
|
},
|
|
3572
3762
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -3606,7 +3796,7 @@
|
|
|
3606
3796
|
"rootDefinitionDigest": "sha256:cdadd7b589d682a122cfe2b801f001a3b22a2269aa4977ebe073932d11e1f816",
|
|
3607
3797
|
"nativeSource": {
|
|
3608
3798
|
"path": "internal/command/requirementcontext",
|
|
3609
|
-
"canonicalDigest": "sha256:
|
|
3799
|
+
"canonicalDigest": "sha256:15b85d9a093c8ce0b30f6428a72d3d4e62baf8e9f51be2b1f12d47f2f3f34509",
|
|
3610
3800
|
"evidenceClass": "source_checkout"
|
|
3611
3801
|
},
|
|
3612
3802
|
"nativeOutputWitnessSelector": {
|
|
@@ -3653,7 +3843,7 @@
|
|
|
3653
3843
|
"rootDefinitionDigest": "sha256:43852cf1a52b3c1f000ec95e460fbad157a6b6a39958d20f81c9e1e4d31e3c6f",
|
|
3654
3844
|
"nativeSource": {
|
|
3655
3845
|
"path": "internal/command/requirementcontext",
|
|
3656
|
-
"canonicalDigest": "sha256:
|
|
3846
|
+
"canonicalDigest": "sha256:15b85d9a093c8ce0b30f6428a72d3d4e62baf8e9f51be2b1f12d47f2f3f34509",
|
|
3657
3847
|
"evidenceClass": "source_checkout"
|
|
3658
3848
|
},
|
|
3659
3849
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -3691,7 +3881,7 @@
|
|
|
3691
3881
|
"rootDefinitionDigest": "sha256:61f7fd43e2e9da5bde9b61bb86e02cbf337a43c6891ca888c1d42936e5b16456",
|
|
3692
3882
|
"nativeSource": {
|
|
3693
3883
|
"path": "internal/command/requirementcontext",
|
|
3694
|
-
"canonicalDigest": "sha256:
|
|
3884
|
+
"canonicalDigest": "sha256:15b85d9a093c8ce0b30f6428a72d3d4e62baf8e9f51be2b1f12d47f2f3f34509",
|
|
3695
3885
|
"evidenceClass": "source_checkout"
|
|
3696
3886
|
},
|
|
3697
3887
|
"nativeOutputWitnessSelector": {
|
|
@@ -5473,7 +5663,7 @@
|
|
|
5473
5663
|
"rootDefinitionDigest": "sha256:3c842174dff5361e7f83166469b832805e05aa314b073c16234b5b64e346281e",
|
|
5474
5664
|
"nativeSource": {
|
|
5475
5665
|
"path": "internal/app",
|
|
5476
|
-
"canonicalDigest": "sha256:
|
|
5666
|
+
"canonicalDigest": "sha256:af43c7dae19e019887fd3c43ddef4d453966b517880dc3fb76be5f3ed048281d",
|
|
5477
5667
|
"evidenceClass": "source_checkout"
|
|
5478
5668
|
},
|
|
5479
5669
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -5502,7 +5692,7 @@
|
|
|
5502
5692
|
"rootDefinitionDigest": "sha256:0ea95e277ebe44cd2de42c29b47c38686ac0b6b390d8965367437b3fe138e209",
|
|
5503
5693
|
"nativeSource": {
|
|
5504
5694
|
"path": "internal/app",
|
|
5505
|
-
"canonicalDigest": "sha256:
|
|
5695
|
+
"canonicalDigest": "sha256:af43c7dae19e019887fd3c43ddef4d453966b517880dc3fb76be5f3ed048281d",
|
|
5506
5696
|
"evidenceClass": "source_checkout"
|
|
5507
5697
|
},
|
|
5508
5698
|
"nativeOutputWitnessSelector": {
|
|
@@ -5993,7 +6183,7 @@
|
|
|
5993
6183
|
"rootDefinitionDigest": "sha256:af1e6196ddee9ee4262ca14c9cca1451c89241ebeef177af4a12be866b088f9a",
|
|
5994
6184
|
"nativeSource": {
|
|
5995
6185
|
"path": "internal/command/textpolicy",
|
|
5996
|
-
"canonicalDigest": "sha256:
|
|
6186
|
+
"canonicalDigest": "sha256:d6a41f1ddc42a71b1d03ae52cad8793c1e96557181f8d1032bb0bcaa3f3d9b7f",
|
|
5997
6187
|
"evidenceClass": "source_checkout"
|
|
5998
6188
|
},
|
|
5999
6189
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -6020,7 +6210,7 @@
|
|
|
6020
6210
|
"rootDefinitionDigest": "sha256:a47795a1a72dcece9e3e513c8d33829fed187a959450d1ce007697a434b26df1",
|
|
6021
6211
|
"nativeSource": {
|
|
6022
6212
|
"path": "internal/command/textpolicy",
|
|
6023
|
-
"canonicalDigest": "sha256:
|
|
6213
|
+
"canonicalDigest": "sha256:d6a41f1ddc42a71b1d03ae52cad8793c1e96557181f8d1032bb0bcaa3f3d9b7f",
|
|
6024
6214
|
"evidenceClass": "source_checkout"
|
|
6025
6215
|
},
|
|
6026
6216
|
"nativeOutputWitnessSelector": {
|
|
@@ -6125,7 +6315,7 @@
|
|
|
6125
6315
|
"rootDefinitionDigest": "sha256:687efe1fe441443ad7bcab69f05987b47a25672da8032e7471bd7c48ebd95a30",
|
|
6126
6316
|
"nativeSource": {
|
|
6127
6317
|
"path": "internal/command/publicapi",
|
|
6128
|
-
"canonicalDigest": "sha256:
|
|
6318
|
+
"canonicalDigest": "sha256:59a2876503e61689f968c462ef98065084c1844db1469e691f144b81d3ae76a9",
|
|
6129
6319
|
"evidenceClass": "source_checkout"
|
|
6130
6320
|
},
|
|
6131
6321
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -6167,7 +6357,7 @@
|
|
|
6167
6357
|
"rootDefinitionDigest": "sha256:93da5f4d5efd4c482cb5da37bb60a80f8e47e4eab549428790ddd1a4e680009d",
|
|
6168
6358
|
"nativeSource": {
|
|
6169
6359
|
"path": "internal/command/publicapi",
|
|
6170
|
-
"canonicalDigest": "sha256:
|
|
6360
|
+
"canonicalDigest": "sha256:59a2876503e61689f968c462ef98065084c1844db1469e691f144b81d3ae76a9",
|
|
6171
6361
|
"evidenceClass": "source_checkout"
|
|
6172
6362
|
},
|
|
6173
6363
|
"nativeOutputWitnessSelector": {
|
|
@@ -7919,6 +8109,225 @@
|
|
|
7919
8109
|
},
|
|
7920
8110
|
"canonicalDigest": "sha256:d20d4d55690f7b98768d8bb1c2c313f78bdf9ac8163fa6d1ff694664b2d7d999"
|
|
7921
8111
|
},
|
|
8112
|
+
{
|
|
8113
|
+
"definitionId": "proofkit.change-workflow-plan.input.v1.root-shape",
|
|
8114
|
+
"schemaVersion": 1,
|
|
8115
|
+
"rootType": "object",
|
|
8116
|
+
"closed": true,
|
|
8117
|
+
"definitionRefs": [],
|
|
8118
|
+
"fieldTree": {
|
|
8119
|
+
"kind": "root_shape_only",
|
|
8120
|
+
"nonClaims": [
|
|
8121
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
8122
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
8123
|
+
],
|
|
8124
|
+
"variants": [
|
|
8125
|
+
{
|
|
8126
|
+
"allowedFields": [
|
|
8127
|
+
"checkpoint",
|
|
8128
|
+
"completedStageIds",
|
|
8129
|
+
"contextRefs",
|
|
8130
|
+
"governingAuthorityRefId",
|
|
8131
|
+
"requiredContextRefIds",
|
|
8132
|
+
"schemaVersion"
|
|
8133
|
+
],
|
|
8134
|
+
"requiredFields": [
|
|
8135
|
+
"checkpoint",
|
|
8136
|
+
"completedStageIds",
|
|
8137
|
+
"contextRefs",
|
|
8138
|
+
"governingAuthorityRefId",
|
|
8139
|
+
"requiredContextRefIds",
|
|
8140
|
+
"schemaVersion"
|
|
8141
|
+
],
|
|
8142
|
+
"rootKind": "object",
|
|
8143
|
+
"variantId": "01-root",
|
|
8144
|
+
"when": [
|
|
8145
|
+
"default JSON input"
|
|
8146
|
+
]
|
|
8147
|
+
}
|
|
8148
|
+
]
|
|
8149
|
+
},
|
|
8150
|
+
"canonicalDigest": "sha256:6632a481380bfb07d754ef622661b291f805b1b168b1824089bdd5cc9bdd4b0e"
|
|
8151
|
+
},
|
|
8152
|
+
{
|
|
8153
|
+
"definitionId": "proofkit.change-workflow-plan.output.v1.root-shape",
|
|
8154
|
+
"schemaVersion": 1,
|
|
8155
|
+
"rootType": "object",
|
|
8156
|
+
"closed": true,
|
|
8157
|
+
"definitionRefs": [],
|
|
8158
|
+
"fieldTree": {
|
|
8159
|
+
"kind": "root_shape_only",
|
|
8160
|
+
"nonClaims": [
|
|
8161
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
8162
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
8163
|
+
],
|
|
8164
|
+
"variants": [
|
|
8165
|
+
{
|
|
8166
|
+
"allowedFields": [
|
|
8167
|
+
"actionPlan",
|
|
8168
|
+
"blockedPreconditions",
|
|
8169
|
+
"bounds",
|
|
8170
|
+
"clarificationQuestions",
|
|
8171
|
+
"commands",
|
|
8172
|
+
"contextRefs",
|
|
8173
|
+
"costContract",
|
|
8174
|
+
"envelopeId",
|
|
8175
|
+
"nonClaims",
|
|
8176
|
+
"omitted",
|
|
8177
|
+
"receiptRefs",
|
|
8178
|
+
"routeQuestions",
|
|
8179
|
+
"schemaVersion",
|
|
8180
|
+
"sourceReport"
|
|
8181
|
+
],
|
|
8182
|
+
"requiredFields": [
|
|
8183
|
+
"actionPlan",
|
|
8184
|
+
"blockedPreconditions",
|
|
8185
|
+
"bounds",
|
|
8186
|
+
"clarificationQuestions",
|
|
8187
|
+
"commands",
|
|
8188
|
+
"contextRefs",
|
|
8189
|
+
"costContract",
|
|
8190
|
+
"envelopeId",
|
|
8191
|
+
"nonClaims",
|
|
8192
|
+
"omitted",
|
|
8193
|
+
"receiptRefs",
|
|
8194
|
+
"routeQuestions",
|
|
8195
|
+
"schemaVersion",
|
|
8196
|
+
"sourceReport"
|
|
8197
|
+
],
|
|
8198
|
+
"rootKind": "object",
|
|
8199
|
+
"variantId": "01-agent-envelope",
|
|
8200
|
+
"when": [
|
|
8201
|
+
"--agent-envelope"
|
|
8202
|
+
]
|
|
8203
|
+
},
|
|
8204
|
+
{
|
|
8205
|
+
"allowedFields": [
|
|
8206
|
+
"action",
|
|
8207
|
+
"activeStageId",
|
|
8208
|
+
"authority",
|
|
8209
|
+
"checkpointState",
|
|
8210
|
+
"completedStageIds",
|
|
8211
|
+
"nonClaims",
|
|
8212
|
+
"omittedContextCount",
|
|
8213
|
+
"omittedContextRefIds",
|
|
8214
|
+
"outputKind",
|
|
8215
|
+
"prompt",
|
|
8216
|
+
"reportId",
|
|
8217
|
+
"reportKind",
|
|
8218
|
+
"retainedContextRefIds",
|
|
8219
|
+
"retainedContextRefs",
|
|
8220
|
+
"schemaVersion",
|
|
8221
|
+
"workflowProfileId"
|
|
8222
|
+
],
|
|
8223
|
+
"requiredFields": [
|
|
8224
|
+
"action",
|
|
8225
|
+
"activeStageId",
|
|
8226
|
+
"authority",
|
|
8227
|
+
"checkpointState",
|
|
8228
|
+
"completedStageIds",
|
|
8229
|
+
"nonClaims",
|
|
8230
|
+
"omittedContextCount",
|
|
8231
|
+
"omittedContextRefIds",
|
|
8232
|
+
"outputKind",
|
|
8233
|
+
"prompt",
|
|
8234
|
+
"reportId",
|
|
8235
|
+
"reportKind",
|
|
8236
|
+
"retainedContextRefIds",
|
|
8237
|
+
"retainedContextRefs",
|
|
8238
|
+
"schemaVersion",
|
|
8239
|
+
"workflowProfileId"
|
|
8240
|
+
],
|
|
8241
|
+
"rootKind": "object",
|
|
8242
|
+
"variantId": "02-next-action",
|
|
8243
|
+
"when": [
|
|
8244
|
+
"without --agent-envelope; outputKind=next_action; without successorStateDelta"
|
|
8245
|
+
]
|
|
8246
|
+
},
|
|
8247
|
+
{
|
|
8248
|
+
"allowedFields": [
|
|
8249
|
+
"action",
|
|
8250
|
+
"activeStageId",
|
|
8251
|
+
"authority",
|
|
8252
|
+
"checkpointState",
|
|
8253
|
+
"completedStageIds",
|
|
8254
|
+
"nonClaims",
|
|
8255
|
+
"omittedContextCount",
|
|
8256
|
+
"omittedContextRefIds",
|
|
8257
|
+
"outputKind",
|
|
8258
|
+
"prompt",
|
|
8259
|
+
"reportId",
|
|
8260
|
+
"reportKind",
|
|
8261
|
+
"retainedContextRefIds",
|
|
8262
|
+
"retainedContextRefs",
|
|
8263
|
+
"schemaVersion",
|
|
8264
|
+
"successorStateDelta",
|
|
8265
|
+
"workflowProfileId"
|
|
8266
|
+
],
|
|
8267
|
+
"requiredFields": [
|
|
8268
|
+
"action",
|
|
8269
|
+
"activeStageId",
|
|
8270
|
+
"authority",
|
|
8271
|
+
"checkpointState",
|
|
8272
|
+
"completedStageIds",
|
|
8273
|
+
"nonClaims",
|
|
8274
|
+
"omittedContextCount",
|
|
8275
|
+
"omittedContextRefIds",
|
|
8276
|
+
"outputKind",
|
|
8277
|
+
"prompt",
|
|
8278
|
+
"reportId",
|
|
8279
|
+
"reportKind",
|
|
8280
|
+
"retainedContextRefIds",
|
|
8281
|
+
"retainedContextRefs",
|
|
8282
|
+
"schemaVersion",
|
|
8283
|
+
"successorStateDelta",
|
|
8284
|
+
"workflowProfileId"
|
|
8285
|
+
],
|
|
8286
|
+
"rootKind": "object",
|
|
8287
|
+
"variantId": "03-accept-stage",
|
|
8288
|
+
"when": [
|
|
8289
|
+
"without --agent-envelope; outputKind=next_action; successorStateDelta"
|
|
8290
|
+
]
|
|
8291
|
+
},
|
|
8292
|
+
{
|
|
8293
|
+
"allowedFields": [
|
|
8294
|
+
"authority",
|
|
8295
|
+
"completedStageIds",
|
|
8296
|
+
"nonClaims",
|
|
8297
|
+
"omittedContextCount",
|
|
8298
|
+
"omittedContextRefIds",
|
|
8299
|
+
"outputKind",
|
|
8300
|
+
"reportId",
|
|
8301
|
+
"reportKind",
|
|
8302
|
+
"retainedContextRefIds",
|
|
8303
|
+
"retainedContextRefs",
|
|
8304
|
+
"schemaVersion",
|
|
8305
|
+
"workflowProfileId"
|
|
8306
|
+
],
|
|
8307
|
+
"requiredFields": [
|
|
8308
|
+
"authority",
|
|
8309
|
+
"completedStageIds",
|
|
8310
|
+
"nonClaims",
|
|
8311
|
+
"omittedContextCount",
|
|
8312
|
+
"omittedContextRefIds",
|
|
8313
|
+
"outputKind",
|
|
8314
|
+
"reportId",
|
|
8315
|
+
"reportKind",
|
|
8316
|
+
"retainedContextRefIds",
|
|
8317
|
+
"retainedContextRefs",
|
|
8318
|
+
"schemaVersion",
|
|
8319
|
+
"workflowProfileId"
|
|
8320
|
+
],
|
|
8321
|
+
"rootKind": "object",
|
|
8322
|
+
"variantId": "04-workflow-complete",
|
|
8323
|
+
"when": [
|
|
8324
|
+
"without --agent-envelope; outputKind=workflow_complete"
|
|
8325
|
+
]
|
|
8326
|
+
}
|
|
8327
|
+
]
|
|
8328
|
+
},
|
|
8329
|
+
"canonicalDigest": "sha256:ca7b2acffdcbfd28222eb61f2bd8687f76f20cb789b712ee3ffc2756a3674ff8"
|
|
8330
|
+
},
|
|
7922
8331
|
{
|
|
7923
8332
|
"definitionId": "proofkit.changed-path-set.input.v1.root-shape",
|
|
7924
8333
|
"schemaVersion": 1,
|
|
@@ -8274,7 +8683,7 @@
|
|
|
8274
8683
|
}
|
|
8275
8684
|
]
|
|
8276
8685
|
},
|
|
8277
|
-
"canonicalDigest": "sha256:
|
|
8686
|
+
"canonicalDigest": "sha256:5817a9d259deb8ff48d8dc6298b46164e7b132304ca1d865967c611d147b1793"
|
|
8278
8687
|
},
|
|
8279
8688
|
{
|
|
8280
8689
|
"definitionId": "proofkit.custom-rule-boundary.input.v1.root-shape",
|
|
@@ -9521,6 +9930,42 @@
|
|
|
9521
9930
|
},
|
|
9522
9931
|
"canonicalDigest": "sha256:e6a152b5ca41396f25874b1d1ddd1dbc323bd9e927a18c5fe5088ad527fe65cd"
|
|
9523
9932
|
},
|
|
9933
|
+
{
|
|
9934
|
+
"definitionId": "proofkit.native-evidence-guidance.output.v1.root-shape",
|
|
9935
|
+
"schemaVersion": 1,
|
|
9936
|
+
"rootType": "object",
|
|
9937
|
+
"closed": true,
|
|
9938
|
+
"definitionRefs": [],
|
|
9939
|
+
"fieldTree": {
|
|
9940
|
+
"kind": "root_shape_only",
|
|
9941
|
+
"nonClaims": [
|
|
9942
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
9943
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
9944
|
+
],
|
|
9945
|
+
"variants": [
|
|
9946
|
+
{
|
|
9947
|
+
"allowedFields": [
|
|
9948
|
+
"guidanceId",
|
|
9949
|
+
"nonClaims",
|
|
9950
|
+
"schemaVersion",
|
|
9951
|
+
"slots"
|
|
9952
|
+
],
|
|
9953
|
+
"requiredFields": [
|
|
9954
|
+
"guidanceId",
|
|
9955
|
+
"nonClaims",
|
|
9956
|
+
"schemaVersion",
|
|
9957
|
+
"slots"
|
|
9958
|
+
],
|
|
9959
|
+
"rootKind": "object",
|
|
9960
|
+
"variantId": "01-root",
|
|
9961
|
+
"when": [
|
|
9962
|
+
"default JSON mode"
|
|
9963
|
+
]
|
|
9964
|
+
}
|
|
9965
|
+
]
|
|
9966
|
+
},
|
|
9967
|
+
"canonicalDigest": "sha256:218011a133540f57ef74f8748747e00d33b6757c9f77725ecef39f45fb19423f"
|
|
9968
|
+
},
|
|
9524
9969
|
{
|
|
9525
9970
|
"definitionId": "proofkit.obligation-decision.input.v1.root-shape",
|
|
9526
9971
|
"schemaVersion": 1,
|
|
@@ -17,6 +17,15 @@
|
|
|
17
17
|
"pilot-admission"
|
|
18
18
|
]
|
|
19
19
|
},
|
|
20
|
+
{
|
|
21
|
+
"familyId": "agent-workflow-planning",
|
|
22
|
+
"label": "Agent workflow planning",
|
|
23
|
+
"purpose": "Plan bounded engineering-change stages and expose repository-neutral native-evidence guidance.",
|
|
24
|
+
"commands": [
|
|
25
|
+
"change-workflow-plan",
|
|
26
|
+
"native-evidence-guidance"
|
|
27
|
+
]
|
|
28
|
+
},
|
|
20
29
|
{
|
|
21
30
|
"familyId": "cli-metadata-and-conformance",
|
|
22
31
|
"label": "CLI metadata and conformance",
|