@research-engineering/agentic-proofkit 0.3.0 → 0.4.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.
Files changed (14) hide show
  1. package/dist/platform/darwin-arm64/agentic-proofkit +0 -0
  2. package/dist/platform/darwin-x64/agentic-proofkit +0 -0
  3. package/dist/platform/linux-arm64/agentic-proofkit +0 -0
  4. package/dist/platform/linux-x64/agentic-proofkit +0 -0
  5. package/docs/proofkit-contract-map.md +3 -3
  6. package/docs/release-process.md +10 -1
  7. package/docs/specs/proofkit-spec-proof-core/overview.md +22 -13
  8. package/docs/specs/proofkit-spec-proof-core/requirements.v1.json +16 -3
  9. package/docs/specs/proofkit-supply-chain-quality/overview.md +19 -15
  10. package/docs/specs/proofkit-supply-chain-quality/requirements.v1.json +3 -3
  11. package/package.json +1 -1
  12. package/proofkit/cli-contract.v2.json +251 -236
  13. package/proofkit/requirement-bindings.json +461 -2
  14. package/proofkit/witness-plan.json +9 -0
package/proofkit/cli-contract.v2.json CHANGED
@@ -126,15 +126,15 @@
126
126
  "--mode"
127
127
  ],
128
128
  "inputContract": {
129
- "contractId": "proofkit.adoption-contract-envelope.input.v1",
130
- "schemaVersion": 1,
129
+ "contractId": "proofkit.adoption-contract-envelope.input.v2",
130
+ "schemaVersion": 2,
131
131
  "rootType": "object",
132
132
  "closed": true,
133
- "rootDefinitionRef": "proofkit.adoption-contract-envelope.input.v1.root-shape",
134
- "rootDefinitionDigest": "sha256:d12d8f01e350c871af39a1f518f08a86f59c0893c5d161ed1b4fe644e7b30f9c",
133
+ "rootDefinitionRef": "proofkit.adoption-contract-envelope.input.v2.root-shape",
134
+ "rootDefinitionDigest": "sha256:98fd5df72714bf773f3b90ad675ddcd9b214454fa083012c28f59a1cf3241b77",
135
135
  "nativeSource": {
136
136
  "path": "internal/command/adoptioncontract",
137
- "canonicalDigest": "sha256:0f306d18075e903b0a9223b7ef4b5dbb8a56e20afdf49007edcbd1a3702c68a5",
137
+ "canonicalDigest": "sha256:167819db65616fcb8dec0e42ed91ee2f037db5d127ce1001db953ce683d2fd84",
138
138
  "evidenceClass": "source_checkout"
139
139
  },
140
140
  "nativeAdmissionWitnessSelector": {
@@ -144,8 +144,8 @@
144
144
  "evidenceClass": "source_checkout"
145
145
  },
146
146
  "compatibilitySummary": [
147
- "schemaVersion=1",
148
- "root-shape-only definition proofkit.adoption-contract-envelope.input.v1.root-shape; nested fields, types, and cardinalities are non-claims"
147
+ "schemaVersion=2",
148
+ "root-shape-only definition proofkit.adoption-contract-envelope.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
149
149
  ],
150
150
  "ownerRequirementRefs": [
151
151
  "REQ-PROOFKIT-PACKAGE-002",
@@ -162,7 +162,7 @@
162
162
  "rootDefinitionDigest": "sha256:6da2b641d38a05c97b6088bec7a38d8c9a76aa386eb101e48f9727bceae5cfa2",
163
163
  "nativeSource": {
164
164
  "path": "internal/command/adoptioncontract",
165
- "canonicalDigest": "sha256:0f306d18075e903b0a9223b7ef4b5dbb8a56e20afdf49007edcbd1a3702c68a5",
165
+ "canonicalDigest": "sha256:167819db65616fcb8dec0e42ed91ee2f037db5d127ce1001db953ce683d2fd84",
166
166
  "evidenceClass": "source_checkout"
167
167
  },
168
168
  "nativeOutputWitnessSelector": {
@@ -992,15 +992,15 @@
992
992
  "--format"
993
993
  ],
994
994
  "inputContract": {
995
- "contractId": "proofkit.conformance-profile.input.v1",
996
- "schemaVersion": 1,
995
+ "contractId": "proofkit.conformance-profile.input.v2",
996
+ "schemaVersion": 2,
997
997
  "rootType": "object",
998
998
  "closed": true,
999
- "rootDefinitionRef": "proofkit.conformance-profile.input.v1.root-shape",
1000
- "rootDefinitionDigest": "sha256:6ebc6e3ceac697a483cd713833fd038086d49ec11718b7d1d3a210b3aae6dd22",
999
+ "rootDefinitionRef": "proofkit.conformance-profile.input.v2.root-shape",
1000
+ "rootDefinitionDigest": "sha256:b343c1093476cd9f50970f58608e43c1a6ae681a2c06b17c217ab4f22ea454e5",
1001
1001
  "nativeSource": {
1002
1002
  "path": "internal/command/conformanceprofile",
1003
- "canonicalDigest": "sha256:5d71e7eea7501a11f5223c7626cddbf495b1c0fd16685d2432139b825bdef627",
1003
+ "canonicalDigest": "sha256:fba2ae58bf66cfc43834368dec84ca85abd11e08a541786dc59eafaf7628c322",
1004
1004
  "evidenceClass": "source_checkout"
1005
1005
  },
1006
1006
  "nativeAdmissionWitnessSelector": {
@@ -1010,8 +1010,8 @@
1010
1010
  "evidenceClass": "source_checkout"
1011
1011
  },
1012
1012
  "compatibilitySummary": [
1013
- "schemaVersion=1",
1014
- "root-shape-only definition proofkit.conformance-profile.input.v1.root-shape; nested fields, types, and cardinalities are non-claims"
1013
+ "schemaVersion=2",
1014
+ "root-shape-only definition proofkit.conformance-profile.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
1015
1015
  ],
1016
1016
  "ownerRequirementRefs": [
1017
1017
  "REQ-PROOFKIT-PACKAGE-002",
@@ -1019,15 +1019,15 @@
1019
1019
  ]
1020
1020
  },
1021
1021
  "outputContract": {
1022
- "contractId": "proofkit.conformance-profile.output.v1",
1023
- "schemaVersion": 1,
1022
+ "contractId": "proofkit.conformance-profile.output.v2",
1023
+ "schemaVersion": 2,
1024
1024
  "rootType": "object",
1025
1025
  "closed": true,
1026
- "rootDefinitionRef": "proofkit.conformance-profile.output.v1.root-shape",
1027
- "rootDefinitionDigest": "sha256:11ee54032e139a25dda80337509ab6633ed31e297f9bc7461769badb2f5e0e0d",
1026
+ "rootDefinitionRef": "proofkit.conformance-profile.output.v2.root-shape",
1027
+ "rootDefinitionDigest": "sha256:b3b1ed639969bba5213bb70e0a4ab9f86b69f180ad677ced78e600f87d55fb4f",
1028
1028
  "nativeSource": {
1029
1029
  "path": "internal/command/conformanceprofile",
1030
- "canonicalDigest": "sha256:5d71e7eea7501a11f5223c7626cddbf495b1c0fd16685d2432139b825bdef627",
1030
+ "canonicalDigest": "sha256:fba2ae58bf66cfc43834368dec84ca85abd11e08a541786dc59eafaf7628c322",
1031
1031
  "evidenceClass": "source_checkout"
1032
1032
  },
1033
1033
  "nativeOutputWitnessSelector": {
@@ -1037,8 +1037,8 @@
1037
1037
  "evidenceClass": "source_checkout"
1038
1038
  },
1039
1039
  "compatibilitySummary": [
1040
- "schemaVersion=1",
1041
- "root-shape-only definition proofkit.conformance-profile.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
1040
+ "schemaVersion=2",
1041
+ "root-shape-only definition proofkit.conformance-profile.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
1042
1042
  ],
1043
1043
  "ownerRequirementRefs": [
1044
1044
  "REQ-PROOFKIT-PACKAGE-002",
@@ -1276,7 +1276,7 @@
1276
1276
  "rootDefinitionDigest": "sha256:7ffe236ab203cf411dbfda6008ec8c10cc15691261031d4ed9ed90d81525dc12",
1277
1277
  "nativeSource": {
1278
1278
  "path": "internal/command/requirementbinding",
1279
- "canonicalDigest": "sha256:c1382a5e461974baf8e5a45d95e99552c241ea16590b1e1a781748c331cb5ffe",
1279
+ "canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
1280
1280
  "evidenceClass": "source_checkout"
1281
1281
  },
1282
1282
  "nativeAdmissionWitnessSelector": {
@@ -1304,7 +1304,7 @@
1304
1304
  "rootDefinitionDigest": "sha256:2be3545f9329bb4e4ba4971fc04bf5811959cf0087fd7ab3a7c2c8b45b8d714a",
1305
1305
  "nativeSource": {
1306
1306
  "path": "internal/command/requirementbinding",
1307
- "canonicalDigest": "sha256:c1382a5e461974baf8e5a45d95e99552c241ea16590b1e1a781748c331cb5ffe",
1307
+ "canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
1308
1308
  "evidenceClass": "source_checkout"
1309
1309
  },
1310
1310
  "nativeOutputWitnessSelector": {
@@ -1642,15 +1642,15 @@
1642
1642
  "--input-pointer"
1643
1643
  ],
1644
1644
  "inputContract": {
1645
- "contractId": "proofkit.impact.input.v1",
1646
- "schemaVersion": 1,
1645
+ "contractId": "proofkit.impact.input.v2",
1646
+ "schemaVersion": 2,
1647
1647
  "rootType": "object",
1648
1648
  "closed": true,
1649
- "rootDefinitionRef": "proofkit.impact.input.v1.root-shape",
1650
- "rootDefinitionDigest": "sha256:125e94c27e5de283c973643a90a95101f818545718d9cf12cf89a58d511c8cf1",
1649
+ "rootDefinitionRef": "proofkit.impact.input.v2.root-shape",
1650
+ "rootDefinitionDigest": "sha256:aa30fb2ab02bc74ef18f9cf599d319d06a44e374851c07f5d921e86654a42e57",
1651
1651
  "nativeSource": {
1652
1652
  "path": "internal/command/impact",
1653
- "canonicalDigest": "sha256:5acab1671cae3f05faf28519d08ecbc869be4043c2b10d196b6b6089b82dd4da",
1653
+ "canonicalDigest": "sha256:a3735158aab6ad0c6c8d5173cc07906b900165addb2a3a8b58eefe95a8abc365",
1654
1654
  "evidenceClass": "source_checkout"
1655
1655
  },
1656
1656
  "nativeAdmissionWitnessSelector": {
@@ -1660,8 +1660,8 @@
1660
1660
  "evidenceClass": "source_checkout"
1661
1661
  },
1662
1662
  "compatibilitySummary": [
1663
- "schemaVersion=1",
1664
- "root-shape-only definition proofkit.impact.input.v1.root-shape; nested fields, types, and cardinalities are non-claims"
1663
+ "schemaVersion=2",
1664
+ "root-shape-only definition proofkit.impact.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
1665
1665
  ],
1666
1666
  "ownerRequirementRefs": [
1667
1667
  "REQ-PROOFKIT-PACKAGE-002",
@@ -1669,15 +1669,15 @@
1669
1669
  ]
1670
1670
  },
1671
1671
  "outputContract": {
1672
- "contractId": "proofkit.impact.output.v1",
1673
- "schemaVersion": 1,
1672
+ "contractId": "proofkit.impact.output.v2",
1673
+ "schemaVersion": 2,
1674
1674
  "rootType": "object",
1675
1675
  "closed": true,
1676
- "rootDefinitionRef": "proofkit.impact.output.v1.root-shape",
1677
- "rootDefinitionDigest": "sha256:a979e09258d551c600da01624aab78353c1434bb92baf51e24b33ae6baa85044",
1676
+ "rootDefinitionRef": "proofkit.impact.output.v2.root-shape",
1677
+ "rootDefinitionDigest": "sha256:e6dacd55cace039ca8e24bdec628b1498d0c12bbfcdb60c46854ab2047c3f2d7",
1678
1678
  "nativeSource": {
1679
1679
  "path": "internal/command/impact",
1680
- "canonicalDigest": "sha256:5acab1671cae3f05faf28519d08ecbc869be4043c2b10d196b6b6089b82dd4da",
1680
+ "canonicalDigest": "sha256:a3735158aab6ad0c6c8d5173cc07906b900165addb2a3a8b58eefe95a8abc365",
1681
1681
  "evidenceClass": "source_checkout"
1682
1682
  },
1683
1683
  "nativeOutputWitnessSelector": {
@@ -1687,8 +1687,8 @@
1687
1687
  "evidenceClass": "source_checkout"
1688
1688
  },
1689
1689
  "compatibilitySummary": [
1690
- "schemaVersion=1",
1691
- "root-shape-only definition proofkit.impact.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
1690
+ "schemaVersion=2",
1691
+ "root-shape-only definition proofkit.impact.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
1692
1692
  ],
1693
1693
  "ownerRequirementRefs": [
1694
1694
  "REQ-PROOFKIT-PACKAGE-002",
@@ -2195,15 +2195,15 @@
2195
2195
  }
2196
2196
  ],
2197
2197
  "inputContract": {
2198
- "contractId": "proofkit.pilot-admission.input.v1",
2199
- "schemaVersion": 1,
2198
+ "contractId": "proofkit.pilot-admission.input.v2",
2199
+ "schemaVersion": 2,
2200
2200
  "rootType": "object",
2201
2201
  "closed": true,
2202
- "rootDefinitionRef": "proofkit.pilot-admission.input.v1.root-shape",
2203
- "rootDefinitionDigest": "sha256:984795f4b9c38763b001778fb2e072b0dc3e9eb6fac91b1ed966fd34382399c4",
2202
+ "rootDefinitionRef": "proofkit.pilot-admission.input.v2.root-shape",
2203
+ "rootDefinitionDigest": "sha256:e3f15bcf1927483bfda42ca49d7f6624c0d0fadac81ccab1266c1a6ae8f528f1",
2204
2204
  "nativeSource": {
2205
2205
  "path": "internal/command/pilotadmission",
2206
- "canonicalDigest": "sha256:bfb307fb7acea99f9ff9abf485416059f41c0330241bede17f20899b2d496a1b",
2206
+ "canonicalDigest": "sha256:439a7efece3c003b1463758f206b236ce261a2f566ec59b4bddd83f815035850",
2207
2207
  "evidenceClass": "source_checkout"
2208
2208
  },
2209
2209
  "nativeAdmissionWitnessSelector": {
@@ -2213,8 +2213,8 @@
2213
2213
  "evidenceClass": "source_checkout"
2214
2214
  },
2215
2215
  "compatibilitySummary": [
2216
- "schemaVersion=1",
2217
- "root-shape-only definition proofkit.pilot-admission.input.v1.root-shape; nested fields, types, and cardinalities are non-claims"
2216
+ "schemaVersion=2",
2217
+ "root-shape-only definition proofkit.pilot-admission.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
2218
2218
  ],
2219
2219
  "ownerRequirementRefs": [
2220
2220
  "REQ-PROOFKIT-PACKAGE-002",
@@ -2231,12 +2231,12 @@
2231
2231
  "nativeSources": [
2232
2232
  {
2233
2233
  "path": "internal/app",
2234
- "canonicalDigest": "sha256:b106e4c87900417f84f8bd999ddc67ac1d47bc54c2cb0bcb0e85993433761c82",
2234
+ "canonicalDigest": "sha256:6e888333db0edc8a6eaeb91dad38b876f0bbee22a43c1bd2424e155e5a58dc88",
2235
2235
  "evidenceClass": "source_checkout"
2236
2236
  },
2237
2237
  {
2238
2238
  "path": "internal/command/pilotadmission",
2239
- "canonicalDigest": "sha256:bfb307fb7acea99f9ff9abf485416059f41c0330241bede17f20899b2d496a1b",
2239
+ "canonicalDigest": "sha256:439a7efece3c003b1463758f206b236ce261a2f566ec59b4bddd83f815035850",
2240
2240
  "evidenceClass": "source_checkout"
2241
2241
  }
2242
2242
  ],
@@ -2486,7 +2486,7 @@
2486
2486
  "rootDefinitionDigest": "sha256:71914c95c70dbace0ebce1dc4609624e3b91c994cd8c5adc20ed84d4200f0ac9",
2487
2487
  "nativeSource": {
2488
2488
  "path": "internal/command/requirementbinding",
2489
- "canonicalDigest": "sha256:c1382a5e461974baf8e5a45d95e99552c241ea16590b1e1a781748c331cb5ffe",
2489
+ "canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
2490
2490
  "evidenceClass": "source_checkout"
2491
2491
  },
2492
2492
  "nativeAdmissionWitnessSelector": {
@@ -2514,7 +2514,7 @@
2514
2514
  "rootDefinitionDigest": "sha256:5fbdf25c90a2020525f97453c9d9fe5a774fe0e2eacf00d1b2aea3ff5f4fa0f0",
2515
2515
  "nativeSource": {
2516
2516
  "path": "internal/command/requirementbinding",
2517
- "canonicalDigest": "sha256:c1382a5e461974baf8e5a45d95e99552c241ea16590b1e1a781748c331cb5ffe",
2517
+ "canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
2518
2518
  "evidenceClass": "source_checkout"
2519
2519
  },
2520
2520
  "nativeOutputWitnessSelector": {
@@ -3266,7 +3266,7 @@
3266
3266
  "rootDefinitionDigest": "sha256:e7da70a2267f2ca13771e864bba6a1a0416132c2d56decb5db9f9694de021daf",
3267
3267
  "nativeSource": {
3268
3268
  "path": "internal/command/requirementbinding",
3269
- "canonicalDigest": "sha256:c1382a5e461974baf8e5a45d95e99552c241ea16590b1e1a781748c331cb5ffe",
3269
+ "canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
3270
3270
  "evidenceClass": "source_checkout"
3271
3271
  },
3272
3272
  "nativeAdmissionWitnessSelector": {
@@ -3294,7 +3294,7 @@
3294
3294
  "rootDefinitionDigest": "sha256:f31dd686f28fce4bf74265b557dc25428179cbc282753b4bea01439cd98f73c2",
3295
3295
  "nativeSource": {
3296
3296
  "path": "internal/command/requirementbinding",
3297
- "canonicalDigest": "sha256:c1382a5e461974baf8e5a45d95e99552c241ea16590b1e1a781748c331cb5ffe",
3297
+ "canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
3298
3298
  "evidenceClass": "source_checkout"
3299
3299
  },
3300
3300
  "nativeOutputWitnessSelector": {
@@ -3450,7 +3450,7 @@
3450
3450
  }
3451
3451
  ],
3452
3452
  "inputContract": {
3453
- "schemaVersion": 2,
3453
+ "schemaVersion": 3,
3454
3454
  "workspaceRequiredFields": [
3455
3455
  "context",
3456
3456
  "schemaVersion",
@@ -3475,11 +3475,11 @@
3475
3475
  "view": "workspace"
3476
3476
  },
3477
3477
  "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.v2",
3478
+ "contractId": "proofkit.requirement-browser-server.input.v3",
3479
3479
  "rootType": "object",
3480
3480
  "closed": true,
3481
- "rootDefinitionRef": "proofkit.requirement-browser-server.input.v2.root-shape",
3482
- "rootDefinitionDigest": "sha256:50a7bb1b477b6067d410cf22db7e7564a9742aa7f6a270642149d372f0156007",
3481
+ "rootDefinitionRef": "proofkit.requirement-browser-server.input.v3.root-shape",
3482
+ "rootDefinitionDigest": "sha256:e6af5b9edb1284ab2ff2f1a276a6b924127b99810cd9446bffbc971f638a0997",
3483
3483
  "nativeSource": {
3484
3484
  "path": "internal/command/requirementbrowser",
3485
3485
  "canonicalDigest": "sha256:df4d6ca7f6f08342e48e44dad7cfbbcb25869c039814efd875e6435b4aeefa33",
@@ -3501,7 +3501,7 @@
3501
3501
  "one-shot-question requires --view workspace --serve --open",
3502
3502
  "--session-timeout-seconds is 1..7200 and requires one-shot-question",
3503
3503
  "source|proof|coverage|spec-tree modes retain their owner input contracts",
3504
- "root-shape-only definition proofkit.requirement-browser-server.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
3504
+ "root-shape-only definition proofkit.requirement-browser-server.input.v3.root-shape; nested fields, types, and cardinalities are non-claims"
3505
3505
  ],
3506
3506
  "ownerRequirementRefs": [
3507
3507
  "REQ-PROOFKIT-PACKAGE-002",
@@ -3728,8 +3728,8 @@
3728
3728
  "--input-pointer"
3729
3729
  ],
3730
3730
  "inputContract": {
3731
- "contractId": "proofkit.requirement-coverage-input-compose.input.v1",
3732
- "schemaVersion": 1,
3731
+ "contractId": "proofkit.requirement-coverage-input-compose.input.v2",
3732
+ "schemaVersion": 2,
3733
3733
  "authority": "requirement coverage input compose input contract",
3734
3734
  "commonRequiredFields": [
3735
3735
  "coverageUniverse",
@@ -3775,11 +3775,11 @@
3775
3775
  ],
3776
3776
  "rootType": "object",
3777
3777
  "closed": true,
3778
- "rootDefinitionRef": "proofkit.requirement-coverage-input-compose.input.v1.root-shape",
3779
- "rootDefinitionDigest": "sha256:06fa8d0a592549cebdea1d7b9d428e090de7b57e265dbc263699b28dbe6eede8",
3778
+ "rootDefinitionRef": "proofkit.requirement-coverage-input-compose.input.v2.root-shape",
3779
+ "rootDefinitionDigest": "sha256:f6300d6d0f80f5066fe4079433978132ee2bb1df75e602e59cf3dc37a385d3ce",
3780
3780
  "nativeSource": {
3781
3781
  "path": "internal/command/requirementcoverageinput",
3782
- "canonicalDigest": "sha256:bed47612a7a300b548f78fae3011282cd09caae98e9ad13628c5602cf364747a",
3782
+ "canonicalDigest": "sha256:4c10b1cd675af7d7753bb72a44fca1bb9a568bcd4d3733ee1907e6c4e22757f8",
3783
3783
  "evidenceClass": "source_checkout"
3784
3784
  },
3785
3785
  "nativeAdmissionWitnessSelector": {
@@ -3789,8 +3789,8 @@
3789
3789
  "evidenceClass": "source_checkout"
3790
3790
  },
3791
3791
  "compatibilitySummary": [
3792
- "schemaVersion=1",
3793
- "root-shape-only definition proofkit.requirement-coverage-input-compose.input.v1.root-shape; nested fields, types, and cardinalities are non-claims"
3792
+ "schemaVersion=2",
3793
+ "root-shape-only definition proofkit.requirement-coverage-input-compose.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
3794
3794
  ],
3795
3795
  "ownerRequirementRefs": [
3796
3796
  "REQ-PROOFKIT-PACKAGE-002",
@@ -3799,8 +3799,8 @@
3799
3799
  ]
3800
3800
  },
3801
3801
  "outputContract": {
3802
- "contractId": "proofkit.requirement-coverage-input-compose.output.v1",
3803
- "schemaVersion": 1,
3802
+ "contractId": "proofkit.requirement-coverage-input-compose.output.v2",
3803
+ "schemaVersion": 2,
3804
3804
  "authority": "requirement coverage input compose output contract",
3805
3805
  "requiredFields": [
3806
3806
  "compactProofContract",
@@ -3823,11 +3823,11 @@
3823
3823
  ],
3824
3824
  "rootType": "object",
3825
3825
  "closed": true,
3826
- "rootDefinitionRef": "proofkit.requirement-coverage-input-compose.output.v1.root-shape",
3827
- "rootDefinitionDigest": "sha256:7e913a998ba47601fd054dbec429d96cb2a546c8925d311f45aca86f1e038bec",
3826
+ "rootDefinitionRef": "proofkit.requirement-coverage-input-compose.output.v2.root-shape",
3827
+ "rootDefinitionDigest": "sha256:0f264c996a058fb8aff102e42b95a4610d3a584b35687cc870b3d16c9589cfed",
3828
3828
  "nativeSource": {
3829
3829
  "path": "internal/command/requirementcoverageinput",
3830
- "canonicalDigest": "sha256:bed47612a7a300b548f78fae3011282cd09caae98e9ad13628c5602cf364747a",
3830
+ "canonicalDigest": "sha256:4c10b1cd675af7d7753bb72a44fca1bb9a568bcd4d3733ee1907e6c4e22757f8",
3831
3831
  "evidenceClass": "source_checkout"
3832
3832
  },
3833
3833
  "nativeOutputWitnessSelector": {
@@ -3847,7 +3847,7 @@
3847
3847
  "schemaVersion",
3848
3848
  "testEvidenceInventory",
3849
3849
  "viewInputId",
3850
- "root-shape-only definition proofkit.requirement-coverage-input-compose.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
3850
+ "root-shape-only definition proofkit.requirement-coverage-input-compose.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
3851
3851
  ],
3852
3852
  "ownerRequirementRefs": [
3853
3853
  "REQ-PROOFKIT-PACKAGE-002",
@@ -3878,8 +3878,8 @@
3878
3878
  "--format"
3879
3879
  ],
3880
3880
  "outputContract": {
3881
- "contractId": "proofkit.requirement-coverage-view.output.v2",
3882
- "schemaVersion": 2,
3881
+ "contractId": "proofkit.requirement-coverage-view.output.v3",
3882
+ "schemaVersion": 3,
3883
3883
  "authority": "requirement coverage view output contract",
3884
3884
  "classificationRecords": {
3885
3885
  "failureClassifications": {
@@ -3920,11 +3920,11 @@
3920
3920
  ],
3921
3921
  "rootType": "object",
3922
3922
  "closed": true,
3923
- "rootDefinitionRef": "proofkit.requirement-coverage-view.output.v2.root-shape",
3924
- "rootDefinitionDigest": "sha256:71a3a1245159e03eb3f81e2b117e1d1690c99e7e84625670a1fd42530b53684c",
3923
+ "rootDefinitionRef": "proofkit.requirement-coverage-view.output.v3.root-shape",
3924
+ "rootDefinitionDigest": "sha256:2365e4778d6c24c0af9507ce93bfba0a89c4ba9ece8da1c5b25b4581d6b80fa1",
3925
3925
  "nativeSource": {
3926
3926
  "path": "internal/command/requirementcoverageview",
3927
- "canonicalDigest": "sha256:a6f804ad55b0101c934c782468c217ab8f3ce0cc42828975fbc35621bd43bc97",
3927
+ "canonicalDigest": "sha256:5a60148d843025a2ad7a2b72566792778120fc7979c5ec9c9db8dcac42e7dffd",
3928
3928
  "evidenceClass": "source_checkout"
3929
3929
  },
3930
3930
  "nativeOutputWitnessSelector": {
@@ -3941,7 +3941,7 @@
3941
3941
  "state",
3942
3942
  "warningClassifications",
3943
3943
  "warnings",
3944
- "root-shape-only definition proofkit.requirement-coverage-view.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
3944
+ "root-shape-only definition proofkit.requirement-coverage-view.output.v3.root-shape; nested fields, types, and cardinalities are non-claims"
3945
3945
  ],
3946
3946
  "ownerRequirementRefs": [
3947
3947
  "REQ-PROOFKIT-PACKAGE-002",
@@ -3950,15 +3950,15 @@
3950
3950
  ]
3951
3951
  },
3952
3952
  "inputContract": {
3953
- "contractId": "proofkit.requirement-coverage-view.input.v1",
3954
- "schemaVersion": 1,
3953
+ "contractId": "proofkit.requirement-coverage-view.input.v2",
3954
+ "schemaVersion": 2,
3955
3955
  "rootType": "object",
3956
3956
  "closed": true,
3957
- "rootDefinitionRef": "proofkit.requirement-coverage-view.input.v1.root-shape",
3958
- "rootDefinitionDigest": "sha256:b5ddab0a55a381f002b39ece0f5727171f7984856e553200bbb62a49821ff6ac",
3957
+ "rootDefinitionRef": "proofkit.requirement-coverage-view.input.v2.root-shape",
3958
+ "rootDefinitionDigest": "sha256:f42c9218c861b1e30ec3692fa0097da393e36eea2049d4aac1a05a8b0a40d81d",
3959
3959
  "nativeSource": {
3960
3960
  "path": "internal/command/requirementcoverageview",
3961
- "canonicalDigest": "sha256:a6f804ad55b0101c934c782468c217ab8f3ce0cc42828975fbc35621bd43bc97",
3961
+ "canonicalDigest": "sha256:5a60148d843025a2ad7a2b72566792778120fc7979c5ec9c9db8dcac42e7dffd",
3962
3962
  "evidenceClass": "source_checkout"
3963
3963
  },
3964
3964
  "nativeAdmissionWitnessSelector": {
@@ -3968,8 +3968,8 @@
3968
3968
  "evidenceClass": "source_checkout"
3969
3969
  },
3970
3970
  "compatibilitySummary": [
3971
- "schemaVersion=1",
3972
- "root-shape-only definition proofkit.requirement-coverage-view.input.v1.root-shape; nested fields, types, and cardinalities are non-claims"
3971
+ "schemaVersion=2",
3972
+ "root-shape-only definition proofkit.requirement-coverage-view.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
3973
3973
  ],
3974
3974
  "ownerRequirementRefs": [
3975
3975
  "REQ-PROOFKIT-PACKAGE-002",
@@ -3992,15 +3992,15 @@
3992
3992
  "--input-pointer"
3993
3993
  ],
3994
3994
  "outputContract": {
3995
- "contractId": "proofkit.requirement-impact-input-compose.output.v1",
3996
- "schemaVersion": 1,
3995
+ "contractId": "proofkit.requirement-impact-input-compose.output.v2",
3996
+ "schemaVersion": 2,
3997
3997
  "authority": "requirement impact input compose output contract",
3998
3998
  "requiredFields": [
3999
3999
  "baseCommit",
4000
4000
  "baseRef",
4001
4001
  "changedBindingRecordIds",
4002
4002
  "changedPaths",
4003
- "changedRecordIds",
4003
+ "changedRequirementIds",
4004
4004
  "changedWitnessPathCoverage",
4005
4005
  "generatedArtifactRules",
4006
4006
  "headCommit",
@@ -4020,11 +4020,11 @@
4020
4020
  ],
4021
4021
  "rootType": "object",
4022
4022
  "closed": true,
4023
- "rootDefinitionRef": "proofkit.requirement-impact-input-compose.output.v1.root-shape",
4024
- "rootDefinitionDigest": "sha256:9fd57d299d4e76bb3b0bf10f313a8dd9bfd593b8d15fa4844d5e342c4d929ee9",
4023
+ "rootDefinitionRef": "proofkit.requirement-impact-input-compose.output.v2.root-shape",
4024
+ "rootDefinitionDigest": "sha256:68a5ab234566459ce56772aac9a5c5b471647753390dbc1c2a62cabf0f489ef2",
4025
4025
  "nativeSource": {
4026
4026
  "path": "internal/command/requirementimpactinput",
4027
- "canonicalDigest": "sha256:f45499ce46858ba03325cc52875b10181d9a190244ca21471b651a122a890636",
4027
+ "canonicalDigest": "sha256:28ab57ec44b4b4190db3c3ff50358c5cebdd36b625d1cfa07492fe9dac63f6e3",
4028
4028
  "evidenceClass": "source_checkout"
4029
4029
  },
4030
4030
  "nativeOutputWitnessSelector": {
@@ -4038,7 +4038,7 @@
4038
4038
  "baseRef",
4039
4039
  "changedBindingRecordIds",
4040
4040
  "changedPaths",
4041
- "changedRecordIds",
4041
+ "changedRequirementIds",
4042
4042
  "changedWitnessPathCoverage",
4043
4043
  "generatedArtifactRules",
4044
4044
  "headCommit",
@@ -4049,7 +4049,7 @@
4049
4049
  "preexistingFailures",
4050
4050
  "proofLikePaths",
4051
4051
  "schemaVersion",
4052
- "root-shape-only definition proofkit.requirement-impact-input-compose.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
4052
+ "root-shape-only definition proofkit.requirement-impact-input-compose.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
4053
4053
  ],
4054
4054
  "ownerRequirementRefs": [
4055
4055
  "REQ-PROOFKIT-PACKAGE-002",
@@ -4058,15 +4058,15 @@
4058
4058
  ]
4059
4059
  },
4060
4060
  "inputContract": {
4061
- "contractId": "proofkit.requirement-impact-input-compose.input.v1",
4062
- "schemaVersion": 1,
4061
+ "contractId": "proofkit.requirement-impact-input-compose.input.v2",
4062
+ "schemaVersion": 2,
4063
4063
  "rootType": "object",
4064
4064
  "closed": true,
4065
- "rootDefinitionRef": "proofkit.requirement-impact-input-compose.input.v1.root-shape",
4066
- "rootDefinitionDigest": "sha256:e6af8f427f781395710407a87bfd5fa91a0b3c8aaaee437c2487472a243b22a6",
4065
+ "rootDefinitionRef": "proofkit.requirement-impact-input-compose.input.v2.root-shape",
4066
+ "rootDefinitionDigest": "sha256:1ca9c341fecac869c675302fc547865674bb42605b7ed66b3733e3db15e85150",
4067
4067
  "nativeSource": {
4068
4068
  "path": "internal/command/requirementimpactinput",
4069
- "canonicalDigest": "sha256:f45499ce46858ba03325cc52875b10181d9a190244ca21471b651a122a890636",
4069
+ "canonicalDigest": "sha256:28ab57ec44b4b4190db3c3ff50358c5cebdd36b625d1cfa07492fe9dac63f6e3",
4070
4070
  "evidenceClass": "source_checkout"
4071
4071
  },
4072
4072
  "nativeAdmissionWitnessSelector": {
@@ -4076,8 +4076,8 @@
4076
4076
  "evidenceClass": "source_checkout"
4077
4077
  },
4078
4078
  "compatibilitySummary": [
4079
- "schemaVersion=1",
4080
- "root-shape-only definition proofkit.requirement-impact-input-compose.input.v1.root-shape; nested fields, types, and cardinalities are non-claims"
4079
+ "schemaVersion=2",
4080
+ "root-shape-only definition proofkit.requirement-impact-input-compose.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
4081
4081
  ],
4082
4082
  "ownerRequirementRefs": [
4083
4083
  "REQ-PROOFKIT-PACKAGE-002",
@@ -4108,15 +4108,15 @@
4108
4108
  ]
4109
4109
  ],
4110
4110
  "inputContract": {
4111
- "contractId": "proofkit.requirement-proof-resolver.input.v1",
4112
- "schemaVersion": 1,
4111
+ "contractId": "proofkit.requirement-proof-resolver.input.v2",
4112
+ "schemaVersion": 2,
4113
4113
  "rootType": "object",
4114
4114
  "closed": true,
4115
- "rootDefinitionRef": "proofkit.requirement-proof-resolver.input.v1.root-shape",
4116
- "rootDefinitionDigest": "sha256:68ade17ac7e9fb3496ad0e7ea8ae9fbcf734afa4e6b8a44442e1af3c4f87bf15",
4115
+ "rootDefinitionRef": "proofkit.requirement-proof-resolver.input.v2.root-shape",
4116
+ "rootDefinitionDigest": "sha256:a9004b9ddd9f4109326bfc233e6d4629090373d8651488b6663328273826952d",
4117
4117
  "nativeSource": {
4118
4118
  "path": "internal/command/requirementbinding",
4119
- "canonicalDigest": "sha256:c1382a5e461974baf8e5a45d95e99552c241ea16590b1e1a781748c331cb5ffe",
4119
+ "canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
4120
4120
  "evidenceClass": "source_checkout"
4121
4121
  },
4122
4122
  "nativeAdmissionWitnessSelector": {
@@ -4126,8 +4126,8 @@
4126
4126
  "evidenceClass": "source_checkout"
4127
4127
  },
4128
4128
  "compatibilitySummary": [
4129
- "schemaVersion=1",
4130
- "root-shape-only definition proofkit.requirement-proof-resolver.input.v1.root-shape; nested fields, types, and cardinalities are non-claims"
4129
+ "schemaVersion=2",
4130
+ "root-shape-only definition proofkit.requirement-proof-resolver.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
4131
4131
  ],
4132
4132
  "ownerRequirementRefs": [
4133
4133
  "REQ-PROOFKIT-PACKAGE-002",
@@ -4135,15 +4135,15 @@
4135
4135
  ]
4136
4136
  },
4137
4137
  "outputContract": {
4138
- "contractId": "proofkit.requirement-proof-resolver.output.v1",
4139
- "schemaVersion": 1,
4138
+ "contractId": "proofkit.requirement-proof-resolver.output.v2",
4139
+ "schemaVersion": 2,
4140
4140
  "rootType": "object",
4141
4141
  "closed": true,
4142
- "rootDefinitionRef": "proofkit.requirement-proof-resolver.output.v1.root-shape",
4143
- "rootDefinitionDigest": "sha256:750c75c08376a986a18e8739b7476d58af4133c19c40f43d216ee009607be225",
4142
+ "rootDefinitionRef": "proofkit.requirement-proof-resolver.output.v2.root-shape",
4143
+ "rootDefinitionDigest": "sha256:42bbed6d902300afd15cf763e164896f9ac05567a67fa62a50801d9e90bc4e05",
4144
4144
  "nativeSource": {
4145
4145
  "path": "internal/command/requirementbinding",
4146
- "canonicalDigest": "sha256:c1382a5e461974baf8e5a45d95e99552c241ea16590b1e1a781748c331cb5ffe",
4146
+ "canonicalDigest": "sha256:ded6cdd4f6a6f12b7cf2b75e08f58e3960c6d51e7e0c7516b92750d239976aec",
4147
4147
  "evidenceClass": "source_checkout"
4148
4148
  },
4149
4149
  "nativeOutputWitnessSelector": {
@@ -4153,8 +4153,8 @@
4153
4153
  "evidenceClass": "source_checkout"
4154
4154
  },
4155
4155
  "compatibilitySummary": [
4156
- "schemaVersion=1",
4157
- "root-shape-only definition proofkit.requirement-proof-resolver.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
4156
+ "schemaVersion=2",
4157
+ "root-shape-only definition proofkit.requirement-proof-resolver.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
4158
4158
  ],
4159
4159
  "ownerRequirementRefs": [
4160
4160
  "REQ-PROOFKIT-PACKAGE-002",
@@ -4176,11 +4176,12 @@
4176
4176
  "--input-pointer"
4177
4177
  ],
4178
4178
  "inputContract": {
4179
- "contractId": "proofkit.requirement-proof-source-set.input.v1",
4180
- "schemaVersion": 1,
4179
+ "contractId": "proofkit.requirement-proof-source-set.input.v2",
4180
+ "schemaVersion": 2,
4181
4181
  "authority": "requirement proof source-set input admission",
4182
4182
  "requiredFields": [
4183
4183
  "canonicalEnvelope",
4184
+ "schemaVersion",
4184
4185
  "sourceSet",
4185
4186
  "sources"
4186
4187
  ],
@@ -4210,11 +4211,11 @@
4210
4211
  ],
4211
4212
  "rootType": "object",
4212
4213
  "closed": true,
4213
- "rootDefinitionRef": "proofkit.requirement-proof-source-set.input.v1.root-shape",
4214
- "rootDefinitionDigest": "sha256:cd406c4aba90faa0fa2b132d4c50af85578ec79a6ad1d89bc997ea027d6def05",
4214
+ "rootDefinitionRef": "proofkit.requirement-proof-source-set.input.v2.root-shape",
4215
+ "rootDefinitionDigest": "sha256:9b38b93e0b8a2ba2b72e32d606d3cb2372fa685c9a702ae31ae42437945f2eb0",
4215
4216
  "nativeSource": {
4216
4217
  "path": "internal/command/requirementproofsourceset",
4217
- "canonicalDigest": "sha256:bd5377b5ec6b2a5a506e2702ed8dacb9a25908aa9f63002a4cf88f63f4641ba7",
4218
+ "canonicalDigest": "sha256:9acea8f3fdb09a6297d715d86a5d796209c8def51a24fa96b96dc780c38f97d1",
4218
4219
  "evidenceClass": "source_checkout"
4219
4220
  },
4220
4221
  "nativeAdmissionWitnessSelector": {
@@ -4225,9 +4226,10 @@
4225
4226
  },
4226
4227
  "compatibilitySummary": [
4227
4228
  "canonicalEnvelope",
4229
+ "schemaVersion",
4228
4230
  "sourceSet",
4229
4231
  "sources",
4230
- "root-shape-only definition proofkit.requirement-proof-source-set.input.v1.root-shape; nested fields, types, and cardinalities are non-claims"
4232
+ "root-shape-only definition proofkit.requirement-proof-source-set.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
4231
4233
  ],
4232
4234
  "ownerRequirementRefs": [
4233
4235
  "REQ-PROOFKIT-PACKAGE-002",
@@ -4236,11 +4238,12 @@
4236
4238
  ]
4237
4239
  },
4238
4240
  "outputContract": {
4239
- "contractId": "proofkit.requirement-proof-source-set.output.v1",
4240
- "schemaVersion": 1,
4241
+ "contractId": "proofkit.requirement-proof-source-set.output.v2",
4242
+ "schemaVersion": 2,
4241
4243
  "commonFields": [
4242
4244
  "inputPaths",
4243
4245
  "projectionKind",
4246
+ "schemaVersion",
4244
4247
  "selectedSourceIds",
4245
4248
  "sourceCount",
4246
4249
  "sourceSetCount"
@@ -4260,11 +4263,11 @@
4260
4263
  ],
4261
4264
  "rootType": "object",
4262
4265
  "closed": true,
4263
- "rootDefinitionRef": "proofkit.requirement-proof-source-set.output.v1.root-shape",
4264
- "rootDefinitionDigest": "sha256:57993914adfd60d6cc1a66bfef0b6a4c3c0162fd102f2629d497a28e839f1228",
4266
+ "rootDefinitionRef": "proofkit.requirement-proof-source-set.output.v2.root-shape",
4267
+ "rootDefinitionDigest": "sha256:ed81d03ea6ea56fd9ba12c48995111e8a90a8c1feb336fe95be195b25ccc0254",
4265
4268
  "nativeSource": {
4266
4269
  "path": "internal/command/requirementproofsourceset",
4267
- "canonicalDigest": "sha256:bd5377b5ec6b2a5a506e2702ed8dacb9a25908aa9f63002a4cf88f63f4641ba7",
4270
+ "canonicalDigest": "sha256:9acea8f3fdb09a6297d715d86a5d796209c8def51a24fa96b96dc780c38f97d1",
4268
4271
  "evidenceClass": "source_checkout"
4269
4272
  },
4270
4273
  "nativeOutputWitnessSelector": {
@@ -4274,8 +4277,8 @@
4274
4277
  "evidenceClass": "source_checkout"
4275
4278
  },
4276
4279
  "compatibilitySummary": [
4277
- "schemaVersion=1",
4278
- "root-shape-only definition proofkit.requirement-proof-source-set.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
4280
+ "schemaVersion=2",
4281
+ "root-shape-only definition proofkit.requirement-proof-source-set.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
4279
4282
  ],
4280
4283
  "ownerRequirementRefs": [
4281
4284
  "REQ-PROOFKIT-PACKAGE-002",
@@ -4307,15 +4310,15 @@
4307
4310
  "--format"
4308
4311
  ],
4309
4312
  "inputContract": {
4310
- "contractId": "proofkit.requirement-proof-view.input.v1",
4311
- "schemaVersion": 1,
4313
+ "contractId": "proofkit.requirement-proof-view.input.v2",
4314
+ "schemaVersion": 2,
4312
4315
  "rootType": "object",
4313
4316
  "closed": true,
4314
- "rootDefinitionRef": "proofkit.requirement-proof-view.input.v1.root-shape",
4315
- "rootDefinitionDigest": "sha256:5aed3bcb99337d4937243d61d1f8ed1b1b358108a7710152221bfd5961a3aeb7",
4317
+ "rootDefinitionRef": "proofkit.requirement-proof-view.input.v2.root-shape",
4318
+ "rootDefinitionDigest": "sha256:998efcaf322251ec9ff402cbf8f4db84f981aca3c24bd2071c0c302ddcca5490",
4316
4319
  "nativeSource": {
4317
4320
  "path": "internal/command/requirementproofview",
4318
- "canonicalDigest": "sha256:ab2902ef8c5bc19d8d084b8fa355dbab09cae61eecf6bbe6946d882b73f9b687",
4321
+ "canonicalDigest": "sha256:f71d93a5e3c434f8cefdc18a92cc1360400555351597bfaf7c0cc7a360b79444",
4319
4322
  "evidenceClass": "source_checkout"
4320
4323
  },
4321
4324
  "nativeAdmissionWitnessSelector": {
@@ -4325,8 +4328,8 @@
4325
4328
  "evidenceClass": "source_checkout"
4326
4329
  },
4327
4330
  "compatibilitySummary": [
4328
- "schemaVersion=1",
4329
- "root-shape-only definition proofkit.requirement-proof-view.input.v1.root-shape; nested fields, types, and cardinalities are non-claims"
4331
+ "schemaVersion=2",
4332
+ "root-shape-only definition proofkit.requirement-proof-view.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
4330
4333
  ],
4331
4334
  "ownerRequirementRefs": [
4332
4335
  "REQ-PROOFKIT-PACKAGE-002",
@@ -4334,15 +4337,15 @@
4334
4337
  ]
4335
4338
  },
4336
4339
  "outputContract": {
4337
- "contractId": "proofkit.requirement-proof-view.output.v1",
4338
- "schemaVersion": 1,
4340
+ "contractId": "proofkit.requirement-proof-view.output.v2",
4341
+ "schemaVersion": 2,
4339
4342
  "rootType": "object",
4340
4343
  "closed": true,
4341
- "rootDefinitionRef": "proofkit.requirement-proof-view.output.v1.root-shape",
4342
- "rootDefinitionDigest": "sha256:d1da2a4593aa2f4a1531e1a5be8e3bc877a5ff45f978b7f39a0bf708b01cb564",
4344
+ "rootDefinitionRef": "proofkit.requirement-proof-view.output.v2.root-shape",
4345
+ "rootDefinitionDigest": "sha256:3dd563fd6eaedc12994b16234f72228b76fd1155e29033ca1b027fe1e0289d19",
4343
4346
  "nativeSource": {
4344
4347
  "path": "internal/command/requirementproofview",
4345
- "canonicalDigest": "sha256:ab2902ef8c5bc19d8d084b8fa355dbab09cae61eecf6bbe6946d882b73f9b687",
4348
+ "canonicalDigest": "sha256:f71d93a5e3c434f8cefdc18a92cc1360400555351597bfaf7c0cc7a360b79444",
4346
4349
  "evidenceClass": "source_checkout"
4347
4350
  },
4348
4351
  "nativeOutputWitnessSelector": {
@@ -4352,8 +4355,8 @@
4352
4355
  "evidenceClass": "source_checkout"
4353
4356
  },
4354
4357
  "compatibilitySummary": [
4355
- "schemaVersion=1",
4356
- "root-shape-only definition proofkit.requirement-proof-view.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
4358
+ "schemaVersion=2",
4359
+ "root-shape-only definition proofkit.requirement-proof-view.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
4357
4360
  ],
4358
4361
  "ownerRequirementRefs": [
4359
4362
  "REQ-PROOFKIT-PACKAGE-002",
@@ -5470,7 +5473,7 @@
5470
5473
  "rootDefinitionDigest": "sha256:3c842174dff5361e7f83166469b832805e05aa314b073c16234b5b64e346281e",
5471
5474
  "nativeSource": {
5472
5475
  "path": "internal/app",
5473
- "canonicalDigest": "sha256:b106e4c87900417f84f8bd999ddc67ac1d47bc54c2cb0bcb0e85993433761c82",
5476
+ "canonicalDigest": "sha256:6e888333db0edc8a6eaeb91dad38b876f0bbee22a43c1bd2424e155e5a58dc88",
5474
5477
  "evidenceClass": "source_checkout"
5475
5478
  },
5476
5479
  "nativeAdmissionWitnessSelector": {
@@ -5499,7 +5502,7 @@
5499
5502
  "rootDefinitionDigest": "sha256:0ea95e277ebe44cd2de42c29b47c38686ac0b6b390d8965367437b3fe138e209",
5500
5503
  "nativeSource": {
5501
5504
  "path": "internal/app",
5502
- "canonicalDigest": "sha256:b106e4c87900417f84f8bd999ddc67ac1d47bc54c2cb0bcb0e85993433761c82",
5505
+ "canonicalDigest": "sha256:6e888333db0edc8a6eaeb91dad38b876f0bbee22a43c1bd2424e155e5a58dc88",
5503
5506
  "evidenceClass": "source_checkout"
5504
5507
  },
5505
5508
  "nativeOutputWitnessSelector": {
@@ -5739,8 +5742,8 @@
5739
5742
  "--projection"
5740
5743
  ],
5741
5744
  "inputContract": {
5742
- "contractId": "proofkit.test-evidence-inventory.input.v1",
5743
- "schemaVersion": 1,
5745
+ "contractId": "proofkit.test-evidence-inventory.input.v2",
5746
+ "schemaVersion": 2,
5744
5747
  "authority": "test evidence inventory admission and projection admission",
5745
5748
  "projectionVariants": {
5746
5749
  "discovery-draft": {
@@ -5816,7 +5819,7 @@
5816
5819
  },
5817
5820
  "schemaVersion": {
5818
5821
  "required": true,
5819
- "value": 1
5822
+ "value": 2
5820
5823
  }
5821
5824
  },
5822
5825
  "candidateOutput": {
@@ -5840,17 +5843,17 @@
5840
5843
  ],
5841
5844
  "rootType": "object",
5842
5845
  "closed": true,
5843
- "rootDefinitionRef": "proofkit.test-evidence-inventory.input.v1.root-shape",
5844
- "rootDefinitionDigest": "sha256:4006bfcaab9bd8cb781595aa14f48768cbee996f5e866757fa73be1c9938fa98",
5846
+ "rootDefinitionRef": "proofkit.test-evidence-inventory.input.v2.root-shape",
5847
+ "rootDefinitionDigest": "sha256:4ec00274f91fd3e6e8bf67ac55125e1a9566e7d2233137ed3fa968539532125e",
5845
5848
  "nativeSources": [
5846
5849
  {
5847
5850
  "path": "internal/command/proofbindingtestinventory",
5848
- "canonicalDigest": "sha256:87d5871167fd326398dd3d9c9424401c9414cae1d212bdbbd187a7dfe5730fb0",
5851
+ "canonicalDigest": "sha256:93c68e7bd85f435dd82b1a9ab663add5ecc37bd45948ec3ce49c8af18a90051a",
5849
5852
  "evidenceClass": "source_checkout"
5850
5853
  },
5851
5854
  {
5852
5855
  "path": "internal/command/testevidenceinventory",
5853
- "canonicalDigest": "sha256:95618ec2824e5510d55d2c6bb86da69b057679a39404cca5f2ab5c8fd4826c6a",
5856
+ "canonicalDigest": "sha256:60983b8f25544c7b85e818f202de053fa15557b0de37a7df35aa0d58b58c3888",
5854
5857
  "evidenceClass": "source_checkout"
5855
5858
  }
5856
5859
  ],
@@ -5861,8 +5864,8 @@
5861
5864
  "evidenceClass": "source_checkout"
5862
5865
  },
5863
5866
  "compatibilitySummary": [
5864
- "schemaVersion=1",
5865
- "root-shape-only definition proofkit.test-evidence-inventory.input.v1.root-shape; nested fields, types, and cardinalities are non-claims"
5867
+ "schemaVersion=2",
5868
+ "root-shape-only definition proofkit.test-evidence-inventory.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
5866
5869
  ],
5867
5870
  "ownerRequirementRefs": [
5868
5871
  "REQ-PROOFKIT-PACKAGE-002",
@@ -5871,8 +5874,8 @@
5871
5874
  ]
5872
5875
  },
5873
5876
  "outputContract": {
5874
- "contractId": "proofkit.test-evidence-inventory.output.v1",
5875
- "schemaVersion": 1,
5877
+ "contractId": "proofkit.test-evidence-inventory.output.v2",
5878
+ "schemaVersion": 2,
5876
5879
  "authority": "test evidence inventory output contract",
5877
5880
  "classificationRecords": {
5878
5881
  "failureClassifications": {
@@ -5937,17 +5940,17 @@
5937
5940
  ],
5938
5941
  "rootType": "object",
5939
5942
  "closed": true,
5940
- "rootDefinitionRef": "proofkit.test-evidence-inventory.output.v1.root-shape",
5941
- "rootDefinitionDigest": "sha256:aa2813ab8406c0dba4a9ac4fc215cb607e2c2003e9b0921ac1f6a68faaacff0d",
5943
+ "rootDefinitionRef": "proofkit.test-evidence-inventory.output.v2.root-shape",
5944
+ "rootDefinitionDigest": "sha256:6688b487f1c9936dd1583ab0d90e689c75cae278b04bb431950b9979aba4efa7",
5942
5945
  "nativeSources": [
5943
5946
  {
5944
5947
  "path": "internal/command/proofbindingtestinventory",
5945
- "canonicalDigest": "sha256:87d5871167fd326398dd3d9c9424401c9414cae1d212bdbbd187a7dfe5730fb0",
5948
+ "canonicalDigest": "sha256:93c68e7bd85f435dd82b1a9ab663add5ecc37bd45948ec3ce49c8af18a90051a",
5946
5949
  "evidenceClass": "source_checkout"
5947
5950
  },
5948
5951
  {
5949
5952
  "path": "internal/command/testevidenceinventory",
5950
- "canonicalDigest": "sha256:95618ec2824e5510d55d2c6bb86da69b057679a39404cca5f2ab5c8fd4826c6a",
5953
+ "canonicalDigest": "sha256:60983b8f25544c7b85e818f202de053fa15557b0de37a7df35aa0d58b58c3888",
5951
5954
  "evidenceClass": "source_checkout"
5952
5955
  }
5953
5956
  ],
@@ -5958,8 +5961,8 @@
5958
5961
  "evidenceClass": "source_checkout"
5959
5962
  },
5960
5963
  "compatibilitySummary": [
5961
- "schemaVersion=1",
5962
- "root-shape-only definition proofkit.test-evidence-inventory.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
5964
+ "schemaVersion=2",
5965
+ "root-shape-only definition proofkit.test-evidence-inventory.output.v2.root-shape; nested fields, types, and cardinalities are non-claims"
5963
5966
  ],
5964
5967
  "ownerRequirementRefs": [
5965
5968
  "REQ-PROOFKIT-PACKAGE-002",
@@ -6823,8 +6826,8 @@
6823
6826
  "canonicalDigest": "sha256:6834488d7bfbb4fbcd50dda8d26c65f0c72e15ce7fd2f53ac4a1ee396f72f106"
6824
6827
  },
6825
6828
  {
6826
- "definitionId": "proofkit.adoption-contract-envelope.input.v1.root-shape",
6827
- "schemaVersion": 1,
6829
+ "definitionId": "proofkit.adoption-contract-envelope.input.v2.root-shape",
6830
+ "schemaVersion": 2,
6828
6831
  "rootType": "object",
6829
6832
  "closed": true,
6830
6833
  "definitionRefs": [],
@@ -6860,7 +6863,7 @@
6860
6863
  }
6861
6864
  ]
6862
6865
  },
6863
- "canonicalDigest": "sha256:d12d8f01e350c871af39a1f518f08a86f59c0893c5d161ed1b4fe644e7b30f9c"
6866
+ "canonicalDigest": "sha256:98fd5df72714bf773f3b90ad675ddcd9b214454fa083012c28f59a1cf3241b77"
6864
6867
  },
6865
6868
  {
6866
6869
  "definitionId": "proofkit.adoption-contract-envelope.output.v1.root-shape",
@@ -8130,8 +8133,8 @@
8130
8133
  "canonicalDigest": "sha256:81b3eb5f072ad45d3d71954bc9dfcb46bcdc1e8afc9ade800ae1ee73dfb503d0"
8131
8134
  },
8132
8135
  {
8133
- "definitionId": "proofkit.conformance-profile.input.v1.root-shape",
8134
- "schemaVersion": 1,
8136
+ "definitionId": "proofkit.conformance-profile.input.v2.root-shape",
8137
+ "schemaVersion": 2,
8135
8138
  "rootType": "object",
8136
8139
  "closed": true,
8137
8140
  "definitionRefs": [],
@@ -8164,11 +8167,11 @@
8164
8167
  }
8165
8168
  ]
8166
8169
  },
8167
- "canonicalDigest": "sha256:6ebc6e3ceac697a483cd713833fd038086d49ec11718b7d1d3a210b3aae6dd22"
8170
+ "canonicalDigest": "sha256:b343c1093476cd9f50970f58608e43c1a6ae681a2c06b17c217ab4f22ea454e5"
8168
8171
  },
8169
8172
  {
8170
- "definitionId": "proofkit.conformance-profile.output.v1.root-shape",
8171
- "schemaVersion": 1,
8173
+ "definitionId": "proofkit.conformance-profile.output.v2.root-shape",
8174
+ "schemaVersion": 2,
8172
8175
  "rootType": "object",
8173
8176
  "closed": true,
8174
8177
  "definitionRefs": [],
@@ -8194,38 +8197,42 @@
8194
8197
  },
8195
8198
  {
8196
8199
  "allowedFields": [
8200
+ "bindingCount",
8197
8201
  "commandCount",
8198
8202
  "commandExecutionState",
8199
8203
  "environmentClasses",
8200
8204
  "failures",
8201
8205
  "nonClaims",
8202
8206
  "optionalSurfaceCount",
8203
- "preconditionedRequirementCount",
8207
+ "preconditionedBindingCount",
8204
8208
  "profileId",
8205
8209
  "profileResolutionState",
8206
8210
  "purpose",
8207
8211
  "requiredSurfaceCount",
8208
8212
  "requirementCount",
8209
8213
  "scenarioCount",
8214
+ "schemaVersion",
8210
8215
  "surfaceCount",
8211
8216
  "surfaces",
8212
8217
  "verifyCommands",
8213
8218
  "witnessMappingCount"
8214
8219
  ],
8215
8220
  "requiredFields": [
8221
+ "bindingCount",
8216
8222
  "commandCount",
8217
8223
  "commandExecutionState",
8218
8224
  "environmentClasses",
8219
8225
  "failures",
8220
8226
  "nonClaims",
8221
8227
  "optionalSurfaceCount",
8222
- "preconditionedRequirementCount",
8228
+ "preconditionedBindingCount",
8223
8229
  "profileId",
8224
8230
  "profileResolutionState",
8225
8231
  "purpose",
8226
8232
  "requiredSurfaceCount",
8227
8233
  "requirementCount",
8228
8234
  "scenarioCount",
8235
+ "schemaVersion",
8229
8236
  "surfaceCount",
8230
8237
  "surfaces",
8231
8238
  "verifyCommands",
@@ -8267,7 +8274,7 @@
8267
8274
  }
8268
8275
  ]
8269
8276
  },
8270
- "canonicalDigest": "sha256:11ee54032e139a25dda80337509ab6633ed31e297f9bc7461769badb2f5e0e0d"
8277
+ "canonicalDigest": "sha256:b3b1ed639969bba5213bb70e0a4ab9f86b69f180ad677ced78e600f87d55fb4f"
8271
8278
  },
8272
8279
  {
8273
8280
  "definitionId": "proofkit.custom-rule-boundary.input.v1.root-shape",
@@ -9129,8 +9136,8 @@
9129
9136
  "canonicalDigest": "sha256:f780843a1d9afb5e7a82c5eefeca8f41d4ee8e852731ec3e690d1d8aedf46b16"
9130
9137
  },
9131
9138
  {
9132
- "definitionId": "proofkit.impact.input.v1.root-shape",
9133
- "schemaVersion": 1,
9139
+ "definitionId": "proofkit.impact.input.v2.root-shape",
9140
+ "schemaVersion": 2,
9134
9141
  "rootType": "object",
9135
9142
  "closed": true,
9136
9143
  "definitionRefs": [],
@@ -9147,7 +9154,7 @@
9147
9154
  "baseRef",
9148
9155
  "changedBindingRecordIds",
9149
9156
  "changedPaths",
9150
- "changedRecordIds",
9157
+ "changedRequirementIds",
9151
9158
  "changedWitnessPathCoverage",
9152
9159
  "generatedArtifactRules",
9153
9160
  "headCommit",
@@ -9165,7 +9172,7 @@
9165
9172
  "baseRef",
9166
9173
  "changedBindingRecordIds",
9167
9174
  "changedPaths",
9168
- "changedRecordIds",
9175
+ "changedRequirementIds",
9169
9176
  "changedWitnessPathCoverage",
9170
9177
  "generatedArtifactRules",
9171
9178
  "headCommit",
@@ -9184,11 +9191,11 @@
9184
9191
  }
9185
9192
  ]
9186
9193
  },
9187
- "canonicalDigest": "sha256:125e94c27e5de283c973643a90a95101f818545718d9cf12cf89a58d511c8cf1"
9194
+ "canonicalDigest": "sha256:aa30fb2ab02bc74ef18f9cf599d319d06a44e374851c07f5d921e86654a42e57"
9188
9195
  },
9189
9196
  {
9190
- "definitionId": "proofkit.impact.output.v1.root-shape",
9191
- "schemaVersion": 1,
9197
+ "definitionId": "proofkit.impact.output.v2.root-shape",
9198
+ "schemaVersion": 2,
9192
9199
  "rootType": "object",
9193
9200
  "closed": true,
9194
9201
  "definitionRefs": [],
@@ -9204,7 +9211,7 @@
9204
9211
  "baseCommit",
9205
9212
  "baseRef",
9206
9213
  "changedPaths",
9207
- "changedRecordIds",
9214
+ "changedRequirementIds",
9208
9215
  "failures",
9209
9216
  "headCommit",
9210
9217
  "headRef",
@@ -9218,7 +9225,7 @@
9218
9225
  "baseCommit",
9219
9226
  "baseRef",
9220
9227
  "changedPaths",
9221
- "changedRecordIds",
9228
+ "changedRequirementIds",
9222
9229
  "failures",
9223
9230
  "headCommit",
9224
9231
  "headRef",
@@ -9236,7 +9243,7 @@
9236
9243
  }
9237
9244
  ]
9238
9245
  },
9239
- "canonicalDigest": "sha256:a979e09258d551c600da01624aab78353c1434bb92baf51e24b33ae6baa85044"
9246
+ "canonicalDigest": "sha256:e6dacd55cace039ca8e24bdec628b1498d0c12bbfcdb60c46854ab2047c3f2d7"
9240
9247
  },
9241
9248
  {
9242
9249
  "definitionId": "proofkit.init.output.v1.root-shape",
@@ -9724,8 +9731,8 @@
9724
9731
  "canonicalDigest": "sha256:e6c9e94611b5de09befb45f56d1770bdf1e32a96752cf3e5fb8a58e8c6ecfc54"
9725
9732
  },
9726
9733
  {
9727
- "definitionId": "proofkit.pilot-admission.input.v1.root-shape",
9728
- "schemaVersion": 1,
9734
+ "definitionId": "proofkit.pilot-admission.input.v2.root-shape",
9735
+ "schemaVersion": 2,
9729
9736
  "rootType": "object",
9730
9737
  "closed": true,
9731
9738
  "definitionRefs": [],
@@ -9880,7 +9887,7 @@
9880
9887
  }
9881
9888
  ]
9882
9889
  },
9883
- "canonicalDigest": "sha256:984795f4b9c38763b001778fb2e072b0dc3e9eb6fac91b1ed966fd34382399c4"
9890
+ "canonicalDigest": "sha256:e3f15bcf1927483bfda42ca49d7f6624c0d0fadac81ccab1266c1a6ae8f528f1"
9884
9891
  },
