@jack200714/mafw 4.5.1

package/gateway/dist/feedback/deferred-memory.js

@@ -0,0 +1,13 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DeferredMemory = void 0;
+const DISTILL_THRESHOLD = 3;
+class DeferredMemory {
+    topicCount = new Map();
+    recordObservation(observation, topic) {
+        const count = (this.topicCount.get(topic) || 0) + 1;
+        this.topicCount.set(topic, count);
+        return { shouldDistill: count >= DISTILL_THRESHOLD, count };
+    }
+}
+exports.DeferredMemory = DeferredMemory;

package/gateway/dist/feedback/miss-attribution.js

@@ -0,0 +1,20 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.classifyMiss = classifyMiss;
+const derived_terms_1 = require("../memory/derived-terms");
+function classifyMiss(input) {
+    const queryTokens = (0, derived_terms_1.tokenize)(input.query);
+    const candidateAnchors = [];
+    if (input.relatedMemoryExists && input.matchedCount === 0) {
+        for (const qt of queryTokens) {
+            if (qt.length > 1 && !input.relatedMemoryAnchors.some(a => a.includes(qt))) {
+                candidateAnchors.push(qt);
+            }
+        }
+        return { cause: 'anchor_poor', candidates: candidateAnchors.slice(0, 3) };
+    }
+    if (input.matchedCount > 3) {
+        return { cause: 'irrelevant_memory', candidates: [] };
+    }
+    return { cause: 'anchor_poor', candidates: candidateAnchors.slice(0, 3) };
+}

package/gateway/dist/graph/anchor-graph-store.js

