promptspeak-mcp-server 0.1.0

package/dist/symbols/database.d.ts

@@ -0,0 +1,285 @@
+/**
+ * ═══════════════════════════════════════════════════════════════════════════════
+ * PROMPTSPEAK SQLITE DATABASE
+ * ═══════════════════════════════════════════════════════════════════════════════
+ *
+ * SQLite backend for PromptSpeak symbol storage.
+ * Provides ACID transactions, concurrent safety, and efficient queries.
+ *
+ * Benefits over JSON files:
+ * - Atomic commits (no partial writes)
+ * - WAL mode for concurrent read/write
+ * - Indexed queries (O(log n) vs O(n))
+ * - Built-in integrity constraints
+ * - Transaction support for multi-operation safety
+ *
+ * ═══════════════════════════════════════════════════════════════════════════════
+ */
+import type { Statement } from 'better-sqlite3';
+import type { DirectiveSymbol, SymbolCategory, SymbolRegistryEntry } from './types.js';
+export interface SymbolRow {
+    id: number;
+    symbol_id: string;
+    category: SymbolCategory;
+    subcategory: string | null;
+    version: number;
+    content_hash: string;
+    commanders_intent: string;
+    data: string;
+    created_at: string;
+    updated_at: string | null;
+    created_by: string | null;
+    tags: string | null;
+    parent_symbol: string | null;
+}
+export interface AuditRow {
+    id: number;
+    timestamp: string;
+    event_type: string;
+    symbol_id: string | null;
+    risk_score: number | null;
+    details: string | null;
+    violations: string | null;
+}
+export interface OpaqueRow {
+    id: number;
+    token: string;
+    plaintext: string;
+    symbol_id: string | null;
+    field_name: string | null;
+    created_at: string;
+    expires_at: string | null;
+    access_count: number;
+    last_accessed: string | null;
+}
+export interface DatabaseStats {
+    totalSymbols: number;
+    byCategory: Record<SymbolCategory, number>;
+    totalAuditEvents: number;
+    databaseSizeBytes: number;
+}
+export declare class SymbolDatabase {
+    private db;
+    private dbPath;
+    private stmtInsertSymbol;
+    private stmtGetSymbol;
+    private stmtUpdateSymbol;
+    private stmtDeleteSymbol;
+    private stmtListSymbols;
+    private stmtCountByCategory;
+    private stmtInsertAudit;
+    private stmtSearchSymbols;
+    private stmtInsertOpaque;
+    private stmtGetOpaque;
+    private stmtGetOpaqueMultiple;
+    private stmtUpdateOpaqueAccess;
+    private stmtDeleteExpiredOpaque;
+    private stmtGetMaxOpaqueId;
+    constructor(dbPath: string);
+    private prepareStatements;
+    /**
+     * Insert a new symbol
+     */
+    insertSymbol(symbol: DirectiveSymbol): {
+        success: boolean;
+        error?: string;
+    };
+    /**
+     * Get a symbol by ID
+     */
+    getSymbol(symbolId: string): DirectiveSymbol | null;
+    /**
+     * Update an existing symbol
+     */
+    updateSymbol(symbol: DirectiveSymbol): {
+        success: boolean;
+        error?: string;
+    };
+    /**
+     * Delete a symbol
+     */
+    deleteSymbol(symbolId: string): {
+        success: boolean;
+        deleted: boolean;
+    };
+    /**
+     * Check if a symbol exists
+     */
+    symbolExists(symbolId: string): boolean;
+    /**
+     * List symbols with filtering
+     */
+    listSymbols(options: {
+        category?: SymbolCategory;
+        search?: string;
+        createdAfter?: string;
+        createdBefore?: string;
+        limit?: number;
+        offset?: number;
+    }): {
+        symbols: Array<SymbolRegistryEntry & {
+            symbolId: string;
+        }>;
+        total: number;
+        hasMore: boolean;
+    };
+    /**
+     * Get all symbols (for export)
+     */
+    getAllSymbols(): DirectiveSymbol[];
+    /**
+     * Search symbols using full-text search
+     * Uses the symbols_fts FTS5 table to find symbols matching the query
+     */
+    search(query: string): SymbolRow[];
+    /**
+     * Insert an audit entry
+     */
+    insertAuditEntry(entry: {
+        eventType: string;
+        symbolId?: string;
+        riskScore?: number;
+        details?: Record<string, unknown>;
+        violations?: unknown[];
+    }): void;
+    /**
+     * Get recent audit entries
+     */
+    getRecentAuditEntries(limit?: number): AuditRow[];
+    /**
+     * Get injection attempts
+     */
+    getInjectionAttempts(): AuditRow[];
+    /**
+     * Get audit entries for a symbol
+     */
+    getAuditForSymbol(symbolId: string): AuditRow[];
+    /**
+     * Get the current maximum token ID (for counter initialization)
+     */
+    getMaxOpaqueId(): number;
+    /**
+     * Insert a new opaque token mapping
+     */
+    insertOpaqueToken(params: {
+        token: string;
+        plaintext: string;
+        symbolId?: string;
+        fieldName?: string;
+        expiresAt?: string;
+    }): {
+        success: boolean;
+        error?: string;
+    };
+    /**
+     * Get a single opaque token mapping
+     */
+    getOpaqueToken(token: string, updateAccess?: boolean): OpaqueRow | null;
+    /**
+     * Resolve multiple opaque tokens at once
+     */
+    resolveOpaqueTokens(tokens: string[], updateAccess?: boolean): Record<string, string>;
+    /**
+     * Get all opaque tokens for a symbol
+     */
+    getOpaqueTokensForSymbol(symbolId: string): OpaqueRow[];
+    /**
+     * Delete expired opaque tokens
+     */
+    cleanupExpiredOpaqueTokens(): number;
+    /**
+     * Delete all opaque tokens for a symbol
+     */
+    deleteOpaqueTokensForSymbol(symbolId: string): number;
+    /**
+     * Get opacity statistics
+     */
+    getOpaqueStats(): {
+        totalTokens: number;
+        totalAccesses: number;
+        tokensWithSymbol: number;
+        expiredTokens: number;
+    };
+    /**
+     * Insert a verification event for a symbol
+     */
+    insertVerificationEvent(params: {
+        symbolId: string;
+        eventType: string;
+        oldStatus?: string;
+        newStatus?: string;
+        oldConfidence?: number;
+        newConfidence?: number;
+        reviewer: string;
+        evidenceAdded?: string[];
+        notes?: string;
+    }): {
+        success: boolean;
+        error?: string;
+    };
+    /**
+     * Get verification history for a symbol
+     */
+    getVerificationHistory(symbolId: string): Array<{
+        id: number;
+        symbolId: string;
+        timestamp: string;
+        eventType: string;
+        oldStatus: string | null;
+        newStatus: string | null;
+        oldConfidence: number | null;
+        newConfidence: number | null;
+        reviewer: string;
+        evidenceAdded: string[] | null;
+        notes: string | null;
+    }>;
+    /**
+     * List symbols that require human review based on their epistemic metadata.
+     * Joins symbols table with their JSON data to filter by epistemic fields.
+     */
+    listSymbolsNeedingReview(options: {
+        claimType?: string;
+        minConfidence?: number;
+        maxConfidence?: number;
+        limit?: number;
+        offset?: number;
+    }): {
+        symbols: SymbolRow[];
+        total: number;
+    };
+    /**
+     * Get database statistics
+     */
+    getStats(): DatabaseStats;
+    /**
+     * Run multiple operations in a transaction
+     */
+    transaction<T>(fn: () => T): T;
+    /**
+     * Optimize the database (run periodically)
+     */
+    optimize(): void;
+    /**
+     * Close the database connection
+     */
+    close(): void;
+    /**
+     * Check database integrity
+     */
+    checkIntegrity(): {
+        ok: boolean;
+        errors: string[];
+    };
+    /**
+     * Execute raw SQL (for DDL statements, migrations, etc.)
+     */
+    exec(sql: string): void;
+    /**
+     * Prepare a statement for execution
+     */
+    prepare(sql: string): Statement;
+}
+export declare function initializeDatabase(dbPath: string): SymbolDatabase;
+export declare function getDatabase(): SymbolDatabase;
+export declare function closeDatabase(): void;
+//# sourceMappingURL=database.d.ts.map

