ruflo-graph-intelligence 0.1.0-alpha.1

package/dist/infrastructure/witness-signer.js

@@ -0,0 +1,158 @@
+/**
+ * Witness Signer for PR Artifacts (Phase 7, ADR-123)
+ *
+ * Ed25519 sign / verify via node:crypto. Mirrors @claude-flow/browser's
+ * ADR-122 Phase 1 witness signer — same canonical-JSON approach so a single
+ * upstream-ADR-103 schema change cascades cleanly.
+ */
+import { createPrivateKey, createPublicKey, sign, verify, generateKeyPairSync, createHash, } from 'node:crypto';
+import { ARTIFACT_ENVELOPE_KIND, ARTIFACT_ENVELOPE_VERSION, SignedPageRankEnvelopeSchema, SignedPageRankPayloadSchema, } from '../domain/signed-artifact.js';
+/** Canonical-JSON for deterministic signing — omits undefined keys, sorts. */
+export function canonicalJSON(value) {
+    if (value === undefined)
+        return 'null';
+    if (value === null || typeof value !== 'object')
+        return JSON.stringify(value);
+    if (Array.isArray(value))
+        return '[' + value.map(canonicalJSON).join(',') + ']';
+    const obj = value;
+    const keys = Object.keys(obj).filter((k) => obj[k] !== undefined).sort();
+    return '{' + keys.map((k) => JSON.stringify(k) + ':' + canonicalJSON(obj[k])).join(',') + '}';
+}
+export function sha256Hex(input) {
+    return createHash('sha256').update(input).digest('hex');
+}
+export function generateWitnessKey() {
+    const { privateKey, publicKey } = generateKeyPairSync('ed25519');
+    return { privateKey, publicKey, publicKeyHex: extractPubkeyHex(publicKey) };
+}
+export function loadWitnessKey(privateKeyPem) {
+    const privateKey = createPrivateKey(privateKeyPem);
+    const publicKey = createPublicKey(privateKey);
+    return { privateKey, publicKey, publicKeyHex: extractPubkeyHex(publicKey) };
+}
+function extractPubkeyHex(publicKey) {
+    const der = publicKey.export({ format: 'der', type: 'spki' });
+    return der.subarray(der.length - 32).toString('hex');
+}
+export function resolveWitnessKey() {
+    const envKey = process.env.RUFLO_GRAPH_INTELLIGENCE_WITNESS_KEY;
+    if (envKey)
+        return loadWitnessKey(envKey);
+    return generateWitnessKey();
+}
+export function sealArtifact(input) {
+    const key = input.witnessKey ?? resolveWitnessKey();
+    const payload = SignedPageRankPayloadSchema.parse({
+        envelopeVersion: ARTIFACT_ENVELOPE_VERSION,
+        kind: ARTIFACT_ENVELOPE_KIND,
+        installationId: input.installationId,
+        witnessKeyId: input.witnessKeyId,
+        publicKey: key.publicKeyHex,
+        graphId: input.graphId,
+        graphHash: input.graphHash,
+        graphTimestamp: input.graphTimestamp,
+        algorithm: input.algorithm,
+        alpha: input.alpha,
+        epsilon: input.epsilon,
+        queryNode: input.queryNode,
+        seedNodes: [...input.seedNodes],
+        result: input.result,
+        complexityClass: input.result.complexityClass,
+        coherenceScore: input.result.coherence.score,
+        resultHash: input.result.resultHash,
+        sealedAt: input.sealedAt ?? new Date().toISOString(),
+        solverVersion: 'sublinear-time-solver@1.7.0',
+    });
+    const canonical = canonicalJSON(payload);
+    const sigBuf = sign(null, Buffer.from(canonical, 'utf8'), key.privateKey);
+    return {
+        envelope: { payload, signature: sigBuf.toString('hex'), algorithm: 'ed25519' },
+        publicKeyHex: key.publicKeyHex,
+    };
+}
+export function verifyArtifact(envelope, options = {}) {
+    const parsed = SignedPageRankEnvelopeSchema.safeParse(envelope);
+    if (!parsed.success) {
+        return {
+            valid: false,
+            signatureValid: false,
+            schemaValid: false,
+            integrityValid: false,
+            reason: 'schema: ' + parsed.error.issues.map((i) => i.path.join('.') + ' ' + i.message).join('; '),
+        };
+    }
+    const { payload, signature } = parsed.data;
+    if (options.trustedPublicKeys && !options.trustedPublicKeys.includes(payload.publicKey)) {
+        return {
+            valid: false,
+            signatureValid: false,
+            schemaValid: true,
+            integrityValid: false,
+            publicKey: payload.publicKey,
+            reason: 'signer not in trusted list',
+        };
+    }
+    // Integrity: result.resultHash must match payload.resultHash
+    if (payload.result.resultHash !== payload.resultHash) {
+        return {
+            valid: false,
+            signatureValid: false,
+            schemaValid: true,
+            integrityValid: false,
+            publicKey: payload.publicKey,
+            reason: 'result.resultHash != payload.resultHash (tampered)',
+        };
+    }
+    // Coherence echo must match
+    if (Math.abs(payload.result.coherence.score - payload.coherenceScore) > 1e-9) {
+        return {
+            valid: false,
+            signatureValid: false,
+            schemaValid: true,
+            integrityValid: false,
+            publicKey: payload.publicKey,
+            reason: 'coherenceScore echo mismatch (tampered)',
+        };
+    }
+    // Complexity-class echo must match
+    if (payload.result.complexityClass !== payload.complexityClass) {
+        return {
+            valid: false,
+            signatureValid: false,
+            schemaValid: true,
+            integrityValid: false,
+            publicKey: payload.publicKey,
+            reason: 'complexityClass echo mismatch (tampered)',
+        };
+    }
+    // Signature
+    try {
+        const spkiPrefix = Buffer.from('302a300506032b6570032100', 'hex');
+        const der = Buffer.concat([spkiPrefix, Buffer.from(payload.publicKey, 'hex')]);
+        const pk = createPublicKey({ key: der, format: 'der', type: 'spki' });
+        const canonical = canonicalJSON(payload);
+        const sigValid = verify(null, Buffer.from(canonical, 'utf8'), pk, Buffer.from(signature, 'hex'));
+        return {
+            valid: sigValid,
+            signatureValid: sigValid,
+            schemaValid: true,
+            integrityValid: true,
+            publicKey: payload.publicKey,
+            complexityClass: payload.complexityClass,
+            coherenceScore: payload.coherenceScore,
+            reason: sigValid ? undefined : 'signature verification failed (envelope tampered)',
+        };
+    }
+    catch (err) {
+        return {
+            valid: false,
+            signatureValid: false,
+            schemaValid: true,
+            integrityValid: false,
+            publicKey: payload.publicKey,
+            reason: 'verify threw: ' + (err instanceof Error ? err.message : String(err)),
+        };
+    }
+}
+//# sourceMappingURL=witness-signer.js.map