@@ -0,0 +1,113 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AnchorGraphStore = void 0;
+/**
+ * SQLite-backed anchor graph for multi-hop retrieval (Memora-style). Maps
+ * cue_anchors → units (anchor_units) and derives unit↔unit edges from shared
+ * anchors (anchor_edges). Edge weight = sum of shared anchors' IDF (noisy/hub
+ * anchors filtered by IDFStats). Kept in sync by the harmonic file-store write
+ * path; rebuilt on gateway startup for consistency.
+ */
+class AnchorGraphStore {
+    db;
+    idf;
+    constructor(db, idf) {
+        this.db = db;
+        this.idf = idf ?? null;
+    }
+    get rawDb() {
+        return this.db.db;
+    }
+    normalizePair(a, b) {
+        return a < b ? [a, b] : [b, a];
+    }
+    upsertUnit(unitId, anchors) {
+        if (!unitId || !Array.isArray(anchors))
+            return;
+        const unique = [...new Set(anchors.filter(a => typeof a === 'string' && a.length > 0))];
+        // 删除旧锚点行与旧边（全量重算该单元）
+        this.rawDb.prepare('DELETE FROM anchor_units WHERE unit_id = ?').run(unitId);
+        this.rawDb.prepare('DELETE FROM anchor_edges WHERE unit_a = ? OR unit_b = ?').run(unitId, unitId);
+        if (unique.length === 0)
+            return;
+        // 1. 插入锚点行
+        const insAnchor = this.rawDb.prepare('INSERT OR IGNORE INTO anchor_units (anchor, unit_id) VALUES (?, ?)');
+        for (const anchor of unique)
+            insAnchor.run(anchor, unitId);
+        // 2. 对每个锚点，找共享单元并建边
+        const candidates = new Map(); // unitId -> anchors
+        const sel = this.rawDb.prepare('SELECT unit_id FROM anchor_units WHERE anchor = ?');
+        for (const anchor of unique) {
+            if (this.idf && this.idf.isNoisy(anchor))
+                continue;
+            const rows = sel.all(anchor);
+            for (const row of rows) {
+                if (row.unit_id === unitId)
+                    continue;
+                if (!candidates.has(row.unit_id))
+                    candidates.set(row.unit_id, new Set());
+                candidates.get(row.unit_id).add(anchor);
+            }
+        }
+        const insEdge = this.rawDb.prepare(`INSERT INTO anchor_edges (unit_a, unit_b, shared_anchors, weight) VALUES (?, ?, ?, ?)
+       ON CONFLICT(unit_a, unit_b) DO UPDATE SET
+         shared_anchors = excluded.shared_anchors,
+         weight = excluded.weight,
+         updated_at = unixepoch()`);
+        const idf = this.idf;
+        for (const [otherId, sharedAnchors] of candidates) {
+            const [a, b] = this.normalizePair(unitId, otherId);
+            const weight = idf
+                ? [...sharedAnchors].reduce((sum, anchor) => sum + idf.idf(anchor), 0)
+                : sharedAnchors.size;
+            insEdge.run(a, b, sharedAnchors.size, weight);
+        }
+    }
+    removeUnit(unitId) {
+        this.rawDb.prepare('DELETE FROM anchor_units WHERE unit_id = ?').run(unitId);
+        this.rawDb.prepare('DELETE FROM anchor_edges WHERE unit_a = ? OR unit_b = ?').run(unitId, unitId);
+    }
+    getNeighbors(unitIds, topK, exclude) {
+        if (unitIds.length === 0)
+            return new Map();
+        const placeholders = unitIds.map(() => '?').join(',');
+        const rows = this.rawDb
+            .prepare(`SELECT unit_a, unit_b, shared_anchors, weight FROM anchor_edges
+         WHERE unit_a IN (${placeholders}) OR unit_b IN (${placeholders})
+         ORDER BY weight DESC`)
+            .all(...unitIds, ...unitIds);
+        const idSet = new Set(unitIds);
+        const result = new Map();
+        for (const row of rows) {
+            const nb = idSet.has(row.unit_a) ? row.unit_b : row.unit_a;
+            if (idSet.has(nb))
+                continue; // 命中-命中边跳过（非邻居）
+            if (exclude?.has(nb))
+                continue;
+            if (result.has(nb))
+                continue;
+            result.set(nb, { weight: row.weight, sharedAnchors: row.shared_anchors });
+            if (result.size >= topK)
+                break;
+        }
+        return result;
+    }
+    getSharedAnchors(a, b) {
+        const [x, y] = this.normalizePair(a, b);
+        const row = this.rawDb.prepare('SELECT shared_anchors FROM anchor_edges WHERE unit_a = ? AND unit_b = ?').get(x, y);
+        return row?.shared_anchors ?? 0;
+    }
+    rebuild(index) {
+        this.clear();
+        for (const entry of index.entries) {
+            if (entry.superseded_by)
+                continue;
+            this.upsertUnit(entry.id, entry.cue_anchors ?? []);
+        }
+    }
+    clear() {
+        this.rawDb.prepare('DELETE FROM anchor_edges').run();
+        this.rawDb.prepare('DELETE FROM anchor_units').run();
+    }
+}
+exports.AnchorGraphStore = AnchorGraphStore;

package/gateway/dist/graph/anchor-graph.js

@@ -0,0 +1,48 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AnchorGraph = void 0;
+class AnchorGraph {
+    anchorIndex = new Map();
+    hubThreshold;
+    constructor(hubThreshold = 20) {
+        this.hubThreshold = hubThreshold;
+    }
+    addUnit(id, anchors) {
+        for (const anchor of anchors) {
+            if (!this.anchorIndex.has(anchor)) {
+                this.anchorIndex.set(anchor, new Set());
+            }
+            this.anchorIndex.get(anchor).add(id);
+        }
+    }
+    buildImplicitEdges(idfStats) {
+        const edges = new Map();
+        for (const [anchor, ids] of this.anchorIndex) {
+            if (idfStats.isNoisy(anchor))
+                continue;
+            if (ids.size > this.hubThreshold)
+                continue;
+            for (const a of ids) {
+                for (const b of ids) {
+                    if (a >= b)
+                        continue;
+                    if (!edges.has(a))
+                        edges.set(a, new Set());
+                    edges.get(a).add(b);
+                    if (!edges.has(b))
+                        edges.set(b, new Set());
+                    edges.get(b).add(a);
+                }
+            }
+        }
+        return edges;
+    }
+    isHubNode(anchor) {
+        const ids = this.anchorIndex.get(anchor);
+        return ids !== undefined && ids.size > this.hubThreshold;
+    }
+    getNeighbors(id, implicitEdges) {
+        return [...(implicitEdges.get(id) || [])];
+    }
+}
+exports.AnchorGraph = AnchorGraph;

