Function correlateStaticAndRuntime

Returns {
    correlations: {
        items: {
            classification: "contradiction" | "unresolved_branch" | "hypothesis";
            correlation_id: string;
            evidence_links: string[];
            hypothesis: {
                expected_pattern:
                    | "cochanged"
                    | "static_only"
                    | "runtime_only"
                    | "both_unchanged";
                statement: string;
            };
            limitations: string[];
            observed_pattern: | "unknown"
            | "truncated"
            | "cochanged"
            | "static_only"
            | "runtime_only"
            | "both_unchanged";
            runtime: {
                comparison_evidence_id: string;
                dimension: | "terminal"
                | "exit"
                | "interaction"
                | "filesystem"
                | "protocol"
                | "process"
                | "shim";
                status: | "unknown"
                | "truncated"
                | "unchanged"
                | "added"
                | "removed"
                | "changed"
                | "contradiction";
            };
            side_alignment: "left_to_left"
            | "left_to_right";
            static: {
                comparison_evidence_id: string;
                conclusion_kind:
                    | "contradiction"
                    | "derived_relationship"
                    | "unresolved_branch";
                selector: | { kind: "artifact"; logical_path: string }
                | {
                    dimension:
                        | "comments"
                        | "pseudocode"
                        | "assembly"
                        | "identity"
                        | "calls"
                        | "references"
                        | "strings_names"
                        | "cfg";
                    kind: "function";
                };
                status: | "unknown"
                | "truncated"
                | "unchanged"
                | "added"
                | "removed"
                | "changed"
                | "contradiction";
            };
        }[];
        limit: number;
        next_offset: number
        | null;
        offset: number;
        total: number;
    };
    evidence_links: string[];
    limitations: string[];
    status: "unknown"
    | "truncated"
    | "contradicted"
    | "correlated";
    summary: { contradictions: number; hypotheses: number; unresolved: number };
}