@riddledc/riddle-proof 0.8.61 → 0.8.63
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/codex-exec-agent.js +3 -3
- package/dist/adapters/codex.js +3 -3
- package/dist/adapters/local-agent.js +3 -3
- package/dist/adapters/openclaw.js +6 -6
- package/dist/advanced/engine-harness.js +6 -6
- package/dist/advanced/index.cjs +25 -1
- package/dist/advanced/index.js +7 -7
- package/dist/advanced/runner.cjs +25 -1
- package/dist/advanced/runner.js +6 -6
- package/dist/checkpoint.js +3 -3
- package/dist/{chunk-NXEAFQYZ.js → chunk-2OTPBHSM.js} +2 -2
- package/dist/{chunk-WKIIJX3O.js → chunk-6PSM6KB2.js} +66 -1
- package/dist/{chunk-NQ5HPAZD.js → chunk-DDAV6D6K.js} +4 -4
- package/dist/{chunk-XKNJ5OE4.js → chunk-LD2YTPD7.js} +27 -3
- package/dist/{chunk-UEY5SJG5.js → chunk-NMQIWBSB.js} +2 -2
- package/dist/{chunk-QPKY767W.js → chunk-OD6OKXL2.js} +1 -1
- package/dist/{chunk-HD46EEUV.js → chunk-P4BHU5NM.js} +4 -4
- package/dist/{chunk-K6VYKOIM.js → chunk-RZ3GXSXQ.js} +1 -1
- package/dist/{chunk-QGMSN34W.js → chunk-UK7G4RKA.js} +1 -1
- package/dist/{chunk-3FK5HZHK.js → chunk-WKNWMRDF.js} +2 -2
- package/dist/{chunk-FX2CB4MG.js → chunk-ZB5XBHWD.js} +1 -1
- package/dist/cli/index.js +9 -9
- package/dist/cli.js +9 -9
- package/dist/codex-exec-agent.js +3 -3
- package/dist/engine-harness.js +6 -6
- package/dist/index.cjs +93 -1
- package/dist/index.d.cts +1 -1
- package/dist/index.d.ts +1 -1
- package/dist/index.js +15 -9
- package/dist/local-agent.js +3 -3
- package/dist/openclaw.js +6 -6
- package/dist/pr-comment.js +2 -2
- package/dist/public-state.cjs +68 -0
- package/dist/public-state.d.cts +41 -1
- package/dist/public-state.d.ts +41 -1
- package/dist/public-state.js +7 -1
- package/dist/result.js +2 -2
- package/dist/run-card.js +4 -4
- package/dist/runner.cjs +25 -1
- package/dist/runner.js +6 -6
- package/dist/spec/checkpoint.js +3 -3
- package/dist/spec/index.cjs +68 -0
- package/dist/spec/index.d.cts +1 -1
- package/dist/spec/index.d.ts +1 -1
- package/dist/spec/index.js +11 -5
- package/dist/spec/public-state.cjs +68 -0
- package/dist/spec/public-state.d.cts +1 -1
- package/dist/spec/public-state.d.ts +1 -1
- package/dist/spec/public-state.js +7 -1
- package/dist/spec/result.js +2 -2
- package/dist/spec/run-card.js +4 -4
- package/dist/spec/state.js +5 -5
- package/dist/state.js +5 -5
- package/package.json +1 -1
|
@@ -3,9 +3,9 @@ import {
|
|
|
3
3
|
createCodexExecAgentAdapter,
|
|
4
4
|
createCodexExecJsonRunner,
|
|
5
5
|
runCodexExecAgentDoctor
|
|
6
|
-
} from "../chunk-
|
|
7
|
-
import "../chunk-
|
|
8
|
-
import "../chunk-
|
|
6
|
+
} from "../chunk-OD6OKXL2.js";
|
|
7
|
+
import "../chunk-UK7G4RKA.js";
|
|
8
|
+
import "../chunk-6PSM6KB2.js";
|
|
9
9
|
import "../chunk-MLKGABMK.js";
|
|
10
10
|
export {
|
|
11
11
|
createCodexExecAgentAdapter,
|
package/dist/adapters/codex.js
CHANGED
|
@@ -3,9 +3,9 @@ import {
|
|
|
3
3
|
createCodexExecAgentAdapter,
|
|
4
4
|
createCodexExecJsonRunner,
|
|
5
5
|
runCodexExecAgentDoctor
|
|
6
|
-
} from "../chunk-
|
|
7
|
-
import "../chunk-
|
|
8
|
-
import "../chunk-
|
|
6
|
+
} from "../chunk-OD6OKXL2.js";
|
|
7
|
+
import "../chunk-UK7G4RKA.js";
|
|
8
|
+
import "../chunk-6PSM6KB2.js";
|
|
9
9
|
import "../chunk-MLKGABMK.js";
|
|
10
10
|
export {
|
|
11
11
|
createCodexExecAgentAdapter,
|
|
@@ -3,9 +3,9 @@ import {
|
|
|
3
3
|
createCodexExecAgentAdapter,
|
|
4
4
|
createCodexExecJsonRunner,
|
|
5
5
|
runCodexExecAgentDoctor
|
|
6
|
-
} from "../chunk-
|
|
7
|
-
import "../chunk-
|
|
8
|
-
import "../chunk-
|
|
6
|
+
} from "../chunk-OD6OKXL2.js";
|
|
7
|
+
import "../chunk-UK7G4RKA.js";
|
|
8
|
+
import "../chunk-6PSM6KB2.js";
|
|
9
9
|
import "../chunk-MLKGABMK.js";
|
|
10
10
|
export {
|
|
11
11
|
createCodexExecAgentAdapter as createLocalAgentAdapter,
|
|
@@ -3,12 +3,12 @@ import {
|
|
|
3
3
|
parseOpenClawAssertions,
|
|
4
4
|
parseOpenClawJsonObjectOrArray,
|
|
5
5
|
toRiddleProofRunParams
|
|
6
|
-
} from "../chunk-
|
|
7
|
-
import "../chunk-
|
|
8
|
-
import "../chunk-
|
|
9
|
-
import "../chunk-
|
|
10
|
-
import "../chunk-
|
|
11
|
-
import "../chunk-
|
|
6
|
+
} from "../chunk-WKNWMRDF.js";
|
|
7
|
+
import "../chunk-NMQIWBSB.js";
|
|
8
|
+
import "../chunk-2OTPBHSM.js";
|
|
9
|
+
import "../chunk-ZB5XBHWD.js";
|
|
10
|
+
import "../chunk-UK7G4RKA.js";
|
|
11
|
+
import "../chunk-6PSM6KB2.js";
|
|
12
12
|
import "../chunk-MLKGABMK.js";
|
|
13
13
|
export {
|
|
14
14
|
openClawIntegrationContext,
|
|
@@ -2,13 +2,13 @@ import {
|
|
|
2
2
|
createDisabledRiddleProofAgentAdapter,
|
|
3
3
|
readRiddleProofRunStatus,
|
|
4
4
|
runRiddleProofEngineHarness
|
|
5
|
-
} from "../chunk-
|
|
6
|
-
import "../chunk-
|
|
7
|
-
import "../chunk-
|
|
5
|
+
} from "../chunk-P4BHU5NM.js";
|
|
6
|
+
import "../chunk-NMQIWBSB.js";
|
|
7
|
+
import "../chunk-2OTPBHSM.js";
|
|
8
8
|
import "../chunk-EKZXU6MU.js";
|
|
9
|
-
import "../chunk-
|
|
10
|
-
import "../chunk-
|
|
11
|
-
import "../chunk-
|
|
9
|
+
import "../chunk-ZB5XBHWD.js";
|
|
10
|
+
import "../chunk-UK7G4RKA.js";
|
|
11
|
+
import "../chunk-6PSM6KB2.js";
|
|
12
12
|
import "../chunk-MLKGABMK.js";
|
|
13
13
|
export {
|
|
14
14
|
createDisabledRiddleProofAgentAdapter,
|
package/dist/advanced/index.cjs
CHANGED
|
@@ -5107,6 +5107,9 @@ function shouldIterate(assessment) {
|
|
|
5107
5107
|
const nextStage = assessment.continue_with_stage || assessment.recommended_stage;
|
|
5108
5108
|
return nextStage === "implement" || nextStage === "author";
|
|
5109
5109
|
}
|
|
5110
|
+
function hasTrustedReadySource(assessment) {
|
|
5111
|
+
return assessment.source === "supervising_agent" || assessment.source === "supervisor";
|
|
5112
|
+
}
|
|
5110
5113
|
async function notifyIfConfigured(input) {
|
|
5111
5114
|
if (!input.notification) return input.result;
|
|
5112
5115
|
try {
|
|
@@ -5442,6 +5445,7 @@ async function runRiddleProof(input) {
|
|
|
5442
5445
|
decision: assessment.decision,
|
|
5443
5446
|
recommended_stage: assessment.recommended_stage,
|
|
5444
5447
|
continue_with_stage: assessment.continue_with_stage,
|
|
5448
|
+
source: assessment.source,
|
|
5445
5449
|
reasons: assessment.reasons
|
|
5446
5450
|
}
|
|
5447
5451
|
});
|
|
@@ -5453,7 +5457,27 @@ async function runRiddleProof(input) {
|
|
|
5453
5457
|
evidence_bundle: evidenceBundle
|
|
5454
5458
|
});
|
|
5455
5459
|
}
|
|
5456
|
-
if (assessment.decision === "ready_to_ship")
|
|
5460
|
+
if (assessment.decision === "ready_to_ship") {
|
|
5461
|
+
if (!hasTrustedReadySource(assessment)) {
|
|
5462
|
+
return blockRun({
|
|
5463
|
+
state,
|
|
5464
|
+
stage: "verify",
|
|
5465
|
+
blocker: adapterBlocker(
|
|
5466
|
+
"proof_assessment_untrusted_source",
|
|
5467
|
+
"A ready_to_ship proof assessment must come from a supervising source.",
|
|
5468
|
+
"judge_completed",
|
|
5469
|
+
{
|
|
5470
|
+
decision: assessment.decision,
|
|
5471
|
+
source: assessment.source || null,
|
|
5472
|
+
trusted_sources: ["supervising_agent", "supervisor"]
|
|
5473
|
+
}
|
|
5474
|
+
),
|
|
5475
|
+
evidence_bundle: evidenceBundle,
|
|
5476
|
+
raw: { assessment }
|
|
5477
|
+
});
|
|
5478
|
+
}
|
|
5479
|
+
break;
|
|
5480
|
+
}
|
|
5457
5481
|
if (attempt + 1 < maxIterations && shouldIterate(assessment)) {
|
|
5458
5482
|
evidenceContext = evidenceBundle;
|
|
5459
5483
|
appendRunEvent(state, {
|
package/dist/advanced/index.js
CHANGED
|
@@ -3,18 +3,18 @@ import {
|
|
|
3
3
|
} from "../chunk-VYJD6XYF.js";
|
|
4
4
|
import {
|
|
5
5
|
runner_exports
|
|
6
|
-
} from "../chunk-
|
|
6
|
+
} from "../chunk-LD2YTPD7.js";
|
|
7
7
|
import {
|
|
8
8
|
engine_harness_exports
|
|
9
|
-
} from "../chunk-
|
|
10
|
-
import "../chunk-
|
|
11
|
-
import "../chunk-
|
|
9
|
+
} from "../chunk-P4BHU5NM.js";
|
|
10
|
+
import "../chunk-NMQIWBSB.js";
|
|
11
|
+
import "../chunk-2OTPBHSM.js";
|
|
12
12
|
import {
|
|
13
13
|
proof_run_core_exports
|
|
14
14
|
} from "../chunk-EKZXU6MU.js";
|
|
15
|
-
import "../chunk-
|
|
16
|
-
import "../chunk-
|
|
17
|
-
import "../chunk-
|
|
15
|
+
import "../chunk-ZB5XBHWD.js";
|
|
16
|
+
import "../chunk-UK7G4RKA.js";
|
|
17
|
+
import "../chunk-6PSM6KB2.js";
|
|
18
18
|
import "../chunk-MLKGABMK.js";
|
|
19
19
|
export {
|
|
20
20
|
engine_harness_exports as engineHarness,
|
package/dist/advanced/runner.cjs
CHANGED
|
@@ -633,6 +633,9 @@ function shouldIterate(assessment) {
|
|
|
633
633
|
const nextStage = assessment.continue_with_stage || assessment.recommended_stage;
|
|
634
634
|
return nextStage === "implement" || nextStage === "author";
|
|
635
635
|
}
|
|
636
|
+
function hasTrustedReadySource(assessment) {
|
|
637
|
+
return assessment.source === "supervising_agent" || assessment.source === "supervisor";
|
|
638
|
+
}
|
|
636
639
|
async function notifyIfConfigured(input) {
|
|
637
640
|
if (!input.notification) return input.result;
|
|
638
641
|
try {
|
|
@@ -968,6 +971,7 @@ async function runRiddleProof(input) {
|
|
|
968
971
|
decision: assessment.decision,
|
|
969
972
|
recommended_stage: assessment.recommended_stage,
|
|
970
973
|
continue_with_stage: assessment.continue_with_stage,
|
|
974
|
+
source: assessment.source,
|
|
971
975
|
reasons: assessment.reasons
|
|
972
976
|
}
|
|
973
977
|
});
|
|
@@ -979,7 +983,27 @@ async function runRiddleProof(input) {
|
|
|
979
983
|
evidence_bundle: evidenceBundle
|
|
980
984
|
});
|
|
981
985
|
}
|
|
982
|
-
if (assessment.decision === "ready_to_ship")
|
|
986
|
+
if (assessment.decision === "ready_to_ship") {
|
|
987
|
+
if (!hasTrustedReadySource(assessment)) {
|
|
988
|
+
return blockRun({
|
|
989
|
+
state,
|
|
990
|
+
stage: "verify",
|
|
991
|
+
blocker: adapterBlocker(
|
|
992
|
+
"proof_assessment_untrusted_source",
|
|
993
|
+
"A ready_to_ship proof assessment must come from a supervising source.",
|
|
994
|
+
"judge_completed",
|
|
995
|
+
{
|
|
996
|
+
decision: assessment.decision,
|
|
997
|
+
source: assessment.source || null,
|
|
998
|
+
trusted_sources: ["supervising_agent", "supervisor"]
|
|
999
|
+
}
|
|
1000
|
+
),
|
|
1001
|
+
evidence_bundle: evidenceBundle,
|
|
1002
|
+
raw: { assessment }
|
|
1003
|
+
});
|
|
1004
|
+
}
|
|
1005
|
+
break;
|
|
1006
|
+
}
|
|
983
1007
|
if (attempt + 1 < maxIterations && shouldIterate(assessment)) {
|
|
984
1008
|
evidenceContext = evidenceBundle;
|
|
985
1009
|
appendRunEvent(state, {
|
package/dist/advanced/runner.js
CHANGED
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
import {
|
|
2
2
|
runRiddleProof
|
|
3
|
-
} from "../chunk-
|
|
4
|
-
import "../chunk-
|
|
5
|
-
import "../chunk-
|
|
3
|
+
} from "../chunk-LD2YTPD7.js";
|
|
4
|
+
import "../chunk-NMQIWBSB.js";
|
|
5
|
+
import "../chunk-2OTPBHSM.js";
|
|
6
6
|
import "../chunk-EKZXU6MU.js";
|
|
7
|
-
import "../chunk-
|
|
8
|
-
import "../chunk-
|
|
9
|
-
import "../chunk-
|
|
7
|
+
import "../chunk-ZB5XBHWD.js";
|
|
8
|
+
import "../chunk-UK7G4RKA.js";
|
|
9
|
+
import "../chunk-6PSM6KB2.js";
|
|
10
10
|
import "../chunk-MLKGABMK.js";
|
|
11
11
|
export {
|
|
12
12
|
runRiddleProof
|
package/dist/checkpoint.js
CHANGED
|
@@ -14,9 +14,9 @@ import {
|
|
|
14
14
|
normalizeCheckpointResponse,
|
|
15
15
|
proofContractFromAuthorCheckpointResponse,
|
|
16
16
|
statePathsForRunState
|
|
17
|
-
} from "./chunk-
|
|
18
|
-
import "./chunk-
|
|
19
|
-
import "./chunk-
|
|
17
|
+
} from "./chunk-ZB5XBHWD.js";
|
|
18
|
+
import "./chunk-UK7G4RKA.js";
|
|
19
|
+
import "./chunk-6PSM6KB2.js";
|
|
20
20
|
import "./chunk-MLKGABMK.js";
|
|
21
21
|
export {
|
|
22
22
|
RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import {
|
|
2
2
|
statePathsForRunState
|
|
3
|
-
} from "./chunk-
|
|
3
|
+
} from "./chunk-ZB5XBHWD.js";
|
|
4
4
|
import {
|
|
5
5
|
compactRecord,
|
|
6
6
|
isTerminalStatus,
|
|
@@ -8,7 +8,7 @@ import {
|
|
|
8
8
|
publicMergeRecommendationForRunState,
|
|
9
9
|
publicStateForRunState,
|
|
10
10
|
recordValue
|
|
11
|
-
} from "./chunk-
|
|
11
|
+
} from "./chunk-UK7G4RKA.js";
|
|
12
12
|
|
|
13
13
|
// src/run-card.ts
|
|
14
14
|
var RIDDLE_PROOF_RUN_CARD_VERSION = "riddle-proof.run-card.v1";
|
|
@@ -158,10 +158,75 @@ function summarizeRiddleProofPublicState(input) {
|
|
|
158
158
|
prohibited_claims: uniqueStrings(prohibitedClaims)
|
|
159
159
|
};
|
|
160
160
|
}
|
|
161
|
+
function summarizeRiddleProofPublicConsumerSurface(input, options = {}) {
|
|
162
|
+
const record = asRecord(input);
|
|
163
|
+
const runCard = asRecord(record.run_card);
|
|
164
|
+
const stopCondition = asRecord(runCard.stop_condition);
|
|
165
|
+
const raw = asRecord(record.raw);
|
|
166
|
+
const publicState = summarizeRiddleProofPublicState(input);
|
|
167
|
+
const checkpointAudit = publicState.checkpoint_summary;
|
|
168
|
+
const mergeRecommendation = riddleProofPublicStateMergeRecommendation(
|
|
169
|
+
publicState,
|
|
170
|
+
firstStringValue(
|
|
171
|
+
options.merge_recommendation,
|
|
172
|
+
record.merge_recommendation,
|
|
173
|
+
stopCondition.merge_recommendation,
|
|
174
|
+
raw.merge_recommendation
|
|
175
|
+
)
|
|
176
|
+
);
|
|
177
|
+
const checkpointAuditRequired = publicState.required_disclosures.includes("checkpoint_audit_counters");
|
|
178
|
+
return {
|
|
179
|
+
kind: options.kind || "run_result",
|
|
180
|
+
status: publicState.status,
|
|
181
|
+
result_label: publicState.result_label,
|
|
182
|
+
policy_state: publicState.policy_state,
|
|
183
|
+
proof_complete: publicState.proof_complete,
|
|
184
|
+
claims: {
|
|
185
|
+
proof_passed: publicState.proof_passed,
|
|
186
|
+
ship_authorized: publicState.ship_authorized,
|
|
187
|
+
merge_ready: publicState.merge_ready,
|
|
188
|
+
sync_allowed: publicState.sync_allowed,
|
|
189
|
+
all_checkpoint_responses_accepted: checkpointAudit ? !checkpointAudit.audit_disclosure_required : false
|
|
190
|
+
},
|
|
191
|
+
ship_control: {
|
|
192
|
+
ship_held: publicState.ship_held,
|
|
193
|
+
shipping_disabled: publicState.shipping_disabled,
|
|
194
|
+
ship_authorized: publicState.ship_authorized
|
|
195
|
+
},
|
|
196
|
+
handoff: {
|
|
197
|
+
merge_ready: publicState.merge_ready,
|
|
198
|
+
sync_allowed: publicState.sync_allowed,
|
|
199
|
+
merge_recommendation: mergeRecommendation
|
|
200
|
+
},
|
|
201
|
+
checkpoint_audit: checkpointAudit,
|
|
202
|
+
disclosures: {
|
|
203
|
+
ship_control: true,
|
|
204
|
+
checkpoint_audit: !checkpointAuditRequired || Boolean(checkpointAudit),
|
|
205
|
+
required: [...publicState.required_disclosures],
|
|
206
|
+
prohibited_claims: [...publicState.prohibited_claims]
|
|
207
|
+
},
|
|
208
|
+
public_state: publicState
|
|
209
|
+
};
|
|
210
|
+
}
|
|
211
|
+
function summarizeRiddleProofHostedProofViewSurface(input, options = {}) {
|
|
212
|
+
return summarizeRiddleProofPublicConsumerSurface(input, {
|
|
213
|
+
...options,
|
|
214
|
+
kind: "hosted_proof_view"
|
|
215
|
+
});
|
|
216
|
+
}
|
|
217
|
+
function summarizeRiddleProofAgentSummarySurface(input, options = {}) {
|
|
218
|
+
return summarizeRiddleProofPublicConsumerSurface(input, {
|
|
219
|
+
...options,
|
|
220
|
+
kind: "agent_summary"
|
|
221
|
+
});
|
|
222
|
+
}
|
|
161
223
|
|
|
162
224
|
export {
|
|
163
225
|
riddleProofPublicStateAllowsClaim,
|
|
164
226
|
riddleProofPublicStateAllowsMergeRecommendation,
|
|
165
227
|
riddleProofPublicStateMergeRecommendation,
|
|
166
|
-
summarizeRiddleProofPublicState
|
|
228
|
+
summarizeRiddleProofPublicState,
|
|
229
|
+
summarizeRiddleProofPublicConsumerSurface,
|
|
230
|
+
summarizeRiddleProofHostedProofViewSurface,
|
|
231
|
+
summarizeRiddleProofAgentSummarySurface
|
|
167
232
|
};
|
|
@@ -7,7 +7,7 @@ import {
|
|
|
7
7
|
RIDDLE_PROOF_PR_COMMENT_MARKER,
|
|
8
8
|
buildRiddleProofPrCommentMarkdown,
|
|
9
9
|
summarizeRiddleProofPrComment
|
|
10
|
-
} from "./chunk-
|
|
10
|
+
} from "./chunk-RZ3GXSXQ.js";
|
|
11
11
|
import {
|
|
12
12
|
RIDDLE_PROOF_PROFILE_EVIDENCE_VERSION,
|
|
13
13
|
applyRiddleProofProfileArtifactCompleteness,
|
|
@@ -28,14 +28,14 @@ import {
|
|
|
28
28
|
createDisabledRiddleProofAgentAdapter,
|
|
29
29
|
readRiddleProofRunStatus,
|
|
30
30
|
runRiddleProofEngineHarness
|
|
31
|
-
} from "./chunk-
|
|
31
|
+
} from "./chunk-P4BHU5NM.js";
|
|
32
32
|
import {
|
|
33
33
|
createCheckpointResponseTemplate
|
|
34
|
-
} from "./chunk-
|
|
34
|
+
} from "./chunk-ZB5XBHWD.js";
|
|
35
35
|
import {
|
|
36
36
|
createCodexExecAgentAdapter,
|
|
37
37
|
runCodexExecAgentDoctor
|
|
38
|
-
} from "./chunk-
|
|
38
|
+
} from "./chunk-OD6OKXL2.js";
|
|
39
39
|
|
|
40
40
|
// src/cli.ts
|
|
41
41
|
import { spawnSync } from "child_process";
|
|
@@ -3,13 +3,13 @@ import {
|
|
|
3
3
|
appendStageHeartbeat,
|
|
4
4
|
createRunState,
|
|
5
5
|
setRunStatus
|
|
6
|
-
} from "./chunk-
|
|
6
|
+
} from "./chunk-NMQIWBSB.js";
|
|
7
7
|
import {
|
|
8
8
|
noImplementationModeFor
|
|
9
9
|
} from "./chunk-EKZXU6MU.js";
|
|
10
10
|
import {
|
|
11
11
|
createRunResult
|
|
12
|
-
} from "./chunk-
|
|
12
|
+
} from "./chunk-UK7G4RKA.js";
|
|
13
13
|
import {
|
|
14
14
|
__export
|
|
15
15
|
} from "./chunk-MLKGABMK.js";
|
|
@@ -61,6 +61,9 @@ function shouldIterate(assessment) {
|
|
|
61
61
|
const nextStage = assessment.continue_with_stage || assessment.recommended_stage;
|
|
62
62
|
return nextStage === "implement" || nextStage === "author";
|
|
63
63
|
}
|
|
64
|
+
function hasTrustedReadySource(assessment) {
|
|
65
|
+
return assessment.source === "supervising_agent" || assessment.source === "supervisor";
|
|
66
|
+
}
|
|
64
67
|
async function notifyIfConfigured(input) {
|
|
65
68
|
if (!input.notification) return input.result;
|
|
66
69
|
try {
|
|
@@ -396,6 +399,7 @@ async function runRiddleProof(input) {
|
|
|
396
399
|
decision: assessment.decision,
|
|
397
400
|
recommended_stage: assessment.recommended_stage,
|
|
398
401
|
continue_with_stage: assessment.continue_with_stage,
|
|
402
|
+
source: assessment.source,
|
|
399
403
|
reasons: assessment.reasons
|
|
400
404
|
}
|
|
401
405
|
});
|
|
@@ -407,7 +411,27 @@ async function runRiddleProof(input) {
|
|
|
407
411
|
evidence_bundle: evidenceBundle
|
|
408
412
|
});
|
|
409
413
|
}
|
|
410
|
-
if (assessment.decision === "ready_to_ship")
|
|
414
|
+
if (assessment.decision === "ready_to_ship") {
|
|
415
|
+
if (!hasTrustedReadySource(assessment)) {
|
|
416
|
+
return blockRun({
|
|
417
|
+
state,
|
|
418
|
+
stage: "verify",
|
|
419
|
+
blocker: adapterBlocker(
|
|
420
|
+
"proof_assessment_untrusted_source",
|
|
421
|
+
"A ready_to_ship proof assessment must come from a supervising source.",
|
|
422
|
+
"judge_completed",
|
|
423
|
+
{
|
|
424
|
+
decision: assessment.decision,
|
|
425
|
+
source: assessment.source || null,
|
|
426
|
+
trusted_sources: ["supervising_agent", "supervisor"]
|
|
427
|
+
}
|
|
428
|
+
),
|
|
429
|
+
evidence_bundle: evidenceBundle,
|
|
430
|
+
raw: { assessment }
|
|
431
|
+
});
|
|
432
|
+
}
|
|
433
|
+
break;
|
|
434
|
+
}
|
|
411
435
|
if (attempt + 1 < maxIterations && shouldIterate(assessment)) {
|
|
412
436
|
evidenceContext = evidenceBundle;
|
|
413
437
|
appendRunEvent(state, {
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import {
|
|
2
2
|
createRiddleProofRunCard
|
|
3
|
-
} from "./chunk-
|
|
3
|
+
} from "./chunk-2OTPBHSM.js";
|
|
4
4
|
import {
|
|
5
5
|
compactRecord,
|
|
6
6
|
isProtectedFinalStatus,
|
|
@@ -8,7 +8,7 @@ import {
|
|
|
8
8
|
nonEmptyString,
|
|
9
9
|
publicStateForRunState,
|
|
10
10
|
recordValue
|
|
11
|
-
} from "./chunk-
|
|
11
|
+
} from "./chunk-UK7G4RKA.js";
|
|
12
12
|
|
|
13
13
|
// src/state.ts
|
|
14
14
|
var RIDDLE_PROOF_RUN_STATE_VERSION = "riddle-proof.run-state.v1";
|
|
@@ -5,10 +5,10 @@ import {
|
|
|
5
5
|
createRunStatusSnapshot,
|
|
6
6
|
normalizeRunParams,
|
|
7
7
|
setRunStatus
|
|
8
|
-
} from "./chunk-
|
|
8
|
+
} from "./chunk-NMQIWBSB.js";
|
|
9
9
|
import {
|
|
10
10
|
createRiddleProofRunCard
|
|
11
|
-
} from "./chunk-
|
|
11
|
+
} from "./chunk-2OTPBHSM.js";
|
|
12
12
|
import {
|
|
13
13
|
canonicalProofAssessmentStageForDecision,
|
|
14
14
|
noImplementationModeFor,
|
|
@@ -27,7 +27,7 @@ import {
|
|
|
27
27
|
normalizeCheckpointResponse,
|
|
28
28
|
proofContractFromAuthorCheckpointResponse,
|
|
29
29
|
statePathsForRunState
|
|
30
|
-
} from "./chunk-
|
|
30
|
+
} from "./chunk-ZB5XBHWD.js";
|
|
31
31
|
import {
|
|
32
32
|
applyShipControlState,
|
|
33
33
|
applyTerminalMetadata,
|
|
@@ -37,7 +37,7 @@ import {
|
|
|
37
37
|
nonEmptyString,
|
|
38
38
|
normalizeTerminalMetadata,
|
|
39
39
|
recordValue
|
|
40
|
-
} from "./chunk-
|
|
40
|
+
} from "./chunk-UK7G4RKA.js";
|
|
41
41
|
import {
|
|
42
42
|
__export
|
|
43
43
|
} from "./chunk-MLKGABMK.js";
|
|
@@ -2,7 +2,7 @@ import {
|
|
|
2
2
|
riddleProofPublicStateAllowsMergeRecommendation,
|
|
3
3
|
riddleProofPublicStateMergeRecommendation,
|
|
4
4
|
summarizeRiddleProofPublicState
|
|
5
|
-
} from "./chunk-
|
|
5
|
+
} from "./chunk-6PSM6KB2.js";
|
|
6
6
|
|
|
7
7
|
// src/pr-comment.ts
|
|
8
8
|
var RIDDLE_PROOF_PR_COMMENT_MARKER = "<!-- riddle-proof:pr-comment:v1 -->";
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
import {
|
|
2
2
|
normalizeIntegrationContext,
|
|
3
3
|
normalizeRunParams
|
|
4
|
-
} from "./chunk-
|
|
4
|
+
} from "./chunk-NMQIWBSB.js";
|
|
5
5
|
import {
|
|
6
6
|
compactRecord
|
|
7
|
-
} from "./chunk-
|
|
7
|
+
} from "./chunk-UK7G4RKA.js";
|
|
8
8
|
|
|
9
9
|
// src/openclaw.ts
|
|
10
10
|
function parseOpenClawAssertions(value) {
|
package/dist/cli/index.js
CHANGED
|
@@ -1,14 +1,14 @@
|
|
|
1
|
-
import "../chunk-
|
|
1
|
+
import "../chunk-DDAV6D6K.js";
|
|
2
2
|
import "../chunk-DI2XNGEZ.js";
|
|
3
|
-
import "../chunk-
|
|
3
|
+
import "../chunk-RZ3GXSXQ.js";
|
|
4
4
|
import "../chunk-EX7TO4I5.js";
|
|
5
|
-
import "../chunk-
|
|
6
|
-
import "../chunk-
|
|
7
|
-
import "../chunk-
|
|
5
|
+
import "../chunk-P4BHU5NM.js";
|
|
6
|
+
import "../chunk-NMQIWBSB.js";
|
|
7
|
+
import "../chunk-2OTPBHSM.js";
|
|
8
8
|
import "../chunk-EKZXU6MU.js";
|
|
9
|
-
import "../chunk-
|
|
9
|
+
import "../chunk-ZB5XBHWD.js";
|
|
10
10
|
import "../chunk-JFQXAJH2.js";
|
|
11
|
-
import "../chunk-
|
|
12
|
-
import "../chunk-
|
|
13
|
-
import "../chunk-
|
|
11
|
+
import "../chunk-OD6OKXL2.js";
|
|
12
|
+
import "../chunk-UK7G4RKA.js";
|
|
13
|
+
import "../chunk-6PSM6KB2.js";
|
|
14
14
|
import "../chunk-MLKGABMK.js";
|
package/dist/cli.js
CHANGED
|
@@ -1,15 +1,15 @@
|
|
|
1
1
|
#!/usr/bin/env node
|
|
2
|
-
import "./chunk-
|
|
2
|
+
import "./chunk-DDAV6D6K.js";
|
|
3
3
|
import "./chunk-DI2XNGEZ.js";
|
|
4
|
-
import "./chunk-
|
|
4
|
+
import "./chunk-RZ3GXSXQ.js";
|
|
5
5
|
import "./chunk-EX7TO4I5.js";
|
|
6
|
-
import "./chunk-
|
|
7
|
-
import "./chunk-
|
|
8
|
-
import "./chunk-
|
|
6
|
+
import "./chunk-P4BHU5NM.js";
|
|
7
|
+
import "./chunk-NMQIWBSB.js";
|
|
8
|
+
import "./chunk-2OTPBHSM.js";
|
|
9
9
|
import "./chunk-EKZXU6MU.js";
|
|
10
|
-
import "./chunk-
|
|
10
|
+
import "./chunk-ZB5XBHWD.js";
|
|
11
11
|
import "./chunk-JFQXAJH2.js";
|
|
12
|
-
import "./chunk-
|
|
13
|
-
import "./chunk-
|
|
14
|
-
import "./chunk-
|
|
12
|
+
import "./chunk-OD6OKXL2.js";
|
|
13
|
+
import "./chunk-UK7G4RKA.js";
|
|
14
|
+
import "./chunk-6PSM6KB2.js";
|
|
15
15
|
import "./chunk-MLKGABMK.js";
|
package/dist/codex-exec-agent.js
CHANGED
|
@@ -2,9 +2,9 @@ import {
|
|
|
2
2
|
createCodexExecAgentAdapter,
|
|
3
3
|
createCodexExecJsonRunner,
|
|
4
4
|
runCodexExecAgentDoctor
|
|
5
|
-
} from "./chunk-
|
|
6
|
-
import "./chunk-
|
|
7
|
-
import "./chunk-
|
|
5
|
+
} from "./chunk-OD6OKXL2.js";
|
|
6
|
+
import "./chunk-UK7G4RKA.js";
|
|
7
|
+
import "./chunk-6PSM6KB2.js";
|
|
8
8
|
import "./chunk-MLKGABMK.js";
|
|
9
9
|
export {
|
|
10
10
|
createCodexExecAgentAdapter,
|
package/dist/engine-harness.js
CHANGED
|
@@ -2,13 +2,13 @@ import {
|
|
|
2
2
|
createDisabledRiddleProofAgentAdapter,
|
|
3
3
|
readRiddleProofRunStatus,
|
|
4
4
|
runRiddleProofEngineHarness
|
|
5
|
-
} from "./chunk-
|
|
6
|
-
import "./chunk-
|
|
7
|
-
import "./chunk-
|
|
5
|
+
} from "./chunk-P4BHU5NM.js";
|
|
6
|
+
import "./chunk-NMQIWBSB.js";
|
|
7
|
+
import "./chunk-2OTPBHSM.js";
|
|
8
8
|
import "./chunk-EKZXU6MU.js";
|
|
9
|
-
import "./chunk-
|
|
10
|
-
import "./chunk-
|
|
11
|
-
import "./chunk-
|
|
9
|
+
import "./chunk-ZB5XBHWD.js";
|
|
10
|
+
import "./chunk-UK7G4RKA.js";
|
|
11
|
+
import "./chunk-6PSM6KB2.js";
|
|
12
12
|
import "./chunk-MLKGABMK.js";
|
|
13
13
|
export {
|
|
14
14
|
createDisabledRiddleProofAgentAdapter,
|