@openclawbrain/cli 0.4.12 → 0.4.14

package/dist/src/local-learner.js

@@ -3670,7 +3670,11 @@ export function buildGraphLocalActionSet(nodeBlockId, neighborBlockIds, graph, v
 // TrajectoryStepV1, TrajectoryV1 defined below in PG5 section
 export const STOP_ACTION_ID = "__STOP__";
 const STOP_ACTION = STOP_ACTION_ID;
+const STOP_ACTION_UPDATE_SEPARATOR = "::";
 const DEFAULT_STOP_BIAS = 0.0;
+export function buildStopActionUpdateBlockId(nodeBlockId) {
+    return `${nodeBlockId}${STOP_ACTION_UPDATE_SEPARATOR}${STOP_ACTION_ID}`;
+}
 const DEFAULT_TAU = 1.0;
 const DEFAULT_BASELINE_ALPHA = 0.05;
 const MAX_TRAJECTORY_LENGTH = 20;
@@ -3741,15 +3745,12 @@ export function computeTrajectoryPolicyGradient(trajectory, adjacency, graph, ve
                         grad = (1 / tau) * (-prob);
                     }
                 }
-                tailGradient.set(j, (tailGradient.get(j) ?? 0) + grad);
+                const gradientKey = j === STOP_ACTION_ID ? buildStopActionUpdateBlockId(step.nodeBlockId) : j;
+                tailGradient.set(gradientKey, (tailGradient.get(gradientKey) ?? 0) + grad);
             }
         }
         // Weight by advantage and pgScale, accumulate into updates
         for (const [blockId, grad] of tailGradient) {
-            // Skip STOP action — it has no learnable weight
-            if (blockId === STOP_ACTION_ID) {
-                continue;
-            }
             const scaledDelta = advantage * grad * pgScale;
             const current = updates.get(blockId);
             if (current === undefined) {
@@ -4053,15 +4054,36 @@ function normalizeOutcomeMatchText(value) {
         ? value.replace(/\s+/g, " ").trim().toLowerCase()
         : null;
 }
+function normalizeObservationOptionalString(value) {
+    return typeof value === "string" && value.trim().length > 0 ? value.trim() : null;
+}
+function buildObservationSelectionDigestKey(selectionDigest, activePackGraphChecksum) {
+    const normalizedSelectionDigest = normalizeObservationOptionalString(selectionDigest);
+    const normalizedGraphChecksum = normalizeObservationOptionalString(activePackGraphChecksum);
+    if (normalizedSelectionDigest === null || normalizedGraphChecksum === null) {
+        return null;
+    }
+    return `${normalizedGraphChecksum}|${normalizedSelectionDigest}`;
+}
 function parseObservationRouteMetadata(value) {
     if (typeof value !== "string" || value.trim().length === 0) {
         return {
+            serveDecisionRecordId: null,
+            selectionDigest: null,
+            turnCompileEventId: null,
+            activePackId: null,
+            activePackGraphChecksum: null,
             selectedNodeIds: [],
             selectedPathNodeIds: []
         };
     }
     try {
         const parsed = JSON.parse(value);
+        const serveDecisionRecordId = normalizeObservationOptionalString(parsed?.serveDecisionRecordId);
+        const selectionDigest = normalizeObservationOptionalString(parsed?.selectionDigest);
+        const turnCompileEventId = normalizeObservationOptionalString(parsed?.turnCompileEventId);
+        const activePackId = normalizeObservationOptionalString(parsed?.activePackId);
+        const activePackGraphChecksum = normalizeObservationOptionalString(parsed?.activePackGraphChecksum);
         const selectedNodeIds = Array.isArray(parsed?.selectedNodeIds)
             ? parsed.selectedNodeIds.filter((entry) => typeof entry === "string")
             : [];
@@ -4069,12 +4091,22 @@ function parseObservationRouteMetadata(value) {
             ? parsed.selectedPathNodeIds.filter((entry) => typeof entry === "string")
             : [];
         return {
+            serveDecisionRecordId,
+            selectionDigest,
+            turnCompileEventId,
+            activePackId,
+            activePackGraphChecksum,
             selectedNodeIds,
             selectedPathNodeIds
         };
     }
     catch {
         return {
+            serveDecisionRecordId: null,
+            selectionDigest: null,
+            turnCompileEventId: null,
+            activePackId: null,
+            activePackGraphChecksum: null,
             selectedNodeIds: [],
             selectedPathNodeIds: []
         };
@@ -4098,8 +4130,24 @@ function loadTeacherObservationOutcomesFromActivation(activationRoot) {
         if (table === undefined) {
             return [];
         }
+        const columns = new Set(db.prepare("PRAGMA table_info(brain_observations)").all().map((column) => String(column.name ?? "")));
+        const selectableColumns = [
+            "id",
+            "query_text",
+            "route_metadata_json",
+            "final_score",
+            "confidence",
+            "created_at",
+            "updated_at",
+            "evaluated_at",
+            columns.has("serve_decision_record_id") ? "serve_decision_record_id" : "NULL AS serve_decision_record_id",
+            columns.has("selection_digest") ? "selection_digest" : "NULL AS selection_digest",
+            columns.has("turn_compile_event_id") ? "turn_compile_event_id" : "NULL AS turn_compile_event_id",
+            columns.has("active_pack_id") ? "active_pack_id" : "NULL AS active_pack_id",
+            columns.has("active_pack_graph_checksum") ? "active_pack_graph_checksum" : "NULL AS active_pack_graph_checksum"
+        ];
         const rows = db.prepare(`
-      SELECT id, query_text, route_metadata_json, final_score, confidence, created_at, updated_at, evaluated_at
+      SELECT ${selectableColumns.join(", ")}
       FROM brain_observations
       WHERE final_score IS NOT NULL
       ORDER BY created_at DESC
@@ -4115,6 +4163,11 @@ function loadTeacherObservationOutcomesFromActivation(activationRoot) {
                 createdAt: Number.isFinite(Number(row.created_at)) ? Number(row.created_at) : null,
                 updatedAt: Number.isFinite(Number(row.updated_at)) ? Number(row.updated_at) : null,
                 evaluatedAt: Number.isFinite(Number(row.evaluated_at)) ? Number(row.evaluated_at) : null,
+                serveDecisionRecordId: normalizeObservationOptionalString(row.serve_decision_record_id) ?? routeMetadata.serveDecisionRecordId,
+                selectionDigest: normalizeObservationOptionalString(row.selection_digest) ?? routeMetadata.selectionDigest,
+                turnCompileEventId: normalizeObservationOptionalString(row.turn_compile_event_id) ?? routeMetadata.turnCompileEventId,
+                activePackId: normalizeObservationOptionalString(row.active_pack_id) ?? routeMetadata.activePackId,
+                activePackGraphChecksum: normalizeObservationOptionalString(row.active_pack_graph_checksum) ?? routeMetadata.activePackGraphChecksum,
                 selectedNodeIds: routeMetadata.selectedNodeIds,
                 selectedPathNodeIds: routeMetadata.selectedPathNodeIds
             };
@@ -4196,45 +4249,172 @@ function compareDecisionObservationMatch(left, right) {
     }
     return 0;
 }
+function emptyTeacherObservationBindingStats() {
+    return {
+        totalObservationCount: 0,
+        nonZeroObservationCount: 0,
+        skippedZeroRewardCount: 0,
+        matched: {
+            exactDecisionId: 0,
+            exactSelectionDigest: 0,
+            turnCompileEventId: 0,
+            legacyHeuristic: 0
+        },
+        unmatched: {
+            exactDecisionId: 0,
+            exactSelectionDigest: 0,
+            turnCompileEventId: 0,
+            legacyHeuristic: 0
+        },
+        ambiguous: {
+            exactDecisionId: 0,
+            exactSelectionDigest: 0,
+            turnCompileEventId: 0,
+            legacyHeuristic: 0
+        }
+    };
+}
+function summarizeTeacherObservationBindingStats(stats) {
+    return [
+        `matched(exact_decision_id=${stats.matched.exactDecisionId},exact_selection_digest=${stats.matched.exactSelectionDigest},turn_compile_event_id=${stats.matched.turnCompileEventId},legacy_heuristic=${stats.matched.legacyHeuristic})`,
+        `unmatched(exact_decision_id=${stats.unmatched.exactDecisionId},exact_selection_digest=${stats.unmatched.exactSelectionDigest},turn_compile_event_id=${stats.unmatched.turnCompileEventId},legacy_heuristic=${stats.unmatched.legacyHeuristic})`,
+        `ambiguous(exact_decision_id=${stats.ambiguous.exactDecisionId},exact_selection_digest=${stats.ambiguous.exactSelectionDigest},turn_compile_event_id=${stats.ambiguous.turnCompileEventId},legacy_heuristic=${stats.ambiguous.legacyHeuristic})`,
+        `non_zero=${stats.nonZeroObservationCount}`,
+        `skipped_zero=${stats.skippedZeroRewardCount}`
+    ].join(" ");
+}
+function buildTeacherObservationDecisionIndexes(decisions) {
+    const byRecordId = new Map();
+    const bySelectionDigest = new Map();
+    const ambiguousSelectionDigests = new Set();
+    const byTurnCompileEventId = new Map();
+    const ambiguousTurnCompileEventIds = new Set();
+    for (const decision of decisions) {
+        byRecordId.set(decision.recordId, decision);
+        const selectionDigestKey = buildObservationSelectionDigestKey(decision.selectionDigest, decision.activePackGraphChecksum);
+        if (selectionDigestKey !== null) {
+            if (bySelectionDigest.has(selectionDigestKey)) {
+                bySelectionDigest.delete(selectionDigestKey);
+                ambiguousSelectionDigests.add(selectionDigestKey);
+            }
+            else if (!ambiguousSelectionDigests.has(selectionDigestKey)) {
+                bySelectionDigest.set(selectionDigestKey, decision);
+            }
+        }
+        const turnCompileEventId = normalizeObservationOptionalString(decision.turnCompileEventId);
+        if (turnCompileEventId !== null) {
+            if (byTurnCompileEventId.has(turnCompileEventId)) {
+                byTurnCompileEventId.delete(turnCompileEventId);
+                ambiguousTurnCompileEventIds.add(turnCompileEventId);
+            }
+            else if (!ambiguousTurnCompileEventIds.has(turnCompileEventId)) {
+                byTurnCompileEventId.set(turnCompileEventId, decision);
+            }
+        }
+    }
+    return {
+        byRecordId,
+        bySelectionDigest,
+        ambiguousSelectionDigests,
+        byTurnCompileEventId,
+        ambiguousTurnCompileEventIds
+    };
+}
+function resolveLegacyTeacherObservationMatch(decisions, observation) {
+    const matches = decisions
+        .map((decision) => {
+        const key = decisionObservationMatchKey(decision, observation);
+        return key === null
+            ? null
+            : {
+                decision,
+                key
+            };
+    })
+        .filter((entry) => entry !== null)
+        .sort((left, right) => compareDecisionObservationMatch(left.key, right.key));
+    const best = matches[0] ?? null;
+    const runnerUp = matches[1] ?? null;
+    if (best === null) {
+        return { kind: "unmatched", mode: "legacyHeuristic" };
+    }
+    if (runnerUp !== null && compareDecisionObservationMatch(best.key, runnerUp.key) === 0) {
+        return { kind: "ambiguous", mode: "legacyHeuristic" };
+    }
+    return {
+        kind: "matched",
+        mode: "legacyHeuristic",
+        decision: best.decision
+    };
+}
+function resolveTeacherObservationDecisionMatch(decisions, observation, indexes) {
+    const serveDecisionRecordId = normalizeObservationOptionalString(observation.serveDecisionRecordId);
+    if (serveDecisionRecordId !== null) {
+        const decision = indexes.byRecordId.get(serveDecisionRecordId) ?? null;
+        return decision === null
+            ? { kind: "unmatched", mode: "exactDecisionId" }
+            : { kind: "matched", mode: "exactDecisionId", decision };
+    }
+    const selectionDigestKey = buildObservationSelectionDigestKey(observation.selectionDigest, observation.activePackGraphChecksum);
+    if (selectionDigestKey !== null) {
+        if (indexes.ambiguousSelectionDigests.has(selectionDigestKey)) {
+            return { kind: "ambiguous", mode: "exactSelectionDigest" };
+        }
+        const decision = indexes.bySelectionDigest.get(selectionDigestKey) ?? null;
+        return decision === null
+            ? { kind: "unmatched", mode: "exactSelectionDigest" }
+            : { kind: "matched", mode: "exactSelectionDigest", decision };
+    }
+    if (normalizeObservationOptionalString(observation.selectionDigest) !== null
+        || normalizeObservationOptionalString(observation.activePackGraphChecksum) !== null) {
+        return { kind: "unmatched", mode: "exactSelectionDigest" };
+    }
+    const turnCompileEventId = normalizeObservationOptionalString(observation.turnCompileEventId);
+    if (turnCompileEventId !== null) {
+        if (indexes.ambiguousTurnCompileEventIds.has(turnCompileEventId)) {
+            return { kind: "ambiguous", mode: "turnCompileEventId" };
+        }
+        const decision = indexes.byTurnCompileEventId.get(turnCompileEventId) ?? null;
+        return decision === null
+            ? { kind: "unmatched", mode: "turnCompileEventId" }
+            : { kind: "matched", mode: "turnCompileEventId", decision };
+    }
+    return resolveLegacyTeacherObservationMatch(decisions, observation);
+}
 function joinDecisionsWithTeacherObservationOutcomes(decisions, observationOutcomes) {
     const outcomes = new Map();
+    const stats = emptyTeacherObservationBindingStats();
     for (const decision of decisions) {
         outcomes.set(decision.recordId, 0);
     }
     if (!Array.isArray(observationOutcomes) || observationOutcomes.length === 0) {
-        return outcomes;
+        return { outcomes, stats };
     }
+    const indexes = buildTeacherObservationDecisionIndexes(decisions);
+    stats.totalObservationCount = observationOutcomes.length;
     for (const observation of observationOutcomes) {
-        const matches = decisions
-            .map((decision) => {
-            const key = decisionObservationMatchKey(decision, observation);
-            return key === null
-                ? null
-                : {
-                    decision,
-                    key
-                };
-        })
-            .filter((entry) => entry !== null)
-            .sort((left, right) => compareDecisionObservationMatch(left.key, right.key));
-        const best = matches[0] ?? null;
-        const runnerUp = matches[1] ?? null;
-        if (best === null) {
+        const reward = clampTeacherObservationOutcome(observation.finalScore);
+        if (reward === 0) {
+            stats.skippedZeroRewardCount += 1;
             continue;
         }
-        if (runnerUp !== null && compareDecisionObservationMatch(best.key, runnerUp.key) === 0) {
+        stats.nonZeroObservationCount += 1;
+        const match = resolveTeacherObservationDecisionMatch(decisions, observation, indexes);
+        if (match.kind === "unmatched") {
+            stats.unmatched[match.mode] += 1;
             continue;
         }
-        const reward = clampTeacherObservationOutcome(observation.finalScore);
-        if (reward === 0) {
+        if (match.kind === "ambiguous") {
+            stats.ambiguous[match.mode] += 1;
             continue;
         }
-        const current = outcomes.get(best.decision.recordId) ?? 0;
+        stats.matched[match.mode] += 1;
+        const current = outcomes.get(match.decision.recordId) ?? 0;
         if (current === 0 || Math.abs(reward) > Math.abs(current)) {
-            outcomes.set(best.decision.recordId, reward);
+            outcomes.set(match.decision.recordId, reward);
         }
     }
-    return outcomes;
+    return { outcomes, stats };
 }
 
 export function joinDecisionsWithFeedback(decisions, eventExport, maxDelayMs = 300_000) {
@@ -4587,13 +4767,12 @@ function computeTrajectoryPolicyGradientV2(trajectory, adjacency, graph, vectors
                 const grad = neighborId === actionKey
                     ? (1 / tau) * (1 - prob)
                     : (1 / tau) * (-prob);
-                tailGradient.set(neighborId, (tailGradient.get(neighborId) ?? 0) + grad);
+                const gradientKey = neighborId === STOP_ACTION ? buildStopActionUpdateBlockId(step.nodeBlockId) : neighborId;
+                tailGradient.set(gradientKey, (tailGradient.get(gradientKey) ?? 0) + grad);
             }
         }
         // Weight by advantage and pgScale
         for (const [blockId, grad] of tailGradient) {
-            if (blockId === STOP_ACTION)
-                continue; // don't update virtual STOP
             const delta = roundPolicyGradientValue(advantage * grad * pgScale);
             if (delta === 0)
                 continue;
@@ -4627,8 +4806,8 @@ function createRouterArtifactV2(packId, builtAt, graph, vectors, eventExport, se
     const remappedServeTimeDecisions = serveTimeDecisions.map((decision) => remapServeTimeDecisionToGraph(decision, resolveBlockId));
     // 2. Join serve-time decisions with explicit feedback first, then let teacher-v2 observations override when available.
     const outcomeMap = joinDecisionsWithFeedback(remappedServeTimeDecisions, eventExport);
-    const teacherObservationOutcomeMap = joinDecisionsWithTeacherObservationOutcomes(remappedServeTimeDecisions, teacherObservationOutcomes);
-    for (const [decisionId, reward] of teacherObservationOutcomeMap.entries()) {
+    const teacherObservationBindings = joinDecisionsWithTeacherObservationOutcomes(remappedServeTimeDecisions, teacherObservationOutcomes);
+    for (const [decisionId, reward] of teacherObservationBindings.outcomes.entries()) {
         if (reward !== 0) {
             outcomeMap.set(decisionId, reward);
         }
@@ -4695,7 +4874,8 @@ function createRouterArtifactV2(packId, builtAt, graph, vectors, eventExport, se
         if (fallback.policyUpdates.length > 0) {
             return {
                 artifact: fallback,
-                updatedBaseline: currentBaseline
+                updatedBaseline: currentBaseline,
+                observationBindingStats: teacherObservationBindings.stats
             };
         }
     }
@@ -4717,7 +4897,7 @@ function createRouterArtifactV2(packId, builtAt, graph, vectors, eventExport, se
         : remappedServeTimeDecisions.length === 0
             ? "no serve-time decisions supplied for V2 learned routing refresh"
             : supervisedTrajectoryCount === 0
-                ? "no outcomes found for serve-time decisions"
+                ? `no outcomes found for serve-time decisions (${summarizeTeacherObservationBindingStats(teacherObservationBindings.stats)})`
                 : "trajectory updates produced no learned routing delta";
     const artifact = {
         routerIdentity: `${packId}:route_fn`,
@@ -4765,7 +4945,11 @@ function createRouterArtifactV2(packId, builtAt, graph, vectors, eventExport, se
         traces,
         policyUpdates
     };
-    return { artifact, updatedBaseline: currentBaseline };
+    return {
+        artifact,
+        updatedBaseline: currentBaseline,
+        observationBindingStats: teacherObservationBindings.stats
+    };
 }
 function resolveEventExport(input) {
     if (input.eventExports === undefined) {
@@ -4922,6 +5106,7 @@ export function buildCandidatePack(input) {
     const vectors = createVectorsPayload(graph);
     let router = null;
     let updatedBaseline = null;
+    let observationBindingStats = null;
     const teacherObservationOutcomes = input.activationRoot === undefined
         ? []
         : loadTeacherObservationOutcomesFromActivation(input.activationRoot);
@@ -4930,6 +5115,7 @@ export function buildCandidatePack(input) {
             const v2Result = createRouterArtifactV2(packId, builtAt, graph, vectors, eventExport, input.serveTimeDecisions, input.baselineState ?? initBaseline(), input.sparseFeedback, input.principalBacklog, teacherObservationOutcomes);
             router = v2Result.artifact;
             updatedBaseline = v2Result.updatedBaseline;
+            observationBindingStats = v2Result.observationBindingStats;
         }
         else {
             router = createRouterArtifact(packId, builtAt, graph, vectors, eventExport, input.sparseFeedback, input.principalBacklog);
@@ -5045,7 +5231,8 @@ export function buildCandidatePack(input) {
             pgVersionUsed: input.learnedRouting ? (useV2 ? "v2" : "v1") : null,
             decisionLogCount,
             fallbackReason,
-            updatedBaseline
+            updatedBaseline,
+            observationBindingStats
         },
         summary: {
             packId,

package/dist/src/proof-command.js

@@ -19,6 +19,22 @@ function normalizeOptionalCliString(value) {
     return trimmed.length > 0 ? trimmed : null;
 }
 
+function normalizeReportedProofPath(filePath) {
+    const normalizedPath = normalizeOptionalCliString(filePath);
+    if (normalizedPath === null) {
+        return null;
+    }
+    if (normalizedPath === "~") {
+        return homedir();
+    }
+    if (normalizedPath.startsWith("~/")) {
+        return path.join(homedir(), normalizedPath.slice(2));
+    }
+    return path.isAbsolute(normalizedPath)
+        ? normalizedPath
+        : path.resolve(normalizedPath);
+}
+
 function canonicalizeExistingProofPath(filePath) {
     const resolvedPath = path.resolve(filePath);
     try {
@@ -191,6 +207,12 @@ function readJsonSnapshot(filePath) {
     }
 }
 
+function describeStepWarning(step) {
+    return step.captureState === "partial"
+        ? `${step.stepId} ended as ${step.resultClass} with partial capture`
+        : `${step.stepId} ended as ${step.resultClass}`;
+}
+
 function extractStartupBreadcrumbs(logText, bundleStartedAtIso) {
     if (!logText) {
         return { all: [], afterBundleStart: [] };
@@ -230,6 +252,7 @@ function extractStatusSignals(statusText) {
         serveActivePack: /serve\s+state=serving_active_pack/.test(statusText),
         routeFnAvailable: /routeFn\s+available=yes/.test(statusText),
         proofPath: statusText.match(/proofPath=([^\s]+)/)?.[1] ?? null,
+        proofError: statusText.match(/proofError=([^\s]+)/)?.[1] ?? null,
     };
 }
 
@@ -238,69 +261,106 @@ function hasPackagedHookSource(pluginInspectText) {
 }
 
 function buildVerdict({ steps, gatewayStatus, pluginInspect, statusSignals, breadcrumbs, runtimeLoadProofSnapshot, openclawHome }) {
-    const failedStep = steps.find((step) => step.resultClass !== "success" && step.skipped !== true);
-    if (failedStep) {
-        return {
-            verdict: "command_failed",
-            severity: "blocking",
-            why: `${failedStep.stepId} exited as ${failedStep.resultClass}`,
-        };
-    }
+    const failedSteps = steps.filter((step) => step.resultClass !== "success" && step.skipped !== true);
+    const failedDetailedStatusStep = failedSteps.find((step) => step.stepId === "05-detailed-status");
     const gatewayHealthy = /Runtime:\s+running/m.test(gatewayStatus) && /RPC probe:\s+ok/m.test(gatewayStatus);
     const pluginLoaded = /Status:\s+loaded/m.test(pluginInspect);
     const packagedHookPath = hasPackagedHookSource(pluginInspect);
     const breadcrumbLoaded = breadcrumbs.afterBundleStart.some((entry) => entry.kind === "loaded");
     const runtimeProofMatched = Array.isArray(runtimeLoadProofSnapshot?.value?.profiles)
         && runtimeLoadProofSnapshot.value.profiles.some((profile) => canonicalizeExistingProofPath(profile?.openclawHome ?? "") === canonicalizeExistingProofPath(openclawHome));
-    const missingProofs = [];
-    if (!gatewayHealthy)
-        missingProofs.push("gateway_health");
-    if (!pluginLoaded)
-        missingProofs.push("plugin_loaded");
-    if (!packagedHookPath)
-        missingProofs.push("packaged_hook_path");
+    const runtimeTruthGaps = [];
     if (!statusSignals.statusOk)
-        missingProofs.push("status_ok");
+        runtimeTruthGaps.push("status_ok");
     if (!statusSignals.loadProofReady)
-        missingProofs.push("load_proof");
+        runtimeTruthGaps.push("load_proof");
     if (!statusSignals.runtimeProven)
-        missingProofs.push("runtime_proven");
+        runtimeTruthGaps.push("runtime_proven");
     if (!statusSignals.serveActivePack)
-        missingProofs.push("serve_active_pack");
+        runtimeTruthGaps.push("serve_active_pack");
     if (!statusSignals.routeFnAvailable)
-        missingProofs.push("route_fn");
-    if (!breadcrumbLoaded)
-        missingProofs.push("startup_breadcrumb");
-    if (!runtimeProofMatched)
-        missingProofs.push("runtime_load_proof_record");
-    if (missingProofs.length === 0) {
+        runtimeTruthGaps.push("route_fn");
+    const warningCodes = [];
+    const warnings = [];
+    if (!gatewayHealthy) {
+        warningCodes.push("gateway_health");
+        warnings.push("gateway status did not confirm runtime running and RPC probe ok");
+    }
+    if (!pluginLoaded) {
+        warningCodes.push("plugin_loaded");
+        warnings.push("plugin inspect did not report Status: loaded");
+    }
+    if (!packagedHookPath) {
+        warningCodes.push("packaged_hook_path");
+        warnings.push("plugin inspect did not confirm the packaged hook source");
+    }
+    if (!breadcrumbLoaded) {
+        warningCodes.push("startup_breadcrumb");
+        warnings.push("startup log did not contain a post-bundle [openclawbrain] BRAIN LOADED breadcrumb");
+    }
+    if (!runtimeProofMatched) {
+        warningCodes.push("runtime_load_proof_record");
+        warnings.push(runtimeLoadProofSnapshot.error !== null
+            ? `runtime-load-proof snapshot was unreadable: ${runtimeLoadProofSnapshot.error}`
+            : runtimeLoadProofSnapshot.exists
+                ? "runtime-load-proof snapshot did not include the current openclaw home"
+                : "runtime-load-proof snapshot was missing");
+    }
+    if (statusSignals.proofError !== null && statusSignals.proofError !== "none") {
+        warningCodes.push(`proof_error:${statusSignals.proofError}`);
+        warnings.push(`detailed status reported proofError=${statusSignals.proofError}`);
+    }
+    for (const step of failedSteps) {
+        warningCodes.push(`step:${step.stepId}:${step.resultClass}:${step.captureState}`);
+        warnings.push(describeStepWarning(step));
+    }
+    const uniqueWarningCodes = [...new Set(warningCodes)];
+    const uniqueWarnings = [...new Set(warnings)];
+    if (runtimeTruthGaps.length === 0 && uniqueWarningCodes.length === 0) {
         return {
             verdict: "success_and_proven",
             severity: "none",
             why: "install, restart, gateway health, plugin load, startup breadcrumb, runtime-load-proof record, and detailed status all aligned",
+            missingProofs: [],
+            warnings: [],
+        };
+    }
+    if (runtimeTruthGaps.length === 0) {
+        return {
+            verdict: "success_but_proof_incomplete",
+            severity: "degraded",
+            why: `status/runtime evidence stayed healthy, but proof warnings remained: ${uniqueWarningCodes.join(", ")}`,
+            missingProofs: uniqueWarningCodes,
+            warnings: uniqueWarnings,
+        };
+    }
+    const hasUsableStatusTruth = statusSignals.statusOk
+        || statusSignals.loadProofReady
+        || statusSignals.runtimeProven
+        || statusSignals.serveActivePack
+        || statusSignals.routeFnAvailable;
+    if (failedDetailedStatusStep && !hasUsableStatusTruth) {
+        return {
+            verdict: "command_failed",
+            severity: "blocking",
+            why: `${failedDetailedStatusStep.stepId} ended as ${failedDetailedStatusStep.resultClass} before runtime truth could be established`,
+            missingProofs: runtimeTruthGaps,
+            warnings: uniqueWarnings,
         };
     }
-    const blocking = missingProofs.some((item) => [
-        "gateway_health",
-        "plugin_loaded",
-        "packaged_hook_path",
-        "status_ok",
-        "load_proof",
-        "runtime_proven",
-        "serve_active_pack",
-        "route_fn",
-    ].includes(item));
     return {
-        verdict: blocking ? "degraded_or_failed_proof" : "success_but_proof_incomplete",
-        severity: blocking ? "blocking" : "degraded",
-        why: `missing or conflicting proofs: ${missingProofs.join(", ")}`,
-        missingProofs,
+        verdict: "degraded_or_failed_proof",
+        severity: "blocking",
+        why: `missing or conflicting runtime truths: ${runtimeTruthGaps.join(", ")}`,
+        missingProofs: [...new Set([...runtimeTruthGaps, ...uniqueWarningCodes])],
+        warnings: uniqueWarnings,
     };
 }
 
 function buildSummary({ options, steps, verdict, gatewayStatusText, pluginInspectText, statusSignals, breadcrumbs, runtimeLoadProofSnapshot }) {
     const passed = [];
     const missing = [];
+    const warnings = Array.isArray(verdict.warnings) ? verdict.warnings : [];
     if (steps.find((step) => step.stepId === "01-install")?.resultClass === "success") {
         passed.push("install command succeeded");
     }
@@ -350,6 +410,9 @@ function buildSummary({ options, steps, verdict, gatewayStatusText, pluginInspec
         "## Missing / incomplete",
         ...(missing.length === 0 ? ["- none"] : missing.map((item) => `- ${item}`)),
         "",
+        "## Warnings",
+        ...(warnings.length === 0 ? ["- none"] : warnings.map((item) => `- ${item}`)),
+        "",
         "## Step ledger",
         ...steps.map((step) => `- ${step.stepId}: ${step.skipped ? "skipped" : `${step.resultClass} (${step.captureState})`} - ${step.summary}`),
     ];
@@ -570,11 +633,12 @@ export function captureOperatorProofBundle(options) {
     const statusCapture = addStep("05-detailed-status", "detailed status", cliInvocation.command, [...cliInvocation.args, "status", "--openclaw-home", options.openclawHome, "--detailed"]);
     const gatewayLogPath = extractGatewayLogPath(gatewayStatusCapture.stdout);
     const activationRoot = extractActivationRoot(statusCapture.stdout, options.activationRoot ?? null);
-    const runtimeLoadProofPath = path.join(activationRoot, "attachment-truth", "runtime-load-proofs.json");
+    const statusSignals = extractStatusSignals(statusCapture.stdout);
+    const runtimeLoadProofPath = normalizeReportedProofPath(statusSignals.proofPath)
+        ?? path.join(activationRoot, "attachment-truth", "runtime-load-proofs.json");
     const runtimeLoadProofSnapshot = readJsonSnapshot(runtimeLoadProofPath);
     const gatewayLogText = readTextIfExists(gatewayLogPath);
     const breadcrumbs = extractStartupBreadcrumbs(gatewayLogText, bundleStartedAt);
-    const statusSignals = extractStatusSignals(statusCapture.stdout);
     writeText(path.join(bundleDir, "extracted-startup-breadcrumbs.log"), breadcrumbs.all.length === 0
         ? "<no matching breadcrumbs found>\n"
         : `${breadcrumbs.all.map((entry) => entry.line).join("\n")}\n`);