rea-agents 6.4.0 → 6.7.0

package/dist/domain/analysisErrorPresentation.js

@@ -1,15 +1,27 @@
-import { AnalysisAccessDeniedError, AnalysisArtifactChangedError, AnalysisInputError, AnalysisUnsupportedTargetError, AnalysisResourceConstraintError, } from "./analysisErrorCore.js";
+import { AnalysisAccessDeniedError, AnalysisArtifactChangedError, AnalysisCapabilityUnavailableError, AnalysisInputError, AnalysisOutputError, AnalysisUnsupportedTargetError, AnalysisResourceConstraintError, AnalysisTimeoutError, } from "./analysisErrorCore.js";
 import { ArtifactOperationError } from "./artifactOperationError.js";
 import { BinaryTargetError, ConfigurationError, NoBinaryOpenError, } from "./configurationErrors.js";
 import { BrowserObservationError } from "./browserObservationError.js";
 import { EvidenceFileError, EvidenceIntegrityError, EvidenceReferenceError, AnalysisSnapshotMismatchError, } from "./evidenceErrors.js";
 import { HopperRemoteError, HopperProcessError, HopperStartError, HopperTimeoutError, } from "./hopperErrors.js";
 import { ProviderSelectionError } from "./providerSelectionError.js";
+import { ProviderAdapterError } from "./providerAdapterError.js";
 import { UnknownRegistryError } from "./unknownRegistryError.js";
 import { providerRetryAction } from "./providerOperationHealth.js";
-import {} from "./analysisErrorBase.js";
-import {} from "./analysisErrorProjection.js";
+import { resolvedAnalysisError, } from "./analysisErrorBase.js";
 export const analysisErrorRemediationAction = (error) => {
+    error = resolvedAnalysisError(error);
+    if ((error instanceof ProviderAdapterError ||
+        error instanceof AnalysisCapabilityUnavailableError) &&
+        error.remediationAction !== undefined)
+        return error.remediationAction;
+    if (error instanceof BrowserObservationError &&
+        error.reason === "service_worker_blocked")
+        return "Set environment.service_workers to allow to permit this capture, or remove the service worker registration through the browser. REA never removes existing registrations.";
+    if (error instanceof AnalysisCapabilityUnavailableError && error.retryable)
+        return "Review details.reason, then retry the same analysis after the condition clears.";
+    if (error instanceof EvidenceFileError && error.published !== undefined)
+        return "Use the published file at details.published_path and resolve the reported staging cleanup failure.";
     if (error instanceof AnalysisSnapshotMismatchError)
         return "Run analysis without this snapshot, then save a fresh snapshot using the intended artifact, provider, and analysis profile.";
     if (error instanceof AnalysisUnsupportedTargetError)
@@ -17,16 +29,21 @@ export const analysisErrorRemediationAction = (error) => {
             "Select a target supported by this operation or choose an operation supporting the reported target format.");
     if (error instanceof AnalysisResourceConstraintError)
         return (error.remediationAction ??
-            (error.resource === "transport"
-                ? "Discover retained records with get_evidence_bundle and detail: summary, then inspect compatible records through inspect_analysis_view using an exact Evidence reference. Export complete retained session evidence through export_evidence_bundle to a caller-selected path, or use complete CLI JSON output. The connection remains usable."
-                : error.resource === "cpu"
-                    ? "Review the reported worker CPU limits and observed signal. Retry with sufficient CPU time or a smaller artifact; REA retains tighter inherited limits."
-                    : error.resource === "file-size"
-                        ? "Review the reported worker file-size limits and write failure. Retry with a sufficient file-size allowance for the evidence reply; REA retains tighter inherited limits."
-                        : "Review the reported worker memory limits and available host memory. Retry with sufficient memory or a smaller artifact; REA retains tighter inherited limits."));
+            (error.resource === "capacity"
+                ? "Wait for an active analysis to complete, then retry within the reported admission limits."
+                : error.resource === "transport"
+                    ? "Discover retained records with get_evidence_bundle and detail: summary, then inspect compatible records through inspect_analysis_view using an exact Evidence reference. Export complete retained session evidence through export_evidence_bundle to a caller-selected path, or use complete CLI JSON output. The connection remains usable."
+                    : error.resource === "cpu"
+                        ? "Review the reported worker CPU limits and observed signal. Retry with sufficient CPU time or a smaller artifact; REA retains tighter inherited limits."
+                        : error.resource === "file-size"
+                            ? "Review the reported worker file-size limits and write failure. Retry with a sufficient file-size allowance for the evidence reply; REA retains tighter inherited limits."
+                            : "Review the reported worker memory limits and available host memory. Retry with sufficient memory or a smaller artifact; REA retains tighter inherited limits."));
+    if (error instanceof AnalysisTimeoutError &&
+        error.remediationAction !== undefined)
+        return error.remediationAction;
     if (error instanceof HopperTimeoutError)
         return error.operation === undefined
