rea-agents - v2.1.0
    Preparing search index...
    • Read a validated reconstruction coverage workspace revision.

      Parameters

      Returns Promise<
          Result<
              | {
                  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";
                      }[];
                      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: (...)
                                      | (...)
                                      | (...)
                                      | (...);
                                      platform: string;
                                  }
                                  | null;
                              evidence_id: string;
                              evidence_links: string[];
                              limitations: string[];
                              locations: (
                                  | { address: ...; kind: ... }
                                  | { end: ...; kind: ...; start: ... }
                                  | { kind: ...; path: ... }
                                  | { kind: ...; offset: ... }
                                  | { end: ...; kind: ...; start: ... }
                              )[];
                              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: (...)
                                      | (...)
                                      | (...)
                                      | (...)
                                      | (...);
                                      digest: { sha256: ... };
                                      format:
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...);
                                      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: (...)
                                      | (...)
                                      | (...)
                                      | (...);
                                      platform: string;
                                  }
                                  | null;
                              evidence_id: string;
                              evidence_links: string[];
                              limitations: string[];
                              locations: (
                                  | { address: ...; kind: ... }
                                  | { end: ...; kind: ...; start: ... }
                                  | { kind: ...; path: ... }
                                  | { kind: ...; offset: ... }
                                  | { end: ...; kind: ...; start: ... }
                              )[];
                              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: (...)
                                      | (...)
                                      | (...)
                                      | (...)
                                      | (...);
                                      digest: { sha256: ... };
                                      format:
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...)
                                          | (...);
                                      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;
              }
              | null,
              InvestigationWorkspaceError,
          >,
      >