@riddledc/riddle-proof 0.8.83 → 0.8.85

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 (75) hide show
  1. package/README.md +247 -29
  2. package/capabilities.json +17 -0
  3. package/dist/advanced/engine-harness.js +2 -2
  4. package/dist/advanced/index.d.cts +1 -1
  5. package/dist/advanced/index.d.ts +1 -1
  6. package/dist/advanced/index.js +4 -4
  7. package/dist/advanced/proof-run-engine.d.cts +1 -1
  8. package/dist/advanced/proof-run-engine.d.ts +1 -1
  9. package/dist/advanced/runner.js +2 -2
  10. package/dist/change-proof.cjs +22 -260
  11. package/dist/change-proof.d.cts +1 -1
  12. package/dist/change-proof.d.ts +1 -1
  13. package/dist/change-proof.js +2 -2
  14. package/dist/checked-meaning.cjs +67 -0
  15. package/dist/checked-meaning.d.cts +2 -0
  16. package/dist/checked-meaning.d.ts +2 -0
  17. package/dist/checked-meaning.js +41 -0
  18. package/dist/{chunk-QYZ3GKCP.js → chunk-AFARUBE4.js} +12 -11
  19. package/dist/chunk-J2SIQGQI.js +71 -0
  20. package/dist/{chunk-7OAETQU3.js → chunk-JZKLCY5G.js} +1 -1
  21. package/dist/chunk-KB7FYRBG.js +46 -0
  22. package/dist/chunk-NWLKJ2WI.js +31 -0
  23. package/dist/{chunk-LR4UYJDY.js → chunk-O2AO726C.js} +1 -1
  24. package/dist/chunk-ODLGSEP2.js +43 -0
  25. package/dist/chunk-OHDNCXRM.js +17 -0
  26. package/dist/cli/index.js +7 -7
  27. package/dist/cli.cjs +265 -1122
  28. package/dist/cli.d.cts +0 -1
  29. package/dist/cli.d.ts +0 -1
  30. package/dist/cli.js +7 -7
  31. package/dist/engine-harness.js +2 -2
  32. package/dist/grounded-evidence.cjs +95 -0
  33. package/dist/grounded-evidence.d.cts +2 -0
  34. package/dist/grounded-evidence.d.ts +2 -0
  35. package/dist/grounded-evidence.js +69 -0
  36. package/dist/index.cjs +318 -1539
  37. package/dist/index.d.cts +9 -3
  38. package/dist/index.d.ts +9 -3
  39. package/dist/index.js +136 -16
  40. package/dist/pr-comment.cjs +17 -107
  41. package/dist/pr-comment.d.cts +1 -1
  42. package/dist/pr-comment.d.ts +1 -1
  43. package/dist/pr-comment.js +3 -3
  44. package/dist/{proof-run-engine-MiKZt9oY.d.ts → proof-run-engine-BqRoA3Do.d.ts} +3 -3
  45. package/dist/{proof-run-engine-Baiv6l3A.d.cts → proof-run-engine-DpChFR5H.d.cts} +3 -3
  46. package/dist/proof-run-engine.d.cts +1 -1
  47. package/dist/proof-run-engine.d.ts +1 -1
  48. package/dist/receipts.cjs +10 -255
  49. package/dist/receipts.d.cts +7 -115
  50. package/dist/receipts.d.ts +7 -115
  51. package/dist/receipts.js +1 -1
  52. package/dist/riddle-client.cjs +23 -695
  53. package/dist/riddle-client.d.cts +1 -188
  54. package/dist/riddle-client.d.ts +1 -188
  55. package/dist/riddle-client.js +5 -2
  56. package/dist/runner.js +2 -2
  57. package/dist/runtime/index.cjs +23 -695
  58. package/dist/runtime/index.d.cts +1 -5
  59. package/dist/runtime/index.d.ts +1 -5
  60. package/dist/runtime/index.js +5 -2
  61. package/dist/runtime/riddle-client.cjs +23 -695
  62. package/dist/runtime/riddle-client.d.cts +1 -5
  63. package/dist/runtime/riddle-client.d.ts +1 -5
  64. package/dist/runtime/riddle-client.js +5 -2
  65. package/dist/semantic-certificate.cjs +23 -582
  66. package/dist/semantic-certificate.d.cts +2 -191
  67. package/dist/semantic-certificate.d.ts +2 -191
  68. package/dist/semantic-certificate.js +15 -3
  69. package/package.json +28 -5
  70. package/runtime/lib/riddle_core_call.mjs +3 -806
  71. package/dist/chunk-5IFZSUPF.js +0 -644
  72. package/dist/chunk-DB5ZHRUP.js +0 -585
  73. package/dist/chunk-MEVVL4TI.js +0 -258
  74. package/dist/{chunk-WLUMLHII.js → chunk-BID7CKMM.js} +9 -9
  75. package/dist/{chunk-YH7ADFY4.js → chunk-IVSP24XI.js} +3 -3