9885
9892
  {
9886
9893
  "definitionId": "proofkit.pilot-admission.output.v1.root-shape",
@@ -11254,8 +11261,8 @@
11254
11261
  "canonicalDigest": "sha256:f31dd686f28fce4bf74265b557dc25428179cbc282753b4bea01439cd98f73c2"
11255
11262
  },
11256
11263
  {
11257
- "definitionId": "proofkit.requirement-browser-server.input.v2.root-shape",
11258
- "schemaVersion": 1,
11264
+ "definitionId": "proofkit.requirement-browser-server.input.v3.root-shape",
11265
+ "schemaVersion": 3,
11259
11266
  "rootType": "object",
11260
11267
  "closed": true,
11261
11268
  "definitionRefs": [],
@@ -11450,7 +11457,7 @@
11450
11457
  }
11451
11458
  ]
11452
11459
  },
11453
- "canonicalDigest": "sha256:50a7bb1b477b6067d410cf22db7e7564a9742aa7f6a270642149d372f0156007"
11460
+ "canonicalDigest": "sha256:e6af5b9edb1284ab2ff2f1a276a6b924127b99810cd9446bffbc971f638a0997"
11454
11461
  },
11455
11462
  {
11456
11463
  "definitionId": "proofkit.requirement-browser-server.output.v1.root-shape",
@@ -11723,8 +11730,8 @@
11723
11730
  "canonicalDigest": "sha256:61f7fd43e2e9da5bde9b61bb86e02cbf337a43c6891ca888c1d42936e5b16456"
11724
11731
  },
