@riddledc/riddle-proof 0.8.84 → 0.8.86

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 (110) hide show
  1. package/README.md +193 -0
  2. package/capabilities.json +17 -0
  3. package/dist/advanced/engine-harness.js +2 -2
  4. package/dist/advanced/index.d.cts +2 -2
  5. package/dist/advanced/index.d.ts +2 -2
  6. package/dist/advanced/index.js +4 -4
  7. package/dist/advanced/proof-run-core.d.cts +1 -1
  8. package/dist/advanced/proof-run-core.d.ts +1 -1
  9. package/dist/advanced/proof-run-engine.d.cts +2 -2
  10. package/dist/advanced/proof-run-engine.d.ts +2 -2
  11. package/dist/advanced/runner.js +2 -2
  12. package/dist/change-proof.cjs +24 -269
  13. package/dist/change-proof.d.cts +2 -2
  14. package/dist/change-proof.d.ts +2 -2
  15. package/dist/change-proof.js +3 -3
  16. package/dist/checked-meaning.cjs +67 -0
  17. package/dist/checked-meaning.d.cts +2 -0
  18. package/dist/checked-meaning.d.ts +2 -0
  19. package/dist/checked-meaning.js +41 -0
  20. package/dist/{chunk-QYZ3GKCP.js → chunk-3W4NGKZ6.js} +20 -19
  21. package/dist/chunk-6S33FQL7.js +14 -0
  22. package/dist/{chunk-FW7CKARF.js → chunk-7W6ZJPHJ.js} +1 -1
  23. package/dist/{chunk-7OAETQU3.js → chunk-BVYM4WJ5.js} +1 -1
  24. package/dist/chunk-GQOE5Q7C.js +32 -0
  25. package/dist/chunk-H5AALGSA.js +32 -0
  26. package/dist/chunk-J2SIQGQI.js +71 -0
  27. package/dist/chunk-KB7FYRBG.js +46 -0
  28. package/dist/{chunk-2K3DIK7A.js → chunk-KF6F2RMQ.js} +301 -3979
  29. package/dist/{chunk-LR4UYJDY.js → chunk-NR2XQXIC.js} +4 -4
  30. package/dist/chunk-NWLKJ2WI.js +31 -0
  31. package/dist/chunk-ODLGSEP2.js +43 -0
  32. package/dist/chunk-OHDNCXRM.js +17 -0
  33. package/dist/cli/index.js +9 -9
  34. package/dist/cli.cjs +606 -5177
  35. package/dist/cli.d.cts +0 -1
  36. package/dist/cli.d.ts +0 -1
  37. package/dist/cli.js +9 -9
  38. package/dist/engine-harness.js +2 -2
  39. package/dist/evidence-trust-root.cjs +54 -0
  40. package/dist/evidence-trust-root.d.cts +2 -0
  41. package/dist/evidence-trust-root.d.ts +2 -0
  42. package/dist/evidence-trust-root.js +31 -0
  43. package/dist/grounded-evidence.cjs +95 -0
  44. package/dist/grounded-evidence.d.cts +2 -0
  45. package/dist/grounded-evidence.d.ts +2 -0
  46. package/dist/grounded-evidence.js +69 -0
  47. package/dist/index.cjs +5995 -11368
  48. package/dist/index.d.cts +17 -4
  49. package/dist/index.d.ts +17 -4
  50. package/dist/index.js +202 -28
  51. package/dist/packet.cjs +54 -0
  52. package/dist/packet.d.cts +2 -0
  53. package/dist/packet.d.ts +2 -0
  54. package/dist/packet.js +31 -0
  55. package/dist/pr-comment.cjs +19 -116
  56. package/dist/pr-comment.d.cts +2 -2
  57. package/dist/pr-comment.d.ts +2 -2
  58. package/dist/pr-comment.js +4 -4
  59. package/dist/profile/index.cjs +277 -3991
  60. package/dist/profile/index.d.cts +2 -3
  61. package/dist/profile/index.d.ts +2 -3
  62. package/dist/profile/index.js +1 -1
  63. package/dist/profile-suggestions.cjs +2 -2
  64. package/dist/profile-suggestions.d.cts +1 -3
  65. package/dist/profile-suggestions.d.ts +1 -3
  66. package/dist/profile-suggestions.js +2 -2
  67. package/dist/profile.cjs +277 -3991
  68. package/dist/profile.d.cts +3 -550
  69. package/dist/profile.d.ts +3 -550
  70. package/dist/profile.js +1 -1
  71. package/dist/{proof-run-core-7Dqm7RKM.d.cts → proof-run-core-DwwrRhY4.d.cts} +1 -1
  72. package/dist/{proof-run-core-7Dqm7RKM.d.ts → proof-run-core-DwwrRhY4.d.ts} +1 -1
  73. package/dist/proof-run-core.d.cts +1 -1
  74. package/dist/proof-run-core.d.ts +1 -1
  75. package/dist/{proof-run-engine-BqRoA3Do.d.ts → proof-run-engine-CWBgj-15.d.ts} +4 -4
  76. package/dist/{proof-run-engine-DpChFR5H.d.cts → proof-run-engine-hEfje943.d.cts} +4 -4
  77. package/dist/proof-run-engine.d.cts +2 -2
  78. package/dist/proof-run-engine.d.ts +2 -2
  79. package/dist/receipts.cjs +10 -255
  80. package/dist/receipts.d.cts +10 -115
  81. package/dist/receipts.d.ts +10 -115
  82. package/dist/receipts.js +1 -1
  83. package/dist/riddle-client.cjs +23 -695
  84. package/dist/riddle-client.d.cts +1 -188
  85. package/dist/riddle-client.d.ts +1 -188
  86. package/dist/riddle-client.js +5 -2
  87. package/dist/rule-trust-root.cjs +36 -0
  88. package/dist/rule-trust-root.d.cts +2 -0
  89. package/dist/rule-trust-root.d.ts +2 -0
  90. package/dist/rule-trust-root.js +13 -0
  91. package/dist/runner.js +2 -2
  92. package/dist/runtime/index.cjs +23 -695
  93. package/dist/runtime/index.d.cts +1 -5
  94. package/dist/runtime/index.d.ts +1 -5
  95. package/dist/runtime/index.js +5 -2
  96. package/dist/runtime/riddle-client.cjs +23 -695
  97. package/dist/runtime/riddle-client.d.cts +1 -5
  98. package/dist/runtime/riddle-client.d.ts +1 -5
  99. package/dist/runtime/riddle-client.js +5 -2
  100. package/dist/semantic-certificate.cjs +17 -1083
  101. package/dist/semantic-certificate.d.cts +2 -310
  102. package/dist/semantic-certificate.d.ts +2 -310
  103. package/dist/semantic-certificate.js +1 -1
  104. package/package.json +42 -4
  105. package/runtime/lib/riddle_core_call.mjs +3 -806
  106. package/dist/chunk-5IFZSUPF.js +0 -644
  107. package/dist/chunk-AQTCU6W5.js +0 -1086
  108. package/dist/chunk-MEVVL4TI.js +0 -258
  109. package/dist/{chunk-WLUMLHII.js → chunk-BID7CKMM.js} +9 -9
  110. package/dist/{chunk-YH7ADFY4.js → chunk-IVSP24XI.js} +3 -3
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@riddledc/riddle-proof",
3
- "version": "0.8.84",
3
+ "version": "0.8.86",
4
4
  "description": "Reusable Riddle Proof contracts and helpers for evidence-backed agent changes.",
