@research-engineering/agentic-proofkit 0.6.0 → 0.7.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/ADOPTION.md +17 -1
- package/README.md +19 -8
- 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 -5
- package/docs/specs/proofkit-package-boundary/overview.md +5 -4
- package/docs/specs/proofkit-package-boundary/requirements.v1.json +2 -2
- package/docs/specs/proofkit-spec-proof-core/overview.md +21 -4
- package/docs/specs/proofkit-spec-proof-core/requirements.v1.json +66 -1
- package/docs/specs/proofkit-supply-chain-quality/overview.md +9 -8
- package/docs/specs/proofkit-supply-chain-quality/requirements.v1.json +3 -3
- package/package.json +1 -1
- package/proofkit/cli-contract.v2.json +290 -126
- package/proofkit/command-families.v1.json +2 -1
- package/proofkit/requirement-bindings.json +423 -0
|
@@ -7,6 +7,13 @@
|
|
|
7
7
|
"failureExitCode": 1,
|
|
8
8
|
"stdout": "Successful JSON commands write exactly one JSON value to stdout unless an admitted explicit output-file flag writes that JSON value to the selected path and leaves stdout empty. Successful text or help commands write text to stdout unless an admitted explicit output-file flag writes the selected representation to the selected path and leaves stdout empty. Commands do not write stderr on success.",
|
|
9
9
|
"stderr": "Argument parsing, unsupported command, input admission, and output serialization failures write human diagnostics to stderr. Failed report commands may still write a machine-readable failed report to stdout when admission succeeds. Opt-in agent-envelope repair packets may write deterministic invalid-input JSON to stdout with exit code 1 and empty stderr.",
|
|
10
|
+
"commandRouteGrammar": {
|
|
11
|
+
"minimumTokens": 1,
|
|
12
|
+
"maximumTokens": 4,
|
|
13
|
+
"separator": " ",
|
|
14
|
+
"tokenPattern": "^[a-z0-9]+(?:-[a-z0-9]+)*$",
|
|
15
|
+
"ambiguityPolicy": "no_route_is_prefix_of_another"
|
|
16
|
+
},
|
|
10
17
|
"globalOptions": {
|
|
11
18
|
"jsonLayout": {
|
|
12
19
|
"flag": "--json-layout",
|
|
@@ -29,12 +36,133 @@
|
|
|
29
36
|
"-h"
|
|
30
37
|
],
|
|
31
38
|
"commandHelpExclusive": true,
|
|
32
|
-
"helpCommandPositionalTarget": "
|
|
39
|
+
"helpCommandPositionalTarget": "optional_supported_command_route",
|
|
33
40
|
"helpCatalogFormsSource": "proofkit/command-families.v1.json",
|
|
34
41
|
"helpReadsCommandInput": false
|
|
35
42
|
}
|
|
36
43
|
},
|
|
37
44
|
"commands": [
|
|
45
|
+
{
|
|
46
|
+
"command": "adopt-plan",
|
|
47
|
+
"route": [
|
|
48
|
+
"adopt",
|
|
49
|
+
"plan"
|
|
50
|
+
],
|
|
51
|
+
"input": "none",
|
|
52
|
+
"stdin": false,
|
|
53
|
+
"inputPointer": false,
|
|
54
|
+
"scopeClass": "explicit_filesystem_scan",
|
|
55
|
+
"outputModes": [
|
|
56
|
+
"json",
|
|
57
|
+
"text"
|
|
58
|
+
],
|
|
59
|
+
"allowedFlags": [
|
|
60
|
+
"--color",
|
|
61
|
+
"--format",
|
|
62
|
+
"--mode",
|
|
63
|
+
"--repo-root",
|
|
64
|
+
"--stack"
|
|
65
|
+
],
|
|
66
|
+
"requiredFlags": [
|
|
67
|
+
"--mode",
|
|
68
|
+
"--repo-root"
|
|
69
|
+
],
|
|
70
|
+
"singleOccurrenceFlags": [
|
|
71
|
+
"--color",
|
|
72
|
+
"--format",
|
|
73
|
+
"--mode",
|
|
74
|
+
"--repo-root",
|
|
75
|
+
"--stack"
|
|
76
|
+
],
|
|
77
|
+
"flagChoices": {
|
|
78
|
+
"--color": [
|
|
79
|
+
"auto",
|
|
80
|
+
"never"
|
|
81
|
+
],
|
|
82
|
+
"--format": [
|
|
83
|
+
"json",
|
|
84
|
+
"text"
|
|
85
|
+
],
|
|
86
|
+
"--mode": [
|
|
87
|
+
"audit-from-code",
|
|
88
|
+
"code-baseline",
|
|
89
|
+
"fresh"
|
|
90
|
+
],
|
|
91
|
+
"--stack": [
|
|
92
|
+
"agentic_runtime_repo",
|
|
93
|
+
"generated_docs_contract_repo",
|
|
94
|
+
"python_service",
|
|
95
|
+
"python_typescript_service",
|
|
96
|
+
"typescript_monorepo",
|
|
97
|
+
"typescript_workspace"
|
|
98
|
+
]
|
|
99
|
+
},
|
|
100
|
+
"flagPresenceRequirements": [
|
|
101
|
+
{
|
|
102
|
+
"flag": "--color",
|
|
103
|
+
"requiredFlagValues": [
|
|
104
|
+
{
|
|
105
|
+
"flag": "--format",
|
|
106
|
+
"value": "text"
|
|
107
|
+
}
|
|
108
|
+
],
|
|
109
|
+
"requiredFlags": []
|
|
110
|
+
}
|
|
111
|
+
],
|
|
112
|
+
"outputContract": {
|
|
113
|
+
"contractId": "proofkit.adopt-plan.output.v1",
|
|
114
|
+
"schemaVersion": 1,
|
|
115
|
+
"rootType": "object",
|
|
116
|
+
"closed": true,
|
|
117
|
+
"rootDefinitionRef": "proofkit.adopt-plan.output.v1.root-shape",
|
|
118
|
+
"rootDefinitionDigest": "sha256:c7bc9d7b70231d57a3066cad755d30aacfbc92fe57ac54d2df5d2ec7ed175a32",
|
|
119
|
+
"nativeSource": {
|
|
120
|
+
"path": "internal/command/adoptionplan",
|
|
121
|
+
"canonicalDigest": "sha256:c34b3405ed178abf711ab3f43562dccb03c1c8d16dcdc00a0462c5197b65dc67",
|
|
122
|
+
"evidenceClass": "source_checkout"
|
|
123
|
+
},
|
|
124
|
+
"nativeOutputWitnessSelector": {
|
|
125
|
+
"path": "internal/command/adoptionplan/adoptionplan_test.go",
|
|
126
|
+
"test": "TestPlanWireAdmissionIsDeterministicAndOwnerClosed",
|
|
127
|
+
"command": "go test ./internal/command/adoptionplan -run '^TestPlanWireAdmissionIsDeterministicAndOwnerClosed$'",
|
|
128
|
+
"evidenceClass": "source_checkout"
|
|
129
|
+
},
|
|
130
|
+
"compatibilitySummary": [
|
|
131
|
+
"schemaVersion=1",
|
|
132
|
+
"JSON adoption plan; text is a bounded derived presentation",
|
|
133
|
+
"root-shape-only definition proofkit.adopt-plan.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
134
|
+
],
|
|
135
|
+
"ownerRequirementRefs": [
|
|
136
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
137
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
138
|
+
"REQ-PROOFKIT-SPEC-029",
|
|
139
|
+
"REQ-PROOFKIT-SPEC-030"
|
|
140
|
+
],
|
|
141
|
+
"flagChoices": {
|
|
142
|
+
"--color": [
|
|
143
|
+
"auto",
|
|
144
|
+
"never"
|
|
145
|
+
],
|
|
146
|
+
"--format": [
|
|
147
|
+
"json",
|
|
148
|
+
"text"
|
|
149
|
+
],
|
|
150
|
+
"--mode": [
|
|
151
|
+
"audit-from-code",
|
|
152
|
+
"code-baseline",
|
|
153
|
+
"fresh"
|
|
154
|
+
],
|
|
155
|
+
"--stack": [
|
|
156
|
+
"agentic_runtime_repo",
|
|
157
|
+
"generated_docs_contract_repo",
|
|
158
|
+
"python_service",
|
|
159
|
+
"python_typescript_service",
|
|
160
|
+
"typescript_monorepo",
|
|
161
|
+
"typescript_workspace"
|
|
162
|
+
]
|
|
163
|
+
}
|
|
164
|
+
}
|
|
165
|
+
},
|
|
38
166
|
{
|
|
39
167
|
"command": "adoption-checklist",
|
|
40
168
|
"input": "required",
|
|
@@ -372,7 +500,7 @@
|
|
|
372
500
|
}
|
|
373
501
|
],
|
|
374
502
|
"inputContract": {
|
|
375
|
-
"contractId": "proofkit.agent-route.input.
|
|
503
|
+
"contractId": "proofkit.agent-route.input.v2",
|
|
376
504
|
"schemaVersion": 1,
|
|
377
505
|
"authority": "agent-route input admission",
|
|
378
506
|
"fields": {
|
|
@@ -528,11 +656,11 @@
|
|
|
528
656
|
],
|
|
529
657
|
"rootType": "object",
|
|
530
658
|
"closed": true,
|
|
531
|
-
"rootDefinitionRef": "proofkit.agent-route.input.
|
|
532
|
-
"rootDefinitionDigest": "sha256:
|
|
659
|
+
"rootDefinitionRef": "proofkit.agent-route.input.v2.root-shape",
|
|
660
|
+
"rootDefinitionDigest": "sha256:7151fa0ac2e070079c0a584b8a04757639d0b6955314a100044a8b471a7602d6",
|
|
533
661
|
"nativeSource": {
|
|
534
662
|
"path": "internal/command/agentroute",
|
|
535
|
-
"canonicalDigest": "sha256:
|
|
663
|
+
"canonicalDigest": "sha256:9fdb6a0fcb98b32fc58f6a1abb95946f1b433cc3022d6f731ae6701462b0d6f2",
|
|
536
664
|
"evidenceClass": "source_checkout"
|
|
537
665
|
},
|
|
538
666
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -552,7 +680,7 @@
|
|
|
552
680
|
"openBrowser",
|
|
553
681
|
"routeId",
|
|
554
682
|
"schemaVersion",
|
|
555
|
-
"root-shape-only definition proofkit.agent-route.input.
|
|
683
|
+
"root-shape-only definition proofkit.agent-route.input.v2.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
556
684
|
],
|
|
557
685
|
"ownerRequirementRefs": [
|
|
558
686
|
"REQ-PROOFKIT-PACKAGE-002",
|
|
@@ -657,12 +785,12 @@
|
|
|
657
785
|
"nativeSources": [
|
|
658
786
|
{
|
|
659
787
|
"path": "internal/app",
|
|
660
|
-
"canonicalDigest": "sha256:
|
|
788
|
+
"canonicalDigest": "sha256:7f8837c629226c740c41b14ea0c1fc9c03337faeeec5453bd4d2899a8f7b0bf8",
|
|
661
789
|
"evidenceClass": "source_checkout"
|
|
662
790
|
},
|
|
663
791
|
{
|
|
664
792
|
"path": "internal/command/agentroute",
|
|
665
|
-
"canonicalDigest": "sha256:
|
|
793
|
+
"canonicalDigest": "sha256:9fdb6a0fcb98b32fc58f6a1abb95946f1b433cc3022d6f731ae6701462b0d6f2",
|
|
666
794
|
"evidenceClass": "source_checkout"
|
|
667
795
|
}
|
|
668
796
|
],
|
|
@@ -845,7 +973,7 @@
|
|
|
845
973
|
"rootDefinitionDigest": "sha256:9b1b0b9b884f84f856db7373844a1988bb7ef0198a9f125219025530ed6054b2",
|
|
846
974
|
"nativeSource": {
|
|
847
975
|
"path": "internal/command/capabilitymapadmission",
|
|
848
|
-
"canonicalDigest": "sha256:
|
|
976
|
+
"canonicalDigest": "sha256:000dc65922353143b40c0a5e7be633ac79c898bb7260cc8a3801db48153b7d43",
|
|
849
977
|
"evidenceClass": "source_checkout"
|
|
850
978
|
},
|
|
851
979
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -873,7 +1001,7 @@
|
|
|
873
1001
|
"rootDefinitionDigest": "sha256:d20d4d55690f7b98768d8bb1c2c313f78bdf9ac8163fa6d1ff694664b2d7d999",
|
|
874
1002
|
"nativeSource": {
|
|
875
1003
|
"path": "internal/command/capabilitymapadmission",
|
|
876
|
-
"canonicalDigest": "sha256:
|
|
1004
|
+
"canonicalDigest": "sha256:000dc65922353143b40c0a5e7be633ac79c898bb7260cc8a3801db48153b7d43",
|
|
877
1005
|
"evidenceClass": "source_checkout"
|
|
878
1006
|
},
|
|
879
1007
|
"nativeOutputWitnessSelector": {
|
|
@@ -1892,70 +2020,6 @@
|
|
|
1892
2020
|
]
|
|
1893
2021
|
}
|
|
1894
2022
|
},
|
|
1895
|
-
{
|
|
1896
|
-
"command": "init",
|
|
1897
|
-
"input": "none",
|
|
1898
|
-
"stdin": false,
|
|
1899
|
-
"inputPointer": false,
|
|
1900
|
-
"scopeClass": "built_in_package_catalog",
|
|
1901
|
-
"outputModes": [
|
|
1902
|
-
"json"
|
|
1903
|
-
],
|
|
1904
|
-
"allowedFlags": [
|
|
1905
|
-
"--preset"
|
|
1906
|
-
],
|
|
1907
|
-
"outputContract": {
|
|
1908
|
-
"contractId": "proofkit.init.output.v1",
|
|
1909
|
-
"schemaVersion": 1,
|
|
1910
|
-
"authority": "dry-run adoption route guidance",
|
|
1911
|
-
"presets": [
|
|
1912
|
-
"all",
|
|
1913
|
-
"change-set",
|
|
1914
|
-
"code-audit",
|
|
1915
|
-
"code-baseline",
|
|
1916
|
-
"fresh",
|
|
1917
|
-
"legacy"
|
|
1918
|
-
],
|
|
1919
|
-
"requiredReportFields": [
|
|
1920
|
-
"diagnostics",
|
|
1921
|
-
"nonClaims",
|
|
1922
|
-
"reportId",
|
|
1923
|
-
"reportKind",
|
|
1924
|
-
"ruleResults",
|
|
1925
|
-
"schemaVersion",
|
|
1926
|
-
"state",
|
|
1927
|
-
"summary"
|
|
1928
|
-
],
|
|
1929
|
-
"nonClaim": "Init does not read repository files, discover tests, write files, create requirements, or approve merge/release/rollout.",
|
|
1930
|
-
"rootType": "object",
|
|
1931
|
-
"closed": true,
|
|
1932
|
-
"rootDefinitionRef": "proofkit.init.output.v1.root-shape",
|
|
1933
|
-
"rootDefinitionDigest": "sha256:9f57ccd7905a2d8cbffeb8cf3495d338ea67c0ebfe66889b4d5ee16434be5f88",
|
|
1934
|
-
"nativeSource": {
|
|
1935
|
-
"path": "internal/command/initplan",
|
|
1936
|
-
"canonicalDigest": "sha256:b7cf7f6d0cf534c062ac6b9aa20129308aae0b1a1716e2be74569a5f2bd7dfcf",
|
|
1937
|
-
"evidenceClass": "source_checkout"
|
|
1938
|
-
},
|
|
1939
|
-
"nativeOutputWitnessSelector": {
|
|
1940
|
-
"path": "internal/app/cli_abi_test.go",
|
|
1941
|
-
"test": "TestCLIABIGoldenCorpus",
|
|
1942
|
-
"command": "go test ./internal/app -run '^TestCLIABIGoldenCorpus$'",
|
|
1943
|
-
"evidenceClass": "source_checkout"
|
|
1944
|
-
},
|
|
1945
|
-
"compatibilitySummary": [
|
|
1946
|
-
"schemaVersion=1",
|
|
1947
|
-
"root-shape-only definition proofkit.init.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
1948
|
-
],
|
|
1949
|
-
"ownerRequirementRefs": [
|
|
1950
|
-
"REQ-PROOFKIT-PACKAGE-002",
|
|
1951
|
-
"REQ-PROOFKIT-QUALITY-004",
|
|
1952
|
-
"REQ-PROOFKIT-QUALITY-021",
|
|
1953
|
-
"REQ-PROOFKIT-SPEC-009",
|
|
1954
|
-
"REQ-PROOFKIT-SPEC-011",
|
|
1955
|
-
"REQ-PROOFKIT-SPEC-012"
|
|
1956
|
-
]
|
|
1957
|
-
}
|
|
1958
|
-
},
|
|
1959
2023
|
{
|
|
1960
2024
|
"command": "json-report-cli-adapter-source",
|
|
1961
2025
|
"input": "none",
|
|
@@ -2001,7 +2065,7 @@
|
|
|
2001
2065
|
"rootDefinitionDigest": "sha256:9378c7663485f39089cf6c39a3d2f778e28b5801637229fe9524a9652a7b0737",
|
|
2002
2066
|
"nativeSource": {
|
|
2003
2067
|
"path": "internal/command/jsonreportcliadaptersource",
|
|
2004
|
-
"canonicalDigest": "sha256:
|
|
2068
|
+
"canonicalDigest": "sha256:e2d464fd22ab51809883622acfe23b35ffe7615701bc8f8672a097fc3b202462",
|
|
2005
2069
|
"evidenceClass": "source_checkout"
|
|
2006
2070
|
},
|
|
2007
2071
|
"nativeOutputWitnessSelector": {
|
|
@@ -2229,7 +2293,7 @@
|
|
|
2229
2293
|
"rootDefinitionDigest": "sha256:218011a133540f57ef74f8748747e00d33b6757c9f77725ecef39f45fb19423f",
|
|
2230
2294
|
"nativeSource": {
|
|
2231
2295
|
"path": "internal/command/nativeevidenceguidance",
|
|
2232
|
-
"canonicalDigest": "sha256:
|
|
2296
|
+
"canonicalDigest": "sha256:dc0f538649d2f097f6cd39dad1db4b11da249206cac1b741a528beab48969974",
|
|
2233
2297
|
"evidenceClass": "source_checkout"
|
|
2234
2298
|
},
|
|
2235
2299
|
"nativeOutputWitnessSelector": {
|
|
@@ -2499,7 +2563,7 @@
|
|
|
2499
2563
|
"nativeSources": [
|
|
2500
2564
|
{
|
|
2501
2565
|
"path": "internal/app",
|
|
2502
|
-
"canonicalDigest": "sha256:
|
|
2566
|
+
"canonicalDigest": "sha256:7f8837c629226c740c41b14ea0c1fc9c03337faeeec5453bd4d2899a8f7b0bf8",
|
|
2503
2567
|
"evidenceClass": "source_checkout"
|
|
2504
2568
|
},
|
|
2505
2569
|
{
|
|
@@ -3442,6 +3506,54 @@
|
|
|
3442
3506
|
]
|
|
3443
3507
|
}
|
|
3444
3508
|
},
|
|
3509
|
+
{
|
|
3510
|
+
"command": "repository-inventory",
|
|
3511
|
+
"input": "none",
|
|
3512
|
+
"stdin": false,
|
|
3513
|
+
"inputPointer": false,
|
|
3514
|
+
"scopeClass": "explicit_filesystem_scan",
|
|
3515
|
+
"outputModes": [
|
|
3516
|
+
"json"
|
|
3517
|
+
],
|
|
3518
|
+
"allowedFlags": [
|
|
3519
|
+
"--repo-root"
|
|
3520
|
+
],
|
|
3521
|
+
"requiredFlags": [
|
|
3522
|
+
"--repo-root"
|
|
3523
|
+
],
|
|
3524
|
+
"singleOccurrenceFlags": [
|
|
3525
|
+
"--repo-root"
|
|
3526
|
+
],
|
|
3527
|
+
"outputContract": {
|
|
3528
|
+
"contractId": "proofkit.repository-inventory.output.v1",
|
|
3529
|
+
"schemaVersion": 1,
|
|
3530
|
+
"rootType": "object",
|
|
3531
|
+
"closed": true,
|
|
3532
|
+
"rootDefinitionRef": "proofkit.repository-inventory.output.v1.root-shape",
|
|
3533
|
+
"rootDefinitionDigest": "sha256:cc91b8e1a3fb25180165204979ccbc07c378679e2ffe7f85348b3fd38ecbdc8e",
|
|
3534
|
+
"nativeSource": {
|
|
3535
|
+
"path": "internal/command/repositoryinventory",
|
|
3536
|
+
"canonicalDigest": "sha256:4fb3ddaf49f9db46192a5ee2c88552cb60f2eca94197c4046045f48728a99d29",
|
|
3537
|
+
"evidenceClass": "source_checkout"
|
|
3538
|
+
},
|
|
3539
|
+
"nativeOutputWitnessSelector": {
|
|
3540
|
+
"path": "internal/command/repositoryinventory/repositoryinventory_test.go",
|
|
3541
|
+
"test": "TestScanProducesBoundedClosedInventory",
|
|
3542
|
+
"command": "go test ./internal/command/repositoryinventory -run '^TestScanProducesBoundedClosedInventory$'",
|
|
3543
|
+
"evidenceClass": "source_checkout"
|
|
3544
|
+
},
|
|
3545
|
+
"compatibilitySummary": [
|
|
3546
|
+
"schemaVersion=1",
|
|
3547
|
+
"bounded root-catalog observation without manifest or source semantics",
|
|
3548
|
+
"root-shape-only definition proofkit.repository-inventory.output.v1.root-shape; nested fields, types, and cardinalities are non-claims"
|
|
3549
|
+
],
|
|
3550
|
+
"ownerRequirementRefs": [
|
|
3551
|
+
"REQ-PROOFKIT-PACKAGE-002",
|
|
3552
|
+
"REQ-PROOFKIT-QUALITY-004",
|
|
3553
|
+
"REQ-PROOFKIT-SPEC-028"
|
|
3554
|
+
]
|
|
3555
|
+
}
|
|
3556
|
+
},
|
|
3445
3557
|
{
|
|
3446
3558
|
"command": "requirement-authoring-plan",
|
|
3447
3559
|
"input": "required",
|
|
@@ -5741,7 +5853,7 @@
|
|
|
5741
5853
|
"rootDefinitionDigest": "sha256:3c842174dff5361e7f83166469b832805e05aa314b073c16234b5b64e346281e",
|
|
5742
5854
|
"nativeSource": {
|
|
5743
5855
|
"path": "internal/app",
|
|
5744
|
-
"canonicalDigest": "sha256:
|
|
5856
|
+
"canonicalDigest": "sha256:7f8837c629226c740c41b14ea0c1fc9c03337faeeec5453bd4d2899a8f7b0bf8",
|
|
5745
5857
|
"evidenceClass": "source_checkout"
|
|
5746
5858
|
},
|
|
5747
5859
|
"nativeAdmissionWitnessSelector": {
|
|
@@ -5770,7 +5882,7 @@
|
|
|
5770
5882
|
"rootDefinitionDigest": "sha256:0ea95e277ebe44cd2de42c29b47c38686ac0b6b390d8965367437b3fe138e209",
|
|
5771
5883
|
"nativeSource": {
|
|
5772
5884
|
"path": "internal/app",
|
|
5773
|
-
"canonicalDigest": "sha256:
|
|
5885
|
+
"canonicalDigest": "sha256:7f8837c629226c740c41b14ea0c1fc9c03337faeeec5453bd4d2899a8f7b0bf8",
|
|
5774
5886
|
"evidenceClass": "source_checkout"
|
|
5775
5887
|
},
|
|
5776
5888
|
"nativeOutputWitnessSelector": {
|
|
@@ -5963,7 +6075,7 @@
|
|
|
5963
6075
|
"rootDefinitionDigest": "sha256:338f720a24bd36f4ab34cad9b14d3bd26389119e5c713146f1c4eb019f4a0637",
|
|
5964
6076
|
"nativeSource": {
|
|
5965
6077
|
"path": "internal/command/stackpreset",
|
|
5966
|
-
"canonicalDigest": "sha256:
|
|
6078
|
+
"canonicalDigest": "sha256:15217c3923804206b0a05069566cb7b62787829785d314adcbfaf6637c87f4db",
|
|
5967
6079
|
"evidenceClass": "source_checkout"
|
|
5968
6080
|
},
|
|
5969
6081
|
"nativeOutputWitnessSelector": {
|
|
@@ -7007,6 +7119,58 @@
|
|
|
7007
7119
|
}
|
|
7008
7120
|
],
|
|
7009
7121
|
"contractDefinitions": [
|
|
7122
|
+
{
|
|
7123
|
+
"definitionId": "proofkit.adopt-plan.output.v1.root-shape",
|
|
7124
|
+
"schemaVersion": 1,
|
|
7125
|
+
"rootType": "object",
|
|
7126
|
+
"closed": true,
|
|
7127
|
+
"definitionRefs": [],
|
|
7128
|
+
"fieldTree": {
|
|
7129
|
+
"kind": "root_shape_only",
|
|
7130
|
+
"nonClaims": [
|
|
7131
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
7132
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
7133
|
+
],
|
|
7134
|
+
"variants": [
|
|
7135
|
+
{
|
|
7136
|
+
"allowedFields": [
|
|
7137
|
+
"authoringPacket",
|
|
7138
|
+
"authority",
|
|
7139
|
+
"intent",
|
|
7140
|
+
"nonClaims",
|
|
7141
|
+
"planId",
|
|
7142
|
+
"planKind",
|
|
7143
|
+
"repositoryInventory",
|
|
7144
|
+
"schemaVersion",
|
|
7145
|
+
"sourceTrust",
|
|
7146
|
+
"stackHint",
|
|
7147
|
+
"state",
|
|
7148
|
+
"summary"
|
|
7149
|
+
],
|
|
7150
|
+
"requiredFields": [
|
|
7151
|
+
"authoringPacket",
|
|
7152
|
+
"authority",
|
|
7153
|
+
"intent",
|
|
7154
|
+
"nonClaims",
|
|
7155
|
+
"planId",
|
|
7156
|
+
"planKind",
|
|
7157
|
+
"repositoryInventory",
|
|
7158
|
+
"schemaVersion",
|
|
7159
|
+
"sourceTrust",
|
|
7160
|
+
"stackHint",
|
|
7161
|
+
"state",
|
|
7162
|
+
"summary"
|
|
7163
|
+
],
|
|
7164
|
+
"rootKind": "object",
|
|
7165
|
+
"variantId": "01-root",
|
|
7166
|
+
"when": [
|
|
7167
|
+
"default JSON mode"
|
|
7168
|
+
]
|
|
7169
|
+
}
|
|
7170
|
+
]
|
|
7171
|
+
},
|
|
7172
|
+
"canonicalDigest": "sha256:c7bc9d7b70231d57a3066cad755d30aacfbc92fe57ac54d2df5d2ec7ed175a32"
|
|
7173
|
+
},
|
|
7010
7174
|
{
|
|
7011
7175
|
"definitionId": "proofkit.adoption-checklist.input.v1.root-shape",
|
|
7012
7176
|
"schemaVersion": 1,
|
|
@@ -7742,7 +7906,7 @@
|
|
|
7742
7906
|
"canonicalDigest": "sha256:c06f7bfa9c10f73575aa5f927696d41db818697c9a3d320074b7c254011830d5"
|
|
7743
7907
|
},
|
|
7744
7908
|
{
|
|
7745
|
-
"definitionId": "proofkit.agent-route.input.
|
|
7909
|
+
"definitionId": "proofkit.agent-route.input.v2.root-shape",
|
|
7746
7910
|
"schemaVersion": 1,
|
|
7747
7911
|
"rootType": "object",
|
|
7748
7912
|
"closed": true,
|
|
@@ -7781,7 +7945,7 @@
|
|
|
7781
7945
|
}
|
|
7782
7946
|
]
|
|
7783
7947
|
},
|
|
7784
|
-
"canonicalDigest": "sha256:
|
|
7948
|
+
"canonicalDigest": "sha256:7151fa0ac2e070079c0a584b8a04757639d0b6955314a100044a8b471a7602d6"
|
|
7785
7949
|
},
|
|
7786
7950
|
{
|
|
7787
7951
|
"definitionId": "proofkit.agent-route.output.v3.root-shape",
|
|
@@ -9806,50 +9970,6 @@
|
|
|
9806
9970
|
},
|
|
9807
9971
|
"canonicalDigest": "sha256:e6dacd55cace039ca8e24bdec628b1498d0c12bbfcdb60c46854ab2047c3f2d7"
|
|
9808
9972
|
},
|
|
9809
|
-
{
|
|
9810
|
-
"definitionId": "proofkit.init.output.v1.root-shape",
|
|
9811
|
-
"schemaVersion": 1,
|
|
9812
|
-
"rootType": "object",
|
|
9813
|
-
"closed": true,
|
|
9814
|
-
"definitionRefs": [],
|
|
9815
|
-
"fieldTree": {
|
|
9816
|
-
"kind": "root_shape_only",
|
|
9817
|
-
"nonClaims": [
|
|
9818
|
-
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
9819
|
-
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
9820
|
-
],
|
|
9821
|
-
"variants": [
|
|
9822
|
-
{
|
|
9823
|
-
"allowedFields": [
|
|
9824
|
-
"diagnostics",
|
|
9825
|
-
"nonClaims",
|
|
9826
|
-
"reportId",
|
|
9827
|
-
"reportKind",
|
|
9828
|
-
"ruleResults",
|
|
9829
|
-
"schemaVersion",
|
|
9830
|
-
"state",
|
|
9831
|
-
"summary"
|
|
9832
|
-
],
|
|
9833
|
-
"requiredFields": [
|
|
9834
|
-
"diagnostics",
|
|
9835
|
-
"nonClaims",
|
|
9836
|
-
"reportId",
|
|
9837
|
-
"reportKind",
|
|
9838
|
-
"ruleResults",
|
|
9839
|
-
"schemaVersion",
|
|
9840
|
-
"state",
|
|
9841
|
-
"summary"
|
|
9842
|
-
],
|
|
9843
|
-
"rootKind": "object",
|
|
9844
|
-
"variantId": "01-root",
|
|
9845
|
-
"when": [
|
|
9846
|
-
"default JSON mode"
|
|
9847
|
-
]
|
|
9848
|
-
}
|
|
9849
|
-
]
|
|
9850
|
-
},
|
|
9851
|
-
"canonicalDigest": "sha256:9f57ccd7905a2d8cbffeb8cf3495d338ea67c0ebfe66889b4d5ee16434be5f88"
|
|
9852
|
-
},
|
|
9853
9973
|
{
|
|
9854
9974
|
"definitionId": "proofkit.json-report-cli-adapter-source.output.v1.root-shape",
|
|
9855
9975
|
"schemaVersion": 1,
|
|
@@ -11675,6 +11795,50 @@
|
|
|
11675
11795
|
},
|
|
11676
11796
|
"canonicalDigest": "sha256:acf8e7db39bfb1325d83c2cdfe68a7c243847d207e56691a3b2937b28f95d3e7"
|
|
11677
11797
|
},
|
|
11798
|
+
{
|
|
11799
|
+
"definitionId": "proofkit.repository-inventory.output.v1.root-shape",
|
|
11800
|
+
"schemaVersion": 1,
|
|
11801
|
+
"rootType": "object",
|
|
11802
|
+
"closed": true,
|
|
11803
|
+
"definitionRefs": [],
|
|
11804
|
+
"fieldTree": {
|
|
11805
|
+
"kind": "root_shape_only",
|
|
11806
|
+
"nonClaims": [
|
|
11807
|
+
"Root-shape definitions do not claim nested field shapes, leaf types, cardinalities, or semantic validity.",
|
|
11808
|
+
"Root-shape definitions do not replace direct public-CLI runtime witnesses for variant selection."
|
|
11809
|
+
],
|
|
11810
|
+
"variants": [
|
|
11811
|
+
{
|
|
11812
|
+
"allowedFields": [
|
|
11813
|
+
"entries",
|
|
11814
|
+
"inventoryId",
|
|
11815
|
+
"inventoryKind",
|
|
11816
|
+
"nonClaims",
|
|
11817
|
+
"omissions",
|
|
11818
|
+
"policyId",
|
|
11819
|
+
"schemaVersion",
|
|
11820
|
+
"scope"
|
|
11821
|
+
],
|
|
11822
|
+
"requiredFields": [
|
|
11823
|
+
"entries",
|
|
11824
|
+
"inventoryId",
|
|
11825
|
+
"inventoryKind",
|
|
11826
|
+
"nonClaims",
|
|
11827
|
+
"omissions",
|
|
11828
|
+
"policyId",
|
|
11829
|
+
"schemaVersion",
|
|
11830
|
+
"scope"
|
|
11831
|
+
],
|
|
11832
|
+
"rootKind": "object",
|
|
11833
|
+
"variantId": "01-root",
|
|
11834
|
+
"when": [
|
|
11835
|
+
"default JSON mode"
|
|
11836
|
+
]
|
|
11837
|
+
}
|
|
11838
|
+
]
|
|
11839
|
+
},
|
|
11840
|
+
"canonicalDigest": "sha256:cc91b8e1a3fb25180165204979ccbc07c378679e2ffe7f85348b3fd38ecbdc8e"
|
|
11841
|
+
},
|
|
11678
11842
|
{
|
|
11679
11843
|
"definitionId": "proofkit.requirement-authoring-plan.input.v1.root-shape",
|
|
11680
11844
|
"schemaVersion": 1,
|
|
@@ -7,13 +7,13 @@
|
|
|
7
7
|
"label": "Adoption lifecycle",
|
|
8
8
|
"purpose": "Select and assess repository adoption stages.",
|
|
9
9
|
"commands": [
|
|
10
|
+
"adopt-plan",
|
|
10
11
|
"adoption-checklist",
|
|
11
12
|
"adoption-doctor",
|
|
12
13
|
"adoption-workflow-plan",
|
|
13
14
|
"gradual-adoption",
|
|
14
15
|
"gradual-adoption-bootstrap",
|
|
15
16
|
"gradual-adoption-guidance",
|
|
16
|
-
"init",
|
|
17
17
|
"pilot-admission"
|
|
18
18
|
]
|
|
19
19
|
},
|
|
@@ -113,6 +113,7 @@
|
|
|
113
113
|
"purpose": "Admit explicit repository facts and bounded policy scans.",
|
|
114
114
|
"commands": [
|
|
115
115
|
"repo-profile-admission",
|
|
116
|
+
"repository-inventory",
|
|
116
117
|
"secret-scan",
|
|
117
118
|
"text-policy",
|
|
118
119
|
"typescript-public-api-surfaces",
|