11725
11732
  {
11726
- "definitionId": "proofkit.requirement-coverage-input-compose.input.v1.root-shape",
11727
- "schemaVersion": 1,
11733
+ "definitionId": "proofkit.requirement-coverage-input-compose.input.v2.root-shape",
11734
+ "schemaVersion": 2,
11728
11735
  "rootType": "object",
11729
11736
  "closed": true,
11730
11737
  "definitionRefs": [],
@@ -11770,11 +11777,11 @@
11770
11777
  }
11771
11778
  ]
11772
11779
  },
11773
- "canonicalDigest": "sha256:06fa8d0a592549cebdea1d7b9d428e090de7b57e265dbc263699b28dbe6eede8"
11780
+ "canonicalDigest": "sha256:f6300d6d0f80f5066fe4079433978132ee2bb1df75e602e59cf3dc37a385d3ce"
11774
11781
  },
11775
11782
  {
11776
- "definitionId": "proofkit.requirement-coverage-input-compose.output.v1.root-shape",
11777
- "schemaVersion": 1,
11783
+ "definitionId": "proofkit.requirement-coverage-input-compose.output.v2.root-shape",
11784
+ "schemaVersion": 2,
11778
11785
  "rootType": "object",
11779
11786
  "closed": true,
11780
11787
  "definitionRefs": [],
@@ -11818,11 +11825,11 @@
11818
11825
  }
