@grafema/core 0.1.0-alpha.1

package/dist/core/GuaranteeManager.d.ts

@@ -0,0 +1,230 @@
+/**
+ * GuaranteeManager - управление гарантиями/инвариантами кода
+ *
+ * GUARANTEE ноды хранят Datalog правила, которые код должен соблюдать.
+ * GOVERNS edges связывают гарантии с модулями, к которым они применяются.
+ *
+ * Workflow:
+ * 1. Создать гарантию (create) → GUARANTEE нода + GOVERNS edges
+ * 2. Проверить (check) → выполнить Datalog rule, найти нарушения
+ * 3. Экспортировать (export) → сохранить в YAML для version control
+ * 4. Импортировать (import) → загрузить из YAML в граф
+ * 5. Drift detection → сравнить граф с файлом
+ */
+/**
+ * Severity level for guarantees
+ */
+export type GuaranteeSeverity = 'error' | 'warning' | 'info';
+/**
+ * Guarantee definition
+ */
+export interface GuaranteeDefinition {
+    id: string;
+    name?: string;
+    rule: string;
+    severity?: GuaranteeSeverity;
+    governs?: string[];
+}
+/**
+ * Guarantee node structure
+ */
+export interface GuaranteeNode {
+    id: string;
+    type: 'GUARANTEE';
+    name: string;
+    rule: string;
+    severity: GuaranteeSeverity;
+    governs: string[];
+    version: 'meta';
+    createdAt: number;
+    governedModules?: string[];
+}
+/**
+ * Edge structure
+ */
+export interface GraphEdge {
+    type: string;
+    src: string;
+    dst: string;
+}
+/**
+ * Module node
+ */
+export interface ModuleNode {
+    id: string;
+    type: string;
+    file?: string;
+}
+/**
+ * Violation binding
+ */
+export interface ViolationBinding {
+    name: string;
+    value: string;
+}
+/**
+ * Violation result from Datalog
+ */
+export interface ViolationResult {
+    bindings?: ViolationBinding[];
+}
+/**
+ * Enriched violation info
+ */
+export interface EnrichedViolation {
+    nodeId: string;
+    type: string;
+    name?: string;
+    file?: string;
+    line?: number;
+}
+/**
+ * Check result for a single guarantee
+ */
+export interface GuaranteeCheckResult {
+    guaranteeId: string;
+    name: string;
+    severity: GuaranteeSeverity;
+    passed: boolean;
+    violationCount: number;
+    violations: EnrichedViolation[];
+    error: string | null;
+    checkDurationMs: number;
+}
+/**
+ * Check all result
+ */
+export interface CheckAllResult {
+    total: number;
+    passed: number;
+    failed: number;
+    errors: number;
+    results: GuaranteeCheckResult[];
+}
+/**
+ * Import options
+ */
+export interface ImportOptions {
+    clearExisting?: boolean;
+}
+/**
+ * Import result
+ */
+export interface ImportResult {
+    imported: number;
+    skipped: number;
+    importedIds: string[];
+    skippedIds: string[];
+}
+/**
+ * Modified guarantee in drift
+ */
+export interface ModifiedGuarantee {
+    id: string;
+    changes: string[];
+}
+/**
+ * Drift summary
+ */
+export interface DriftSummary {
+    onlyInGraph: number;
+    onlyInFile: number;
+    modified: number;
+    unchanged: number;
+}
+/**
+ * Drift result
+ */
+export interface DriftResult {
+    hasDrift: boolean;
+    summary: DriftSummary;
+    onlyInGraph: string[];
+    onlyInFile: string[];
+    modified: ModifiedGuarantee[];
+    unchanged: string[];
+}
+/**
+ * Export data format
+ */
+export interface ExportData {
+    version: number;
+    exportedAt: string;
+    guarantees: Array<{
+        id: string;
+        name: string;
+        rule: string;
+        severity: GuaranteeSeverity;
+        governs: string[];
+    }>;
+}
+/**
+ * Graph interface for GuaranteeManager
+ */
+export interface GuaranteeGraph {
+    addNode(node: GuaranteeNode): Promise<void>;
+    getNode(id: string): Promise<GuaranteeNode | ModuleNode | null>;
+    deleteNode(id: string): Promise<void>;
+    queryNodes(filter: {
+        type: string;
+    }): AsyncIterable<GuaranteeNode | ModuleNode>;
+    addEdge(edge: GraphEdge): Promise<void>;
+    deleteEdge(src: string, dst: string, type: string): Promise<void>;
+    getOutgoingEdges(nodeId: string, types: string[]): Promise<GraphEdge[]>;
+    getIncomingEdges(nodeId: string, types: string[]): Promise<GraphEdge[]>;
+    checkGuarantee(rule: string): Promise<ViolationResult[]>;
+}
+export declare class GuaranteeManager {
+    private graph;
+    private projectPath;
+    private guaranteesFile;
+    constructor(graph: GuaranteeGraph, projectPath: string);
+    /**
+     * Создать новую гарантию
+     */
+    create(guarantee: GuaranteeDefinition): Promise<GuaranteeNode>;
+    /**
+     * Получить все гарантии из графа
+     */
+    list(): Promise<GuaranteeNode[]>;
+    /**
+     * Проверить гарантию
+     */
+    check(guaranteeId: string): Promise<GuaranteeCheckResult>;
+    /**
+     * Проверить все гарантии
+     */
+    checkAll(): Promise<CheckAllResult>;
+    /**
+     * Удалить гарантию
+     */
+    delete(guaranteeId: string): Promise<void>;
+    /**
+     * Экспортировать гарантии в YAML файл
+     */
+    export(filePath?: string): Promise<string>;
+    /**
+     * Импортировать гарантии из YAML файла
+     */
+    import(filePath?: string, options?: ImportOptions): Promise<ImportResult>;
+    /**
+     * Показать drift между графом и файлом
+     */
+    drift(filePath?: string): Promise<DriftResult>;
+    /**
+     * Найти гарантии затронутые изменением ноды
+     */
+    findAffectedGuarantees(nodeId: string): Promise<string[]>;
+    /**
+     * Создать GOVERNS edges к модулям по glob patterns
+     */
+    private _createGovernsEdges;
+    /**
+     * Проверить есть ли изменения между версиями гарантии
+     */
+    private _hasChanges;
+    /**
+     * Описать изменения между версиями
+     */
+    private _describeChanges;
+}
+//# sourceMappingURL=GuaranteeManager.d.ts.map

