ruflo-graph-intelligence 0.1.0-alpha.1

package/dist/domain/federation-protocol.d.ts

@@ -0,0 +1,857 @@
+/**
+ * Federation Protocol for PR Artifacts (Phase 8 — beyond-SOTA, ADR-123)
+ *
+ * Wire message types over the ADR-104 federation transport. Peers can ask
+ * for a precomputed signed PageRank vector instead of re-walking the graph,
+ * verify via the Phase 7 signer, and fall back to local recompute when the
+ * artifact is stale (graphHash mismatch) or the holder isn't trusted.
+ */
+import { z } from 'zod';
+export declare const PrArtifactRequestSchema: z.ZodObject<{
+    type: z.ZodLiteral<"pr_artifact_request">;
+    /** Requesting installation id. */
+    fromInstallation: z.ZodString;
+    /** Adapter graph id to query. */
+    graphId: z.ZodString;
+    /** Query node for single-entry PR. Omit for full-vector requests. */
+    queryNode: z.ZodOptional<z.ZodString>;
+    alpha: z.ZodDefault<z.ZodNumber>;
+    epsilon: z.ZodDefault<z.ZodNumber>;
+    seedNodes: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    /** Hash of the graph the requester has locally. Holder uses this to decide
+     *  whether to ship a fresh artifact or a delta. */
+    lastKnownGraphHash: z.ZodOptional<z.ZodString>;
+    /** Hash of any previous PR result the requester has cached. */
+    lastKnownResultHash: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    type: "pr_artifact_request";
+    graphId: string;
+    alpha: number;
+    epsilon: number;
+    seedNodes: string[];
+    fromInstallation: string;
+    queryNode?: string | undefined;
+    lastKnownGraphHash?: string | undefined;
+    lastKnownResultHash?: string | undefined;
+}, {
+    type: "pr_artifact_request";
+    graphId: string;
+    fromInstallation: string;
+    alpha?: number | undefined;
+    epsilon?: number | undefined;
+    seedNodes?: string[] | undefined;
+    queryNode?: string | undefined;
+    lastKnownGraphHash?: string | undefined;
+    lastKnownResultHash?: string | undefined;
+}>;
+export type PrArtifactRequest = z.infer<typeof PrArtifactRequestSchema>;
+export declare const PrArtifactResponseSchema: z.ZodObject<{
+    type: z.ZodLiteral<"pr_artifact_response">;
+    /** Responding installation id. */
+    fromInstallation: z.ZodString;
+    /** The Phase 7 signed envelope. */
+    envelope: z.ZodObject<{
+        payload: z.ZodObject<{
+            envelopeVersion: z.ZodLiteral<"1.0.0">;
+            kind: z.ZodLiteral<"pagerank">;
+            installationId: z.ZodString;
+            witnessKeyId: z.ZodString;
+            publicKey: z.ZodString;
+            graphId: z.ZodString;
+            graphHash: z.ZodString;
+            graphTimestamp: z.ZodString;
+            algorithm: z.ZodEnum<["forward-push", "backward-push", "bidirectional", "cg", "neumann"]>;
+            alpha: z.ZodNumber;
+            epsilon: z.ZodNumber;
+            queryNode: z.ZodOptional<z.ZodString>;
+            seedNodes: z.ZodArray<z.ZodString, "many">;
+            result: z.ZodObject<{
+                graphId: z.ZodString;
+                nodeId: z.ZodString;
+                score: z.ZodNumber;
+                alpha: z.ZodNumber;
+                epsilon: z.ZodNumber;
+                iterations: z.ZodNumber;
+                complexityClass: z.ZodEnum<["constant", "logarithmic", "polylogarithmic", "sublinear", "linear", "linearithmic", "polynomial", "exponential", "doubleExponential", "adaptive", "unknown", "unbounded"]>;
+                coherence: z.ZodObject<{
+                    score: z.ZodNumber;
+                    passed: z.ZodBoolean;
+                    threshold: z.ZodNumber;
+                }, "strip", z.ZodTypeAny, {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                }, {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                }>;
+                computedAt: z.ZodString;
+                resultHash: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            }, {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            }>;
+            complexityClass: z.ZodEnum<["constant", "logarithmic", "polylogarithmic", "sublinear", "linear", "linearithmic", "polynomial", "exponential", "doubleExponential", "adaptive", "unknown", "unbounded"]>;
+            coherenceScore: z.ZodNumber;
+            resultHash: z.ZodString;
+            sealedAt: z.ZodString;
+            solverVersion: z.ZodDefault<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            graphId: string;
+            alpha: number;
+            epsilon: number;
+            seedNodes: string[];
+            complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+            resultHash: string;
+            algorithm: "cg" | "neumann" | "forward-push" | "backward-push" | "bidirectional";
+            result: {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            };
+            envelopeVersion: "1.0.0";
+            kind: "pagerank";
+            installationId: string;
+            witnessKeyId: string;
+            publicKey: string;
+            graphHash: string;
+            graphTimestamp: string;
+            coherenceScore: number;
+            sealedAt: string;
+            solverVersion: string;
+            queryNode?: string | undefined;
+        }, {
+            graphId: string;
+            alpha: number;
+            epsilon: number;
+            seedNodes: string[];
+            complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+            resultHash: string;
+            algorithm: "cg" | "neumann" | "forward-push" | "backward-push" | "bidirectional";
+            result: {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            };
+            envelopeVersion: "1.0.0";
+            kind: "pagerank";
+            installationId: string;
+            witnessKeyId: string;
+            publicKey: string;
+            graphHash: string;
+            graphTimestamp: string;
+            coherenceScore: number;
+            sealedAt: string;
+            queryNode?: string | undefined;
+            solverVersion?: string | undefined;
+        }>;
+        signature: z.ZodString;
+        algorithm: z.ZodLiteral<"ed25519">;
+    }, "strip", z.ZodTypeAny, {
+        algorithm: "ed25519";
+        payload: {
+            graphId: string;
+            alpha: number;
+            epsilon: number;
+            seedNodes: string[];
+            complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+            resultHash: string;
+            algorithm: "cg" | "neumann" | "forward-push" | "backward-push" | "bidirectional";
+            result: {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            };
+            envelopeVersion: "1.0.0";
+            kind: "pagerank";
+            installationId: string;
+            witnessKeyId: string;
+            publicKey: string;
+            graphHash: string;
+            graphTimestamp: string;
+            coherenceScore: number;
+            sealedAt: string;
+            solverVersion: string;
+            queryNode?: string | undefined;
+        };
+        signature: string;
+    }, {
+        algorithm: "ed25519";
+        payload: {
+            graphId: string;
+            alpha: number;
+            epsilon: number;
+            seedNodes: string[];
+            complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+            resultHash: string;
+            algorithm: "cg" | "neumann" | "forward-push" | "backward-push" | "bidirectional";
+            result: {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            };
+            envelopeVersion: "1.0.0";
+            kind: "pagerank";
+            installationId: string;
+            witnessKeyId: string;
+            publicKey: string;
+            graphHash: string;
+            graphTimestamp: string;
+            coherenceScore: number;
+            sealedAt: string;
+            queryNode?: string | undefined;
+            solverVersion?: string | undefined;
+        };
+        signature: string;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    type: "pr_artifact_response";
+    fromInstallation: string;
+    envelope: {
+        algorithm: "ed25519";
+        payload: {
+            graphId: string;
+            alpha: number;
+            epsilon: number;
+            seedNodes: string[];
+            complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+            resultHash: string;
+            algorithm: "cg" | "neumann" | "forward-push" | "backward-push" | "bidirectional";
+            result: {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            };
+            envelopeVersion: "1.0.0";
+            kind: "pagerank";
+            installationId: string;
+            witnessKeyId: string;
+            publicKey: string;
+            graphHash: string;
+            graphTimestamp: string;
+            coherenceScore: number;
+            sealedAt: string;
+            solverVersion: string;
+            queryNode?: string | undefined;
+        };
+        signature: string;
+    };
+}, {
+    type: "pr_artifact_response";
+    fromInstallation: string;
+    envelope: {
+        algorithm: "ed25519";
+        payload: {
+            graphId: string;
+            alpha: number;
+            epsilon: number;
+            seedNodes: string[];
+            complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+            resultHash: string;
+            algorithm: "cg" | "neumann" | "forward-push" | "backward-push" | "bidirectional";
+            result: {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            };
+            envelopeVersion: "1.0.0";
+            kind: "pagerank";
+            installationId: string;
+            witnessKeyId: string;
+            publicKey: string;
+            graphHash: string;
+            graphTimestamp: string;
+            coherenceScore: number;
+            sealedAt: string;
+            queryNode?: string | undefined;
+            solverVersion?: string | undefined;
+        };
+        signature: string;
+    };
+}>;
+export type PrArtifactResponse = z.infer<typeof PrArtifactResponseSchema>;
+/** Lightweight delta — only the score difference + new resultHash. */
+export declare const PrArtifactDeltaSchema: z.ZodObject<{
+    type: z.ZodLiteral<"pr_artifact_delta">;
+    fromInstallation: z.ZodString;
+    graphId: z.ZodString;
+    /** Hash the delta is based on. */
+    baseResultHash: z.ZodString;
+    /** New resultHash after delta applied. */
+    newResultHash: z.ZodString;
+    /** Score delta (single-entry) or sparse delta indices+values (vector). */
+    scoreDelta: z.ZodOptional<z.ZodNumber>;
+    sparseDelta: z.ZodOptional<z.ZodObject<{
+        indices: z.ZodArray<z.ZodNumber, "many">;
+        values: z.ZodArray<z.ZodNumber, "many">;
+    }, "strip", z.ZodTypeAny, {
+        values: number[];
+        indices: number[];
+    }, {
+        values: number[];
+        indices: number[];
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "pr_artifact_delta";
+    graphId: string;
+    fromInstallation: string;
+    baseResultHash: string;
+    newResultHash: string;
+    scoreDelta?: number | undefined;
+    sparseDelta?: {
+        values: number[];
+        indices: number[];
+    } | undefined;
+}, {
+    type: "pr_artifact_delta";
+    graphId: string;
+    fromInstallation: string;
+    baseResultHash: string;
+    newResultHash: string;
+    scoreDelta?: number | undefined;
+    sparseDelta?: {
+        values: number[];
+        indices: number[];
+    } | undefined;
+}>;
+export type PrArtifactDelta = z.infer<typeof PrArtifactDeltaSchema>;
+export declare const PrArtifactStaleSchema: z.ZodObject<{
+    type: z.ZodLiteral<"pr_artifact_stale">;
+    fromInstallation: z.ZodString;
+    graphId: z.ZodString;
+    /** The holder's current graph hash so the requester can decide what to do. */
+    currentGraphHash: z.ZodString;
+    /** Why the request was stale-rejected. */
+    reason: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    type: "pr_artifact_stale";
+    graphId: string;
+    fromInstallation: string;
+    currentGraphHash: string;
+    reason: string;
+}, {
+    type: "pr_artifact_stale";
+    graphId: string;
+    fromInstallation: string;
+    currentGraphHash: string;
+    reason: string;
+}>;
+export type PrArtifactStale = z.infer<typeof PrArtifactStaleSchema>;
+export declare const FederationMessageSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+    type: z.ZodLiteral<"pr_artifact_request">;
+    /** Requesting installation id. */
+    fromInstallation: z.ZodString;
+    /** Adapter graph id to query. */
+    graphId: z.ZodString;
+    /** Query node for single-entry PR. Omit for full-vector requests. */
+    queryNode: z.ZodOptional<z.ZodString>;
+    alpha: z.ZodDefault<z.ZodNumber>;
+    epsilon: z.ZodDefault<z.ZodNumber>;
+    seedNodes: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    /** Hash of the graph the requester has locally. Holder uses this to decide
+     *  whether to ship a fresh artifact or a delta. */
+    lastKnownGraphHash: z.ZodOptional<z.ZodString>;
+    /** Hash of any previous PR result the requester has cached. */
+    lastKnownResultHash: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    type: "pr_artifact_request";
+    graphId: string;
+    alpha: number;
+    epsilon: number;
+    seedNodes: string[];
+    fromInstallation: string;
+    queryNode?: string | undefined;
+    lastKnownGraphHash?: string | undefined;
+    lastKnownResultHash?: string | undefined;
+}, {
+    type: "pr_artifact_request";
+    graphId: string;
+    fromInstallation: string;
+    alpha?: number | undefined;
+    epsilon?: number | undefined;
+    seedNodes?: string[] | undefined;
+    queryNode?: string | undefined;
+    lastKnownGraphHash?: string | undefined;
+    lastKnownResultHash?: string | undefined;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"pr_artifact_response">;
+    /** Responding installation id. */
+    fromInstallation: z.ZodString;
+    /** The Phase 7 signed envelope. */
+    envelope: z.ZodObject<{
+        payload: z.ZodObject<{
+            envelopeVersion: z.ZodLiteral<"1.0.0">;
+            kind: z.ZodLiteral<"pagerank">;
+            installationId: z.ZodString;
+            witnessKeyId: z.ZodString;
+            publicKey: z.ZodString;
+            graphId: z.ZodString;
+            graphHash: z.ZodString;
+            graphTimestamp: z.ZodString;
+            algorithm: z.ZodEnum<["forward-push", "backward-push", "bidirectional", "cg", "neumann"]>;
+            alpha: z.ZodNumber;
+            epsilon: z.ZodNumber;
+            queryNode: z.ZodOptional<z.ZodString>;
+            seedNodes: z.ZodArray<z.ZodString, "many">;
+            result: z.ZodObject<{
+                graphId: z.ZodString;
+                nodeId: z.ZodString;
+                score: z.ZodNumber;
+                alpha: z.ZodNumber;
+                epsilon: z.ZodNumber;
+                iterations: z.ZodNumber;
+                complexityClass: z.ZodEnum<["constant", "logarithmic", "polylogarithmic", "sublinear", "linear", "linearithmic", "polynomial", "exponential", "doubleExponential", "adaptive", "unknown", "unbounded"]>;
+                coherence: z.ZodObject<{
+                    score: z.ZodNumber;
+                    passed: z.ZodBoolean;
+                    threshold: z.ZodNumber;
+                }, "strip", z.ZodTypeAny, {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                }, {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                }>;
+                computedAt: z.ZodString;
+                resultHash: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            }, {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            }>;
+            complexityClass: z.ZodEnum<["constant", "logarithmic", "polylogarithmic", "sublinear", "linear", "linearithmic", "polynomial", "exponential", "doubleExponential", "adaptive", "unknown", "unbounded"]>;
+            coherenceScore: z.ZodNumber;
+            resultHash: z.ZodString;
+            sealedAt: z.ZodString;
+            solverVersion: z.ZodDefault<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            graphId: string;
+            alpha: number;
+            epsilon: number;
+            seedNodes: string[];
+            complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+            resultHash: string;
+            algorithm: "cg" | "neumann" | "forward-push" | "backward-push" | "bidirectional";
+            result: {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            };
+            envelopeVersion: "1.0.0";
+            kind: "pagerank";
+            installationId: string;
+            witnessKeyId: string;
+            publicKey: string;
+            graphHash: string;
+            graphTimestamp: string;
+            coherenceScore: number;
+            sealedAt: string;
+            solverVersion: string;
+            queryNode?: string | undefined;
+        }, {
+            graphId: string;
+            alpha: number;
+            epsilon: number;
+            seedNodes: string[];
+            complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+            resultHash: string;
+            algorithm: "cg" | "neumann" | "forward-push" | "backward-push" | "bidirectional";
+            result: {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            };
+            envelopeVersion: "1.0.0";
+            kind: "pagerank";
+            installationId: string;
+            witnessKeyId: string;
+            publicKey: string;
+            graphHash: string;
+            graphTimestamp: string;
+            coherenceScore: number;
+            sealedAt: string;
+            queryNode?: string | undefined;
+            solverVersion?: string | undefined;
+        }>;
+        signature: z.ZodString;
+        algorithm: z.ZodLiteral<"ed25519">;
+    }, "strip", z.ZodTypeAny, {
+        algorithm: "ed25519";
+        payload: {
+            graphId: string;
+            alpha: number;
+            epsilon: number;
+            seedNodes: string[];
+            complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+            resultHash: string;
+            algorithm: "cg" | "neumann" | "forward-push" | "backward-push" | "bidirectional";
+            result: {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            };
+            envelopeVersion: "1.0.0";
+            kind: "pagerank";
+            installationId: string;
+            witnessKeyId: string;
+            publicKey: string;
+            graphHash: string;
+            graphTimestamp: string;
+            coherenceScore: number;
+            sealedAt: string;
+            solverVersion: string;
+            queryNode?: string | undefined;
+        };
+        signature: string;
+    }, {
+        algorithm: "ed25519";
+        payload: {
+            graphId: string;
+            alpha: number;
+            epsilon: number;
+            seedNodes: string[];
+            complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+            resultHash: string;
+            algorithm: "cg" | "neumann" | "forward-push" | "backward-push" | "bidirectional";
+            result: {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            };
+            envelopeVersion: "1.0.0";
+            kind: "pagerank";
+            installationId: string;
+            witnessKeyId: string;
+            publicKey: string;
+            graphHash: string;
+            graphTimestamp: string;
+            coherenceScore: number;
+            sealedAt: string;
+            queryNode?: string | undefined;
+            solverVersion?: string | undefined;
+        };
+        signature: string;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    type: "pr_artifact_response";
+    fromInstallation: string;
+    envelope: {
+        algorithm: "ed25519";
+        payload: {
+            graphId: string;
+            alpha: number;
+            epsilon: number;
+            seedNodes: string[];
+            complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+            resultHash: string;
+            algorithm: "cg" | "neumann" | "forward-push" | "backward-push" | "bidirectional";
+            result: {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            };
+            envelopeVersion: "1.0.0";
+            kind: "pagerank";
+            installationId: string;
+            witnessKeyId: string;
+            publicKey: string;
+            graphHash: string;
+            graphTimestamp: string;
+            coherenceScore: number;
+            sealedAt: string;
+            solverVersion: string;
+            queryNode?: string | undefined;
+        };
+        signature: string;
+    };
+}, {
+    type: "pr_artifact_response";
+    fromInstallation: string;
+    envelope: {
+        algorithm: "ed25519";
+        payload: {
+            graphId: string;
+            alpha: number;
+            epsilon: number;
+            seedNodes: string[];
+            complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+            resultHash: string;
+            algorithm: "cg" | "neumann" | "forward-push" | "backward-push" | "bidirectional";
+            result: {
+                graphId: string;
+                score: number;
+                nodeId: string;
+                alpha: number;
+                epsilon: number;
+                iterations: number;
+                complexityClass: "unknown" | "constant" | "logarithmic" | "polylogarithmic" | "sublinear" | "linear" | "linearithmic" | "polynomial" | "exponential" | "doubleExponential" | "adaptive" | "unbounded";
+                coherence: {
+                    score: number;
+                    passed: boolean;
+                    threshold: number;
+                };
+                computedAt: string;
+                resultHash: string;
+            };
+            envelopeVersion: "1.0.0";
+            kind: "pagerank";
+            installationId: string;
+            witnessKeyId: string;
+            publicKey: string;
+            graphHash: string;
+            graphTimestamp: string;
+            coherenceScore: number;
+            sealedAt: string;
+            queryNode?: string | undefined;
+            solverVersion?: string | undefined;
+        };
+        signature: string;
+    };
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"pr_artifact_delta">;
+    fromInstallation: z.ZodString;
+    graphId: z.ZodString;
+    /** Hash the delta is based on. */
+    baseResultHash: z.ZodString;
+    /** New resultHash after delta applied. */
+    newResultHash: z.ZodString;
+    /** Score delta (single-entry) or sparse delta indices+values (vector). */
+    scoreDelta: z.ZodOptional<z.ZodNumber>;
+    sparseDelta: z.ZodOptional<z.ZodObject<{
+        indices: z.ZodArray<z.ZodNumber, "many">;
+        values: z.ZodArray<z.ZodNumber, "many">;
+    }, "strip", z.ZodTypeAny, {
+        values: number[];
+        indices: number[];
+    }, {
+        values: number[];
+        indices: number[];
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "pr_artifact_delta";
+    graphId: string;
+    fromInstallation: string;
+    baseResultHash: string;
+    newResultHash: string;
+    scoreDelta?: number | undefined;
+    sparseDelta?: {
+        values: number[];
+        indices: number[];
+    } | undefined;
+}, {
+    type: "pr_artifact_delta";
+    graphId: string;
+    fromInstallation: string;
+    baseResultHash: string;
+    newResultHash: string;
+    scoreDelta?: number | undefined;
+    sparseDelta?: {
+        values: number[];
+        indices: number[];
+    } | undefined;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"pr_artifact_stale">;
+    fromInstallation: z.ZodString;
+    graphId: z.ZodString;
+    /** The holder's current graph hash so the requester can decide what to do. */
+    currentGraphHash: z.ZodString;
+    /** Why the request was stale-rejected. */
+    reason: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    type: "pr_artifact_stale";
+    graphId: string;
+    fromInstallation: string;
+    currentGraphHash: string;
+    reason: string;
+}, {
+    type: "pr_artifact_stale";
+    graphId: string;
+    fromInstallation: string;
+    currentGraphHash: string;
+    reason: string;
+}>]>;
+export type FederationMessage = z.infer<typeof FederationMessageSchema>;
+export interface FederationTransport {
+    /** Send a message to a specific peer. Returns the response message. */
+    send(toInstallation: string, message: FederationMessage): Promise<FederationMessage | null>;
+    /** Subscribe to inbound messages. */
+    onMessage(handler: (msg: FederationMessage) => Promise<FederationMessage | null>): () => void;
+}
+//# sourceMappingURL=federation-protocol.d.ts.map