11819
11826
  ]
11820
11827
  },
11821
- "canonicalDigest": "sha256:7e913a998ba47601fd054dbec429d96cb2a546c8925d311f45aca86f1e038bec"
11828
+ "canonicalDigest": "sha256:0f264c996a058fb8aff102e42b95a4610d3a584b35687cc870b3d16c9589cfed"
11822
11829
  },
11823
11830
  {
11824
- "definitionId": "proofkit.requirement-coverage-view.input.v1.root-shape",
11825
- "schemaVersion": 1,
11831
+ "definitionId": "proofkit.requirement-coverage-view.input.v2.root-shape",
11832
+ "schemaVersion": 2,
11826
11833
  "rootType": "object",
11827
11834
  "closed": true,
11828
11835
  "definitionRefs": [],
@@ -11890,11 +11897,11 @@
11890
11897
  }
11891
11898
  ]
11892
11899
  },
11893
- "canonicalDigest": "sha256:b5ddab0a55a381f002b39ece0f5727171f7984856e553200bbb62a49821ff6ac"
11900
+ "canonicalDigest": "sha256:f42c9218c861b1e30ec3692fa0097da393e36eea2049d4aac1a05a8b0a40d81d"
11894
11901
  },
11895
11902
  {
11896
- "definitionId": "proofkit.requirement-coverage-view.output.v2.root-shape",
11897
- "schemaVersion": 2,
11903
+ "definitionId": "proofkit.requirement-coverage-view.output.v3.root-shape",
11904
+ "schemaVersion": 3,
11898
11905
  "rootType": "object",
11899
11906
  "closed": true,
11900
11907
  "definitionRefs": [],
@@ -12017,11 +12024,11 @@
12017
12024
  }
