@research-engineering/agentic-proofkit 0.4.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.
Files changed (16) 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 +2 -0
  6. package/docs/specs/proofkit-agent-workflow/overview.md +86 -0
  7. package/docs/specs/proofkit-agent-workflow/requirements.v1.json +157 -0
  8. package/docs/specs/proofkit-spec-proof-core/overview.md +7 -3
  9. package/docs/specs/proofkit-spec-proof-core/requirements.v1.json +2 -2
  10. package/docs/specs/proofkit-supply-chain-quality/overview.md +22 -4
  11. package/docs/specs/proofkit-supply-chain-quality/requirements.v1.json +27 -1
  12. package/package.json +2 -2
  13. package/proofkit/cli-contract.v2.json +463 -18
  14. package/proofkit/command-families.v1.json +9 -0
  15. package/proofkit/requirement-bindings.json +768 -0
  16. package/proofkit/witness-plan.json +3 -0
package/proofkit/witness-plan.json CHANGED
@@ -774,12 +774,14 @@
774
774
  "internal/kernel/browserdoc",
775
775
  "internal/kernel/cliexec",
776
776
  "internal/kernel/compactproofcontract",
777
+ "internal/kernel/diagnostic",
777
778
  "internal/kernel/digest",
778
779
  "internal/kernel/markdownfmt",
779
780
  "internal/kernel/proofvocab",
780
781
  "internal/kernel/report",
781
782
  "internal/kernel/secretjson",
782
783
  "internal/kernel/stablejson",
784
+ "internal/kernel/unicodepolicy",
783
785
  "internal/kernel/witnesscommand",
784
786
  "internal/testsupport/browserfixture",
785
787
  "internal/tools/browserproofverify",
@@ -794,6 +796,7 @@
794
796
  "scripts/browser-proof-inputs.test.mjs",
795
797
  "scripts/browser-runtime-proof-inputs.v1.json",
796
798
  "scripts/browser-selection-authority.test.mjs",
799
+ "scripts/diagnostic.mjs",
797
800
  "scripts/stable-json.mjs",
798
801
  "scripts/stable-json.test.mjs",
799
802
  "scripts/write-browser-proof.mjs",