package/dist/infrastructure/witness-signer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"witness-signer.js","sourceRoot":"","sources":["../../src/infrastructure/witness-signer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,gBAAgB,EAChB,eAAe,EACf,IAAI,EACJ,MAAM,EACN,mBAAmB,EACnB,UAAU,GAEX,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,4BAA4B,EAC5B,2BAA2B,GAI5B,MAAM,8BAA8B,CAAC;AAStC,8EAA8E;AAC9E,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACvC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IAChF,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;IACzE,OAAO,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,KAAsB;IAC9C,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,kBAAkB;IAChC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;IACjE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,aAAqB;IAClD,MAAM,UAAU,GAAG,gBAAgB,CAAC,aAAa,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC9C,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,gBAAgB,CAAC,SAAoB;IAC5C,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9D,OAAO,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,iBAAiB;IAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC;IAChE,IAAI,MAAM;QAAE,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC;IAC1C,OAAO,kBAAkB,EAAE,CAAC;AAC9B,CAAC;AAkBD,MAAM,UAAU,YAAY,CAAC,KAAwB;IAInD,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,IAAI,iBAAiB,EAAE,CAAC;IACpD,MAAM,OAAO,GAA0B,2BAA2B,CAAC,KAAK,CAAC;QACvE,eAAe,EAAE,yBAAyB;QAC1C,IAAI,EAAE,sBAAsB;QAC5B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,SAAS,EAAE,GAAG,CAAC,YAAY;QAC3B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC;QAC/B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC,eAAe;QAC7C,cAAc,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK;QAC5C,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU;QACnC,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpD,aAAa,EAAE,6BAA6B;KAC7C,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC1E,OAAO;QACL,QAAQ,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE;QAC9E,YAAY,EAAE,GAAG,CAAC,YAAY;KAC/B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,QAAiB,EACjB,UAA4C,EAAE;IAE9C,MAAM,MAAM,GAAG,4BAA4B,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAChE,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,cAAc,EAAE,KAAK;YACrB,WAAW,EAAE,KAAK;YAClB,cAAc,EAAE,KAAK;YACrB,MAAM,EAAE,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;SACnG,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IAE3C,IAAI,OAAO,CAAC,iBAAiB,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACxF,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,cAAc,EAAE,KAAK;YACrB,WAAW,EAAE,IAAI;YACjB,cAAc,EAAE,KAAK;YACrB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,MAAM,EAAE,4BAA4B;SACrC,CAAC;IACJ,CAAC;IAED,6DAA6D;IAC7D,IAAI,OAAO,CAAC,MAAM,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;QACrD,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,cAAc,EAAE,KAAK;YACrB,WAAW,EAAE,IAAI;YACjB,cAAc,EAAE,KAAK;YACrB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,MAAM,EAAE,oDAAoD;SAC7D,CAAC;IACJ,CAAC;IACD,4BAA4B;IAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,IAAI,EAAE,CAAC;QAC7E,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,cAAc,EAAE,KAAK;YACrB,WAAW,EAAE,IAAI;YACjB,cAAc,EAAE,KAAK;YACrB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,MAAM,EAAE,yCAAyC;SAClD,CAAC;IACJ,CAAC;IACD,mCAAmC;IACnC,IAAI,OAAO,CAAC,MAAM,CAAC,eAAe,KAAK,OAAO,CAAC,eAAe,EAAE,CAAC;QAC/D,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,cAAc,EAAE,KAAK;YACrB,WAAW,EAAE,IAAI;YACjB,cAAc,EAAE,KAAK;YACrB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,MAAM,EAAE,0CAA0C;SACnD,CAAC;IACJ,CAAC;IAED,YAAY;IACZ,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,0BAA0B,EAAE,KAAK,CAAC,CAAC;QAClE,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC/E,MAAM,EAAE,GAAG,eAAe,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACtE,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;QACjG,OAAO;YACL,KAAK,EAAE,QAAQ;YACf,cAAc,EAAE,QAAQ;YACxB,WAAW,EAAE,IAAI;YACjB,cAAc,EAAE,IAAI;YACpB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,mDAAmD;SACnF,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,cAAc,EAAE,KAAK;YACrB,WAAW,EAAE,IAAI;YACjB,cAAc,EAAE,KAAK;YACrB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,MAAM,EAAE,gBAAgB,GAAG,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;SAC9E,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/mcp-tools/index.d.ts

@@ -0,0 +1,27 @@
+/**
+ * ruflo-graph-intelligence — MCP Tool Surface (ADR-123 § Architecture)
+ *
+ * Six tools mounted under `sublinear/*`:
+ *   - sublinear/page-rank-entry  — single-entry PPR (workhorse)
+ *   - sublinear/solve            — full A·x = b
+ *   - sublinear/solve-on-change  — incremental delta (Wedge 12, streaming)
+ *   - sublinear/feasibility      — packing/covering LP feasibility
+ *   - sublinear/jl-embed         — Johnson-Lindenstrauss projection
+ *   - sublinear/analyze          — diagnostics (coherence, sparsity, recommended algo)
+ *
+ * Every tool accepts maxComplexityClass + coherenceThreshold.
+ */
+export interface MCPTool {
+    name: string;
+    description: string;
+    category: string;
+    inputSchema: {
+        type: 'object';
+        properties: Record<string, unknown>;
+        required?: string[];
+    };
+    handler: (input: Record<string, unknown>) => Promise<unknown>;
+}
+export declare const graphIntelligenceTools: MCPTool[];
+export default graphIntelligenceTools;
+//# sourceMappingURL=index.d.ts.map

package/dist/mcp-tools/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/mcp-tools/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAgBH,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ,CAAC;QACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACpC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;KACrB,CAAC;IACF,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CAC/D;AAED,eAAO,MAAM,sBAAsB,EAAE,OAAO,EAiR3C,CAAC;AAEF,eAAe,sBAAsB,CAAC"}

package/dist/mcp-tools/index.js

@@ -0,0 +1,292 @@
+/**
+ * ruflo-graph-intelligence — MCP Tool Surface (ADR-123 § Architecture)
+ *
+ * Six tools mounted under `sublinear/*`:
+ *   - sublinear/page-rank-entry  — single-entry PPR (workhorse)
+ *   - sublinear/solve            — full A·x = b
+ *   - sublinear/solve-on-change  — incremental delta (Wedge 12, streaming)
+ *   - sublinear/feasibility      — packing/covering LP feasibility
+ *   - sublinear/jl-embed         — Johnson-Lindenstrauss projection
+ *   - sublinear/analyze          — diagnostics (coherence, sparsity, recommended algo)
+ *
+ * Every tool accepts maxComplexityClass + coherenceThreshold.
+ */
+import { getRegistry } from '../domain/adapter.js';
+import { PageRankQuerySchema, SolveQuerySchema, SolveOnChangeQuerySchema, } from '../domain/types.js';
+import { runPageRank, runSolve, runSolveOnChange, checkCoherence, } from '../infrastructure/solver-bridge.js';
+export const graphIntelligenceTools = [
+    {
+        name: 'sublinear/page-rank-entry',
+        description: 'Single-entry personalized PageRank over a registered RuFlo graph. O(log n) on DD inputs. Returns score + observed complexity-class + coherence margin. Accepts maxComplexityClass budget gate (default linear) and coherenceThreshold (default 0 = disabled).',
+        category: 'graph-intelligence',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                graphId: { type: 'string', description: 'Adapter-registered graph identifier' },
+                nodeId: { type: 'string', description: 'Node to compute PR score for (single-entry query)' },
+                alpha: { type: 'number', description: 'Damping factor (default 0.85)' },
+                epsilon: { type: 'number', description: 'Convergence target (default 1e-3)' },
+                seedNodes: {
+                    type: 'array',
+                    items: { type: 'string' },
+                    description: 'For personalized PR — seed nodes carrying restart distribution',
+                },
+                maxComplexityClass: {
+                    type: 'string',
+                    description: '12-tier upstream class budget (constant/logarithmic/polylogarithmic/sublinear/linear/...); default linear',
+                },
+                coherenceThreshold: {
+                    type: 'number',
+                    description: 'DD margin floor in [-∞, 1] (default 0 = disabled)',
+                },
+            },
+            required: ['graphId', 'nodeId'],
+        },
+        handler: async (input) => {
+            const query = PageRankQuerySchema.parse(input);
+            const adapter = getRegistry().get(query.graphId);
+            if (!adapter) {
+                return { success: false, error: { kind: 'graph-not-found', message: `no adapter for graphId=${query.graphId}` } };
+            }
+            const matrix = await adapter.exportAsSparseMatrix();
+            try {
+                const result = runPageRank(matrix, query);
+                return { success: true, result };
+            }
+            catch (err) {
+                return { success: false, error: err };
+            }
+        },
+    },
+    {
+        name: 'sublinear/solve',
+        description: 'Full linear solve A·x = b over a registered graph. CG (symmetric PD) or Neumann (general DD). Returns x + residual + observed complexity-class + coherence margin.',
+        category: 'graph-intelligence',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                graphId: { type: 'string' },
+                rhs: { type: 'array', items: { type: 'number' } },
+                algorithm: { type: 'string', enum: ['cg', 'neumann', 'random-walk'] },
+                maxComplexityClass: { type: 'string' },
+                coherenceThreshold: { type: 'number' },
+            },
+            required: ['graphId', 'rhs'],
+        },
+        handler: async (input) => {
+            const query = SolveQuerySchema.parse(input);
+            const adapter = getRegistry().get(query.graphId);
+            if (!adapter) {
+                return { success: false, error: { kind: 'graph-not-found', message: `no adapter for graphId=${query.graphId}` } };
+            }
+            const matrix = await adapter.exportAsSparseMatrix();
+            try {
+                const result = runSolve(matrix, query);
+                return { success: true, result };
+            }
+            catch (err) {
+                return { success: false, error: err };
+            }
+        },
+    },
+    {
+        name: 'sublinear/solve-on-change',
+        description: 'Incremental solve A·dx = δ then x_new = x_prev + dx (Wedge 12, ADR-123). For event-driven streaming systems (federation trust deltas, span streams, append-only causal breaks). Sparse δ → asymptotically faster than full re-solve.',
+        category: 'graph-intelligence',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                graphId: { type: 'string' },
+                prevSolution: { type: 'array', items: { type: 'number' } },
+                delta: {
+                    type: 'object',
+                    properties: {
+                        indices: { type: 'array', items: { type: 'number' } },
+                        values: { type: 'array', items: { type: 'number' } },
+                    },
+                },
+                algorithm: { type: 'string', enum: ['cg', 'neumann'] },
+                maxComplexityClass: { type: 'string' },
+            },
+            required: ['graphId', 'prevSolution', 'delta'],
+        },
+        handler: async (input) => {
+            const query = SolveOnChangeQuerySchema.parse(input);
+            const adapter = getRegistry().get(query.graphId);
+            if (!adapter) {
+                return { success: false, error: { kind: 'graph-not-found', message: `no adapter for graphId=${query.graphId}` } };
+            }
+            const matrix = await adapter.exportAsSparseMatrix();
+            try {
+                const result = runSolveOnChange(matrix, query);
+                return { success: true, result };
+            }
+            catch (err) {
+                return { success: false, error: err };
+            }
+        },
+    },
+    {
+        name: 'sublinear/analyze',
+        description: 'Diagnostic report on a registered graph: coherence margin (DD), sparsity, square-size, recommended algorithm. Use before sublinear/solve to choose algorithm + budget.',
+        category: 'graph-intelligence',
+        inputSchema: {
+            type: 'object',
+            properties: { graphId: { type: 'string' } },
+            required: ['graphId'],
+        },
+        handler: async (input) => {
+            const graphId = input.graphId;
+            const adapter = getRegistry().get(graphId);
+            if (!adapter) {
+                return { success: false, error: { kind: 'graph-not-found', message: `no adapter for graphId=${graphId}` } };
+            }
+            const matrix = await adapter.exportAsSparseMatrix();
+            const coherence = checkCoherence(matrix, 0);
+            const nonzeros = matrix.entries.length;
+            const density = nonzeros / (matrix.size * matrix.size);
+            const recommendedAlgorithm = density < 0.01 ? 'forward-push' : coherence.score > 0 ? 'cg' : 'neumann';
+            return {
+                success: true,
+                result: {
+                    graphId,
+                    size: matrix.size,
+                    nonzeros,
+                    density,
+                    coherenceScore: coherence.score,
+                    isDiagonallyDominant: coherence.score > 0,
+                    recommendedAlgorithm,
+                },
+            };
+        },
+    },
+    {
+        name: 'sublinear/feasibility',
+        description: 'Packing/covering LP feasibility check (Kyng-Sachdeva style). Wedge 9 — pre-flight check before invoking A* / heavy planners.',
+        category: 'graph-intelligence',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                constraints: { type: 'array', description: 'A·x ≤ b constraint set' },
+                tolerance: { type: 'number', description: 'Slack for soft constraints (default 0.05)' },
+                maxComplexityClass: { type: 'string' },
+            },
+            required: ['constraints'],
+        },
+        handler: async (input) => {
+            // Phase 6: relaxed packing/covering LP. Each constraint is a row Aᵢ
+            // with shape { coeffs: Record<varId, number>, bound: number, kind: 'leq'|'geq'|'eq' }.
+            // The relaxed check: does there exist x ≥ 0 satisfying all constraints within `tolerance`?
+            // For Phase 6 we ship a tight bounded-variable LP via a simple Lagrangian
+            // shrink-on-violation pass. Real Kyng–Sachdeva solver wires in Phase 7+.
+            const constraints = input.constraints ?? [];
+            const tolerance = input.tolerance ?? 0.05;
+            if (constraints.length === 0) {
+                return { success: true, result: { feasible: true, witness: {}, method: 'no-constraints' } };
+            }
+            // Collect variables; initialise x = 0 (the trivial point).
+            const varSet = new Set();
+            for (const c of constraints)
+                for (const k of Object.keys(c.coeffs))
+                    varSet.add(k);
+            const vars = [...varSet];
+            const x = {};
+            for (const v of vars)
+                x[v] = 0;
+            // 200-iter Lagrangian shrink: for each violated row, push x toward
+            // satisfaction by a small step proportional to violation magnitude.
+            const stepSize = 0.05;
+            for (let it = 0; it < 200; it++) {
+                let maxViolation = 0;
+                for (const c of constraints) {
+                    let lhs = 0;
+                    for (const [k, w] of Object.entries(c.coeffs))
+                        lhs += (x[k] ?? 0) * w;
+                    const kind = c.kind ?? 'leq';
+                    let violation = 0;
+                    if (kind === 'leq' && lhs > c.bound)
+                        violation = lhs - c.bound;
+                    else if (kind === 'geq' && lhs < c.bound)
+                        violation = c.bound - lhs;
+                    else if (kind === 'eq')
+                        violation = Math.abs(lhs - c.bound);
+                    if (violation > maxViolation)
+                        maxViolation = violation;
+                    if (violation === 0)
+                        continue;
+                    for (const [k, w] of Object.entries(c.coeffs)) {
+                        if (w === 0)
+                            continue;
+                        const direction = kind === 'leq' ? -Math.sign(w) : Math.sign(w);
+                        x[k] = Math.max(0, (x[k] ?? 0) + direction * stepSize * (violation / Math.abs(w)));
+                    }
+                }
+                if (maxViolation <= tolerance) {
+                    return { success: true, result: { feasible: true, witness: x, iterations: it + 1, method: 'lagrangian-shrink' } };
+                }
+            }
+            // Couldn't satisfy within iteration cap — infeasibility certificate
+            // is the residual violation vector.
+            const residuals = constraints.map((c) => {
+                let lhs = 0;
+                for (const [k, w] of Object.entries(c.coeffs))
+                    lhs += (x[k] ?? 0) * w;
+                return { lhs, bound: c.bound, kind: c.kind ?? 'leq' };
+            });
+            return {
+                success: true,
+                result: {
+                    feasible: false,
+                    witness: x,
+                    certificateOfInfeasibility: residuals,
+                    method: 'lagrangian-shrink (capped)',
+                },
+            };
+        },
+    },
+    {
+        name: 'sublinear/jl-embed',
+        description: 'Johnson-Lindenstrauss projection. Maps vectors to a target dimension with ε-distortion. Replaces @claude-flow/embeddings hand-rolled JL (closes ADR-121 Phase 4 follow-up).',
+        category: 'graph-intelligence',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                vectors: { type: 'array', description: 'Input vectors' },
+                targetDim: { type: 'number' },
+                epsilon: { type: 'number' },
+            },
+            required: ['vectors', 'targetDim'],
+        },
+        handler: async (input) => {
+            // Phase 6: real JL via jlEmbed (replaces ADR-121 hand-rolled).
+            const { jlEmbed } = await import('../infrastructure/jl-embed.js');
+            const vectors = input.vectors ?? [];
+            const targetDim = input.targetDim ?? 64;
+            const epsilon = input.epsilon ?? 0.1;
+            try {
+                const result = jlEmbed(vectors, { targetDim, epsilon });
+                return {
+                    success: true,
+                    result: {
+                        projected: result.projected,
+                        targetDim: result.targetDim,
+                        distortionBound: result.epsilon,
+                        withinAchlioptasBound: result.withinAchlioptasBound,
+                        method: 'real JL — Gaussian projection with k ≤ n−1 cap',
+                    },
+                };
+            }
+            catch (err) {
+                return {
+                    success: false,
+                    error: {
+                        kind: 'invalid-input',
+                        message: err instanceof Error ? err.message : String(err),
+                    },
+                };
+            }
+        },
+    },
+];
+export default graphIntelligenceTools;
+//# sourceMappingURL=index.js.map

