Class BinarySession

Owns the single active target shared by CLI and MCP adapters.

Target transitions are serialized because switching targets tears down the active provider client. A failed switch recreates the previous target instead of retaining a client whose resources were already shut down.

Implements

BinarySessionPort

Constructors

constructor

new BinarySession(
    provider:
        | AnalysisProvider
        | AnalysisClientFactory
        | SessionProviderRouter,
    options?: {
        resolveAnalysisProfile?: (
            target: BinaryTarget,
            options?: AnalysisProfileResolutionOptions,
        ) => Promise<Result<AnalysisProfileResolution, AnalysisError>>;
    },
): BinarySession
Parameters
- provider: AnalysisProvider | AnalysisClientFactory | SessionProviderRouter
- options: {
      resolveAnalysisProfile?: (
          target: BinaryTarget,
          options?: AnalysisProfileResolutionOptions,
      ) => Promise<Result<AnalysisProfileResolution, AnalysisError>>;
  } = {}
Returns BinarySession
- Defined in src/application/BinarySession.ts:124

Properties

`Readonly`provider

provider: AnalysisProvider | AnalysisClientFactory | SessionProviderRouter

Methods

activeTarget

activeTarget(): BinaryTarget | undefined
Return the immutable artifact identity captured before its provider started.

Returns BinaryTarget | undefined
Implementation of BinarySessionPort.activeTarget
- Defined in src/application/BinarySession.ts:658

analysisProfile

analysisProfile(
    operation?: AnalysisOperation,
):
    | {
        digest: string;
        parameters: Record<string, JSONType>;
        provider: { id: string; name: string; version: string };
        provider_profile_schema_version: number;
        schema_version: 1;
    }
    | undefined
Return the selected immutable profile, optionally scoped to an operation.
Parameters
- Optionaloperation: AnalysisOperation
Returns
    | {
        digest: string;
        parameters: Record<string, JSONType>;
        provider: { id: string; name: string; version: string };
        provider_profile_schema_version: number;
        schema_version: 1;
    }
    | undefined
Implementation of BinarySessionPort.analysisProfile
- Defined in src/application/BinarySession.ts:174

close

close(): Promise<Result<null, AnalysisError>>
Close the active target, if any.

Returns Promise<Result<null, AnalysisError>>
Implementation of BinarySessionPort.close
- Defined in src/application/BinarySession.ts:560

evidenceById

evidenceById(
    evidenceId: string,
):
    | {
        analysis_profile: {
            digest: string;
            parameters: Record<string, JSONType>;
            provider: { id: string; name: string; version: string };
            provider_profile_schema_version: number;
            schema_version: 1;
        };
        authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference";
        confidence: "observed"
        | "derived"
        | "inferred";
        environment:
            | {
                architecture: string;
                id: string;
                isolation: "process"
                | "none"
                | "container"
                | "virtual-machine";
                platform: string;
            }
            | null;
        evidence_id: string;
        evidence_links: string[];
        limitations: string[];
        locations: (
            | { address: string; kind: "address" }
            | { end: string; kind: "address-range"; start: string }
            | { kind: "artifact-path"; path: string }
            | { kind: "file-offset"; offset: number }
            | { end: number; kind: "file-offset-range"; start: number }
        )[];
        normalized_result: JSONType;
        operation: string;
        parameters: Record<string, JSONType>;
        predicate_type: string;
        provider: { id: string; name: string; version: string | null };
        raw_result: JSONType;
        schema_version: 2;
        subject:
            | {
                architecture: "x86"
                | "x86_64"
                | "arm"
                | "arm64"
                | null;
                digest: { sha256: string };
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
                local_path: string;
                name: string;
            }
            | null;
    }
    | {
        authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference";
        confidence: "observed"
        | "derived"
        | "inferred";
        environment:
            | {
                architecture: string;
                id: string;
                isolation: "process"
                | "none"
                | "container"
                | "virtual-machine";
                platform: string;
            }
            | null;
        evidence_id: string;
        evidence_links: string[];
        limitations: string[];
        locations: (
            | { address: string; kind: "address" }
            | { end: string; kind: "address-range"; start: string }
            | { kind: "artifact-path"; path: string }
            | { kind: "file-offset"; offset: number }
            | { end: number; kind: "file-offset-range"; start: number }
        )[];
        normalized_result: JSONType;
        operation: string;
        parameters: Record<string, JSONType>;
        predicate_type: string;
        provider: { id: string; name: string; version: string | null };
        raw_result: JSONType;
        schema_version: 2;
        subject:
            | {
                architecture: "x86"
                | "x86_64"
                | "arm"
                | "arm64"
                | null;
                digest: { sha256: string };
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
                local_path: string;
                name: string;
            }
            | null;
    }
    | undefined
Read one detached session-owned Evidence record by semantic ID.
Parameters
- evidenceId: string
Returns
    | {
        analysis_profile: {
            digest: string;
            parameters: Record<string, JSONType>;
            provider: { id: string; name: string; version: string };
            provider_profile_schema_version: number;
            schema_version: 1;
        };
        authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference";
        confidence: "observed"
        | "derived"
        | "inferred";
        environment:
            | {
                architecture: string;
                id: string;
                isolation: "process"
                | "none"
                | "container"
                | "virtual-machine";
                platform: string;
            }
            | null;
        evidence_id: string;
        evidence_links: string[];
        limitations: string[];
        locations: (
            | { address: string; kind: "address" }
            | { end: string; kind: "address-range"; start: string }
            | { kind: "artifact-path"; path: string }
            | { kind: "file-offset"; offset: number }
            | { end: number; kind: "file-offset-range"; start: number }
        )[];
        normalized_result: JSONType;
        operation: string;
        parameters: Record<string, JSONType>;
        predicate_type: string;
        provider: { id: string; name: string; version: string | null };
        raw_result: JSONType;
        schema_version: 2;
        subject:
            | {
                architecture: "x86"
                | "x86_64"
                | "arm"
                | "arm64"
                | null;
                digest: { sha256: string };
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
                local_path: string;
                name: string;
            }
            | null;
    }
    | {
        authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference";
        confidence: "observed"
        | "derived"
        | "inferred";
        environment:
            | {
                architecture: string;
                id: string;
                isolation: "process"
                | "none"
                | "container"
                | "virtual-machine";
                platform: string;
            }
            | null;
        evidence_id: string;
        evidence_links: string[];
        limitations: string[];
        locations: (
            | { address: string; kind: "address" }
            | { end: string; kind: "address-range"; start: string }
            | { kind: "artifact-path"; path: string }
            | { kind: "file-offset"; offset: number }
            | { end: number; kind: "file-offset-range"; start: number }
        )[];
        normalized_result: JSONType;
        operation: string;
        parameters: Record<string, JSONType>;
        predicate_type: string;
        provider: { id: string; name: string; version: string | null };
        raw_result: JSONType;
        schema_version: 2;
        subject:
            | {
                architecture: "x86"
                | "x86_64"
                | "arm"
                | "arm64"
                | null;
                digest: { sha256: string };
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
                local_path: string;
                name: string;
            }
            | null;
    }
    | undefined
Implementation of BinarySessionPort.evidenceById
- Defined in src/application/BinarySession.ts:214

execute

execute(
    name: AnalysisOperation,
    arguments_: Readonly<Record<string, JsonValue>>,
    options?: { signal?: AbortSignal },
): Promise<Result<AnalysisExecution, AnalysisError>>
Invoke a provider operation against the active target. Calls may overlap, but a pending target transition prevents new calls from entering until the transition has settled.
Parameters
- name: AnalysisOperation
- arguments_: Readonly<Record<string, JsonValue>>
- Optionaloptions: { signal?: AbortSignal }
Returns Promise<Result<AnalysisExecution, AnalysisError>>
Implementation of BinarySessionPort.execute
- Defined in src/application/BinarySession.ts:669

exportAnalysisSnapshot