package/dist/core/GuaranteeManager.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"GuaranteeManager.d.ts","sourceRoot":"","sources":["../../src/core/GuaranteeManager.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAOH;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAE7D;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,gBAAgB,EAAE,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,MAAM,EAAE,OAAO,CAAC;IAChB,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,iBAAiB,EAAE,CAAC;IAChC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,YAAY,CAAC;IACtB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,QAAQ,EAAE,iBAAiB,EAAE,CAAC;IAC9B,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,KAAK,CAAC;QAChB,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,iBAAiB,CAAC;QAC5B,OAAO,EAAE,MAAM,EAAE,CAAC;KACnB,CAAC,CAAC;CACJ;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,OAAO,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5C,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,GAAG,UAAU,GAAG,IAAI,CAAC,CAAC;IAChE,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACtC,UAAU,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,aAAa,CAAC,aAAa,GAAG,UAAU,CAAC,CAAC;IAChF,OAAO,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAClE,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;IACxE,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;IACxE,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;CAC1D;AAED,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,KAAK,CAAiB;IAC9B,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,cAAc,CAAS;gBAEnB,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM;IAMtD;;OAEG;IACG,MAAM,CAAC,SAAS,EAAE,mBAAmB,GAAG,OAAO,CAAC,aAAa,CAAC;IA2BpE;;OAEG;IACG,IAAI,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;IAsBtC;;OAEG;IACG,KAAK,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAgD/D;;OAEG;IACG,QAAQ,IAAI,OAAO,CAAC,cAAc,CAAC;IA6BzC;;OAEG;IACG,MAAM,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAahD;;OAEG;IACG,MAAM,CAAC,QAAQ,GAAE,MAA4B,GAAG,OAAO,CAAC,MAAM,CAAC;IAqBrE;;OAEG;IACG,MAAM,CAAC,QAAQ,GAAE,MAA4B,EAAE,OAAO,GAAE,aAAkB,GAAG,OAAO,CAAC,YAAY,CAAC;IA+CxG;;OAEG;IACG,KAAK,CAAC,QAAQ,GAAE,MAA4B,GAAG,OAAO,CAAC,WAAW,CAAC;IAwDzE;;OAEG;IACG,sBAAsB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IA2B/D;;OAEG;YACW,mBAAmB;IAwBjC;;OAEG;IACH,OAAO,CAAC,WAAW;IAYnB;;OAEG;IACH,OAAO,CAAC,gBAAgB;CAWzB"}

