@riddledc/riddle-proof 0.8.84 → 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 (67) 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.js +4 -4
  5. package/dist/advanced/runner.js +2 -2
  6. package/dist/change-proof.cjs +22 -260
  7. package/dist/change-proof.d.cts +1 -1
  8. package/dist/change-proof.d.ts +1 -1
  9. package/dist/change-proof.js +2 -2
  10. package/dist/checked-meaning.cjs +67 -0
  11. package/dist/checked-meaning.d.cts +2 -0
  12. package/dist/checked-meaning.d.ts +2 -0
  13. package/dist/checked-meaning.js +41 -0
  14. package/dist/{chunk-QYZ3GKCP.js → chunk-AFARUBE4.js} +12 -11
  15. package/dist/chunk-J2SIQGQI.js +71 -0
  16. package/dist/{chunk-7OAETQU3.js → chunk-JZKLCY5G.js} +1 -1
  17. package/dist/chunk-KB7FYRBG.js +46 -0
  18. package/dist/chunk-NWLKJ2WI.js +31 -0
  19. package/dist/{chunk-LR4UYJDY.js → chunk-O2AO726C.js} +1 -1
  20. package/dist/chunk-ODLGSEP2.js +43 -0
  21. package/dist/chunk-OHDNCXRM.js +17 -0
  22. package/dist/cli/index.js +7 -7
  23. package/dist/cli.cjs +265 -1122
  24. package/dist/cli.d.cts +0 -1
  25. package/dist/cli.d.ts +0 -1
  26. package/dist/cli.js +7 -7
  27. package/dist/engine-harness.js +2 -2
  28. package/dist/grounded-evidence.cjs +95 -0
  29. package/dist/grounded-evidence.d.cts +2 -0
  30. package/dist/grounded-evidence.d.ts +2 -0
  31. package/dist/grounded-evidence.js +69 -0
  32. package/dist/index.cjs +314 -2042
  33. package/dist/index.d.cts +9 -3
  34. package/dist/index.d.ts +9 -3
  35. package/dist/index.js +126 -18
  36. package/dist/pr-comment.cjs +17 -107
  37. package/dist/pr-comment.d.cts +1 -1
  38. package/dist/pr-comment.d.ts +1 -1
  39. package/dist/pr-comment.js +3 -3
  40. package/dist/receipts.cjs +10 -255
  41. package/dist/receipts.d.cts +7 -115
  42. package/dist/receipts.d.ts +7 -115
  43. package/dist/receipts.js +1 -1
  44. package/dist/riddle-client.cjs +23 -695
  45. package/dist/riddle-client.d.cts +1 -188
  46. package/dist/riddle-client.d.ts +1 -188
  47. package/dist/riddle-client.js +5 -2
  48. package/dist/runner.js +2 -2
  49. package/dist/runtime/index.cjs +23 -695
  50. package/dist/runtime/index.d.cts +1 -5
  51. package/dist/runtime/index.d.ts +1 -5
  52. package/dist/runtime/index.js +5 -2
  53. package/dist/runtime/riddle-client.cjs +23 -695
  54. package/dist/runtime/riddle-client.d.cts +1 -5
  55. package/dist/runtime/riddle-client.d.ts +1 -5
  56. package/dist/runtime/riddle-client.js +5 -2
  57. package/dist/semantic-certificate.cjs +17 -1083
  58. package/dist/semantic-certificate.d.cts +2 -310
  59. package/dist/semantic-certificate.d.ts +2 -310
  60. package/dist/semantic-certificate.js +1 -1
  61. package/package.json +28 -5
  62. package/runtime/lib/riddle_core_call.mjs +3 -806
  63. package/dist/chunk-5IFZSUPF.js +0 -644
  64. package/dist/chunk-AQTCU6W5.js +0 -1086
  65. package/dist/chunk-MEVVL4TI.js +0 -258
  66. package/dist/{chunk-WLUMLHII.js → chunk-BID7CKMM.js} +9 -9
  67. package/dist/{chunk-YH7ADFY4.js → chunk-IVSP24XI.js} +3 -3