package/dist/symbols/database.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"database.d.ts","sourceRoot":"","sources":["../../src/symbols/database.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,KAAK,EAAgC,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAG9E,OAAO,KAAK,EACV,eAAe,EACf,cAAc,EACd,mBAAmB,EACpB,MAAM,YAAY,CAAC;AAMpB,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,cAAc,CAAC;IACzB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC3C,gBAAgB,EAAE,MAAM,CAAC;IACzB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAmQD,qBAAa,cAAc;IACzB,OAAO,CAAC,EAAE,CAAmB;IAC7B,OAAO,CAAC,MAAM,CAAS;IAGvB,OAAO,CAAC,gBAAgB,CAAa;IACrC,OAAO,CAAC,aAAa,CAAa;IAClC,OAAO,CAAC,gBAAgB,CAAa;IACrC,OAAO,CAAC,gBAAgB,CAAa;IACrC,OAAO,CAAC,eAAe,CAAa;IACpC,OAAO,CAAC,mBAAmB,CAAa;IACxC,OAAO,CAAC,eAAe,CAAa;IACpC,OAAO,CAAC,iBAAiB,CAAa;IAGtC,OAAO,CAAC,gBAAgB,CAAa;IACrC,OAAO,CAAC,aAAa,CAAa;IAClC,OAAO,CAAC,qBAAqB,CAAa;IAC1C,OAAO,CAAC,sBAAsB,CAAa;IAC3C,OAAO,CAAC,uBAAuB,CAAa;IAC5C,OAAO,CAAC,kBAAkB,CAAa;gBAE3B,MAAM,EAAE,MAAM;IA0B1B,OAAO,CAAC,iBAAiB;IAuGzB;;OAEG;IACH,YAAY,CAAC,MAAM,EAAE,eAAe,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE;IAyB3E;;OAEG;IACH,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI;IAMnD;;OAEG;IACH,YAAY,CAAC,MAAM,EAAE,eAAe,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE;IAqB3E;;OAEG;IACH,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE;IAKtE;;OAEG;IACH,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO;IAKvC;;OAEG;IACH,WAAW,CAAC,OAAO,EAAE;QACnB,QAAQ,CAAC,EAAE,cAAc,CAAC;QAC1B,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,GAAG;QAAE,OAAO,EAAE,KAAK,CAAC,mBAAmB,GAAG;YAAE,QAAQ,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE;IAmFnG;;OAEG;IACH,aAAa,IAAI,eAAe,EAAE;IAKlC;;;OAGG;IACH,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,EAAE;IAelC;;OAEG;IACH,gBAAgB,CAAC,KAAK,EAAE;QACtB,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAClC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC;KACxB,GAAG,IAAI;IAWR;;OAEG;IACH,qBAAqB,CAAC,KAAK,GAAE,MAAY,GAAG,QAAQ,EAAE;IAMtD;;OAEG;IACH,oBAAoB,IAAI,QAAQ,EAAE;IAQlC;;OAEG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,EAAE;IAU/C;;OAEG;IACH,cAAc,IAAI,MAAM;IAKxB;;OAEG;IACH,iBAAiB,CAAC,MAAM,EAAE;QACxB,KAAK,EAAE,MAAM,CAAC;QACd,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,SAAS,CAAC,EAAE,MAAM,CAAC;KACpB,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE;IAoBxC;;OAEG;IACH,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,GAAE,OAAc,GAAG,SAAS,GAAG,IAAI;IAY7E;;OAEG;IACH,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,YAAY,GAAE,OAAc,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAgB3F;;OAEG;IACH,wBAAwB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,EAAE;IAMvD;;OAEG;IACH,0BAA0B,IAAI,MAAM;IAKpC;;OAEG;IACH,2BAA2B,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM;IAOrD;;OAEG;IACH,cAAc,IAAI;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,aAAa,EAAE,MAAM,CAAC;QACtB,gBAAgB,EAAE,MAAM,CAAC;QACzB,aAAa,EAAE,MAAM,CAAC;KACvB;IA2BD;;OAEG;IACH,uBAAuB,CAAC,MAAM,EAAE;QAC9B,QAAQ,EAAE,MAAM,CAAC;QACjB,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,QAAQ,EAAE,MAAM,CAAC;QACjB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;QACzB,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE;IA2BxC;;OAEG;IACH,sBAAsB,CAAC,QAAQ,EAAE,MAAM,GAAG,KAAK,CAAC;QAC9C,EAAE,EAAE,MAAM,CAAC;QACX,QAAQ,EAAE,MAAM,CAAC;QACjB,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QACzB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QACzB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,QAAQ,EAAE,MAAM,CAAC;QACjB,aAAa,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAC/B,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;KACtB,CAAC;IAkCF;;;OAGG;IACH,wBAAwB,CAAC,OAAO,EAAE;QAChC,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,GAAG;QAAE,OAAO,EAAE,SAAS,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE;IAkD3C;;OAEG;IACH,QAAQ,IAAI,aAAa;IA6DzB;;OAEG;IACH,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IAQ9B;;OAEG;IACH,QAAQ,IAAI,IAAI;IAKhB;;OAEG;IACH,KAAK,IAAI,IAAI;IAIb;;OAEG;IACH,cAAc,IAAI;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE;IAYnD;;OAEG;IACH,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI;IAIvB;;OAEG;IACH,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS;CAGhC;AAQD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,cAAc,CAMjE;AAED,wBAAgB,WAAW,IAAI,cAAc,CAK5C;AAED,wBAAgB,aAAa,IAAI,IAAI,CAKpC"}