@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.
- package/README.md +193 -0
- package/capabilities.json +17 -0
- package/dist/advanced/engine-harness.js +2 -2
- package/dist/advanced/index.js +4 -4
- package/dist/advanced/runner.js +2 -2
- package/dist/change-proof.cjs +22 -260
- package/dist/change-proof.d.cts +1 -1
- package/dist/change-proof.d.ts +1 -1
- package/dist/change-proof.js +2 -2
- package/dist/checked-meaning.cjs +67 -0
- package/dist/checked-meaning.d.cts +2 -0
- package/dist/checked-meaning.d.ts +2 -0
- package/dist/checked-meaning.js +41 -0
- package/dist/{chunk-QYZ3GKCP.js → chunk-AFARUBE4.js} +12 -11
- package/dist/chunk-J2SIQGQI.js +71 -0
- package/dist/{chunk-7OAETQU3.js → chunk-JZKLCY5G.js} +1 -1
- package/dist/chunk-KB7FYRBG.js +46 -0
- package/dist/chunk-NWLKJ2WI.js +31 -0
- package/dist/{chunk-LR4UYJDY.js → chunk-O2AO726C.js} +1 -1
- package/dist/chunk-ODLGSEP2.js +43 -0
- package/dist/chunk-OHDNCXRM.js +17 -0
- package/dist/cli/index.js +7 -7
- package/dist/cli.cjs +265 -1122
- package/dist/cli.d.cts +0 -1
- package/dist/cli.d.ts +0 -1
- package/dist/cli.js +7 -7
- package/dist/engine-harness.js +2 -2
- package/dist/grounded-evidence.cjs +95 -0
- package/dist/grounded-evidence.d.cts +2 -0
- package/dist/grounded-evidence.d.ts +2 -0
- package/dist/grounded-evidence.js +69 -0
- package/dist/index.cjs +314 -2042
- package/dist/index.d.cts +9 -3
- package/dist/index.d.ts +9 -3
- package/dist/index.js +126 -18
- package/dist/pr-comment.cjs +17 -107
- package/dist/pr-comment.d.cts +1 -1
- package/dist/pr-comment.d.ts +1 -1
- package/dist/pr-comment.js +3 -3
- package/dist/receipts.cjs +10 -255
- package/dist/receipts.d.cts +7 -115
- package/dist/receipts.d.ts +7 -115
- package/dist/receipts.js +1 -1
- package/dist/riddle-client.cjs +23 -695
- package/dist/riddle-client.d.cts +1 -188
- package/dist/riddle-client.d.ts +1 -188
- package/dist/riddle-client.js +5 -2
- package/dist/runner.js +2 -2
- package/dist/runtime/index.cjs +23 -695
- package/dist/runtime/index.d.cts +1 -5
- package/dist/runtime/index.d.ts +1 -5
- package/dist/runtime/index.js +5 -2
- package/dist/runtime/riddle-client.cjs +23 -695
- package/dist/runtime/riddle-client.d.cts +1 -5
- package/dist/runtime/riddle-client.d.ts +1 -5
- package/dist/runtime/riddle-client.js +5 -2
- package/dist/semantic-certificate.cjs +17 -1083
- package/dist/semantic-certificate.d.cts +2 -310
- package/dist/semantic-certificate.d.ts +2 -310
- package/dist/semantic-certificate.js +1 -1
- package/package.json +28 -5
- package/runtime/lib/riddle_core_call.mjs +3 -806
- package/dist/chunk-5IFZSUPF.js +0 -644
- package/dist/chunk-AQTCU6W5.js +0 -1086
- package/dist/chunk-MEVVL4TI.js +0 -258
- package/dist/{chunk-WLUMLHII.js → chunk-BID7CKMM.js} +9 -9
- 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-
|
|
7
|
+
} from "./chunk-KB7FYRBG.js";
|
|
7
8
|
import {
|
|
8
9
|
RIDDLE_PROOF_PR_COMMENT_MARKER,
|
|
9
10
|
buildRiddleProofPrCommentMarkdown,
|
|
10
11
|
summarizeRiddleProofPrComment
|
|
11
|
-
} from "./chunk-
|
|
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-
|
|
22
|
+
} from "./chunk-O2AO726C.js";
|
|
22
23
|
import {
|
|
23
24
|
createRiddleProofObservationReceipt,
|
|
24
25
|
parseRiddlePreviewReceipt,
|
|
25
26
|
parseRiddleProofObservationReceipt
|
|
26
|
-
} from "./chunk-
|
|
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-
|
|
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:
|
|
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:
|
|
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.
|
|
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:
|
|
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:
|
|
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.
|
|
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-
|
|
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
|
+
};
|
|
@@ -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-
|
|
2
|
-
import "../chunk-
|
|
1
|
+
import "../chunk-AFARUBE4.js";
|
|
2
|
+
import "../chunk-KB7FYRBG.js";
|
|
3
3
|
import "../chunk-JFQXAJH2.js";
|
|
4
|
-
import "../chunk-
|
|
4
|
+
import "../chunk-JZKLCY5G.js";
|
|
5
5
|
import "../chunk-FW7CKARF.js";
|
|
6
|
-
import "../chunk-
|
|
7
|
-
import "../chunk-
|
|
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-
|
|
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";
|