@@ -0,0 +1,67 @@
1
+ "use strict";
2
+ var __defProp = Object.defineProperty;
3
+ var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
4
+ var __getOwnPropNames = Object.getOwnPropertyNames;
5
+ var __hasOwnProp = Object.prototype.hasOwnProperty;
6
+ var __export = (target, all) => {
7
+ for (var name in all)
8
+ __defProp(target, name, { get: all[name], enumerable: true });
9
+ };
10
+ var __copyProps = (to, from, except, desc) => {
11
+ if (from && typeof from === "object" || typeof from === "function") {
12
+ for (let key of __getOwnPropNames(from))
13
+ if (!__hasOwnProp.call(to, key) && key !== except)
14
+ __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
15
+ }
16
+ return to;
17
+ };
18
+ var __reExport = (target, mod, secondTarget) => (__copyProps(target, mod, "default"), secondTarget && __copyProps(secondTarget, mod, "default"));
19
+ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
20
+
21
+ // src/checked-meaning.ts
22
+ var checked_meaning_exports = {};
23
+ __export(checked_meaning_exports, {
24
+ RIDDLE_PROOF_CHECKED_MEANING_ASSURANCE: () => import_checked_meaning.RIDDLE_PROOF_CHECKED_MEANING_ASSURANCE,
25
+ RIDDLE_PROOF_CHECKED_MEANING_CLOSURE_VERSION: () => import_checked_meaning.RIDDLE_PROOF_CHECKED_MEANING_CLOSURE_VERSION,
26
+ RIDDLE_PROOF_CHECKED_MEANING_MATERIALIZED_RULE_DIGEST_DOMAIN: () => import_checked_meaning.RIDDLE_PROOF_CHECKED_MEANING_MATERIALIZED_RULE_DIGEST_DOMAIN,
27
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_AGE_MS: () => import_checked_meaning.RIDDLE_PROOF_CHECKED_MEANING_MAX_AGE_MS,
28
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_CONSUMPTION_WINDOW_MS: () => import_checked_meaning.RIDDLE_PROOF_CHECKED_MEANING_MAX_CONSUMPTION_WINDOW_MS,
29
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_DEFINITION_BYTES: () => import_checked_meaning.RIDDLE_PROOF_CHECKED_MEANING_MAX_DEFINITION_BYTES,
30
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_PARAMETERS: () => import_checked_meaning.RIDDLE_PROOF_CHECKED_MEANING_MAX_PARAMETERS,
31
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_PREMISES: () => import_checked_meaning.RIDDLE_PROOF_CHECKED_MEANING_MAX_PREMISES,
32
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_RULES: () => import_checked_meaning.RIDDLE_PROOF_CHECKED_MEANING_MAX_RULES,
33
+ RIDDLE_PROOF_CHECKED_MEANING_RULE_DIGEST_DOMAIN: () => import_checked_meaning.RIDDLE_PROOF_CHECKED_MEANING_RULE_DIGEST_DOMAIN,
34
+ RIDDLE_PROOF_CHECKED_MEANING_RULE_ENGINE: () => import_checked_meaning.RIDDLE_PROOF_CHECKED_MEANING_RULE_ENGINE,
35
+ assessRiddleProofCheckedMeaningClosure: () => import_checked_meaning.assessRiddleProofCheckedMeaningClosure,
36
+ composeRiddleProofCheckedMeaningClosures: () => import_checked_meaning.composeRiddleProofCheckedMeaningClosures,
37
+ createRiddleProofCheckedMeaningAtomicClosure: () => import_checked_meaning.createRiddleProofCheckedMeaningAtomicClosure,
38
+ createRiddleProofCheckedMeaningRule: () => import_checked_meaning.createRiddleProofCheckedMeaningRule,
39
+ matchRiddleProofCheckedMeaningClosure: () => import_checked_meaning.matchRiddleProofCheckedMeaningClosure,
40
+ replayRiddleProofCheckedMeaningClosure: () => import_checked_meaning.replayRiddleProofCheckedMeaningClosure,
41
+ validateRiddleProofCheckedMeaningClosure: () => import_checked_meaning.validateRiddleProofCheckedMeaningClosure
42
+ });
43
+ module.exports = __toCommonJS(checked_meaning_exports);
44
+ __reExport(checked_meaning_exports, require("@riddledc/riddle-proof-core/checked-meaning"), module.exports);
45
+ var import_checked_meaning = require("@riddledc/riddle-proof-core/checked-meaning");
46
+ // Annotate the CommonJS export names for ESM import in node:
47
+ 0 && (module.exports = {
48
+ RIDDLE_PROOF_CHECKED_MEANING_ASSURANCE,
49
+ RIDDLE_PROOF_CHECKED_MEANING_CLOSURE_VERSION,
50
+ RIDDLE_PROOF_CHECKED_MEANING_MATERIALIZED_RULE_DIGEST_DOMAIN,
51
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_AGE_MS,
52
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_CONSUMPTION_WINDOW_MS,
53
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_DEFINITION_BYTES,
54
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_PARAMETERS,
55
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_PREMISES,
56
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_RULES,
57
+ RIDDLE_PROOF_CHECKED_MEANING_RULE_DIGEST_DOMAIN,
58
+ RIDDLE_PROOF_CHECKED_MEANING_RULE_ENGINE,
59
+ assessRiddleProofCheckedMeaningClosure,
60
+ composeRiddleProofCheckedMeaningClosures,
61
+ createRiddleProofCheckedMeaningAtomicClosure,
62
+ createRiddleProofCheckedMeaningRule,
63
+ matchRiddleProofCheckedMeaningClosure,
64
+ replayRiddleProofCheckedMeaningClosure,
65
+ validateRiddleProofCheckedMeaningClosure,
66
+ ...require("@riddledc/riddle-proof-core/checked-meaning")
67
+ });
@@ -0,0 +1,2 @@
1
+ export * from '@riddledc/riddle-proof-core/checked-meaning';
2
+ export { RIDDLE_PROOF_CHECKED_MEANING_ASSURANCE, RIDDLE_PROOF_CHECKED_MEANING_CLOSURE_VERSION, RIDDLE_PROOF_CHECKED_MEANING_MATERIALIZED_RULE_DIGEST_DOMAIN, RIDDLE_PROOF_CHECKED_MEANING_MAX_AGE_MS, RIDDLE_PROOF_CHECKED_MEANING_MAX_CONSUMPTION_WINDOW_MS, RIDDLE_PROOF_CHECKED_MEANING_MAX_DEFINITION_BYTES, RIDDLE_PROOF_CHECKED_MEANING_MAX_PARAMETERS, RIDDLE_PROOF_CHECKED_MEANING_MAX_PREMISES, RIDDLE_PROOF_CHECKED_MEANING_MAX_RULES, RIDDLE_PROOF_CHECKED_MEANING_RULE_DIGEST_DOMAIN, RIDDLE_PROOF_CHECKED_MEANING_RULE_ENGINE, assessRiddleProofCheckedMeaningClosure, composeRiddleProofCheckedMeaningClosures, createRiddleProofCheckedMeaningAtomicClosure, createRiddleProofCheckedMeaningRule, matchRiddleProofCheckedMeaningClosure, replayRiddleProofCheckedMeaningClosure, validateRiddleProofCheckedMeaningClosure } from '@riddledc/riddle-proof-core/checked-meaning';
@@ -0,0 +1,2 @@
1
+ export * from '@riddledc/riddle-proof-core/checked-meaning';
2
+ export { RIDDLE_PROOF_CHECKED_MEANING_ASSURANCE, RIDDLE_PROOF_CHECKED_MEANING_CLOSURE_VERSION, RIDDLE_PROOF_CHECKED_MEANING_MATERIALIZED_RULE_DIGEST_DOMAIN, RIDDLE_PROOF_CHECKED_MEANING_MAX_AGE_MS, RIDDLE_PROOF_CHECKED_MEANING_MAX_CONSUMPTION_WINDOW_MS, RIDDLE_PROOF_CHECKED_MEANING_MAX_DEFINITION_BYTES, RIDDLE_PROOF_CHECKED_MEANING_MAX_PARAMETERS, RIDDLE_PROOF_CHECKED_MEANING_MAX_PREMISES, RIDDLE_PROOF_CHECKED_MEANING_MAX_RULES, RIDDLE_PROOF_CHECKED_MEANING_RULE_DIGEST_DOMAIN, RIDDLE_PROOF_CHECKED_MEANING_RULE_ENGINE, assessRiddleProofCheckedMeaningClosure, composeRiddleProofCheckedMeaningClosures, createRiddleProofCheckedMeaningAtomicClosure, createRiddleProofCheckedMeaningRule, matchRiddleProofCheckedMeaningClosure, replayRiddleProofCheckedMeaningClosure, validateRiddleProofCheckedMeaningClosure } from '@riddledc/riddle-proof-core/checked-meaning';
@@ -0,0 +1,41 @@
1
+ import {
2
+ RIDDLE_PROOF_CHECKED_MEANING_ASSURANCE,
3
+ RIDDLE_PROOF_CHECKED_MEANING_CLOSURE_VERSION,
4
+ RIDDLE_PROOF_CHECKED_MEANING_MATERIALIZED_RULE_DIGEST_DOMAIN,
5
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_AGE_MS,
6
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_CONSUMPTION_WINDOW_MS,
7
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_DEFINITION_BYTES,
8
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_PARAMETERS,
9
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_PREMISES,
10
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_RULES,
11
+ RIDDLE_PROOF_CHECKED_MEANING_RULE_DIGEST_DOMAIN,
12
+ RIDDLE_PROOF_CHECKED_MEANING_RULE_ENGINE,
13
+ assessRiddleProofCheckedMeaningClosure,
14
+ composeRiddleProofCheckedMeaningClosures,
15
+ createRiddleProofCheckedMeaningAtomicClosure,
16
+ createRiddleProofCheckedMeaningRule,
17
+ matchRiddleProofCheckedMeaningClosure,
18
+ replayRiddleProofCheckedMeaningClosure,
19
+ validateRiddleProofCheckedMeaningClosure
20
+ } from "./chunk-ODLGSEP2.js";
21
+ import "./chunk-MLKGABMK.js";
22
+ export {
23
+ RIDDLE_PROOF_CHECKED_MEANING_ASSURANCE,
24
+ RIDDLE_PROOF_CHECKED_MEANING_CLOSURE_VERSION,
25
+ RIDDLE_PROOF_CHECKED_MEANING_MATERIALIZED_RULE_DIGEST_DOMAIN,
26
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_AGE_MS,
27
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_CONSUMPTION_WINDOW_MS,
28
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_DEFINITION_BYTES,
29
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_PARAMETERS,
30
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_PREMISES,
31
+ RIDDLE_PROOF_CHECKED_MEANING_MAX_RULES,
32
+ RIDDLE_PROOF_CHECKED_MEANING_RULE_DIGEST_DOMAIN,
33
+ RIDDLE_PROOF_CHECKED_MEANING_RULE_ENGINE,
34
+ assessRiddleProofCheckedMeaningClosure,
35
+ composeRiddleProofCheckedMeaningClosures,
36
+ createRiddleProofCheckedMeaningAtomicClosure,
37
+ createRiddleProofCheckedMeaningRule,
38
+ matchRiddleProofCheckedMeaningClosure,
39
+ replayRiddleProofCheckedMeaningClosure,
40
+ validateRiddleProofCheckedMeaningClosure
41
+ };
@@ -1,14 +1,15 @@
1
1
  import {
2
+ RIDDLE_BALANCE_ENDPOINT_PATH,
2
3
  RIDDLE_UNSUBMITTED_WAKE_HINT,
3
4
  createRiddleApiClient,
4
5
  isTerminalRiddleJobStatus,
5
6
  parseRiddleViewport
6
- } from "./chunk-5IFZSUPF.js";
7
+ } from "./chunk-KB7FYRBG.js";
7
8
  import {
8
9
  RIDDLE_PROOF_PR_COMMENT_MARKER,
9
10
  buildRiddleProofPrCommentMarkdown,
10
11
  summarizeRiddleProofPrComment
11
- } from "./chunk-7OAETQU3.js";
12
+ } from "./chunk-JZKLCY5G.js";
12
13
  import {
13
14
  suggestRiddleProofProfileChecks
14
15
  } from "./chunk-FW7CKARF.js";
