@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
|
@@ -594,6 +594,11 @@
|
|
|
594
594
|
"credentialClass": "none",
|
|
595
595
|
"cachePolicy": "disabled",
|
|
596
596
|
"expectedArtifacts": [
|
|
597
|
+
{
|
|
598
|
+
"kind": "report",
|
|
599
|
+
"path": "artifacts/proofkit/command-oracle-execution.json",
|
|
600
|
+
"required": true
|
|
601
|
+
},
|
|
597
602
|
{
|
|
598
603
|
"kind": "report",
|
|
599
604
|
"path": "artifacts/proofkit/coverage-metrics.json",
|
|
@@ -769,12 +774,14 @@
|
|
|
769
774
|
"internal/kernel/browserdoc",
|
|
770
775
|
"internal/kernel/cliexec",
|
|
771
776
|
"internal/kernel/compactproofcontract",
|
|
777
|
+
"internal/kernel/diagnostic",
|
|
772
778
|
"internal/kernel/digest",
|
|
773
779
|
"internal/kernel/markdownfmt",
|
|
774
780
|
"internal/kernel/proofvocab",
|
|
775
781
|
"internal/kernel/report",
|
|
776
782
|
"internal/kernel/secretjson",
|
|
777
783
|
"internal/kernel/stablejson",
|
|
784
|
+
"internal/kernel/unicodepolicy",
|
|
778
785
|
"internal/kernel/witnesscommand",
|
|
779
786
|
"internal/testsupport/browserfixture",
|
|
780
787
|
"internal/tools/browserproofverify",
|
|
@@ -789,6 +796,7 @@
|
|
|
789
796
|
"scripts/browser-proof-inputs.test.mjs",
|
|
790
797
|
"scripts/browser-runtime-proof-inputs.v1.json",
|
|
791
798
|
"scripts/browser-selection-authority.test.mjs",
|
|
799
|
+
"scripts/diagnostic.mjs",
|
|
792
800
|
"scripts/stable-json.mjs",
|
|
793
801
|
"scripts/stable-json.test.mjs",
|
|
794
802
|
"scripts/write-browser-proof.mjs",
|
|
@@ -920,12 +928,16 @@
|
|
|
920
928
|
"internal/app/command_registry.go",
|
|
921
929
|
"internal/command",
|
|
922
930
|
"internal/testsupport/commandcoverage",
|
|
931
|
+
"internal/tools/artifactfile",
|
|
932
|
+
"internal/tools/commandoracle",
|
|
923
933
|
"internal/tools/coveragemetrics",
|
|
934
|
+
"internal/tools/repositorysnapshot",
|
|
924
935
|
"proofkit/cli-contract.v2.json",
|
|
925
936
|
"proofkit/requirement-bindings.json",
|
|
926
937
|
"proofkit/witness-plan.json"
|
|
927
938
|
],
|
|
928
939
|
"outputSelectors": [
|
|
940
|
+
"artifacts/proofkit/command-oracle-execution.json",
|
|
929
941
|
"artifacts/proofkit/coverage-metrics.json"
|
|
930
942
|
],
|
|
931
943
|
"resourceReads": [
|