12018
12025
  ]
12019
12026
  },
12020
- "canonicalDigest": "sha256:71a3a1245159e03eb3f81e2b117e1d1690c99e7e84625670a1fd42530b53684c"
12027
+ "canonicalDigest": "sha256:2365e4778d6c24c0af9507ce93bfba0a89c4ba9ece8da1c5b25b4581d6b80fa1"
12021
12028
  },
12022
12029
  {
12023
- "definitionId": "proofkit.requirement-impact-input-compose.input.v1.root-shape",
12024
- "schemaVersion": 1,
12030
+ "definitionId": "proofkit.requirement-impact-input-compose.input.v2.root-shape",
12031
+ "schemaVersion": 2,
12025
12032
  "rootType": "object",
12026
12033
  "closed": true,
12027
12034
  "definitionRefs": [],
@@ -12081,11 +12088,11 @@
12081
12088
  }
12082
12089
  ]
12083
12090
  },
12084
- "canonicalDigest": "sha256:e6af8f427f781395710407a87bfd5fa91a0b3c8aaaee437c2487472a243b22a6"
12091
+ "canonicalDigest": "sha256:1ca9c341fecac869c675302fc547865674bb42605b7ed66b3733e3db15e85150"
12085
12092
  },
12086
12093
  {
12087
- "definitionId": "proofkit.requirement-impact-input-compose.output.v1.root-shape",
12088
- "schemaVersion": 1,
12094
+ "definitionId": "proofkit.requirement-impact-input-compose.output.v2.root-shape",
12095
+ "schemaVersion": 2,
12089
12096
  "rootType": "object",
12090
12097
  "closed": true,
12091
12098
  "definitionRefs": [],
@@ -12102,7 +12109,7 @@
12102
12109
  "baseRef",
12103
12110
  "changedBindingRecordIds",
12104
12111
  "changedPaths",
12105
- "changedRecordIds",
12112
+ "changedRequirementIds",
12106
12113
  "changedWitnessPathCoverage",
12107
12114
  "generatedArtifactRules",
12108
12115
  "headCommit",
@@ -12120,7 +12127,7 @@
12120
12127
  "baseRef",
12121
12128
  "changedBindingRecordIds",
12122
12129
  "changedPaths",
12123
- "changedRecordIds",
12130
+ "changedRequirementIds",
12124
12131
  "changedWitnessPathCoverage",
12125
12132
  "generatedArtifactRules",
12126
12133
  "headCommit",
@@ -12140,11 +12147,11 @@
12140
12147
  }