package/dist/mcp-tools/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/mcp-tools/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,WAAW,EACX,QAAQ,EACR,gBAAgB,EAEhB,cAAc,GACf,MAAM,oCAAoC,CAAC;AAc5C,MAAM,CAAC,MAAM,sBAAsB,GAAc;IAC/C;QACE,IAAI,EAAE,2BAA2B;QACjC,WAAW,EACT,+PAA+P;QACjQ,QAAQ,EAAE,oBAAoB;QAC9B,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,qCAAqC,EAAE;gBAC/E,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,mDAAmD,EAAE;gBAC5F,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,+BAA+B,EAAE;gBACvE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,mCAAmC,EAAE;gBAC7E,SAAS,EAAE;oBACT,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzB,WAAW,EAAE,gEAAgE;iBAC9E;gBACD,kBAAkB,EAAE;oBAClB,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,2GAA2G;iBACzH;gBACD,kBAAkB,EAAE;oBAClB,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mDAAmD;iBACjE;aACF;YACD,QAAQ,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;SAChC;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;YACvB,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/C,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACjD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,0BAA0B,KAAK,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC;YACpH,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,oBAAoB,EAAE,CAAC;YACpD,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAC1C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YACnC,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YACxC,CAAC;QACH,CAAC;KACF;IAED;QACE,IAAI,EAAE,iBAAiB;QACvB,WAAW,EACT,oKAAoK;QACtK,QAAQ,EAAE,oBAAoB;QAC9B,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;gBACjD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,aAAa,CAAC,EAAE;gBACrE,kBAAkB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACtC,kBAAkB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;aACvC;YACD,QAAQ,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC;SAC7B;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;YACvB,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5C,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACjD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,0BAA0B,KAAK,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC;YACpH,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,oBAAoB,EAAE,CAAC;YACpD,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBACvC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YACnC,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YACxC,CAAC;QACH,CAAC;KACF;IAED;QACE,IAAI,EAAE,2BAA2B;QACjC,WAAW,EACT,sOAAsO;QACxO,QAAQ,EAAE,oBAAoB;QAC9B,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAC3B,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;gBAC1D,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE;wBACV,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;wBACrD,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;qBACrD;iBACF;gBACD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE;gBACtD,kBAAkB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;aACvC;YACD,QAAQ,EAAE,CAAC,SAAS,EAAE,cAAc,EAAE,OAAO,CAAC;SAC/C;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;YACvB,MAAM,KAAK,GAAG,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACpD,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACjD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,0BAA0B,KAAK,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC;YACpH,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,oBAAoB,EAAE,CAAC;YACpD,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAC/C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YACnC,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YACxC,CAAC;QACH,CAAC;KACF;IAED;QACE,IAAI,EAAE,mBAAmB;QACzB,WAAW,EACT,wKAAwK;QAC1K,QAAQ,EAAE,oBAAoB;QAC9B,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;YAC3C,QAAQ,EAAE,CAAC,SAAS,CAAC;SACtB;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;YACvB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAiB,CAAC;YACxC,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC3C,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,0BAA0B,OAAO,EAAE,EAAE,EAAE,CAAC;YAC9G,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,oBAAoB,EAAE,CAAC;YACpD,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC5C,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;YACvC,MAAM,OAAO,GAAG,QAAQ,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACvD,MAAM,oBAAoB,GAAG,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACtG,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE;oBACN,OAAO;oBACP,IAAI,EAAE,MAAM,CAAC,IAAI;oBACjB,QAAQ;oBACR,OAAO;oBACP,cAAc,EAAE,SAAS,CAAC,KAAK;oBAC/B,oBAAoB,EAAE,SAAS,CAAC,KAAK,GAAG,CAAC;oBACzC,oBAAoB;iBACrB;aACF,CAAC;QACJ,CAAC;KACF;IAED;QACE,IAAI,EAAE,uBAAuB;QAC7B,WAAW,EACT,8HAA8H;QAChI,QAAQ,EAAE,oBAAoB;QAC9B,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,wBAAwB,EAAE;gBACrE,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,2CAA2C,EAAE;gBACvF,kBAAkB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;aACvC;YACD,QAAQ,EAAE,CAAC,aAAa,CAAC;SAC1B;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;YACvB,oEAAoE;YACpE,uFAAuF;YACvF,2FAA2F;YAC3F,0EAA0E;YAC1E,yEAAyE;YACzE,MAAM,WAAW,GAAI,KAAK,CAAC,WAIxB,IAAI,EAAE,CAAC;YACV,MAAM,SAAS,GAAI,KAAK,CAAC,SAAoB,IAAI,IAAI,CAAC;YACtD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7B,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,EAAE,CAAC;YAC9F,CAAC;YACD,2DAA2D;YAC3D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;YACjC,KAAK,MAAM,CAAC,IAAI,WAAW;gBAAE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;oBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClF,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;YACzB,MAAM,CAAC,GAA2B,EAAE,CAAC;YACrC,KAAK,MAAM,CAAC,IAAI,IAAI;gBAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC/B,mEAAmE;YACnE,oEAAoE;YACpE,MAAM,QAAQ,GAAG,IAAI,CAAC;YACtB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC;gBAChC,IAAI,YAAY,GAAG,CAAC,CAAC;gBACrB,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;oBAC5B,IAAI,GAAG,GAAG,CAAC,CAAC;oBACZ,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;wBAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;oBACtE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC;oBAC7B,IAAI,SAAS,GAAG,CAAC,CAAC;oBAClB,IAAI,IAAI,KAAK,KAAK,IAAI,GAAG,GAAG,CAAC,CAAC,KAAK;wBAAE,SAAS,GAAG,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC;yBAC1D,IAAI,IAAI,KAAK,KAAK,IAAI,GAAG,GAAG,CAAC,CAAC,KAAK;wBAAE,SAAS,GAAG,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC;yBAC/D,IAAI,IAAI,KAAK,IAAI;wBAAE,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;oBAC5D,IAAI,SAAS,GAAG,YAAY;wBAAE,YAAY,GAAG,SAAS,CAAC;oBACvD,IAAI,SAAS,KAAK,CAAC;wBAAE,SAAS;oBAC9B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC9C,IAAI,CAAC,KAAK,CAAC;4BAAE,SAAS;wBACtB,MAAM,SAAS,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;wBAChE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,GAAG,QAAQ,GAAG,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACrF,CAAC;gBACH,CAAC;gBACD,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;oBAC9B,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAAE,CAAC;gBACpH,CAAC;YACH,CAAC;YACD,oEAAoE;YACpE,oCAAoC;YACpC,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACtC,IAAI,GAAG,GAAG,CAAC,CAAC;gBACZ,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;oBAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBACtE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,KAAK,EAAE,CAAC;YACxD,CAAC,CAAC,CAAC;YACH,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE;oBACN,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE,CAAC;oBACV,0BAA0B,EAAE,SAAS;oBACrC,MAAM,EAAE,4BAA4B;iBACrC;aACF,CAAC;QACJ,CAAC;KACF;IAED;QACE,IAAI,EAAE,oBAAoB;QAC1B,WAAW,EACT,6KAA6K;QAC/K,QAAQ,EAAE,oBAAoB;QAC9B,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE;gBACxD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAC7B,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC5B;YACD,QAAQ,EAAE,CAAC,SAAS,EAAE,WAAW,CAAC;SACnC;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;YACvB,+DAA+D;YAC/D,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,MAAM,CAAC,+BAA+B,CAAC,CAAC;YAClE,MAAM,OAAO,GAAI,KAAK,CAAC,OAAsB,IAAI,EAAE,CAAC;YACpD,MAAM,SAAS,GAAI,KAAK,CAAC,SAAoB,IAAI,EAAE,CAAC;YACpD,MAAM,OAAO,GAAI,KAAK,CAAC,OAAkB,IAAI,GAAG,CAAC;YACjD,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;gBACxD,OAAO;oBACL,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE;wBACN,SAAS,EAAE,MAAM,CAAC,SAAS;wBAC3B,SAAS,EAAE,MAAM,CAAC,SAAS;wBAC3B,eAAe,EAAE,MAAM,CAAC,OAAO;wBAC/B,qBAAqB,EAAE,MAAM,CAAC,qBAAqB;wBACnD,MAAM,EAAE,gDAAgD;qBACzD;iBACF,CAAC;YACJ,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,eAAe;wBACrB,OAAO,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;qBAC1D;iBACF,CAAC;YACJ,CAAC;QACH,CAAC;KACF;CACF,CAAC;AAEF,eAAe,sBAAsB,CAAC"}