@@ -0,0 +1,71 @@
1
+ // src/grounded-evidence.ts
2
+ export * from "@riddledc/riddle-proof-core/grounded-evidence";
3
+ import {
4
+ RIDDLE_PROOF_GROUNDED_CAPTURE_MAX_ARTIFACTS,
5
+ RIDDLE_PROOF_GROUNDED_CAPTURE_MAX_ARTIFACT_BYTES,
6
+ RIDDLE_PROOF_GROUNDED_CAPTURE_MAX_OBSERVATION_BYTES,
7
+ RIDDLE_PROOF_GROUNDED_CAPTURE_MAX_TIME_WINDOW_MS,
8
+ RIDDLE_PROOF_GROUNDED_CAPTURE_MAX_TOTAL_ARTIFACT_BYTES,
9
+ RIDDLE_PROOF_GROUNDED_CAPTURE_STATEMENT_VERSION,
10
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_DEFINITION_DIGEST_DOMAIN,
11
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_JSON_CONTRACT_ENGINE,
12
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_JSON_VERIFIER_ENGINE,
13
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_MAX_ASSERTIONS,
14
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_MAX_DEFINITION_BYTES,
15
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_MAX_POINTER_BYTES,
16
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_MAX_POINTER_SEGMENTS,
17
+ RIDDLE_PROOF_GROUNDED_REPLAY_MAX_AGGREGATE_CONFIG_BYTES,
18
+ RIDDLE_PROOF_GROUNDED_REPLAY_MAX_AGGREGATE_REGISTRY_ENTRIES,
19
+ RIDDLE_PROOF_GROUNDED_REPLAY_MAX_AGGREGATE_TRUSTED_KEY_BYTES,
20
+ RIDDLE_PROOF_GROUNDED_SEMANTIC_CERTIFICATE_CLOSURE_VERSION,
21
+ RIDDLE_PROOF_GROUNDED_SEMANTIC_CLOSURE_MAX_METADATA_BYTES,
22
+ RIDDLE_PROOF_GROUNDED_SEMANTIC_CLOSURE_MAX_TOTAL_ARTIFACT_BYTES,
23
+ RIDDLE_PROOF_GROUNDED_VERIFICATION_RECEIPT_VERSION,
24
+ RIDDLE_PROOF_SIGNED_CAPTURE_BUNDLE_VERSION,
25
+ RIDDLE_PROOF_SIGNED_CAPTURE_SIGNATURE_DOMAIN,
26
+ composeRiddleProofGroundedSemanticCertificateClosures,
27
+ createRiddleProofGroundedDeclarativeJsonContract,
28
+ createRiddleProofGroundedDeclarativeJsonVerifier,
29
+ createRiddleProofGroundedSemanticAtomicCertificateClosure,
30
+ createRiddleProofGroundedSemanticCertificate,
31
+ createRiddleProofSignedCaptureBundle,
32
+ matchRiddleProofGroundedSemanticCertificateClosure,
33
+ replayRiddleProofGroundedSemanticCertificate,
34
+ validateRiddleProofGroundedSemanticCertificateClosure,
35
+ verifyRiddleProofSignedCaptureBundle
36
+ } from "@riddledc/riddle-proof-core/grounded-evidence";
37
+
38
+ export {
39
+ RIDDLE_PROOF_GROUNDED_CAPTURE_MAX_ARTIFACTS,
40
+ RIDDLE_PROOF_GROUNDED_CAPTURE_MAX_ARTIFACT_BYTES,
41
+ RIDDLE_PROOF_GROUNDED_CAPTURE_MAX_OBSERVATION_BYTES,
42
+ RIDDLE_PROOF_GROUNDED_CAPTURE_MAX_TIME_WINDOW_MS,
43
+ RIDDLE_PROOF_GROUNDED_CAPTURE_MAX_TOTAL_ARTIFACT_BYTES,
44
+ RIDDLE_PROOF_GROUNDED_CAPTURE_STATEMENT_VERSION,
45
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_DEFINITION_DIGEST_DOMAIN,
46
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_JSON_CONTRACT_ENGINE,
47
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_JSON_VERIFIER_ENGINE,
48
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_MAX_ASSERTIONS,
49
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_MAX_DEFINITION_BYTES,
50
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_MAX_POINTER_BYTES,
51
+ RIDDLE_PROOF_GROUNDED_DECLARATIVE_MAX_POINTER_SEGMENTS,
52
+ RIDDLE_PROOF_GROUNDED_REPLAY_MAX_AGGREGATE_CONFIG_BYTES,
53
+ RIDDLE_PROOF_GROUNDED_REPLAY_MAX_AGGREGATE_REGISTRY_ENTRIES,
54
+ RIDDLE_PROOF_GROUNDED_REPLAY_MAX_AGGREGATE_TRUSTED_KEY_BYTES,
55
+ RIDDLE_PROOF_GROUNDED_SEMANTIC_CERTIFICATE_CLOSURE_VERSION,
56
+ RIDDLE_PROOF_GROUNDED_SEMANTIC_CLOSURE_MAX_METADATA_BYTES,
57
+ RIDDLE_PROOF_GROUNDED_SEMANTIC_CLOSURE_MAX_TOTAL_ARTIFACT_BYTES,
58
+ RIDDLE_PROOF_GROUNDED_VERIFICATION_RECEIPT_VERSION,
59
+ RIDDLE_PROOF_SIGNED_CAPTURE_BUNDLE_VERSION,
60
+ RIDDLE_PROOF_SIGNED_CAPTURE_SIGNATURE_DOMAIN,
61
+ composeRiddleProofGroundedSemanticCertificateClosures,
62
+ createRiddleProofGroundedDeclarativeJsonContract,
63
+ createRiddleProofGroundedDeclarativeJsonVerifier,
64
+ createRiddleProofGroundedSemanticAtomicCertificateClosure,
65
+ createRiddleProofGroundedSemanticCertificate,
66
+ createRiddleProofSignedCaptureBundle,
67
+ matchRiddleProofGroundedSemanticCertificateClosure,
68
+ replayRiddleProofGroundedSemanticCertificate,
69
+ validateRiddleProofGroundedSemanticCertificateClosure,
70
+ verifyRiddleProofSignedCaptureBundle
71
+ };
@@ -5,7 +5,7 @@ import {
5
5
  createRiddleProofHandoffReceipt,
6
6
  parseRiddleProofChangeReceipt,
7
7
  parseRiddleProofHandoffReceipt
8
- } from "./chunk-LR4UYJDY.js";
8
+ } from "./chunk-O2AO726C.js";
9
9
  import {
10
10
  riddleProofPublicStateAllowsMergeRecommendation,
11
11
  riddleProofPublicStateMergeRecommendation,
@@ -0,0 +1,46 @@
1
+ // src/riddle-client.ts
2
+ import {
3
+ DEFAULT_RIDDLE_API_BASE_URL,
4
+ DEFAULT_RIDDLE_API_KEY_FILE,
5
+ RIDDLE_BALANCE_ENDPOINT_PATH,
6
+ RIDDLE_UNSUBMITTED_WAKE_HINT,
7
+ RiddleApiError,
8
+ collectRiddlePreviewDeployWarnings,
9
+ createRiddleApiClient,
10
+ deployRiddlePreview,
11
+ deployRiddleStaticPreview,
12
+ detectRiddlePreviewSource,
13
+ getRiddleBalance,
14
+ getRiddleJobArtifacts,
15
+ isTerminalRiddleJobStatus,
16
+ parseRiddleViewport,
17
+ pollRiddleJob,
18
+ resolveRiddleApiKey,
19
+ resolveRiddleApiKeySource,
20
+ riddleRequestJson,
21
+ runRiddleScript,
22
+ runRiddleServerPreview
23
+ } from "@riddledc/riddle-proof-riddle-client/client";
24
+
25
+ export {
26
+ DEFAULT_RIDDLE_API_BASE_URL,
27
+ DEFAULT_RIDDLE_API_KEY_FILE,
28
+ RIDDLE_BALANCE_ENDPOINT_PATH,
29
+ RIDDLE_UNSUBMITTED_WAKE_HINT,
30
+ RiddleApiError,
31
+ collectRiddlePreviewDeployWarnings,
32
+ createRiddleApiClient,
33
+ deployRiddlePreview,
34
+ deployRiddleStaticPreview,
35
+ detectRiddlePreviewSource,
36
+ getRiddleBalance,
37
+ getRiddleJobArtifacts,
38
+ isTerminalRiddleJobStatus,
39
+ parseRiddleViewport,
40
+ pollRiddleJob,
41
+ resolveRiddleApiKey,
42
+ resolveRiddleApiKeySource,
43
+ riddleRequestJson,
44
+ runRiddleScript,
45
+ runRiddleServerPreview
46
+ };
@@ -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
+ };
@@ -1,7 +1,7 @@
1
1
  import {
2
2
  createRiddleProofObservationReceipt,
3
3
  parseRiddleProofObservationReceipt
4
- } from "./chunk-MEVVL4TI.js";
4
+ } from "./chunk-OHDNCXRM.js";
5
5
  import {
6
6
  RIDDLE_PROOF_PROFILE_STATUSES
7
7
  } from "./chunk-2K3DIK7A.js";
@@ -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-AFARUBE4.js";
2
+ import "../chunk-KB7FYRBG.js";
3
3
  import "../chunk-JFQXAJH2.js";
4
- import "../chunk-7OAETQU3.js";
4
+ import "../chunk-JZKLCY5G.js";
5
5
  import "../chunk-FW7CKARF.js";
6
- import "../chunk-LR4UYJDY.js";
7
- import "../chunk-MEVVL4TI.js";
6
+ import "../chunk-O2AO726C.js";
7
+ import "../chunk-OHDNCXRM.js";
8
8
  import "../chunk-2K3DIK7A.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";