@riddledc/riddle-proof 0.8.52 → 0.8.54
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/dist/adapters/openclaw.js +4 -4
- package/dist/advanced/engine-harness.cjs +117 -12
- package/dist/advanced/engine-harness.js +4 -4
- package/dist/advanced/index.cjs +117 -12
- package/dist/advanced/index.d.cts +1 -1
- package/dist/advanced/index.d.ts +1 -1
- package/dist/advanced/index.js +5 -5
- package/dist/advanced/proof-run-engine.d.cts +1 -1
- package/dist/advanced/proof-run-engine.d.ts +1 -1
- package/dist/advanced/runner.js +4 -4
- package/dist/checkpoint.cjs +41 -11
- package/dist/checkpoint.d.cts +2 -1
- package/dist/checkpoint.d.ts +2 -1
- package/dist/checkpoint.js +3 -1
- package/dist/{chunk-AXWJJ2LC.js → chunk-BLM5EIBA.js} +40 -11
- package/dist/{chunk-FWHJN3QG.js → chunk-ECLGGGAI.js} +3 -2
- package/dist/{chunk-WURLFN72.js → chunk-IV4DVWPR.js} +82 -4
- package/dist/{chunk-RBAU2M4S.js → chunk-JJ4IWRMJ.js} +1 -1
- package/dist/{chunk-OYWZGDTS.js → chunk-LNWJAHAQ.js} +1 -1
- package/dist/{chunk-2CZORYB7.js → chunk-S5DX7Z6X.js} +1 -1
- package/dist/{chunk-M3IE3VNC.js → chunk-WDIKPIMB.js} +1 -1
- package/dist/cli/index.js +5 -5
- package/dist/cli.cjs +119 -12
- package/dist/cli.js +5 -5
- package/dist/engine-harness.cjs +117 -12
- package/dist/engine-harness.js +4 -4
- package/dist/index.cjs +120 -12
- package/dist/index.d.cts +1 -1
- package/dist/index.d.ts +1 -1
- package/dist/index.js +7 -5
- package/dist/openclaw.js +4 -4
- package/dist/{proof-run-engine-DpChFR5H.d.cts → proof-run-engine-Baiv6l3A.d.cts} +3 -3
- package/dist/{proof-run-engine-BqRoA3Do.d.ts → proof-run-engine-MiKZt9oY.d.ts} +3 -3
- package/dist/proof-run-engine.d.cts +1 -1
- package/dist/proof-run-engine.d.ts +1 -1
- package/dist/run-card.js +2 -2
- package/dist/runner.js +4 -4
- package/dist/spec/checkpoint.cjs +41 -11
- package/dist/spec/checkpoint.d.cts +1 -1
- package/dist/spec/checkpoint.d.ts +1 -1
- package/dist/spec/checkpoint.js +3 -1
- package/dist/spec/index.cjs +41 -11
- package/dist/spec/index.d.cts +1 -1
- package/dist/spec/index.d.ts +1 -1
- package/dist/spec/index.js +5 -3
- package/dist/spec/run-card.js +2 -2
- package/dist/spec/state.js +3 -3
- package/dist/state.js +3 -3
- package/dist/types.d.cts +5 -0
- package/dist/types.d.ts +5 -0
- package/package.json +1 -1
package/dist/engine-harness.js
CHANGED
|
@@ -2,11 +2,11 @@ import {
|
|
|
2
2
|
createDisabledRiddleProofAgentAdapter,
|
|
3
3
|
readRiddleProofRunStatus,
|
|
4
4
|
runRiddleProofEngineHarness
|
|
5
|
-
} from "./chunk-
|
|
6
|
-
import "./chunk-
|
|
7
|
-
import "./chunk-
|
|
5
|
+
} from "./chunk-IV4DVWPR.js";
|
|
6
|
+
import "./chunk-WDIKPIMB.js";
|
|
7
|
+
import "./chunk-JJ4IWRMJ.js";
|
|
8
8
|
import "./chunk-EKZXU6MU.js";
|
|
9
|
-
import "./chunk-
|
|
9
|
+
import "./chunk-BLM5EIBA.js";
|
|
10
10
|
import "./chunk-VY4Y5U57.js";
|
|
11
11
|
import "./chunk-MLKGABMK.js";
|
|
12
12
|
export {
|
package/dist/index.cjs
CHANGED
|
@@ -3458,6 +3458,7 @@ __export(index_exports, {
|
|
|
3458
3458
|
buildRiddleProofProfileScript: () => buildRiddleProofProfileScript,
|
|
3459
3459
|
buildStageCheckpointPacket: () => buildStageCheckpointPacket,
|
|
3460
3460
|
buildVisualProofSession: () => buildVisualProofSession,
|
|
3461
|
+
checkpointPacketIdentity: () => checkpointPacketIdentity,
|
|
3461
3462
|
checkpointResponseIdentity: () => checkpointResponseIdentity,
|
|
3462
3463
|
checkpointSummaryFromState: () => checkpointSummaryFromState,
|
|
3463
3464
|
collectRiddlePreviewDeployWarnings: () => collectRiddlePreviewDeployWarnings,
|
|
@@ -3799,12 +3800,13 @@ function statePathsForRunState(state, engineStatePath2) {
|
|
|
3799
3800
|
function responseSchemaForAuthorPacket() {
|
|
3800
3801
|
return {
|
|
3801
3802
|
type: "object",
|
|
3802
|
-
required: ["version", "run_id", "checkpoint", "decision", "summary", "payload", "created_at"],
|
|
3803
|
+
required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "payload", "created_at"],
|
|
3803
3804
|
additionalProperties: false,
|
|
3804
3805
|
properties: {
|
|
3805
3806
|
version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
|
|
3806
3807
|
run_id: { type: "string" },
|
|
3807
3808
|
checkpoint: { type: "string" },
|
|
3809
|
+
packet_id: { type: "string" },
|
|
3808
3810
|
resume_token: { type: "string" },
|
|
3809
3811
|
decision: {
|
|
3810
3812
|
type: "string",
|
|
@@ -3832,12 +3834,13 @@ function responseSchemaForAuthorPacket() {
|
|
|
3832
3834
|
function responseSchemaForProofAssessmentPacket() {
|
|
3833
3835
|
return {
|
|
3834
3836
|
type: "object",
|
|
3835
|
-
required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
|
|
3837
|
+
required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
|
|
3836
3838
|
additionalProperties: false,
|
|
3837
3839
|
properties: {
|
|
3838
3840
|
version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
|
|
3839
3841
|
run_id: { type: "string" },
|
|
3840
3842
|
checkpoint: { type: "string" },
|
|
3843
|
+
packet_id: { type: "string" },
|
|
3841
3844
|
resume_token: { type: "string" },
|
|
3842
3845
|
decision: {
|
|
3843
3846
|
type: "string",
|
|
@@ -3873,12 +3876,13 @@ function responseSchemaForProofAssessmentPacket() {
|
|
|
3873
3876
|
function responseSchemaForReconPacket() {
|
|
3874
3877
|
return {
|
|
3875
3878
|
type: "object",
|
|
3876
|
-
required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
|
|
3879
|
+
required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
|
|
3877
3880
|
additionalProperties: false,
|
|
3878
3881
|
properties: {
|
|
3879
3882
|
version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
|
|
3880
3883
|
run_id: { type: "string" },
|
|
3881
3884
|
checkpoint: { type: "string" },
|
|
3885
|
+
packet_id: { type: "string" },
|
|
3882
3886
|
resume_token: { type: "string" },
|
|
3883
3887
|
decision: {
|
|
3884
3888
|
type: "string",
|
|
@@ -3906,12 +3910,13 @@ function responseSchemaForReconPacket() {
|
|
|
3906
3910
|
function responseSchemaForImplementationPacket() {
|
|
3907
3911
|
return {
|
|
3908
3912
|
type: "object",
|
|
3909
|
-
required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
|
|
3913
|
+
required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
|
|
3910
3914
|
additionalProperties: false,
|
|
3911
3915
|
properties: {
|
|
3912
3916
|
version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
|
|
3913
3917
|
run_id: { type: "string" },
|
|
3914
3918
|
checkpoint: { type: "string" },
|
|
3919
|
+
packet_id: { type: "string" },
|
|
3915
3920
|
resume_token: { type: "string" },
|
|
3916
3921
|
decision: {
|
|
3917
3922
|
type: "string",
|
|
@@ -3939,12 +3944,13 @@ function responseSchemaForImplementationPacket() {
|
|
|
3939
3944
|
function responseSchemaForAdvancePacket(stage) {
|
|
3940
3945
|
return {
|
|
3941
3946
|
type: "object",
|
|
3942
|
-
required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
|
|
3947
|
+
required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
|
|
3943
3948
|
additionalProperties: false,
|
|
3944
3949
|
properties: {
|
|
3945
3950
|
version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
|
|
3946
3951
|
run_id: { type: "string" },
|
|
3947
3952
|
checkpoint: { type: "string" },
|
|
3953
|
+
packet_id: { type: "string" },
|
|
3948
3954
|
resume_token: { type: "string" },
|
|
3949
3955
|
decision: {
|
|
3950
3956
|
type: "string",
|
|
@@ -3970,6 +3976,20 @@ function resumeTokenFor(input) {
|
|
|
3970
3976
|
const hash = import_node_crypto.default.createHash("sha256").update(JSON.stringify(input)).digest("hex").slice(0, 24);
|
|
3971
3977
|
return `rpchk_${hash}`;
|
|
3972
3978
|
}
|
|
3979
|
+
function packetIdentityPayload(packet) {
|
|
3980
|
+
const { packet_id: _packetId, ...identityPayload } = packet;
|
|
3981
|
+
return identityPayload;
|
|
3982
|
+
}
|
|
3983
|
+
function checkpointPacketIdentity(packet) {
|
|
3984
|
+
const hash = import_node_crypto.default.createHash("sha256").update(stableJson(packetIdentityPayload(packet))).digest("hex").slice(0, 24);
|
|
3985
|
+
return `rppkt_${hash}`;
|
|
3986
|
+
}
|
|
3987
|
+
function withPacketIdentity(packet) {
|
|
3988
|
+
return {
|
|
3989
|
+
...packet,
|
|
3990
|
+
packet_id: checkpointPacketIdentity(packet)
|
|
3991
|
+
};
|
|
3992
|
+
}
|
|
3973
3993
|
function artifactsFromState(state) {
|
|
3974
3994
|
const artifacts = [];
|
|
3975
3995
|
for (const role of ["before", "prod", "after"]) {
|
|
@@ -4042,7 +4062,7 @@ function buildStageCheckpointPacket(input) {
|
|
|
4042
4062
|
const checkpointContract = recordValue(input.engineResult.checkpointContract);
|
|
4043
4063
|
const summary = nonEmptyString(input.engineResult.summary) || nonEmptyString(fullState.stage_summary) || `${stage} checkpoint needs a supervising decision.`;
|
|
4044
4064
|
const kind = packetKindForStage(stage, checkpoint);
|
|
4045
|
-
return {
|
|
4065
|
+
return withPacketIdentity({
|
|
4046
4066
|
version: RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
|
|
4047
4067
|
run_id: runId,
|
|
4048
4068
|
state_path: input.runState.state_path,
|
|
@@ -4091,7 +4111,7 @@ function buildStageCheckpointPacket(input) {
|
|
|
4091
4111
|
stage
|
|
4092
4112
|
}),
|
|
4093
4113
|
created_at: input.created_at || timestamp()
|
|
4094
|
-
};
|
|
4114
|
+
});
|
|
4095
4115
|
}
|
|
4096
4116
|
function buildAuthorCheckpointPacket(input) {
|
|
4097
4117
|
const checkpoint = nonEmptyString(input.engineResult.checkpoint) || "author_supervisor_judgment";
|
|
@@ -4104,7 +4124,7 @@ function buildAuthorCheckpointPacket(input) {
|
|
|
4104
4124
|
const reconResults = recordValue(fullState.recon_results);
|
|
4105
4125
|
const checkpointContract = recordValue(input.engineResult.checkpointContract);
|
|
4106
4126
|
const summary = nonEmptyString(input.engineResult.summary) || nonEmptyString(fullState.author_summary) || "Author checkpoint needs a supervising proof packet.";
|
|
4107
|
-
return {
|
|
4127
|
+
return withPacketIdentity({
|
|
4108
4128
|
version: RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
|
|
4109
4129
|
run_id: runId,
|
|
4110
4130
|
state_path: input.runState.state_path,
|
|
@@ -4153,7 +4173,7 @@ function buildAuthorCheckpointPacket(input) {
|
|
|
4153
4173
|
stage
|
|
4154
4174
|
}),
|
|
4155
4175
|
created_at: input.created_at || timestamp()
|
|
4156
|
-
};
|
|
4176
|
+
});
|
|
4157
4177
|
}
|
|
4158
4178
|
function visualDeltaFromState(fullState) {
|
|
4159
4179
|
const bundle = recordValue(fullState.evidence_bundle);
|
|
@@ -4224,7 +4244,7 @@ function buildProofAssessmentCheckpointPacket(input) {
|
|
|
4224
4244
|
const evidenceIssueCode2 = visualDeltaIssueCode(visualDelta, visualDeltaRequired);
|
|
4225
4245
|
const summary = nonEmptyString(input.engineResult.summary) || nonEmptyString(fullState.verify_summary) || "Verify captured evidence and needs a supervising proof assessment.";
|
|
4226
4246
|
const recoveryHint = evidenceIssueCode2 ? "Required visual_delta evidence is incomplete. Keep this same run in verify/evidence recovery with decision=revise_capture and continue_with_stage=verify unless the evidence proves an implementation or recon problem." : "Assess whether the current artifacts prove the requested change, then choose the next stage.";
|
|
4227
|
-
return {
|
|
4247
|
+
return withPacketIdentity({
|
|
4228
4248
|
version: RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
|
|
4229
4249
|
run_id: runId,
|
|
4230
4250
|
state_path: input.runState.state_path,
|
|
@@ -4284,7 +4304,7 @@ function buildProofAssessmentCheckpointPacket(input) {
|
|
|
4284
4304
|
stage
|
|
4285
4305
|
}),
|
|
4286
4306
|
created_at: input.created_at || timestamp()
|
|
4287
|
-
};
|
|
4307
|
+
});
|
|
4288
4308
|
}
|
|
4289
4309
|
function buildCheckpointPacketForEngineResult(input) {
|
|
4290
4310
|
const checkpoint = nonEmptyString(input.engineResult.checkpoint) || "";
|
|
@@ -4313,6 +4333,7 @@ function normalizeCheckpointResponse(value) {
|
|
|
4313
4333
|
version: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
|
|
4314
4334
|
run_id: runId,
|
|
4315
4335
|
checkpoint,
|
|
4336
|
+
packet_id: nonEmptyString(record.packet_id),
|
|
4316
4337
|
resume_token: nonEmptyString(record.resume_token),
|
|
4317
4338
|
decision,
|
|
4318
4339
|
summary,
|
|
@@ -4400,6 +4421,7 @@ function createCheckpointResponseTemplate(packet, input = {}) {
|
|
|
4400
4421
|
version: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
|
|
4401
4422
|
run_id: packet.run_id,
|
|
4402
4423
|
checkpoint: packet.checkpoint,
|
|
4424
|
+
packet_id: packet.packet_id,
|
|
4403
4425
|
resume_token: packet.resume_token,
|
|
4404
4426
|
decision,
|
|
4405
4427
|
summary: input.summary || `TODO: explain checkpoint decision ${decision}.`,
|
|
@@ -4433,6 +4455,9 @@ function checkpointSummaryFromState(state, engineStatePath2) {
|
|
|
4433
4455
|
const latestResponseEntry = [...responses].reverse().find((entry) => entry.response);
|
|
4434
4456
|
const latestPacket = state.checkpoint_packet || latestPacketEntry?.packet;
|
|
4435
4457
|
const latestResponse = latestResponseEntry?.response;
|
|
4458
|
+
const latestPacketId = latestPacket?.packet_id || null;
|
|
4459
|
+
const latestResponsePacketId = latestResponse?.packet_id || null;
|
|
4460
|
+
const packetIdMatches = !latestResponse ? null : latestPacketId && latestResponsePacketId ? latestPacketId === latestResponsePacketId : latestPacketId || latestResponsePacketId ? false : null;
|
|
4436
4461
|
const latestResumeToken = latestPacket?.resume_token || null;
|
|
4437
4462
|
const latestResponseToken = latestResponse?.resume_token || null;
|
|
4438
4463
|
const tokenMatches = !latestResponse ? null : latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
|
|
@@ -4447,6 +4472,9 @@ function checkpointSummaryFromState(state, engineStatePath2) {
|
|
|
4447
4472
|
latest_decision: latestResponse?.decision || null,
|
|
4448
4473
|
latest_packet_summary: latestPacket?.summary || null,
|
|
4449
4474
|
latest_response_summary: latestResponse?.summary || null,
|
|
4475
|
+
latest_packet_id: latestPacketId,
|
|
4476
|
+
latest_response_packet_id: latestResponsePacketId,
|
|
4477
|
+
packet_id_matches: packetIdMatches,
|
|
4450
4478
|
latest_resume_token: latestResumeToken,
|
|
4451
4479
|
latest_response_token: latestResponseToken,
|
|
4452
4480
|
token_matches: tokenMatches,
|
|
@@ -4463,6 +4491,7 @@ function checkpointResponseIdentity(response) {
|
|
|
4463
4491
|
const logicalResponse = compactRecord({
|
|
4464
4492
|
run_id: response.run_id,
|
|
4465
4493
|
checkpoint: response.checkpoint,
|
|
4494
|
+
packet_id: response.packet_id,
|
|
4466
4495
|
resume_token: response.resume_token,
|
|
4467
4496
|
decision: response.decision,
|
|
4468
4497
|
summary: response.summary,
|
|
@@ -5782,6 +5811,32 @@ function isReadyShipGate(result) {
|
|
|
5782
5811
|
function proofAssessmentRequestsShip(payload) {
|
|
5783
5812
|
return String(payload.decision || "").trim() === "ready_to_ship";
|
|
5784
5813
|
}
|
|
5814
|
+
var TRUSTED_PROOF_ASSESSMENT_READY_SOURCES = /* @__PURE__ */ new Set([
|
|
5815
|
+
"supervising_agent",
|
|
5816
|
+
"supervisor",
|
|
5817
|
+
"openclaw_auto_ship_mode_none"
|
|
5818
|
+
]);
|
|
5819
|
+
function proofAssessmentSourceTrustedForShip(payload) {
|
|
5820
|
+
const source = nonEmptyString(payload.source)?.toLowerCase();
|
|
5821
|
+
if (!source) return true;
|
|
5822
|
+
return TRUSTED_PROOF_ASSESSMENT_READY_SOURCES.has(source);
|
|
5823
|
+
}
|
|
5824
|
+
function proofAssessmentSourceBlocker(input) {
|
|
5825
|
+
if (!proofAssessmentRequestsShip(input.payload)) return null;
|
|
5826
|
+
if (proofAssessmentSourceTrustedForShip(input.payload)) return null;
|
|
5827
|
+
const source = nonEmptyString(input.payload.source) || "unknown";
|
|
5828
|
+
return {
|
|
5829
|
+
code: input.code || "proof_assessment_source_not_trusted",
|
|
5830
|
+
checkpoint: input.checkpoint || null,
|
|
5831
|
+
message: `Riddle Proof cannot mark ready_to_ship from untrusted proof assessment source: ${source}.`,
|
|
5832
|
+
details: compactRecord({
|
|
5833
|
+
stage: input.stage || null,
|
|
5834
|
+
proofAssessment: input.payload,
|
|
5835
|
+
checkpoint_response_source: input.response?.source || null,
|
|
5836
|
+
response: input.response || null
|
|
5837
|
+
})
|
|
5838
|
+
};
|
|
5839
|
+
}
|
|
5785
5840
|
function proofAssessmentHardBlockers(state, payload) {
|
|
5786
5841
|
const blockers = proofAssessmentHardBlockersForState(state || {});
|
|
5787
5842
|
if (Array.isArray(payload.hard_blockers)) {
|
|
@@ -5812,6 +5867,15 @@ function stageFromCheckpointResponse(response, packet) {
|
|
|
5812
5867
|
const stage = response.continue_with_stage || nonEmptyString(payload.continue_with_stage) || nonEmptyString(payload.recommended_stage) || nonEmptyString(resume?.continue_with_stage) || (response.decision === "retry_stage" ? packet.stage : "");
|
|
5813
5868
|
return stage ? stage : null;
|
|
5814
5869
|
}
|
|
5870
|
+
function proofAssessmentSourceFromCheckpointResponse(response) {
|
|
5871
|
+
const kind = nonEmptyString(response.source?.kind)?.toLowerCase();
|
|
5872
|
+
if (!kind) return "supervising_agent";
|
|
5873
|
+
if (kind === "human") return "supervisor";
|
|
5874
|
+
if (kind === "codex" || kind === "openclaw-main" || kind === "claude-code") {
|
|
5875
|
+
return "supervising_agent";
|
|
5876
|
+
}
|
|
5877
|
+
return `checkpoint_response:${kind}`;
|
|
5878
|
+
}
|
|
5815
5879
|
function proofAssessmentPayloadFromCheckpointResponse(response) {
|
|
5816
5880
|
if (![
|
|
5817
5881
|
"ready_to_ship",
|
|
@@ -5832,7 +5896,7 @@ function proofAssessmentPayloadFromCheckpointResponse(response) {
|
|
|
5832
5896
|
continue_with_stage: stage || void 0,
|
|
5833
5897
|
escalation_target: nonEmptyString(payload.escalation_target) || "agent",
|
|
5834
5898
|
reasons: Array.isArray(response.reasons) ? response.reasons : Array.isArray(payload.reasons) ? payload.reasons : [],
|
|
5835
|
-
source:
|
|
5899
|
+
source: proofAssessmentSourceFromCheckpointResponse(response),
|
|
5836
5900
|
checkpoint_response_source: response.source || null,
|
|
5837
5901
|
checkpoint_response_created_at: response.created_at
|
|
5838
5902
|
}));
|
|
@@ -6159,6 +6223,22 @@ function checkpointResponseContinuation(state, value) {
|
|
|
6159
6223
|
}
|
|
6160
6224
|
};
|
|
6161
6225
|
}
|
|
6226
|
+
if (packet.packet_id && response.packet_id !== packet.packet_id) {
|
|
6227
|
+
return {
|
|
6228
|
+
blocker: {
|
|
6229
|
+
code: "checkpoint_response_packet_id_mismatch",
|
|
6230
|
+
checkpoint: packet.checkpoint,
|
|
6231
|
+
message: "Checkpoint response packet_id does not match the pending checkpoint packet.",
|
|
6232
|
+
details: {
|
|
6233
|
+
stage: packet.stage,
|
|
6234
|
+
expected_packet_id: packet.packet_id,
|
|
6235
|
+
actual_packet_id: response.packet_id || null,
|
|
6236
|
+
expected_resume_token: packet.resume_token || null,
|
|
6237
|
+
actual_resume_token: response.resume_token || null
|
|
6238
|
+
}
|
|
6239
|
+
}
|
|
6240
|
+
};
|
|
6241
|
+
}
|
|
6162
6242
|
if (!packet.allowed_decisions.includes(response.decision)) {
|
|
6163
6243
|
return {
|
|
6164
6244
|
blocker: {
|
|
@@ -6267,6 +6347,14 @@ function checkpointResponseContinuation(state, value) {
|
|
|
6267
6347
|
if (packet.kind === "assess_proof" || packet.kind === "recover_evidence" || packet.stage === "verify") {
|
|
6268
6348
|
const assessment = proofAssessmentPayloadFromCheckpointResponse(response);
|
|
6269
6349
|
if (assessment) {
|
|
6350
|
+
const sourceBlocker = proofAssessmentSourceBlocker({
|
|
6351
|
+
checkpoint: packet.checkpoint,
|
|
6352
|
+
stage: packet.stage,
|
|
6353
|
+
payload: assessment,
|
|
6354
|
+
response,
|
|
6355
|
+
code: "checkpoint_response_source_not_trusted"
|
|
6356
|
+
});
|
|
6357
|
+
if (sourceBlocker) return { blocker: sourceBlocker };
|
|
6270
6358
|
appendCheckpointResponse(state, response);
|
|
6271
6359
|
if (state.request.ship_mode !== "ship" && proofAssessmentRequestsShip(assessment)) {
|
|
6272
6360
|
const result = {
|
|
@@ -6825,6 +6913,25 @@ async function routeCheckpoint(request, state, result, agent, input) {
|
|
|
6825
6913
|
}
|
|
6826
6914
|
};
|
|
6827
6915
|
}
|
|
6916
|
+
const sourceBlocker = proofAssessmentSourceBlocker({
|
|
6917
|
+
checkpoint,
|
|
6918
|
+
stage: "verify",
|
|
6919
|
+
payload,
|
|
6920
|
+
code: "proof_assessment_source_not_trusted"
|
|
6921
|
+
});
|
|
6922
|
+
if (sourceBlocker) {
|
|
6923
|
+
recordEvent(state, {
|
|
6924
|
+
kind: "agent.proof_assessment.source_blocked",
|
|
6925
|
+
checkpoint,
|
|
6926
|
+
stage: "verify",
|
|
6927
|
+
summary: sourceBlocker.message,
|
|
6928
|
+
details: compactRecord({
|
|
6929
|
+
proof_assessment: payload,
|
|
6930
|
+
agent_duration_ms: durationMs
|
|
6931
|
+
})
|
|
6932
|
+
});
|
|
6933
|
+
return { blocker: sourceBlocker };
|
|
6934
|
+
}
|
|
6828
6935
|
const visualBlocker = proofAssessmentVisualBlocker({
|
|
6829
6936
|
...context.fullRiddleState || {},
|
|
6830
6937
|
verification_mode: context.fullRiddleState?.verification_mode || request.verification_mode
|
|
@@ -19959,6 +20066,7 @@ function buildRiddleProofPrCommentMarkdown(input) {
|
|
|
19959
20066
|
buildRiddleProofProfileScript,
|
|
19960
20067
|
buildStageCheckpointPacket,
|
|
19961
20068
|
buildVisualProofSession,
|
|
20069
|
+
checkpointPacketIdentity,
|
|
19962
20070
|
checkpointResponseIdentity,
|
|
19963
20071
|
checkpointSummaryFromState,
|
|
19964
20072
|
collectRiddlePreviewDeployWarnings,
|
package/dist/index.d.cts
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunCard, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofViewportCapture, RiddleProofViewportMatrixStatus, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from './types.cjs';
|
|
2
2
|
export { TerminalMetadataInput, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue } from './result.cjs';
|
|
3
3
|
export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.cjs';
|
|
4
|
-
export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.cjs';
|
|
4
|
+
export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointPacketIdentity, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.cjs';
|
|
5
5
|
export { RIDDLE_PROOF_RUN_CARD_VERSION, createRiddleProofRunCard } from './run-card.cjs';
|
|
6
6
|
export { R as RiddleProofRunnerAdapters, a as RunRiddleProofInput, r as runRiddleProof } from './runner-4LJ5z0D-.cjs';
|
|
7
7
|
export { R as RiddleProofAgentAdapter, a as RiddleProofAgentPayload, b as RiddleProofCheckpointMode, c as RiddleProofEngine, d as RiddleProofEngineHarnessConfig, e as RiddleProofEngineHarnessContext, f as RiddleProofEngineResult, g as RiddleProofShipMode, h as RiddleProofWorkflowParams, i as RunRiddleProofEngineHarnessInput, j as createDisabledRiddleProofAgentAdapter, r as readRiddleProofRunStatus, k as runRiddleProofEngineHarness } from './engine-harness-LBfqbFSe.cjs';
|
package/dist/index.d.ts
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunCard, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofViewportCapture, RiddleProofViewportMatrixStatus, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from './types.js';
|
|
2
2
|
export { TerminalMetadataInput, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue } from './result.js';
|
|
3
3
|
export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.js';
|
|
4
|
-
export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.js';
|
|
4
|
+
export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointPacketIdentity, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.js';
|
|
5
5
|
export { RIDDLE_PROOF_RUN_CARD_VERSION, createRiddleProofRunCard } from './run-card.js';
|
|
6
6
|
export { R as RiddleProofRunnerAdapters, a as RunRiddleProofInput, r as runRiddleProof } from './runner-BdQpOkZD.js';
|
|
7
7
|
export { R as RiddleProofAgentAdapter, a as RiddleProofAgentPayload, b as RiddleProofCheckpointMode, c as RiddleProofEngine, d as RiddleProofEngineHarnessConfig, e as RiddleProofEngineHarnessContext, f as RiddleProofEngineResult, g as RiddleProofShipMode, h as RiddleProofWorkflowParams, i as RunRiddleProofEngineHarnessInput, j as createDisabledRiddleProofAgentAdapter, r as readRiddleProofRunStatus, k as runRiddleProofEngineHarness } from './engine-harness-CMACHP6A.js';
|
package/dist/index.js
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import {
|
|
2
2
|
runRiddleProof
|
|
3
|
-
} from "./chunk-
|
|
3
|
+
} from "./chunk-S5DX7Z6X.js";
|
|
4
4
|
import "./chunk-6F4PWJZI.js";
|
|
5
5
|
import {
|
|
6
6
|
RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION,
|
|
@@ -102,7 +102,7 @@ import {
|
|
|
102
102
|
createDisabledRiddleProofAgentAdapter,
|
|
103
103
|
readRiddleProofRunStatus,
|
|
104
104
|
runRiddleProofEngineHarness
|
|
105
|
-
} from "./chunk-
|
|
105
|
+
} from "./chunk-IV4DVWPR.js";
|
|
106
106
|
import {
|
|
107
107
|
RIDDLE_PROOF_RUN_STATE_VERSION,
|
|
108
108
|
appendRunEvent,
|
|
@@ -114,11 +114,11 @@ import {
|
|
|
114
114
|
normalizePrLifecycleState,
|
|
115
115
|
normalizeRunParams,
|
|
116
116
|
setRunStatus
|
|
117
|
-
} from "./chunk-
|
|
117
|
+
} from "./chunk-WDIKPIMB.js";
|
|
118
118
|
import {
|
|
119
119
|
RIDDLE_PROOF_RUN_CARD_VERSION,
|
|
120
120
|
createRiddleProofRunCard
|
|
121
|
-
} from "./chunk-
|
|
121
|
+
} from "./chunk-JJ4IWRMJ.js";
|
|
122
122
|
import "./chunk-EKZXU6MU.js";
|
|
123
123
|
import {
|
|
124
124
|
RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
|
|
@@ -128,6 +128,7 @@ import {
|
|
|
128
128
|
buildCheckpointPacketForEngineResult,
|
|
129
129
|
buildProofAssessmentCheckpointPacket,
|
|
130
130
|
buildStageCheckpointPacket,
|
|
131
|
+
checkpointPacketIdentity,
|
|
131
132
|
checkpointResponseIdentity,
|
|
132
133
|
checkpointSummaryFromState,
|
|
133
134
|
createCheckpointResponseTemplate,
|
|
@@ -135,7 +136,7 @@ import {
|
|
|
135
136
|
normalizeCheckpointResponse,
|
|
136
137
|
proofContractFromAuthorCheckpointResponse,
|
|
137
138
|
statePathsForRunState
|
|
138
|
-
} from "./chunk-
|
|
139
|
+
} from "./chunk-BLM5EIBA.js";
|
|
139
140
|
import "./chunk-JFQXAJH2.js";
|
|
140
141
|
import {
|
|
141
142
|
createCodexExecAgentAdapter,
|
|
@@ -205,6 +206,7 @@ export {
|
|
|
205
206
|
buildRiddleProofProfileScript,
|
|
206
207
|
buildStageCheckpointPacket,
|
|
207
208
|
buildVisualProofSession,
|
|
209
|
+
checkpointPacketIdentity,
|
|
208
210
|
checkpointResponseIdentity,
|
|
209
211
|
checkpointSummaryFromState,
|
|
210
212
|
collectRiddlePreviewDeployWarnings,
|
package/dist/openclaw.js
CHANGED
|
@@ -3,10 +3,10 @@ import {
|
|
|
3
3
|
parseOpenClawAssertions,
|
|
4
4
|
parseOpenClawJsonObjectOrArray,
|
|
5
5
|
toRiddleProofRunParams
|
|
6
|
-
} from "./chunk-
|
|
7
|
-
import "./chunk-
|
|
8
|
-
import "./chunk-
|
|
9
|
-
import "./chunk-
|
|
6
|
+
} from "./chunk-LNWJAHAQ.js";
|
|
7
|
+
import "./chunk-WDIKPIMB.js";
|
|
8
|
+
import "./chunk-JJ4IWRMJ.js";
|
|
9
|
+
import "./chunk-BLM5EIBA.js";
|
|
10
10
|
import "./chunk-VY4Y5U57.js";
|
|
11
11
|
import "./chunk-MLKGABMK.js";
|
|
12
12
|
export {
|
|
@@ -292,7 +292,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
|
|
|
292
292
|
blocking?: boolean;
|
|
293
293
|
details?: Record<string, unknown>;
|
|
294
294
|
ok: boolean;
|
|
295
|
-
action: "
|
|
295
|
+
action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
|
|
296
296
|
state_path: string;
|
|
297
297
|
stage: any;
|
|
298
298
|
summary: string;
|
|
@@ -382,7 +382,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
|
|
|
382
382
|
continueWithStage?: WorkflowStage | null;
|
|
383
383
|
blocking?: boolean;
|
|
384
384
|
details?: Record<string, unknown>;
|
|
385
|
-
action: "
|
|
385
|
+
action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
|
|
386
386
|
state_path: string;
|
|
387
387
|
stage: any;
|
|
388
388
|
checkpoint: string;
|
|
@@ -659,7 +659,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
|
|
|
659
659
|
error?: undefined;
|
|
660
660
|
} | {
|
|
661
661
|
ok: boolean;
|
|
662
|
-
action: "
|
|
662
|
+
action: "setup" | "recon" | "author" | "implement" | "verify" | "ship";
|
|
663
663
|
state_path: string;
|
|
664
664
|
stage: any;
|
|
665
665
|
summary: string;
|
|
@@ -292,7 +292,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
|
|
|
292
292
|
blocking?: boolean;
|
|
293
293
|
details?: Record<string, unknown>;
|
|
294
294
|
ok: boolean;
|
|
295
|
-
action: "
|
|
295
|
+
action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
|
|
296
296
|
state_path: string;
|
|
297
297
|
stage: any;
|
|
298
298
|
summary: string;
|
|
@@ -382,7 +382,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
|
|
|
382
382
|
continueWithStage?: WorkflowStage | null;
|
|
383
383
|
blocking?: boolean;
|
|
384
384
|
details?: Record<string, unknown>;
|
|
385
|
-
action: "
|
|
385
|
+
action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
|
|
386
386
|
state_path: string;
|
|
387
387
|
stage: any;
|
|
388
388
|
checkpoint: string;
|
|
@@ -659,7 +659,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
|
|
|
659
659
|
error?: undefined;
|
|
660
660
|
} | {
|
|
661
661
|
ok: boolean;
|
|
662
|
-
action: "
|
|
662
|
+
action: "setup" | "recon" | "author" | "implement" | "verify" | "ship";
|
|
663
663
|
state_path: string;
|
|
664
664
|
stage: any;
|
|
665
665
|
summary: string;
|
|
@@ -1,2 +1,2 @@
|
|
|
1
1
|
import './proof-run-core-7Dqm7RKM.cjs';
|
|
2
|
-
export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-
|
|
2
|
+
export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-Baiv6l3A.cjs';
|
|
@@ -1,2 +1,2 @@
|
|
|
1
1
|
import './proof-run-core-7Dqm7RKM.js';
|
|
2
|
-
export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-
|
|
2
|
+
export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-MiKZt9oY.js';
|
package/dist/run-card.js
CHANGED
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
import {
|
|
2
2
|
RIDDLE_PROOF_RUN_CARD_VERSION,
|
|
3
3
|
createRiddleProofRunCard
|
|
4
|
-
} from "./chunk-
|
|
5
|
-
import "./chunk-
|
|
4
|
+
} from "./chunk-JJ4IWRMJ.js";
|
|
5
|
+
import "./chunk-BLM5EIBA.js";
|
|
6
6
|
import "./chunk-VY4Y5U57.js";
|
|
7
7
|
import "./chunk-MLKGABMK.js";
|
|
8
8
|
export {
|
package/dist/runner.js
CHANGED
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
import {
|
|
2
2
|
runRiddleProof
|
|
3
|
-
} from "./chunk-
|
|
4
|
-
import "./chunk-
|
|
5
|
-
import "./chunk-
|
|
3
|
+
} from "./chunk-S5DX7Z6X.js";
|
|
4
|
+
import "./chunk-WDIKPIMB.js";
|
|
5
|
+
import "./chunk-JJ4IWRMJ.js";
|
|
6
6
|
import "./chunk-EKZXU6MU.js";
|
|
7
|
-
import "./chunk-
|
|
7
|
+
import "./chunk-BLM5EIBA.js";
|
|
8
8
|
import "./chunk-VY4Y5U57.js";
|
|
9
9
|
import "./chunk-MLKGABMK.js";
|
|
10
10
|
export {
|