package/package.json

@@ -0,0 +1,55 @@
+{
+  "name": "ruflo-graph-intelligence",
+  "version": "0.1.0-alpha.1",
+  "description": "RuFlo Graph Intelligence Engine — real-time relationship intelligence with complexity-aware execution. Single-entry personalized PageRank, streaming delta updates, witness-signed reasoning artifacts over RuFlo's substrate graphs.",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": "./dist/index.js",
+    "./mcp-tools": "./dist/mcp-tools/index.js",
+    "./adapters": "./dist/adapters/index.js"
+  },
+  "scripts": {
+    "build": "tsc",
+    "dev": "tsc --watch",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "lint": "eslint src/",
+    "typecheck": "tsc --noEmit",
+    "bench": "node scripts/benchmark-substrate.mjs"
+  },
+  "dependencies": {
+    "sublinear-time-solver": "^1.7.0",
+    "zod": "^3.22.4"
+  },
+  "peerDependencies": {
+    "@claude-flow/cli": ">=3.5.0"
+  },
+  "devDependencies": {
+    "@types/node": "^20.10.0",
+    "typescript": "^5.3.0",
+    "vitest": "^4.0.16"
+  },
+  "keywords": [
+    "ruflo",
+    "graph-intelligence",
+    "pagerank",
+    "sublinear",
+    "complexity-aware",
+    "personalized-pagerank",
+    "agent-substrate",
+    "mcp",
+    "claude-flow"
+  ],
+  "author": "ruvnet",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/ruvnet/ruflo.git",
+    "directory": "plugins/ruflo-graph-intelligence"
+  },
+  "engines": {
+    "node": ">=20.0.0"
+  }
+}