package/gateway/dist/health.js

@@ -0,0 +1,53 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createHealthServer = createHealthServer;
+/**
+ * Health Check — HTTP 健康检查端点
+ */
+const http = __importStar(require("http"));
+function createHealthServer(port) {
+    return http.createServer((req, res) => {
+        res.setHeader('Content-Type', 'application/json');
+        if (req.url === '/health') {
+            res.writeHead(200);
+            res.end(JSON.stringify({ status: 'ok', timestamp: new Date().toISOString() }));
+        }
+        else {
+            res.writeHead(404);
+            res.end(JSON.stringify({ error: 'Not found' }));
+        }
+    });
+}

package/gateway/dist/heartbeat.js

@@ -0,0 +1,109 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.HeartbeatMonitor = void 0;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const config_1 = require("./config");
+class HeartbeatMonitor {
+    statusPath;
+    timeoutMs;
+    constructor(projectDir = '.', timeoutMs = config_1.config.timeouts.heartbeatTimeout) {
+        this.statusPath = path.join(projectDir, config_1.config.paths.mafwDir, 'STATUS.md');
+        this.timeoutMs = timeoutMs;
+    }
+    /**
+     * 检查所有活跃 Goal 的心跳
+     */
+    check() {
+        const all = this.loadAll();
+        const running = all.filter(g => g.state === 'RUNNING');
+        const now = Date.now();
+        const healthy = [];
+        const stuck = [];
+        for (const g of running) {
+            const lastBeat = new Date(g.lastHeartbeat).getTime();
+            if (now - lastBeat > this.timeoutMs) {
+                stuck.push(g);
+            }
+            else {
+                healthy.push(g);
+            }
+        }
+        return { healthy, stuck };
+    }
+    /**
+     * 加载所有 Goal 状态
+     */
+    loadAll() {
+        if (!fs.existsSync(this.statusPath))
+            return [];
+        const content = fs.readFileSync(this.statusPath, 'utf-8');
+        return this.parse(content);
+    }
+    /**
+     * 解析多 Goal STATUS.md 格式
+     */
+    parse(content) {
+        const blocks = content.split('---').filter(b => b.trim());
+        const goals = [];
+        for (const block of blocks) {
+            const lines = block.trim().split('\n');
+            const parseLine = (key) => {
+                const line = lines.find(l => l.trim().startsWith(`${key}:`));
+                if (!line)
+                    return '';
+                const value = line.split(':').slice(1).join(':').trim();
+                return value.replace(/^"|"$/g, ''); // 去除引号
+            };
+            const goalId = parseLine('goalId');
+            if (!goalId)
+                continue;
+            goals.push({
+                goalId,
+                state: parseLine('state') || 'UNKNOWN',
+                loop: parseInt(parseLine('loop'), 10) || 0,
+                wave: parseInt(parseLine('wave'), 10) || 0,
+                task: parseLine('task') || '',
+                progress: parseLine('progress') || '0%',
+                lastHeartbeat: parseLine('lastHeartbeat') || new Date().toISOString(),
+                sessionId: parseLine('sessionId') || null,
+                directory: parseLine('directory') || '.'
+            });
+        }
+        return goals;
+    }
+}
+exports.HeartbeatMonitor = HeartbeatMonitor;