rea-agents 1.6.0 → 2.0.0

package/dist/domain/managedNativeVerification.js

@@ -0,0 +1,408 @@
+import { createHash } from "node:crypto";
+import { basename } from "node:path";
+import canonicalize from "canonicalize";
+import { z } from "zod";
+import { evidenceSchema, parseEvidence } from "./evidence.js";
+import { functionDossierSchema } from "./hopperValues.js";
+import { managedNativeBoundaryInspectionSchema, } from "./managedArtifact.js";
+import { inspectMachoSchema } from "./nativeInspection.js";
+const digestSchema = z.string().regex(/^[a-f0-9]{64}$/u);
+const evidenceIdSchema = z.string().regex(/^ev_[a-f0-9]{64}$/u);
+const tokenSchema = z.string().regex(/^0x[0-9a-f]{8}$/u);
+const boundedTextSchema = z.string().min(1).max(4_096);
+const nativeVerificationLimitsSchema = z.strictObject({
+    max_native_observations: z.number().int().min(1).max(50).default(20),
+    max_candidates_per_import: z.number().int().min(1).max(100).default(25),
+});
+/** Authenticated managed boundary Evidence plus native observations. */
+export const managedNativeVerificationInputSchema = z
+    .strictObject({
+    managed_boundaries: evidenceSchema,
+    native_observations: z.array(evidenceSchema).min(1).max(50),
+    limits: nativeVerificationLimitsSchema.default({
+        max_native_observations: 20,
+        max_candidates_per_import: 25,
+    }),
+    unknown_registry_approved: z.literal(true).optional(),
+})
+    .superRefine((input, context) => {
+    const ids = new Set();
+    for (const [index, evidence] of input.native_observations.entries()) {
+        if (evidence.evidence_id === input.managed_boundaries.evidence_id) {
+            context.addIssue({
+                code: "custom",
+                path: ["native_observations", index],
+                message: "Native observation Evidence must be distinct from managed boundary Evidence",
+            });
+        }
+        if (ids.has(evidence.evidence_id)) {
+            context.addIssue({
+                code: "custom",
+                path: ["native_observations", index],
+                message: "Native observation Evidence IDs must be unique",
+            });
+        }
+        ids.add(evidence.evidence_id);
+    }
+});
+const nativeSymbolSchema = z.strictObject({
+    evidence_id: evidenceIdSchema,
+    operation: z.string().min(1),
+    name: z.string().min(1),
+    address: z.string().nullable(),
+    module_name: z.string().nullable(),
+    module_path: z.string().nullable(),
+    source: z.enum(["macho-export", "function-dossier"]),
+});
+const matchStatusSchema = z.enum([
+    "verified",
+    "inferred",
+    "unresolved",
+    "contradicted",
+]);
+const matchBasisSchema = z.enum([
+    "exact-export-name",
+    "exact-function-name",
+    "decorated-name-candidate",
+    "module-mismatch",
+    "no-native-candidate",
+    "unsupported-native-evidence",
+]);
+const pinvokeVerificationSchema = z.strictObject({
+    item_id: z.string().regex(/^mnv_pinvoke_[a-f0-9]{64}$/u),
+    managed: z.strictObject({
+        token: tokenSchema,
+        member_token: tokenSchema.nullable(),
+        member_name: z.string().nullable(),
+        import_name: z.string().min(1),
+        import_scope_name: z.string().nullable(),
+        no_mangle: z.boolean(),
+        char_set: z.enum(["not-specified", "ansi", "unicode", "auto", "unknown"]),
+        call_convention: z.enum([
+            "not-specified",
+            "winapi",
+            "cdecl",
+            "stdcall",
+            "thiscall",
+            "fastcall",
+            "unknown",
+        ]),
+        declaration_verification: z.literal("managed-declaration-only"),
+    }),
+    status: matchStatusSchema,
+    basis: matchBasisSchema,
+    confidence: z.enum(["observed", "inferred", "unknown"]),
+    matched_native: nativeSymbolSchema.nullable(),
+    candidates: z.array(nativeSymbolSchema).max(100),
+    evidence_links: z.array(evidenceIdSchema).min(1).max(51),
+    limitations: z.array(boundedTextSchema).max(100),
+});
+/** Provider-neutral managed/native verification result. */
+export const managedNativeVerificationResultSchema = z.strictObject({
+    schema_version: z.literal(1),
+    verification_id: z.string().regex(/^mnv_[a-f0-9]{64}$/u),
+    algorithm: z.strictObject({
+        name: z.literal("rea-managed-native-verification"),
+        version: z.literal(1),
+        token_identity: z.literal("build-local"),
+        token_to_address_mapping: z.literal("not-inferred"),
+    }),
+    managed_boundary: z.strictObject({
+        evidence_id: evidenceIdSchema,
+        artifact_sha256: digestSchema,
+        artifact_path: z.string().min(1),
+        mvid: z.string().uuid().nullable(),
+        metadata_status: z.enum(["absent", "complete", "partial", "malformed"]),
+        pinvoke_imports_total: z.number().int().min(0),
+        native_implementations_total: z.number().int().min(0),
+        coverage_state: z.enum(["complete", "partial", "unavailable"]),
+    }),
+    native_observations: z.strictObject({
+        total: z.number().int().min(1),
+        accepted: z.number().int().min(0),
+        unsupported: z.number().int().min(0),
+        symbols: z.number().int().min(0),
+        truncated: z.boolean(),
+    }),
+    summary: z.strictObject({
+        verified: z.number().int().min(0),
+        inferred: z.number().int().min(0),
+        unresolved: z.number().int().min(0),
+        contradicted: z.number().int().min(0),
+        native_body_unresolved: z.number().int().min(0),
+    }),
+    pinvoke_imports: z.array(pinvokeVerificationSchema).max(50_000),
+    native_implementations: z.strictObject({
+        unresolved: z.number().int().min(0),
+        reason: boundedTextSchema,
+    }),
+    coverage: z.strictObject({
+        status: z.enum(["complete-within-inputs", "partial", "truncated"]),
+        omitted_native_observations: z.number().int().min(0),
+        omitted_candidates: z.number().int().min(0),
+    }),
+    evidence_links: z.array(evidenceIdSchema).min(2).max(51),
+    limitations: z.array(boundedTextSchema).max(1_000),
+});
+const sha256 = (value) => {
+    const serialized = canonicalize(value);
+    if (serialized === undefined)
+        throw new TypeError("Managed/native verification canonicalization failed");
+    return createHash("sha256").update(serialized).digest("hex");
+};
+/** Verify managed P/Invoke declarations against authenticated native Evidence. */
+export const verifyManagedNativeBoundaries = (input) => {
+    const managedEvidence = parseEvidence(input.managed_boundaries);
+    if (managedEvidence.operation !== "inspect_managed_native_boundaries")
+        throw new TypeError("Evidence operation is not inspect_managed_native_boundaries");
+    const managed = managedNativeBoundaryInspectionSchema.parse(managedEvidence.normalized_result);
+    const native = collectNativeSymbols(input.native_observations.slice(0, input.limits.max_native_observations));
+    const verifiedPinvokes = managed.pinvoke_imports.items.map((item) => verifyPinvoke(item, managedEvidence.evidence_id, native.symbols, native.accepted > 0, input));
+    const pinvokeImports = verifiedPinvokes.map(({ verification }) => verification);
+    const counts = countStatuses(pinvokeImports);
+    const omittedNativeObservations = Math.max(0, input.native_observations.length - input.limits.max_native_observations);
+    const omittedCandidates = verifiedPinvokes.reduce((sum, item) => sum + item.omittedCandidates, 0);
+    const coverageStatus = omittedNativeObservations > 0 || omittedCandidates > 0
+        ? "truncated"
+        : managed.coverage.state === "complete" && native.unsupported === 0
+            ? "complete-within-inputs"
+            : "partial";
+    const withoutId = {
+        schema_version: 1,
+        algorithm: {
+            name: "rea-managed-native-verification",
+            version: 1,
+            token_identity: "build-local",
+            token_to_address_mapping: "not-inferred",
+        },
+        managed_boundary: {
+            evidence_id: managedEvidence.evidence_id,
+            artifact_sha256: managed.artifact.sha256,
+            artifact_path: managed.artifact.path,
+            mvid: managed.module?.mvid ?? null,
+            metadata_status: managed.metadata.status,
+            pinvoke_imports_total: managed.pinvoke_imports.total,
+            native_implementations_total: managed.native_implementations.total,
+            coverage_state: managed.coverage.state,
+        },
+        native_observations: {
+            total: input.native_observations.length,
+            accepted: native.accepted,
+            unsupported: native.unsupported,
+            symbols: native.symbols.length,
+            truncated: omittedNativeObservations > 0,
+        },
+        summary: {
+            ...counts,
+            native_body_unresolved: managed.native_implementations.items.filter(({ boundary_kind: kind }) => kind !== "pinvoke").length,
+        },
+        pinvoke_imports: pinvokeImports,
+        native_implementations: {
+            unresolved: managed.native_implementations.items.filter(({ boundary_kind: kind }) => kind !== "pinvoke").length,
+            reason: "Managed metadata tokens and RVAs are not translated to native provider addresses by this workflow; C++/CLI, ReadyToRun, and native-body mappings require explicit provider-supported bridge evidence.",
+        },
+        coverage: {
+            status: coverageStatus,
+            omitted_native_observations: omittedNativeObservations,
+            omitted_candidates: omittedCandidates,
+        },
+        evidence_links: [
+            managedEvidence.evidence_id,
+            ...input.native_observations
+                .slice(0, input.limits.max_native_observations)
+                .map(({ evidence_id: id }) => id),
+        ],
+        limitations: [
+            "P/Invoke verification checks declared import names against supplied native export or function-name Evidence only.",
+            "A matching native symbol verifies that a candidate export/function was observed; it does not prove CLR binding, marshaling behavior, call reachability, or runtime loading.",
+            "Missing supplied native symbols are reported as unresolved, not proof that a dependency cannot exist.",
+            "Managed metadata tokens and method RVAs are not interpreted as native addresses.",
+            ...(managed.coverage.state === "complete"
+                ? []
+                : ["Managed boundary input is partial or unavailable."]),
+            ...(native.unsupported === 0
+                ? []
+                : [
+                    "Some native Evidence operations were unsupported by this workflow.",
+                ]),
+        ],
+    };
+    return managedNativeVerificationResultSchema.parse({
+        ...withoutId,
+        verification_id: `mnv_${sha256(withoutId)}`,
+    });
+};
+const collectNativeSymbols = (observations) => {
+    const symbols = [];
+    let accepted = 0;
+    let unsupported = 0;
+    for (const raw of observations) {
+        const evidence = parseEvidence(raw);
+        const extracted = symbolsForEvidence(evidence);
+        if (!extracted.supported) {
+            unsupported += 1;
+        }
+        else {
+            accepted += 1;
+            symbols.push(...extracted.symbols);
+        }
+    }
+    return { symbols, accepted, unsupported };
+};
+const symbolsForEvidence = (evidence) => {
+    if (evidence.operation === "inspect_macho") {
+        const result = inspectMachoSchema.parse(evidence.normalized_result);
+        return {
+            supported: true,
+            symbols: result.exports.items.map((symbol) => ({
+                evidence_id: evidence.evidence_id,
+                operation: evidence.operation,
+                name: symbol.name,
+                address: symbol.address,
+                module_name: moduleName(evidence),
+                module_path: modulePath(evidence),
+                source: "macho-export",
+            })),
+        };
+    }
+    if (evidence.operation === "analyze_function") {
+        const dossier = functionDossierSchema.parse(evidence.normalized_result);
+        return {
+            supported: true,
+            symbols: [
+                {
+                    evidence_id: evidence.evidence_id,
+                    operation: evidence.operation,
+                    name: dossier.procedure.name,
+                    address: dossier.procedure.address,
+                    module_name: moduleName(evidence),
+                    module_path: modulePath(evidence),
+                    source: "function-dossier",
+                },
+            ],
+        };
+    }
+    return { supported: false, symbols: [] };
+};
+const verifyPinvoke = (item, managedEvidenceId, symbols, hasSupportedNativeEvidence, input) => {
+    const managed = {
+        token: item.token,
+        member_token: item.member_token,
+        member_name: item.member_name,
+        import_name: item.import_name,
+        import_scope_name: item.import_scope_name,
+        no_mangle: item.no_mangle,
+        char_set: item.char_set,
+        call_convention: item.call_convention,
+        declaration_verification: item.verification,
+    };
+    const names = candidateNames(managed);
+    const allCandidates = symbols.filter((symbol) => names.some((name) => sameSymbolName(name, symbol.name)));
+    const candidates = allCandidates.slice(0, input.limits.max_candidates_per_import);
+    const exact = candidates.find((symbol) => sameSymbolName(item.import_name, symbol.name) &&
+        moduleCompatible(item.import_scope_name, symbol));
+    const decorated = candidates.find((symbol) => moduleCompatible(item.import_scope_name, symbol));
+    const selected = exact ?? decorated ?? candidates[0] ?? null;
+    const basis = selected === null
+        ? hasSupportedNativeEvidence
+            ? "no-native-candidate"
+            : "unsupported-native-evidence"
+        : !moduleCompatible(item.import_scope_name, selected)
+            ? "module-mismatch"
+            : exact !== undefined
+                ? selected.source === "macho-export"
+                    ? "exact-export-name"
+                    : "exact-function-name"
+                : "decorated-name-candidate";
+    const status = selected === null
+        ? "unresolved"
+        : basis === "module-mismatch"
+            ? "contradicted"
+            : basis === "decorated-name-candidate"
+                ? "inferred"
+                : "verified";
+    const limitations = [
+        ...(item.import_scope_name === null
+            ? ["Managed declaration does not name an import scope/module."]
+            : []),
+        ...(status === "inferred"
+            ? [
+                "Native symbol matched a decorated candidate rather than the exact declared import name.",
+            ]
+            : []),
+        ...(status === "contradicted"
+            ? [
+                "A symbol name candidate exists, but the supplied native Evidence module identity does not match the managed import scope.",
+            ]
+            : []),
+        ...(status === "unresolved"
+            ? [
+                "No supplied native export/function Evidence matched this declared import.",
+            ]
+            : []),
+    ];
+    return {
+        verification: pinvokeVerificationSchema.parse({
+            item_id: `mnv_pinvoke_${sha256({
+                managedEvidenceId,
+                token: item.token,
+                importName: item.import_name,
+                importScope: item.import_scope_name,
+                candidates,
+            })}`,
+            managed,
+            status,
+            basis,
+            confidence: status === "verified"
+                ? "observed"
+                : status === "inferred"
+                    ? "inferred"
+                    : "unknown",
+            matched_native: selected,
+            candidates,
+            evidence_links: [
+                managedEvidenceId,
+                ...new Set(candidates.map(({ evidence_id: id }) => id)),
+            ],
+            limitations,
+        }),
+        omittedCandidates: Math.max(0, allCandidates.length - candidates.length),
+    };
+};
+const candidateNames = (managed) => {
+    const names = new Set([managed.import_name]);
+    if (!managed.no_mangle) {
+        if (managed.char_set === "unicode")
+            names.add(`${managed.import_name}W`);
+        if (managed.char_set === "ansi")
+            names.add(`${managed.import_name}A`);
+        if (managed.call_convention === "stdcall") {
+            names.add(`_${managed.import_name}`);
+            names.add(`_${managed.import_name}@0`);
+        }
+    }
+    return [...names];
+};
+const sameSymbolName = (left, right) => normalizeSymbol(left) === normalizeSymbol(right);
+const normalizeSymbol = (value) => value.replace(/^_+/u, "").replace(/@\d+$/u, "").toLowerCase();
+const moduleCompatible = (scope, symbol) => {
+    if (scope === null)
+        return true;
+    const expected = normalizeModule(scope);
+    return [symbol.module_name, symbol.module_path]
+        .filter((value) => value !== null)
+        .map(normalizeModule)
+        .some((value) => value === expected);
+};
+const normalizeModule = (value) => basename(value)
+    .toLowerCase()
+    .replace(/^lib/u, "")
+    .replace(/\.(dll|dylib|so|node|exe)$/u, "");
+const moduleName = (evidence) => evidence.subject?.name ?? null;
+const modulePath = (evidence) => evidence.subject?.local_path ?? null;
+const countStatuses = (items) => ({
+    verified: items.filter(({ status }) => status === "verified").length,
+    inferred: items.filter(({ status }) => status === "inferred").length,
+    unresolved: items.filter(({ status }) => status === "unresolved").length,
+    contradicted: items.filter(({ status }) => status === "contradicted").length,
+});