-            ? "Inspect Hopper for a loader or license dialog and review details.launcher. Correct the loader configuration or complete Hopper setup, then open the target again."
+            ? "Review details.launcher and inspect Hopper for ongoing initial analysis or a pending loader, demo, or license dialog. For a large target, increase REA_HOPPER_STARTUP_TIMEOUT_MS in the environment that starts REA and allow at least that long in the MCP client. Resolve retained cleanup before reopening."
             : error.providerState === "busy"
                 ? "Check binary_session.analysis_activity, wait for the active Hopper request to finish, then retry."
                 : "Check binary_session for Hopper health, then retry the operation.";
@@ -39,12 +56,21 @@ export const analysisErrorRemediationAction = (error) => {
     if (error instanceof HopperRemoteError)
         return error.diagnosticType === "invalid_request"
             ? "Correct the reported address, document, or arguments and retry."
-            : "Review the Hopper diagnostic details; correct the request or retry if the failure was transient.";
+            : "Review the Hopper diagnostic details and correct the request or target; run `rea doctor` if the provider itself is failing. Repeating the unchanged request is not expected to succeed.";
     if (error instanceof EvidenceReferenceError)
         return "Use an exact Evidence reference retained by this session, supply the complete inline Evidence, re-run its producer, or import its Evidence bundle. close_binary clears retained records.";
     if (error instanceof BinaryTargetError &&
         error.constraint === "directory_requires_file")
         return "For a JavaScript/Electron application directory, call analyze_javascript_application with input_path or run `rea analyze <directory>`. For binary analysis, select its executable file.";
+    if (error instanceof BinaryTargetError &&
+        error.constraint === "load_selection_rejected")
+        return "Correct the reported load argument (--target-format, --architecture, or --entry-point on the CLI; format, architecture, or entry_point through MCP) and retry.";
+    if (error instanceof BinaryTargetError &&
+        error.constraint === "file_format_rejected")
+        return "Review the reported file-format reason and select a supported, well-formed target.";
+    if (error instanceof BinaryTargetError &&
+        error.constraint === "wasm_requires_static_inspection")
+        return `For static inspection, call inspect_wasm_artifact with ${JSON.stringify({ path: error.path })} or run \`rea inspect-wasm-artifact <path> --format json\`. This separate lane requires caller-supplied WABT 1.0.42 via absolute REA_WABT_BIN_DIRECTORY; check its availability in binary_session. REA does not execute WASM or install tools, and the header alone does not establish that the complete module is valid.`;
     if (error instanceof AnalysisAccessDeniedError ||
         (error instanceof BinaryTargetError && error.systemCode !== undefined))
         return "Check the current process's read access to the selected path. Retry with a readable local file.";
@@ -54,11 +80,24 @@ export const analysisErrorRemediationAction = (error) => {
         return `Correct ${[...new Set(error.settings.map(({ setting }) => setting))].join(", ")} in the environment that starts REA (your shell or the MCP client's registration), then rerun.`;
     if (error instanceof AnalysisInputError)
         return "Correct the listed arguments and retry.";
+    if (error instanceof AnalysisOutputError &&
+        error.remediationAction !== undefined)
+        return error.remediationAction;
     if (error instanceof UnknownRegistryError && error.reason === "not-found")
         return "Check that the unknown_id belongs to this session, then retry.";
     return analysisErrorUserMessage(error);
 };
 export const analysisErrorCategory = (error) => {
+    error = resolvedAnalysisError(error);
+    if (error instanceof AnalysisCapabilityUnavailableError && error.retryable)
+        return "unavailable";
+    if (error instanceof BinaryTargetError &&
+        error.constraint === "load_selection_rejected")
+        return "invalid_input";
+    if (error instanceof BinaryTargetError &&
+        (error.constraint === "wasm_requires_static_inspection" ||
+            error.constraint === "file_format_rejected"))
+        return "unsupported_target";
     if (error instanceof ProviderSelectionError &&
         error.reason === "provider_unavailable")
         return "unavailable";
@@ -79,6 +118,7 @@ export const analysisErrorCategory = (error) => {
     if (error instanceof EvidenceFileError &&
         (error.reason === "missing" ||
             error.reason === "not-file" ||
+            error.reason === "wrong-kind" ||
             error.reason === "exists"))
         return "invalid_input";
     return STATIC_ERROR_CATEGORIES[error._tag] ?? "execution_failure";
@@ -92,6 +132,7 @@ const browserErrorCategory = (reason) => {
         return "truncated";
     if (reason === "target_not_found" ||
         reason === "target_not_allowed" ||
+        reason === "service_worker_blocked" ||
         reason === "target_changed" ||
         reason === "endpoint_unreachable" ||
         reason === "disconnected")
@@ -110,6 +151,7 @@ const artifactErrorCategory = (reason) => {
     return "execution_failure";
 };
 const STATIC_ERROR_CATEGORIES = {
+    ConfigurationError: "invalid_input",
     AnalysisInputError: "invalid_input",
     AnalysisAccessDeniedError: "unavailable",
     AnalysisArtifactChangedError: "integrity_mismatch",
@@ -126,6 +168,7 @@ const STATIC_ERROR_CATEGORIES = {
     BinaryTargetError: "unavailable",
 };
 export const analysisErrorUserMessage = (error) => {
+    error = resolvedAnalysisError(error);
     if (error instanceof AnalysisSnapshotMismatchError)
         return error.message;
     if (error instanceof AnalysisUnsupportedTargetError)
@@ -137,12 +180,15 @@ export const analysisErrorUserMessage = (error) => {
     if (error instanceof AnalysisArtifactChangedError)
         return "The selected artifact changed during acquisition; no stable snapshot was decoded.";
     if (error instanceof AnalysisInputError)
-        return "Analysis input is invalid. Check the arguments and try again.";
+        return (error.userMessage ??
+            "Analysis input is invalid. Check the arguments and try again.");
     const hopperMessage = hopperErrorUserMessage(error);
     if (hopperMessage !== undefined)
         return hopperMessage;
     if (error.userMessage !== undefined)
         return error.userMessage;
+    if (error instanceof AnalysisCapabilityUnavailableError && error.retryable)
+        return "Required runtime controls are unavailable for this attempt.";
     const standardMessage = standardErrorMessage(error._tag);
     if (standardMessage !== undefined)
         return standardMessage;
@@ -170,10 +216,16 @@ export const analysisErrorUserMessage = (error) => {
                 .join("; ")}.`;
     if (error instanceof NoBinaryOpenError)
         return error.message;
+    if (error instanceof BinaryTargetError &&
+        error.constraint === "wasm_requires_static_inspection")
+        return `${error.message}. Static WebAssembly inspection uses a separate optional WABT lane, not a native analysis engine.`;
     if (error instanceof BinaryTargetError)
         return error.constraint === "directory_requires_file"
             ? "open_binary accepts files and macOS app bundles. This target is a directory; JavaScript/Electron application directories can be analyzed directly with analyze_javascript_application or `rea analyze <directory>`."
-            : `${error.message}. Check that the path exists, is readable, and points to a supported file.`;
+            : error.constraint === "file_format_rejected" ||
+                error.constraint === "load_selection_rejected"
+                ? `${error.message}.`
+                : `${error.message}. Check that the path exists, is readable, and points to a supported file.`;
     if (error._tag === "ProcessCaptureError")
         return (error.userMessage ??
             "Process capture could not complete. Run `rea doctor`, then review capture policy and try again.");
@@ -182,7 +234,7 @@ export const analysisErrorUserMessage = (error) => {
 const hopperErrorUserMessage = (error) => {
     if (error instanceof HopperTimeoutError) {
         if (error.operation === undefined)
-            return "REA timed out waiting for Hopper bridge readiness. Hopper may be waiting for a loader or license dialog; inspect its window and the captured launcher outcome before retrying.";
+            return "REA timed out waiting for Hopper bridge readiness, which includes initial analysis. Hopper may still be analyzing the target or waiting for a loader, demo, or license dialog. Review the captured launcher outcome and resolve retained cleanup before retrying.";
         const request = error.operation;
         return error.providerState === "busy"
             ? `Hopper timed out during ${request} while the provider remained busy. Check binary_session.analysis_activity, wait for the active request to finish, then retry.`
@@ -198,11 +250,14 @@ const hopperErrorUserMessage = (error) => {
     return undefined;
 };
 const RESTART_OWNED_PROVIDER = "Restart the owned provider by calling close_binary, then open the target again and retry.";
+const RESTART_UNREACHABLE_HOPPER = `${RESTART_OWNED_PROVIDER} If Hopper may have exited, call export_evidence_bundle before close_binary; closing clears retained records.`;
 const hopperProcessRemediation = (error) => {
     if (error.failureCode !== undefined && error.userMessage !== undefined)
         return error.userMessage;
     if (error.stage === "launch")
         return "Review the captured launcher diagnostics and Hopper setup, then retry opening the target.";
+    if (error.providerState === "unreachable")
+        return RESTART_UNREACHABLE_HOPPER;
     if (providerRetryAction(error.providerState) === "restart_provider")
         return RESTART_OWNED_PROVIDER;
     return "Read binary_session.provider_operation_health for this request before retrying or restarting the owned provider.";
@@ -215,8 +270,11 @@ const hopperProcessMessage = (error) => {
         : ` Request id ${String(error.requestId)}.`;
     const startup = error.userMessage === undefined ? "" : ` ${error.userMessage}`;
     if (error.providerState === "exited") {
+        const signal = error.launcherFailure?.signal;
         const exit = error.exitCode === null
-            ? "no exit code was observed"
+            ? signal === undefined || signal === null
+                ? "no exit code was observed"
+                : `signal ${signal}`
             : `exit code ${String(error.exitCode)}`;
         const recovery = error.failureCode === undefined && stage !== "launch"
             ? ` ${RESTART_OWNED_PROVIDER}`
@@ -224,12 +282,12 @@ const hopperProcessMessage = (error) => {
         return `Hopper exited during ${where} (${exit}).${startup}${recovery}${request}`;
     }
     if (error.providerState === "unreachable")
-        return `Hopper became unreachable during ${where}; its process exit was not observed. ${RESTART_OWNED_PROVIDER}${startup}${request}`;
+        return `Hopper became unreachable during ${where}; its process exit was not observed. ${RESTART_UNREACHABLE_HOPPER}${startup}${request}`;
     return `Hopper failed during ${where} and REA could not determine whether the provider is busy, exited, or unreachable.${startup} Read binary_session.provider_operation_health for this request before retrying or restarting.${request}`;
 };
 const standardErrorMessage = (tag) => {
     if (UNREADABLE_OUTPUT_TAGS.has(tag))
-        return "Analysis returned an unreadable result. Retry once; if it continues, run `rea doctor`.";
+        return "Analysis returned an unreadable result. Run `rea doctor` and review the reported details; repeating the unchanged request is not expected to succeed.";
     if (UNSUPPORTED_PROVIDER_TAGS.has(tag))
         return "This analysis is unavailable for the current target. Choose another analysis or target.";
     if (CANCELLED_TAGS.has(tag))
@@ -237,7 +295,7 @@ const standardErrorMessage = (tag) => {
     if (TIMEOUT_TAGS.has(tag))
         return "Analysis took too long. Try a smaller request, then run `rea doctor` if it continues.";
     if (ADAPTER_FAILURE_TAGS.has(tag))
-        return "Analysis could not complete. Retry once; if it continues, run `rea doctor`.";
+        return "Analysis could not complete. Run `rea doctor` and review the reported details; repeating the unchanged request is not expected to succeed.";
     if (START_FAILURE_TAGS.has(tag))
         return "Analysis could not start or stopped unexpectedly. Run `rea doctor`, then try again.";
     return undefined;
@@ -294,7 +352,9 @@ const artifactMessage = ({ operation, reason, artifactDetails: details, detail,
         return "Artifact is invalid or has changed. Get a fresh copy and try again.";
     return "Artifact could not be read or written. Check file access and try again.";
 };
-const evidenceFileMessage = ({ operation, reason, }) => {
+const evidenceFileMessage = ({ operation, reason, published, }) => {
+    if (published !== undefined)
+        return "The output file was published, but staging cleanup remains incomplete.";
     if (reason === "missing")
         return operation === "read"
             ? "Evidence file does not exist at the selected path. Check the path and try again."

package/dist/domain/analysisErrorProjection.js

@@ -11,15 +11,24 @@ import { ProviderAdapterError } from "./providerAdapterError.js";
 import { ProviderSelectionError } from "./providerSelectionError.js";
 import { UnknownRegistryError } from "./unknownRegistryError.js";
 import { providerRetryAction } from "./providerOperationHealth.js";
-import {} from "./analysisErrorBase.js";
+import { resolvedAnalysisError, } from "./analysisErrorBase.js";
 /** Project expected failures into exhaustive, secret-safe caller fields. */
 export const projectAnalysisError = (error) => {
+    const composed = error;
+    error = resolvedAnalysisError(error);
+    const diagnostics = error.diagnostics;
+    const capturedOutput = composed.capturedOutput ?? error.capturedOutput;
+    const partialObservation = composed.partialObservation ?? error.partialObservation;
     assertKnownAnalysisErrorTag(error._tag);
     const underlyingCode = underlyingErrorCode(error);
     const code = error.cleanupIncomplete ? "cleanup_incomplete" : underlyingCode;
     const primaryDetails = errorDetails(error);
     const details = {
         ...primaryDetails,
+        ...(diagnostics === undefined ? {} : { diagnostics }),
+        ...(composed === error || composed.diagnostics === undefined
+            ? {}
+            : { cleanup_history: composed.diagnostics }),
         ...(error.cleanupIncomplete
             ? {
                 cleanup: "incomplete",
@@ -30,22 +39,31 @@ export const projectAnalysisError = (error) => {
                 execution_failure: primaryDetails?.execution_failure ?? underlyingCode,
             }
             : {}),
-        ...(error.capturedOutput === undefined
+        ...(capturedOutput === undefined
             ? {}
-            : { captured_output: { ...error.capturedOutput } }),
-        ...(error.partialObservation === undefined
+            : {
+                captured_output: {
+                    ...capturedOutput,
+                },
+            }),
+        ...(partialObservation === undefined
             ? {}
             : {
-                partial_observation: isImmutableJsonSnapshot(error.partialObservation)
-                    ? error.partialObservation
-                    : jsonValueSchema.parse(error.partialObservation),
+                partial_observation: isImmutableJsonSnapshot(partialObservation)
+                    ? partialObservation
+                    : jsonValueSchema.parse(partialObservation),
             }),
     };
     return {
         code,
         category: analysisErrorCategory(error),
         message: analysisErrorUserMessage(error),
-        retryable: RETRYABLE_CODES.has(code),
+        retryable: RETRYABLE_CODES.has(code) ||
+            (error instanceof AnalysisCapabilityUnavailableError &&
+                error.retryable) ||
+            (code === "resource_constraint" &&
+                error instanceof AnalysisResourceConstraintError &&
+                (error.retryable ?? error.resource === "capacity")),
         remediation: {
             action: analysisErrorRemediationAction(error),
         },
@@ -63,13 +81,15 @@ const underlyingErrorCode = (error) => {
     if (error instanceof BrowserObservationError)
         return error.userCategory === "cancelled"
             ? "cancelled"
-            : browserErrorCode(error.reason);
+            : BROWSER_ERROR_CODES[error.reason];
     if (error instanceof ArtifactOperationError)
         return artifactOperationCode(error);
     if (error instanceof BinaryTargetError)
-        return error.systemCode === undefined
-            ? "target_unavailable"
-            : "access_denied";
+        return error.constraint === "load_selection_rejected"
+            ? "invalid_request"
+            : error.systemCode === undefined
+                ? "target_unavailable"
+                : "access_denied";
     if (error instanceof EvidenceFileError)
         return evidenceFileCode(error.reason);
     if (error instanceof UnknownRegistryError)
@@ -78,20 +98,23 @@ const underlyingErrorCode = (error) => {
         return processCaptureCode(error);
     return staticErrorCode(error._tag);
 };
-const browserErrorCode = (reason) => {
-    if (reason === "cancelled")
-        return "cancelled";
-    if (reason === "timeout")
-        return "provider_timeout";
-    if (reason === "payload_limit")
-        return "truncated";
-    if (reason === "target_not_found" ||
-        reason === "target_not_allowed" ||
-        reason === "target_changed")
-        return "target_unavailable";
-    if (reason === "endpoint_unreachable" || reason === "disconnected")
-        return "provider_unavailable";
-    return "unreadable_output";
+const BROWSER_ERROR_CODES = {
+    endpoint_unreachable: "provider_unavailable",
+    invalid_endpoint_response: "unreadable_output",
+    target_not_found: "target_unavailable",
+    target_not_allowed: "target_unavailable",
+    service_worker_blocked: "target_unavailable",
+    target_changed: "target_unavailable",
+    protocol_error: "unreadable_output",
+    disconnected: "provider_unavailable",
+    payload_limit: "truncated",
+    window_not_found: "unreadable_output",
+    window_metadata_missing: "unreadable_output",
+    process_ownership_unavailable: "unreadable_output",
+    cleanup_failed: "execution_failure",
+    cancelled: "cancelled",
+    timeout: "provider_timeout",
+    secret_unavailable: "unreadable_output",
 };
 const artifactOperationCode = (error) => {
     if (error.reason === "integrity" && error.artifactDetails !== undefined)
@@ -195,7 +218,13 @@ const requestErrorDetails = (error) => {
             boundary: "filesystem-read",
         };
     if (error instanceof AnalysisOutputError)
-        return { operation: error.operation, reason: error.reason };
+        return {
+            operation: error.operation,
+            reason: error.reason,
+            ...(error.diagnostics === undefined
+                ? {}
+                : { diagnostics: error.diagnostics }),
+        };
     if (error instanceof AnalysisInputError && error.issues.length > 0)
         return {
             operation: error.operation,
@@ -241,6 +270,13 @@ const artifactStateErrorDetails = (error) => {
             operation: error.operation,
             reason: error.reason,
             ...(error.path === undefined ? {} : { path: error.path }),
+            ...(error.published === undefined
+                ? {}
+                : {
+                    published: true,
+                    bytes: error.published.bytes,
+                    published_path: error.published.path,
+                }),
         };
     return undefined;
 };
@@ -274,9 +310,6 @@ const providerErrorDetails = (error) => {
                     resources: [...error.cleanupResources],
                 }
                 : {}),
-            ...(error.diagnostics === undefined
-                ? {}
-                : { diagnostics: error.diagnostics }),
         };
     if (error instanceof BrowserObservationError) {
         const primaryReason = primaryBrowserFailureReason(error);
@@ -326,6 +359,9 @@ const providerErrorDetails = (error) => {
         return {
             stage: "launch",
             provider_state: "unknown",
+            ...(error.launchRejection === undefined
+                ? {}
+                : { launch_rejection: { ...error.launchRejection } }),
             retry_action: error.ownerRunId === undefined ? "retry" : "unknown",
             ...(error.ownerRunId === undefined
                 ? {}
@@ -337,9 +373,8 @@ const providerErrorDetails = (error) => {
     return undefined;
 };
 const primaryBrowserFailureReason = (error) => {
-    if (!(error.cause instanceof AggregateError))
-        return undefined;
-    const primary = error.cause.errors[0];
+    const aggregate = error.cause instanceof AggregateError;
+    const primary = error.cause instanceof AggregateError ? error.cause.errors[0] : error.cause;
     if (primary instanceof BrowserObservationError)
         return primary.reason;
     if (primary instanceof AnalysisCancelledError)
@@ -350,14 +385,14 @@ const primaryBrowserFailureReason = (error) => {
         return typeof primary._tag === "string"
             ? primary._tag
             : "execution_failure";
-    return "execution_failure";
+    return aggregate ? "execution_failure" : undefined;
 };
 const lifecycleErrorDetails = (error) => {
     if (error instanceof AnalysisCancelledError)
         return {
             operation: error.operation,
-            cleanup: error.cleanup === undefined ? "complete" : "incomplete",
-            ...(error.cleanup === undefined
+            cleanup: error.cleanupIncomplete ? "incomplete" : "complete",
+            ...(error.cleanup === undefined || !error.cleanupIncomplete
                 ? {}
                 : {
                     cleanup_reason: error.cleanup.reason,
@@ -371,7 +406,7 @@ const lifecycleErrorDetails = (error) => {
         return {
             operation: error.operation,
             timeout_ms: error.timeoutMs,
-            ...(error.cleanup === undefined
+            ...(error.cleanup === undefined || !error.cleanupIncomplete
                 ? {}
                 : {
                     cleanup: "incomplete",

package/dist/domain/analysisProfile.js

@@ -4,12 +4,12 @@ import { z } from "zod";
 import { jsonObjectSchema } from "./jsonValue.js";
 import { digestSchema } from "./../domain/digests.js";
 /** Concrete provider identity committed by an analysis profile. */
-export const committedProviderSchema = z.object({
+export const committedProviderSchema = z.strictObject({
     id: z.string().min(1),
     name: z.string().min(1),
     version: z.string().min(1),
 });
-const unsignedAnalysisProfileSchema = z.object({
+const unsignedAnalysisProfileSchema = z.strictObject({
     provider: committedProviderSchema,
     parameters: jsonObjectSchema,
 });
@@ -28,7 +28,11 @@ export const analysisProfileSchema = unsignedAnalysisProfileSchema
 /** Create a validated RFC 8785 profile commitment at a provider boundary. */
 export const createAnalysisProfile = (provider, parameters) => {
     const unsigned = unsignedAnalysisProfileSchema.parse({
-        provider,
+        provider: {
+            id: provider.id,
+            name: provider.name,
+            version: provider.version,
+        },
         parameters,
     });
     return analysisProfileSchema.parse({

package/dist/domain/analysisSearch.js

@@ -0,0 +1,26 @@
+import { z } from "zod";
+import { analysisSearchInput } from "../contracts/analysisSearchContract.js";
+import { AnalysisInputError } from "./analysisErrorCore.js";
+/** Parsed `search_procedures`/`search_strings` query shared by providers that match in REA. */
+export const analysisSearchQuerySchema = z.object(analysisSearchInput);
+/**
+ * Match names the way the search contract describes: a literal substring by
+ * default, or a Unicode regular expression, case-insensitive unless requested.
+ * An invalid pattern is the caller's input error.
+ */
+export const analysisSearchPredicate = (query) => {
+    if (query.mode === "regex") {
+        let regex;
+        try {
+            regex = new RegExp(query.pattern, query.case_sensitive ? "u" : "iu");
+        }
+        catch (cause) {
+            throw new AnalysisInputError("search", { cause });
+        }
+        return (value) => regex.test(value);
+    }
+    const needle = query.case_sensitive
+        ? query.pattern
+        : query.pattern.toLowerCase();
+    return (value) => (query.case_sensitive ? value : value.toLowerCase()).includes(needle);
+};