@grafema/core 0.1.0-alpha.1

package/dist/api/GraphAPI.js

@@ -0,0 +1,210 @@
+/**
+ * Clean Graph API for visualization
+ * Reads everything directly from RFDB (no caches)
+ */
+import { createServer } from 'http';
+import { parse as parseUrl } from 'url';
+// Node type constants
+const NODE_TYPES = {
+    SERVICE: 2,
+    FUNCTION: 3,
+    CLASS: 4,
+    MODULE: 8,
+};
+// Edge type constants
+const EDGE_TYPES = {
+    CONTAINS: 1,
+    DEPENDS_ON: 2,
+    CALLS: 3,
+    IMPORTS: 8,
+};
+export class GraphAPI {
+    backend;
+    port;
+    server;
+    constructor(backend, port = 3000) {
+        this.backend = backend;
+        this.port = port;
+        this.server = null;
+    }
+    /**
+     * Start API server
+     */
+    start() {
+        this.server = createServer((req, res) => {
+            this.handleRequest(req, res);
+        });
+        this.server.listen(this.port, () => {
+            console.log(`\n🚀 Graph API Server started`);
+            console.log(`📊 http://localhost:${this.port}`);
+            console.log(`\nEndpoints:`);
+            console.log(`  GET /api/services - List all services`);
+            console.log(`  GET /api/node/:id - Get node by ID`);
+            console.log(`  GET /api/node/:id/children - Get node children (via CONTAINS edges)`);
+            console.log(`  GET /api/node/:id/edges - Get all edges from node`);
+            console.log(`\nPress Ctrl+C to stop\n`);
+        });
+        return this;
+    }
+    /**
+     * Stop server
+     */
+    stop() {
+        if (this.server) {
+            this.server.close();
+            console.log('Graph API Server stopped');
+        }
+    }
+    /**
+     * Handle HTTP request
+     */
+    async handleRequest(req, res) {
+        const { pathname } = parseUrl(req.url || '', true);
+        // CORS headers
+        res.setHeader('Access-Control-Allow-Origin', '*');
+        res.setHeader('Content-Type', 'application/json');
+        try {
+            // GET /api/services
+            if (pathname === '/api/services') {
+                await this.handleGetServices(req, res);
+                return;
+            }
+            // GET /api/node/:id
+            const nodeMatch = pathname?.match(/^\/api\/node\/([^\/]+)$/);
+            if (nodeMatch) {
+                await this.handleGetNode(req, res, decodeURIComponent(nodeMatch[1]));
+                return;
+            }
+            // GET /api/node/:id/children
+            const childrenMatch = pathname?.match(/^\/api\/node\/([^\/]+)\/children$/);
+            if (childrenMatch) {
+                await this.handleGetChildren(req, res, decodeURIComponent(childrenMatch[1]));
+                return;
+            }
+            // GET /api/node/:id/edges
+            const edgesMatch = pathname?.match(/^\/api\/node\/([^\/]+)\/edges$/);
+            if (edgesMatch) {
+                await this.handleGetEdges(req, res, decodeURIComponent(edgesMatch[1]));
+                return;
+            }
+            // 404
+            res.writeHead(404);
+            res.end(JSON.stringify({ error: 'Endpoint not found' }));
+        }
+        catch (error) {
+            console.error('API error:', error);
+            res.writeHead(500);
+            res.end(JSON.stringify({ error: error.message }));
+        }
+    }
+    /**
+     * GET /api/services
+     * Returns all SERVICE nodes
+     */
+    async handleGetServices(req, res) {
+        // Find all SERVICE nodes from RFDB
+        const serviceIds = this.backend.engine.findByType(NODE_TYPES.SERVICE);
+        const services = serviceIds.map(id => {
+            const node = this.backend.engine.getNode(id);
+            if (!node)
+                return null;
+            return {
+                id: this.backend._bigIntToId(node.id),
+                type: 'SERVICE',
+                name: this.getNodeName(node),
+                exported: node.exported,
+                version: node.version,
+            };
+        }).filter(Boolean);
+        res.writeHead(200);
+        res.end(JSON.stringify(services));
+    }
+    /**
+     * GET /api/node/:id
+     * Returns single node by ID
+     */
+    async handleGetNode(req, res, nodeId) {
+        const node = this.backend.engine.getNode(this.backend._idToBigInt(nodeId));
+        if (!node) {
+            res.writeHead(404);
+            res.end(JSON.stringify({ error: 'Node not found' }));
+            return;
+        }
+        res.writeHead(200);
+        res.end(JSON.stringify({
+            id: this.backend._bigIntToId(node.id),
+            type: this.backend._numberToNodeType(node.kind),
+            name: this.getNodeName(node),
+            exported: node.exported,
+            version: node.version,
+        }));
+    }
+    /**
+     * GET /api/node/:id/children
+     * Returns children via CONTAINS edges
+     */
+    async handleGetChildren(req, res, nodeId) {
+        const nodeIdBigInt = this.backend._idToBigInt(nodeId);
+        // Check node exists
+        if (!this.backend.engine.nodeExists(nodeIdBigInt)) {
+            res.writeHead(404);
+            res.end(JSON.stringify({ error: 'Node not found' }));
+            return;
+        }
+        // Get outgoing CONTAINS edges
+        const edges = this.backend.engine.getOutgoingEdges(nodeIdBigInt, [EDGE_TYPES.CONTAINS]);
+        const children = edges.map(edge => {
+            const childNode = this.backend.engine.getNode(edge.dst);
+            if (!childNode)
+                return null;
+            return {
+                id: this.backend._bigIntToId(childNode.id),
+                type: this.backend._numberToNodeType(childNode.kind),
+                name: this.getNodeName(childNode),
+                exported: childNode.exported,
+                version: childNode.version,
+            };
+        }).filter(Boolean);
+        res.writeHead(200);
+        res.end(JSON.stringify({
+            nodeId,
+            childCount: children.length,
+            children
+        }));
+    }
+    /**
+     * GET /api/node/:id/edges
+     * Returns all outgoing edges from node
+     */
+    async handleGetEdges(req, res, nodeId) {
+        const nodeIdBigInt = this.backend._idToBigInt(nodeId);
+        // Check node exists
+        if (!this.backend.engine.nodeExists(nodeIdBigInt)) {
+            res.writeHead(404);
+            res.end(JSON.stringify({ error: 'Node not found' }));
+            return;
+        }
+        // Get all outgoing edges
+        const edges = this.backend.engine.getOutgoingEdges(nodeIdBigInt, null);
+        const formattedEdges = edges.map(edge => ({
+            src: this.backend._bigIntToId(edge.src),
+            dst: this.backend._bigIntToId(edge.dst),
+            type: this.backend._numberToEdgeType(edge.etype),
+            version: edge.version,
+        }));
+        res.writeHead(200);
+        res.end(JSON.stringify({
+            nodeId,
+            edgeCount: formattedEdges.length,
+            edges: formattedEdges
+        }));
+    }
+    /**
+     * Get node name from name_offset (TODO: implement string table lookup)
+     */
+    getNodeName(node) {
+        // TODO: Lookup in string table
+        // For now return placeholder
+        return `Node_${node.id.toString().substring(0, 8)}`;
+    }
+}

