@riddledc/riddle-proof 0.5.1 → 0.5.2

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 (33) hide show
  1. package/README.md +2 -2
  2. package/dist/chunk-3MHFLQKG.js +853 -0
  3. package/dist/{chunk-LVP22WE4.js → chunk-5GZZZ6JA.js} +5 -1
  4. package/dist/engine-harness.cjs +2505 -22
  5. package/dist/engine-harness.js +1 -1
  6. package/dist/index.cjs +2512 -29
  7. package/dist/index.js +2 -2
  8. package/dist/proof-run-core.cjs +909 -0
  9. package/dist/proof-run-core.d.cts +280 -0
  10. package/dist/proof-run-core.d.ts +280 -0
  11. package/dist/proof-run-core.js +48 -0
  12. package/dist/proof-run-engine.cjs +2499 -0
  13. package/dist/proof-run-engine.d.cts +677 -0
  14. package/dist/proof-run-engine.d.ts +677 -0
  15. package/dist/proof-run-engine.js +1649 -0
  16. package/lib/workspace-core.mjs +391 -0
  17. package/package.json +15 -3
  18. package/runtime/lib/author.py +343 -0
  19. package/runtime/lib/implement.py +63 -0
  20. package/runtime/lib/preflight.py +246 -0
  21. package/runtime/lib/recon.py +1048 -0
  22. package/runtime/lib/riddle_core_call.mjs +151 -0
  23. package/runtime/lib/setup.py +387 -0
  24. package/runtime/lib/ship.py +834 -0
  25. package/runtime/lib/util.py +673 -0
  26. package/runtime/lib/verify.py +1223 -0
  27. package/runtime/pipelines/riddle-proof-author.lobster +28 -0
  28. package/runtime/pipelines/riddle-proof-implement.lobster +26 -0
  29. package/runtime/pipelines/riddle-proof-recon.lobster +79 -0
  30. package/runtime/pipelines/riddle-proof-setup.lobster +141 -0
  31. package/runtime/pipelines/riddle-proof-ship.lobster +36 -0
  32. package/runtime/pipelines/riddle-proof-verify.lobster +74 -0
  33. package/runtime/tests/recon_verify_smoke.py +1198 -0
package/README.md CHANGED
@@ -10,8 +10,8 @@ and integration metadata.
10
10
  This package includes the reusable runner harness that drives a request through
11
11
  preflight, setup, implementation, proof capture, judgment, shipping, and
12
12
  notification adapters. The OpenClaw wrapper uses the public
13
- `riddle_proof_change` tool and the packaged `@riddledc/riddle-proof-run`
14
- checkpoint engine.
13
+ `riddle_proof_change` tool and this package's bundled proof-run checkpoint
14
+ engine.
15
15
 
16
16
  ## Initial Scope
17
17