rea-agents - v2.1.0
    Preparing search index...

    Function importManagedReconstruction

    • Authenticate decompiler reconstruction against static IL Evidence.

      Parameters

      • input: {
            decompiler: {
                executable_sha256: string | null;
                family: "other" | "ilspy" | "dnspy" | "dnlib" | "mono-cecil";
                name: string;
                options: string[];
                version: string | null;
            };
            methods: {
                normalized_il_sha256: string
                | null;
                reconstruction: {
                    end_line?: number | null;
                    kind: "decompiled-csharp" | "decompiled-il" | "semantic-pseudocode";
                    language: "pseudocode" | "il" | "csharp";
                    source_path?: string | null;
                    start_line?: number | null;
                    text: string;
                    text_sha256?: string;
                };
                signature_sha256: string;
                token: string;
            }[];
            notes: string[];
            static_members: {
                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;
            };
            unknown_registry_approved?: true;
        }

      Returns {
          decompiler: {
              executable_sha256: string | null;
              family: "other" | "ilspy" | "dnspy" | "dnlib" | "mono-cecil";
              name: string;
              options: string[];
              options_sha256: string;
              version: string | null;
          };
          evidence_links: string[];
          executed: false;
          limitations: string[];
          methods: {
              body_sha256: string
              | null;
              declaring_type: string | null;
              il_size: number;
              name: string;
              normalized_il_sha256: string | null;
              reconstruction: {
                  end_line: number | null;
                  kind: "decompiled-csharp" | "decompiled-il" | "semantic-pseudocode";
                  language: "pseudocode" | "il" | "csharp";
                  line_count: number;
                  source_path: string | null;
                  start_line: number | null;
                  text: string;
                  text_length: number;
                  text_sha256: string;
              };
              signature_sha256: string;
              token: string;
              validation: {
                  canonical_observation: false;
                  confidence_floor: "inference";
                  exact_build_required: true;
                  matched_static_member: true;
              };
          }[];
          notes: string[];
          phase: "reconstruction-import";
          reconstruction_id: string;
          schema_version: 1;
          static_observation: {
              artifact_path: string;
              artifact_sha256: string;
              byte_length: number;
              evidence_id: string;
              metadata_status: "complete"
              | "partial"
              | "malformed"
              | "absent";
              module_name: string | null;
              mvid: string | null;
          };
          summary: {
              decompiled_csharp_methods: number;
              decompiled_il_methods: number;
              imported_methods: number;
              pseudocode_methods: number;
              total_text_bytes: number;
          };
      }