package/dist/api/GuaranteeAPI.d.ts

@@ -0,0 +1,147 @@
+/**
+ * GuaranteeAPI - CRUD API for contract-based guarantees
+ *
+ * Contract-based guarantees use JSON schema validation instead of Datalog rules.
+ * They have namespaced types: guarantee:queue, guarantee:api, guarantee:permission
+ *
+ * This API complements GuaranteeManager which handles Datalog-based GUARANTEE nodes.
+ */
+import { type GuaranteeNodeRecord, type GuaranteePriority, type GuaranteeStatus, type GuaranteeType } from '../core/nodes/GuaranteeNode.js';
+/**
+ * Graph interface for GuaranteeAPI
+ */
+export interface GuaranteeGraphBackend {
+    addNode(node: Record<string, unknown>): Promise<void>;
+    getNode(id: string): Promise<Record<string, unknown> | null>;
+    deleteNode(id: string): Promise<void>;
+    queryNodes(filter: {
+        type: string;
+    }): AsyncIterable<Record<string, unknown>>;
+    addEdge(edge: {
+        type: string;
+        src: string;
+        dst: string;
+    }): Promise<void>;
+    deleteEdge(src: string, dst: string, type: string): Promise<void>;
+    getOutgoingEdges(nodeId: string, types: string[]): Promise<Array<{
+        src: string;
+        dst: string;
+        type: string;
+    }>>;
+    getIncomingEdges(nodeId: string, types: string[]): Promise<Array<{
+        src: string;
+        dst: string;
+        type: string;
+    }>>;
+}
+/**
+ * Input for creating a guarantee
+ */
+export interface CreateGuaranteeInput {
+    type: 'guarantee:queue' | 'guarantee:api' | 'guarantee:permission';
+    name: string;
+    priority?: GuaranteePriority;
+    status?: GuaranteeStatus;
+    owner?: string;
+    schema?: Record<string, unknown>;
+    condition?: string;
+    description?: string;
+    governs?: string[];
+}
+/**
+ * Input for updating a guarantee
+ */
+export interface UpdateGuaranteeInput {
+    priority?: GuaranteePriority;
+    status?: GuaranteeStatus;
+    owner?: string;
+    schema?: Record<string, unknown>;
+    condition?: string;
+    description?: string;
+}
+/**
+ * Filter for finding guarantees
+ */
+export interface GuaranteeFilter {
+    type?: GuaranteeType | GuaranteeType[];
+    priority?: GuaranteePriority | GuaranteePriority[];
+    status?: GuaranteeStatus | GuaranteeStatus[];
+    owner?: string;
+}
+/**
+ * Result of checking a guarantee
+ */
+export interface CheckGuaranteeResult {
+    id: string;
+    name: string;
+    passed: boolean;
+    errors: string[];
+    validatedCount: number;
+}
+/**
+ * GuaranteeAPI - CRUD operations for contract-based guarantees
+ */
+export declare class GuaranteeAPI {
+    private graph;
+    private schemaCache;
+    constructor(graph: GuaranteeGraphBackend);
+    /**
+     * Create a new contract-based guarantee
+     */
+    createGuarantee(input: CreateGuaranteeInput): Promise<GuaranteeNodeRecord>;
+    /**
+     * Get a guarantee by ID
+     */
+    getGuarantee(id: string): Promise<GuaranteeNodeRecord | null>;
+    /**
+     * Find guarantees matching filter
+     */
+    findGuarantees(filter?: GuaranteeFilter): Promise<GuaranteeNodeRecord[]>;
+    /**
+     * Update a guarantee
+     */
+    updateGuarantee(id: string, updates: UpdateGuaranteeInput): Promise<GuaranteeNodeRecord>;
+    /**
+     * Delete a guarantee
+     */
+    deleteGuarantee(id: string): Promise<boolean>;
+    /**
+     * Add GOVERNS edge from guarantee to a node
+     */
+    addGoverns(guaranteeId: string, nodeId: string): Promise<void>;
+    /**
+     * Remove GOVERNS edge
+     */
+    removeGoverns(guaranteeId: string, nodeId: string): Promise<void>;
+    /**
+     * Get nodes governed by a guarantee
+     */
+    getGoverned(guaranteeId: string): Promise<string[]>;
+    /**
+     * Get guarantees governing a node
+     */
+    getGoverningGuarantees(nodeId: string): Promise<GuaranteeNodeRecord[]>;
+    /**
+     * Check a guarantee using JSON schema validation
+     * Returns validation results for governed nodes
+     */
+    checkGuarantee(id: string): Promise<CheckGuaranteeResult>;
+    /**
+     * Check all guarantees
+     */
+    checkAllGuarantees(): Promise<{
+        total: number;
+        passed: number;
+        failed: number;
+        results: CheckGuaranteeResult[];
+    }>;
+    /**
+     * Normalize type filter to array of types
+     */
+    private normalizeTypeFilter;
+    /**
+     * Clear schema cache (useful after schema updates)
+     */
+    clearSchemaCache(): void;
+}
+//# sourceMappingURL=GuaranteeAPI.d.ts.map