package/dist/core/GuaranteeManager.js

@@ -0,0 +1,352 @@
+/**
+ * GuaranteeManager - управление гарантиями/инвариантами кода
+ *
+ * GUARANTEE ноды хранят Datalog правила, которые код должен соблюдать.
+ * GOVERNS edges связывают гарантии с модулями, к которым они применяются.
+ *
+ * Workflow:
+ * 1. Создать гарантию (create) → GUARANTEE нода + GOVERNS edges
+ * 2. Проверить (check) → выполнить Datalog rule, найти нарушения
+ * 3. Экспортировать (export) → сохранить в YAML для version control
+ * 4. Импортировать (import) → загрузить из YAML в граф
+ * 5. Drift detection → сравнить граф с файлом
+ */
+import { readFileSync, writeFileSync, existsSync } from 'fs';
+import { join } from 'path';
+import { parse as parseYaml, stringify as stringifyYaml } from 'yaml';
+import { minimatch } from 'minimatch';
+export class GuaranteeManager {
+    graph;
+    projectPath;
+    guaranteesFile;
+    constructor(graph, projectPath) {
+        this.graph = graph;
+        this.projectPath = projectPath;
+        this.guaranteesFile = join(projectPath, '.grafema', 'guarantees.yaml');
+    }
+    /**
+     * Создать новую гарантию
+     */
+    async create(guarantee) {
+        const { id, name, rule, severity = 'warning', governs = ['**/*.js'] } = guarantee;
+        if (!id || !rule) {
+            throw new Error('Guarantee must have id and rule');
+        }
+        // Создаём GUARANTEE ноду
+        const guaranteeNode = {
+            id: `GUARANTEE:${id}`,
+            type: 'GUARANTEE',
+            name: name || id,
+            rule: rule,
+            severity: severity,
+            governs: governs, // Сохраняем patterns для export
+            version: 'meta', // Гарантии в отдельном слое
+            createdAt: Date.now()
+        };
+        await this.graph.addNode(guaranteeNode);
+        // Создаём GOVERNS edges к matching модулям
+        await this._createGovernsEdges(guaranteeNode.id, governs);
+        return guaranteeNode;
+    }
+    /**
+     * Получить все гарантии из графа
+     */
+    async list() {
+        const guarantees = [];
+        for await (const node of this.graph.queryNodes({ type: 'GUARANTEE' })) {
+            const guaranteeNode = node;
+            // Получаем GOVERNS edges для этой гарантии
+            const governsEdges = await this.graph.getOutgoingEdges(guaranteeNode.id, ['GOVERNS']);
+            const governedModules = [];
+            for (const edge of governsEdges) {
+                const targetNode = await this.graph.getNode(edge.dst);
+                if (targetNode) {
+                    governedModules.push(targetNode.file || targetNode.id);
+                }
+            }
+            guarantees.push({
+                ...guaranteeNode,
+                governedModules
+            });
+        }
+        return guarantees;
+    }
+    /**
+     * Проверить гарантию
+     */
+    async check(guaranteeId) {
+        const fullId = guaranteeId.startsWith('GUARANTEE:') ? guaranteeId : `GUARANTEE:${guaranteeId}`;
+        const node = (await this.graph.getNode(fullId));
+        if (!node) {
+            throw new Error(`Guarantee not found: ${guaranteeId}`);
+        }
+        const startTime = Date.now();
+        let violations = [];
+        let error = null;
+        try {
+            violations = await this.graph.checkGuarantee(node.rule);
+        }
+        catch (e) {
+            error = e.message;
+        }
+        // Обогащаем violations информацией о нодах
+        const enrichedViolations = [];
+        for (const v of violations) {
+            const nodeId = v.bindings?.find(b => b.name === 'X')?.value;
+            if (nodeId) {
+                const violatingNode = await this.graph.getNode(nodeId);
+                if (violatingNode) {
+                    enrichedViolations.push({
+                        nodeId,
+                        type: violatingNode.type,
+                        name: violatingNode.name,
+                        file: violatingNode.file,
+                        line: violatingNode.line
+                    });
+                }
+            }
+        }
+        return {
+            guaranteeId: guaranteeId,
+            name: node.name,
+            severity: node.severity,
+            passed: violations.length === 0 && !error,
+            violationCount: violations.length,
+            violations: enrichedViolations,
+            error,
+            checkDurationMs: Date.now() - startTime
+        };
+    }
+    /**
+     * Проверить все гарантии
+     */
+    async checkAll() {
+        const guarantees = await this.list();
+        const results = [];
+        let passedCount = 0;
+        let failedCount = 0;
+        let errorCount = 0;
+        for (const g of guarantees) {
+            const result = await this.check(g.id);
+            results.push(result);
+            if (result.error) {
+                errorCount++;
+            }
+            else if (result.passed) {
+                passedCount++;
+            }
+            else {
+                failedCount++;
+            }
+        }
+        return {
+            total: guarantees.length,
+            passed: passedCount,
+            failed: failedCount,
+            errors: errorCount,
+            results
+        };
+    }
+    /**
+     * Удалить гарантию
+     */
+    async delete(guaranteeId) {
+        const fullId = guaranteeId.startsWith('GUARANTEE:') ? guaranteeId : `GUARANTEE:${guaranteeId}`;
+        // Удаляем GOVERNS edges
+        const edges = await this.graph.getOutgoingEdges(fullId, ['GOVERNS']);
+        for (const edge of edges) {
+            await this.graph.deleteEdge(edge.src, edge.dst, 'GOVERNS');
+        }
+        // Удаляем ноду
+        await this.graph.deleteNode(fullId);
+    }
+    /**
+     * Экспортировать гарантии в YAML файл
+     */
+    async export(filePath = this.guaranteesFile) {
+        const guarantees = await this.list();
+        const exportData = {
+            version: 1,
+            exportedAt: new Date().toISOString(),
+            guarantees: guarantees.map(g => ({
+                id: g.id.replace('GUARANTEE:', ''),
+                name: g.name,
+                rule: g.rule,
+                severity: g.severity,
+                governs: g.governs || ['**/*.js']
+            }))
+        };
+        const yaml = stringifyYaml(exportData, { lineWidth: 0 });
+        writeFileSync(filePath, yaml, 'utf-8');
+        return filePath;
+    }
+    /**
+     * Импортировать гарантии из YAML файла
+     */
+    async import(filePath = this.guaranteesFile, options = {}) {
+        const { clearExisting = false } = options;
+        if (!existsSync(filePath)) {
+            throw new Error(`Guarantees file not found: ${filePath}`);
+        }
+        const content = readFileSync(filePath, 'utf-8');
+        const data = parseYaml(content);
+        if (!data.guarantees || !Array.isArray(data.guarantees)) {
+            throw new Error('Invalid guarantees file format');
+        }
+        // Удаляем существующие если нужно
+        if (clearExisting) {
+            const existing = await this.list();
+            for (const g of existing) {
+                await this.delete(g.id);
+            }
+        }
+        // Импортируем
+        const imported = [];
+        const skipped = [];
+        for (const g of data.guarantees) {
+            const fullId = `GUARANTEE:${g.id}`;
+            const existing = await this.graph.getNode(fullId);
+            if (existing && !clearExisting) {
+                skipped.push(g.id);
+                continue;
+            }
+            await this.create(g);
+            imported.push(g.id);
+        }
+        return {
+            imported: imported.length,
+            skipped: skipped.length,
+            importedIds: imported,
+            skippedIds: skipped
+        };
+    }
+    /**
+     * Показать drift между графом и файлом
+     */
+    async drift(filePath = this.guaranteesFile) {
+        const graphGuarantees = await this.list();
+        const graphMap = new Map(graphGuarantees.map(g => [g.id.replace('GUARANTEE:', ''), g]));
+        let fileGuarantees = [];
+        if (existsSync(filePath)) {
+            const content = readFileSync(filePath, 'utf-8');
+            const data = parseYaml(content);
+            fileGuarantees = data.guarantees || [];
+        }
+        const fileMap = new Map(fileGuarantees.map(g => [g.id, g]));
+        const onlyInGraph = [];
+        const onlyInFile = [];
+        const modified = [];
+        const unchanged = [];
+        // Проверяем гарантии в графе
+        for (const [id, graphG] of graphMap) {
+            const fileG = fileMap.get(id);
+            if (!fileG) {
+                onlyInGraph.push(id);
+            }
+            else if (this._hasChanges(graphG, fileG)) {
+                modified.push({
+                    id,
+                    changes: this._describeChanges(graphG, fileG)
+                });
+            }
+            else {
+                unchanged.push(id);
+            }
+        }
+        // Проверяем гарантии только в файле
+        for (const [id] of fileMap) {
+            if (!graphMap.has(id)) {
+                onlyInFile.push(id);
+            }
+        }
+        return {
+            hasDrift: onlyInGraph.length > 0 || onlyInFile.length > 0 || modified.length > 0,
+            summary: {
+                onlyInGraph: onlyInGraph.length,
+                onlyInFile: onlyInFile.length,
+                modified: modified.length,
+                unchanged: unchanged.length
+            },
+            onlyInGraph,
+            onlyInFile,
+            modified,
+            unchanged
+        };
+    }
+    /**
+     * Найти гарантии затронутые изменением ноды
+     */
+    async findAffectedGuarantees(nodeId) {
+        const node = await this.graph.getNode(nodeId);
+        if (!node)
+            return [];
+        // Поднимаемся до MODULE
+        let moduleId = null;
+        if (node.type === 'MODULE') {
+            moduleId = node.id;
+        }
+        else if (node.file) {
+            // Ищем MODULE по file
+            for await (const m of this.graph.queryNodes({ type: 'MODULE' })) {
+                if (m.file === node.file) {
+                    moduleId = m.id;
+                    break;
+                }
+            }
+        }
+        if (!moduleId)
+            return [];
+        // Находим GOVERNS edges к этому модулю
+        const incomingEdges = await this.graph.getIncomingEdges(moduleId, ['GOVERNS']);
+        return incomingEdges.map(e => e.src);
+    }
+    // ============ Private methods ============
+    /**
+     * Создать GOVERNS edges к модулям по glob patterns
+     */
+    async _createGovernsEdges(guaranteeId, patterns) {
+        // Получаем все MODULE ноды
+        const modules = [];
+        for await (const node of this.graph.queryNodes({ type: 'MODULE' })) {
+            modules.push(node);
+        }
+        // Матчим patterns
+        for (const module of modules) {
+            const relativePath = module.file?.replace(this.projectPath, '').replace(/^\//, '') || '';
+            for (const pattern of patterns) {
+                if (minimatch(relativePath, pattern) || minimatch(module.file || '', pattern)) {
+                    await this.graph.addEdge({
+                        type: 'GOVERNS',
+                        src: guaranteeId,
+                        dst: module.id
+                    });
+                    break; // Один edge на модуль
+                }
+            }
+        }
+    }
+    /**
+     * Проверить есть ли изменения между версиями гарантии
+     */
+    _hasChanges(graphG, fileG) {
+        return (graphG.rule !== fileG.rule ||
+            graphG.severity !== fileG.severity ||
+            graphG.name !== fileG.name ||
+            JSON.stringify(graphG.governs) !== JSON.stringify(fileG.governs));
+    }
+    /**
+     * Описать изменения между версиями
+     */
+    _describeChanges(graphG, fileG) {
+        const changes = [];
+        if (graphG.rule !== fileG.rule)
+            changes.push('rule');
+        if (graphG.severity !== fileG.severity)
+            changes.push('severity');
+        if (graphG.name !== fileG.name)
+            changes.push('name');
+        if (JSON.stringify(graphG.governs) !== JSON.stringify(fileG.governs))
+            changes.push('governs');
+        return changes;
+    }
+}

package/dist/core/ManifestStore.d.ts

@@ -0,0 +1,71 @@
+/**
+ * ManifestStore - simple persistent processing state storage
+ *
+ * Format: StableID|Phase|Status|Timestamp
+ * Operations: grep for search, sed for update
+ */
+/**
+ * Processing status type
+ */
+export type ProcessingStatus = 'done' | 'in_progress' | 'pending' | 'crashed';
+/**
+ * Phase statistics
+ */
+export interface PhaseStats {
+    done: number;
+    in_progress: number;
+    pending: number;
+    crashed?: number;
+}
+/**
+ * All phases statistics
+ */
+export interface ManifestStats {
+    [phase: string]: PhaseStats;
+}
+export declare class ManifestStore {
+    private filePath;
+    constructor(filePath: string);
+    /**
+     * Check if file is processed in phase
+     * @param key - Full key like "PHASE|Plugin|Hash" or stableId
+     * @param phase - For backward compat, ignored if key contains |
+     */
+    isDone(key: string, phase?: string): boolean;
+    /**
+     * Mark file as processed in phase
+     * @param key - Full key like "PHASE|Plugin|Hash" or stableId
+     * @param phase - For backward compat, ignored if key contains |
+     */
+    markDone(key: string, phase?: string): void;
+    /**
+     * Mark file as in progress
+     * @param key - Full key like "PHASE|Plugin|Hash" or stableId
+     * @param phase - For backward compat, ignored if key contains |
+     */
+    markInProgress(key: string, phase?: string): void;
+    /**
+     * Get status of file in phase
+     * @param key - Full key like "PHASE|Plugin|Hash" or stableId
+     * @param phase - For backward compat, ignored if key contains |
+     */
+    getStatus(key: string, phase?: string): ProcessingStatus;
+    /**
+     * Get all files for phase with specific status
+     */
+    getByStatus(phase: string, status: ProcessingStatus): string[];
+    /**
+     * Get statistics by phases
+     */
+    getStats(): ManifestStats;
+    /**
+     * Clean up stale in_progress (crashed processes)
+     * @param olderThanSeconds - older than N seconds considered dead
+     */
+    cleanupStaleProgress(olderThanSeconds?: number): void;
+    /**
+     * Clear entire manifest (for testing)
+     */
+    clear(): void;
+}
+//# sourceMappingURL=ManifestStore.d.ts.map

package/dist/core/ManifestStore.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ManifestStore.d.ts","sourceRoot":"","sources":["../../src/core/ManifestStore.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,aAAa,GAAG,SAAS,GAAG,SAAS,CAAC;AAE9E;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAAC;CAC7B;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,QAAQ,CAAS;gBAEb,QAAQ,EAAE,MAAM;IAS5B;;;;OAIG;IACH,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,OAAO;IAY5C;;;;OAIG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI;IAS3C;;;;OAIG;IACH,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI;IAQjD;;;;OAIG;IACH,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,gBAAgB;IAoBxD;;OAEG;IACH,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,GAAG,MAAM,EAAE;IAc9D;;OAEG;IACH,QAAQ,IAAI,aAAa;IAyBzB;;;OAGG;IACH,oBAAoB,CAAC,gBAAgB,GAAE,MAAY,GAAG,IAAI;IA2B1D;;OAEG;IACH,KAAK,IAAI,IAAI;CAGd"}