Function writeReconstructionCoverageWorkspace

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";
          }[];
          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";
                          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";
                          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;
  }
• path: string
• expectedRevision: number | null
• policy: EvidenceFilePolicy