package/dist/api/GuaranteeAPI.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"GuaranteeAPI.d.ts","sourceRoot":"","sources":["../../src/api/GuaranteeAPI.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAiB,KAAK,mBAAmB,EAAE,KAAK,iBAAiB,EAAE,KAAK,eAAe,EAAE,KAAK,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAsB3J;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACtD,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;IAC7D,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,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC7E,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACzE,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,KAAK,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAAC;IAC9G,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAAC;CAC/G;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,iBAAiB,GAAG,eAAe,GAAG,sBAAsB,CAAC;IACnE,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,MAAM,CAAC,EAAE,eAAe,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,MAAM,CAAC,EAAE,eAAe,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,CAAC,EAAE,aAAa,GAAG,aAAa,EAAE,CAAC;IACvC,QAAQ,CAAC,EAAE,iBAAiB,GAAG,iBAAiB,EAAE,CAAC;IACnD,MAAM,CAAC,EAAE,eAAe,GAAG,eAAe,EAAE,CAAC;IAC7C,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,qBAAa,YAAY;IACvB,OAAO,CAAC,KAAK,CAAwB;IACrC,OAAO,CAAC,WAAW,CAAgC;gBAEvC,KAAK,EAAE,qBAAqB;IAKxC;;OAEG;IACG,eAAe,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAoChF;;OAEG;IACG,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC;IAYnE;;OAEG;IACG,cAAc,CAAC,MAAM,GAAE,eAAoB,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC;IA4BlF;;OAEG;IACG,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,oBAAoB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IA0B9F;;OAEG;IACG,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAiBnD;;OAEG;IACG,UAAU,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAqBpE;;OAEG;IACG,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAIvE;;OAEG;IACG,WAAW,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAKzD;;OAEG;IACG,sBAAsB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC;IAY5E;;;OAGG;IACG,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAyD/D;;OAEG;IACG,kBAAkB,IAAI,OAAO,CAAC;QAClC,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;QACf,OAAO,EAAE,oBAAoB,EAAE,CAAC;KACjC,CAAC;IAqBF;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAO3B;;OAEG;IACH,gBAAgB,IAAI,IAAI;CAGzB"}