12141
12148
  ]
12142
12149
  },
12143
- "canonicalDigest": "sha256:9fd57d299d4e76bb3b0bf10f313a8dd9bfd593b8d15fa4844d5e342c4d929ee9"
12150
+ "canonicalDigest": "sha256:68a5ab234566459ce56772aac9a5c5b471647753390dbc1c2a62cabf0f489ef2"
12144
12151
  },
12145
12152
  {
12146
- "definitionId": "proofkit.requirement-proof-resolver.input.v1.root-shape",
12147
- "schemaVersion": 1,
12153
+ "definitionId": "proofkit.requirement-proof-resolver.input.v2.root-shape",
12154
+ "schemaVersion": 2,
12148
12155
  "rootType": "object",
12149
12156
  "closed": true,
12150
12157
  "definitionRefs": [],
@@ -12190,11 +12197,11 @@
12190
12197
  }
12191
12198
  ]
12192
12199
  },
12193
- "canonicalDigest": "sha256:68ade17ac7e9fb3496ad0e7ea8ae9fbcf734afa4e6b8a44442e1af3c4f87bf15"
12200
+ "canonicalDigest": "sha256:a9004b9ddd9f4109326bfc233e6d4629090373d8651488b6663328273826952d"
12194
12201
  },
12195
12202
  {
12196
- "definitionId": "proofkit.requirement-proof-resolver.output.v1.root-shape",
12197
- "schemaVersion": 1,
12203
+ "definitionId": "proofkit.requirement-proof-resolver.output.v2.root-shape",
12204
+ "schemaVersion": 2,
12198
12205
  "rootType": "object",
12199
12206
  "closed": true,
12200
12207
  "definitionRefs": [],
@@ -12207,6 +12214,7 @@
12207
12214
  "variants": [
12208
12215
  {
12209
12216
  "allowedFields": [
12217
+ "bindings",
12210
12218
  "commands",
12211
12219
  "conformanceProofContract",
12212
12220
  "contractId",
@@ -12214,13 +12222,13 @@
12214
12222
  "localEnvironmentPolicy",
12215
12223
  "nonClaims",
12216
12224
  "projectionKind",
12217
- "requirements",
12218
12225
  "scenarios",
12219
12226
  "schemaVersion",
12220
12227
  "surfaces",
12221
- "witnessSelectors"
12228
+ "witnessRoutes"
12222
12229
  ],
12223
12230
  "requiredFields": [
12231
+ "bindings",
12224
12232
  "commands",
12225
12233
  "conformanceProofContract",
12226
12234
  "contractId",
@@ -12228,11 +12236,10 @@
12228
12236
  "localEnvironmentPolicy",
12229
12237
  "nonClaims",
12230
12238
  "projectionKind",
12231
- "requirements",
12232
12239
  "scenarios",
12233
12240
  "schemaVersion",
12234
12241
  "surfaces",
12235
- "witnessSelectors"
12242
+ "witnessRoutes"
12236
12243
  ],
12237
12244
  "rootKind": "object",
12238
12245
  "variantId": "01-resolver",
@@ -12242,11 +12249,11 @@
12242
12249
  }
12243
12250
  ]
12244
12251
  },