5
5
  "license": "MIT",
6
6
  "author": "RiddleDC",
@@ -144,6 +144,31 @@
144
144
  "import": "./dist/semantic-certificate.js",
145
145
  "require": "./dist/semantic-certificate.cjs"
146
146
  },
147
+ "./grounded-evidence": {
148
+ "types": "./dist/grounded-evidence.d.ts",
149
+ "import": "./dist/grounded-evidence.js",
150
+ "require": "./dist/grounded-evidence.cjs"
151
+ },
152
+ "./checked-meaning": {
153
+ "types": "./dist/checked-meaning.d.ts",
154
+ "import": "./dist/checked-meaning.js",
155
+ "require": "./dist/checked-meaning.cjs"
156
+ },
157
+ "./rule-trust-root": {
158
+ "types": "./dist/rule-trust-root.d.ts",
159
+ "import": "./dist/rule-trust-root.js",
160
+ "require": "./dist/rule-trust-root.cjs"
161
+ },
162
+ "./evidence-trust-root": {
163
+ "types": "./dist/evidence-trust-root.d.ts",
164
+ "import": "./dist/evidence-trust-root.js",
165
+ "require": "./dist/evidence-trust-root.cjs"
166
+ },
167
+ "./packet": {
168
+ "types": "./dist/packet.d.ts",
169
+ "import": "./dist/packet.js",
170
+ "require": "./dist/packet.cjs"
171
+ },
147
172
  "./change-proof": {
148
173
  "types": "./dist/change-proof.d.ts",
149
174
  "import": "./dist/change-proof.js",
@@ -233,13 +258,15 @@
233
258
  "types": "./dist/app-contract/index.d.ts",
234
259
  "import": "./dist/app-contract/index.js",
235
260
  "require": "./dist/app-contract/index.cjs"
236
- }
261
+ },
262
+ "./capabilities": "./capabilities.json"
237
263
  },
238
264
  "bin": {
239
265
  "riddle-proof-loop": "./dist/cli.js"
240
266
  },
241
267
  "files": [
242
268
  "dist",
269
+ "capabilities.json",
243
270
  "examples",
244
271
  "lib",
245
272
  "runtime",
@@ -247,10 +274,21 @@
247
274
  "LICENSE"
248
275
  ],
249
276
  "sideEffects": false,