package/dist/api/GuaranteeAPI.js

@@ -0,0 +1,288 @@
+/**
+ * GuaranteeAPI - CRUD API for contract-based guarantees
+ *
+ * Contract-based guarantees use JSON schema validation instead of Datalog rules.
+ * They have namespaced types: guarantee:queue, guarantee:api, guarantee:permission
+ *
+ * This API complements GuaranteeManager which handles Datalog-based GUARANTEE nodes.
+ */
+import { GuaranteeNode } from '../core/nodes/GuaranteeNode.js';
+// Lazy-loaded Ajv instance to avoid import issues
+let ajvInstance = null;
+async function getAjv() {
+    if (!ajvInstance) {
+        const AjvModule = await import('ajv');
+        // Handle both ESM default export and CJS module.exports
+        const AjvClass = AjvModule.default || AjvModule;
+        // Use Function constructor pattern to avoid TS2351
+        const createAjv = AjvClass;
+        ajvInstance = new createAjv({ allErrors: true });
+    }
+    return ajvInstance;
+}
+/**
+ * GuaranteeAPI - CRUD operations for contract-based guarantees
+ */
+export class GuaranteeAPI {
+    graph;
+    schemaCache;
+    constructor(graph) {
+        this.graph = graph;
+        this.schemaCache = new Map();
+    }
+    /**
+     * Create a new contract-based guarantee
+     */
+    async createGuarantee(input) {
+        // Parse type to get namespace
+        const parsed = GuaranteeNode.parseId(`${input.type}#${input.name}`);
+        if (!parsed) {
+            throw new Error(`Invalid guarantee type: ${input.type}`);
+        }
+        // Create the guarantee node
+        const node = GuaranteeNode.create(parsed.namespace, input.name, {
+            priority: input.priority,
+            status: input.status,
+            owner: input.owner,
+            schema: input.schema,
+            condition: input.condition,
+            description: input.description,
+        });
+        // Validate before saving
+        const errors = GuaranteeNode.validate(node);
+        if (errors.length > 0) {
+            throw new Error(`Invalid guarantee: ${errors.join(', ')}`);
+        }
+        // Save to graph
+        await this.graph.addNode(node);
+        // Create GOVERNS edges if specified
+        if (input.governs && input.governs.length > 0) {
+            for (const targetId of input.governs) {
+                await this.addGoverns(node.id, targetId);
+            }
+        }
+        return node;
+    }
+    /**
+     * Get a guarantee by ID
+     */
+    async getGuarantee(id) {
+        const node = await this.graph.getNode(id);
+        if (!node)
+            return null;
+        // Verify it's a guarantee type
+        if (!GuaranteeNode.isGuaranteeType(node.type)) {
+            return null;
+        }
+        return node;
+    }
+    /**
+     * Find guarantees matching filter
+     */
+    async findGuarantees(filter = {}) {
+        const guarantees = [];
+        const types = this.normalizeTypeFilter(filter.type);
+        for (const type of types) {
+            for await (const node of this.graph.queryNodes({ type })) {
+                const g = node;
+                // Apply additional filters
+                if (filter.priority) {
+                    const priorities = Array.isArray(filter.priority) ? filter.priority : [filter.priority];
+                    if (!priorities.includes(g.priority))
+                        continue;
+                }
+                if (filter.status) {
+                    const statuses = Array.isArray(filter.status) ? filter.status : [filter.status];
+                    if (!statuses.includes(g.status))
+                        continue;
+                }
+                if (filter.owner && g.owner !== filter.owner)
+                    continue;
+                guarantees.push(g);
+            }
+        }
+        return guarantees;
+    }
+    /**
+     * Update a guarantee
+     */
+    async updateGuarantee(id, updates) {
+        const existing = await this.getGuarantee(id);
+        if (!existing) {
+            throw new Error(`Guarantee not found: ${id}`);
+        }
+        // Apply updates
+        const updated = {
+            ...existing,
+            ...updates,
+            updatedAt: Date.now(),
+        };
+        // Validate
+        const errors = GuaranteeNode.validate(updated);
+        if (errors.length > 0) {
+            throw new Error(`Invalid guarantee after update: ${errors.join(', ')}`);
+        }
+        // Delete old and add new (upsert)
+        await this.graph.deleteNode(id);
+        await this.graph.addNode(updated);
+        return updated;
+    }
+    /**
+     * Delete a guarantee
+     */
+    async deleteGuarantee(id) {
+        const existing = await this.getGuarantee(id);
+        if (!existing) {
+            return false;
+        }
+        // Delete GOVERNS edges
+        const edges = await this.graph.getOutgoingEdges(id, ['GOVERNS']);
+        for (const edge of edges) {
+            await this.graph.deleteEdge(edge.src, edge.dst, 'GOVERNS');
+        }
+        // Delete the node
+        await this.graph.deleteNode(id);
+        return true;
+    }
+    /**
+     * Add GOVERNS edge from guarantee to a node
+     */
+    async addGoverns(guaranteeId, nodeId) {
+        // Verify guarantee exists
+        const guarantee = await this.getGuarantee(guaranteeId);
+        if (!guarantee) {
+            throw new Error(`Guarantee not found: ${guaranteeId}`);
+        }
+        // Verify target node exists
+        const targetNode = await this.graph.getNode(nodeId);
+        if (!targetNode) {
+            throw new Error(`Target node not found: ${nodeId}`);
+        }
+        // Create GOVERNS edge
+        await this.graph.addEdge({
+            type: 'GOVERNS',
+            src: guaranteeId,
+            dst: nodeId,
+        });
+    }
+    /**
+     * Remove GOVERNS edge
+     */
+    async removeGoverns(guaranteeId, nodeId) {
+        await this.graph.deleteEdge(guaranteeId, nodeId, 'GOVERNS');
+    }
+    /**
+     * Get nodes governed by a guarantee
+     */
+    async getGoverned(guaranteeId) {
+        const edges = await this.graph.getOutgoingEdges(guaranteeId, ['GOVERNS']);
+        return edges.map(e => e.dst);
+    }
+    /**
+     * Get guarantees governing a node
+     */
+    async getGoverningGuarantees(nodeId) {
+        const edges = await this.graph.getIncomingEdges(nodeId, ['GOVERNS']);
+        const guarantees = [];
+        for (const edge of edges) {
+            const g = await this.getGuarantee(edge.src);
+            if (g)
+                guarantees.push(g);
+        }
+        return guarantees;
+    }
+    /**
+     * Check a guarantee using JSON schema validation
+     * Returns validation results for governed nodes
+     */
+    async checkGuarantee(id) {
+        const guarantee = await this.getGuarantee(id);
+        if (!guarantee) {
+            throw new Error(`Guarantee not found: ${id}`);
+        }
+        const result = {
+            id,
+            name: guarantee.name,
+            passed: true,
+            errors: [],
+            validatedCount: 0,
+        };
+        // If no schema defined, consider it passing
+        if (!guarantee.schema) {
+            return result;
+        }
+        // Get or compile schema validator
+        let validate = this.schemaCache.get(id);
+        if (!validate) {
+            try {
+                const ajv = await getAjv();
+                validate = ajv.compile(guarantee.schema);
+                this.schemaCache.set(id, validate);
+            }
+            catch (e) {
+                result.passed = false;
+                result.errors.push(`Invalid schema: ${e.message}`);
+                return result;
+            }
+        }
+        // Get governed nodes and validate them
+        const governedIds = await this.getGoverned(id);
+        // At this point validate is guaranteed to be defined (we returned if compile failed)
+        const validator = validate;
+        for (const nodeId of governedIds) {
+            const node = await this.graph.getNode(nodeId);
+            if (!node)
+                continue;
+            result.validatedCount++;
+            const valid = validator(node);
+            if (!valid) {
+                result.passed = false;
+                const errors = validator.errors;
+                if (errors) {
+                    for (const err of errors) {
+                        result.errors.push(`${nodeId}: ${err.instancePath} ${err.message}`);
+                    }
+                }
+            }
+        }
+        return result;
+    }
+    /**
+     * Check all guarantees
+     */
+    async checkAllGuarantees() {
+        const guarantees = await this.findGuarantees();
+        const results = [];
+        let passed = 0;
+        let failed = 0;
+        for (const g of guarantees) {
+            const result = await this.checkGuarantee(g.id);
+            results.push(result);
+            if (result.passed)
+                passed++;
+            else
+                failed++;
+        }
+        return {
+            total: guarantees.length,
+            passed,
+            failed,
+            results,
+        };
+    }
+    /**
+     * Normalize type filter to array of types
+     */
+    normalizeTypeFilter(type) {
+        if (!type) {
+            return GuaranteeNode.getTypes();
+        }
+        return Array.isArray(type) ? type : [type];
+    }
+    /**
+     * Clear schema cache (useful after schema updates)
+     */
+    clearSchemaCache() {
+        this.schemaCache.clear();
+    }
+}