@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/dist/{chunk-LVP22WE4.js → chunk-5GZZZ6JA.js} RENAMED
@@ -341,7 +341,11 @@ async function resolveEngine(input) {
341
341
  if (input.engine) return input.engine;
342
342
  const moduleUrl = input.config?.riddleEngineModuleUrl;
343
343
  if (!moduleUrl) {
344
- throw new Error("No riddle engine adapter or riddleEngineModuleUrl is configured.");
344
+ const mod2 = await import("./proof-run-engine.js");
345
+ return mod2.createRiddleProofEngine({
346
+ riddleProofDir: input.config?.riddleProofDir,
347
+ defaultReviewer: input.config?.defaultReviewer
348
+ });
345
349
  }
346
350
  const mod = await import(moduleUrl);
347
351
  if (typeof mod.createRiddleProofEngine !== "function") {