exportAnalysisSnapshot(): Result<
    {
        binding: {
            analysis_profile: {
                digest: string;
                parameters: Record<string, JSONType>;
                provider: { id: string; name: string; version: string };
                provider_profile_schema_version: number;
                schema_version: 1;
            };
            provider: { id: string; name: string; version: string };
        };
        entries: {
            execution: {
                limitations: string[];
                locations: (
                    | { address: string; kind: "address" }
                    | { end: string; kind: "address-range"; start: string }
                    | { kind: "artifact-path"; path: string }
                    | { kind: "file-offset"; offset: number }
                    | { end: number; kind: "file-offset-range"; start: number }
                )[];
                provider: { id: string; name: string; version: string };
                raw_result: JSONType;
                result: JSONType;
                subject:
                    | {
                        architecture: "x86"
                        | "x86_64"
                        | "arm"
                        | "arm64"
                        | null;
                        format:
                            | "unknown"
                            | "file"
                            | "directory"
                            | "javascript"
                            | "source-map"
                            | "plist"
                            | "entitlements"
                            | "dmg"
                            | "zip"
                            | "pkg"
                            | "asar"
                            | "javascript-bundle"
                            | "mach-o-universal"
                            | "mach-o"
                            | "elf"
                            | "pe"
                            | "hopper"
                            | "analysis-database"
                            | "ipa"
                            | "apk"
                            | "dex"
                            | "jvm-class"
                            | "webassembly"
                            | "android-manifest"
                            | "android-resources";
                        path: string;
                        sha256: string;
                    }
                    | null;
            };
            operation: string;
            parameters: Record<string, JSONType>;
            query_id: string;
        }[];
        evidence_bundle: {
            artifacts: {
                architecture: "x86"
                | "x86_64"
                | "arm"
                | "arm64"
                | null;
                digest: { sha256: string };
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
            }[];
            bundle_version: 2;
            captures: { evidence_id: string; predicate_type: string }[];
            environments: {
                architecture: string;
                id: string;
                isolation: "process" | "none" | "container" | "virtual-machine";
                platform: string;
            }[];
            providers: { id: string; name: string; version: string
            | null }[];
            records: (
                | {
                    analysis_profile: {
                        digest: string;
                        parameters: Record<string, JSONType>;
                        provider: { id: string; name: string; version: string };
                        provider_profile_schema_version: number;
                        schema_version: 1;
                    };
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
                | {
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
            )[];
            scenarios: {
                authority: "controlled-replay";
                evidence_id: string;
                operation: string;
            }[];
            unknowns: {
                contradicting_evidence_ids: string[];
                domain: string;
                mutation_evidence_ids: string[];
                previous_revision_digest: string
                | null;
                question: string;
                recommended_probes: { operation: string; rationale: string }[];
                registry_version: 1;
                relationships: {
                    type: "depends-on" | "related-to" | "contradicts";
                    unknown_id: string;
                }[];
                required_authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference"
                | null;
                required_confidence: "observed"
                | "derived"
                | "inferred";
                required_environment:
                    | {
                        architecture: string
                        | null;
                        id: string | null;
                        isolation: "process" | "none" | "container" | "virtual-machine" | null;
                        platform: string | null;
                    }
                    | null;
                resolution: | {
                    disposition: "verified";
                    evidence_ids: string[];
                    rationale: string;
                }
                | {
                    disposition: "withdrawn"
                    | "out-of-scope";
                    evidence_ids: string[];
                    rationale: string;
                }
                | null;
                revision: number;
                revision_digest: string;
                scope_digest: string
                | null;
                severity: "low" | "medium" | "high" | "critical";
                status:
                    | "open"
                    | "investigating"
                    | "blocked"
                    | "contradicted"
                    | "resolved";
                supporting_evidence_ids: string[];
                unknown_id: string;
            }[];
        };
        snapshot_version: 2;
        target: {
            architecture: "x86"
            | "x86_64"
            | "arm"
            | "arm64"
            | null;
            format:
                | "javascript"
                | "source-map"
                | "plist"
                | "dmg"
                | "zip"
                | "pkg"
                | "asar"
                | "mach-o"
                | "elf"
                | "pe"
                | "analysis-database"
                | "ipa"
                | "apk";
            kind: "executable"
            | "database"
            | "archive"
            | "artifact";
            sha256: string;
        };
    },
    AnalysisError,
>
Export immutable cached calls and session evidence for the active target.

Returns Result<
    {
        binding: {
            analysis_profile: {
                digest: string;
                parameters: Record<string, JSONType>;
                provider: { id: string; name: string; version: string };
                provider_profile_schema_version: number;
                schema_version: 1;
            };
            provider: { id: string; name: string; version: string };
        };
        entries: {
            execution: {
                limitations: string[];
                locations: (
                    | { address: string; kind: "address" }
                    | { end: string; kind: "address-range"; start: string }
                    | { kind: "artifact-path"; path: string }
                    | { kind: "file-offset"; offset: number }
                    | { end: number; kind: "file-offset-range"; start: number }
                )[];
                provider: { id: string; name: string; version: string };
                raw_result: JSONType;
                result: JSONType;
                subject:
                    | {
                        architecture: "x86"
                        | "x86_64"
                        | "arm"
                        | "arm64"
                        | null;
                        format:
                            | "unknown"
                            | "file"
                            | "directory"
                            | "javascript"
                            | "source-map"
                            | "plist"
                            | "entitlements"
                            | "dmg"
                            | "zip"
                            | "pkg"
                            | "asar"
                            | "javascript-bundle"
                            | "mach-o-universal"
                            | "mach-o"
                            | "elf"
                            | "pe"
                            | "hopper"
                            | "analysis-database"
                            | "ipa"
                            | "apk"
                            | "dex"
                            | "jvm-class"
                            | "webassembly"
                            | "android-manifest"
                            | "android-resources";
                        path: string;
                        sha256: string;
                    }
                    | null;
            };
            operation: string;
            parameters: Record<string, JSONType>;
            query_id: string;
        }[];
        evidence_bundle: {
            artifacts: {
                architecture: "x86"
                | "x86_64"
                | "arm"
                | "arm64"
                | null;
                digest: { sha256: string };
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
            }[];
            bundle_version: 2;
            captures: { evidence_id: string; predicate_type: string }[];
            environments: {
                architecture: string;
                id: string;
                isolation: "process" | "none" | "container" | "virtual-machine";
                platform: string;
            }[];
            providers: { id: string; name: string; version: string
            | null }[];
            records: (
                | {
                    analysis_profile: {
                        digest: string;
                        parameters: Record<string, JSONType>;
                        provider: { id: string; name: string; version: string };
                        provider_profile_schema_version: number;
                        schema_version: 1;
                    };
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
                | {
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
            )[];
            scenarios: {
                authority: "controlled-replay";
                evidence_id: string;
                operation: string;
            }[];
            unknowns: {
                contradicting_evidence_ids: string[];
                domain: string;
                mutation_evidence_ids: string[];
                previous_revision_digest: string
                | null;
                question: string;
                recommended_probes: { operation: string; rationale: string }[];
                registry_version: 1;
                relationships: {
                    type: "depends-on" | "related-to" | "contradicts";
                    unknown_id: string;
                }[];
                required_authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference"
                | null;
                required_confidence: "observed"
                | "derived"
                | "inferred";
                required_environment:
                    | {
                        architecture: string
                        | null;
                        id: string | null;
                        isolation: "process" | "none" | "container" | "virtual-machine" | null;
                        platform: string | null;
                    }
                    | null;
                resolution: | {
                    disposition: "verified";
                    evidence_ids: string[];
                    rationale: string;
                }
                | {
                    disposition: "withdrawn"
                    | "out-of-scope";
                    evidence_ids: string[];
                    rationale: string;
                }
                | null;
                revision: number;
                revision_digest: string;
                scope_digest: string
                | null;
                severity: "low" | "medium" | "high" | "critical";
                status:
                    | "open"
                    | "investigating"
                    | "blocked"
                    | "contradicted"
                    | "resolved";
                supporting_evidence_ids: string[];
                unknown_id: string;
            }[];
        };
        snapshot_version: 2;
        target: {
            architecture: "x86"
            | "x86_64"
            | "arm"
            | "arm64"
            | null;
            format:
                | "javascript"
                | "source-map"
                | "plist"
                | "dmg"
                | "zip"
                | "pkg"
                | "asar"
                | "mach-o"
                | "elf"
                | "pe"
                | "analysis-database"
                | "ipa"
                | "apk";
            kind: "executable"
            | "database"
            | "archive"
            | "artifact";
            sha256: string;
        };
    },
    AnalysisError,
>
Implementation of BinarySessionPort.exportAnalysisSnapshot
- Defined in src/application/BinarySession.ts:231

exportEvidenceBundle

exportEvidenceBundle(): {
    artifacts: {
        architecture: "x86"
        | "x86_64"
        | "arm"
        | "arm64"
        | null;
        digest: { sha256: string };
        format:
            | "unknown"
            | "file"
            | "directory"
            | "javascript"
            | "source-map"
            | "plist"
            | "entitlements"
            | "dmg"
            | "zip"
            | "pkg"
            | "asar"
            | "javascript-bundle"
            | "mach-o-universal"
            | "mach-o"
            | "elf"
            | "pe"
            | "hopper"
            | "analysis-database"
            | "ipa"
            | "apk"
            | "dex"
            | "jvm-class"
            | "webassembly"
            | "android-manifest"
            | "android-resources";
    }[];
    bundle_version: 2;
    captures: { evidence_id: string; predicate_type: string }[];
    environments: {
        architecture: string;
        id: string;
        isolation: "process" | "none" | "container" | "virtual-machine";
        platform: string;
    }[];
    providers: { id: string; name: string; version: string
    | null }[];
    records: (
        | {
            analysis_profile: {
                digest: string;
                parameters: Record<string, JSONType>;
                provider: { id: string; name: string; version: string };
                provider_profile_schema_version: number;
                schema_version: 1;
            };
            authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference";
            confidence: "observed"
            | "derived"
            | "inferred";
            environment:
                | {
                    architecture: string;
                    id: string;
                    isolation: "process"
                    | "none"
                    | "container"
                    | "virtual-machine";
                    platform: string;
                }
                | null;
            evidence_id: string;
            evidence_links: string[];
            limitations: string[];
            locations: (
                | { address: string; kind: "address" }
                | { end: string; kind: "address-range"; start: string }
                | { kind: "artifact-path"; path: string }
                | { kind: "file-offset"; offset: number }
                | { end: number; kind: "file-offset-range"; start: number }
            )[];
            normalized_result: JSONType;
            operation: string;
            parameters: Record<string, JSONType>;
            predicate_type: string;
            provider: { id: string; name: string; version: string | null };
            raw_result: JSONType;
            schema_version: 2;
            subject:
                | {
                    architecture: "x86"
                    | "x86_64"
                    | "arm"
                    | "arm64"
                    | null;
                    digest: { sha256: string };
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    local_path: string;
                    name: string;
                }
                | null;
        }
        | {
            authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference";
            confidence: "observed"
            | "derived"
            | "inferred";
            environment:
                | {
                    architecture: string;
                    id: string;
                    isolation: "process"
                    | "none"
                    | "container"
                    | "virtual-machine";
                    platform: string;
                }
                | null;
            evidence_id: string;
            evidence_links: string[];
            limitations: string[];
            locations: (
                | { address: string; kind: "address" }
                | { end: string; kind: "address-range"; start: string }
                | { kind: "artifact-path"; path: string }
                | { kind: "file-offset"; offset: number }
                | { end: number; kind: "file-offset-range"; start: number }
            )[];
            normalized_result: JSONType;
            operation: string;
            parameters: Record<string, JSONType>;
            predicate_type: string;
            provider: { id: string; name: string; version: string | null };
            raw_result: JSONType;
            schema_version: 2;
            subject:
                | {
                    architecture: "x86"
                    | "x86_64"
                    | "arm"
                    | "arm64"
                    | null;
                    digest: { sha256: string };
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    local_path: string;
                    name: string;
                }
                | null;
        }
    )[];
    scenarios: {
        authority: "controlled-replay";
        evidence_id: string;
        operation: string;
    }[];
    unknowns: {
        contradicting_evidence_ids: string[];
        domain: string;
        mutation_evidence_ids: string[];
        previous_revision_digest: string
        | null;
        question: string;
        recommended_probes: { operation: string; rationale: string }[];
        registry_version: 1;
        relationships: {
            type: "depends-on" | "related-to" | "contradicts";
            unknown_id: string;
        }[];
        required_authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference"
        | null;
        required_confidence: "observed"
        | "derived"
        | "inferred";
        required_environment:
            | {
                architecture: string
                | null;
                id: string | null;
                isolation: "process" | "none" | "container" | "virtual-machine" | null;
                platform: string | null;
            }
            | null;
        resolution: | {
            disposition: "verified";
            evidence_ids: string[];
            rationale: string;
        }
        | {
            disposition: "withdrawn"
            | "out-of-scope";
            evidence_ids: string[];
            rationale: string;
        }
        | null;
        revision: number;
        revision_digest: string;
        scope_digest: string
        | null;
        severity: "low" | "medium" | "high" | "critical";
        status: "open" | "investigating" | "blocked" | "contradicted" | "resolved";
        supporting_evidence_ids: string[];
        unknown_id: string;
    }[];
}
Return a deterministic snapshot without clearing session evidence.

Returns {
    artifacts: {
        architecture: "x86" | "x86_64" | "arm" | "arm64" | null;
        digest: { sha256: string };
        format:
            | "unknown"
            | "file"
            | "directory"
            | "javascript"
            | "source-map"
            | "plist"
            | "entitlements"
            | "dmg"
            | "zip"
            | "pkg"
            | "asar"
            | "javascript-bundle"
            | "mach-o-universal"
            | "mach-o"
            | "elf"
            | "pe"
            | "hopper"
            | "analysis-database"
            | "ipa"
            | "apk"
            | "dex"
            | "jvm-class"
            | "webassembly"
            | "android-manifest"
            | "android-resources";
    }[];
    bundle_version: 2;
    captures: { evidence_id: string; predicate_type: string }[];
    environments: {
        architecture: string;
        id: string;
        isolation: "process" | "none" | "container" | "virtual-machine";
        platform: string;
    }[];
    providers: { id: string; name: string; version: string
    | null }[];
    records: (
        | {
            analysis_profile: {
                digest: string;
                parameters: Record<string, JSONType>;
                provider: { id: string; name: string; version: string };
                provider_profile_schema_version: number;
                schema_version: 1;
            };
            authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference";
            confidence: "observed"
            | "derived"
            | "inferred";
            environment:
                | {
                    architecture: string;
                    id: string;
                    isolation: "process"
                    | "none"
                    | "container"
                    | "virtual-machine";
                    platform: string;
                }
                | null;
            evidence_id: string;
            evidence_links: string[];
            limitations: string[];
            locations: (
                | { address: string; kind: "address" }
                | { end: string; kind: "address-range"; start: string }
                | { kind: "artifact-path"; path: string }
                | { kind: "file-offset"; offset: number }
                | { end: number; kind: "file-offset-range"; start: number }
            )[];
            normalized_result: JSONType;
            operation: string;
            parameters: Record<string, JSONType>;
            predicate_type: string;
            provider: { id: string; name: string; version: string | null };
            raw_result: JSONType;
            schema_version: 2;
            subject:
                | {
                    architecture: "x86"
                    | "x86_64"
                    | "arm"
                    | "arm64"
                    | null;
                    digest: { sha256: string };
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    local_path: string;
                    name: string;
                }
                | null;
        }
        | {
            authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference";
            confidence: "observed"
            | "derived"
            | "inferred";
            environment:
                | {
                    architecture: string;
                    id: string;
                    isolation: "process"
                    | "none"
                    | "container"
                    | "virtual-machine";
                    platform: string;
                }
                | null;
            evidence_id: string;
            evidence_links: string[];
            limitations: string[];
            locations: (
                | { address: string; kind: "address" }
                | { end: string; kind: "address-range"; start: string }
                | { kind: "artifact-path"; path: string }
                | { kind: "file-offset"; offset: number }
                | { end: number; kind: "file-offset-range"; start: number }
            )[];
            normalized_result: JSONType;
            operation: string;
            parameters: Record<string, JSONType>;
            predicate_type: string;
            provider: { id: string; name: string; version: string | null };
            raw_result: JSONType;
            schema_version: 2;
            subject:
                | {
                    architecture: "x86"
                    | "x86_64"
                    | "arm"
                    | "arm64"
                    | null;
                    digest: { sha256: string };
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    local_path: string;
                    name: string;
                }
                | null;
        }
    )[];
    scenarios: {
        authority: "controlled-replay";
        evidence_id: string;
        operation: string;
    }[];
    unknowns: {
        contradicting_evidence_ids: string[];
        domain: string;
        mutation_evidence_ids: string[];
        previous_revision_digest: string
        | null;
        question: string;
        recommended_probes: { operation: string; rationale: string }[];
        registry_version: 1;
        relationships: {
            type: "depends-on" | "related-to" | "contradicts";
            unknown_id: string;
        }[];
        required_authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference"
        | null;
        required_confidence: "observed"
        | "derived"
        | "inferred";
        required_environment:
            | {
                architecture: string
                | null;
                id: string | null;
                isolation: "process" | "none" | "container" | "virtual-machine" | null;
                platform: string | null;
            }
            | null;
        resolution: | {
            disposition: "verified";
            evidence_ids: string[];
            rationale: string;
        }
        | {
            disposition: "withdrawn"
            | "out-of-scope";
            evidence_ids: string[];
            rationale: string;
        }
        | null;
        revision: number;
        revision_digest: string;
        scope_digest: string
        | null;
        severity: "low" | "medium" | "high" | "critical";
        status: "open" | "investigating" | "blocked" | "contradicted" | "resolved";
        supporting_evidence_ids: string[];
        unknown_id: string;
    }[];
}
Implementation of BinarySessionPort.exportEvidenceBundle
- Defined in src/application/BinarySession.ts:219

hasEvidence

hasEvidence(evidenceId: string): boolean
Check that comparison input Evidence is already session-owned.
Parameters
- evidenceId: string
Returns boolean
Implementation of BinarySessionPort.hasEvidence
- Defined in src/application/BinarySession.ts:209

importAnalysisSnapshot

importAnalysisSnapshot(
    snapshot: {
        binding: {
            analysis_profile: {
                digest: string;
                parameters: Record<string, JSONType>;
                provider: { id: string; name: string; version: string };
                provider_profile_schema_version: number;
                schema_version: 1;
            };
            provider: { id: string; name: string; version: string };
        };
        entries: {
            execution: {
                limitations: string[];
                locations: (
                    | { address: string; kind: "address" }
                    | { end: string; kind: "address-range"; start: string }
                    | { kind: "artifact-path"; path: string }
                    | { kind: "file-offset"; offset: number }
                    | { end: number; kind: "file-offset-range"; start: number }
                )[];
                provider: { id: string; name: string; version: string };
                raw_result: JSONType;
                result: JSONType;
                subject:
                    | {
                        architecture: "x86"
                        | "x86_64"
                        | "arm"
                        | "arm64"
                        | null;
                        format:
                            | "unknown"
                            | "file"
                            | "directory"
                            | "javascript"
                            | "source-map"
                            | "plist"
                            | "entitlements"
                            | "dmg"
                            | "zip"
                            | "pkg"
                            | "asar"
                            | "javascript-bundle"
                            | "mach-o-universal"
                            | "mach-o"
                            | "elf"
                            | "pe"
                            | "hopper"
                            | "analysis-database"
                            | "ipa"
                            | "apk"
                            | "dex"
                            | "jvm-class"
                            | "webassembly"
                            | "android-manifest"
                            | "android-resources";
                        path: string;
                        sha256: string;
                    }
                    | null;
            };
            operation: string;
            parameters: Record<string, JSONType>;
            query_id: string;
        }[];
        evidence_bundle: {
            artifacts: {
                architecture: "x86"
                | "x86_64"
                | "arm"
                | "arm64"
                | null;
                digest: { sha256: string };
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
            }[];
            bundle_version: 2;
            captures: { evidence_id: string; predicate_type: string }[];
            environments: {
                architecture: string;
                id: string;
                isolation: "process" | "none" | "container" | "virtual-machine";
                platform: string;
            }[];
            providers: { id: string; name: string; version: string
            | null }[];
            records: (
                | {
                    analysis_profile: {
                        digest: string;
                        parameters: Record<string, JSONType>;
                        provider: { id: string; name: string; version: string };
                        provider_profile_schema_version: number;
                        schema_version: 1;
                    };
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
                | {
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
            )[];
            scenarios: {
                authority: "controlled-replay";
                evidence_id: string;
                operation: string;
            }[];
            unknowns: {
                contradicting_evidence_ids: string[];
                domain: string;
                mutation_evidence_ids: string[];
                previous_revision_digest: string
                | null;
                question: string;
                recommended_probes: { operation: string; rationale: string }[];
                registry_version: 1;
                relationships: {
                    type: "depends-on" | "related-to" | "contradicts";
                    unknown_id: string;
                }[];
                required_authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference"
                | null;
                required_confidence: "observed"
                | "derived"
                | "inferred";
                required_environment:
                    | {
                        architecture: string
                        | null;
                        id: string | null;
                        isolation: "process" | "none" | "container" | "virtual-machine" | null;
                        platform: string | null;
                    }
                    | null;
                resolution: | {
                    disposition: "verified";
                    evidence_ids: string[];
                    rationale: string;
                }
                | {
                    disposition: "withdrawn"
                    | "out-of-scope";
                    evidence_ids: string[];
                    rationale: string;
                }
                | null;
                revision: number;
                revision_digest: string;
                scope_digest: string
                | null;
                severity: "low" | "medium" | "high" | "critical";
                status:
                    | "open"
                    | "investigating"
                    | "blocked"
                    | "contradicted"
                    | "resolved";
                supporting_evidence_ids: string[];
                unknown_id: string;
            }[];
        };
        snapshot_version: 2;
        target: {
            architecture: "x86"
            | "x86_64"
            | "arm"
            | "arm64"
            | null;
            format:
                | "javascript"
                | "source-map"
                | "plist"
                | "dmg"
                | "zip"
                | "pkg"
                | "asar"
                | "mach-o"
                | "elf"
                | "pe"
                | "analysis-database"
                | "ipa"
                | "apk";
            kind: "executable"
            | "database"
            | "archive"
            | "artifact";
            sha256: string;
        };
    },
): Result<number, AnalysisError>
Stage validated cached calls for an identical binary and merge its evidence.
Parameters
- snapshot: {
      binding: {
          analysis_profile: {
              digest: string;
              parameters: Record<string, JSONType>;
              provider: { id: string; name: string; version: string };
              provider_profile_schema_version: number;
              schema_version: 1;
          };
          provider: { id: string; name: string; version: string };
      };
      entries: {
          execution: {
              limitations: string[];
              locations: (
                  | { address: string; kind: "address" }
                  | { end: string; kind: "address-range"; start: string }
                  | { kind: "artifact-path"; path: string }
                  | { kind: "file-offset"; offset: number }
                  | { end: number; kind: "file-offset-range"; start: number }
              )[];
              provider: { id: string; name: string; version: string };
              raw_result: JSONType;
              result: JSONType;
              subject:
                  | {
                      architecture: "x86"
                      | "x86_64"
                      | "arm"
                      | "arm64"
                      | null;
                      format:
                          | "unknown"
                          | "file"
                          | "directory"
                          | "javascript"
                          | "source-map"
                          | "plist"
                          | "entitlements"
                          | "dmg"
                          | "zip"
                          | "pkg"
                          | "asar"
                          | "javascript-bundle"
                          | "mach-o-universal"
                          | "mach-o"
                          | "elf"
                          | "pe"
                          | "hopper"
                          | "analysis-database"
                          | "ipa"
                          | "apk"
                          | "dex"
                          | "jvm-class"
                          | "webassembly"
                          | "android-manifest"
                          | "android-resources";
                      path: string;
                      sha256: string;
                  }
                  | null;
          };
          operation: string;
          parameters: Record<string, JSONType>;
          query_id: string;
      }[];
      evidence_bundle: {
          artifacts: {
              architecture: "x86"
              | "x86_64"
              | "arm"
              | "arm64"
              | null;
              digest: { sha256: string };
              format:
                  | "unknown"
                  | "file"
                  | "directory"
                  | "javascript"
                  | "source-map"
                  | "plist"
                  | "entitlements"
                  | "dmg"
                  | "zip"
                  | "pkg"
                  | "asar"
                  | "javascript-bundle"
                  | "mach-o-universal"
                  | "mach-o"
                  | "elf"
                  | "pe"
                  | "hopper"
                  | "analysis-database"
                  | "ipa"
                  | "apk"
                  | "dex"
                  | "jvm-class"
                  | "webassembly"
                  | "android-manifest"
                  | "android-resources";
          }[];
          bundle_version: 2;
          captures: { evidence_id: string; predicate_type: string }[];
          environments: {
              architecture: string;
              id: string;
              isolation: "process" | "none" | "container" | "virtual-machine";
              platform: string;
          }[];
          providers: { id: string; name: string; version: string
          | null }[];
          records: (
              | {
                  analysis_profile: {
                      digest: string;
                      parameters: Record<string, JSONType>;
                      provider: { id: string; name: string; version: string };
                      provider_profile_schema_version: number;
                      schema_version: 1;
                  };
                  authority: | "shipped-artifact"
                  | "controlled-replay"
                  | "historical-reference"
                  | "external-service"
                  | "analyst-inference";
                  confidence: "observed"
                  | "derived"
                  | "inferred";
                  environment:
                      | {
                          architecture: string;
                          id: string;
                          isolation: "process"
                          | "none"
                          | "container"
                          | "virtual-machine";
                          platform: string;
                      }
                      | null;
                  evidence_id: string;
                  evidence_links: string[];
                  limitations: string[];
                  locations: (
                      | { address: string; kind: "address" }
                      | { end: string; kind: "address-range"; start: string }
                      | { kind: "artifact-path"; path: string }
                      | { kind: "file-offset"; offset: number }
                      | { end: number; kind: "file-offset-range"; start: number }
                  )[];
                  normalized_result: JSONType;
                  operation: string;
                  parameters: Record<string, JSONType>;
                  predicate_type: string;
                  provider: { id: string; name: string; version: string | null };
                  raw_result: JSONType;
                  schema_version: 2;
                  subject:
                      | {
                          architecture: "x86"
                          | "x86_64"
                          | "arm"
                          | "arm64"
                          | null;
                          digest: { sha256: string };
                          format:
                              | "unknown"
                              | "file"
                              | "directory"
                              | "javascript"
                              | "source-map"
                              | "plist"
                              | "entitlements"
                              | "dmg"
                              | "zip"
                              | "pkg"
                              | "asar"
                              | "javascript-bundle"
                              | "mach-o-universal"
                              | "mach-o"
                              | "elf"
                              | "pe"
                              | "hopper"
                              | "analysis-database"
                              | "ipa"
                              | "apk"
                              | "dex"
                              | "jvm-class"
                              | "webassembly"
                              | "android-manifest"
                              | "android-resources";
                          local_path: string;
                          name: string;
                      }
                      | null;
              }
              | {
                  authority: | "shipped-artifact"
                  | "controlled-replay"
                  | "historical-reference"
                  | "external-service"
                  | "analyst-inference";
                  confidence: "observed"
                  | "derived"
                  | "inferred";
                  environment:
                      | {
                          architecture: string;
                          id: string;
                          isolation: "process"
                          | "none"
                          | "container"
                          | "virtual-machine";
                          platform: string;
                      }
                      | null;
                  evidence_id: string;
                  evidence_links: string[];
                  limitations: string[];
                  locations: (
                      | { address: string; kind: "address" }
                      | { end: string; kind: "address-range"; start: string }
                      | { kind: "artifact-path"; path: string }
                      | { kind: "file-offset"; offset: number }
                      | { end: number; kind: "file-offset-range"; start: number }
                  )[];
                  normalized_result: JSONType;
                  operation: string;
                  parameters: Record<string, JSONType>;
                  predicate_type: string;
                  provider: { id: string; name: string; version: string | null };
                  raw_result: JSONType;
                  schema_version: 2;
                  subject:
                      | {
                          architecture: "x86"
                          | "x86_64"
                          | "arm"
                          | "arm64"
                          | null;
                          digest: { sha256: string };
                          format:
                              | "unknown"
                              | "file"
                              | "directory"
                              | "javascript"
                              | "source-map"
                              | "plist"
                              | "entitlements"
                              | "dmg"
                              | "zip"
                              | "pkg"
                              | "asar"
                              | "javascript-bundle"
                              | "mach-o-universal"
                              | "mach-o"
                              | "elf"
                              | "pe"
                              | "hopper"
                              | "analysis-database"
                              | "ipa"
                              | "apk"
                              | "dex"
                              | "jvm-class"
                              | "webassembly"
                              | "android-manifest"
                              | "android-resources";
                          local_path: string;
                          name: string;
                      }
                      | null;
              }
          )[];
          scenarios: {
              authority: "controlled-replay";
              evidence_id: string;
              operation: string;
          }[];
          unknowns: {
              contradicting_evidence_ids: string[];
              domain: string;
              mutation_evidence_ids: string[];
              previous_revision_digest: string
              | null;
              question: string;
              recommended_probes: { operation: string; rationale: string }[];
              registry_version: 1;
              relationships: {
                  type: "depends-on" | "related-to" | "contradicts";
                  unknown_id: string;
              }[];
              required_authority: | "shipped-artifact"
              | "controlled-replay"
              | "historical-reference"
              | "external-service"
              | "analyst-inference"
              | null;
              required_confidence: "observed"
              | "derived"
              | "inferred";
              required_environment:
                  | {
                      architecture: string
                      | null;
                      id: string | null;
                      isolation: "process" | "none" | "container" | "virtual-machine" | null;
                      platform: string | null;
                  }
                  | null;
              resolution: | {
                  disposition: "verified";
                  evidence_ids: string[];
                  rationale: string;
              }
              | {
                  disposition: "withdrawn"
                  | "out-of-scope";
                  evidence_ids: string[];
                  rationale: string;
              }
              | null;
              revision: number;
              revision_digest: string;
              scope_digest: string
              | null;
              severity: "low" | "medium" | "high" | "critical";
              status:
                  | "open"
                  | "investigating"
                  | "blocked"
                  | "contradicted"
                  | "resolved";
              supporting_evidence_ids: string[];
              unknown_id: string;
          }[];
      };
      snapshot_version: 2;
      target: {
          architecture: "x86"
          | "x86_64"
          | "arm"
          | "arm64"
          | null;
          format:
              | "javascript"
              | "source-map"
              | "plist"
              | "dmg"
              | "zip"
              | "pkg"
              | "asar"
              | "mach-o"
              | "elf"
              | "pe"
              | "analysis-database"
              | "ipa"
              | "apk";
          kind: "executable"
          | "database"
          | "archive"
          | "artifact";
          sha256: string;
      };
  }
Returns Result<number, AnalysisError>
Implementation of BinarySessionPort.importAnalysisSnapshot
- Defined in src/application/BinarySession.ts:256

importEvidenceBundle

importEvidenceBundle(
bundle: unknown,
): Result<number, EvidenceIntegrityError | EvidenceLimitError>
Atomically merge a validated evidence bundle into this session.
Parameters
- bundle: unknown
Returns Result<number, EvidenceIntegrityError | EvidenceLimitError>
Implementation of BinarySessionPort.importEvidenceBundle
- Defined in src/application/BinarySession.ts:224

investigationWorkspace

investigationWorkspace(
    workspaceId: string,
    revision: number,
):
    | {
        bundle: {
            artifacts: {
                architecture: "x86"
                | "x86_64"
                | "arm"
                | "arm64"
                | null;
                digest: { sha256: string };
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
            }[];
            bundle_version: 2;
            captures: { evidence_id: string; predicate_type: string }[];
            environments: {
                architecture: string;
                id: string;
                isolation: "process" | "none" | "container" | "virtual-machine";
                platform: string;
            }[];
            providers: { id: string; name: string; version: string
            | null }[];
            records: (
                | {
                    analysis_profile: {
                        digest: string;
                        parameters: Record<string, JSONType>;
                        provider: { id: string; name: string; version: string };
                        provider_profile_schema_version: number;
                        schema_version: 1;
                    };
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
                | {
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
            )[];
            scenarios: {
                authority: "controlled-replay";
                evidence_id: string;
                operation: string;
            }[];
            unknowns: {
                contradicting_evidence_ids: string[];
                domain: string;
                mutation_evidence_ids: string[];
                previous_revision_digest: string
                | null;
                question: string;
                recommended_probes: { operation: string; rationale: string }[];
                registry_version: 1;
                relationships: {
                    type: "depends-on" | "related-to" | "contradicts";
                    unknown_id: string;
                }[];
                required_authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference"
                | null;
                required_confidence: "observed"
                | "derived"
                | "inferred";
                required_environment:
                    | {
                        architecture: string
                        | null;
                        id: string | null;
                        isolation: "process" | "none" | "container" | "virtual-machine" | null;
                        platform: string | null;
                    }
                    | null;
                resolution: | {
                    disposition: "verified";
                    evidence_ids: string[];
                    rationale: string;
                }
                | {
                    disposition: "withdrawn"
                    | "out-of-scope";
                    evidence_ids: string[];
                    rationale: string;
                }
                | null;
                revision: number;
                revision_digest: string;
                scope_digest: string
                | null;
                severity: "low" | "medium" | "high" | "critical";
                status:
                    | "open"
                    | "investigating"
                    | "blocked"
                    | "contradicted"
                    | "resolved";
                supporting_evidence_ids: string[];
                unknown_id: string;
            }[];
        };
        name: string;
        previous_revision_digest: string
        | null;
        revision: number;
        revision_digest: string;
        runs: (
            | {
                comparison_evidence_id: string
                | null;
                completed_stages: (
                    | "inventory_left"
                    | "inventory_right"
                    | "compare_artifacts"
                    | "find_changed_behavior"
                )[];
                integrity_continue_approved: boolean;
                integrity_policy: "fail"
                | "record-and-continue";
                left: {
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    graph_sha256: string;
                    manifest_id: string;
                    root_sha256: string;
                };
                left_inventory_evidence_ids: string[];
                limitations: string[];
                max_integrity_mismatches: number;
                options: {
                    change_limit: number;
                    max_compression_ratio: number;
                    max_depth: number;
                    max_entries: number;
                    max_entry_bytes: number;
                    max_path_bytes: number;
                    max_total_bytes: number;
                    page_size: number;
                };
                request_sha256: string;
                result_evidence_id: string
                | null;
                right: {
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    graph_sha256: string;
                    manifest_id: string;
                    root_sha256: string;
                };
                right_inventory_evidence_ids: string[];
                run_id: string;
                schema_version: 1;
                status: "complete"
                | "running";
            }
            | {
                comparison_evidence_id: string
                | null;
                completed_stages: (
                    | "inventory_left"
                    | "inventory_right"
                    | "compare_artifacts"
                    | "find_changed_behavior"
                )[];
                integrity_continue_approved: boolean;
                integrity_policy: "fail"
                | "record-and-continue";
                left: {
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    graph_sha256: string;
                    manifest_id: string;
                    root_sha256: string;
                };
                left_inventory_evidence_ids: string[];
                legacy_request_identity: true;
                limitations: string[];
                max_integrity_mismatches: number;
                options: {
                    change_limit: number;
                    max_compression_ratio: number;
                    max_depth: number;
                    max_entries: number;
                    max_entry_bytes: number;
                    max_path_bytes: number;
                    max_total_bytes: number;
                    page_size: number;
                };
                request_sha256: string;
                result_evidence_id: string
                | null;
                right: {
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    graph_sha256: string;
                    manifest_id: string;
                    root_sha256: string;
                };
                right_inventory_evidence_ids: string[];
                run_id: string;
                schema_version: 1;
                status: "complete"
                | "running";
            }
        )[];
        workspace_id: string;
        workspace_version: 1;
    }
    | undefined
Read one session-retained immutable workspace revision.
Parameters
- workspaceId: string
- revision: number
Returns
    | {
        bundle: {
            artifacts: {
                architecture: "x86"
                | "x86_64"
                | "arm"
                | "arm64"
                | null;
                digest: { sha256: string };
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
            }[];
            bundle_version: 2;
            captures: { evidence_id: string; predicate_type: string }[];
            environments: {
                architecture: string;
                id: string;
                isolation: "process" | "none" | "container" | "virtual-machine";
                platform: string;
            }[];
            providers: { id: string; name: string; version: string
            | null }[];
            records: (
                | {
                    analysis_profile: {
                        digest: string;
                        parameters: Record<string, JSONType>;
                        provider: { id: string; name: string; version: string };
                        provider_profile_schema_version: number;
                        schema_version: 1;
                    };
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
                | {
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
            )[];
            scenarios: {
                authority: "controlled-replay";
                evidence_id: string;
                operation: string;
            }[];
            unknowns: {
                contradicting_evidence_ids: string[];
                domain: string;
                mutation_evidence_ids: string[];
                previous_revision_digest: string
                | null;
                question: string;
                recommended_probes: { operation: string; rationale: string }[];
                registry_version: 1;
                relationships: {
                    type: "depends-on" | "related-to" | "contradicts";
                    unknown_id: string;
                }[];
                required_authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference"
                | null;
                required_confidence: "observed"
                | "derived"
                | "inferred";
                required_environment:
                    | {
                        architecture: string
                        | null;
                        id: string | null;
                        isolation: "process" | "none" | "container" | "virtual-machine" | null;
                        platform: string | null;
                    }
                    | null;
                resolution: | {
                    disposition: "verified";
                    evidence_ids: string[];
                    rationale: string;
                }
                | {
                    disposition: "withdrawn"
                    | "out-of-scope";
                    evidence_ids: string[];
                    rationale: string;
                }
                | null;
                revision: number;
                revision_digest: string;
                scope_digest: string
                | null;
                severity: "low" | "medium" | "high" | "critical";
                status:
                    | "open"
                    | "investigating"
                    | "blocked"
                    | "contradicted"
                    | "resolved";
                supporting_evidence_ids: string[];
                unknown_id: string;
            }[];
        };
        name: string;
        previous_revision_digest: string
        | null;
        revision: number;
        revision_digest: string;
        runs: (
            | {
                comparison_evidence_id: string
                | null;
                completed_stages: (
                    | "inventory_left"
                    | "inventory_right"
                    | "compare_artifacts"
                    | "find_changed_behavior"
                )[];
                integrity_continue_approved: boolean;
                integrity_policy: "fail"
                | "record-and-continue";
                left: {
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    graph_sha256: string;
                    manifest_id: string;
                    root_sha256: string;
                };
                left_inventory_evidence_ids: string[];
                limitations: string[];
                max_integrity_mismatches: number;
                options: {
                    change_limit: number;
                    max_compression_ratio: number;
                    max_depth: number;
                    max_entries: number;
                    max_entry_bytes: number;
                    max_path_bytes: number;
                    max_total_bytes: number;
                    page_size: number;
                };
                request_sha256: string;
                result_evidence_id: string
                | null;
                right: {
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    graph_sha256: string;
                    manifest_id: string;
                    root_sha256: string;
                };
                right_inventory_evidence_ids: string[];
                run_id: string;
                schema_version: 1;
                status: "complete"
                | "running";
            }
            | {
                comparison_evidence_id: string
                | null;
                completed_stages: (
                    | "inventory_left"
                    | "inventory_right"
                    | "compare_artifacts"
                    | "find_changed_behavior"
                )[];
                integrity_continue_approved: boolean;
                integrity_policy: "fail"
                | "record-and-continue";
                left: {
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    graph_sha256: string;
                    manifest_id: string;
                    root_sha256: string;
                };
                left_inventory_evidence_ids: string[];
                legacy_request_identity: true;
                limitations: string[];
                max_integrity_mismatches: number;
                options: {
                    change_limit: number;
                    max_compression_ratio: number;
                    max_depth: number;
                    max_entries: number;
                    max_entry_bytes: number;
                    max_path_bytes: number;
                    max_total_bytes: number;
                    page_size: number;
                };
                request_sha256: string;
                result_evidence_id: string
                | null;
                right: {
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    graph_sha256: string;
                    manifest_id: string;
                    root_sha256: string;
                };
                right_inventory_evidence_ids: string[];
                run_id: string;
                schema_version: 1;
                status: "complete"
                | "running";
            }
        )[];
        workspace_id: string;
        workspace_version: 1;
    }
    | undefined
Implementation of BinarySessionPort.investigationWorkspace
- Defined in src/application/BinarySession.ts:287

investigationWorkspaces

investigationWorkspaces(): readonly {
    bundle: {
        artifacts: {
            architecture: "x86"
            | "x86_64"
            | "arm"
            | "arm64"
            | null;
            digest: { sha256: string };
            format:
                | "unknown"
                | "file"
                | "directory"
                | "javascript"
                | "source-map"
                | "plist"
                | "entitlements"
                | "dmg"
                | "zip"
                | "pkg"
                | "asar"
                | "javascript-bundle"
                | "mach-o-universal"
                | "mach-o"
                | "elf"
                | "pe"
                | "hopper"
                | "analysis-database"
                | "ipa"
                | "apk"
                | "dex"
                | "jvm-class"
                | "webassembly"
                | "android-manifest"
                | "android-resources";
        }[];
        bundle_version: 2;
        captures: { evidence_id: string; predicate_type: string }[];
        environments: {
            architecture: string;
            id: string;
            isolation: "process" | "none" | "container" | "virtual-machine";
            platform: string;
        }[];
        providers: { id: string; name: string; version: string
        | null }[];
        records: (
            | {
                analysis_profile: {
                    digest: string;
                    parameters: Record<string, JSONType>;
                    provider: { id: string; name: string; version: string };
                    provider_profile_schema_version: number;
                    schema_version: 1;
                };
                authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference";
                confidence: "observed"
                | "derived"
                | "inferred";
                environment:
                    | {
                        architecture: string;
                        id: string;
                        isolation: "process"
                        | "none"
                        | "container"
                        | "virtual-machine";
                        platform: string;
                    }
                    | null;
                evidence_id: string;
                evidence_links: string[];
                limitations: string[];
                locations: (
                    | { address: string; kind: "address" }
                    | { end: string; kind: "address-range"; start: string }
                    | { kind: "artifact-path"; path: string }
                    | { kind: "file-offset"; offset: number }
                    | { end: number; kind: "file-offset-range"; start: number }
                )[];
                normalized_result: JSONType;
                operation: string;
                parameters: Record<string, JSONType>;
                predicate_type: string;
                provider: { id: string; name: string; version: string | null };
                raw_result: JSONType;
                schema_version: 2;
                subject:
                    | {
                        architecture: "x86"
                        | "x86_64"
                        | "arm"
                        | "arm64"
                        | null;
                        digest: { sha256: string };
                        format:
                            | "unknown"
                            | "file"
                            | "directory"
                            | "javascript"
                            | "source-map"
                            | "plist"
                            | "entitlements"
                            | "dmg"
                            | "zip"
                            | "pkg"
                            | "asar"
                            | "javascript-bundle"
                            | "mach-o-universal"
                            | "mach-o"
                            | "elf"
                            | "pe"
                            | "hopper"
                            | "analysis-database"
                            | "ipa"
                            | "apk"
                            | "dex"
                            | "jvm-class"
                            | "webassembly"
                            | "android-manifest"
                            | "android-resources";
                        local_path: string;
                        name: string;
                    }
                    | null;
            }
            | {
                authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference";
                confidence: "observed"
                | "derived"
                | "inferred";
                environment:
                    | {
                        architecture: string;
                        id: string;
                        isolation: "process"
                        | "none"
                        | "container"
                        | "virtual-machine";
                        platform: string;
                    }
                    | null;
                evidence_id: string;
                evidence_links: string[];
                limitations: string[];
                locations: (
                    | { address: string; kind: "address" }
                    | { end: string; kind: "address-range"; start: string }
                    | { kind: "artifact-path"; path: string }
                    | { kind: "file-offset"; offset: number }
                    | { end: number; kind: "file-offset-range"; start: number }
                )[];
                normalized_result: JSONType;
                operation: string;
                parameters: Record<string, JSONType>;
                predicate_type: string;
                provider: { id: string; name: string; version: string | null };
                raw_result: JSONType;
                schema_version: 2;
                subject:
                    | {
                        architecture: "x86"
                        | "x86_64"
                        | "arm"
                        | "arm64"
                        | null;
                        digest: { sha256: string };
                        format:
                            | "unknown"
                            | "file"
                            | "directory"
                            | "javascript"
                            | "source-map"
                            | "plist"
                            | "entitlements"
                            | "dmg"
                            | "zip"
                            | "pkg"
                            | "asar"
                            | "javascript-bundle"
                            | "mach-o-universal"
                            | "mach-o"
                            | "elf"
                            | "pe"
                            | "hopper"
                            | "analysis-database"
                            | "ipa"
                            | "apk"
                            | "dex"
                            | "jvm-class"
                            | "webassembly"
                            | "android-manifest"
                            | "android-resources";
                        local_path: string;
                        name: string;
                    }
                    | null;
            }
        )[];
        scenarios: {
            authority: "controlled-replay";
            evidence_id: string;
            operation: string;
        }[];
        unknowns: {
            contradicting_evidence_ids: string[];
            domain: string;
            mutation_evidence_ids: string[];
            previous_revision_digest: string
            | null;
            question: string;
            recommended_probes: { operation: string; rationale: string }[];
            registry_version: 1;
            relationships: {
                type: "depends-on" | "related-to" | "contradicts";
                unknown_id: string;
            }[];
            required_authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference"
            | null;
            required_confidence: "observed"
            | "derived"
            | "inferred";
            required_environment:
                | {
                    architecture: string
                    | null;
                    id: string | null;
                    isolation: "process" | "none" | "container" | "virtual-machine" | null;
                    platform: string | null;
                }
                | null;
            resolution: | {
                disposition: "verified";
                evidence_ids: string[];
                rationale: string;
            }
            | {
                disposition: "withdrawn"
                | "out-of-scope";
                evidence_ids: string[];
                rationale: string;
            }
            | null;
            revision: number;
            revision_digest: string;
            scope_digest: string
            | null;
            severity: "low" | "medium" | "high" | "critical";
            status:
                | "open"
                | "investigating"
                | "blocked"
                | "contradicted"
                | "resolved";
            supporting_evidence_ids: string[];
            unknown_id: string;
        }[];
    };
    name: string;
    previous_revision_digest: string
    | null;
    revision: number;
    revision_digest: string;
    runs: (
        | {
            comparison_evidence_id: string
            | null;
            completed_stages: (
                | "inventory_left"
                | "inventory_right"
                | "compare_artifacts"
                | "find_changed_behavior"
            )[];
            integrity_continue_approved: boolean;
            integrity_policy: "fail"
            | "record-and-continue";
            left: {
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
                graph_sha256: string;
                manifest_id: string;
                root_sha256: string;
            };
            left_inventory_evidence_ids: string[];
            limitations: string[];
            max_integrity_mismatches: number;
            options: {
                change_limit: number;
                max_compression_ratio: number;
                max_depth: number;
                max_entries: number;
                max_entry_bytes: number;
                max_path_bytes: number;
                max_total_bytes: number;
                page_size: number;
            };
            request_sha256: string;
            result_evidence_id: string
            | null;
            right: {
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
                graph_sha256: string;
                manifest_id: string;
                root_sha256: string;
            };
            right_inventory_evidence_ids: string[];
            run_id: string;
            schema_version: 1;
            status: "complete"
            | "running";
        }
        | {
            comparison_evidence_id: string
            | null;
            completed_stages: (
                | "inventory_left"
                | "inventory_right"
                | "compare_artifacts"
                | "find_changed_behavior"
            )[];
            integrity_continue_approved: boolean;
            integrity_policy: "fail"
            | "record-and-continue";
            left: {
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
                graph_sha256: string;
                manifest_id: string;
                root_sha256: string;
            };
            left_inventory_evidence_ids: string[];
            legacy_request_identity: true;
            limitations: string[];
            max_integrity_mismatches: number;
            options: {
                change_limit: number;
                max_compression_ratio: number;
                max_depth: number;
                max_entries: number;
                max_entry_bytes: number;
                max_path_bytes: number;
                max_total_bytes: number;
                page_size: number;
            };
            request_sha256: string;
            result_evidence_id: string
            | null;
            right: {
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
                graph_sha256: string;
                manifest_id: string;
                root_sha256: string;
            };
            right_inventory_evidence_ids: string[];
            run_id: string;
            schema_version: 1;
            status: "complete"
            | "running";
        }
    )[];
    workspace_id: string;
    workspace_version: 1;
}[]
List retained workspace revisions in canonical identity order.

Returns readonly {
    bundle: {
        artifacts: {
            architecture: "x86" | "x86_64" | "arm" | "arm64" | null;
            digest: { sha256: string };
            format:
                | "unknown"
                | "file"
                | "directory"
                | "javascript"
                | "source-map"
                | "plist"
                | "entitlements"
                | "dmg"
                | "zip"
                | "pkg"
                | "asar"
                | "javascript-bundle"
                | "mach-o-universal"
                | "mach-o"
                | "elf"
                | "pe"
                | "hopper"
                | "analysis-database"
                | "ipa"
                | "apk"
                | "dex"
                | "jvm-class"
                | "webassembly"
                | "android-manifest"
                | "android-resources";
        }[];
        bundle_version: 2;
        captures: { evidence_id: string; predicate_type: string }[];
        environments: {
            architecture: string;
            id: string;
            isolation: "process" | "none" | "container" | "virtual-machine";
            platform: string;
        }[];
        providers: { id: string; name: string; version: string
        | null }[];
        records: (
            | {
                analysis_profile: {
                    digest: string;
                    parameters: Record<string, JSONType>;
                    provider: { id: string; name: string; version: string };
                    provider_profile_schema_version: number;
                    schema_version: 1;
                };
                authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference";
                confidence: "observed"
                | "derived"
                | "inferred";
                environment:
                    | {
                        architecture: string;
                        id: string;
                        isolation: "process"
                        | "none"
                        | "container"
                        | "virtual-machine";
                        platform: string;
                    }
                    | null;
                evidence_id: string;
                evidence_links: string[];
                limitations: string[];
                locations: (
                    | { address: string; kind: "address" }
                    | { end: string; kind: "address-range"; start: string }
                    | { kind: "artifact-path"; path: string }
                    | { kind: "file-offset"; offset: number }
                    | { end: number; kind: "file-offset-range"; start: number }
                )[];
                normalized_result: JSONType;
                operation: string;
                parameters: Record<string, JSONType>;
                predicate_type: string;
                provider: { id: string; name: string; version: string | null };
                raw_result: JSONType;
                schema_version: 2;
                subject:
                    | {
                        architecture: "x86"
                        | "x86_64"
                        | "arm"
                        | "arm64"
                        | null;
                        digest: { sha256: string };
                        format:
                            | "unknown"
                            | "file"
                            | "directory"
                            | "javascript"
                            | "source-map"
                            | "plist"
                            | "entitlements"
                            | "dmg"
                            | "zip"
                            | "pkg"
                            | "asar"
                            | "javascript-bundle"
                            | "mach-o-universal"
                            | "mach-o"
                            | "elf"
                            | "pe"
                            | "hopper"
                            | "analysis-database"
                            | "ipa"
                            | "apk"
                            | "dex"
                            | "jvm-class"
                            | "webassembly"
                            | "android-manifest"
                            | "android-resources";
                        local_path: string;
                        name: string;
                    }
                    | null;
            }
            | {
                authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference";
                confidence: "observed"
                | "derived"
                | "inferred";
                environment:
                    | {
                        architecture: string;
                        id: string;
                        isolation: "process"
                        | "none"
                        | "container"
                        | "virtual-machine";
                        platform: string;
                    }
                    | null;
                evidence_id: string;
                evidence_links: string[];
                limitations: string[];
                locations: (
                    | { address: string; kind: "address" }
                    | { end: string; kind: "address-range"; start: string }
                    | { kind: "artifact-path"; path: string }
                    | { kind: "file-offset"; offset: number }
                    | { end: number; kind: "file-offset-range"; start: number }
                )[];
                normalized_result: JSONType;
                operation: string;
                parameters: Record<string, JSONType>;
                predicate_type: string;
                provider: { id: string; name: string; version: string | null };
                raw_result: JSONType;
                schema_version: 2;
                subject:
                    | {
                        architecture: "x86"
                        | "x86_64"
                        | "arm"
                        | "arm64"
                        | null;
                        digest: { sha256: string };
                        format:
                            | "unknown"
                            | "file"
                            | "directory"
                            | "javascript"
                            | "source-map"
                            | "plist"
                            | "entitlements"
                            | "dmg"
                            | "zip"
                            | "pkg"
                            | "asar"
                            | "javascript-bundle"
                            | "mach-o-universal"
                            | "mach-o"
                            | "elf"
                            | "pe"
                            | "hopper"
                            | "analysis-database"
                            | "ipa"
                            | "apk"
                            | "dex"
                            | "jvm-class"
                            | "webassembly"
                            | "android-manifest"
                            | "android-resources";
                        local_path: string;
                        name: string;
                    }
                    | null;
            }
        )[];
        scenarios: {
            authority: "controlled-replay";
            evidence_id: string;
            operation: string;
        }[];
        unknowns: {
            contradicting_evidence_ids: string[];
            domain: string;
            mutation_evidence_ids: string[];
            previous_revision_digest: string
            | null;
            question: string;
            recommended_probes: { operation: string; rationale: string }[];
            registry_version: 1;
            relationships: {
                type: "depends-on" | "related-to" | "contradicts";
                unknown_id: string;
            }[];
            required_authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference"
            | null;
            required_confidence: "observed"
            | "derived"
            | "inferred";
            required_environment:
                | {
                    architecture: string
                    | null;
                    id: string | null;
                    isolation: "process" | "none" | "container" | "virtual-machine" | null;
                    platform: string | null;
                }
                | null;
            resolution: | {
                disposition: "verified";
                evidence_ids: string[];
                rationale: string;
            }
            | {
                disposition: "withdrawn"
                | "out-of-scope";
                evidence_ids: string[];
                rationale: string;
            }
            | null;
            revision: number;
            revision_digest: string;
            scope_digest: string
            | null;
            severity: "low" | "medium" | "high" | "critical";
            status:
                | "open"
                | "investigating"
                | "blocked"
                | "contradicted"
                | "resolved";
            supporting_evidence_ids: string[];
            unknown_id: string;
        }[];
    };
    name: string;
    previous_revision_digest: string
    | null;
    revision: number;
    revision_digest: string;
    runs: (
        | {
            comparison_evidence_id: string
            | null;
            completed_stages: (
                | "inventory_left"
                | "inventory_right"
                | "compare_artifacts"
                | "find_changed_behavior"
            )[];
            integrity_continue_approved: boolean;
            integrity_policy: "fail"
            | "record-and-continue";
            left: {
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
                graph_sha256: string;
                manifest_id: string;
                root_sha256: string;
            };
            left_inventory_evidence_ids: string[];
            limitations: string[];
            max_integrity_mismatches: number;
            options: {
                change_limit: number;
                max_compression_ratio: number;
                max_depth: number;
                max_entries: number;
                max_entry_bytes: number;
                max_path_bytes: number;
                max_total_bytes: number;
                page_size: number;
            };
            request_sha256: string;
            result_evidence_id: string
            | null;
            right: {
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
                graph_sha256: string;
                manifest_id: string;
                root_sha256: string;
            };
            right_inventory_evidence_ids: string[];
            run_id: string;
            schema_version: 1;
            status: "complete"
            | "running";
        }
        | {
            comparison_evidence_id: string
            | null;
            completed_stages: (
                | "inventory_left"
                | "inventory_right"
                | "compare_artifacts"
                | "find_changed_behavior"
            )[];
            integrity_continue_approved: boolean;
            integrity_policy: "fail"
            | "record-and-continue";
            left: {
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
                graph_sha256: string;
                manifest_id: string;
                root_sha256: string;
            };
            left_inventory_evidence_ids: string[];
            legacy_request_identity: true;
            limitations: string[];
            max_integrity_mismatches: number;
            options: {
                change_limit: number;
                max_compression_ratio: number;
                max_depth: number;
                max_entries: number;
                max_entry_bytes: number;
                max_path_bytes: number;
                max_total_bytes: number;
                page_size: number;
            };
            request_sha256: string;
            result_evidence_id: string
            | null;
            right: {
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
                graph_sha256: string;
                manifest_id: string;
                root_sha256: string;
            };
            right_inventory_evidence_ids: string[];
            run_id: string;
            schema_version: 1;
            status: "complete"
            | "running";
        }
    )[];
    workspace_id: string;
    workspace_version: 1;
}[]
Implementation of BinarySessionPort.investigationWorkspaces
- Defined in src/application/BinarySession.ts:298

listUnknowns

listUnknowns(
    filters?: {
        domain?: string;
        severity?: "low" | "medium" | "high" | "critical";
        status?:
            | "open"
            | "investigating"
            | "blocked"
            | "contradicted"
            | "resolved";
    },
): {
    contradicting_evidence_ids: string[];
    domain: string;
    mutation_evidence_ids: string[];
    previous_revision_digest: string
    | null;
    question: string;
    recommended_probes: { operation: string; rationale: string }[];
    registry_version: 1;
    relationships: {
        type: "depends-on" | "related-to" | "contradicts";
        unknown_id: string;
    }[];
    required_authority: | "shipped-artifact"
    | "controlled-replay"
    | "historical-reference"
    | "external-service"
    | "analyst-inference"
    | null;
    required_confidence: "observed"
    | "derived"
    | "inferred";
    required_environment:
        | {
            architecture: string
            | null;
            id: string | null;
            isolation: "process" | "none" | "container" | "virtual-machine" | null;
            platform: string | null;
        }
        | null;
    resolution: | {
        disposition: "verified";
        evidence_ids: string[];
        rationale: string;
    }
    | {
        disposition: "withdrawn"
        | "out-of-scope";
        evidence_ids: string[];
        rationale: string;
    }
    | null;
    revision: number;
    revision_digest: string;
    scope_digest: string
    | null;
    severity: "low" | "medium" | "high" | "critical";
    status: "open" | "investigating" | "blocked" | "contradicted" | "resolved";
    supporting_evidence_ids: string[];
    unknown_id: string;
}[]
Query stable current residual-unknown heads.
Parameters
- filters: {
      domain?: string;
      severity?: "low" | "medium" | "high" | "critical";
      status?: "open" | "investigating" | "blocked" | "contradicted" | "resolved";
  } = {}
Returns {
    contradicting_evidence_ids: string[];
    domain: string;
    mutation_evidence_ids: string[];
    previous_revision_digest: string | null;
    question: string;
    recommended_probes: { operation: string; rationale: string }[];
    registry_version: 1;
    relationships: {
        type: "depends-on" | "related-to" | "contradicts";
        unknown_id: string;
    }[];
    required_authority: | "shipped-artifact"
    | "controlled-replay"
    | "historical-reference"
    | "external-service"
    | "analyst-inference"
    | null;
    required_confidence: "observed"
    | "derived"
    | "inferred";
    required_environment:
        | {
            architecture: string
            | null;
            id: string | null;
            isolation: "process" | "none" | "container" | "virtual-machine" | null;
            platform: string | null;
        }
        | null;
    resolution: | {
        disposition: "verified";
        evidence_ids: string[];
        rationale: string;
    }
    | {
        disposition: "withdrawn"
        | "out-of-scope";
        evidence_ids: string[];
        rationale: string;
    }
    | null;
    revision: number;
    revision_digest: string;
    scope_digest: string
    | null;
    severity: "low" | "medium" | "high" | "critical";
    status: "open" | "investigating" | "blocked" | "contradicted" | "resolved";
    supporting_evidence_ids: string[];
    unknown_id: string;
}[]
Implementation of BinarySessionPort.listUnknowns
- Defined in src/application/BinarySession.ts:388

onAvailabilityChanged

onAvailabilityChanged(listener: () => void | Promise<void>): () => void
Observe runtime provider-health changes that affect discovery metadata.
Parameters
- listener: () => void | Promise<void>
Returns () => void
Implementation of BinarySessionPort.onAvailabilityChanged
- Defined in src/application/BinarySession.ts:193

open

open(
path: string,
options?: BinarySessionOpenOptions,
): Promise<Result<BinaryTarget, AnalysisError>>
Open or switch targets after draining calls against the current target. Returns the switch failure even if best-effort restoration also fails.
Parameters
- path: string
- options: BinarySessionOpenOptions = {}
Returns Promise<Result<BinaryTarget, AnalysisError>>
Implementation of BinarySessionPort.open
- Defined in src/application/BinarySession.ts:414

openCompatibility

openCompatibility(): Readonly<Record<string, JsonValue>>
Return opaque adapter metadata retained for legacy open_binary output.

Returns Readonly<Record<string, JsonValue>>
Implementation of BinarySessionPort.openCompatibility
- Defined in src/application/BinarySession.ts:188

providerIdentity

providerIdentity(operation?: AnalysisOperation): ProviderIdentity
Identify the provider producing evidence for this session.
Parameters
- Optionaloperation: AnalysisOperation
Returns ProviderIdentity
Implementation of BinarySessionPort.providerIdentity
- Defined in src/application/BinarySession.ts:143

reconstructionCoverageWorkspace

reconstructionCoverageWorkspace(
    workspaceId: string,
    revision: number,
):
    | {
        artifacts: {
            artifact_id: string;
            artifact_sha256: string;
            environment_sha256: string;
            evidence_ids: string[];
            version: string;
        }[];
        boundaries: {
            allowed_dispositions: ("external" | "non-goal")[];
            allowed_unknown_ids: string[];
            boundary_id: string;
            required_claim_ids: string[];
            required_package_proof_kinds: (
                | "build"
                | "clean-install"
                | "package-contents"
                | "runtime-routing"
                | "authority-independence"
            )[];
            required_surface_ids: string[];
            title: string;
        }[];
        claims: {
            claim_id: string;
            kind: string;
            required_authority: | "external"
            | "shipped-artifact"
            | "controlled-replay"
            | "live-observation";
            required_dimensions: string[];
            surface_ids: string[];
            title: string;
        }[];
        contradictions: {
            claim_ids: string[];
            contradiction_id: string;
            evidence_ids: string[];
            status: "resolved"
            | "active";
            surface_ids: string[];
        }[];
        evidence_bundle: {
            artifacts: {
                architecture: "x86"
                | "x86_64"
                | "arm"
                | "arm64"
                | null;
                digest: { sha256: string };
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
            }[];
            bundle_version: 2;
            captures: { evidence_id: string; predicate_type: string }[];
            environments: {
                architecture: string;
                id: string;
                isolation: "process" | "none" | "container" | "virtual-machine";
                platform: string;
            }[];
            providers: { id: string; name: string; version: string
            | null }[];
            records: (
                | {
                    analysis_profile: {
                        digest: string;
                        parameters: Record<string, JSONType>;
                        provider: { id: string; name: string; version: string };
                        provider_profile_schema_version: number;
                        schema_version: 1;
                    };
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
                | {
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
            )[];
            scenarios: {
                authority: "controlled-replay";
                evidence_id: string;
                operation: string;
            }[];
            unknowns: {
                contradicting_evidence_ids: string[];
                domain: string;
                mutation_evidence_ids: string[];
                previous_revision_digest: string
                | null;
                question: string;
                recommended_probes: { operation: string; rationale: string }[];
                registry_version: 1;
                relationships: {
                    type: "depends-on" | "related-to" | "contradicts";
                    unknown_id: string;
                }[];
                required_authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference"
                | null;
                required_confidence: "observed"
                | "derived"
                | "inferred";
                required_environment:
                    | {
                        architecture: string
                        | null;
                        id: string | null;
                        isolation: "process" | "none" | "container" | "virtual-machine" | null;
                        platform: string | null;
                    }
                    | null;
                resolution: | {
                    disposition: "verified";
                    evidence_ids: string[];
                    rationale: string;
                }
                | {
                    disposition: "withdrawn"
                    | "out-of-scope";
                    evidence_ids: string[];
                    rationale: string;
                }
                | null;
                revision: number;
                revision_digest: string;
                scope_digest: string
                | null;
                severity: "low" | "medium" | "high" | "critical";
                status:
                    | "open"
                    | "investigating"
                    | "blocked"
                    | "contradicted"
                    | "resolved";
                supporting_evidence_ids: string[];
                unknown_id: string;
            }[];
        };
        name: string;
        owners: {
            ownership: | {
                authority_route: "unknown"
                | "none"
                | "detected";
                disposition: "implemented";
                owner_export: string | null;
                owner_path: string;
                owner_sha256: string;
                package_state: "unknown" | "missing" | "distributed";
                path_state: "unknown" | "missing" | "present";
            }
            | { disposition: "external"
            | "non-goal"; rationale: string };
            surface_id: string;
        }[];
        package_proofs: {
            artifact_sha256s: string[];
            evidence_ids: string[];
            kind: | "build"
            | "clean-install"
            | "package-contents"
            | "runtime-routing"
            | "authority-independence";
            proof_id: string;
            status: "unknown"
            | "fail"
            | "pass"
            | "unsupported"
            | "skipped";
        }[];
        previous_revision_sha256: string
        | null;
        residual_unknown_ids: string[];
        revision: number;
        revision_sha256: string;
        schema_version: 1;
        surfaces: {
            artifact_id: string;
            authority:
                | "external"
                | "observed"
                | "derived"
                | "inferred"
                | "historical";
            dependency_surface_ids: string[];
            evidence_ids: string[];
            family: string;
            location: string;
            occurrence_id: string
            | null;
            surface_id: string;
        }[];
        verifier_contracts: {
            authority: | "external"
            | "shipped-artifact"
            | "controlled-replay"
            | "live-observation";
            claim_ids: string[];
            contract_sha256: string;
            dimensions: string[];
            max_age_ms: number;
            minimum_repeats: number;
            normalization_removes_dimensions: false;
            normalization_sha256: string;
            verifier_id: string;
        }[];
        verifier_results: {
            artifact_sha256s: string[];
            contract_sha256: string;
            covered_claim_ids: string[];
            covered_dimensions: string[];
            evidence_ids: string[];
            normalization_sha256: string;
            observed_at: string;
            owner_sha256s: string[];
            repeats: number;
            status: | "unknown"
            | "truncated"
            | "fail"
            | "pass"
            | "unsupported"
            | "skipped";
            verifier_id: string;
        }[];
        workspace_id: string;
    }
    | undefined
Read one session-retained reconstruction coverage revision.
Parameters
- workspaceId: string
- revision: number
Returns
    | {
        artifacts: {
            artifact_id: string;
            artifact_sha256: string;
            environment_sha256: string;
            evidence_ids: string[];
            version: string;
        }[];
        boundaries: {
            allowed_dispositions: ("external" | "non-goal")[];
            allowed_unknown_ids: string[];
            boundary_id: string;
            required_claim_ids: string[];
            required_package_proof_kinds: (
                | "build"
                | "clean-install"
                | "package-contents"
                | "runtime-routing"
                | "authority-independence"
            )[];
            required_surface_ids: string[];
            title: string;
        }[];
        claims: {
            claim_id: string;
            kind: string;
            required_authority: | "external"
            | "shipped-artifact"
            | "controlled-replay"
            | "live-observation";
            required_dimensions: string[];
            surface_ids: string[];
            title: string;
        }[];
        contradictions: {
            claim_ids: string[];
            contradiction_id: string;
            evidence_ids: string[];
            status: "resolved"
            | "active";
            surface_ids: string[];
        }[];
        evidence_bundle: {
            artifacts: {
                architecture: "x86"
                | "x86_64"
                | "arm"
                | "arm64"
                | null;
                digest: { sha256: string };
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
            }[];
            bundle_version: 2;
            captures: { evidence_id: string; predicate_type: string }[];
            environments: {
                architecture: string;
                id: string;
                isolation: "process" | "none" | "container" | "virtual-machine";
                platform: string;
            }[];
            providers: { id: string; name: string; version: string
            | null }[];
            records: (
                | {
                    analysis_profile: {
                        digest: string;
                        parameters: Record<string, JSONType>;
                        provider: { id: string; name: string; version: string };
                        provider_profile_schema_version: number;
                        schema_version: 1;
                    };
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
                | {
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
            )[];
            scenarios: {
                authority: "controlled-replay";
                evidence_id: string;
                operation: string;
            }[];
            unknowns: {
                contradicting_evidence_ids: string[];
                domain: string;
                mutation_evidence_ids: string[];
                previous_revision_digest: string
                | null;
                question: string;
                recommended_probes: { operation: string; rationale: string }[];
                registry_version: 1;
                relationships: {
                    type: "depends-on" | "related-to" | "contradicts";
                    unknown_id: string;
                }[];
                required_authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference"
                | null;
                required_confidence: "observed"
                | "derived"
                | "inferred";
                required_environment:
                    | {
                        architecture: string
                        | null;
                        id: string | null;
                        isolation: "process" | "none" | "container" | "virtual-machine" | null;
                        platform: string | null;
                    }
                    | null;
                resolution: | {
                    disposition: "verified";
                    evidence_ids: string[];
                    rationale: string;
                }
                | {
                    disposition: "withdrawn"
                    | "out-of-scope";
                    evidence_ids: string[];
                    rationale: string;
                }
                | null;
                revision: number;
                revision_digest: string;
                scope_digest: string
                | null;
                severity: "low" | "medium" | "high" | "critical";
                status:
                    | "open"
                    | "investigating"
                    | "blocked"
                    | "contradicted"
                    | "resolved";
                supporting_evidence_ids: string[];
                unknown_id: string;
            }[];
        };
        name: string;
        owners: {
            ownership: | {
                authority_route: "unknown"
                | "none"
                | "detected";
                disposition: "implemented";
                owner_export: string | null;
                owner_path: string;
                owner_sha256: string;
                package_state: "unknown" | "missing" | "distributed";
                path_state: "unknown" | "missing" | "present";
            }
            | { disposition: "external"
            | "non-goal"; rationale: string };
            surface_id: string;
        }[];
        package_proofs: {
            artifact_sha256s: string[];
            evidence_ids: string[];
            kind: | "build"
            | "clean-install"
            | "package-contents"
            | "runtime-routing"
            | "authority-independence";
            proof_id: string;
            status: "unknown"
            | "fail"
            | "pass"
            | "unsupported"
            | "skipped";
        }[];
        previous_revision_sha256: string
        | null;
        residual_unknown_ids: string[];
        revision: number;
        revision_sha256: string;
        schema_version: 1;
        surfaces: {
            artifact_id: string;
            authority:
                | "external"
                | "observed"
                | "derived"
                | "inferred"
                | "historical";
            dependency_surface_ids: string[];
            evidence_ids: string[];
            family: string;
            location: string;
            occurrence_id: string
            | null;
            surface_id: string;
        }[];
        verifier_contracts: {
            authority: | "external"
            | "shipped-artifact"
            | "controlled-replay"
            | "live-observation";
            claim_ids: string[];
            contract_sha256: string;
            dimensions: string[];
            max_age_ms: number;
            minimum_repeats: number;
            normalization_removes_dimensions: false;
            normalization_sha256: string;
            verifier_id: string;
        }[];
        verifier_results: {
            artifact_sha256s: string[];
            contract_sha256: string;
            covered_claim_ids: string[];
            covered_dimensions: string[];
            evidence_ids: string[];
            normalization_sha256: string;
            observed_at: string;
            owner_sha256s: string[];
            repeats: number;
            status: | "unknown"
            | "truncated"
            | "fail"
            | "pass"
            | "unsupported"
            | "skipped";
            verifier_id: string;
        }[];
        workspace_id: string;
    }
    | undefined
Implementation of BinarySessionPort.reconstructionCoverageWorkspace
- Defined in src/application/BinarySession.ts:320

reconstructionCoverageWorkspaces

reconstructionCoverageWorkspaces(): readonly {
    artifacts: {
        artifact_id: string;
        artifact_sha256: string;
        environment_sha256: string;
        evidence_ids: string[];
        version: string;
    }[];
    boundaries: {
        allowed_dispositions: ("external" | "non-goal")[];
        allowed_unknown_ids: string[];
        boundary_id: string;
        required_claim_ids: string[];
        required_package_proof_kinds: (
            | "build"
            | "clean-install"
            | "package-contents"
            | "runtime-routing"
            | "authority-independence"
        )[];
        required_surface_ids: string[];
        title: string;
    }[];
    claims: {
        claim_id: string;
        kind: string;
        required_authority: | "external"
        | "shipped-artifact"
        | "controlled-replay"
        | "live-observation";
        required_dimensions: string[];
        surface_ids: string[];
        title: string;
    }[];
    contradictions: {
        claim_ids: string[];
        contradiction_id: string;
        evidence_ids: string[];
        status: "resolved"
        | "active";
        surface_ids: string[];
    }[];
    evidence_bundle: {
        artifacts: {
            architecture: "x86"
            | "x86_64"
            | "arm"
            | "arm64"
            | null;
            digest: { sha256: string };
            format:
                | "unknown"
                | "file"
                | "directory"
                | "javascript"
                | "source-map"
                | "plist"
                | "entitlements"
                | "dmg"
                | "zip"
                | "pkg"
                | "asar"
                | "javascript-bundle"
                | "mach-o-universal"
                | "mach-o"
                | "elf"
                | "pe"
                | "hopper"
                | "analysis-database"
                | "ipa"
                | "apk"
                | "dex"
                | "jvm-class"
                | "webassembly"
                | "android-manifest"
                | "android-resources";
        }[];
        bundle_version: 2;
        captures: { evidence_id: string; predicate_type: string }[];
        environments: {
            architecture: string;
            id: string;
            isolation: "process" | "none" | "container" | "virtual-machine";
            platform: string;
        }[];
        providers: { id: string; name: string; version: string
        | null }[];
        records: (
            | {
                analysis_profile: {
                    digest: string;
                    parameters: Record<string, JSONType>;
                    provider: { id: string; name: string; version: string };
                    provider_profile_schema_version: number;
                    schema_version: 1;
                };
                authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference";
                confidence: "observed"
                | "derived"
                | "inferred";
                environment:
                    | {
                        architecture: string;
                        id: string;
                        isolation: "process"
                        | "none"
                        | "container"
                        | "virtual-machine";
                        platform: string;
                    }
                    | null;
                evidence_id: string;
                evidence_links: string[];
                limitations: string[];
                locations: (
                    | { address: string; kind: "address" }
                    | { end: string; kind: "address-range"; start: string }
                    | { kind: "artifact-path"; path: string }
                    | { kind: "file-offset"; offset: number }
                    | { end: number; kind: "file-offset-range"; start: number }
                )[];
                normalized_result: JSONType;
                operation: string;
                parameters: Record<string, JSONType>;
                predicate_type: string;
                provider: { id: string; name: string; version: string | null };
                raw_result: JSONType;
                schema_version: 2;
                subject:
                    | {
                        architecture: "x86"
                        | "x86_64"
                        | "arm"
                        | "arm64"
                        | null;
                        digest: { sha256: string };
                        format:
                            | "unknown"
                            | "file"
                            | "directory"
                            | "javascript"
                            | "source-map"
                            | "plist"
                            | "entitlements"
                            | "dmg"
                            | "zip"
                            | "pkg"
                            | "asar"
                            | "javascript-bundle"
                            | "mach-o-universal"
                            | "mach-o"
                            | "elf"
                            | "pe"
                            | "hopper"
                            | "analysis-database"
                            | "ipa"
                            | "apk"
                            | "dex"
                            | "jvm-class"
                            | "webassembly"
                            | "android-manifest"
                            | "android-resources";
                        local_path: string;
                        name: string;
                    }
                    | null;
            }
            | {
                authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference";
                confidence: "observed"
                | "derived"
                | "inferred";
                environment:
                    | {
                        architecture: string;
                        id: string;
                        isolation: "process"
                        | "none"
                        | "container"
                        | "virtual-machine";
                        platform: string;
                    }
                    | null;
                evidence_id: string;
                evidence_links: string[];
                limitations: string[];
                locations: (
                    | { address: string; kind: "address" }
                    | { end: string; kind: "address-range"; start: string }
                    | { kind: "artifact-path"; path: string }
                    | { kind: "file-offset"; offset: number }
                    | { end: number; kind: "file-offset-range"; start: number }
                )[];
                normalized_result: JSONType;
                operation: string;
                parameters: Record<string, JSONType>;
                predicate_type: string;
                provider: { id: string; name: string; version: string | null };
                raw_result: JSONType;
                schema_version: 2;
                subject:
                    | {
                        architecture: "x86"
                        | "x86_64"
                        | "arm"
                        | "arm64"
                        | null;
                        digest: { sha256: string };
                        format:
                            | "unknown"
                            | "file"
                            | "directory"
                            | "javascript"
                            | "source-map"
                            | "plist"
                            | "entitlements"
                            | "dmg"
                            | "zip"
                            | "pkg"
                            | "asar"
                            | "javascript-bundle"
                            | "mach-o-universal"
                            | "mach-o"
                            | "elf"
                            | "pe"
                            | "hopper"
                            | "analysis-database"
                            | "ipa"
                            | "apk"
                            | "dex"
                            | "jvm-class"
                            | "webassembly"
                            | "android-manifest"
                            | "android-resources";
                        local_path: string;
                        name: string;
                    }
                    | null;
            }
        )[];
        scenarios: {
            authority: "controlled-replay";
            evidence_id: string;
            operation: string;
        }[];
        unknowns: {
            contradicting_evidence_ids: string[];
            domain: string;
            mutation_evidence_ids: string[];
            previous_revision_digest: string
            | null;
            question: string;
            recommended_probes: { operation: string; rationale: string }[];
            registry_version: 1;
            relationships: {
                type: "depends-on" | "related-to" | "contradicts";
                unknown_id: string;
            }[];
            required_authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference"
            | null;
            required_confidence: "observed"
            | "derived"
            | "inferred";
            required_environment:
                | {
                    architecture: string
                    | null;
                    id: string | null;
                    isolation: "process" | "none" | "container" | "virtual-machine" | null;
                    platform: string | null;
                }
                | null;
            resolution: | {
                disposition: "verified";
                evidence_ids: string[];
                rationale: string;
            }
            | {
                disposition: "withdrawn"
                | "out-of-scope";
                evidence_ids: string[];
                rationale: string;
            }
            | null;
            revision: number;
            revision_digest: string;
            scope_digest: string
            | null;
            severity: "low" | "medium" | "high" | "critical";
            status:
                | "open"
                | "investigating"
                | "blocked"
                | "contradicted"
                | "resolved";
            supporting_evidence_ids: string[];
            unknown_id: string;
        }[];
    };
    name: string;
    owners: {
        ownership: | {
            authority_route: "unknown"
            | "none"
            | "detected";
            disposition: "implemented";
            owner_export: string | null;
            owner_path: string;
            owner_sha256: string;
            package_state: "unknown" | "missing" | "distributed";
            path_state: "unknown" | "missing" | "present";
        }
        | { disposition: "external"
        | "non-goal"; rationale: string };
        surface_id: string;
    }[];
    package_proofs: {
        artifact_sha256s: string[];
        evidence_ids: string[];
        kind: | "build"
        | "clean-install"
        | "package-contents"
        | "runtime-routing"
        | "authority-independence";
        proof_id: string;
        status: "unknown"
        | "fail"
        | "pass"
        | "unsupported"
        | "skipped";
    }[];
    previous_revision_sha256: string
    | null;
    residual_unknown_ids: string[];
    revision: number;
    revision_sha256: string;
    schema_version: 1;
    surfaces: {
        artifact_id: string;
        authority: "external" | "observed" | "derived" | "inferred" | "historical";
        dependency_surface_ids: string[];
        evidence_ids: string[];
        family: string;
        location: string;
        occurrence_id: string | null;
        surface_id: string;
    }[];
    verifier_contracts: {
        authority: | "external"
        | "shipped-artifact"
        | "controlled-replay"
        | "live-observation";
        claim_ids: string[];
        contract_sha256: string;
        dimensions: string[];
        max_age_ms: number;
        minimum_repeats: number;
        normalization_removes_dimensions: false;
        normalization_sha256: string;
        verifier_id: string;
    }[];
    verifier_results: {
        artifact_sha256s: string[];
        contract_sha256: string;
        covered_claim_ids: string[];
        covered_dimensions: string[];
        evidence_ids: string[];
        normalization_sha256: string;
        observed_at: string;
        owner_sha256s: string[];
        repeats: number;
        status: | "unknown"
        | "truncated"
        | "fail"
        | "pass"
        | "unsupported"
        | "skipped";
        verifier_id: string;
    }[];
    workspace_id: string;
}[]
List reconstruction coverage revisions in canonical identity order.

Returns readonly {
    artifacts: {
        artifact_id: string;
        artifact_sha256: string;
        environment_sha256: string;
        evidence_ids: string[];
        version: string;
    }[];
    boundaries: {
        allowed_dispositions: ("external" | "non-goal")[];
        allowed_unknown_ids: string[];
        boundary_id: string;
        required_claim_ids: string[];
        required_package_proof_kinds: (
            | "build"
            | "clean-install"
            | "package-contents"
            | "runtime-routing"
            | "authority-independence"
        )[];
        required_surface_ids: string[];
        title: string;
    }[];
    claims: {
        claim_id: string;
        kind: string;
        required_authority: | "external"
        | "shipped-artifact"
        | "controlled-replay"
        | "live-observation";
        required_dimensions: string[];
        surface_ids: string[];
        title: string;
    }[];
    contradictions: {
        claim_ids: string[];
        contradiction_id: string;
        evidence_ids: string[];
        status: "resolved"
        | "active";
        surface_ids: string[];
    }[];
    evidence_bundle: {
        artifacts: {
            architecture: "x86"
            | "x86_64"
            | "arm"
            | "arm64"
            | null;
            digest: { sha256: string };
            format:
                | "unknown"
                | "file"
                | "directory"
                | "javascript"
                | "source-map"
                | "plist"
                | "entitlements"
                | "dmg"
                | "zip"
                | "pkg"
                | "asar"
                | "javascript-bundle"
                | "mach-o-universal"
                | "mach-o"
                | "elf"
                | "pe"
                | "hopper"
                | "analysis-database"
                | "ipa"
                | "apk"
                | "dex"
                | "jvm-class"
                | "webassembly"
                | "android-manifest"
                | "android-resources";
        }[];
        bundle_version: 2;
        captures: { evidence_id: string; predicate_type: string }[];
        environments: {
            architecture: string;
            id: string;
            isolation: "process" | "none" | "container" | "virtual-machine";
            platform: string;
        }[];
        providers: { id: string; name: string; version: string
        | null }[];
        records: (
            | {
                analysis_profile: {
                    digest: string;
                    parameters: Record<string, JSONType>;
                    provider: { id: string; name: string; version: string };
                    provider_profile_schema_version: number;
                    schema_version: 1;
                };
                authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference";
                confidence: "observed"
                | "derived"
                | "inferred";
                environment:
                    | {
                        architecture: string;
                        id: string;
                        isolation: "process"
                        | "none"
                        | "container"
                        | "virtual-machine";
                        platform: string;
                    }
                    | null;
                evidence_id: string;
                evidence_links: string[];
                limitations: string[];
                locations: (
                    | { address: string; kind: "address" }
                    | { end: string; kind: "address-range"; start: string }
                    | { kind: "artifact-path"; path: string }
                    | { kind: "file-offset"; offset: number }
                    | { end: number; kind: "file-offset-range"; start: number }
                )[];
                normalized_result: JSONType;
                operation: string;
                parameters: Record<string, JSONType>;
                predicate_type: string;
                provider: { id: string; name: string; version: string | null };
                raw_result: JSONType;
                schema_version: 2;
                subject:
                    | {
                        architecture: "x86"
                        | "x86_64"
                        | "arm"
                        | "arm64"
                        | null;
                        digest: { sha256: string };
                        format:
                            | "unknown"
                            | "file"
                            | "directory"
                            | "javascript"
                            | "source-map"
                            | "plist"
                            | "entitlements"
                            | "dmg"
                            | "zip"
                            | "pkg"
                            | "asar"
                            | "javascript-bundle"
                            | "mach-o-universal"
                            | "mach-o"
                            | "elf"
                            | "pe"
                            | "hopper"
                            | "analysis-database"
                            | "ipa"
                            | "apk"
                            | "dex"
                            | "jvm-class"
                            | "webassembly"
                            | "android-manifest"
                            | "android-resources";
                        local_path: string;
                        name: string;
                    }
                    | null;
            }
            | {
                authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference";
                confidence: "observed"
                | "derived"
                | "inferred";
                environment:
                    | {
                        architecture: string;
                        id: string;
                        isolation: "process"
                        | "none"
                        | "container"
                        | "virtual-machine";
                        platform: string;
                    }
                    | null;
                evidence_id: string;
                evidence_links: string[];
                limitations: string[];
                locations: (
                    | { address: string; kind: "address" }
                    | { end: string; kind: "address-range"; start: string }
                    | { kind: "artifact-path"; path: string }
                    | { kind: "file-offset"; offset: number }
                    | { end: number; kind: "file-offset-range"; start: number }
                )[];
                normalized_result: JSONType;
                operation: string;
                parameters: Record<string, JSONType>;
                predicate_type: string;
                provider: { id: string; name: string; version: string | null };
                raw_result: JSONType;
                schema_version: 2;
                subject:
                    | {
                        architecture: "x86"
                        | "x86_64"
                        | "arm"
                        | "arm64"
                        | null;
                        digest: { sha256: string };
                        format:
                            | "unknown"
                            | "file"
                            | "directory"
                            | "javascript"
                            | "source-map"
                            | "plist"
                            | "entitlements"
                            | "dmg"
                            | "zip"
                            | "pkg"
                            | "asar"
                            | "javascript-bundle"
                            | "mach-o-universal"
                            | "mach-o"
                            | "elf"
                            | "pe"
                            | "hopper"
                            | "analysis-database"
                            | "ipa"
                            | "apk"
                            | "dex"
                            | "jvm-class"
                            | "webassembly"
                            | "android-manifest"
                            | "android-resources";
                        local_path: string;
                        name: string;
                    }
                    | null;
            }
        )[];
        scenarios: {
            authority: "controlled-replay";
            evidence_id: string;
            operation: string;
        }[];
        unknowns: {
            contradicting_evidence_ids: string[];
            domain: string;
            mutation_evidence_ids: string[];
            previous_revision_digest: string
            | null;
            question: string;
            recommended_probes: { operation: string; rationale: string }[];
            registry_version: 1;
            relationships: {
                type: "depends-on" | "related-to" | "contradicts";
                unknown_id: string;
            }[];
            required_authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference"
            | null;
            required_confidence: "observed"
            | "derived"
            | "inferred";
            required_environment:
                | {
                    architecture: string
                    | null;
                    id: string | null;
                    isolation: "process" | "none" | "container" | "virtual-machine" | null;
                    platform: string | null;
                }
                | null;
            resolution: | {
                disposition: "verified";
                evidence_ids: string[];
                rationale: string;
            }
            | {
                disposition: "withdrawn"
                | "out-of-scope";
                evidence_ids: string[];
                rationale: string;
            }
            | null;
            revision: number;
            revision_digest: string;
            scope_digest: string
            | null;
            severity: "low" | "medium" | "high" | "critical";
            status:
                | "open"
                | "investigating"
                | "blocked"
                | "contradicted"
                | "resolved";
            supporting_evidence_ids: string[];
            unknown_id: string;
        }[];
    };
    name: string;
    owners: {
        ownership: | {
            authority_route: "unknown"
            | "none"
            | "detected";
            disposition: "implemented";
            owner_export: string | null;
            owner_path: string;
            owner_sha256: string;
            package_state: "unknown" | "missing" | "distributed";
            path_state: "unknown" | "missing" | "present";
        }
        | { disposition: "external"
        | "non-goal"; rationale: string };
        surface_id: string;
    }[];
    package_proofs: {
        artifact_sha256s: string[];
        evidence_ids: string[];
        kind: | "build"
        | "clean-install"
        | "package-contents"
        | "runtime-routing"
        | "authority-independence";
        proof_id: string;
        status: "unknown"
        | "fail"
        | "pass"
        | "unsupported"
        | "skipped";
    }[];
    previous_revision_sha256: string
    | null;
    residual_unknown_ids: string[];
    revision: number;
    revision_sha256: string;
    schema_version: 1;
    surfaces: {
        artifact_id: string;
        authority: "external" | "observed" | "derived" | "inferred" | "historical";
        dependency_surface_ids: string[];
        evidence_ids: string[];
        family: string;
        location: string;
        occurrence_id: string | null;
        surface_id: string;
    }[];
    verifier_contracts: {
        authority: | "external"
        | "shipped-artifact"
        | "controlled-replay"
        | "live-observation";
        claim_ids: string[];
        contract_sha256: string;
        dimensions: string[];
        max_age_ms: number;
        minimum_repeats: number;
        normalization_removes_dimensions: false;
        normalization_sha256: string;
        verifier_id: string;
    }[];
    verifier_results: {
        artifact_sha256s: string[];
        contract_sha256: string;
        covered_claim_ids: string[];
        covered_dimensions: string[];
        evidence_ids: string[];
        normalization_sha256: string;
        observed_at: string;
        owner_sha256s: string[];
        repeats: number;
        status: | "unknown"
        | "truncated"
        | "fail"
        | "pass"
        | "unsupported"
        | "skipped";
        verifier_id: string;
    }[];
    workspace_id: string;
}[]
Implementation of BinarySessionPort.reconstructionCoverageWorkspaces
- Defined in src/application/BinarySession.ts:331

recordEvidence

recordEvidence(
    evidence:
        | {
            analysis_profile: {
                digest: string;
                parameters: Record<string, JSONType>;
                provider: { id: string; name: string; version: string };
                provider_profile_schema_version: number;
                schema_version: 1;
            };
            authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference";
            confidence: "observed"
            | "derived"
            | "inferred";
            environment:
                | {
                    architecture: string;
                    id: string;
                    isolation: "process"
                    | "none"
                    | "container"
                    | "virtual-machine";
                    platform: string;
                }
                | null;
            evidence_id: string;
            evidence_links: string[];
            limitations: string[];
            locations: (
                | { address: string; kind: "address" }
                | { end: string; kind: "address-range"; start: string }
                | { kind: "artifact-path"; path: string }
                | { kind: "file-offset"; offset: number }
                | { end: number; kind: "file-offset-range"; start: number }
            )[];
            normalized_result: JSONType;
            operation: string;
            parameters: Record<string, JSONType>;
            predicate_type: string;
            provider: { id: string; name: string; version: string | null };
            raw_result: JSONType;
            schema_version: 2;
            subject:
                | {
                    architecture: "x86"
                    | "x86_64"
                    | "arm"
                    | "arm64"
                    | null;
                    digest: { sha256: string };
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    local_path: string;
                    name: string;
                }
                | null;
        }
        | {
            authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference";
            confidence: "observed"
            | "derived"
            | "inferred";
            environment:
                | {
                    architecture: string;
                    id: string;
                    isolation: "process"
                    | "none"
                    | "container"
                    | "virtual-machine";
                    platform: string;
                }
                | null;
            evidence_id: string;
            evidence_links: string[];
            limitations: string[];
            locations: (
                | { address: string; kind: "address" }
                | { end: string; kind: "address-range"; start: string }
                | { kind: "artifact-path"; path: string }
                | { kind: "file-offset"; offset: number }
                | { end: number; kind: "file-offset-range"; start: number }
            )[];
            normalized_result: JSONType;
            operation: string;
            parameters: Record<string, JSONType>;
            predicate_type: string;
            provider: { id: string; name: string; version: string | null };
            raw_result: JSONType;
            schema_version: 2;
            subject:
                | {
                    architecture: "x86"
                    | "x86_64"
                    | "arm"
                    | "arm64"
                    | null;
                    digest: { sha256: string };
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    local_path: string;
                    name: string;
                }
                | null;
        },
): Result<
    "added"
    | "duplicate",
    EvidenceIntegrityError | EvidenceLimitError,
>
Add one successful public observation to the session ledger.
Parameters
- evidence:
      | {
          analysis_profile: {
              digest: string;
              parameters: Record<string, JSONType>;
              provider: { id: string; name: string; version: string };
              provider_profile_schema_version: number;
              schema_version: 1;
          };
          authority: | "shipped-artifact"
          | "controlled-replay"
          | "historical-reference"
          | "external-service"
          | "analyst-inference";
          confidence: "observed"
          | "derived"
          | "inferred";
          environment:
              | {
                  architecture: string;
                  id: string;
                  isolation: "process"
                  | "none"
                  | "container"
                  | "virtual-machine";
                  platform: string;
              }
              | null;
          evidence_id: string;
          evidence_links: string[];
          limitations: string[];
          locations: (
              | { address: string; kind: "address" }
              | { end: string; kind: "address-range"; start: string }
              | { kind: "artifact-path"; path: string }
              | { kind: "file-offset"; offset: number }
              | { end: number; kind: "file-offset-range"; start: number }
          )[];
          normalized_result: JSONType;
          operation: string;
          parameters: Record<string, JSONType>;
          predicate_type: string;
          provider: { id: string; name: string; version: string | null };
          raw_result: JSONType;
          schema_version: 2;
          subject:
              | {
                  architecture: "x86"
                  | "x86_64"
                  | "arm"
                  | "arm64"
                  | null;
                  digest: { sha256: string };
                  format:
                      | "unknown"
                      | "file"
                      | "directory"
                      | "javascript"
                      | "source-map"
                      | "plist"
                      | "entitlements"
                      | "dmg"
                      | "zip"
                      | "pkg"
                      | "asar"
                      | "javascript-bundle"
                      | "mach-o-universal"
                      | "mach-o"
                      | "elf"
                      | "pe"
                      | "hopper"
                      | "analysis-database"
                      | "ipa"
                      | "apk"
                      | "dex"
                      | "jvm-class"
                      | "webassembly"
                      | "android-manifest"
                      | "android-resources";
                  local_path: string;
                  name: string;
              }
              | null;
      }
      | {
          authority: | "shipped-artifact"
          | "controlled-replay"
          | "historical-reference"
          | "external-service"
          | "analyst-inference";
          confidence: "observed"
          | "derived"
          | "inferred";
          environment:
              | {
                  architecture: string;
                  id: string;
                  isolation: "process"
                  | "none"
                  | "container"
                  | "virtual-machine";
                  platform: string;
              }
              | null;
          evidence_id: string;
          evidence_links: string[];
          limitations: string[];
          locations: (
              | { address: string; kind: "address" }
              | { end: string; kind: "address-range"; start: string }
              | { kind: "artifact-path"; path: string }
              | { kind: "file-offset"; offset: number }
              | { end: number; kind: "file-offset-range"; start: number }
          )[];
          normalized_result: JSONType;
          operation: string;
          parameters: Record<string, JSONType>;
          predicate_type: string;
          provider: { id: string; name: string; version: string | null };
          raw_result: JSONType;
          schema_version: 2;
          subject:
              | {
                  architecture: "x86"
                  | "x86_64"
                  | "arm"
                  | "arm64"
                  | null;
                  digest: { sha256: string };
                  format:
                      | "unknown"
                      | "file"
                      | "directory"
                      | "javascript"
                      | "source-map"
                      | "plist"
                      | "entitlements"
                      | "dmg"
                      | "zip"
                      | "pkg"
                      | "asar"
                      | "javascript-bundle"
                      | "mach-o-universal"
                      | "mach-o"
                      | "elf"
                      | "pe"
                      | "hopper"
                      | "analysis-database"
                      | "ipa"
                      | "apk"
                      | "dex"
                      | "jvm-class"
                      | "webassembly"
                      | "android-manifest"
                      | "android-resources";
                  local_path: string;
                  name: string;
              }
              | null;
      }
Returns Result<"added" | "duplicate", EvidenceIntegrityError | EvidenceLimitError>
Implementation of BinarySessionPort.recordEvidence
- Defined in src/application/BinarySession.ts:199

recordEvidenceWithUnknown

recordEvidenceWithUnknown(
    evidence:
        | {
            analysis_profile: {
                digest: string;
                parameters: Record<string, JSONType>;
                provider: { id: string; name: string; version: string };
                provider_profile_schema_version: number;
                schema_version: 1;
            };
            authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference";
            confidence: "observed"
            | "derived"
            | "inferred";
            environment:
                | {
                    architecture: string;
                    id: string;
                    isolation: "process"
                    | "none"
                    | "container"
                    | "virtual-machine";
                    platform: string;
                }
                | null;
            evidence_id: string;
            evidence_links: string[];
            limitations: string[];
            locations: (
                | { address: string; kind: "address" }
                | { end: string; kind: "address-range"; start: string }
                | { kind: "artifact-path"; path: string }
                | { kind: "file-offset"; offset: number }
                | { end: number; kind: "file-offset-range"; start: number }
            )[];
            normalized_result: JSONType;
            operation: string;
            parameters: Record<string, JSONType>;
            predicate_type: string;
            provider: { id: string; name: string; version: string | null };
            raw_result: JSONType;
            schema_version: 2;
            subject:
                | {
                    architecture: "x86"
                    | "x86_64"
                    | "arm"
                    | "arm64"
                    | null;
                    digest: { sha256: string };
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    local_path: string;
                    name: string;
                }
                | null;
        }
        | {
            authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference";
            confidence: "observed"
            | "derived"
            | "inferred";
            environment:
                | {
                    architecture: string;
                    id: string;
                    isolation: "process"
                    | "none"
                    | "container"
                    | "virtual-machine";
                    platform: string;
                }
                | null;
            evidence_id: string;
            evidence_links: string[];
            limitations: string[];
            locations: (
                | { address: string; kind: "address" }
                | { end: string; kind: "address-range"; start: string }
                | { kind: "artifact-path"; path: string }
                | { kind: "file-offset"; offset: number }
                | { end: number; kind: "file-offset-range"; start: number }
            )[];
            normalized_result: JSONType;
            operation: string;
            parameters: Record<string, JSONType>;
            predicate_type: string;
            provider: { id: string; name: string; version: string | null };
            raw_result: JSONType;
            schema_version: 2;
            subject:
                | {
                    architecture: "x86"
                    | "x86_64"
                    | "arm"
                    | "arm64"
                    | null;
                    digest: { sha256: string };
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    local_path: string;
                    name: string;
                }
                | null;
        },
    input: {
        approved: true;
        contradicting_evidence_ids: string[];
        domain: string;
        question: string;
        recommended_probes: { operation: string; rationale: string }[];
        relationships: {
            type: "depends-on" | "related-to" | "contradicts";
            unknown_id: string;
        }[];
        required_authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference"
        | null;
        required_confidence: "observed"
        | "derived"
        | "inferred";
        required_environment:
            | {
                architecture: string
                | null;
                id: string | null;
                isolation: "process" | "none" | "container" | "virtual-machine" | null;
                platform: string | null;
            }
            | null;
        severity: "low"
        | "medium"
        | "high"
        | "critical";
        supporting_evidence_ids: string[];
    },
): Result<
    | {
        contradicting_evidence_ids: string[];
        domain: string;
        mutation_evidence_ids: string[];
        previous_revision_digest: string
        | null;
        question: string;
        recommended_probes: { operation: string; rationale: string }[];
        registry_version: 1;
        relationships: {
            type: "depends-on" | "related-to" | "contradicts";
            unknown_id: string;
        }[];
        required_authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference"
        | null;
        required_confidence: "observed"
        | "derived"
        | "inferred";
        required_environment:
            | {
                architecture: string
                | null;
                id: string | null;
                isolation: "process" | "none" | "container" | "virtual-machine" | null;
                platform: string | null;
            }
            | null;
        resolution: | {
            disposition: "verified";
            evidence_ids: string[];
            rationale: string;
        }
        | {
            disposition: "withdrawn"
            | "out-of-scope";
            evidence_ids: string[];
            rationale: string;
        }
        | null;
        revision: number;
        revision_digest: string;
        scope_digest: string
        | null;
        severity: "low" | "medium" | "high" | "critical";
        status: "open" | "investigating" | "blocked" | "contradicted" | "resolved";
        supporting_evidence_ids: string[];
        unknown_id: string;
    }
    | null,
    AnalysisError,
>
Atomically record derived Evidence and its approved residual unknown.
Parameters
- evidence:
      | {
          analysis_profile: {
              digest: string;
              parameters: Record<string, JSONType>;
              provider: { id: string; name: string; version: string };
              provider_profile_schema_version: number;
              schema_version: 1;
          };
          authority: | "shipped-artifact"
          | "controlled-replay"
          | "historical-reference"
          | "external-service"
          | "analyst-inference";
          confidence: "observed"
          | "derived"
          | "inferred";
          environment:
              | {
                  architecture: string;
                  id: string;
                  isolation: "process"
                  | "none"
                  | "container"
                  | "virtual-machine";
                  platform: string;
              }
              | null;
          evidence_id: string;
          evidence_links: string[];
          limitations: string[];
          locations: (
              | { address: string; kind: "address" }
              | { end: string; kind: "address-range"; start: string }
              | { kind: "artifact-path"; path: string }
              | { kind: "file-offset"; offset: number }
              | { end: number; kind: "file-offset-range"; start: number }
          )[];
          normalized_result: JSONType;
          operation: string;
          parameters: Record<string, JSONType>;
          predicate_type: string;
          provider: { id: string; name: string; version: string | null };
          raw_result: JSONType;
          schema_version: 2;
          subject:
              | {
                  architecture: "x86"
                  | "x86_64"
                  | "arm"
                  | "arm64"
                  | null;
                  digest: { sha256: string };
                  format:
                      | "unknown"
                      | "file"
                      | "directory"
                      | "javascript"
                      | "source-map"
                      | "plist"
                      | "entitlements"
                      | "dmg"
                      | "zip"
                      | "pkg"
                      | "asar"
                      | "javascript-bundle"
                      | "mach-o-universal"
                      | "mach-o"
                      | "elf"
                      | "pe"
                      | "hopper"
                      | "analysis-database"
                      | "ipa"
                      | "apk"
                      | "dex"
                      | "jvm-class"
                      | "webassembly"
                      | "android-manifest"
                      | "android-resources";
                  local_path: string;
                  name: string;
              }
              | null;
      }
      | {
          authority: | "shipped-artifact"
          | "controlled-replay"
          | "historical-reference"
          | "external-service"
          | "analyst-inference";
          confidence: "observed"
          | "derived"
          | "inferred";
          environment:
              | {
                  architecture: string;
                  id: string;
                  isolation: "process"
                  | "none"
                  | "container"
                  | "virtual-machine";
                  platform: string;
              }
              | null;
          evidence_id: string;
          evidence_links: string[];
          limitations: string[];
          locations: (
              | { address: string; kind: "address" }
              | { end: string; kind: "address-range"; start: string }
              | { kind: "artifact-path"; path: string }
              | { kind: "file-offset"; offset: number }
              | { end: number; kind: "file-offset-range"; start: number }
          )[];
          normalized_result: JSONType;
          operation: string;
          parameters: Record<string, JSONType>;
          predicate_type: string;
          provider: { id: string; name: string; version: string | null };
          raw_result: JSONType;
          schema_version: 2;
          subject:
              | {
                  architecture: "x86"
                  | "x86_64"
                  | "arm"
                  | "arm64"
                  | null;
                  digest: { sha256: string };
                  format:
                      | "unknown"
                      | "file"
                      | "directory"
                      | "javascript"
                      | "source-map"
                      | "plist"
                      | "entitlements"
                      | "dmg"
                      | "zip"
                      | "pkg"
                      | "asar"
                      | "javascript-bundle"
                      | "mach-o-universal"
                      | "mach-o"
                      | "elf"
                      | "pe"
                      | "hopper"
                      | "analysis-database"
                      | "ipa"
                      | "apk"
                      | "dex"
                      | "jvm-class"
                      | "webassembly"
                      | "android-manifest"
                      | "android-resources";
                  local_path: string;
                  name: string;
              }
              | null;
      }
- input: {
      approved: true;
      contradicting_evidence_ids: string[];
      domain: string;
      question: string;
      recommended_probes: { operation: string; rationale: string }[];
      relationships: {
          type: "depends-on" | "related-to" | "contradicts";
          unknown_id: string;
      }[];
      required_authority: | "shipped-artifact"
      | "controlled-replay"
      | "historical-reference"
      | "external-service"
      | "analyst-inference"
      | null;
      required_confidence: "observed"
      | "derived"
      | "inferred";
      required_environment:
          | {
              architecture: string
              | null;
              id: string | null;
              isolation: "process" | "none" | "container" | "virtual-machine" | null;
              platform: string | null;
          }
          | null;
      severity: "low"
      | "medium"
      | "high"
      | "critical";
      supporting_evidence_ids: string[];
  }
Returns Result<
    | {
        contradicting_evidence_ids: string[];
        domain: string;
        mutation_evidence_ids: string[];
        previous_revision_digest: string
        | null;
        question: string;
        recommended_probes: { operation: string; rationale: string }[];
        registry_version: 1;
        relationships: {
            type: "depends-on" | "related-to" | "contradicts";
            unknown_id: string;
        }[];
        required_authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference"
        | null;
        required_confidence: "observed"
        | "derived"
        | "inferred";
        required_environment:
            | {
                architecture: string
                | null;
                id: string | null;
                isolation: "process" | "none" | "container" | "virtual-machine" | null;
                platform: string | null;
            }
            | null;
        resolution: | {
            disposition: "verified";
            evidence_ids: string[];
            rationale: string;
        }
        | {
            disposition: "withdrawn"
            | "out-of-scope";
            evidence_ids: string[];
            rationale: string;
        }
        | null;
        revision: number;
        revision_digest: string;
        scope_digest: string
        | null;
        severity: "low" | "medium" | "high" | "critical";
        status: "open" | "investigating" | "blocked" | "contradicted" | "resolved";
        supporting_evidence_ids: string[];
        unknown_id: string;
    }
    | null,
    AnalysisError,
>
Implementation of BinarySessionPort.recordEvidenceWithUnknown
- Defined in src/application/BinarySession.ts:350

recordUnknown

recordUnknown(
    input: {
        approved: true;
        contradicting_evidence_ids: string[];
        domain: string;
        question: string;
        recommended_probes: { operation: string; rationale: string }[];
        relationships: {
            type: "depends-on" | "related-to" | "contradicts";
            unknown_id: string;
        }[];
        required_authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference"
        | null;
        required_confidence: "observed"
        | "derived"
        | "inferred";
        required_environment:
            | {
                architecture: string
                | null;
                id: string | null;
                isolation: "process" | "none" | "container" | "virtual-machine" | null;
                platform: string | null;
            }
            | null;
        severity: "low"
        | "medium"
        | "high"
        | "critical";
        supporting_evidence_ids: string[];
    },
): Result<
    {
        contradicting_evidence_ids: string[];
        domain: string;
        mutation_evidence_ids: string[];
        previous_revision_digest: string
        | null;
        question: string;
        recommended_probes: { operation: string; rationale: string }[];
        registry_version: 1;
        relationships: {
            type: "depends-on" | "related-to" | "contradicts";
            unknown_id: string;
        }[];
        required_authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference"
        | null;
        required_confidence: "observed"
        | "derived"
        | "inferred";
        required_environment:
            | {
                architecture: string
                | null;
                id: string | null;
                isolation: "process" | "none" | "container" | "virtual-machine" | null;
                platform: string | null;
            }
            | null;
        resolution: | {
            disposition: "verified";
            evidence_ids: string[];
            rationale: string;
        }
        | {
            disposition: "withdrawn"
            | "out-of-scope";
            evidence_ids: string[];
            rationale: string;
        }
        | null;
        revision: number;
        revision_digest: string;
        scope_digest: string
        | null;
        severity: "low" | "medium" | "high" | "critical";
        status: "open" | "investigating" | "blocked" | "contradicted" | "resolved";
        supporting_evidence_ids: string[];
        unknown_id: string;
    },
    AnalysisError,
>
Create an approved residual unknown and immutable mutation evidence.
Parameters
- input: {
      approved: true;
      contradicting_evidence_ids: string[];
      domain: string;
      question: string;
      recommended_probes: { operation: string; rationale: string }[];
      relationships: {
          type: "depends-on" | "related-to" | "contradicts";
          unknown_id: string;
      }[];
      required_authority: | "shipped-artifact"
      | "controlled-replay"
      | "historical-reference"
      | "external-service"
      | "analyst-inference"
      | null;
      required_confidence: "observed"
      | "derived"
      | "inferred";
      required_environment:
          | {
              architecture: string
              | null;
              id: string | null;
              isolation: "process" | "none" | "container" | "virtual-machine" | null;
              platform: string | null;
          }
          | null;
      severity: "low"
      | "medium"
      | "high"
      | "critical";
      supporting_evidence_ids: string[];
  }
Returns Result<
    {
        contradicting_evidence_ids: string[];
        domain: string;
        mutation_evidence_ids: string[];
        previous_revision_digest: string
        | null;
        question: string;
        recommended_probes: { operation: string; rationale: string }[];
        registry_version: 1;
        relationships: {
            type: "depends-on" | "related-to" | "contradicts";
            unknown_id: string;
        }[];
        required_authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference"
        | null;
        required_confidence: "observed"
        | "derived"
        | "inferred";
        required_environment:
            | {
                architecture: string
                | null;
                id: string | null;
                isolation: "process" | "none" | "container" | "virtual-machine" | null;
                platform: string | null;
            }
            | null;
        resolution: | {
            disposition: "verified";
            evidence_ids: string[];
            rationale: string;
        }
        | {
            disposition: "withdrawn"
            | "out-of-scope";
            evidence_ids: string[];
            rationale: string;
        }
        | null;
        revision: number;
        revision_digest: string;
        scope_digest: string
        | null;
        severity: "low" | "medium" | "high" | "critical";
        status: "open" | "investigating" | "blocked" | "contradicted" | "resolved";
        supporting_evidence_ids: string[];
        unknown_id: string;
    },
    AnalysisError,
>
Implementation of BinarySessionPort.recordUnknown
- Defined in src/application/BinarySession.ts:342

retainInvestigationWorkspace

retainInvestigationWorkspace(
    workspace: {
        bundle: {
            artifacts: {
                architecture: "x86" | "x86_64" | "arm" | "arm64" | null;
                digest: { sha256: string };
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
            }[];
            bundle_version: 2;
            captures: { evidence_id: string; predicate_type: string }[];
            environments: {
                architecture: string;
                id: string;
                isolation: "process" | "none" | "container" | "virtual-machine";
                platform: string;
            }[];
            providers: { id: string; name: string; version: string
            | null }[];
            records: (
                | {
                    analysis_profile: {
                        digest: string;
                        parameters: Record<string, JSONType>;
                        provider: { id: string; name: string; version: string };
                        provider_profile_schema_version: number;
                        schema_version: 1;
                    };
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
                | {
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
            )[];
            scenarios: {
                authority: "controlled-replay";
                evidence_id: string;
                operation: string;
            }[];
            unknowns: {
                contradicting_evidence_ids: string[];
                domain: string;
                mutation_evidence_ids: string[];
                previous_revision_digest: string
                | null;
                question: string;
                recommended_probes: { operation: string; rationale: string }[];
                registry_version: 1;
                relationships: {
                    type: "depends-on" | "related-to" | "contradicts";
                    unknown_id: string;
                }[];
                required_authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference"
                | null;
                required_confidence: "observed"
                | "derived"
                | "inferred";
                required_environment:
                    | {
                        architecture: string
                        | null;
                        id: string | null;
                        isolation: "process" | "none" | "container" | "virtual-machine" | null;
                        platform: string | null;
                    }
                    | null;
                resolution: | {
                    disposition: "verified";
                    evidence_ids: string[];
                    rationale: string;
                }
                | {
                    disposition: "withdrawn"
                    | "out-of-scope";
                    evidence_ids: string[];
                    rationale: string;
                }
                | null;
                revision: number;
                revision_digest: string;
                scope_digest: string
                | null;
                severity: "low" | "medium" | "high" | "critical";
                status:
                    | "open"
                    | "investigating"
                    | "blocked"
                    | "contradicted"
                    | "resolved";
                supporting_evidence_ids: string[];
                unknown_id: string;
            }[];
        };
        name: string;
        previous_revision_digest: string
        | null;
        revision: number;
        revision_digest: string;
        runs: (
            | {
                comparison_evidence_id: string
                | null;
                completed_stages: (
                    | "inventory_left"
                    | "inventory_right"
                    | "compare_artifacts"
                    | "find_changed_behavior"
                )[];
                integrity_continue_approved: boolean;
                integrity_policy: "fail"
                | "record-and-continue";
                left: {
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    graph_sha256: string;
                    manifest_id: string;
                    root_sha256: string;
                };
                left_inventory_evidence_ids: string[];
                limitations: string[];
                max_integrity_mismatches: number;
                options: {
                    change_limit: number;
                    max_compression_ratio: number;
                    max_depth: number;
                    max_entries: number;
                    max_entry_bytes: number;
                    max_path_bytes: number;
                    max_total_bytes: number;
                    page_size: number;
                };
                request_sha256: string;
                result_evidence_id: string
                | null;
                right: {
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    graph_sha256: string;
                    manifest_id: string;
                    root_sha256: string;
                };
                right_inventory_evidence_ids: string[];
                run_id: string;
                schema_version: 1;
                status: "complete"
                | "running";
            }
            | {
                comparison_evidence_id: string
                | null;
                completed_stages: (
                    | "inventory_left"
                    | "inventory_right"
                    | "compare_artifacts"
                    | "find_changed_behavior"
                )[];
                integrity_continue_approved: boolean;
                integrity_policy: "fail"
                | "record-and-continue";
                left: {
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    graph_sha256: string;
                    manifest_id: string;
                    root_sha256: string;
                };
                left_inventory_evidence_ids: string[];
                legacy_request_identity: true;
                limitations: string[];
                max_integrity_mismatches: number;
                options: {
                    change_limit: number;
                    max_compression_ratio: number;
                    max_depth: number;
                    max_entries: number;
                    max_entry_bytes: number;
                    max_path_bytes: number;
                    max_total_bytes: number;
                    page_size: number;
                };
                request_sha256: string;
                result_evidence_id: string
                | null;
                right: {
                    format:
                        | "unknown"
                        | "file"
                        | "directory"
                        | "javascript"
                        | "source-map"
                        | "plist"
                        | "entitlements"
                        | "dmg"
                        | "zip"
                        | "pkg"
                        | "asar"
                        | "javascript-bundle"
                        | "mach-o-universal"
                        | "mach-o"
                        | "elf"
                        | "pe"
                        | "hopper"
                        | "analysis-database"
                        | "ipa"
                        | "apk"
                        | "dex"
                        | "jvm-class"
                        | "webassembly"
                        | "android-manifest"
                        | "android-resources";
                    graph_sha256: string;
                    manifest_id: string;
                    root_sha256: string;
                };
                right_inventory_evidence_ids: string[];
                run_id: string;
                schema_version: 1;
                status: "complete"
                | "running";
            }
        )[];
        workspace_id: string;
        workspace_version: 1;
    },
): "added"
| "duplicate"
Retain one validated immutable workspace revision for session resources.
Parameters
- workspace: {
      bundle: {
          artifacts: {
              architecture: "x86" | "x86_64" | "arm" | "arm64" | null;
              digest: { sha256: string };
              format:
                  | "unknown"
                  | "file"
                  | "directory"
                  | "javascript"
                  | "source-map"
                  | "plist"
                  | "entitlements"
                  | "dmg"
                  | "zip"
                  | "pkg"
                  | "asar"
                  | "javascript-bundle"
                  | "mach-o-universal"
                  | "mach-o"
                  | "elf"
                  | "pe"
                  | "hopper"
                  | "analysis-database"
                  | "ipa"
                  | "apk"
                  | "dex"
                  | "jvm-class"
                  | "webassembly"
                  | "android-manifest"
                  | "android-resources";
          }[];
          bundle_version: 2;
          captures: { evidence_id: string; predicate_type: string }[];
          environments: {
              architecture: string;
              id: string;
              isolation: "process" | "none" | "container" | "virtual-machine";
              platform: string;
          }[];
          providers: { id: string; name: string; version: string
          | null }[];
          records: (
              | {
                  analysis_profile: {
                      digest: string;
                      parameters: Record<string, JSONType>;
                      provider: { id: string; name: string; version: string };
                      provider_profile_schema_version: number;
                      schema_version: 1;
                  };
                  authority: | "shipped-artifact"
                  | "controlled-replay"
                  | "historical-reference"
                  | "external-service"
                  | "analyst-inference";
                  confidence: "observed"
                  | "derived"
                  | "inferred";
                  environment:
                      | {
                          architecture: string;
                          id: string;
                          isolation: "process"
                          | "none"
                          | "container"
                          | "virtual-machine";
                          platform: string;
                      }
                      | null;
                  evidence_id: string;
                  evidence_links: string[];
                  limitations: string[];
                  locations: (
                      | { address: string; kind: "address" }
                      | { end: string; kind: "address-range"; start: string }
                      | { kind: "artifact-path"; path: string }
                      | { kind: "file-offset"; offset: number }
                      | { end: number; kind: "file-offset-range"; start: number }
                  )[];
                  normalized_result: JSONType;
                  operation: string;
                  parameters: Record<string, JSONType>;
                  predicate_type: string;
                  provider: { id: string; name: string; version: string | null };
                  raw_result: JSONType;
                  schema_version: 2;
                  subject:
                      | {
                          architecture: "x86"
                          | "x86_64"
                          | "arm"
                          | "arm64"
                          | null;
                          digest: { sha256: string };
                          format:
                              | "unknown"
                              | "file"
                              | "directory"
                              | "javascript"
                              | "source-map"
                              | "plist"
                              | "entitlements"
                              | "dmg"
                              | "zip"
                              | "pkg"
                              | "asar"
                              | "javascript-bundle"
                              | "mach-o-universal"
                              | "mach-o"
                              | "elf"
                              | "pe"
                              | "hopper"
                              | "analysis-database"
                              | "ipa"
                              | "apk"
                              | "dex"
                              | "jvm-class"
                              | "webassembly"
                              | "android-manifest"
                              | "android-resources";
                          local_path: string;
                          name: string;
                      }
                      | null;
              }
              | {
                  authority: | "shipped-artifact"
                  | "controlled-replay"
                  | "historical-reference"
                  | "external-service"
                  | "analyst-inference";
                  confidence: "observed"
                  | "derived"
                  | "inferred";
                  environment:
                      | {
                          architecture: string;
                          id: string;
                          isolation: "process"
                          | "none"
                          | "container"
                          | "virtual-machine";
                          platform: string;
                      }
                      | null;
                  evidence_id: string;
                  evidence_links: string[];
                  limitations: string[];
                  locations: (
                      | { address: string; kind: "address" }
                      | { end: string; kind: "address-range"; start: string }
                      | { kind: "artifact-path"; path: string }
                      | { kind: "file-offset"; offset: number }
                      | { end: number; kind: "file-offset-range"; start: number }
                  )[];
                  normalized_result: JSONType;
                  operation: string;
                  parameters: Record<string, JSONType>;
                  predicate_type: string;
                  provider: { id: string; name: string; version: string | null };
                  raw_result: JSONType;
                  schema_version: 2;
                  subject:
                      | {
                          architecture: "x86"
                          | "x86_64"
                          | "arm"
                          | "arm64"
                          | null;
                          digest: { sha256: string };
                          format:
                              | "unknown"
                              | "file"
                              | "directory"
                              | "javascript"
                              | "source-map"
                              | "plist"
                              | "entitlements"
                              | "dmg"
                              | "zip"
                              | "pkg"
                              | "asar"
                              | "javascript-bundle"
                              | "mach-o-universal"
                              | "mach-o"
                              | "elf"
                              | "pe"
                              | "hopper"
                              | "analysis-database"
                              | "ipa"
                              | "apk"
                              | "dex"
                              | "jvm-class"
                              | "webassembly"
                              | "android-manifest"
                              | "android-resources";
                          local_path: string;
                          name: string;
                      }
                      | null;
              }
          )[];
          scenarios: {
              authority: "controlled-replay";
              evidence_id: string;
              operation: string;
          }[];
          unknowns: {
              contradicting_evidence_ids: string[];
              domain: string;
              mutation_evidence_ids: string[];
              previous_revision_digest: string
              | null;
              question: string;
              recommended_probes: { operation: string; rationale: string }[];
              registry_version: 1;
              relationships: {
                  type: "depends-on" | "related-to" | "contradicts";
                  unknown_id: string;
              }[];
              required_authority: | "shipped-artifact"
              | "controlled-replay"
              | "historical-reference"
              | "external-service"
              | "analyst-inference"
              | null;
              required_confidence: "observed"
              | "derived"
              | "inferred";
              required_environment:
                  | {
                      architecture: string
                      | null;
                      id: string | null;
                      isolation: "process" | "none" | "container" | "virtual-machine" | null;
                      platform: string | null;
                  }
                  | null;
              resolution: | {
                  disposition: "verified";
                  evidence_ids: string[];
                  rationale: string;
              }
              | {
                  disposition: "withdrawn"
                  | "out-of-scope";
                  evidence_ids: string[];
                  rationale: string;
              }
              | null;
              revision: number;
              revision_digest: string;
              scope_digest: string
              | null;
              severity: "low" | "medium" | "high" | "critical";
              status:
                  | "open"
                  | "investigating"
                  | "blocked"
                  | "contradicted"
                  | "resolved";
              supporting_evidence_ids: string[];
              unknown_id: string;
          }[];
      };
      name: string;
      previous_revision_digest: string
      | null;
      revision: number;
      revision_digest: string;
      runs: (
          | {
              comparison_evidence_id: string
              | null;
              completed_stages: (
                  | "inventory_left"
                  | "inventory_right"
                  | "compare_artifacts"
                  | "find_changed_behavior"
              )[];
              integrity_continue_approved: boolean;
              integrity_policy: "fail"
              | "record-and-continue";
              left: {
                  format:
                      | "unknown"
                      | "file"
                      | "directory"
                      | "javascript"
                      | "source-map"
                      | "plist"
                      | "entitlements"
                      | "dmg"
                      | "zip"
                      | "pkg"
                      | "asar"
                      | "javascript-bundle"
                      | "mach-o-universal"
                      | "mach-o"
                      | "elf"
                      | "pe"
                      | "hopper"
                      | "analysis-database"
                      | "ipa"
                      | "apk"
                      | "dex"
                      | "jvm-class"
                      | "webassembly"
                      | "android-manifest"
                      | "android-resources";
                  graph_sha256: string;
                  manifest_id: string;
                  root_sha256: string;
              };
              left_inventory_evidence_ids: string[];
              limitations: string[];
              max_integrity_mismatches: number;
              options: {
                  change_limit: number;
                  max_compression_ratio: number;
                  max_depth: number;
                  max_entries: number;
                  max_entry_bytes: number;
                  max_path_bytes: number;
                  max_total_bytes: number;
                  page_size: number;
              };
              request_sha256: string;
              result_evidence_id: string
              | null;
              right: {
                  format:
                      | "unknown"
                      | "file"
                      | "directory"
                      | "javascript"
                      | "source-map"
                      | "plist"
                      | "entitlements"
                      | "dmg"
                      | "zip"
                      | "pkg"
                      | "asar"
                      | "javascript-bundle"
                      | "mach-o-universal"
                      | "mach-o"
                      | "elf"
                      | "pe"
                      | "hopper"
                      | "analysis-database"
                      | "ipa"
                      | "apk"
                      | "dex"
                      | "jvm-class"
                      | "webassembly"
                      | "android-manifest"
                      | "android-resources";
                  graph_sha256: string;
                  manifest_id: string;
                  root_sha256: string;
              };
              right_inventory_evidence_ids: string[];
              run_id: string;
              schema_version: 1;
              status: "complete"
              | "running";
          }
          | {
              comparison_evidence_id: string
              | null;
              completed_stages: (
                  | "inventory_left"
                  | "inventory_right"
                  | "compare_artifacts"
                  | "find_changed_behavior"
              )[];
              integrity_continue_approved: boolean;
              integrity_policy: "fail"
              | "record-and-continue";
              left: {
                  format:
                      | "unknown"
                      | "file"
                      | "directory"
                      | "javascript"
                      | "source-map"
                      | "plist"
                      | "entitlements"
                      | "dmg"
                      | "zip"
                      | "pkg"
                      | "asar"
                      | "javascript-bundle"
                      | "mach-o-universal"
                      | "mach-o"
                      | "elf"
                      | "pe"
                      | "hopper"
                      | "analysis-database"
                      | "ipa"
                      | "apk"
                      | "dex"
                      | "jvm-class"
                      | "webassembly"
                      | "android-manifest"
                      | "android-resources";
                  graph_sha256: string;
                  manifest_id: string;
                  root_sha256: string;
              };
              left_inventory_evidence_ids: string[];
              legacy_request_identity: true;
              limitations: string[];
              max_integrity_mismatches: number;
              options: {
                  change_limit: number;
                  max_compression_ratio: number;
                  max_depth: number;
                  max_entries: number;
                  max_entry_bytes: number;
                  max_path_bytes: number;
                  max_total_bytes: number;
                  page_size: number;
              };
              request_sha256: string;
              result_evidence_id: string
              | null;
              right: {
                  format:
                      | "unknown"
                      | "file"
                      | "directory"
                      | "javascript"
                      | "source-map"
                      | "plist"
                      | "entitlements"
                      | "dmg"
                      | "zip"
                      | "pkg"
                      | "asar"
                      | "javascript-bundle"
                      | "mach-o-universal"
                      | "mach-o"
                      | "elf"
                      | "pe"
                      | "hopper"
                      | "analysis-database"
                      | "ipa"
                      | "apk"
                      | "dex"
                      | "jvm-class"
                      | "webassembly"
                      | "android-manifest"
                      | "android-resources";
                  graph_sha256: string;
                  manifest_id: string;
                  root_sha256: string;
              };
              right_inventory_evidence_ids: string[];
              run_id: string;
              schema_version: 1;
              status: "complete"
              | "running";
          }
      )[];
      workspace_id: string;
      workspace_version: 1;
  }
Returns "added" | "duplicate"
Implementation of BinarySessionPort.retainInvestigationWorkspace
- Defined in src/application/BinarySession.ts:276

retainReconstructionCoverageWorkspace

retainReconstructionCoverageWorkspace(
    workspace: {
        artifacts: {
            artifact_id: string;
            artifact_sha256: string;
            environment_sha256: string;
            evidence_ids: string[];
            version: string;
        }[];
        boundaries: {
            allowed_dispositions: ("external" | "non-goal")[];
            allowed_unknown_ids: string[];
            boundary_id: string;
            required_claim_ids: string[];
            required_package_proof_kinds: (
                | "build"
                | "clean-install"
                | "package-contents"
                | "runtime-routing"
                | "authority-independence"
            )[];
            required_surface_ids: string[];
            title: string;
        }[];
        claims: {
            claim_id: string;
            kind: string;
            required_authority: | "external"
            | "shipped-artifact"
            | "controlled-replay"
            | "live-observation";
            required_dimensions: string[];
            surface_ids: string[];
            title: string;
        }[];
        contradictions: {
            claim_ids: string[];
            contradiction_id: string;
            evidence_ids: string[];
            status: "resolved"
            | "active";
            surface_ids: string[];
        }[];
        evidence_bundle: {
            artifacts: {
                architecture: "x86"
                | "x86_64"
                | "arm"
                | "arm64"
                | null;
                digest: { sha256: string };
                format:
                    | "unknown"
                    | "file"
                    | "directory"
                    | "javascript"
                    | "source-map"
                    | "plist"
                    | "entitlements"
                    | "dmg"
                    | "zip"
                    | "pkg"
                    | "asar"
                    | "javascript-bundle"
                    | "mach-o-universal"
                    | "mach-o"
                    | "elf"
                    | "pe"
                    | "hopper"
                    | "analysis-database"
                    | "ipa"
                    | "apk"
                    | "dex"
                    | "jvm-class"
                    | "webassembly"
                    | "android-manifest"
                    | "android-resources";
            }[];
            bundle_version: 2;
            captures: { evidence_id: string; predicate_type: string }[];
            environments: {
                architecture: string;
                id: string;
                isolation: "process" | "none" | "container" | "virtual-machine";
                platform: string;
            }[];
            providers: { id: string; name: string; version: string
            | null }[];
            records: (
                | {
                    analysis_profile: {
                        digest: string;
                        parameters: Record<string, JSONType>;
                        provider: { id: string; name: string; version: string };
                        provider_profile_schema_version: number;
                        schema_version: 1;
                    };
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
                | {
                    authority: | "shipped-artifact"
                    | "controlled-replay"
                    | "historical-reference"
                    | "external-service"
                    | "analyst-inference";
                    confidence: "observed"
                    | "derived"
                    | "inferred";
                    environment:
                        | {
                            architecture: string;
                            id: string;
                            isolation: "process"
                            | "none"
                            | "container"
                            | "virtual-machine";
                            platform: string;
                        }
                        | null;
                    evidence_id: string;
                    evidence_links: string[];
                    limitations: string[];
                    locations: (
                        | { address: string; kind: "address" }
                        | { end: string; kind: "address-range"; start: string }
                        | { kind: "artifact-path"; path: string }
                        | { kind: "file-offset"; offset: number }
                        | { end: number; kind: "file-offset-range"; start: number }
                    )[];
                    normalized_result: JSONType;
                    operation: string;
                    parameters: Record<string, JSONType>;
                    predicate_type: string;
                    provider: { id: string; name: string; version: string | null };
                    raw_result: JSONType;
                    schema_version: 2;
                    subject:
                        | {
                            architecture: "x86"
                            | "x86_64"
                            | "arm"
                            | "arm64"
                            | null;
                            digest: { sha256: string };
                            format:
                                | "unknown"
                                | "file"
                                | "directory"
                                | "javascript"
                                | "source-map"
                                | "plist"
                                | "entitlements"
                                | "dmg"
                                | "zip"
                                | "pkg"
                                | "asar"
                                | "javascript-bundle"
                                | "mach-o-universal"
                                | "mach-o"
                                | "elf"
                                | "pe"
                                | "hopper"
                                | "analysis-database"
                                | "ipa"
                                | "apk"
                                | "dex"
                                | "jvm-class"
                                | "webassembly"
                                | "android-manifest"
                                | "android-resources";
                            local_path: string;
                            name: string;
                        }
                        | null;
                }
            )[];
            scenarios: {
                authority: "controlled-replay";
                evidence_id: string;
                operation: string;
            }[];
            unknowns: {
                contradicting_evidence_ids: string[];
                domain: string;
                mutation_evidence_ids: string[];
                previous_revision_digest: string
                | null;
                question: string;
                recommended_probes: { operation: string; rationale: string }[];
                registry_version: 1;
                relationships: {
                    type: "depends-on" | "related-to" | "contradicts";
                    unknown_id: string;
                }[];
                required_authority: | "shipped-artifact"
                | "controlled-replay"
                | "historical-reference"
                | "external-service"
                | "analyst-inference"
                | null;
                required_confidence: "observed"
                | "derived"
                | "inferred";
                required_environment:
                    | {
                        architecture: string
                        | null;
                        id: string | null;
                        isolation: "process" | "none" | "container" | "virtual-machine" | null;
                        platform: string | null;
                    }
                    | null;
                resolution: | {
                    disposition: "verified";
                    evidence_ids: string[];
                    rationale: string;
                }
                | {
                    disposition: "withdrawn"
                    | "out-of-scope";
                    evidence_ids: string[];
                    rationale: string;
                }
                | null;
                revision: number;
                revision_digest: string;
                scope_digest: string
                | null;
                severity: "low" | "medium" | "high" | "critical";
                status:
                    | "open"
                    | "investigating"
                    | "blocked"
                    | "contradicted"
                    | "resolved";
                supporting_evidence_ids: string[];
                unknown_id: string;
            }[];
        };
        name: string;
        owners: {
            ownership: | {
                authority_route: "unknown"
                | "none"
                | "detected";
                disposition: "implemented";
                owner_export: string | null;
                owner_path: string;
                owner_sha256: string;
                package_state: "unknown" | "missing" | "distributed";
                path_state: "unknown" | "missing" | "present";
            }
            | { disposition: "external"
            | "non-goal"; rationale: string };
            surface_id: string;
        }[];
        package_proofs: {
            artifact_sha256s: string[];
            evidence_ids: string[];
            kind: | "build"
            | "clean-install"
            | "package-contents"
            | "runtime-routing"
            | "authority-independence";
            proof_id: string;
            status: "unknown"
            | "fail"
            | "pass"
            | "unsupported"
            | "skipped";
        }[];
        previous_revision_sha256: string
        | null;
        residual_unknown_ids: string[];
        revision: number;
        revision_sha256: string;
        schema_version: 1;
        surfaces: {
            artifact_id: string;
            authority:
                | "external"
                | "observed"
                | "derived"
                | "inferred"
                | "historical";
            dependency_surface_ids: string[];
            evidence_ids: string[];
            family: string;
            location: string;
            occurrence_id: string
            | null;
            surface_id: string;
        }[];
        verifier_contracts: {
            authority: | "external"
            | "shipped-artifact"
            | "controlled-replay"
            | "live-observation";
            claim_ids: string[];
            contract_sha256: string;
            dimensions: string[];
            max_age_ms: number;
            minimum_repeats: number;
            normalization_removes_dimensions: false;
            normalization_sha256: string;
            verifier_id: string;
        }[];
        verifier_results: {
            artifact_sha256s: string[];
            contract_sha256: string;
            covered_claim_ids: string[];
            covered_dimensions: string[];
            evidence_ids: string[];
            normalization_sha256: string;
            observed_at: string;
            owner_sha256s: string[];
            repeats: number;
            status: | "unknown"
            | "truncated"
            | "fail"
            | "pass"
            | "unsupported"
            | "skipped";
            verifier_id: string;
        }[];
        workspace_id: string;
    },
): "added"
| "duplicate"
Retain one validated immutable reconstruction coverage revision.
Parameters
- workspace: {
      artifacts: {
          artifact_id: string;
          artifact_sha256: string;
          environment_sha256: string;
          evidence_ids: string[];
          version: string;
      }[];
      boundaries: {
          allowed_dispositions: ("external" | "non-goal")[];
          allowed_unknown_ids: string[];
          boundary_id: string;
          required_claim_ids: string[];
          required_package_proof_kinds: (
              | "build"
              | "clean-install"
              | "package-contents"
              | "runtime-routing"
              | "authority-independence"
          )[];
          required_surface_ids: string[];
          title: string;
      }[];
      claims: {
          claim_id: string;
          kind: string;
          required_authority: | "external"
          | "shipped-artifact"
          | "controlled-replay"
          | "live-observation";
          required_dimensions: string[];
          surface_ids: string[];
          title: string;
      }[];
      contradictions: {
          claim_ids: string[];
          contradiction_id: string;
          evidence_ids: string[];
          status: "resolved"
          | "active";
          surface_ids: string[];
      }[];
      evidence_bundle: {
          artifacts: {
              architecture: "x86"
              | "x86_64"
              | "arm"
              | "arm64"
              | null;
              digest: { sha256: string };
              format:
                  | "unknown"
                  | "file"
                  | "directory"
                  | "javascript"
                  | "source-map"
                  | "plist"
                  | "entitlements"
                  | "dmg"
                  | "zip"
                  | "pkg"
                  | "asar"
                  | "javascript-bundle"
                  | "mach-o-universal"
                  | "mach-o"
                  | "elf"
                  | "pe"
                  | "hopper"
                  | "analysis-database"
                  | "ipa"
                  | "apk"
                  | "dex"
                  | "jvm-class"
                  | "webassembly"
                  | "android-manifest"
                  | "android-resources";
          }[];
          bundle_version: 2;
          captures: { evidence_id: string; predicate_type: string }[];
          environments: {
              architecture: string;
              id: string;
              isolation: "process" | "none" | "container" | "virtual-machine";
              platform: string;
          }[];
          providers: { id: string; name: string; version: string
          | null }[];
          records: (
              | {
                  analysis_profile: {
                      digest: string;
                      parameters: Record<string, JSONType>;
                      provider: { id: string; name: string; version: string };
                      provider_profile_schema_version: number;
                      schema_version: 1;
                  };
                  authority: | "shipped-artifact"
                  | "controlled-replay"
                  | "historical-reference"
                  | "external-service"
                  | "analyst-inference";
                  confidence: "observed"
                  | "derived"
                  | "inferred";
                  environment:
                      | {
                          architecture: string;
                          id: string;
                          isolation: "process"
                          | "none"
                          | "container"
                          | "virtual-machine";
                          platform: string;
                      }
                      | null;
                  evidence_id: string;
                  evidence_links: string[];
                  limitations: string[];
                  locations: (
                      | { address: string; kind: "address" }
                      | { end: string; kind: "address-range"; start: string }
                      | { kind: "artifact-path"; path: string }
                      | { kind: "file-offset"; offset: number }
                      | { end: number; kind: "file-offset-range"; start: number }
                  )[];
                  normalized_result: JSONType;
                  operation: string;
                  parameters: Record<string, JSONType>;
                  predicate_type: string;
                  provider: { id: string; name: string; version: string | null };
                  raw_result: JSONType;
                  schema_version: 2;
                  subject:
                      | {
                          architecture: "x86"
                          | "x86_64"
                          | "arm"
                          | "arm64"
                          | null;
                          digest: { sha256: string };
                          format:
                              | "unknown"
                              | "file"
                              | "directory"
                              | "javascript"
                              | "source-map"
                              | "plist"
                              | "entitlements"
                              | "dmg"
                              | "zip"
                              | "pkg"
                              | "asar"
                              | "javascript-bundle"
                              | "mach-o-universal"
                              | "mach-o"
                              | "elf"
                              | "pe"
                              | "hopper"
                              | "analysis-database"
                              | "ipa"
                              | "apk"
                              | "dex"
                              | "jvm-class"
                              | "webassembly"
                              | "android-manifest"
                              | "android-resources";
                          local_path: string;
                          name: string;
                      }
                      | null;
              }
              | {
                  authority: | "shipped-artifact"
                  | "controlled-replay"
                  | "historical-reference"
                  | "external-service"
                  | "analyst-inference";
                  confidence: "observed"
                  | "derived"
                  | "inferred";
                  environment:
                      | {
                          architecture: string;
                          id: string;
                          isolation: "process"
                          | "none"
                          | "container"
                          | "virtual-machine";
                          platform: string;
                      }
                      | null;
                  evidence_id: string;
                  evidence_links: string[];
                  limitations: string[];
                  locations: (
                      | { address: string; kind: "address" }
                      | { end: string; kind: "address-range"; start: string }
                      | { kind: "artifact-path"; path: string }
                      | { kind: "file-offset"; offset: number }
                      | { end: number; kind: "file-offset-range"; start: number }
                  )[];
                  normalized_result: JSONType;
                  operation: string;
                  parameters: Record<string, JSONType>;
                  predicate_type: string;
                  provider: { id: string; name: string; version: string | null };
                  raw_result: JSONType;
                  schema_version: 2;
                  subject:
                      | {
                          architecture: "x86"
                          | "x86_64"
                          | "arm"
                          | "arm64"
                          | null;
                          digest: { sha256: string };
                          format:
                              | "unknown"
                              | "file"
                              | "directory"
                              | "javascript"
                              | "source-map"
                              | "plist"
                              | "entitlements"
                              | "dmg"
                              | "zip"
                              | "pkg"
                              | "asar"
                              | "javascript-bundle"
                              | "mach-o-universal"
                              | "mach-o"
                              | "elf"
                              | "pe"
                              | "hopper"
                              | "analysis-database"
                              | "ipa"
                              | "apk"
                              | "dex"
                              | "jvm-class"
                              | "webassembly"
                              | "android-manifest"
                              | "android-resources";
                          local_path: string;
                          name: string;
                      }
                      | null;
              }
          )[];
          scenarios: {
              authority: "controlled-replay";
              evidence_id: string;
              operation: string;
          }[];
          unknowns: {
              contradicting_evidence_ids: string[];
              domain: string;
              mutation_evidence_ids: string[];
              previous_revision_digest: string
              | null;
              question: string;
              recommended_probes: { operation: string; rationale: string }[];
              registry_version: 1;
              relationships: {
                  type: "depends-on" | "related-to" | "contradicts";
                  unknown_id: string;
              }[];
              required_authority: | "shipped-artifact"
              | "controlled-replay"
              | "historical-reference"
              | "external-service"
              | "analyst-inference"
              | null;
              required_confidence: "observed"
              | "derived"
              | "inferred";
              required_environment:
                  | {
                      architecture: string
                      | null;
                      id: string | null;
                      isolation: "process" | "none" | "container" | "virtual-machine" | null;
                      platform: string | null;
                  }
                  | null;
              resolution: | {
                  disposition: "verified";
                  evidence_ids: string[];
                  rationale: string;
              }
              | {
                  disposition: "withdrawn"
                  | "out-of-scope";
                  evidence_ids: string[];
                  rationale: string;
              }
              | null;
              revision: number;
              revision_digest: string;
              scope_digest: string
              | null;
              severity: "low" | "medium" | "high" | "critical";
              status:
                  | "open"
                  | "investigating"
                  | "blocked"
                  | "contradicted"
                  | "resolved";
              supporting_evidence_ids: string[];
              unknown_id: string;
          }[];
      };
      name: string;
      owners: {
          ownership: | {
              authority_route: "unknown"
              | "none"
              | "detected";
              disposition: "implemented";
              owner_export: string | null;
              owner_path: string;
              owner_sha256: string;
              package_state: "unknown" | "missing" | "distributed";
              path_state: "unknown" | "missing" | "present";
          }
          | { disposition: "external"
          | "non-goal"; rationale: string };
          surface_id: string;
      }[];
      package_proofs: {
          artifact_sha256s: string[];
          evidence_ids: string[];
          kind: | "build"
          | "clean-install"
          | "package-contents"
          | "runtime-routing"
          | "authority-independence";
          proof_id: string;
          status: "unknown"
          | "fail"
          | "pass"
          | "unsupported"
          | "skipped";
      }[];
      previous_revision_sha256: string
      | null;
      residual_unknown_ids: string[];
      revision: number;
      revision_sha256: string;
      schema_version: 1;
      surfaces: {
          artifact_id: string;
          authority: "external" | "observed" | "derived" | "inferred" | "historical";
          dependency_surface_ids: string[];
          evidence_ids: string[];
          family: string;
          location: string;
          occurrence_id: string | null;
          surface_id: string;
      }[];
      verifier_contracts: {
          authority: | "external"
          | "shipped-artifact"
          | "controlled-replay"
          | "live-observation";
          claim_ids: string[];
          contract_sha256: string;
          dimensions: string[];
          max_age_ms: number;
          minimum_repeats: number;
          normalization_removes_dimensions: false;
          normalization_sha256: string;
          verifier_id: string;
      }[];
      verifier_results: {
          artifact_sha256s: string[];
          contract_sha256: string;
          covered_claim_ids: string[];
          covered_dimensions: string[];
          evidence_ids: string[];
          normalization_sha256: string;
          observed_at: string;
          owner_sha256s: string[];
          repeats: number;
          status: | "unknown"
          | "truncated"
          | "fail"
          | "pass"
          | "unsupported"
          | "skipped";
          verifier_id: string;
      }[];
      workspace_id: string;
  }
Returns "added" | "duplicate"
Implementation of BinarySessionPort.retainReconstructionCoverageWorkspace
- Defined in src/application/BinarySession.ts:309

status

status(): JSONType
Describe the active binary session.

Returns JSONType
Implementation of BinarySessionPort.status
- Defined in src/application/BinarySession.ts:575

updateUnknown

updateUnknown(
    input: {
        approved: true;
        contradicting_evidence_ids: string[];
        expected_revision: number;
        recommended_probes: { operation: string; rationale: string }[];
        relationships: {
            type: "depends-on" | "related-to" | "contradicts";
            unknown_id: string;
        }[];
        required_authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference"
        | null;
        required_confidence: "observed"
        | "derived"
        | "inferred";
        required_environment:
            | {
                architecture: string
                | null;
                id: string | null;
                isolation: "process" | "none" | "container" | "virtual-machine" | null;
                platform: string | null;
            }
            | null;
        resolution: | {
            disposition: "verified";
            evidence_ids: string[];
            rationale: string;
        }
        | {
            disposition: "withdrawn"
            | "out-of-scope";
            evidence_ids: string[];
            rationale: string;
        }
        | null;
        severity: "low"
        | "medium"
        | "high"
        | "critical";
        status: "open" | "investigating" | "blocked" | "contradicted" | "resolved";
        supporting_evidence_ids: string[];
        unknown_id: string;
    },
): Result<
    {
        contradicting_evidence_ids: string[];
        domain: string;
        mutation_evidence_ids: string[];
        previous_revision_digest: string
        | null;
        question: string;
        recommended_probes: { operation: string; rationale: string }[];
        registry_version: 1;
        relationships: {
            type: "depends-on" | "related-to" | "contradicts";
            unknown_id: string;
        }[];
        required_authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference"
        | null;
        required_confidence: "observed"
        | "derived"
        | "inferred";
        required_environment:
            | {
                architecture: string
                | null;
                id: string | null;
                isolation: "process" | "none" | "container" | "virtual-machine" | null;
                platform: string | null;
            }
            | null;
        resolution: | {
            disposition: "verified";
            evidence_ids: string[];
            rationale: string;
        }
        | {
            disposition: "withdrawn"
            | "out-of-scope";
            evidence_ids: string[];
            rationale: string;
        }
        | null;
        revision: number;
        revision_digest: string;
        scope_digest: string
        | null;
        severity: "low" | "medium" | "high" | "critical";
        status: "open" | "investigating" | "blocked" | "contradicted" | "resolved";
        supporting_evidence_ids: string[];
        unknown_id: string;
    },
    AnalysisError,
>
Update one unknown using compare-and-swap revision semantics.
Parameters
- input: {
      approved: true;
      contradicting_evidence_ids: string[];
      expected_revision: number;
      recommended_probes: { operation: string; rationale: string }[];
      relationships: {
          type: "depends-on" | "related-to" | "contradicts";
          unknown_id: string;
      }[];
      required_authority: | "shipped-artifact"
      | "controlled-replay"
      | "historical-reference"
      | "external-service"
      | "analyst-inference"
      | null;
      required_confidence: "observed"
      | "derived"
      | "inferred";
      required_environment:
          | {
              architecture: string
              | null;
              id: string | null;
              isolation: "process" | "none" | "container" | "virtual-machine" | null;
              platform: string | null;
          }
          | null;
      resolution: | {
          disposition: "verified";
          evidence_ids: string[];
          rationale: string;
      }
      | {
          disposition: "withdrawn"
          | "out-of-scope";
          evidence_ids: string[];
          rationale: string;
      }
      | null;
      severity: "low"
      | "medium"
      | "high"
      | "critical";
      status: "open" | "investigating" | "blocked" | "contradicted" | "resolved";
      supporting_evidence_ids: string[];
      unknown_id: string;
  }
Returns Result<
    {
        contradicting_evidence_ids: string[];
        domain: string;
        mutation_evidence_ids: string[];
        previous_revision_digest: string
        | null;
        question: string;
        recommended_probes: { operation: string; rationale: string }[];
        registry_version: 1;
        relationships: {
            type: "depends-on" | "related-to" | "contradicts";
            unknown_id: string;
        }[];
        required_authority: | "shipped-artifact"
        | "controlled-replay"
        | "historical-reference"
        | "external-service"
        | "analyst-inference"
        | null;
        required_confidence: "observed"
        | "derived"
        | "inferred";
        required_environment:
            | {
                architecture: string
                | null;
                id: string | null;
                isolation: "process" | "none" | "container" | "virtual-machine" | null;
                platform: string | null;
            }
            | null;
        resolution: | {
            disposition: "verified";
            evidence_ids: string[];
            rationale: string;
        }
        | {
            disposition: "withdrawn"
            | "out-of-scope";
            evidence_ids: string[];
            rationale: string;
        }
        | null;
        revision: number;
        revision_digest: string;
        scope_digest: string
        | null;
        severity: "low" | "medium" | "high" | "critical";
        status: "open" | "investigating" | "blocked" | "contradicted" | "resolved";
        supporting_evidence_ids: string[];
        unknown_id: string;
    },
    AnalysisError,
>
Implementation of BinarySessionPort.updateUnknown
- Defined in src/application/BinarySession.ts:362

verifyUnknownResolution

verifyUnknownResolution(
    unknownId: string,
): Result<
    {
        truthVerified: boolean;
        unknown: {
            contradicting_evidence_ids: string[];
            domain: string;
            mutation_evidence_ids: string[];
            previous_revision_digest: string
            | null;
            question: string;
            recommended_probes: { operation: string; rationale: string }[];
            registry_version: 1;
            relationships: {
                type: "depends-on" | "related-to" | "contradicts";
                unknown_id: string;
            }[];
            required_authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference"
            | null;
            required_confidence: "observed"
            | "derived"
            | "inferred";
            required_environment:
                | {
                    architecture: string
                    | null;
                    id: string | null;
                    isolation: "process" | "none" | "container" | "virtual-machine" | null;
                    platform: string | null;
                }
                | null;
            resolution: | {
                disposition: "verified";
                evidence_ids: string[];
                rationale: string;
            }
            | {
                disposition: "withdrawn"
                | "out-of-scope";
                evidence_ids: string[];
                rationale: string;
            }
            | null;
            revision: number;
            revision_digest: string;
            scope_digest: string
            | null;
            severity: "low" | "medium" | "high" | "critical";
            status:
                | "open"
                | "investigating"
                | "blocked"
                | "contradicted"
                | "resolved";
            supporting_evidence_ids: string[];
            unknown_id: string;
        };
        valid: boolean;
    },
    UnknownRegistryError,
>
Check whether current head is a bundle-valid resolved state.
Parameters
- unknownId: string
Returns Result<
    {
        truthVerified: boolean;
        unknown: {
            contradicting_evidence_ids: string[];
            domain: string;
            mutation_evidence_ids: string[];
            previous_revision_digest: string
            | null;
            question: string;
            recommended_probes: { operation: string; rationale: string }[];
            registry_version: 1;
            relationships: {
                type: "depends-on" | "related-to" | "contradicts";
                unknown_id: string;
            }[];
            required_authority: | "shipped-artifact"
            | "controlled-replay"
            | "historical-reference"
            | "external-service"
            | "analyst-inference"
            | null;
            required_confidence: "observed"
            | "derived"
            | "inferred";
            required_environment:
                | {
                    architecture: string
                    | null;
                    id: string | null;
                    isolation: "process" | "none" | "container" | "virtual-machine" | null;
                    platform: string | null;
                }
                | null;
            resolution: | {
                disposition: "verified";
                evidence_ids: string[];
                rationale: string;
            }
            | {
                disposition: "withdrawn"
                | "out-of-scope";
                evidence_ids: string[];
                rationale: string;
            }
            | null;
            revision: number;
            revision_digest: string;
            scope_digest: string
            | null;
            severity: "low" | "medium" | "high" | "critical";
            status:
                | "open"
                | "investigating"
                | "blocked"
                | "contradicted"
                | "resolved";
            supporting_evidence_ids: string[];
            unknown_id: string;
        };
        valid: boolean;
    },
    UnknownRegistryError,
>
Implementation of BinarySessionPort.verifyUnknownResolution
- Defined in src/application/BinarySession.ts:399

Class BinarySession

Implements

Index

Constructors

Properties

Methods

Constructors

constructor

Parameters

Returns BinarySession

Properties

Readonlyprovider

Methods

activeTarget

Returns BinaryTarget | undefined

analysisProfile

Parameters

Returns | { digest: string; parameters: Record<string, JSONType>; provider: { id: string; name: string; version: string }; provider_profile_schema_version: number; schema_version: 1; } | undefined

close

Returns Promise<Result<null, AnalysisError>>

evidenceById

Parameters

execute

Parameters

Returns Promise<Result<AnalysisExecution, AnalysisError>>

exportAnalysisSnapshot

exportEvidenceBundle

hasEvidence

Parameters

Returns boolean

importAnalysisSnapshot

Parameters

Returns Result<number, AnalysisError>

importEvidenceBundle

Parameters

Returns Result<number, EvidenceIntegrityError | EvidenceLimitError>

investigationWorkspace

Parameters

investigationWorkspaces

listUnknowns

Parameters

onAvailabilityChanged

Parameters

Returns () => void

open

Parameters

Returns Promise<Result<BinaryTarget, AnalysisError>>

openCompatibility

Returns Readonly<Record<string, JsonValue>>

providerIdentity

Parameters

Returns ProviderIdentity

reconstructionCoverageWorkspace

Parameters

reconstructionCoverageWorkspaces

recordEvidence

Parameters

Returns Result<"added" | "duplicate", EvidenceIntegrityError | EvidenceLimitError>

recordEvidenceWithUnknown

Parameters

recordUnknown

Parameters

retainInvestigationWorkspace

Parameters

Returns "added" | "duplicate"

retainReconstructionCoverageWorkspace

Parameters

Returns "added" | "duplicate"

status

Returns JSONType

updateUnknown

Parameters

verifyUnknownResolution

Parameters

Settings

On This Page

`Readonly`provider

Returns
| {
digest: string;
parameters: Record<string, JSONType>;
provider: { id: string; name: string; version: string };
provider_profile_schema_version: number;
schema_version: 1;
}
| undefined