@research-engineering/agentic-proofkit 0.3.0 → 0.5.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 +5 -3
- package/docs/release-process.md +10 -1
- 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 +29 -16
- package/docs/specs/proofkit-spec-proof-core/requirements.v1.json +18 -5
- package/docs/specs/proofkit-supply-chain-quality/overview.md +41 -19
- package/docs/specs/proofkit-supply-chain-quality/requirements.v1.json +30 -4
- package/package.json +2 -2
- package/proofkit/cli-contract.v2.json +709 -249
- package/proofkit/command-families.v1.json +9 -0
- package/proofkit/requirement-bindings.json +1241 -14
- package/proofkit/witness-plan.json +12 -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
|
|
@@ -126,15 +127,15 @@
|
|
|
126
127
|
"--mode"
|
|
127
128
|
],
|
|
128
129
|
"inputContract": {
|
|
129
|
-
"contractId": "proofkit.adoption-contract-envelope.input.
|
|
130
|
-
"schemaVersion":
|
|
130
|
+
"contractId": "proofkit.adoption-contract-envelope.input.v2",
|
|
131
|
+
"schemaVersion": 2,
|
|
131
132
|
"rootType": "object",
|
|
132
133
|
"closed": true,
|
|
133
|
-
"rootDefinitionRef": "proofkit.adoption-contract-envelope.input.
|
|
134
|
-
"rootDefinitionDigest": "sha256:
|
|
134
|
+
"rootDefinitionRef": "proofkit.adoption-contract-envelope.input.v2.root-shape",
|
|
135
|
+
"rootDefinitionDigest": "sha256:98fd5df72714bf773f3b90ad675ddcd9b214454fa083012c28f59a1cf3241b77",
|
|
135
136
|
"nativeSource": {
|
|
136
137
|
"path": "internal/command/adoptioncontract",
|
|
137
|
-
"canonicalDigest": "sha256:
|
|
138
|
+
"canonicalDigest": "sha256:167819db65616fcb8dec0e42ed91ee2f037db5d127ce1001db953ce683d2fd84",
|
|
138
139
|
"evidenceClass": "source_checkout"
|
|
139
140
|
},
|
|
140
141
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -144,8 +145,8 @@
|
|
|
144
145
|
"evidenceClass": "source_checkout"
|
|
145
146
|
},
|
|
146
147
|
"compatibilitySummary": [
|
|
147
|
-
"schemaVersion=
|
|
148
|
-
"root-shape-only definition proofkit.adoption-contract-envelope.input.
|
|
148
|
+
"schemaVersion=2",
|
|
149
|
+
"root-shape-only definition proofkit.adoption-contract-envelope.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
149
150
|
],
|
|
150
151
|
"ownerRequirementRefs": [
|
|
151
152
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -162,7 +163,7 @@
|
|
|
162
163
|
"rootDefinitionDigest": "sha256:6da2b641d38a05c97b6088bec7a38d8c9a76aa386eb101e48f9727bceae5cfa2",
|
|
163
164
|
"nativeSource": {
|
|
164
165
|
"path": "internal/command/adoptioncontract",
|
|
165
|
-
"canonicalDigest": "sha256:
|
|
166
|
+
"canonicalDigest": "sha256:167819db65616fcb8dec0e42ed91ee2f037db5d127ce1001db953ce683d2fd84",
|
|
166
167
|
"evidenceClass": "source_checkout"
|
|
167
168
|
},
|
|
168
169
|
"nativeOutputWitnessSelector": {
|
|
@@ -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",
|
|
@@ -992,15 +1110,15 @@
|
|
|
992
1110
|
"--format"
|
|
993
1111
|
],
|
|
994
1112
|
"inputContract": {
|
|
995
|
-
"contractId": "proofkit.conformance-profile.input.
|
|
996
|
-
"schemaVersion":
|
|
1113
|
+
"contractId": "proofkit.conformance-profile.input.v2",
|
|
1114
|
+
"schemaVersion": 2,
|
|
997
1115
|
"rootType": "object",
|
|
998
1116
|
"closed": true,
|
|
999
|
-
"rootDefinitionRef": "proofkit.conformance-profile.input.
|
|
1000
|
-
"rootDefinitionDigest": "sha256:
|
|
1117
|
+
"rootDefinitionRef": "proofkit.conformance-profile.input.v2.root-shape",
|
|
1118
|
+
"rootDefinitionDigest": "sha256:b343c1093476cd9f50970f58608e43c1a6ae681a2c06b17c217ab4f22ea454e5",
|
|
1001
1119
|
"nativeSource": {
|
|
1002
1120
|
"path": "internal/command/conformanceprofile",
|
|
1003
|
-
|
|
1121
|
+
"canonicalDigest": "sha256:fba2ae58bf66cfc43834368dec84ca85abd11e08a541786dc59eafaf7628c322",
|
|
1004
1122
|
"evidenceClass": "source_checkout"
|
|
1005
1123
|
},
|
|
1006
1124
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -1010,8 +1128,8 @@
|
|
|
1010
1128
|
"evidenceClass": "source_checkout"
|
|
1011
1129
|
},
|
|
1012
1130
|
"compatibilitySummary": [
|
|
1013
|
-
"schemaVersion=
|
|
1014
|
-
"root-shape-only definition proofkit.conformance-profile.input.
|
|
1131
|
+
"schemaVersion=2",
|
|
1132
|
+
"root-shape-only definition proofkit.conformance-profile.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
1015
1133
|
],
|
|
1016
1134
|
"ownerRequirementRefs": [
|
|
1017
1135
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -1019,15 +1137,15 @@
|
|
|
1019
1137
|
]
|
|
1020
1138
|
},
|
|
1021
1139
|
"outputContract": {
|
|
1022
|
-
"contractId": "proofkit.conformance-profile.output.
|
|
1023
|
-
"schemaVersion":
|
|
1140
|
+
"contractId": "proofkit.conformance-profile.output.v2",
|
|
1141
|
+
"schemaVersion": 2,
|
|
1024
1142
|
"rootType": "object",
|
|
1025
1143
|
"closed": true,
|
|
1026
|
-
"rootDefinitionRef": "proofkit.conformance-profile.output.
|
|
1027
|
-
"rootDefinitionDigest": "sha256:
|
|
1144
|
+
"rootDefinitionRef": "proofkit.conformance-profile.output.v2.root-shape",
|
|
1145
|
+
"rootDefinitionDigest": "sha256:5817a9d259deb8ff48d8dc6298b46164e7b132304ca1d865967c611d147b1793",
|
|
1028
1146
|
"nativeSource": {
|
|
1029
1147
|
"path": "internal/command/conformanceprofile",
|
|
1030
|
-
|
|
1148
|
+
"canonicalDigest": "sha256:fba2ae58bf66cfc43834368dec84ca85abd11e08a541786dc59eafaf7628c322",
|
|
1031
1149
|
"evidenceClass": "source_checkout"
|
|
1032
1150
|
},
|
|
1033
1151
|
"nativeOutputWitnessSelector": {
|
|
@@ -1037,8 +1155,8 @@
|
|
|
1037
1155
|
"evidenceClass": "source_checkout"
|
|
1038
1156
|
},
|
|
1039
1157
|
"compatibilitySummary": [
|
|
1040
|
-
"schemaVersion=
|
|
1041
|
-
"root-shape-only definition proofkit.conformance-profile.output.
|
|
1158
|
+
"schemaVersion=2",
|
|
1159
|
+
"root-shape-only definition proofkit.conformance-profile.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
1042
1160
|
],
|
|
1043
1161
|
"ownerRequirementRefs": [
|
|
1044
1162
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -1276,7 +1394,7 @@
|
|
|
1276
1394
|
"rootDefinitionDigest": "sha256:7ffe236ab203cf411dbfda6008ec8c10cc15691261031d4ed9ed90d81525dc12",
|
|
1277
1395
|
"nativeSource": {
|
|
1278
1396
|
"path": "internal/command/requirementbinding",
|
|
1279
|
-
"canonicalDigest": "sha256:
|
|
1397
|
+
"canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
|
|
1280
1398
|
"evidenceClass": "source_checkout"
|
|
1281
1399
|
},
|
|
1282
1400
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -1304,7 +1422,7 @@
|
|
|
1304
1422
|
"rootDefinitionDigest": "sha256:2be3545f9329bb4e4ba4971fc04bf5811959cf0087fd7ab3a7c2c8b45b8d714a",
|
|
1305
1423
|
"nativeSource": {
|
|
1306
1424
|
"path": "internal/command/requirementbinding",
|
|
1307
|
-
"canonicalDigest": "sha256:
|
|
1425
|
+
"canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
|
|
1308
1426
|
"evidenceClass": "source_checkout"
|
|
1309
1427
|
},
|
|
1310
1428
|
"nativeOutputWitnessSelector": {
|
|
@@ -1642,15 +1760,15 @@
|
|
|
1642
1760
|
"--input-pointer"
|
|
1643
1761
|
],
|
|
1644
1762
|
"inputContract": {
|
|
1645
|
-
"contractId": "proofkit.impact.input.
|
|
1646
|
-
"schemaVersion":
|
|
1763
|
+
"contractId": "proofkit.impact.input.v2",
|
|
1764
|
+
"schemaVersion": 2,
|
|
1647
1765
|
"rootType": "object",
|
|
1648
1766
|
"closed": true,
|
|
1649
|
-
"rootDefinitionRef": "proofkit.impact.input.
|
|
1650
|
-
"rootDefinitionDigest": "sha256:
|
|
1767
|
+
"rootDefinitionRef": "proofkit.impact.input.v2.root-shape",
|
|
1768
|
+
"rootDefinitionDigest": "sha256:aa30fb2ab02bc74ef18f9cf599d319d06a44e374851c07f5d921e86654a42e57",
|
|
1651
1769
|
"nativeSource": {
|
|
1652
1770
|
"path": "internal/command/impact",
|
|
1653
|
-
"canonicalDigest": "sha256:
|
|
1771
|
+
"canonicalDigest": "sha256:a3735158aab6ad0c6c8d5173cc07906b900165addb2a3a8b58eefe95a8abc365",
|
|
1654
1772
|
"evidenceClass": "source_checkout"
|
|
1655
1773
|
},
|
|
1656
1774
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -1660,8 +1778,8 @@
|
|
|
1660
1778
|
"evidenceClass": "source_checkout"
|
|
1661
1779
|
},
|
|
1662
1780
|
"compatibilitySummary": [
|
|
1663
|
-
"schemaVersion=
|
|
1664
|
-
"root-shape-only definition proofkit.impact.input.
|
|
1781
|
+
"schemaVersion=2",
|
|
1782
|
+
"root-shape-only definition proofkit.impact.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
1665
1783
|
],
|
|
1666
1784
|
"ownerRequirementRefs": [
|
|
1667
1785
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -1669,15 +1787,15 @@
|
|
|
1669
1787
|
]
|
|
1670
1788
|
},
|
|
1671
1789
|
"outputContract": {
|
|
1672
|
-
"contractId": "proofkit.impact.output.
|
|
1673
|
-
"schemaVersion":
|
|
1790
|
+
"contractId": "proofkit.impact.output.v2",
|
|
1791
|
+
"schemaVersion": 2,
|
|
1674
1792
|
"rootType": "object",
|
|
1675
1793
|
"closed": true,
|
|
1676
|
-
"rootDefinitionRef": "proofkit.impact.output.
|
|
1677
|
-
"rootDefinitionDigest": "sha256:
|
|
1794
|
+
"rootDefinitionRef": "proofkit.impact.output.v2.root-shape",
|
|
1795
|
+
"rootDefinitionDigest": "sha256:e6dacd55cace039ca8e24bdec628b1498d0c12bbfcdb60c46854ab2047c3f2d7",
|
|
1678
1796
|
"nativeSource": {
|
|
1679
1797
|
"path": "internal/command/impact",
|
|
1680
|
-
"canonicalDigest": "sha256:
|
|
1798
|
+
"canonicalDigest": "sha256:a3735158aab6ad0c6c8d5173cc07906b900165addb2a3a8b58eefe95a8abc365",
|
|
1681
1799
|
"evidenceClass": "source_checkout"
|
|
1682
1800
|
},
|
|
1683
1801
|
"nativeOutputWitnessSelector": {
|
|
@@ -1687,8 +1805,8 @@
|
|
|
1687
1805
|
"evidenceClass": "source_checkout"
|
|
1688
1806
|
},
|
|
1689
1807
|
"compatibilitySummary": [
|
|
1690
|
-
"schemaVersion=
|
|
1691
|
-
"root-shape-only definition proofkit.impact.output.
|
|
1808
|
+
"schemaVersion=2",
|
|
1809
|
+
"root-shape-only definition proofkit.impact.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
1692
1810
|
],
|
|
1693
1811
|
"ownerRequirementRefs": [
|
|
1694
1812
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -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",
|
|
@@ -2195,15 +2385,15 @@
|
|
|
2195
2385
|
}
|
|
2196
2386
|
],
|
|
2197
2387
|
"inputContract": {
|
|
2198
|
-
"contractId": "proofkit.pilot-admission.input.
|
|
2199
|
-
"schemaVersion":
|
|
2388
|
+
"contractId": "proofkit.pilot-admission.input.v2",
|
|
2389
|
+
"schemaVersion": 2,
|
|
2200
2390
|
"rootType": "object",
|
|
2201
2391
|
"closed": true,
|
|
2202
|
-
"rootDefinitionRef": "proofkit.pilot-admission.input.
|
|
2203
|
-
"rootDefinitionDigest": "sha256:
|
|
2392
|
+
"rootDefinitionRef": "proofkit.pilot-admission.input.v2.root-shape",
|
|
2393
|
+
"rootDefinitionDigest": "sha256:e3f15bcf1927483bfda42ca49d7f6624c0d0fadac81ccab1266c1a6ae8f528f1",
|
|
2204
2394
|
"nativeSource": {
|
|
2205
2395
|
"path": "internal/command/pilotadmission",
|
|
2206
|
-
"canonicalDigest": "sha256:
|
|
2396
|
+
"canonicalDigest": "sha256:439a7efece3c003b1463758f206b236ce261a2f566ec59b4bddd83f815035850",
|
|
2207
2397
|
"evidenceClass": "source_checkout"
|
|
2208
2398
|
},
|
|
2209
2399
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -2213,8 +2403,8 @@
|
|
|
2213
2403
|
"evidenceClass": "source_checkout"
|
|
2214
2404
|
},
|
|
2215
2405
|
"compatibilitySummary": [
|
|
2216
|
-
"schemaVersion=
|
|
2217
|
-
"root-shape-only definition proofkit.pilot-admission.input.
|
|
2406
|
+
"schemaVersion=2",
|
|
2407
|
+
"root-shape-only definition proofkit.pilot-admission.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
2218
2408
|
],
|
|
2219
2409
|
"ownerRequirementRefs": [
|
|
2220
2410
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -2231,12 +2421,12 @@
|
|
|
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
|
{
|
|
2238
2428
|
"path": "internal/command/pilotadmission",
|
|
2239
|
-
"canonicalDigest": "sha256:
|
|
2429
|
+
"canonicalDigest": "sha256:439a7efece3c003b1463758f206b236ce261a2f566ec59b4bddd83f815035850",
|
|
2240
2430
|
"evidenceClass": "source_checkout"
|
|
2241
2431
|
}
|
|
2242
2432
|
],
|
|
@@ -2486,7 +2676,7 @@
|
|
|
2486
2676
|
"rootDefinitionDigest": "sha256:71914c95c70dbace0ebce1dc4609624e3b91c994cd8c5adc20ed84d4200f0ac9",
|
|
2487
2677
|
"nativeSource": {
|
|
2488
2678
|
"path": "internal/command/requirementbinding",
|
|
2489
|
-
"canonicalDigest": "sha256:
|
|
2679
|
+
"canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
|
|
2490
2680
|
"evidenceClass": "source_checkout"
|
|
2491
2681
|
},
|
|
2492
2682
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -2514,7 +2704,7 @@
|
|
|
2514
2704
|
"rootDefinitionDigest": "sha256:5fbdf25c90a2020525f97453c9d9fe5a774fe0e2eacf00d1b2aea3ff5f4fa0f0",
|
|
2515
2705
|
"nativeSource": {
|
|
2516
2706
|
"path": "internal/command/requirementbinding",
|
|
2517
|
-
"canonicalDigest": "sha256:
|
|
2707
|
+
"canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
|
|
2518
2708
|
"evidenceClass": "source_checkout"
|
|
2519
2709
|
},
|
|
2520
2710
|
"nativeOutputWitnessSelector": {
|
|
@@ -3266,7 +3456,7 @@
|
|
|
3266
3456
|
"rootDefinitionDigest": "sha256:e7da70a2267f2ca13771e864bba6a1a0416132c2d56decb5db9f9694de021daf",
|
|
3267
3457
|
"nativeSource": {
|
|
3268
3458
|
"path": "internal/command/requirementbinding",
|
|
3269
|
-
"canonicalDigest": "sha256:
|
|
3459
|
+
"canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
|
|
3270
3460
|
"evidenceClass": "source_checkout"
|
|
3271
3461
|
},
|
|
3272
3462
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -3294,7 +3484,7 @@
|
|
|
3294
3484
|
"rootDefinitionDigest": "sha256:f31dd686f28fce4bf74265b557dc25428179cbc282753b4bea01439cd98f73c2",
|
|
3295
3485
|
"nativeSource": {
|
|
3296
3486
|
"path": "internal/command/requirementbinding",
|
|
3297
|
-
"canonicalDigest": "sha256:
|
|
3487
|
+
"canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
|
|
3298
3488
|
"evidenceClass": "source_checkout"
|
|
3299
3489
|
},
|
|
3300
3490
|
"nativeOutputWitnessSelector": {
|
|
@@ -3450,7 +3640,7 @@
|
|
|
3450
3640
|
}
|
|
3451
3641
|
],
|
|
3452
3642
|
"inputContract": {
|
|
3453
|
-
"schemaVersion":
|
|
3643
|
+
"schemaVersion": 3,
|
|
3454
3644
|
"workspaceRequiredFields": [
|
|
3455
3645
|
"context",
|
|
3456
3646
|
"schemaVersion",
|
|
@@ -3475,11 +3665,11 @@
|
|
|
3475
3665
|
"view": "workspace"
|
|
3476
3666
|
},
|
|
3477
3667
|
"jsonLayoutRule": "allowed for non-serving JSON plans; serving and one-shot modes reject the global layout option because one-shot terminal packets are fixed compact JSON",
|
|
3478
|
-
"contractId": "proofkit.requirement-browser-server.input.
|
|
3668
|
+
"contractId": "proofkit.requirement-browser-server.input.v3",
|
|
3479
3669
|
"rootType": "object",
|
|
3480
3670
|
"closed": true,
|
|
3481
|
-
"rootDefinitionRef": "proofkit.requirement-browser-server.input.
|
|
3482
|
-
"rootDefinitionDigest": "sha256:
|
|
3671
|
+
"rootDefinitionRef": "proofkit.requirement-browser-server.input.v3.root-shape",
|
|
3672
|
+
"rootDefinitionDigest": "sha256:e6af5b9edb1284ab2ff2f1a276a6b924127b99810cd9446bffbc971f638a0997",
|
|
3483
3673
|
"nativeSource": {
|
|
3484
3674
|
"path": "internal/command/requirementbrowser",
|
|
3485
3675
|
"canonicalDigest": "sha256:df4d6ca7f6f08342e48e44dad7cfbbcb25869c039814efd875e6435b4aeefa33",
|
|
@@ -3501,7 +3691,7 @@
|
|
|
3501
3691
|
"one-shot-question requires --view workspace --serve --open",
|
|
3502
3692
|
"--session-timeout-seconds is 1..7200 and requires one-shot-question",
|
|
3503
3693
|
"source|proof|coverage|spec-tree modes retain their owner input contracts",
|
|
3504
|
-
"root-shape-only definition proofkit.requirement-browser-server.input.
|
|
3694
|
+
"root-shape-only definition proofkit.requirement-browser-server.input.v3.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
3505
3695
|
],
|
|
3506
3696
|
"ownerRequirementRefs": [
|
|
3507
3697
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -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": {
|
|
@@ -3728,8 +3918,8 @@
|
|
|
3728
3918
|
"--input-pointer"
|
|
3729
3919
|
],
|
|
3730
3920
|
"inputContract": {
|
|
3731
|
-
"contractId": "proofkit.requirement-coverage-input-compose.input.
|
|
3732
|
-
"schemaVersion":
|
|
3921
|
+
"contractId": "proofkit.requirement-coverage-input-compose.input.v2",
|
|
3922
|
+
"schemaVersion": 2,
|
|
3733
3923
|
"authority": "requirement coverage input compose input contract",
|
|
3734
3924
|
"commonRequiredFields": [
|
|
3735
3925
|
"coverageUniverse",
|
|
@@ -3775,11 +3965,11 @@
|
|
|
3775
3965
|
],
|
|
3776
3966
|
"rootType": "object",
|
|
3777
3967
|
"closed": true,
|
|
3778
|
-
"rootDefinitionRef": "proofkit.requirement-coverage-input-compose.input.
|
|
3779
|
-
"rootDefinitionDigest": "sha256:
|
|
3968
|
+
"rootDefinitionRef": "proofkit.requirement-coverage-input-compose.input.v2.root-shape",
|
|
3969
|
+
"rootDefinitionDigest": "sha256:f6300d6d0f80f5066fe4079433978132ee2bb1df75e602e59cf3dc37a385d3ce",
|
|
3780
3970
|
"nativeSource": {
|
|
3781
3971
|
"path": "internal/command/requirementcoverageinput",
|
|
3782
|
-
"canonicalDigest": "sha256:
|
|
3972
|
+
"canonicalDigest": "sha256:4c10b1cd675af7d7753bb72a44fca1bb9a568bcd4d3733ee1907e6c4e22757f8",
|
|
3783
3973
|
"evidenceClass": "source_checkout"
|
|
3784
3974
|
},
|
|
3785
3975
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -3789,8 +3979,8 @@
|
|
|
3789
3979
|
"evidenceClass": "source_checkout"
|
|
3790
3980
|
},
|
|
3791
3981
|
"compatibilitySummary": [
|
|
3792
|
-
"schemaVersion=
|
|
3793
|
-
"root-shape-only definition proofkit.requirement-coverage-input-compose.input.
|
|
3982
|
+
"schemaVersion=2",
|
|
3983
|
+
"root-shape-only definition proofkit.requirement-coverage-input-compose.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
3794
3984
|
],
|
|
3795
3985
|
"ownerRequirementRefs": [
|
|
3796
3986
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -3799,8 +3989,8 @@
|
|
|
3799
3989
|
]
|
|
3800
3990
|
},
|
|
3801
3991
|
"outputContract": {
|
|
3802
|
-
"contractId": "proofkit.requirement-coverage-input-compose.output.
|
|
3803
|
-
"schemaVersion":
|
|
3992
|
+
"contractId": "proofkit.requirement-coverage-input-compose.output.v2",
|
|
3993
|
+
"schemaVersion": 2,
|
|
3804
3994
|
"authority": "requirement coverage input compose output contract",
|
|
3805
3995
|
"requiredFields": [
|
|
3806
3996
|
"compactProofContract",
|
|
@@ -3823,11 +4013,11 @@
|
|
|
3823
4013
|
],
|
|
3824
4014
|
"rootType": "object",
|
|
3825
4015
|
"closed": true,
|
|
3826
|
-
"rootDefinitionRef": "proofkit.requirement-coverage-input-compose.output.
|
|
3827
|
-
"rootDefinitionDigest": "sha256:
|
|
4016
|
+
"rootDefinitionRef": "proofkit.requirement-coverage-input-compose.output.v2.root-shape",
|
|
4017
|
+
"rootDefinitionDigest": "sha256:0f264c996a058fb8aff102e42b95a4610d3a584b35687cc870b3d16c9589cfed",
|
|
3828
4018
|
"nativeSource": {
|
|
3829
4019
|
"path": "internal/command/requirementcoverageinput",
|
|
3830
|
-
"canonicalDigest": "sha256:
|
|
4020
|
+
"canonicalDigest": "sha256:4c10b1cd675af7d7753bb72a44fca1bb9a568bcd4d3733ee1907e6c4e22757f8",
|
|
3831
4021
|
"evidenceClass": "source_checkout"
|
|
3832
4022
|
},
|
|
3833
4023
|
"nativeOutputWitnessSelector": {
|
|
@@ -3847,7 +4037,7 @@
|
|
|
3847
4037
|
"schemaVersion",
|
|
3848
4038
|
"testEvidenceInventory",
|
|
3849
4039
|
"viewInputId",
|
|
3850
|
-
"root-shape-only definition proofkit.requirement-coverage-input-compose.output.
|
|
4040
|
+
"root-shape-only definition proofkit.requirement-coverage-input-compose.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
3851
4041
|
],
|
|
3852
4042
|
"ownerRequirementRefs": [
|
|
3853
4043
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -3878,8 +4068,8 @@
|
|
|
3878
4068
|
"--format"
|
|
3879
4069
|
],
|
|
3880
4070
|
"outputContract": {
|
|
3881
|
-
"contractId": "proofkit.requirement-coverage-view.output.
|
|
3882
|
-
"schemaVersion":
|
|
4071
|
+
"contractId": "proofkit.requirement-coverage-view.output.v3",
|
|
4072
|
+
"schemaVersion": 3,
|
|
3883
4073
|
"authority": "requirement coverage view output contract",
|
|
3884
4074
|
"classificationRecords": {
|
|
3885
4075
|
"failureClassifications": {
|
|
@@ -3920,11 +4110,11 @@
|
|
|
3920
4110
|
],
|
|
3921
4111
|
"rootType": "object",
|
|
3922
4112
|
"closed": true,
|
|
3923
|
-
"rootDefinitionRef": "proofkit.requirement-coverage-view.output.
|
|
3924
|
-
"rootDefinitionDigest": "sha256:
|
|
4113
|
+
"rootDefinitionRef": "proofkit.requirement-coverage-view.output.v3.root-shape",
|
|
4114
|
+
"rootDefinitionDigest": "sha256:2365e4778d6c24c0af9507ce93bfba0a89c4ba9ece8da1c5b25b4581d6b80fa1",
|
|
3925
4115
|
"nativeSource": {
|
|
3926
4116
|
"path": "internal/command/requirementcoverageview",
|
|
3927
|
-
"canonicalDigest": "sha256:
|
|
4117
|
+
"canonicalDigest": "sha256:5a60148d843025a2ad7a2b72566792778120fc7979c5ec9c9db8dcac42e7dffd",
|
|
3928
4118
|
"evidenceClass": "source_checkout"
|
|
3929
4119
|
},
|
|
3930
4120
|
"nativeOutputWitnessSelector": {
|
|
@@ -3941,7 +4131,7 @@
|
|
|
3941
4131
|
"state",
|
|
3942
4132
|
"warningClassifications",
|
|
3943
4133
|
"warnings",
|
|
3944
|
-
"root-shape-only definition proofkit.requirement-coverage-view.output.
|
|
4134
|
+
"root-shape-only definition proofkit.requirement-coverage-view.output.v3.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
3945
4135
|
],
|
|
3946
4136
|
"ownerRequirementRefs": [
|
|
3947
4137
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -3950,15 +4140,15 @@
|
|
|
3950
4140
|
]
|
|
3951
4141
|
},
|
|
3952
4142
|
"inputContract": {
|
|
3953
|
-
"contractId": "proofkit.requirement-coverage-view.input.
|
|
3954
|
-
"schemaVersion":
|
|
4143
|
+
"contractId": "proofkit.requirement-coverage-view.input.v2",
|
|
4144
|
+
"schemaVersion": 2,
|
|
3955
4145
|
"rootType": "object",
|
|
3956
4146
|
"closed": true,
|
|
3957
|
-
"rootDefinitionRef": "proofkit.requirement-coverage-view.input.
|
|
3958
|
-
"rootDefinitionDigest": "sha256:
|
|
4147
|
+
"rootDefinitionRef": "proofkit.requirement-coverage-view.input.v2.root-shape",
|
|
4148
|
+
"rootDefinitionDigest": "sha256:f42c9218c861b1e30ec3692fa0097da393e36eea2049d4aac1a05a8b0a40d81d",
|
|
3959
4149
|
"nativeSource": {
|
|
3960
4150
|
"path": "internal/command/requirementcoverageview",
|
|
3961
|
-
"canonicalDigest": "sha256:
|
|
4151
|
+
"canonicalDigest": "sha256:5a60148d843025a2ad7a2b72566792778120fc7979c5ec9c9db8dcac42e7dffd",
|
|
3962
4152
|
"evidenceClass": "source_checkout"
|
|
3963
4153
|
},
|
|
3964
4154
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -3968,8 +4158,8 @@
|
|
|
3968
4158
|
"evidenceClass": "source_checkout"
|
|
3969
4159
|
},
|
|
3970
4160
|
"compatibilitySummary": [
|
|
3971
|
-
"schemaVersion=
|
|
3972
|
-
"root-shape-only definition proofkit.requirement-coverage-view.input.
|
|
4161
|
+
"schemaVersion=2",
|
|
4162
|
+
"root-shape-only definition proofkit.requirement-coverage-view.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
3973
4163
|
],
|
|
3974
4164
|
"ownerRequirementRefs": [
|
|
3975
4165
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -3992,15 +4182,15 @@
|
|
|
3992
4182
|
"--input-pointer"
|
|
3993
4183
|
],
|
|
3994
4184
|
"outputContract": {
|
|
3995
|
-
"contractId": "proofkit.requirement-impact-input-compose.output.
|
|
3996
|
-
"schemaVersion":
|
|
4185
|
+
"contractId": "proofkit.requirement-impact-input-compose.output.v2",
|
|
4186
|
+
"schemaVersion": 2,
|
|
3997
4187
|
"authority": "requirement impact input compose output contract",
|
|
3998
4188
|
"requiredFields": [
|
|
3999
4189
|
"baseCommit",
|
|
4000
4190
|
"baseRef",
|
|
4001
4191
|
"changedBindingRecordIds",
|
|
4002
4192
|
"changedPaths",
|
|
4003
|
-
"
|
|
4193
|
+
"changedRequirementIds",
|
|
4004
4194
|
"changedWitnessPathCoverage",
|
|
4005
4195
|
"generatedArtifactRules",
|
|
4006
4196
|
"headCommit",
|
|
@@ -4020,11 +4210,11 @@
|
|
|
4020
4210
|
],
|
|
4021
4211
|
"rootType": "object",
|
|
4022
4212
|
"closed": true,
|
|
4023
|
-
"rootDefinitionRef": "proofkit.requirement-impact-input-compose.output.
|
|
4024
|
-
"rootDefinitionDigest": "sha256:
|
|
4213
|
+
"rootDefinitionRef": "proofkit.requirement-impact-input-compose.output.v2.root-shape",
|
|
4214
|
+
"rootDefinitionDigest": "sha256:68a5ab234566459ce56772aac9a5c5b471647753390dbc1c2a62cabf0f489ef2",
|
|
4025
4215
|
"nativeSource": {
|
|
4026
4216
|
"path": "internal/command/requirementimpactinput",
|
|
4027
|
-
"canonicalDigest": "sha256:
|
|
4217
|
+
"canonicalDigest": "sha256:28ab57ec44b4b4190db3c3ff50358c5cebdd36b625d1cfa07492fe9dac63f6e3",
|
|
4028
4218
|
"evidenceClass": "source_checkout"
|
|
4029
4219
|
},
|
|
4030
4220
|
"nativeOutputWitnessSelector": {
|
|
@@ -4038,7 +4228,7 @@
|
|
|
4038
4228
|
"baseRef",
|
|
4039
4229
|
"changedBindingRecordIds",
|
|
4040
4230
|
"changedPaths",
|
|
4041
|
-
"
|
|
4231
|
+
"changedRequirementIds",
|
|
4042
4232
|
"changedWitnessPathCoverage",
|
|
4043
4233
|
"generatedArtifactRules",
|
|
4044
4234
|
"headCommit",
|
|
@@ -4049,7 +4239,7 @@
|
|
|
4049
4239
|
"preexistingFailures",
|
|
4050
4240
|
"proofLikePaths",
|
|
4051
4241
|
"schemaVersion",
|
|
4052
|
-
"root-shape-only definition proofkit.requirement-impact-input-compose.output.
|
|
4242
|
+
"root-shape-only definition proofkit.requirement-impact-input-compose.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
4053
4243
|
],
|
|
4054
4244
|
"ownerRequirementRefs": [
|
|
4055
4245
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -4058,15 +4248,15 @@
|
|
|
4058
4248
|
]
|
|
4059
4249
|
},
|
|
4060
4250
|
"inputContract": {
|
|
4061
|
-
"contractId": "proofkit.requirement-impact-input-compose.input.
|
|
4062
|
-
"schemaVersion":
|
|
4251
|
+
"contractId": "proofkit.requirement-impact-input-compose.input.v2",
|
|
4252
|
+
"schemaVersion": 2,
|
|
4063
4253
|
"rootType": "object",
|
|
4064
4254
|
"closed": true,
|
|
4065
|
-
"rootDefinitionRef": "proofkit.requirement-impact-input-compose.input.
|
|
4066
|
-
"rootDefinitionDigest": "sha256:
|
|
4255
|
+
"rootDefinitionRef": "proofkit.requirement-impact-input-compose.input.v2.root-shape",
|
|
4256
|
+
"rootDefinitionDigest": "sha256:1ca9c341fecac869c675302fc547865674bb42605b7ed66b3733e3db15e85150",
|
|
4067
4257
|
"nativeSource": {
|
|
4068
4258
|
"path": "internal/command/requirementimpactinput",
|
|
4069
|
-
"canonicalDigest": "sha256:
|
|
4259
|
+
"canonicalDigest": "sha256:28ab57ec44b4b4190db3c3ff50358c5cebdd36b625d1cfa07492fe9dac63f6e3",
|
|
4070
4260
|
"evidenceClass": "source_checkout"
|
|
4071
4261
|
},
|
|
4072
4262
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -4076,8 +4266,8 @@
|
|
|
4076
4266
|
"evidenceClass": "source_checkout"
|
|
4077
4267
|
},
|
|
4078
4268
|
"compatibilitySummary": [
|
|
4079
|
-
"schemaVersion=
|
|
4080
|
-
"root-shape-only definition proofkit.requirement-impact-input-compose.input.
|
|
4269
|
+
"schemaVersion=2",
|
|
4270
|
+
"root-shape-only definition proofkit.requirement-impact-input-compose.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
4081
4271
|
],
|
|
4082
4272
|
"ownerRequirementRefs": [
|
|
4083
4273
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -4108,15 +4298,15 @@
|
|
|
4108
4298
|
]
|
|
4109
4299
|
],
|
|
4110
4300
|
"inputContract": {
|
|
4111
|
-
"contractId": "proofkit.requirement-proof-resolver.input.
|
|
4112
|
-
"schemaVersion":
|
|
4301
|
+
"contractId": "proofkit.requirement-proof-resolver.input.v2",
|
|
4302
|
+
"schemaVersion": 2,
|
|
4113
4303
|
"rootType": "object",
|
|
4114
4304
|
"closed": true,
|
|
4115
|
-
"rootDefinitionRef": "proofkit.requirement-proof-resolver.input.
|
|
4116
|
-
"rootDefinitionDigest": "sha256:
|
|
4305
|
+
"rootDefinitionRef": "proofkit.requirement-proof-resolver.input.v2.root-shape",
|
|
4306
|
+
"rootDefinitionDigest": "sha256:a9004b9ddd9f4109326bfc233e6d4629090373d8651488b6663328273826952d",
|
|
4117
4307
|
"nativeSource": {
|
|
4118
4308
|
"path": "internal/command/requirementbinding",
|
|
4119
|
-
"canonicalDigest": "sha256:
|
|
4309
|
+
"canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
|
|
4120
4310
|
"evidenceClass": "source_checkout"
|
|
4121
4311
|
},
|
|
4122
4312
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -4126,8 +4316,8 @@
|
|
|
4126
4316
|
"evidenceClass": "source_checkout"
|
|
4127
4317
|
},
|
|
4128
4318
|
"compatibilitySummary": [
|
|
4129
|
-
"schemaVersion=
|
|
4130
|
-
"root-shape-only definition proofkit.requirement-proof-resolver.input.
|
|
4319
|
+
"schemaVersion=2",
|
|
4320
|
+
"root-shape-only definition proofkit.requirement-proof-resolver.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
4131
4321
|
],
|
|
4132
4322
|
"ownerRequirementRefs": [
|
|
4133
4323
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -4135,15 +4325,15 @@
|
|
|
4135
4325
|
]
|
|
4136
4326
|
},
|
|
4137
4327
|
"outputContract": {
|
|
4138
|
-
"contractId": "proofkit.requirement-proof-resolver.output.
|
|
4139
|
-
"schemaVersion":
|
|
4328
|
+
"contractId": "proofkit.requirement-proof-resolver.output.v2",
|
|
4329
|
+
"schemaVersion": 2,
|
|
4140
4330
|
"rootType": "object",
|
|
4141
4331
|
"closed": true,
|
|
4142
|
-
"rootDefinitionRef": "proofkit.requirement-proof-resolver.output.
|
|
4143
|
-
"rootDefinitionDigest": "sha256:
|
|
4332
|
+
"rootDefinitionRef": "proofkit.requirement-proof-resolver.output.v2.root-shape",
|
|
4333
|
+
"rootDefinitionDigest": "sha256:42bbed6d902300afd15cf763e164896f9ac05567a67fa62a50801d9e90bc4e05",
|
|
4144
4334
|
"nativeSource": {
|
|
4145
4335
|
"path": "internal/command/requirementbinding",
|
|
4146
|
-
"canonicalDigest": "sha256:
|
|
4336
|
+
"canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
|
|
4147
4337
|
"evidenceClass": "source_checkout"
|
|
4148
4338
|
},
|
|
4149
4339
|
"nativeOutputWitnessSelector": {
|
|
@@ -4153,8 +4343,8 @@
|
|
|
4153
4343
|
"evidenceClass": "source_checkout"
|
|
4154
4344
|
},
|
|
4155
4345
|
"compatibilitySummary": [
|
|
4156
|
-
"schemaVersion=
|
|
4157
|
-
"root-shape-only definition proofkit.requirement-proof-resolver.output.
|
|
4346
|
+
"schemaVersion=2",
|
|
4347
|
+
"root-shape-only definition proofkit.requirement-proof-resolver.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
4158
4348
|
],
|
|
4159
4349
|
"ownerRequirementRefs": [
|
|
4160
4350
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -4176,11 +4366,12 @@
|
|
|
4176
4366
|
"--input-pointer"
|
|
4177
4367
|
],
|
|
4178
4368
|
"inputContract": {
|
|
4179
|
-
"contractId": "proofkit.requirement-proof-source-set.input.
|
|
4180
|
-
"schemaVersion":
|
|
4369
|
+
"contractId": "proofkit.requirement-proof-source-set.input.v2",
|
|
4370
|
+
"schemaVersion": 2,
|
|
4181
4371
|
"authority": "requirement proof source-set input admission",
|
|
4182
4372
|
"requiredFields": [
|
|
4183
4373
|
"canonicalEnvelope",
|
|
4374
|
+
"schemaVersion",
|
|
4184
4375
|
"sourceSet",
|
|
4185
4376
|
"sources"
|
|
4186
4377
|
],
|
|
@@ -4210,11 +4401,11 @@
|
|
|
4210
4401
|
],
|
|
4211
4402
|
"rootType": "object",
|
|
4212
4403
|
"closed": true,
|
|
4213
|
-
"rootDefinitionRef": "proofkit.requirement-proof-source-set.input.
|
|
4214
|
-
"rootDefinitionDigest": "sha256:
|
|
4404
|
+
"rootDefinitionRef": "proofkit.requirement-proof-source-set.input.v2.root-shape",
|
|
4405
|
+
"rootDefinitionDigest": "sha256:9b38b93e0b8a2ba2b72e32d606d3cb2372fa685c9a702ae31ae42437945f2eb0",
|
|
4215
4406
|
"nativeSource": {
|
|
4216
4407
|
"path": "internal/command/requirementproofsourceset",
|
|
4217
|
-
"canonicalDigest": "sha256:
|
|
4408
|
+
"canonicalDigest": "sha256:9acea8f3fdb09a6297d715d86a5d796209c8def51a24fa96b96dc780c38f97d1",
|
|
4218
4409
|
"evidenceClass": "source_checkout"
|
|
4219
4410
|
},
|
|
4220
4411
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -4225,9 +4416,10 @@
|
|
|
4225
4416
|
},
|
|
4226
4417
|
"compatibilitySummary": [
|
|
4227
4418
|
"canonicalEnvelope",
|
|
4419
|
+
"schemaVersion",
|
|
4228
4420
|
"sourceSet",
|
|
4229
4421
|
"sources",
|
|
4230
|
-
"root-shape-only definition proofkit.requirement-proof-source-set.input.
|
|
4422
|
+
"root-shape-only definition proofkit.requirement-proof-source-set.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
4231
4423
|
],
|
|
4232
4424
|
"ownerRequirementRefs": [
|
|
4233
4425
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -4236,11 +4428,12 @@
|
|
|
4236
4428
|
]
|
|
4237
4429
|
},
|
|
4238
4430
|
"outputContract": {
|
|
4239
|
-
"contractId": "proofkit.requirement-proof-source-set.output.
|
|
4240
|
-
"schemaVersion":
|
|
4431
|
+
"contractId": "proofkit.requirement-proof-source-set.output.v2",
|
|
4432
|
+
"schemaVersion": 2,
|
|
4241
4433
|
"commonFields": [
|
|
4242
4434
|
"inputPaths",
|
|
4243
4435
|
"projectionKind",
|
|
4436
|
+
"schemaVersion",
|
|
4244
4437
|
"selectedSourceIds",
|
|
4245
4438
|
"sourceCount",
|
|
4246
4439
|
"sourceSetCount"
|
|
@@ -4260,11 +4453,11 @@
|
|
|
4260
4453
|
],
|
|
4261
4454
|
"rootType": "object",
|
|
4262
4455
|
"closed": true,
|
|
4263
|
-
"rootDefinitionRef": "proofkit.requirement-proof-source-set.output.
|
|
4264
|
-
"rootDefinitionDigest": "sha256:
|
|
4456
|
+
"rootDefinitionRef": "proofkit.requirement-proof-source-set.output.v2.root-shape",
|
|
4457
|
+
"rootDefinitionDigest": "sha256:ed81d03ea6ea56fd9ba12c48995111e8a90a8c1feb336fe95be195b25ccc0254",
|
|
4265
4458
|
"nativeSource": {
|
|
4266
4459
|
"path": "internal/command/requirementproofsourceset",
|
|
4267
|
-
"canonicalDigest": "sha256:
|
|
4460
|
+
"canonicalDigest": "sha256:9acea8f3fdb09a6297d715d86a5d796209c8def51a24fa96b96dc780c38f97d1",
|
|
4268
4461
|
"evidenceClass": "source_checkout"
|
|
4269
4462
|
},
|
|
4270
4463
|
"nativeOutputWitnessSelector": {
|
|
@@ -4274,8 +4467,8 @@
|
|
|
4274
4467
|
"evidenceClass": "source_checkout"
|
|
4275
4468
|
},
|
|
4276
4469
|
"compatibilitySummary": [
|
|
4277
|
-
"schemaVersion=
|
|
4278
|
-
"root-shape-only definition proofkit.requirement-proof-source-set.output.
|
|
4470
|
+
"schemaVersion=2",
|
|
4471
|
+
"root-shape-only definition proofkit.requirement-proof-source-set.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
4279
4472
|
],
|
|
4280
4473
|
"ownerRequirementRefs": [
|
|
4281
4474
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -4307,15 +4500,15 @@
|
|
|
4307
4500
|
"--format"
|
|
4308
4501
|
],
|
|
4309
4502
|
"inputContract": {
|
|
4310
|
-
"contractId": "proofkit.requirement-proof-view.input.
|
|
4311
|
-
"schemaVersion":
|
|
4503
|
+
"contractId": "proofkit.requirement-proof-view.input.v2",
|
|
4504
|
+
"schemaVersion": 2,
|
|
4312
4505
|
"rootType": "object",
|
|
4313
4506
|
"closed": true,
|
|
4314
|
-
"rootDefinitionRef": "proofkit.requirement-proof-view.input.
|
|
4315
|
-
"rootDefinitionDigest": "sha256:
|
|
4507
|
+
"rootDefinitionRef": "proofkit.requirement-proof-view.input.v2.root-shape",
|
|
4508
|
+
"rootDefinitionDigest": "sha256:998efcaf322251ec9ff402cbf8f4db84f981aca3c24bd2071c0c302ddcca5490",
|
|
4316
4509
|
"nativeSource": {
|
|
4317
4510
|
"path": "internal/command/requirementproofview",
|
|
4318
|
-
"canonicalDigest": "sha256:
|
|
4511
|
+
"canonicalDigest": "sha256:f71d93a5e3c434f8cefdc18a92cc1360400555351597bfaf7c0cc7a360b79444",
|
|
4319
4512
|
"evidenceClass": "source_checkout"
|
|
4320
4513
|
},
|
|
4321
4514
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -4325,8 +4518,8 @@
|
|
|
4325
4518
|
"evidenceClass": "source_checkout"
|
|
4326
4519
|
},
|
|
4327
4520
|
"compatibilitySummary": [
|
|
4328
|
-
"schemaVersion=
|
|
4329
|
-
"root-shape-only definition proofkit.requirement-proof-view.input.
|
|
4521
|
+
"schemaVersion=2",
|
|
4522
|
+
"root-shape-only definition proofkit.requirement-proof-view.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
4330
4523
|
],
|
|
4331
4524
|
"ownerRequirementRefs": [
|
|
4332
4525
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -4334,15 +4527,15 @@
|
|
|
4334
4527
|
]
|
|
4335
4528
|
},
|
|
4336
4529
|
"outputContract": {
|
|
4337
|
-
"contractId": "proofkit.requirement-proof-view.output.
|
|
4338
|
-
"schemaVersion":
|
|
4530
|
+
"contractId": "proofkit.requirement-proof-view.output.v2",
|
|
4531
|
+
"schemaVersion": 2,
|
|
4339
4532
|
"rootType": "object",
|
|
4340
4533
|
"closed": true,
|
|
4341
|
-
"rootDefinitionRef": "proofkit.requirement-proof-view.output.
|
|
4342
|
-
"rootDefinitionDigest": "sha256:
|
|
4534
|
+
"rootDefinitionRef": "proofkit.requirement-proof-view.output.v2.root-shape",
|
|
4535
|
+
"rootDefinitionDigest": "sha256:3dd563fd6eaedc12994b16234f72228b76fd1155e29033ca1b027fe1e0289d19",
|
|
4343
4536
|
"nativeSource": {
|
|
4344
4537
|
"path": "internal/command/requirementproofview",
|
|
4345
|
-
"canonicalDigest": "sha256:
|
|
4538
|
+
"canonicalDigest": "sha256:f71d93a5e3c434f8cefdc18a92cc1360400555351597bfaf7c0cc7a360b79444",
|
|
4346
4539
|
"evidenceClass": "source_checkout"
|
|
4347
4540
|
},
|
|
4348
4541
|
"nativeOutputWitnessSelector": {
|
|
@@ -4352,8 +4545,8 @@
|
|
|
4352
4545
|
"evidenceClass": "source_checkout"
|
|
4353
4546
|
},
|
|
4354
4547
|
"compatibilitySummary": [
|
|
4355
|
-
"schemaVersion=
|
|
4356
|
-
"root-shape-only definition proofkit.requirement-proof-view.output.
|
|
4548
|
+
"schemaVersion=2",
|
|
4549
|
+
"root-shape-only definition proofkit.requirement-proof-view.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
4357
4550
|
],
|
|
4358
4551
|
"ownerRequirementRefs": [
|
|
4359
4552
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -5470,7 +5663,7 @@
|
|
|
5470
5663
|
"rootDefinitionDigest": "sha256:3c842174dff5361e7f83166469b832805e05aa314b073c16234b5b64e346281e",
|
|
5471
5664
|
"nativeSource": {
|
|
5472
5665
|
"path": "internal/app",
|
|
5473
|
-
"canonicalDigest": "sha256:
|
|
5666
|
+
"canonicalDigest": "sha256:af43c7dae19e019887fd3c43ddef4d453966b517880dc3fb76be5f3ed048281d",
|
|
5474
5667
|
"evidenceClass": "source_checkout"
|
|
5475
5668
|
},
|
|
5476
5669
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -5499,7 +5692,7 @@
|
|
|
5499
5692
|
"rootDefinitionDigest": "sha256:0ea95e277ebe44cd2de42c29b47c38686ac0b6b390d8965367437b3fe138e209",
|
|
5500
5693
|
"nativeSource": {
|
|
5501
5694
|
"path": "internal/app",
|
|
5502
|
-
"canonicalDigest": "sha256:
|
|
5695
|
+
"canonicalDigest": "sha256:af43c7dae19e019887fd3c43ddef4d453966b517880dc3fb76be5f3ed048281d",
|
|
5503
5696
|
"evidenceClass": "source_checkout"
|
|
5504
5697
|
},
|
|
5505
5698
|
"nativeOutputWitnessSelector": {
|
|
@@ -5739,8 +5932,8 @@
|
|
|
5739
5932
|
"--projection"
|
|
5740
5933
|
],
|
|
5741
5934
|
"inputContract": {
|
|
5742
|
-
"contractId": "proofkit.test-evidence-inventory.input.
|
|
5743
|
-
"schemaVersion":
|
|
5935
|
+
"contractId": "proofkit.test-evidence-inventory.input.v2",
|
|
5936
|
+
"schemaVersion": 2,
|
|
5744
5937
|
"authority": "test evidence inventory admission and projection admission",
|
|
5745
5938
|
"projectionVariants": {
|
|
5746
5939
|
"discovery-draft": {
|
|
@@ -5816,7 +6009,7 @@
|
|
|
5816
6009
|
},
|
|
5817
6010
|
"schemaVersion": {
|
|
5818
6011
|
"required": true,
|
|
5819
|
-
"value":
|
|
6012
|
+
"value": 2
|
|
5820
6013
|
}
|
|
5821
6014
|
},
|
|
5822
6015
|
"candidateOutput": {
|
|
@@ -5840,17 +6033,17 @@
|
|
|
5840
6033
|
],
|
|
5841
6034
|
"rootType": "object",
|
|
5842
6035
|
"closed": true,
|
|
5843
|
-
"rootDefinitionRef": "proofkit.test-evidence-inventory.input.
|
|
5844
|
-
"rootDefinitionDigest": "sha256:
|
|
6036
|
+
"rootDefinitionRef": "proofkit.test-evidence-inventory.input.v2.root-shape",
|
|
6037
|
+
"rootDefinitionDigest": "sha256:4ec00274f91fd3e6e8bf67ac55125e1a9566e7d2233137ed3fa968539532125e",
|
|
5845
6038
|
"nativeSources": [
|
|
5846
6039
|
{
|
|
5847
6040
|
"path": "internal/command/proofbindingtestinventory",
|
|
5848
|
-
"canonicalDigest": "sha256:
|
|
6041
|
+
"canonicalDigest": "sha256:93c68e7bd85f435dd82b1a9ab663add5ecc37bd45948ec3ce49c8af18a90051a",
|
|
5849
6042
|
"evidenceClass": "source_checkout"
|
|
5850
6043
|
},
|
|
5851
6044
|
{
|
|
5852
6045
|
"path": "internal/command/testevidenceinventory",
|
|
5853
|
-
"canonicalDigest": "sha256:
|
|
6046
|
+
"canonicalDigest": "sha256:60983b8f25544c7b85e818f202de053fa15557b0de37a7df35aa0d58b58c3888",
|
|
5854
6047
|
"evidenceClass": "source_checkout"
|
|
5855
6048
|
}
|
|
5856
6049
|
],
|
|
@@ -5861,8 +6054,8 @@
|
|
|
5861
6054
|
"evidenceClass": "source_checkout"
|
|
5862
6055
|
},
|
|
5863
6056
|
"compatibilitySummary": [
|
|
5864
|
-
"schemaVersion=
|
|
5865
|
-
"root-shape-only definition proofkit.test-evidence-inventory.input.
|
|
6057
|
+
"schemaVersion=2",
|
|
6058
|
+
"root-shape-only definition proofkit.test-evidence-inventory.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
5866
6059
|
],
|
|
5867
6060
|
"ownerRequirementRefs": [
|
|
5868
6061
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -5871,8 +6064,8 @@
|
|
|
5871
6064
|
]
|
|
5872
6065
|
},
|
|
5873
6066
|
"outputContract": {
|
|
5874
|
-
"contractId": "proofkit.test-evidence-inventory.output.
|
|
5875
|
-
"schemaVersion":
|
|
6067
|
+
"contractId": "proofkit.test-evidence-inventory.output.v2",
|
|
6068
|
+
"schemaVersion": 2,
|
|
5876
6069
|
"authority": "test evidence inventory output contract",
|
|
5877
6070
|
"classificationRecords": {
|
|
5878
6071
|
"failureClassifications": {
|
|
@@ -5937,17 +6130,17 @@
|
|
|
5937
6130
|
],
|
|
5938
6131
|
"rootType": "object",
|
|
5939
6132
|
"closed": true,
|
|
5940
|
-
"rootDefinitionRef": "proofkit.test-evidence-inventory.output.
|
|
5941
|
-
"rootDefinitionDigest": "sha256:
|
|
6133
|
+
"rootDefinitionRef": "proofkit.test-evidence-inventory.output.v2.root-shape",
|
|
6134
|
+
"rootDefinitionDigest": "sha256:6688b487f1c9936dd1583ab0d90e689c75cae278b04bb431950b9979aba4efa7",
|
|
5942
6135
|
"nativeSources": [
|
|
5943
6136
|
{
|
|
5944
6137
|
"path": "internal/command/proofbindingtestinventory",
|
|
5945
|
-
"canonicalDigest": "sha256:
|
|
6138
|
+
"canonicalDigest": "sha256:93c68e7bd85f435dd82b1a9ab663add5ecc37bd45948ec3ce49c8af18a90051a",
|
|
5946
6139
|
"evidenceClass": "source_checkout"
|
|
5947
6140
|
},
|
|
5948
6141
|
{
|
|
5949
6142
|
"path": "internal/command/testevidenceinventory",
|
|
5950
|
-
"canonicalDigest": "sha256:
|
|
6143
|
+
"canonicalDigest": "sha256:60983b8f25544c7b85e818f202de053fa15557b0de37a7df35aa0d58b58c3888",
|
|
5951
6144
|
"evidenceClass": "source_checkout"
|
|
5952
6145
|
}
|
|
5953
6146
|
],
|
|
@@ -5958,8 +6151,8 @@
|
|
|
5958
6151
|
"evidenceClass": "source_checkout"
|
|
5959
6152
|
},
|
|
5960
6153
|
"compatibilitySummary": [
|
|
5961
|
-
"schemaVersion=
|
|
5962
|
-
"root-shape-only definition proofkit.test-evidence-inventory.output.
|
|
6154
|
+
"schemaVersion=2",
|
|
6155
|
+
"root-shape-only definition proofkit.test-evidence-inventory.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
5963
6156
|
],
|
|
5964
6157
|
"ownerRequirementRefs": [
|
|
5965
6158
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -5990,7 +6183,7 @@
|
|
|
5990
6183
|
"rootDefinitionDigest": "sha256:af1e6196ddee9ee4262ca14c9cca1451c89241ebeef177af4a12be866b088f9a",
|
|
5991
6184
|
"nativeSource": {
|
|
5992
6185
|
"path": "internal/command/textpolicy",
|
|
5993
|
-
"canonicalDigest": "sha256:
|
|
6186
|
+
"canonicalDigest": "sha256:d6a41f1ddc42a71b1d03ae52cad8793c1e96557181f8d1032bb0bcaa3f3d9b7f",
|
|
5994
6187
|
"evidenceClass": "source_checkout"
|
|
5995
6188
|
},
|
|
5996
6189
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -6017,7 +6210,7 @@
|
|
|
6017
6210
|
"rootDefinitionDigest": "sha256:a47795a1a72dcece9e3e513c8d33829fed187a959450d1ce007697a434b26df1",
|
|
6018
6211
|
"nativeSource": {
|
|
6019
6212
|
"path": "internal/command/textpolicy",
|
|
6020
|
-
"canonicalDigest": "sha256:
|
|
6213
|
+
"canonicalDigest": "sha256:d6a41f1ddc42a71b1d03ae52cad8793c1e96557181f8d1032bb0bcaa3f3d9b7f",
|
|
6021
6214
|
"evidenceClass": "source_checkout"
|
|
6022
6215
|
},
|
|
6023
6216
|
"nativeOutputWitnessSelector": {
|
|
@@ -6122,7 +6315,7 @@
|
|
|
6122
6315
|
"rootDefinitionDigest": "sha256:687efe1fe441443ad7bcab69f05987b47a25672da8032e7471bd7c48ebd95a30",
|
|
6123
6316
|
"nativeSource": {
|
|
6124
6317
|
"path": "internal/command/publicapi",
|
|
6125
|
-
"canonicalDigest": "sha256:
|
|
6318
|
+
"canonicalDigest": "sha256:59a2876503e61689f968c462ef98065084c1844db1469e691f144b81d3ae76a9",
|
|
6126
6319
|
"evidenceClass": "source_checkout"
|
|
6127
6320
|
},
|
|
6128
6321
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -6164,7 +6357,7 @@
|
|
|
6164
6357
|
"rootDefinitionDigest": "sha256:93da5f4d5efd4c482cb5da37bb60a80f8e47e4eab549428790ddd1a4e680009d",
|
|
6165
6358
|
"nativeSource": {
|
|
6166
6359
|
"path": "internal/command/publicapi",
|
|
6167
|
-
"canonicalDigest": "sha256:
|
|
6360
|
+
"canonicalDigest": "sha256:59a2876503e61689f968c462ef98065084c1844db1469e691f144b81d3ae76a9",
|
|
6168
6361
|
"evidenceClass": "source_checkout"
|
|
6169
6362
|
},
|
|
6170
6363
|
"nativeOutputWitnessSelector": {
|
|
@@ -6823,8 +7016,8 @@
|
|
|
6823
7016
|
"canonicalDigest": "sha256:6834488d7bfbb4fbcd50dda8d26c65f0c72e15ce7fd2f53ac4a1ee396f72f106"
|
|
6824
7017
|
},
|
|
6825
7018
|
{
|
|
6826
|
-
"definitionId": "proofkit.adoption-contract-envelope.input.
|
|
6827
|
-
"schemaVersion":
|
|
7019
|
+
"definitionId": "proofkit.adoption-contract-envelope.input.v2.root-shape",
|
|
7020
|
+
"schemaVersion": 2,
|
|
6828
7021
|
"rootType": "object",
|
|
6829
7022
|
"closed": true,
|
|
6830
7023
|
"definitionRefs": [],
|
|
@@ -6860,7 +7053,7 @@
|
|
|
6860
7053
|
}
|
|
6861
7054
|
]
|
|
6862
7055
|
},
|
|
6863
|
-
"canonicalDigest": "sha256:
|
|
7056
|
+
"canonicalDigest": "sha256:98fd5df72714bf773f3b90ad675ddcd9b214454fa083012c28f59a1cf3241b77"
|
|
6864
7057
|
},
|
|
6865
7058
|
{
|
|
6866
7059
|
"definitionId": "proofkit.adoption-contract-envelope.output.v1.root-shape",
|
|
@@ -7916,6 +8109,225 @@
|
|
|
7916
8109
|
},
|
|
7917
8110
|
"canonicalDigest": "sha256:d20d4d55690f7b98768d8bb1c2c313f78bdf9ac8163fa6d1ff694664b2d7d999"
|
|
7918
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
|
+
},
|
|
7919
8331
|
{
|
|
7920
8332
|
"definitionId": "proofkit.changed-path-set.input.v1.root-shape",
|
|
7921
8333
|
"schemaVersion": 1,
|
|
@@ -8130,8 +8542,8 @@
|
|
|
8130
8542
|
"canonicalDigest": "sha256:81b3eb5f072ad45d3d71954bc9dfcb46bcdc1e8afc9ade800ae1ee73dfb503d0"
|
|
8131
8543
|
},
|
|
8132
8544
|
{
|
|
8133
|
-
"definitionId": "proofkit.conformance-profile.input.
|
|
8134
|
-
"schemaVersion":
|
|
8545
|
+
"definitionId": "proofkit.conformance-profile.input.v2.root-shape",
|
|
8546
|
+
"schemaVersion": 2,
|
|
8135
8547
|
"rootType": "object",
|
|
8136
8548
|
"closed": true,
|
|
8137
8549
|
"definitionRefs": [],
|
|
@@ -8164,11 +8576,11 @@
|
|
|
8164
8576
|
}
|
|
8165
8577
|
]
|
|
8166
8578
|
},
|
|
8167
|
-
"canonicalDigest": "sha256:
|
|
8579
|
+
"canonicalDigest": "sha256:b343c1093476cd9f50970f58608e43c1a6ae681a2c06b17c217ab4f22ea454e5"
|
|
8168
8580
|
},
|
|
8169
8581
|
{
|
|
8170
|
-
"definitionId": "proofkit.conformance-profile.output.
|
|
8171
|
-
"schemaVersion":
|
|
8582
|
+
"definitionId": "proofkit.conformance-profile.output.v2.root-shape",
|
|
8583
|
+
"schemaVersion": 2,
|
|
8172
8584
|
"rootType": "object",
|
|
8173
8585
|
"closed": true,
|
|
8174
8586
|
"definitionRefs": [],
|
|
@@ -8194,38 +8606,42 @@
|
|
|
8194
8606
|
},
|
|
8195
8607
|
{
|
|
8196
8608
|
"allowedFields": [
|
|
8609
|
+
"bindingCount",
|
|
8197
8610
|
"commandCount",
|
|
8198
8611
|
"commandExecutionState",
|
|
8199
8612
|
"environmentClasses",
|
|
8200
8613
|
"failures",
|
|
8201
8614
|
"nonClaims",
|
|
8202
8615
|
"optionalSurfaceCount",
|
|
8203
|
-
"
|
|
8616
|
+
"preconditionedBindingCount",
|
|
8204
8617
|
"profileId",
|
|
8205
8618
|
"profileResolutionState",
|
|
8206
8619
|
"purpose",
|
|
8207
8620
|
"requiredSurfaceCount",
|
|
8208
8621
|
"requirementCount",
|
|
8209
8622
|
"scenarioCount",
|
|
8623
|
+
"schemaVersion",
|
|
8210
8624
|
"surfaceCount",
|
|
8211
8625
|
"surfaces",
|
|
8212
8626
|
"verifyCommands",
|
|
8213
8627
|
"witnessMappingCount"
|
|
8214
8628
|
],
|
|
8215
8629
|
"requiredFields": [
|
|
8630
|
+
"bindingCount",
|
|
8216
8631
|
"commandCount",
|
|
8217
8632
|
"commandExecutionState",
|
|
8218
8633
|
"environmentClasses",
|
|
8219
8634
|
"failures",
|
|
8220
8635
|
"nonClaims",
|
|
8221
8636
|
"optionalSurfaceCount",
|
|
8222
|
-
"
|
|
8637
|
+
"preconditionedBindingCount",
|
|
8223
8638
|
"profileId",
|
|
8224
8639
|
"profileResolutionState",
|
|
8225
8640
|
"purpose",
|
|
8226
8641
|
"requiredSurfaceCount",
|
|
8227
8642
|
"requirementCount",
|
|
8228
8643
|
"scenarioCount",
|
|
8644
|
+
"schemaVersion",
|
|
8229
8645
|
"surfaceCount",
|
|
8230
8646
|
"surfaces",
|
|
8231
8647
|
"verifyCommands",
|
|
@@ -8267,7 +8683,7 @@
|
|
|
8267
8683
|
}
|
|
8268
8684
|
]
|
|
8269
8685
|
},
|
|
8270
|
-
"canonicalDigest": "sha256:
|
|
8686
|
+
"canonicalDigest": "sha256:5817a9d259deb8ff48d8dc6298b46164e7b132304ca1d865967c611d147b1793"
|
|
8271
8687
|
},
|
|
8272
8688
|
{
|
|
8273
8689
|
"definitionId": "proofkit.custom-rule-boundary.input.v1.root-shape",
|
|
@@ -9129,8 +9545,8 @@
|
|
|
9129
9545
|
"canonicalDigest": "sha256:f780843a1d9afb5e7a82c5eefeca8f41d4ee8e852731ec3e690d1d8aedf46b16"
|
|
9130
9546
|
},
|
|
9131
9547
|
{
|
|
9132
|
-
"definitionId": "proofkit.impact.input.
|
|
9133
|
-
"schemaVersion":
|
|
9548
|
+
"definitionId": "proofkit.impact.input.v2.root-shape",
|
|
9549
|
+
"schemaVersion": 2,
|
|
9134
9550
|
"rootType": "object",
|
|
9135
9551
|
"closed": true,
|
|
9136
9552
|
"definitionRefs": [],
|
|
@@ -9147,7 +9563,7 @@
|
|
|
9147
9563
|
"baseRef",
|
|
9148
9564
|
"changedBindingRecordIds",
|
|
9149
9565
|
"changedPaths",
|
|
9150
|
-
"
|
|
9566
|
+
"changedRequirementIds",
|
|
9151
9567
|
"changedWitnessPathCoverage",
|
|
9152
9568
|
"generatedArtifactRules",
|
|
9153
9569
|
"headCommit",
|
|
@@ -9165,7 +9581,7 @@
|
|
|
9165
9581
|
"baseRef",
|
|
9166
9582
|
"changedBindingRecordIds",
|
|
9167
9583
|
"changedPaths",
|
|
9168
|
-
"
|
|
9584
|
+
"changedRequirementIds",
|
|
9169
9585
|
"changedWitnessPathCoverage",
|
|
9170
9586
|
"generatedArtifactRules",
|
|
9171
9587
|
"headCommit",
|
|
@@ -9184,11 +9600,11 @@
|
|
|
9184
9600
|
}
|
|
9185
9601
|
]
|
|
9186
9602
|
},
|
|
9187
|
-
"canonicalDigest": "sha256:
|
|
9603
|
+
"canonicalDigest": "sha256:aa30fb2ab02bc74ef18f9cf599d319d06a44e374851c07f5d921e86654a42e57"
|
|
9188
9604
|
},
|
|
9189
9605
|
{
|
|
9190
|
-
"definitionId": "proofkit.impact.output.
|
|
9191
|
-
"schemaVersion":
|
|
9606
|
+
"definitionId": "proofkit.impact.output.v2.root-shape",
|
|
9607
|
+
"schemaVersion": 2,
|
|
9192
9608
|
"rootType": "object",
|
|
9193
9609
|
"closed": true,
|
|
9194
9610
|
"definitionRefs": [],
|
|
@@ -9204,7 +9620,7 @@
|
|
|
9204
9620
|
"baseCommit",
|
|
9205
9621
|
"baseRef",
|
|
9206
9622
|
"changedPaths",
|
|
9207
|
-
"
|
|
9623
|
+
"changedRequirementIds",
|
|
9208
9624
|
"failures",
|
|
9209
9625
|
"headCommit",
|
|
9210
9626
|
"headRef",
|
|
@@ -9218,7 +9634,7 @@
|
|
|
9218
9634
|
"baseCommit",
|
|
9219
9635
|
"baseRef",
|
|
9220
9636
|
"changedPaths",
|
|
9221
|
-
"
|
|
9637
|
+
"changedRequirementIds",
|
|
9222
9638
|
"failures",
|
|
9223
9639
|
"headCommit",
|
|
9224
9640
|
"headRef",
|
|
@@ -9236,7 +9652,7 @@
|
|
|
9236
9652
|
}
|
|
9237
9653
|
]
|
|
9238
9654
|
},
|
|
9239
|
-
"canonicalDigest": "sha256:
|
|
9655
|
+
"canonicalDigest": "sha256:e6dacd55cace039ca8e24bdec628b1498d0c12bbfcdb60c46854ab2047c3f2d7"
|
|
9240
9656
|
},
|
|
9241
9657
|
{
|
|
9242
9658
|
"definitionId": "proofkit.init.output.v1.root-shape",
|
|
@@ -9514,6 +9930,42 @@
|
|
|
9514
9930
|
},
|
|
9515
9931
|
"canonicalDigest": "sha256:e6a152b5ca41396f25874b1d1ddd1dbc323bd9e927a18c5fe5088ad527fe65cd"
|
|
9516
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
|
+
},
|
|
9517
9969
|
{
|
|
9518
9970
|
"definitionId": "proofkit.obligation-decision.input.v1.root-shape",
|
|
9519
9971
|
"schemaVersion": 1,
|
|
@@ -9724,8 +10176,8 @@
|
|
|
9724
10176
|
"canonicalDigest": "sha256:e6c9e94611b5de09befb45f56d1770bdf1e32a96752cf3e5fb8a58e8c6ecfc54"
|
|
9725
10177
|
},
|
|
9726
10178
|
{
|
|
9727
|
-
"definitionId": "proofkit.pilot-admission.input.
|
|
9728
|
-
"schemaVersion":
|
|
10179
|
+
"definitionId": "proofkit.pilot-admission.input.v2.root-shape",
|
|
10180
|
+
"schemaVersion": 2,
|
|
9729
10181
|
"rootType": "object",
|
|
9730
10182
|
"closed": true,
|
|
9731
10183
|
"definitionRefs": [],
|
|
@@ -9880,7 +10332,7 @@
|
|
|
9880
10332
|
}
|
|
9881
10333
|
]
|
|
9882
10334
|
},
|
|
9883
|
-
"canonicalDigest": "sha256:
|
|
10335
|
+
"canonicalDigest": "sha256:e3f15bcf1927483bfda42ca49d7f6624c0d0fadac81ccab1266c1a6ae8f528f1"
|
|
9884
10336
|
},
|
|
9885
10337
|
{
|
|
9886
10338
|
"definitionId": "proofkit.pilot-admission.output.v1.root-shape",
|
|
@@ -11254,8 +11706,8 @@
|
|
|
11254
11706
|
"canonicalDigest": "sha256:f31dd686f28fce4bf74265b557dc25428179cbc282753b4bea01439cd98f73c2"
|
|
11255
11707
|
},
|
|
11256
11708
|
{
|
|
11257
|
-
"definitionId": "proofkit.requirement-browser-server.input.
|
|
11258
|
-
"schemaVersion":
|
|
11709
|
+
"definitionId": "proofkit.requirement-browser-server.input.v3.root-shape",
|
|
11710
|
+
"schemaVersion": 3,
|
|
11259
11711
|
"rootType": "object",
|
|
11260
11712
|
"closed": true,
|
|
11261
11713
|
"definitionRefs": [],
|
|
@@ -11450,7 +11902,7 @@
|
|
|
11450
11902
|
}
|
|
11451
11903
|
]
|
|
11452
11904
|
},
|
|
11453
|
-
"canonicalDigest": "sha256:
|
|
11905
|
+
"canonicalDigest": "sha256:e6af5b9edb1284ab2ff2f1a276a6b924127b99810cd9446bffbc971f638a0997"
|
|
11454
11906
|
},
|
|
11455
11907
|
{
|
|
11456
11908
|
"definitionId": "proofkit.requirement-browser-server.output.v1.root-shape",
|
|
@@ -11723,8 +12175,8 @@
|
|
|
11723
12175
|
"canonicalDigest": "sha256:61f7fd43e2e9da5bde9b61bb86e02cbf337a43c6891ca888c1d42936e5b16456"
|
|
11724
12176
|
},
|
|
11725
12177
|
{
|
|
11726
|
-
"definitionId": "proofkit.requirement-coverage-input-compose.input.
|
|
11727
|
-
"schemaVersion":
|
|
12178
|
+
"definitionId": "proofkit.requirement-coverage-input-compose.input.v2.root-shape",
|
|
12179
|
+
"schemaVersion": 2,
|
|
11728
12180
|
"rootType": "object",
|
|
11729
12181
|
"closed": true,
|
|
11730
12182
|
"definitionRefs": [],
|
|
@@ -11770,11 +12222,11 @@
|
|
|
11770
12222
|
}
|
|
11771
12223
|
]
|
|
11772
12224
|
},
|
|
11773
|
-
"canonicalDigest": "sha256:
|
|
12225
|
+
"canonicalDigest": "sha256:f6300d6d0f80f5066fe4079433978132ee2bb1df75e602e59cf3dc37a385d3ce"
|
|
11774
12226
|
},
|
|
11775
12227
|
{
|
|
11776
|
-
"definitionId": "proofkit.requirement-coverage-input-compose.output.
|
|
11777
|
-
"schemaVersion":
|
|
12228
|
+
"definitionId": "proofkit.requirement-coverage-input-compose.output.v2.root-shape",
|
|
12229
|
+
"schemaVersion": 2,
|
|
11778
12230
|
"rootType": "object",
|
|
11779
12231
|
"closed": true,
|
|
11780
12232
|
"definitionRefs": [],
|
|
@@ -11818,11 +12270,11 @@
|
|
|
11818
12270
|
}
|
|
11819
12271
|
]
|
|
11820
12272
|
},
|
|
11821
|
-
"canonicalDigest": "sha256:
|
|
12273
|
+
"canonicalDigest": "sha256:0f264c996a058fb8aff102e42b95a4610d3a584b35687cc870b3d16c9589cfed"
|
|
11822
12274
|
},
|
|
11823
12275
|
{
|
|
11824
|
-
"definitionId": "proofkit.requirement-coverage-view.input.
|
|
11825
|
-
"schemaVersion":
|
|
12276
|
+
"definitionId": "proofkit.requirement-coverage-view.input.v2.root-shape",
|
|
12277
|
+
"schemaVersion": 2,
|
|
11826
12278
|
"rootType": "object",
|
|
11827
12279
|
"closed": true,
|
|
11828
12280
|
"definitionRefs": [],
|
|
@@ -11890,11 +12342,11 @@
|
|
|
11890
12342
|
}
|
|
11891
12343
|
]
|
|
11892
12344
|
},
|
|
11893
|
-
"canonicalDigest": "sha256:
|
|
12345
|
+
"canonicalDigest": "sha256:f42c9218c861b1e30ec3692fa0097da393e36eea2049d4aac1a05a8b0a40d81d"
|
|
11894
12346
|
},
|
|
11895
12347
|
{
|
|
11896
|
-
"definitionId": "proofkit.requirement-coverage-view.output.
|
|
11897
|
-
"schemaVersion":
|
|
12348
|
+
"definitionId": "proofkit.requirement-coverage-view.output.v3.root-shape",
|
|
12349
|
+
"schemaVersion": 3,
|
|
11898
12350
|
"rootType": "object",
|
|
11899
12351
|
"closed": true,
|
|
11900
12352
|
"definitionRefs": [],
|
|
@@ -12017,11 +12469,11 @@
|
|
|
12017
12469
|
}
|
|
12018
12470
|
]
|
|
12019
12471
|
},
|
|
12020
|
-
|
|
12472
|
+
"canonicalDigest": "sha256:2365e4778d6c24c0af9507ce93bfba0a89c4ba9ece8da1c5b25b4581d6b80fa1"
|
|
12021
12473
|
},
|
|
12022
12474
|
{
|
|
12023
|
-
"definitionId": "proofkit.requirement-impact-input-compose.input.
|
|
12024
|
-
"schemaVersion":
|
|
12475
|
+
"definitionId": "proofkit.requirement-impact-input-compose.input.v2.root-shape",
|
|
12476
|
+
"schemaVersion": 2,
|
|
12025
12477
|
"rootType": "object",
|
|
12026
12478
|
"closed": true,
|
|
12027
12479
|
"definitionRefs": [],
|
|
@@ -12081,11 +12533,11 @@
|
|
|
12081
12533
|
}
|
|
12082
12534
|
]
|
|
12083
12535
|
},
|
|
12084
|
-
"canonicalDigest": "sha256:
|
|
12536
|
+
"canonicalDigest": "sha256:1ca9c341fecac869c675302fc547865674bb42605b7ed66b3733e3db15e85150"
|
|
12085
12537
|
},
|
|
12086
12538
|
{
|
|
12087
|
-
"definitionId": "proofkit.requirement-impact-input-compose.output.
|
|
12088
|
-
"schemaVersion":
|
|
12539
|
+
"definitionId": "proofkit.requirement-impact-input-compose.output.v2.root-shape",
|
|
12540
|
+
"schemaVersion": 2,
|
|
12089
12541
|
"rootType": "object",
|
|
12090
12542
|
"closed": true,
|
|
12091
12543
|
"definitionRefs": [],
|
|
@@ -12102,7 +12554,7 @@
|
|
|
12102
12554
|
"baseRef",
|
|
12103
12555
|
"changedBindingRecordIds",
|
|
12104
12556
|
"changedPaths",
|
|
12105
|
-
"
|
|
12557
|
+
"changedRequirementIds",
|
|
12106
12558
|
"changedWitnessPathCoverage",
|
|
12107
12559
|
"generatedArtifactRules",
|
|
12108
12560
|
"headCommit",
|
|
@@ -12120,7 +12572,7 @@
|
|
|
12120
12572
|
"baseRef",
|
|
12121
12573
|
"changedBindingRecordIds",
|
|
12122
12574
|
"changedPaths",
|
|
12123
|
-
"
|
|
12575
|
+
"changedRequirementIds",
|
|
12124
12576
|
"changedWitnessPathCoverage",
|
|
12125
12577
|
"generatedArtifactRules",
|
|
12126
12578
|
"headCommit",
|
|
@@ -12140,11 +12592,11 @@
|
|
|
12140
12592
|
}
|
|
12141
12593
|
]
|
|
12142
12594
|
},
|
|
12143
|
-
"canonicalDigest": "sha256:
|
|
12595
|
+
"canonicalDigest": "sha256:68a5ab234566459ce56772aac9a5c5b471647753390dbc1c2a62cabf0f489ef2"
|
|
12144
12596
|
},
|
|
12145
12597
|
{
|
|
12146
|
-
"definitionId": "proofkit.requirement-proof-resolver.input.
|
|
12147
|
-
"schemaVersion":
|
|
12598
|
+
"definitionId": "proofkit.requirement-proof-resolver.input.v2.root-shape",
|
|
12599
|
+
"schemaVersion": 2,
|
|
12148
12600
|
"rootType": "object",
|
|
12149
12601
|
"closed": true,
|
|
12150
12602
|
"definitionRefs": [],
|
|
@@ -12190,11 +12642,11 @@
|
|
|
12190
12642
|
}
|
|
12191
12643
|
]
|
|
12192
12644
|
},
|
|
12193
|
-
"canonicalDigest": "sha256:
|
|
12645
|
+
"canonicalDigest": "sha256:a9004b9ddd9f4109326bfc233e6d4629090373d8651488b6663328273826952d"
|
|
12194
12646
|
},
|
|
12195
12647
|
{
|
|
12196
|
-
"definitionId": "proofkit.requirement-proof-resolver.output.
|
|
12197
|
-
"schemaVersion":
|
|
12648
|
+
"definitionId": "proofkit.requirement-proof-resolver.output.v2.root-shape",
|
|
12649
|
+
"schemaVersion": 2,
|
|
12198
12650
|
"rootType": "object",
|
|
12199
12651
|
"closed": true,
|
|
12200
12652
|
"definitionRefs": [],
|
|
@@ -12207,6 +12659,7 @@
|
|
|
12207
12659
|
"variants": [
|
|
12208
12660
|
{
|
|
12209
12661
|
"allowedFields": [
|
|
12662
|
+
"bindings",
|
|
12210
12663
|
"commands",
|
|
12211
12664
|
"conformanceProofContract",
|
|
12212
12665
|
"contractId",
|
|
@@ -12214,13 +12667,13 @@
|
|
|
12214
12667
|
"localEnvironmentPolicy",
|
|
12215
12668
|
"nonClaims",
|
|
12216
12669
|
"projectionKind",
|
|
12217
|
-
"requirements",
|
|
12218
12670
|
"scenarios",
|
|
12219
12671
|
"schemaVersion",
|
|
12220
12672
|
"surfaces",
|
|
12221
|
-
"
|
|
12673
|
+
"witnessRoutes"
|
|
12222
12674
|
],
|
|
12223
12675
|
"requiredFields": [
|
|
12676
|
+
"bindings",
|
|
12224
12677
|
"commands",
|
|
12225
12678
|
"conformanceProofContract",
|
|
12226
12679
|
"contractId",
|
|
@@ -12228,11 +12681,10 @@
|
|
|
12228
12681
|
"localEnvironmentPolicy",
|
|
12229
12682
|
"nonClaims",
|
|
12230
12683
|
"projectionKind",
|
|
12231
|
-
"requirements",
|
|
12232
12684
|
"scenarios",
|
|
12233
12685
|
"schemaVersion",
|
|
12234
12686
|
"surfaces",
|
|
12235
|
-
"
|
|
12687
|
+
"witnessRoutes"
|
|
12236
12688
|
],
|
|
12237
12689
|
"rootKind": "object",
|
|
12238
12690
|
"variantId": "01-resolver",
|
|
@@ -12242,11 +12694,11 @@
|
|
|
12242
12694
|
}
|
|
12243
12695
|
]
|
|
12244
12696
|
},
|
|
12245
|
-
"canonicalDigest": "sha256:
|
|
12697
|
+
"canonicalDigest": "sha256:42bbed6d902300afd15cf763e164896f9ac05567a67fa62a50801d9e90bc4e05"
|
|
12246
12698
|
},
|
|
12247
12699
|
{
|
|
12248
|
-
"definitionId": "proofkit.requirement-proof-source-set.input.
|
|
12249
|
-
"schemaVersion":
|
|
12700
|
+
"definitionId": "proofkit.requirement-proof-source-set.input.v2.root-shape",
|
|
12701
|
+
"schemaVersion": 2,
|
|
12250
12702
|
"rootType": "object",
|
|
12251
12703
|
"closed": true,
|
|
12252
12704
|
"definitionRefs": [],
|
|
@@ -12261,11 +12713,13 @@
|
|
|
12261
12713
|
"allowedFields": [
|
|
12262
12714
|
"canonicalEnvelope",
|
|
12263
12715
|
"projection",
|
|
12716
|
+
"schemaVersion",
|
|
12264
12717
|
"sourceSet",
|
|
12265
12718
|
"sources"
|
|
12266
12719
|
],
|
|
12267
12720
|
"requiredFields": [
|
|
12268
12721
|
"canonicalEnvelope",
|
|
12722
|
+
"schemaVersion",
|
|
12269
12723
|
"sourceSet",
|
|
12270
12724
|
"sources"
|
|
12271
12725
|
],
|
|
@@ -12277,11 +12731,11 @@
|
|
|
12277
12731
|
}
|
|
12278
12732
|
]
|
|
12279
12733
|
},
|
|
12280
|
-
"canonicalDigest": "sha256:
|
|
12734
|
+
"canonicalDigest": "sha256:9b38b93e0b8a2ba2b72e32d606d3cb2372fa685c9a702ae31ae42437945f2eb0"
|
|
12281
12735
|
},
|
|
12282
12736
|
{
|
|
12283
|
-
"definitionId": "proofkit.requirement-proof-source-set.output.
|
|
12284
|
-
"schemaVersion":
|
|
12737
|
+
"definitionId": "proofkit.requirement-proof-source-set.output.v2.root-shape",
|
|
12738
|
+
"schemaVersion": 2,
|
|
12285
12739
|
"rootType": "object",
|
|
12286
12740
|
"closed": true,
|
|
12287
12741
|
"definitionRefs": [],
|
|
@@ -12297,6 +12751,7 @@
|
|
|
12297
12751
|
"contract",
|
|
12298
12752
|
"inputPaths",
|
|
12299
12753
|
"projectionKind",
|
|
12754
|
+
"schemaVersion",
|
|
12300
12755
|
"selectedSourceIds",
|
|
12301
12756
|
"sourceCount",
|
|
12302
12757
|
"sourceSetCount"
|
|
@@ -12305,6 +12760,7 @@
|
|
|
12305
12760
|
"contract",
|
|
12306
12761
|
"inputPaths",
|
|
12307
12762
|
"projectionKind",
|
|
12763
|
+
"schemaVersion",
|
|
12308
12764
|
"selectedSourceIds",
|
|
12309
12765
|
"sourceCount",
|
|
12310
12766
|
"sourceSetCount"
|
|
@@ -12320,6 +12776,7 @@
|
|
|
12320
12776
|
"inputPaths",
|
|
12321
12777
|
"projectionKind",
|
|
12322
12778
|
"resolverInput",
|
|
12779
|
+
"schemaVersion",
|
|
12323
12780
|
"selectedSourceIds",
|
|
12324
12781
|
"sourceCount",
|
|
12325
12782
|
"sourceSetCount"
|
|
@@ -12328,6 +12785,7 @@
|
|
|
12328
12785
|
"inputPaths",
|
|
12329
12786
|
"projectionKind",
|
|
12330
12787
|
"resolverInput",
|
|
12788
|
+
"schemaVersion",
|
|
12331
12789
|
"selectedSourceIds",
|
|
12332
12790
|
"sourceCount",
|
|
12333
12791
|
"sourceSetCount"
|
|
@@ -12340,11 +12798,11 @@
|
|
|
12340
12798
|
}
|
|
12341
12799
|
]
|
|
12342
12800
|
},
|
|
12343
|
-
"canonicalDigest": "sha256:
|
|
12801
|
+
"canonicalDigest": "sha256:ed81d03ea6ea56fd9ba12c48995111e8a90a8c1feb336fe95be195b25ccc0254"
|
|
12344
12802
|
},
|
|
12345
12803
|
{
|
|
12346
|
-
"definitionId": "proofkit.requirement-proof-view.input.
|
|
12347
|
-
"schemaVersion":
|
|
12804
|
+
"definitionId": "proofkit.requirement-proof-view.input.v2.root-shape",
|
|
12805
|
+
"schemaVersion": 2,
|
|
12348
12806
|
"rootType": "object",
|
|
12349
12807
|
"closed": true,
|
|
12350
12808
|
"definitionRefs": [],
|
|
@@ -12414,11 +12872,11 @@
|
|
|
12414
12872
|
}
|
|
12415
12873
|
]
|
|
12416
12874
|
},
|
|
12417
|
-
"canonicalDigest": "sha256:
|
|
12875
|
+
"canonicalDigest": "sha256:998efcaf322251ec9ff402cbf8f4db84f981aca3c24bd2071c0c302ddcca5490"
|
|
12418
12876
|
},
|
|
12419
12877
|
{
|
|
12420
|
-
"definitionId": "proofkit.requirement-proof-view.output.
|
|
12421
|
-
"schemaVersion":
|
|
12878
|
+
"definitionId": "proofkit.requirement-proof-view.output.v2.root-shape",
|
|
12879
|
+
"schemaVersion": 2,
|
|
12422
12880
|
"rootType": "object",
|
|
12423
12881
|
"closed": true,
|
|
12424
12882
|
"definitionRefs": [],
|
|
@@ -12432,25 +12890,27 @@
|
|
|
12432
12890
|
{
|
|
12433
12891
|
"allowedFields": [
|
|
12434
12892
|
"authority",
|
|
12893
|
+
"bindingCount",
|
|
12894
|
+
"bindings",
|
|
12435
12895
|
"commandCount",
|
|
12436
12896
|
"contractId",
|
|
12437
12897
|
"localEnvironmentPolicy",
|
|
12438
12898
|
"nonClaims",
|
|
12439
|
-
"
|
|
12899
|
+
"preconditionedBindingCount",
|
|
12440
12900
|
"requirementCount",
|
|
12441
|
-
"requirements",
|
|
12442
12901
|
"schemaVersion",
|
|
12443
12902
|
"viewKind"
|
|
12444
12903
|
],
|
|
12445
12904
|
"requiredFields": [
|
|
12446
12905
|
"authority",
|
|
12906
|
+
"bindingCount",
|
|
12907
|
+
"bindings",
|
|
12447
12908
|
"commandCount",
|
|
12448
12909
|
"contractId",
|
|
12449
12910
|
"localEnvironmentPolicy",
|
|
12450
12911
|
"nonClaims",
|
|
12451
|
-
"
|
|
12912
|
+
"preconditionedBindingCount",
|
|
12452
12913
|
"requirementCount",
|
|
12453
|
-
"requirements",
|
|
12454
12914
|
"schemaVersion",
|
|
12455
12915
|
"viewKind"
|
|
12456
12916
|
],
|
|
@@ -12493,7 +12953,7 @@
|
|
|
12493
12953
|
}
|
|
12494
12954
|
]
|
|
12495
12955
|
},
|
|
12496
|
-
"canonicalDigest": "sha256:
|
|
12956
|
+
"canonicalDigest": "sha256:3dd563fd6eaedc12994b16234f72228b76fd1155e29033ca1b027fe1e0289d19"
|
|
12497
12957
|
},
|
|
12498
12958
|
{
|
|
12499
12959
|
"definitionId": "proofkit.requirement-semantic-diff.input.v2.root-shape",
|
|
@@ -14078,8 +14538,8 @@
|
|
|
14078
14538
|
"canonicalDigest": "sha256:338f720a24bd36f4ab34cad9b14d3bd26389119e5c713146f1c4eb019f4a0637"
|
|
14079
14539
|
},
|
|
14080
14540
|
{
|
|
14081
|
-
"definitionId": "proofkit.test-evidence-inventory.input.
|
|
14082
|
-
"schemaVersion":
|
|
14541
|
+
"definitionId": "proofkit.test-evidence-inventory.input.v2.root-shape",
|
|
14542
|
+
"schemaVersion": 2,
|
|
14083
14543
|
"rootType": "object",
|
|
14084
14544
|
"closed": true,
|
|
14085
14545
|
"definitionRefs": [],
|
|
@@ -14201,11 +14661,11 @@
|
|
|
14201
14661
|
}
|
|
14202
14662
|
]
|
|
14203
14663
|
},
|
|
14204
|
-
"canonicalDigest": "sha256:
|
|
14664
|
+
"canonicalDigest": "sha256:4ec00274f91fd3e6e8bf67ac55125e1a9566e7d2233137ed3fa968539532125e"
|
|
14205
14665
|
},
|
|
14206
14666
|
{
|
|
14207
|
-
"definitionId": "proofkit.test-evidence-inventory.output.
|
|
14208
|
-
"schemaVersion":
|
|
14667
|
+
"definitionId": "proofkit.test-evidence-inventory.output.v2.root-shape",
|
|
14668
|
+
"schemaVersion": 2,
|
|
14209
14669
|
"rootType": "object",
|
|
14210
14670
|
"closed": true,
|
|
14211
14671
|
"definitionRefs": [],
|
|
@@ -14318,7 +14778,7 @@
|
|
|
14318
14778
|
}
|
|
14319
14779
|
]
|
|
14320
14780
|
},
|
|
14321
|
-
"canonicalDigest": "sha256:
|
|
14781
|
+
"canonicalDigest": "sha256:6688b487f1c9936dd1583ab0d90e689c75cae278b04bb431950b9979aba4efa7"
|
|
14322
14782
|
},
|
|
14323
14783
|
{
|
|
14324
14784
|
"definitionId": "proofkit.text-policy.input.v1.root-shape",
|