package/dist/domain/managedReconstruction.js

@@ -0,0 +1,183 @@
+import { createHash } from "node:crypto";
+import canonicalize from "canonicalize";
+import { z } from "zod";
+import { evidenceSchema, parseEvidence } from "./evidence.js";
+import { managedMemberInspectionSchema } from "./managedArtifact.js";
+const digestSchema = z.string().regex(/^[a-f0-9]{64}$/u);
+const evidenceIdSchema = z.string().regex(/^ev_[a-f0-9]{64}$/u);
+const tokenSchema = z.string().regex(/^0x[0-9a-f]{8}$/u);
+const boundedTextSchema = z.string().min(1).max(65_536);
+const boundedLabelSchema = z.string().min(1).max(512);
+const decompilerSchema = z.strictObject({
+    name: boundedLabelSchema,
+    version: z.string().min(1).max(128).nullable(),
+    family: z.enum(["ilspy", "dnspy", "dnlib", "mono-cecil", "other"]),
+    executable_sha256: digestSchema.nullable(),
+    options: z.array(z.string().max(512)).max(50).default([]),
+});
+const managedReconstructionMethodInputSchema = z.strictObject({
+    token: tokenSchema,
+    signature_sha256: digestSchema,
+    normalized_il_sha256: digestSchema.nullable(),
+    reconstruction: z.strictObject({
+        kind: z.enum(["decompiled-csharp", "decompiled-il", "semantic-pseudocode"]),
+        language: z.enum(["csharp", "il", "pseudocode"]),
+        text: boundedTextSchema,
+        text_sha256: digestSchema.optional(),
+        source_path: z.string().min(1).max(4_096).nullable().optional(),
+        start_line: z.number().int().min(1).nullable().optional(),
+        end_line: z.number().int().min(1).nullable().optional(),
+    }),
+});
+export const managedReconstructionImportInputSchema = z.strictObject({
+    static_members: evidenceSchema,
+    decompiler: decompilerSchema,
+    methods: z.array(managedReconstructionMethodInputSchema).min(1).max(50),
+    notes: z.array(z.string().min(1).max(4_096)).max(100).default([]),
+    unknown_registry_approved: z.literal(true).optional(),
+});
+const importedMethodSchema = z.strictObject({
+    token: tokenSchema,
+    declaring_type: z.string().nullable(),
+    name: z.string(),
+    signature_sha256: digestSchema,
+    normalized_il_sha256: digestSchema.nullable(),
+    body_sha256: digestSchema.nullable(),
+    il_size: z.number().int().min(0),
+    reconstruction: z.strictObject({
+        kind: z.enum(["decompiled-csharp", "decompiled-il", "semantic-pseudocode"]),
+        language: z.enum(["csharp", "il", "pseudocode"]),
+        text: boundedTextSchema,
+        text_sha256: digestSchema,
+        text_length: z.number().int().min(1).max(65_536),
+        line_count: z.number().int().min(1),
+        source_path: z.string().min(1).max(4_096).nullable(),
+        start_line: z.number().int().min(1).nullable(),
+        end_line: z.number().int().min(1).nullable(),
+    }),
+    validation: z.strictObject({
+        matched_static_member: z.literal(true),
+        exact_build_required: z.literal(true),
+        canonical_observation: z.literal(false),
+        confidence_floor: z.literal("inference"),
+    }),
+});
+export const managedReconstructionImportResultSchema = z.strictObject({
+    schema_version: z.literal(1),
+    reconstruction_id: z.string().regex(/^mre_[a-f0-9]{64}$/u),
+    phase: z.literal("reconstruction-import"),
+    executed: z.literal(false),
+    static_observation: z.strictObject({
+        evidence_id: evidenceIdSchema,
+        artifact_sha256: digestSchema,
+        artifact_path: z.string().min(1),
+        byte_length: z.number().int().min(0),
+        module_name: z.string().nullable(),
+        mvid: z.string().uuid().nullable(),
+        metadata_status: z.enum(["absent", "complete", "partial", "malformed"]),
+    }),
+    decompiler: decompilerSchema.extend({
+        options_sha256: digestSchema,
+    }),
+    summary: z.strictObject({
+        imported_methods: z.number().int().min(1).max(50),
+        decompiled_csharp_methods: z.number().int().min(0).max(50),
+        decompiled_il_methods: z.number().int().min(0).max(50),
+        pseudocode_methods: z.number().int().min(0).max(50),
+        total_text_bytes: z.number().int().min(1),
+    }),
+    methods: z.array(importedMethodSchema).min(1).max(50),
+    notes: z.array(z.string().min(1).max(4_096)).max(100),
+    evidence_links: z.array(evidenceIdSchema).length(1),
+    limitations: z.array(z.string().min(1).max(4_096)).max(1_000),
+});
+const sha256Text = (value) => createHash("sha256").update(value).digest("hex");
+const sha256Json = (value) => {
+    const serialized = canonicalize(value);
+    if (serialized === undefined)
+        throw new TypeError("Managed reconstruction canonicalization failed");
+    return createHash("sha256").update(serialized).digest("hex");
+};
+/** Authenticate decompiler reconstruction against static IL Evidence. */
+export const importManagedReconstruction = (input) => {
+    const staticEvidence = parseEvidence(input.static_members);
+    if (staticEvidence.operation !== "inspect_managed_members")
+        throw new TypeError("Evidence operation is not inspect_managed_members");
+    const members = managedMemberInspectionSchema.parse(staticEvidence.normalized_result);
+    const methods = input.methods.map((candidate) => {
+        const observed = members.methods.items.find((item) => item.token === candidate.token &&
+            item.signature.raw_sha256 === candidate.signature_sha256 &&
+            item.body.normalized_il_sha256 === candidate.normalized_il_sha256);
+        if (observed === undefined)
+            throw new TypeError(`Reconstruction method lock ${candidate.token} does not match a static managed member observation`);
+        const textSha256 = sha256Text(candidate.reconstruction.text);
+        if (candidate.reconstruction.text_sha256 !== undefined &&
+            candidate.reconstruction.text_sha256 !== textSha256)
+            throw new TypeError(`Reconstruction text hash mismatch for ${candidate.token}`);
+        return {
+            token: observed.token,
+            declaring_type: observed.declaring_type,
+            name: observed.name,
+            signature_sha256: observed.signature.raw_sha256,
+            normalized_il_sha256: observed.body.normalized_il_sha256,
+            body_sha256: observed.body.il_sha256,
+            il_size: observed.body.il_size,
+            reconstruction: {
+                kind: candidate.reconstruction.kind,
+                language: candidate.reconstruction.language,
+                text: candidate.reconstruction.text,
+                text_sha256: textSha256,
+                text_length: candidate.reconstruction.text.length,
+                line_count: countLines(candidate.reconstruction.text),
+                source_path: candidate.reconstruction.source_path ?? null,
+                start_line: candidate.reconstruction.start_line ?? null,
+                end_line: candidate.reconstruction.end_line ?? null,
+            },
+            validation: {
+                matched_static_member: true,
+                exact_build_required: true,
+                canonical_observation: false,
+                confidence_floor: "inference",
+            },
+        };
+    });
+    const withoutId = {
+        schema_version: 1,
+        phase: "reconstruction-import",
+        executed: false,
+        static_observation: {
+            evidence_id: staticEvidence.evidence_id,
+            artifact_sha256: members.artifact.sha256,
+            artifact_path: members.artifact.path,
+            byte_length: members.artifact.byte_length,
+            module_name: members.module?.name ?? null,
+            mvid: members.module?.mvid ?? null,
+            metadata_status: members.metadata.status,
+        },
+        decompiler: {
+            ...input.decompiler,
+            options_sha256: sha256Json(input.decompiler.options),
+        },
+        summary: {
+            imported_methods: methods.length,
+            decompiled_csharp_methods: methods.filter(({ reconstruction }) => reconstruction.kind === "decompiled-csharp").length,
+            decompiled_il_methods: methods.filter(({ reconstruction }) => reconstruction.kind === "decompiled-il").length,
+            pseudocode_methods: methods.filter(({ reconstruction }) => reconstruction.kind === "semantic-pseudocode").length,
+            total_text_bytes: methods.reduce((total, { reconstruction }) => total + reconstruction.text_length, 0),
+        },
+        methods,
+        notes: input.notes,
+        evidence_links: [staticEvidence.evidence_id],
+        limitations: [
+            "Decompiler output is imported as reconstruction evidence and analyst inference; metadata and IL observations remain canonical.",
+            "This operation did not execute, load, reflect over, debug, instrument, patch, or decompile the target artifact.",
+            "The imported reconstruction is valid only for the exact artifact SHA-256, MVID, method signature, and normalized IL shape recorded here.",
+            "Obfuscated names, decompiler variables, and control-flow restructuring are not treated as proof without separate validation.",
+        ],
+    };
+    return managedReconstructionImportResultSchema.parse({
+        ...withoutId,
+        reconstruction_id: `mre_${sha256Json(withoutId)}`,
+    });
+};
+const countLines = (text) => text.length === 0 ? 0 : text.split(/\r\n|\r|\n/u).length;