@a13xu/lucid 1.1.0 → 1.9.0

package/build/database.js

@@ -30,85 +30,198 @@ export function initDatabase() {
     return db;
 }
 function createSchema(db) {
-    db.exec(`
-    CREATE TABLE IF NOT EXISTS entities (
-      id           INTEGER PRIMARY KEY,
-      name         TEXT NOT NULL UNIQUE COLLATE NOCASE,
-      type         TEXT NOT NULL,
-      observations TEXT NOT NULL DEFAULT '[]',
-      created_at   INTEGER DEFAULT (unixepoch()),
-      updated_at   INTEGER DEFAULT (unixepoch())
-    );
-
-    CREATE TABLE IF NOT EXISTS relations (
-      id            INTEGER PRIMARY KEY,
-      from_entity   INTEGER NOT NULL REFERENCES entities(id) ON DELETE CASCADE,
-      to_entity     INTEGER NOT NULL REFERENCES entities(id) ON DELETE CASCADE,
-      relation_type TEXT NOT NULL,
-      created_at    INTEGER DEFAULT (unixepoch()),
-      UNIQUE(from_entity, to_entity, relation_type)
-    );
-
-    CREATE VIRTUAL TABLE IF NOT EXISTS entities_fts USING fts5(
-      name,
-      type,
-      observations,
-      content='entities',
-      content_rowid='id',
-      tokenize='porter unicode61'
-    );
-
-    CREATE TRIGGER IF NOT EXISTS entities_ai AFTER INSERT ON entities BEGIN
-      INSERT INTO entities_fts(rowid, name, type, observations)
-      VALUES (new.id, new.name, new.type, new.observations);
-    END;
-
-    CREATE TRIGGER IF NOT EXISTS entities_au AFTER UPDATE ON entities BEGIN
-      INSERT INTO entities_fts(entities_fts, rowid, name, type, observations)
-      VALUES('delete', old.id, old.name, old.type, old.observations);
-      INSERT INTO entities_fts(rowid, name, type, observations)
-      VALUES (new.id, new.name, new.type, new.observations);
-    END;
-
-    CREATE TRIGGER IF NOT EXISTS entities_ad AFTER DELETE ON entities BEGIN
-      INSERT INTO entities_fts(entities_fts, rowid, name, type, observations)
-      VALUES('delete', old.id, old.name, old.type, old.observations);
-    END;
-
-    CREATE INDEX IF NOT EXISTS idx_relations_from ON relations(from_entity);
-    CREATE INDEX IF NOT EXISTS idx_relations_to   ON relations(to_entity);
-    CREATE INDEX IF NOT EXISTS idx_entities_type  ON entities(type);
+    db.exec(`
+    CREATE TABLE IF NOT EXISTS entities (
+      id           INTEGER PRIMARY KEY,
+      name         TEXT NOT NULL UNIQUE COLLATE NOCASE,
+      type         TEXT NOT NULL,
+      observations TEXT NOT NULL DEFAULT '[]',
+      created_at   INTEGER DEFAULT (unixepoch()),
+      updated_at   INTEGER DEFAULT (unixepoch())
+    );
+
+    CREATE TABLE IF NOT EXISTS relations (
+      id            INTEGER PRIMARY KEY,
+      from_entity   INTEGER NOT NULL REFERENCES entities(id) ON DELETE CASCADE,
+      to_entity     INTEGER NOT NULL REFERENCES entities(id) ON DELETE CASCADE,
+      relation_type TEXT NOT NULL,
+      created_at    INTEGER DEFAULT (unixepoch()),
+      UNIQUE(from_entity, to_entity, relation_type)
+    );
+
+    CREATE VIRTUAL TABLE IF NOT EXISTS entities_fts USING fts5(
+      name,
+      type,
+      observations,
+      content='entities',
+      content_rowid='id',
+      tokenize='porter unicode61'
+    );
+
+    CREATE TRIGGER IF NOT EXISTS entities_ai AFTER INSERT ON entities BEGIN
+      INSERT INTO entities_fts(rowid, name, type, observations)
+      VALUES (new.id, new.name, new.type, new.observations);
+    END;
+
+    CREATE TRIGGER IF NOT EXISTS entities_au AFTER UPDATE ON entities BEGIN
+      INSERT INTO entities_fts(entities_fts, rowid, name, type, observations)
+      VALUES('delete', old.id, old.name, old.type, old.observations);
+      INSERT INTO entities_fts(rowid, name, type, observations)
+      VALUES (new.id, new.name, new.type, new.observations);
+    END;
+
+    CREATE TRIGGER IF NOT EXISTS entities_ad AFTER DELETE ON entities BEGIN
+      INSERT INTO entities_fts(entities_fts, rowid, name, type, observations)
+      VALUES('delete', old.id, old.name, old.type, old.observations);
+    END;
+
+    CREATE INDEX IF NOT EXISTS idx_relations_from ON relations(from_entity);
+    CREATE INDEX IF NOT EXISTS idx_relations_to   ON relations(to_entity);
+    CREATE INDEX IF NOT EXISTS idx_entities_type  ON entities(type);
+
+    -- Conținut sursă comprimat (zlib deflate nivel 9)
+    CREATE TABLE IF NOT EXISTS file_contents (
+      id              INTEGER PRIMARY KEY,
+      filepath        TEXT NOT NULL UNIQUE,
+      content         BLOB NOT NULL,
+      content_hash    TEXT NOT NULL,
+      original_size   INTEGER NOT NULL,
+      compressed_size INTEGER NOT NULL,
+      language        TEXT NOT NULL DEFAULT 'generic',
+      indexed_at      INTEGER DEFAULT (unixepoch())
+    );
+    CREATE INDEX IF NOT EXISTS idx_fc_filepath ON file_contents(filepath);
+    CREATE INDEX IF NOT EXISTS idx_fc_hash     ON file_contents(content_hash);
+    CREATE INDEX IF NOT EXISTS idx_fc_indexed  ON file_contents(indexed_at);
+
+    -- Diffs între versiuni consecutive (pentru get_recent)
+    CREATE TABLE IF NOT EXISTS file_diffs (
+      filepath    TEXT PRIMARY KEY,
+      prev_hash   TEXT NOT NULL,
+      diff_text   TEXT NOT NULL,
+      changed_at  INTEGER DEFAULT (unixepoch())
+    );
+    CREATE INDEX IF NOT EXISTS idx_fd_changed ON file_diffs(changed_at);
+
+    -- Experiences: logged get_context calls for RL reward system
+    CREATE TABLE IF NOT EXISTS experiences (
+      id          INTEGER PRIMARY KEY,
+      query       TEXT NOT NULL,
+      query_terms TEXT NOT NULL DEFAULT '',
+      context_fps TEXT NOT NULL DEFAULT '[]',
+      strategy    TEXT NOT NULL DEFAULT 'tfidf',
+      reward      REAL NOT NULL DEFAULT 0.0,
+      feedback    TEXT,
+      created_at  INTEGER NOT NULL DEFAULT (unixepoch()),
+      rewarded_at INTEGER
+    );
+
+    CREATE VIRTUAL TABLE IF NOT EXISTS experiences_fts USING fts5(
+      query,
+      feedback,
+      content='experiences',
+      content_rowid='id',
+      tokenize='porter unicode61'
+    );
+
+    CREATE TRIGGER IF NOT EXISTS experiences_ai AFTER INSERT ON experiences BEGIN
+      INSERT INTO experiences_fts(rowid, query, feedback)
+      VALUES (new.id, new.query, COALESCE(new.feedback, ''));
+    END;
+
+    CREATE TRIGGER IF NOT EXISTS experiences_au AFTER UPDATE ON experiences BEGIN
+      INSERT INTO experiences_fts(experiences_fts, rowid, query, feedback)
+      VALUES('delete', old.id, old.query, COALESCE(old.feedback, ''));
+      INSERT INTO experiences_fts(rowid, query, feedback)
+      VALUES (new.id, new.query, COALESCE(new.feedback, ''));
+    END;
+
+    -- Denormalized reward cache per file (updated on every reward/penalize/implicit)
+    CREATE TABLE IF NOT EXISTS file_rewards (
+      filepath      TEXT PRIMARY KEY,
+      total_reward  REAL NOT NULL DEFAULT 0.0,
+      use_count     INTEGER NOT NULL DEFAULT 0,
+      last_rewarded INTEGER
+    );
   `);
 }
 export function prepareStatements(db) {
     return {
+        // file_contents
+        getFileByPath: db.prepare("SELECT * FROM file_contents WHERE filepath = ?"),
+        upsertFile: db.prepare(`INSERT INTO file_contents (filepath, content, content_hash, original_size, compressed_size, language)
+       VALUES (?, ?, ?, ?, ?, ?)
+       ON CONFLICT(filepath) DO UPDATE SET
+         content = excluded.content,
+         content_hash = excluded.content_hash,
+         original_size = excluded.original_size,
+         compressed_size = excluded.compressed_size,
+         language = excluded.language,
+         indexed_at = unixepoch()`),
+        getAllFiles: db.prepare("SELECT filepath, content, language, content_hash, indexed_at FROM file_contents"),
+        getRecentFiles: db.prepare("SELECT filepath, language, indexed_at FROM file_contents WHERE indexed_at >= ? ORDER BY indexed_at DESC"),
+        deleteFile: db.prepare("DELETE FROM file_contents WHERE filepath = ?"),
+        upsertDiff: db.prepare(`INSERT INTO file_diffs (filepath, prev_hash, diff_text)
+       VALUES (?, ?, ?)
+       ON CONFLICT(filepath) DO UPDATE SET
+         prev_hash  = excluded.prev_hash,
+         diff_text  = excluded.diff_text,
+         changed_at = unixepoch()`),
+        getDiff: db.prepare("SELECT * FROM file_diffs WHERE filepath = ?"),
+        getRecentDiffs: db.prepare("SELECT * FROM file_diffs WHERE changed_at >= ? ORDER BY changed_at DESC"),
+        fileStorageStats: db.prepare("SELECT COUNT(*) as count, SUM(original_size) as total_original, SUM(compressed_size) as total_compressed FROM file_contents"),
+        // entities
         getEntityByName: db.prepare("SELECT * FROM entities WHERE name = ? COLLATE NOCASE"),
         insertEntity: db.prepare("INSERT INTO entities (name, type, observations) VALUES (?, ?, ?)"),
         // SQL: SET observations = ?, WHERE id = ?  →  2 params
         updateEntity: db.prepare("UPDATE entities SET observations = ?, updated_at = unixepoch() WHERE id = ?"),
         deleteEntity: db.prepare("DELETE FROM entities WHERE name = ? COLLATE NOCASE"),
         getAllEntities: db.prepare("SELECT * FROM entities ORDER BY updated_at DESC"),
-        getRelationsForEntity: db.prepare(`SELECT r.*, ef.name AS from_name, et.name AS to_name
-       FROM relations r
-       JOIN entities ef ON r.from_entity = ef.id
-       JOIN entities et ON r.to_entity = et.id
+        getRelationsForEntity: db.prepare(`SELECT r.*, ef.name AS from_name, et.name AS to_name
+       FROM relations r
+       JOIN entities ef ON r.from_entity = ef.id
+       JOIN entities et ON r.to_entity = et.id
        WHERE r.from_entity = ? OR r.to_entity = ?`),
         insertRelation: db.prepare("INSERT OR IGNORE INTO relations (from_entity, to_entity, relation_type) VALUES (?, ?, ?)"),
-        searchFTS: db.prepare(`SELECT e.* FROM entities_fts
-       JOIN entities e ON entities_fts.rowid = e.id
-       WHERE entities_fts MATCH ?
-       ORDER BY rank
+        searchFTS: db.prepare(`SELECT e.* FROM entities_fts
+       JOIN entities e ON entities_fts.rowid = e.id
+       WHERE entities_fts MATCH ?
+       ORDER BY rank
        LIMIT 20`),
-        searchLike: db.prepare(`SELECT * FROM entities
-       WHERE name LIKE ? OR type LIKE ? OR observations LIKE ?
-       ORDER BY updated_at DESC
+        searchLike: db.prepare(`SELECT * FROM entities
+       WHERE name LIKE ? OR type LIKE ? OR observations LIKE ?
+       ORDER BY updated_at DESC
        LIMIT 20`),
         countEntities: db.prepare("SELECT COUNT(*) as count FROM entities"),
         countRelations: db.prepare("SELECT COUNT(*) as count FROM relations"),
         getWalMode: db.prepare("PRAGMA journal_mode"),
-        getAllRelations: db.prepare(`SELECT r.*, ef.name AS from_name, et.name AS to_name
-       FROM relations r
-       JOIN entities ef ON r.from_entity = ef.id
+        getAllRelations: db.prepare(`SELECT r.*, ef.name AS from_name, et.name AS to_name
+       FROM relations r
+       JOIN entities ef ON r.from_entity = ef.id
        JOIN entities et ON r.to_entity = et.id`),
+        // experiences
+        insertExperience: db.prepare(`INSERT INTO experiences (query, query_terms, context_fps, strategy)
+       VALUES (?, ?, ?, ?)`),
+        updateExperienceReward: db.prepare(`UPDATE experiences SET
+         reward = reward + ?,
+         rewarded_at = unixepoch(),
+         feedback = COALESCE(?, feedback)
+       WHERE id = ?`),
+        getExperienceById: db.prepare("SELECT * FROM experiences WHERE id = ?"),
+        getTopExperiences: db.prepare("SELECT * FROM experiences ORDER BY reward DESC LIMIT ?"),
+        searchExperiencesFTS: db.prepare(`SELECT e.* FROM experiences_fts
+       JOIN experiences e ON experiences_fts.rowid = e.id
+       WHERE experiences_fts MATCH ?
+       ORDER BY rank
+       LIMIT ?`),
+        // file_rewards
+        upsertFileReward: db.prepare(`INSERT INTO file_rewards (filepath, total_reward, use_count, last_rewarded)
+       VALUES (?, ?, 1, unixepoch())
+       ON CONFLICT(filepath) DO UPDATE SET
+         total_reward  = total_reward + excluded.total_reward,
+         use_count     = use_count + 1,
+         last_rewarded = unixepoch()`),
+        getFileRewards: db.prepare("SELECT * FROM file_rewards"),
+        getTopFileRewards: db.prepare("SELECT * FROM file_rewards WHERE total_reward > 0 ORDER BY total_reward DESC LIMIT ?"),
     };
 }

package/build/guardian/checklist.js

@@ -1,67 +1,67 @@
-export const CHECKLIST = `# Logic Guardian — Validation Checklist (5 passes)
-
-## Pass 1: Logic Trace
-Trace through the code with CONCRETE values:
-- Happy path   → real values, write each variable state
-- Empty/zero   → null, 0, "", []
-- Boundary     → first element, last element, max int, single char
-- Error case   → network down, file missing, permission denied
-
-STOP if any trace produces unexpected output. Fix before continuing.
-
-## Pass 2: Contract Verification
-- [ ] Preconditions: what must be true BEFORE this runs? Is it checked?
-- [ ] Postconditions: what must be true AFTER? Can you prove it?
-- [ ] Invariants: what must ALWAYS be true? Does the code maintain it?
-- [ ] Return type: does EVERY code path return the expected type?
-- [ ] Side effects: are all side effects intentional?
-
-## Pass 3: Stupid Mistakes Checklist
-
-### Off-by-one
-- [ ] < vs <= — verify with boundary values
-- [ ] Array indices — last is length - 1
-- [ ] Loop iterations — exactly N times?
-
-### Null/Undefined Propagation
-- [ ] Every .property access — can the object be null?
-- [ ] Every array index — can the array be empty?
-- [ ] Every map lookup — can the key be missing?
-
-### Type Confusion
-- [ ] String vs Number comparisons
-- [ ] Integer vs Float division
-- [ ] Boolean coercion edge cases
-
-### Logic Inversions (THE #1 LLM drift pattern)
-- [ ] if/else — is the condition testing what you THINK?
-- [ ] Early returns — does the guard return the RIGHT value?
-- [ ] filter/find/some — keeping the RIGHT elements?
-- [ ] Error handling — catching and re-throwing correctly?
-
-### State & Mutation
-- [ ] Mutating shared object when you should copy?
-- [ ] Async state read after it might have changed?
-
-### Copy-Paste Drift
-- [ ] ALL variable names updated in copied blocks?
-- [ ] Conditions changed, not just variable names?
-
-## Pass 4: Integration Sanity
-- [ ] Breaks existing callers?
-- [ ] Imports/exports correct?
-- [ ] If async, all callers awaiting it?
-- [ ] If type changed, all usages updated?
-
-## Pass 5: Explain It Test
-In ONE sentence: what does this code do?
-If you can't explain it, or the sentence doesn't match the code → something is wrong.
-
-## Anti-Drift Triggers
-STOP if you find yourself thinking:
-- "This is similar to..." → You're pattern-matching. TRACE THE LOGIC.
-- "This should work because the other one does" → VERIFY INDEPENDENTLY.
-- "I'll just copy and change the names" → CHECK EVERY DIFFERENCE.
-- "The error handling is probably fine" → TRACE THE ERROR PATH.
-- "This is standard boilerplate" → Verify it fits this context.
+export const CHECKLIST = `# Logic Guardian — Validation Checklist (5 passes)
+
+## Pass 1: Logic Trace
+Trace through the code with CONCRETE values:
+- Happy path   → real values, write each variable state
+- Empty/zero   → null, 0, "", []
+- Boundary     → first element, last element, max int, single char
+- Error case   → network down, file missing, permission denied
+
+STOP if any trace produces unexpected output. Fix before continuing.
+
+## Pass 2: Contract Verification
+- [ ] Preconditions: what must be true BEFORE this runs? Is it checked?
+- [ ] Postconditions: what must be true AFTER? Can you prove it?
+- [ ] Invariants: what must ALWAYS be true? Does the code maintain it?
+- [ ] Return type: does EVERY code path return the expected type?
+- [ ] Side effects: are all side effects intentional?
+
+## Pass 3: Stupid Mistakes Checklist
+
+### Off-by-one
+- [ ] < vs <= — verify with boundary values
+- [ ] Array indices — last is length - 1
+- [ ] Loop iterations — exactly N times?
+
+### Null/Undefined Propagation
+- [ ] Every .property access — can the object be null?
+- [ ] Every array index — can the array be empty?
+- [ ] Every map lookup — can the key be missing?
+
+### Type Confusion
+- [ ] String vs Number comparisons
+- [ ] Integer vs Float division
+- [ ] Boolean coercion edge cases
+
+### Logic Inversions (THE #1 LLM drift pattern)
+- [ ] if/else — is the condition testing what you THINK?
+- [ ] Early returns — does the guard return the RIGHT value?
+- [ ] filter/find/some — keeping the RIGHT elements?
+- [ ] Error handling — catching and re-throwing correctly?
+
+### State & Mutation
+- [ ] Mutating shared object when you should copy?
+- [ ] Async state read after it might have changed?
+
+### Copy-Paste Drift
+- [ ] ALL variable names updated in copied blocks?
+- [ ] Conditions changed, not just variable names?
+
+## Pass 4: Integration Sanity
+- [ ] Breaks existing callers?
+- [ ] Imports/exports correct?
+- [ ] If async, all callers awaiting it?
+- [ ] If type changed, all usages updated?
+
+## Pass 5: Explain It Test
+In ONE sentence: what does this code do?
+If you can't explain it, or the sentence doesn't match the code → something is wrong.
+
+## Anti-Drift Triggers
+STOP if you find yourself thinking:
+- "This is similar to..." → You're pattern-matching. TRACE THE LOGIC.
+- "This should work because the other one does" → VERIFY INDEPENDENTLY.
+- "I'll just copy and change the names" → CHECK EVERY DIFFERENCE.
+- "The error handling is probably fine" → TRACE THE ERROR PATH.
+- "This is standard boilerplate" → Verify it fits this context.
 `;

package/build/guardian/coding-analyzer.d.ts

@@ -0,0 +1,11 @@
+export type QualitySeverity = "high" | "medium" | "low";
+export interface QualityIssue {
+    file: string;
+    line: number;
+    severity: QualitySeverity;
+    ruleId: string;
+    message: string;
+    suggestion: string;
+}
+export declare function analyzeCodeQuality(filepath: string, source: string, lang?: string): QualityIssue[];
+export declare function formatQualityReport(filepath: string, issues: QualityIssue[]): string;