277
+ "riddleProofCapabilities": {
278
+ "network": true,
279
+ "filesystem": true,
280
+ "browser": true,
281
+ "subprocess": true,
282
+ "hostedRiddle": true,
283
+ "cryptography": true,
284
+ "ambientClock": true
285
+ },
250
286
  "engines": {
251
287
  "node": ">=18"
252
288
  },
253
289
  "dependencies": {
290
+ "@riddledc/riddle-proof-riddle-client": "^0.4.3",
291
+ "@riddledc/riddle-proof-core": "^0.1.1",
254
292
  "@riddledc/riddle-proof-app-contract": "^0.4.1"
255
293
  },
256
294
  "devDependencies": {
@@ -259,9 +297,9 @@
259
297
  "typescript": "^5.4.5"
260
298
  },
261
299
  "scripts": {
262
- "build": "npm --workspace @riddledc/riddle-proof-app-contract run build --if-present && tsup src/index.ts src/types.ts src/result.ts src/state.ts src/checkpoint.ts src/run-card.ts src/public-state.ts src/runner.ts src/engine-harness.ts src/codex-exec-agent.ts src/local-agent.ts src/cli.ts src/cli/index.ts src/diagnostics.ts src/proof-session.ts src/playability.ts src/basic-gameplay.ts src/profile.ts src/profile/index.ts src/profile-suggestions.ts src/receipts.ts src/semantic-certificate.ts src/change-proof.ts src/pr-comment.ts src/openclaw.ts src/proof-run-core.ts src/proof-run-engine.ts src/riddle-client.ts src/runtime/riddle-client.ts src/spec/index.ts src/spec/types.ts src/spec/result.ts src/spec/state.ts src/spec/checkpoint.ts src/spec/run-card.ts src/spec/public-state.ts src/runtime/index.ts src/app-contract/index.ts src/advanced/index.ts src/advanced/runner.ts src/advanced/engine-harness.ts src/advanced/proof-run-core.ts src/advanced/proof-run-engine.ts src/adapters/openclaw.ts src/adapters/local-agent.ts src/adapters/codex-exec-agent.ts src/adapters/codex.ts --format cjs,esm --dts --out-dir dist --clean",
300
+ "build": "npm --workspace @riddledc/riddle-proof-app-contract run build --if-present && tsup src/index.ts src/types.ts src/result.ts src/state.ts src/checkpoint.ts src/run-card.ts src/public-state.ts src/runner.ts src/engine-harness.ts src/codex-exec-agent.ts src/local-agent.ts src/cli.ts src/cli/index.ts src/diagnostics.ts src/proof-session.ts src/playability.ts src/basic-gameplay.ts src/profile.ts src/profile/index.ts src/profile-suggestions.ts src/receipts.ts src/semantic-certificate.ts src/grounded-evidence.ts src/checked-meaning.ts src/rule-trust-root.ts src/evidence-trust-root.ts src/packet.ts src/change-proof.ts src/pr-comment.ts src/openclaw.ts src/proof-run-core.ts src/proof-run-engine.ts src/riddle-client.ts src/runtime/riddle-client.ts src/spec/index.ts src/spec/types.ts src/spec/result.ts src/spec/state.ts src/spec/checkpoint.ts src/spec/run-card.ts src/spec/public-state.ts src/runtime/index.ts src/app-contract/index.ts src/advanced/index.ts src/advanced/runner.ts src/advanced/engine-harness.ts src/advanced/proof-run-core.ts src/advanced/proof-run-engine.ts src/adapters/openclaw.ts src/adapters/local-agent.ts src/adapters/codex-exec-agent.ts src/adapters/codex.ts --format cjs,esm --dts --out-dir dist --clean --external @riddledc/riddle-proof-core",
263
301
  "clean": "rm -rf dist",
264
302
  "lint": "echo 'lint: (not configured)'",
265
- "test": "npm run build && node test.js && node semantic-certificate.test.js && node proof-run.test.js && node formal-conformance.test.js && node trust-boundary.test.js && node regression-packs.test.js && node story-matrix.test.js && python3 runtime/tests/trust_boundary_regression.py && python3 runtime/tests/ship_artifact_publication.py && (python3 runtime/tests/recon_verify_smoke.py >/tmp/riddle-proof-recon-verify-smoke.json || (tail -120 /tmp/riddle-proof-recon-verify-smoke.json; exit 1))"
303
+ "test": "npm run build && node test.js && node semantic-certificate.test.js && node grounded-evidence.test.js && node grounded-semantic-closure.test.js && node checked-meaning-compatibility.test.js && node proof-foundation-compatibility.test.js && node hosted-client-compatibility.test.js && node proof-run.test.js && node formal-conformance.test.js && node trust-boundary.test.js && node regression-packs.test.js && node story-matrix.test.js && python3 runtime/tests/trust_boundary_regression.py && python3 runtime/tests/ship_artifact_publication.py && (python3 runtime/tests/recon_verify_smoke.py >/tmp/riddle-proof-recon-verify-smoke.json || (tail -120 /tmp/riddle-proof-recon-verify-smoke.json; exit 1))"
266
304
  }
267
305
  }