12245
- "canonicalDigest": "sha256:750c75c08376a986a18e8739b7476d58af4133c19c40f43d216ee009607be225"
12252
+ "canonicalDigest": "sha256:42bbed6d902300afd15cf763e164896f9ac05567a67fa62a50801d9e90bc4e05"
12246
12253
  },
12247
12254
  {
12248
- "definitionId": "proofkit.requirement-proof-source-set.input.v1.root-shape",
12249
- "schemaVersion": 1,
12255
+ "definitionId": "proofkit.requirement-proof-source-set.input.v2.root-shape",
12256
+ "schemaVersion": 2,
12250
12257
  "rootType": "object",
12251
12258
  "closed": true,
12252
12259
  "definitionRefs": [],
@@ -12261,11 +12268,13 @@
12261
12268
  "allowedFields": [
12262
12269
  "canonicalEnvelope",
12263
12270
  "projection",
12271
+ "schemaVersion",
12264
12272
  "sourceSet",
12265
12273
  "sources"
12266
12274
  ],
12267
12275
  "requiredFields": [
12268
12276
  "canonicalEnvelope",
12277
+ "schemaVersion",
12269
12278
  "sourceSet",
12270
12279
  "sources"
12271
12280
  ],
@@ -12277,11 +12286,11 @@
12277
12286
  }
