modules/expression_pool.py

import sqlite3, os
def init_db(db_path="data/results.db"):
    os.makedirs(os.path.dirname(db_path), exist_ok=True)
    conn = sqlite3.connect(db_path)
    conn.execute("""
    CREATE TABLE IF NOT EXISTS exprs(
        expr TEXT PRIMARY KEY,
        score REAL,
        rationale TEXT,
        complexity TEXT,
        created_at TEXT
    )""")
    conn.commit()
    return conn

def add_expr(conn, expr, score, rationale="", complexity=""):
    conn.execute("INSERT OR REPLACE INTO exprs(expr, score, rationale, complexity, created_at) VALUES(?,?,?,?,datetime('now'))",
                 (expr, score, rationale, complexity))
    conn.commit()

def top_exprs(conn, k=5, min_score=0.0):
    cur = conn.cursor()
    cur.execute("SELECT expr,score,rationale FROM exprs WHERE score>=? ORDER BY score DESC LIMIT ?", (min_score,k))
    return cur.fetchall()