@@ -18,12 +19,12 @@ import {
18
19
  createRiddleProofHandoffReceipt,
19
20
  riddleProofChangeReceiptHtml,
20
21
  riddleProofChangeReceiptMarkdown
21
- } from "./chunk-LR4UYJDY.js";
22
+ } from "./chunk-O2AO726C.js";
22
23
  import {
23
24
  createRiddleProofObservationReceipt,
24
25
  parseRiddlePreviewReceipt,
25
26
  parseRiddleProofObservationReceipt
26
- } from "./chunk-MEVVL4TI.js";
27
+ } from "./chunk-OHDNCXRM.js";
27
28
  import {
28
29
  RIDDLE_PROOF_PROFILE_EVIDENCE_VERSION,
29
30
  applyRiddleProofProfileArtifactCompleteness,
@@ -50,7 +51,7 @@ import {
50
51
  createDisabledRiddleProofAgentAdapter,
51
52
  readRiddleProofRunStatus,
52
53
  runRiddleProofEngineHarness
53
- } from "./chunk-WLUMLHII.js";
54
+ } from "./chunk-BID7CKMM.js";
54
55
  import {
55
56
  createCheckpointResponseTemplate
56
57
  } from "./chunk-DYE3URAQ.js";
@@ -593,7 +594,7 @@ async function hostedRiddleSuiteEnvironmentBlocker(cases, options) {
593
594
  error: message,
594
595
  environment_blocker: {
595
596
  source: "riddle_api",
596
- endpoint: "/v1/balance",
597
+ endpoint: RIDDLE_BALANCE_ENDPOINT_PATH,
597
598
  reason: "balance_preflight_failed",
598
599
  balance_preflight: true,
599
600
  job_count: cases.length,
@@ -613,7 +614,7 @@ async function hostedRiddleSuiteEnvironmentBlocker(cases, options) {
613
614
  error: `Riddle hosted regression balance preflight failed: ${availableSeconds}s available for ${cases.length} serial hosted job(s), minimum ${requiredSeconds}s required.`,
614
615
  environment_blocker: {
615
616
  source: "riddle_api",
616
- endpoint: "/v1/balance",
617
+ endpoint: RIDDLE_BALANCE_ENDPOINT_PATH,
617
618
  reason: "insufficient_balance",
618
619
  error: "Insufficient available balance",
619
620
  balance_preflight: true,
@@ -4228,7 +4229,7 @@ async function recoverProfileResultFromRiddleArtifacts(profile, input) {
4228
4229
  for (let attempt = 0; attempt < attempts; attempt += 1) {
4229
4230
  let artifactPayload;
4230
4231
  try {
4231
- artifactPayload = await input.client.requestJson(`/v1/jobs/${input.jobId}/artifacts`);
4232
+ artifactPayload = await input.client.getJobArtifacts(input.jobId);
4232
4233
  } catch {
4233
4234
  artifactPayload = {};
4234
4235
  }
@@ -4672,7 +4673,7 @@ async function preflightRiddleProfileBalanceForCli(profile, options, input) {
4672
4673
  error,
4673
4674
  environmentBlocker: {
4674
4675
  source: "riddle_api",
4675
- endpoint: "/v1/balance",
4676
+ endpoint: RIDDLE_BALANCE_ENDPOINT_PATH,
4676
4677
  reason: "balance_preflight_failed",
4677
4678
  balance_preflight: true,
4678
4679
  ...riddleApiErrorBlockerMetadata(error),
@@ -4694,7 +4695,7 @@ async function preflightRiddleProfileBalanceForCli(profile, options, input) {
4694
4695
  error: `Riddle balance preflight failed: ${availableSeconds}s available for ${jobCount} intended hosted job(s), minimum ${requiredSeconds}s required.`,
4695
4696
  environmentBlocker: {
4696
4697
  source: "riddle_api",
4697
- endpoint: "/v1/balance",
4698
+ endpoint: RIDDLE_BALANCE_ENDPOINT_PATH,
4698
4699
  reason: "insufficient_balance",
4699
4700
  error: "Insufficient available balance",
4700
4701
  balance_preflight: true,
@@ -4900,7 +4901,7 @@ async function recoverProfileForCli(profile, options) {
4900
4901
  const client = createRiddleApiClient(riddleClientConfig(options));
4901
4902
  let artifactPayload;
4902
4903
  try {
4903
- artifactPayload = await client.requestJson(`/v1/jobs/${jobId}/artifacts`);
4904
+ artifactPayload = await client.getJobArtifacts(jobId);
4904
4905
  } catch (error) {
4905
4906
  return createRiddleProofProfileEnvironmentBlockedResult({
4906
4907
  profile,
@@ -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";