12278
12287
  ]
12279
12288
  },
12280
- "canonicalDigest": "sha256:cd406c4aba90faa0fa2b132d4c50af85578ec79a6ad1d89bc997ea027d6def05"
12289
+ "canonicalDigest": "sha256:9b38b93e0b8a2ba2b72e32d606d3cb2372fa685c9a702ae31ae42437945f2eb0"
12281
12290
  },
12282
12291
  {
12283
- "definitionId": "proofkit.requirement-proof-source-set.output.v1.root-shape",
12284
- "schemaVersion": 1,
12292
+ "definitionId": "proofkit.requirement-proof-source-set.output.v2.root-shape",
12293
+ "schemaVersion": 2,
12285
12294
  "rootType": "object",
12286
12295
  "closed": true,
12287
12296
  "definitionRefs": [],
@@ -12297,6 +12306,7 @@
12297
12306
  "contract",
12298
12307
  "inputPaths",
12299
12308
  "projectionKind",
12309
+ "schemaVersion",
12300
12310
  "selectedSourceIds",
12301
12311
  "sourceCount",
12302
12312
  "sourceSetCount"
@@ -12305,6 +12315,7 @@
12305
12315
  "contract",
12306
12316
  "inputPaths",
12307
12317
  "projectionKind",
12318
+ "schemaVersion",
12308
12319
  "selectedSourceIds",
12309
12320
  "sourceCount",
12310
12321
  "sourceSetCount"
@@ -12320,6 +12331,7 @@
12320
12331
  "inputPaths",
12321
12332
  "projectionKind",
12322
12333
  "resolverInput",
12334
+ "schemaVersion",
12323
12335
  "selectedSourceIds",
12324
12336
  "sourceCount",
12325
12337
  "sourceSetCount"
@@ -12328,6 +12340,7 @@
12328
12340
  "inputPaths",
12329
12341
  "projectionKind",
12330
12342
  "resolverInput",
12343
+ "schemaVersion",
12331
12344
  "selectedSourceIds",
12332
12345
  "sourceCount",
12333
12346
  "sourceSetCount"
@@ -12340,11 +12353,11 @@
12340
12353
  }
12341
12354
  ]
12342
12355
  },
12343
- "canonicalDigest": "sha256:57993914adfd60d6cc1a66bfef0b6a4c3c0162fd102f2629d497a28e839f1228"
12356
+ "canonicalDigest": "sha256:ed81d03ea6ea56fd9ba12c48995111e8a90a8c1feb336fe95be195b25ccc0254"
12344
12357
  },
12345
12358
  {
12346
- "definitionId": "proofkit.requirement-proof-view.input.v1.root-shape",
12347
- "schemaVersion": 1,
12359
+ "definitionId": "proofkit.requirement-proof-view.input.v2.root-shape",
12360
+ "schemaVersion": 2,
12348
12361
  "rootType": "object",
12349
12362
  "closed": true,
12350
12363
  "definitionRefs": [],
@@ -12414,11 +12427,11 @@
12414
12427
  }
12415
12428
  ]
12416
12429
  },
12417
- "canonicalDigest": "sha256:5aed3bcb99337d4937243d61d1f8ed1b1b358108a7710152221bfd5961a3aeb7"
12430
+ "canonicalDigest": "sha256:998efcaf322251ec9ff402cbf8f4db84f981aca3c24bd2071c0c302ddcca5490"
12418
12431
  },
12419
12432
  {
12420
- "definitionId": "proofkit.requirement-proof-view.output.v1.root-shape",
12421
- "schemaVersion": 1,
12433
+ "definitionId": "proofkit.requirement-proof-view.output.v2.root-shape",
12434
+ "schemaVersion": 2,
12422
12435
  "rootType": "object",
12423
12436
  "closed": true,
12424
12437
  "definitionRefs": [],
@@ -12432,25 +12445,27 @@
12432
12445
  {
12433
12446
  "allowedFields": [
12434
12447
  "authority",
12448
+ "bindingCount",
12449
+ "bindings",
12435
12450
  "commandCount",
12436
12451
  "contractId",
12437
12452
  "localEnvironmentPolicy",
12438
12453
  "nonClaims",
12439
- "preconditionedRequirementCount",
12454
+ "preconditionedBindingCount",
12440
12455
  "requirementCount",
12441
- "requirements",
12442
12456
  "schemaVersion",
12443
12457
  "viewKind"
12444
12458
  ],
12445
12459
  "requiredFields": [
12446
12460
  "authority",
12461
+ "bindingCount",
12462
+ "bindings",
12447
12463
  "commandCount",
12448
12464
  "contractId",
12449
12465
  "localEnvironmentPolicy",
12450
12466
  "nonClaims",
12451
- "preconditionedRequirementCount",
12467
+ "preconditionedBindingCount",
12452
12468
  "requirementCount",
12453
- "requirements",
12454
12469
  "schemaVersion",
12455
12470
  "viewKind"
12456
12471
  ],
@@ -12493,7 +12508,7 @@
12493
12508
  }
12494
12509
  ]
12495
12510
  },
12496
- "canonicalDigest": "sha256:d1da2a4593aa2f4a1531e1a5be8e3bc877a5ff45f978b7f39a0bf708b01cb564"
12511
+ "canonicalDigest": "sha256:3dd563fd6eaedc12994b16234f72228b76fd1155e29033ca1b027fe1e0289d19"
12497
12512
  },
12498
12513
  {
12499
12514
  "definitionId": "proofkit.requirement-semantic-diff.input.v2.root-shape",
@@ -14078,8 +14093,8 @@
14078
14093
  "canonicalDigest": "sha256:338f720a24bd36f4ab34cad9b14d3bd26389119e5c713146f1c4eb019f4a0637"
14079
14094
  },
14080
14095
  {
14081
- "definitionId": "proofkit.test-evidence-inventory.input.v1.root-shape",
14082
- "schemaVersion": 1,
14096
+ "definitionId": "proofkit.test-evidence-inventory.input.v2.root-shape",
14097
+ "schemaVersion": 2,
14083
14098
  "rootType": "object",
14084
14099
  "closed": true,
14085
14100
  "definitionRefs": [],
@@ -14201,11 +14216,11 @@
14201
14216
  }
14202
14217
  ]
14203
14218
  },
14204
- "canonicalDigest": "sha256:4006bfcaab9bd8cb781595aa14f48768cbee996f5e866757fa73be1c9938fa98"
14219
+ "canonicalDigest": "sha256:4ec00274f91fd3e6e8bf67ac55125e1a9566e7d2233137ed3fa968539532125e"
14205
14220
  },
14206
14221
  {
14207
- "definitionId": "proofkit.test-evidence-inventory.output.v1.root-shape",
14208
- "schemaVersion": 1,
14222
+ "definitionId": "proofkit.test-evidence-inventory.output.v2.root-shape",
14223
+ "schemaVersion": 2,
14209
14224
  "rootType": "object",
14210
14225
  "closed": true,
14211
14226
  "definitionRefs": [],
@@ -14318,7 +14333,7 @@
14318
14333
  }
14319
14334
  ]
14320
14335
  },
14321
- "canonicalDigest": "sha256:aa2813ab8406c0dba4a9ac4fc215cb607e2c2003e9b0921ac1f6a68faaacff0d"
14336
+ "canonicalDigest": "sha256:6688b487f1c9936dd1583ab0d90e689c75cae278b04bb431950b9979aba4efa7"
14322
14337
  },
14323
14338
  {
14324
14339
  "definitionId": "proofkit.text-policy.input.v1.root-shape",