@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
@@ -1,10 +1,10 @@
1
+ import {
2
+ RIDDLE_PROOF_PROFILE_STATUSES
3
+ } from "./chunk-KF6F2RMQ.js";
1
4
  import {
2
5
  createRiddleProofObservationReceipt,
3
6
  parseRiddleProofObservationReceipt
4
- } from "./chunk-MEVVL4TI.js";
5
- import {
6
- RIDDLE_PROOF_PROFILE_STATUSES
7
- } from "./chunk-2K3DIK7A.js";
7
+ } from "./chunk-OHDNCXRM.js";
8
8
 
9
9
  // src/change-proof.ts
10
10
  var RIDDLE_PROOF_CHANGE_CONTRACT_VERSION = "riddle-proof.change-contract.v1";
@@ -0,0 +1,31 @@
1
+ // src/semantic-certificate.ts
2
+ export * from "@riddledc/riddle-proof-core/semantic-certificate";
3
+ import {
4
+ RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_MAX_CERTIFICATES,
5
+ RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION,
6
+ RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION,
7
+ composeRiddleProofSemanticCertificateClosures,
8
+ composeRiddleProofSemanticCertificates,
9
+ createRiddleProofSemanticAtomicCertificateClosure,
10
+ createRiddleProofSemanticCertificate,
11
+ matchRiddleProofSemanticCertificate,
12
+ matchRiddleProofSemanticCertificateClosure,
13
+ parseRiddleProofSemanticCertificate,
14
+ riddleProofSemanticScopesEqual,
15
+ validateRiddleProofSemanticCertificateClosure
16
+ } from "@riddledc/riddle-proof-core/semantic-certificate";
17
+
18
+ export {
19
+ RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_MAX_CERTIFICATES,
20
+ RIDDLE_PROOF_SEMANTIC_CERTIFICATE_CLOSURE_VERSION,
21
+ RIDDLE_PROOF_SEMANTIC_CERTIFICATE_VERSION,
22
+ composeRiddleProofSemanticCertificateClosures,
23
+ composeRiddleProofSemanticCertificates,
24
+ createRiddleProofSemanticAtomicCertificateClosure,
25
+ createRiddleProofSemanticCertificate,
26
+ matchRiddleProofSemanticCertificate,
27
+ matchRiddleProofSemanticCertificateClosure,
28
+ parseRiddleProofSemanticCertificate,
29
+ riddleProofSemanticScopesEqual,
30
+ validateRiddleProofSemanticCertificateClosure
31
+ };
@@ -0,0 +1,43 @@
1
+ // src/checked-meaning.ts
2
+ export * from "@riddledc/riddle-proof-core/checked-meaning";
3
+ import {
4
+ RIDDLE_PROOF_CHECKED_MEANING_ASSURANCE,
5
+ RIDDLE_PROOF_CHECKED_MEANING_CLOSURE_VERSION,
6
+ RIDDLE_PROOF_CHECKED_MEANING_MATERIALIZED_RULE_DIGEST_DOMAIN,
7
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_AGE_MS,
8
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_CONSUMPTION_WINDOW_MS,
9
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_DEFINITION_BYTES,
10
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_PARAMETERS,
11
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_PREMISES,
12
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_RULES,
13
+ RIDDLE_PROOF_CHECKED_MEANING_RULE_DIGEST_DOMAIN,
14
+ RIDDLE_PROOF_CHECKED_MEANING_RULE_ENGINE,
15
+ assessRiddleProofCheckedMeaningClosure,
16
+ composeRiddleProofCheckedMeaningClosures,
17
+ createRiddleProofCheckedMeaningAtomicClosure,
18
+ createRiddleProofCheckedMeaningRule,
19
+ matchRiddleProofCheckedMeaningClosure,
20
+ replayRiddleProofCheckedMeaningClosure,
21
+ validateRiddleProofCheckedMeaningClosure
22
+ } from "@riddledc/riddle-proof-core/checked-meaning";
23
+
24
+ export {
25
+ RIDDLE_PROOF_CHECKED_MEANING_ASSURANCE,
26
+ RIDDLE_PROOF_CHECKED_MEANING_CLOSURE_VERSION,
27
+ RIDDLE_PROOF_CHECKED_MEANING_MATERIALIZED_RULE_DIGEST_DOMAIN,
28
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_AGE_MS,
29
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_CONSUMPTION_WINDOW_MS,
30
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_DEFINITION_BYTES,
31
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_PARAMETERS,
32
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_PREMISES,
33
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_RULES,
34
+ RIDDLE_PROOF_CHECKED_MEANING_RULE_DIGEST_DOMAIN,
35
+ RIDDLE_PROOF_CHECKED_MEANING_RULE_ENGINE,
36
+ assessRiddleProofCheckedMeaningClosure,
37
+ composeRiddleProofCheckedMeaningClosures,
38
+ createRiddleProofCheckedMeaningAtomicClosure,
39
+ createRiddleProofCheckedMeaningRule,
40
+ matchRiddleProofCheckedMeaningClosure,
41
+ replayRiddleProofCheckedMeaningClosure,
42
+ validateRiddleProofCheckedMeaningClosure
43
+ };
@@ -0,0 +1,17 @@
1
+ // src/receipts.ts
2
+ export * from "@riddledc/riddle-proof-core/receipts";
3
+ import {
4
+ RIDDLE_PREVIEW_RECEIPT_VERSION,
5
+ RIDDLE_PROOF_OBSERVATION_RECEIPT_VERSION,
6
+ createRiddleProofObservationReceipt,
7
+ parseRiddlePreviewReceipt,
8
+ parseRiddleProofObservationReceipt
9
+ } from "@riddledc/riddle-proof-core/receipts";
10
+
11
+ export {
12
+ RIDDLE_PREVIEW_RECEIPT_VERSION,
13
+ RIDDLE_PROOF_OBSERVATION_RECEIPT_VERSION,
14
+ createRiddleProofObservationReceipt,
15
+ parseRiddlePreviewReceipt,
16
+ parseRiddleProofObservationReceipt
17
+ };
package/dist/cli/index.js CHANGED
@@ -1,16 +1,16 @@
1
- import "../chunk-QYZ3GKCP.js";
2
- import "../chunk-5IFZSUPF.js";
1
+ import "../chunk-3W4NGKZ6.js";
2
+ import "../chunk-KB7FYRBG.js";
3
+ import "../chunk-7W6ZJPHJ.js";
3
4
  import "../chunk-JFQXAJH2.js";
4
- import "../chunk-7OAETQU3.js";
5
- import "../chunk-FW7CKARF.js";
6
- import "../chunk-LR4UYJDY.js";
7
- import "../chunk-MEVVL4TI.js";
8
- import "../chunk-2K3DIK7A.js";
5
+ import "../chunk-BVYM4WJ5.js";
6
+ import "../chunk-NR2XQXIC.js";
7
+ import "../chunk-KF6F2RMQ.js";
8
+ import "../chunk-OHDNCXRM.js";
9
9
  import "../chunk-KXLEN4SA.js";
10
- import "../chunk-WLUMLHII.js";
10
+ import "../chunk-BID7CKMM.js";
11
+ import "../chunk-EKZXU6MU.js";
11
12
  import "../chunk-CGJX7LJO.js";
12
13
  import "../chunk-UTCL7FEZ.js";
13
- import "../chunk-EKZXU6MU.js";
14
14
  import "../chunk-DYE3URAQ.js";
15
15
  import "../chunk-NKHZASNQ.js";
16
16
  import "../chunk-ZAR7BWMN.js";