@timmeck/brain-core 2.36.105 → 2.36.106

package/dist/self-model/creative-test-paths.d.ts

@@ -0,0 +1,42 @@
+/**
+ * Creative Hypothesis Test Paths v1
+ *
+ * Two primitive, robust test paths for creative/reasoning hypotheses:
+ * 1. Co-occurrence test (do entities co-occur in time windows?)
+ * 2. IF→THEN chain validation (does condition predict consequence?)
+ *
+ * Session 142 — Creative Test Paths
+ */
+import type Database from 'better-sqlite3';
+export interface CoOccurrenceResult {
+    entityA: string;
+    entityB: string;
+    windowMinutes: number;
+    totalWindows: number;
+    coOccurrenceWindows: number;
+    coOccurrenceRate: number;
+    expectedRandomRate: number;
+    evidenceFor: number;
+    evidenceAgainst: number;
+    pValue: number;
+    sufficient: boolean;
+}
+export interface IfThenResult {
+    condition: string;
+    consequence: string;
+    totalMatches: number;
+    successRate: number;
+    evidenceFor: number;
+    evidenceAgainst: number;
+    sufficient: boolean;
+}
+/**
+ * Test whether two entity types co-occur more often than random chance
+ * within a given time window.
+ */
+export declare function testCoOccurrence(db: Database.Database, entityA: string, entityB: string, windowMinutes?: number, holdoutTimestamp?: number): CoOccurrenceResult;
+/**
+ * Test an IF→THEN hypothesis: when condition is met, does consequence follow?
+ * Uses observation values (numeric) with simple threshold comparison.
+ */
+export declare function testIfThen(db: Database.Database, conditionEntity: string, conditionOperator: '>' | '<' | '=' | '>=' | '<=', conditionValue: number, consequenceEntity: string, consequenceOperator: '>' | '<' | '=' | '>=' | '<=', consequenceValue: number, lagCycles?: number, holdoutTimestamp?: number): IfThenResult;

package/dist/self-model/creative-test-paths.js

@@ -0,0 +1,132 @@
+import { getLogger } from '../utils/logger.js';
+const log = getLogger();
+// ── Co-occurrence Test ───────────────────────────────
+/**
+ * Test whether two entity types co-occur more often than random chance
+ * within a given time window.
+ */
+export function testCoOccurrence(db, entityA, entityB, windowMinutes = 10, holdoutTimestamp = 0) {
+    const windowMs = windowMinutes * 60 * 1000;
+    // Get observations for both entities
+    const obsA = db.prepare('SELECT timestamp FROM observations WHERE type = ? AND timestamp > ? ORDER BY timestamp')
+        .all(entityA, holdoutTimestamp);
+    const obsB = db.prepare('SELECT timestamp FROM observations WHERE type = ? AND timestamp > ? ORDER BY timestamp')
+        .all(entityB, holdoutTimestamp);
+    if (obsA.length === 0 || obsB.length === 0) {
+        return { entityA, entityB, windowMinutes, totalWindows: 0, coOccurrenceWindows: 0, coOccurrenceRate: 0, expectedRandomRate: 0, evidenceFor: 0, evidenceAgainst: 0, pValue: 1, sufficient: false };
+    }
+    // Bucket into windows
+    const allTimestamps = [...obsA.map(o => o.timestamp), ...obsB.map(o => o.timestamp)];
+    const minTs = Math.min(...allTimestamps);
+    const maxTs = Math.max(...allTimestamps);
+    const totalRange = maxTs - minTs;
+    if (totalRange <= 0) {
+        return { entityA, entityB, windowMinutes, totalWindows: 0, coOccurrenceWindows: 0, coOccurrenceRate: 0, expectedRandomRate: 0, evidenceFor: 0, evidenceAgainst: 0, pValue: 1, sufficient: false };
+    }
+    // Create windows
+    const numWindows = Math.ceil(totalRange / windowMs);
+    const setA = new Set();
+    const setB = new Set();
+    for (const o of obsA)
+        setA.add(Math.floor((o.timestamp - minTs) / windowMs));
+    for (const o of obsB)
+        setB.add(Math.floor((o.timestamp - minTs) / windowMs));
+    // Count co-occurrences
+    let coOccurrenceWindows = 0;
+    let totalActiveWindows = 0;
+    for (let i = 0; i < numWindows; i++) {
+        const hasA = setA.has(i);
+        const hasB = setB.has(i);
+        if (hasA || hasB)
+            totalActiveWindows++;
+        if (hasA && hasB)
+            coOccurrenceWindows++;
+    }
+    const coOccurrenceRate = totalActiveWindows > 0 ? Math.min(1, coOccurrenceWindows / totalActiveWindows) : 0;
+    const pA = setA.size / Math.max(numWindows, 1);
+    const pB = setB.size / Math.max(numWindows, 1);
+    const expectedRandomRate = Math.min(1, pA * pB);
+    // Evidence
+    const sufficient = totalActiveWindows >= 20;
+    let evidenceFor = 0;
+    let evidenceAgainst = 0;
+    if (sufficient) {
+        if (coOccurrenceRate > expectedRandomRate * 1.5) {
+            evidenceFor = coOccurrenceWindows;
+            evidenceAgainst = Math.max(0, totalActiveWindows - coOccurrenceWindows);
+        }
+        else if (coOccurrenceRate < expectedRandomRate * 0.7) {
+            evidenceAgainst = totalActiveWindows;
+        }
+        else {
+            // Neutral — some evidence both ways
+            evidenceFor = coOccurrenceWindows;
+            evidenceAgainst = totalActiveWindows - coOccurrenceWindows;
+        }
+    }
+    // Simple p-value approximation
+    const z = totalActiveWindows > 0 && expectedRandomRate > 0 && expectedRandomRate < 1
+        ? (coOccurrenceRate - expectedRandomRate) / Math.sqrt(expectedRandomRate * (1 - expectedRandomRate) / totalActiveWindows)
+        : 0;
+    const pValue = Math.min(1, Math.exp(-0.5 * z * z));
+    return { entityA, entityB, windowMinutes, totalWindows: totalActiveWindows, coOccurrenceWindows, coOccurrenceRate, expectedRandomRate, evidenceFor, evidenceAgainst, pValue, sufficient };
+}
+// ── IF→THEN Test ─────────────────────────────────────
+/**
+ * Test an IF→THEN hypothesis: when condition is met, does consequence follow?
+ * Uses observation values (numeric) with simple threshold comparison.
+ */
+export function testIfThen(db, conditionEntity, conditionOperator, conditionValue, consequenceEntity, consequenceOperator, consequenceValue, lagCycles = 1, holdoutTimestamp = 0) {
+    // Get condition matches
+    const opMap = { '>': '>', '<': '<', '=': '=', '>=': '>=', '<=': '<=' };
+    const condOp = opMap[conditionOperator] || '>';
+    const conditionObs = db.prepare(`
+    SELECT timestamp, value FROM observations
+    WHERE type = ? AND CAST(value AS REAL) ${condOp} ? AND timestamp > ?
+    ORDER BY timestamp
+  `).all(conditionEntity, conditionValue, holdoutTimestamp);
+    if (conditionObs.length < 10) {
+        return { condition: `${conditionEntity} ${conditionOperator} ${conditionValue}`, consequence: `${consequenceEntity} ${consequenceOperator} ${consequenceValue}`, totalMatches: conditionObs.length, successRate: 0, evidenceFor: 0, evidenceAgainst: 0, sufficient: false };
+    }
+    // For each condition match, check consequence within lag window
+    const lagMs = lagCycles * 300_000; // assume ~5min per cycle
+    const consOp = opMap[consequenceOperator] || '<';
+    let successes = 0;
+    for (const cond of conditionObs) {
+        const consequenceMatch = db.prepare(`
+      SELECT value FROM observations
+      WHERE type = ? AND timestamp > ? AND timestamp < ?
+      AND CAST(value AS REAL) ${consOp} ?
+      LIMIT 1
+    `).get(consequenceEntity, cond.timestamp, cond.timestamp + lagMs, consequenceValue);
+        if (consequenceMatch)
+            successes++;
+    }
+    const successRate = conditionObs.length > 0 ? successes / conditionObs.length : 0;
+    const sufficient = conditionObs.length >= 10;
+    let evidenceFor = 0;
+    let evidenceAgainst = 0;
+    if (sufficient) {
+        if (successRate > 0.7) {
+            evidenceFor = successes;
+            evidenceAgainst = conditionObs.length - successes;
+        }
+        else if (successRate < 0.3) {
+            evidenceAgainst = conditionObs.length;
+        }
+        else {
+            evidenceFor = successes;
+            evidenceAgainst = conditionObs.length - successes;
+        }
+    }
+    return {
+        condition: `${conditionEntity} ${conditionOperator} ${conditionValue}`,
+        consequence: `${consequenceEntity} ${consequenceOperator} ${consequenceValue}`,
+        totalMatches: conditionObs.length,
+        successRate: Math.round(successRate * 1000) / 1000,
+        evidenceFor,
+        evidenceAgainst,
+        sufficient,
+    };
+}
+//# sourceMappingURL=creative-test-paths.js.map

package/dist/self-model/creative-test-paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"creative-test-paths.js","sourceRoot":"","sources":["../../src/self-model/creative-test-paths.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,MAAM,GAAG,GAAG,SAAS,EAAE,CAAC;AA4BxB,wDAAwD;AAExD;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,EAAqB,EACrB,OAAe,EACf,OAAe,EACf,aAAa,GAAG,EAAE,EAClB,gBAAgB,GAAG,CAAC;IAEpB,MAAM,QAAQ,GAAG,aAAa,GAAG,EAAE,GAAG,IAAI,CAAC;IAE3C,qCAAqC;IACrC,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,wFAAwF,CAAC;SAC9G,GAAG,CAAC,OAAO,EAAE,gBAAgB,CAAiC,CAAC;IAClE,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,wFAAwF,CAAC;SAC9G,GAAG,CAAC,OAAO,EAAE,gBAAgB,CAAiC,CAAC;IAElE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IACpM,CAAC;IAED,sBAAsB;IACtB,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACrF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC;IACzC,MAAM,UAAU,GAAG,KAAK,GAAG,KAAK,CAAC;IAEjC,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;QACpB,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IACpM,CAAC;IAED,iBAAiB;IACjB,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,KAAK,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,KAAK,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAE7E,uBAAuB;IACvB,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,IAAI,IAAI,IAAI;YAAE,kBAAkB,EAAE,CAAC;QACvC,IAAI,IAAI,IAAI,IAAI;YAAE,mBAAmB,EAAE,CAAC;IAC1C,CAAC;IAED,MAAM,gBAAgB,GAAG,kBAAkB,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,mBAAmB,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5G,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAC/C,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAC/C,MAAM,kBAAkB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IAEhD,WAAW;IACX,MAAM,UAAU,GAAG,kBAAkB,IAAI,EAAE,CAAC;IAC5C,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,eAAe,GAAG,CAAC,CAAC;IAExB,IAAI,UAAU,EAAE,CAAC;QACf,IAAI,gBAAgB,GAAG,kBAAkB,GAAG,GAAG,EAAE,CAAC;YAChD,WAAW,GAAG,mBAAmB,CAAC;YAClC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,kBAAkB,GAAG,mBAAmB,CAAC,CAAC;QAC1E,CAAC;aAAM,IAAI,gBAAgB,GAAG,kBAAkB,GAAG,GAAG,EAAE,CAAC;YACvD,eAAe,GAAG,kBAAkB,CAAC;QACvC,CAAC;aAAM,CAAC;YACN,oCAAoC;YACpC,WAAW,GAAG,mBAAmB,CAAC;YAClC,eAAe,GAAG,kBAAkB,GAAG,mBAAmB,CAAC;QAC7D,CAAC;IACH,CAAC;IAED,+BAA+B;IAC/B,MAAM,CAAC,GAAG,kBAAkB,GAAG,CAAC,IAAI,kBAAkB,GAAG,CAAC,IAAI,kBAAkB,GAAG,CAAC;QAClF,CAAC,CAAC,CAAC,gBAAgB,GAAG,kBAAkB,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,kBAAkB,GAAG,CAAC,CAAC,GAAG,kBAAkB,CAAC,GAAG,kBAAkB,CAAC;QACzH,CAAC,CAAC,CAAC,CAAC;IACN,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAEnD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAC5L,CAAC;AAED,wDAAwD;AAExD;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,EAAqB,EACrB,eAAuB,EACvB,iBAAgD,EAChD,cAAsB,EACtB,iBAAyB,EACzB,mBAAkD,EAClD,gBAAwB,EACxB,SAAS,GAAG,CAAC,EACb,gBAAgB,GAAG,CAAC;IAEpB,wBAAwB;IACxB,MAAM,KAAK,GAA2B,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC/F,MAAM,MAAM,GAAG,KAAK,CAAC,iBAAiB,CAAC,IAAI,GAAG,CAAC;IAE/C,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,CAAC;;6CAEW,MAAM;;GAEhD,CAAC,CAAC,GAAG,CAAC,eAAe,EAAE,cAAc,EAAE,gBAAgB,CAAgD,CAAC;IAEzG,IAAI,YAAY,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QAC7B,OAAO,EAAE,SAAS,EAAE,GAAG,eAAe,IAAI,iBAAiB,IAAI,cAAc,EAAE,EAAE,WAAW,EAAE,GAAG,iBAAiB,IAAI,mBAAmB,IAAI,gBAAgB,EAAE,EAAE,YAAY,EAAE,YAAY,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IAC9Q,CAAC;IAED,gEAAgE;IAChE,MAAM,KAAK,GAAG,SAAS,GAAG,OAAO,CAAC,CAAC,yBAAyB;IAC5D,MAAM,MAAM,GAAG,KAAK,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC;IACjD,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,gBAAgB,GAAG,EAAE,CAAC,OAAO,CAAC;;;gCAGR,MAAM;;KAEjC,CAAC,CAAC,GAAG,CAAC,iBAAiB,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,GAAG,KAAK,EAAE,gBAAgB,CAAC,CAAC;QAEpF,IAAI,gBAAgB;YAAE,SAAS,EAAE,CAAC;IACpC,CAAC;IAED,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC;IAE7C,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,UAAU,EAAE,CAAC;QACf,IAAI,WAAW,GAAG,GAAG,EAAE,CAAC;YACtB,WAAW,GAAG,SAAS,CAAC;YACxB,eAAe,GAAG,YAAY,CAAC,MAAM,GAAG,SAAS,CAAC;QACpD,CAAC;aAAM,IAAI,WAAW,GAAG,GAAG,EAAE,CAAC;YAC7B,eAAe,GAAG,YAAY,CAAC,MAAM,CAAC;QACxC,CAAC;aAAM,CAAC;YACN,WAAW,GAAG,SAAS,CAAC;YACxB,eAAe,GAAG,YAAY,CAAC,MAAM,GAAG,SAAS,CAAC;QACpD,CAAC;IACH,CAAC;IAED,OAAO;QACL,SAAS,EAAE,GAAG,eAAe,IAAI,iBAAiB,IAAI,cAAc,EAAE;QACtE,WAAW,EAAE,GAAG,iBAAiB,IAAI,mBAAmB,IAAI,gBAAgB,EAAE;QAC9E,YAAY,EAAE,YAAY,CAAC,MAAM;QACjC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,GAAG,IAAI,CAAC,GAAG,IAAI;QAClD,WAAW;QACX,eAAe;QACf,UAAU;KACX,CAAC;AACJ,CAAC"}

package/dist/self-model/generator-improver.d.ts

@@ -0,0 +1,51 @@
+/**
+ * Generator Self-Improvement Loop v1
+ *
+ * Automatically adjusts generator constraints based on diagnostics.
+ * The system doesn't just DESCRIBE its problems — it CHANGES its behavior.
+ *
+ * Session 142 — Generator Self-Improvement
+ */
+import type Database from 'better-sqlite3';
+export declare function runGeneratorImproverMigration(db: Database.Database): void;
+export interface GeneratorConfig {
+    generator_id: string;
+    constraints: {
+        require_known_entities?: boolean;
+        allowed_relations?: string[];
+        require_time_window?: boolean;
+    };
+    mode: 'normal' | 'conservative' | 'restricted';
+    weight: number;
+}
+export interface ImprovementAction {
+    generatorId: string;
+    action: string;
+    reason: string;
+    oldConfig: GeneratorConfig;
+    newConfig: GeneratorConfig;
+}
+export declare class GeneratorImprover {
+    private db;
+    constructor(db: Database.Database);
+    /** Get current config for a generator. */
+    getConfig(generatorId: string): GeneratorConfig;
+    /** Save config for a generator. */
+    private saveConfig;
+    /** Log an improvement action. */
+    private logAction;
+    /**
+     * Run the improvement loop — reads diagnostics and adjusts generator configs.
+     * Call every 5-10 cycles.
+     */
+    improve(): ImprovementAction[];
+    /** Get improvement history. */
+    getHistory(limit?: number): Array<{
+        generator_id: string;
+        action: string;
+        reason: string;
+        created_at: string;
+    }>;
+    /** Get all current configs. */
+    getAllConfigs(): GeneratorConfig[];
+}

package/dist/self-model/generator-improver.js

@@ -0,0 +1,149 @@
+import { getLogger } from '../utils/logger.js';
+const log = getLogger();
+// ── Migration ────────────────────────────────────────
+export function runGeneratorImproverMigration(db) {
+    db.exec(`
+    CREATE TABLE IF NOT EXISTS generator_config (
+      generator_id TEXT PRIMARY KEY,
+      constraints_json TEXT NOT NULL DEFAULT '{}',
+      mode TEXT NOT NULL DEFAULT 'normal',
+      weight REAL NOT NULL DEFAULT 1.0,
+      last_updated TEXT NOT NULL DEFAULT (datetime('now'))
+    );
+
+    CREATE TABLE IF NOT EXISTS generator_improvement_log (
+      id INTEGER PRIMARY KEY AUTOINCREMENT,
+      generator_id TEXT NOT NULL,
+      action TEXT NOT NULL,
+      reason TEXT NOT NULL,
+      old_config_json TEXT,
+      new_config_json TEXT,
+      created_at TEXT NOT NULL DEFAULT (datetime('now'))
+    );
+  `);
+}
+// ── Engine ───────────────────────────────────────────
+export class GeneratorImprover {
+    db;
+    constructor(db) {
+        this.db = db;
+        runGeneratorImproverMigration(db);
+    }
+    /** Get current config for a generator. */
+    getConfig(generatorId) {
+        const row = this.db.prepare('SELECT * FROM generator_config WHERE generator_id = ?')
+            .get(generatorId);
+        if (!row) {
+            return { generator_id: generatorId, constraints: {}, mode: 'normal', weight: 1.0 };
+        }
+        let constraints = {};
+        try {
+            constraints = JSON.parse(row.constraints_json);
+        }
+        catch { /* */ }
+        return { generator_id: row.generator_id, constraints, mode: row.mode, weight: row.weight };
+    }
+    /** Save config for a generator. */
+    saveConfig(config) {
+        this.db.prepare(`
+      INSERT INTO generator_config (generator_id, constraints_json, mode, weight, last_updated)
+      VALUES (?, ?, ?, ?, datetime('now'))
+      ON CONFLICT(generator_id) DO UPDATE SET
+        constraints_json = excluded.constraints_json,
+        mode = excluded.mode,
+        weight = excluded.weight,
+        last_updated = datetime('now')
+    `).run(config.generator_id, JSON.stringify(config.constraints), config.mode, config.weight);
+    }
+    /** Log an improvement action. */
+    logAction(action) {
+        this.db.prepare(`
+      INSERT INTO generator_improvement_log (generator_id, action, reason, old_config_json, new_config_json)
+      VALUES (?, ?, ?, ?, ?)
+    `).run(action.generatorId, action.action, action.reason, JSON.stringify(action.oldConfig), JSON.stringify(action.newConfig));
+    }
+    /**
+     * Run the improvement loop — reads diagnostics and adjusts generator configs.
+     * Call every 5-10 cycles.
+     */
+    improve() {
+        const actions = [];
+        // Read generator diagnostics
+        let diagnostics = [];
+        try {
+            diagnostics = this.db.prepare('SELECT generator_id, testability_rate, operationalization_rate, validation_rate, total_generated, category FROM generator_diagnostics WHERE total_generated >= 30').all();
+        }
+        catch {
+            return actions;
+        }
+        for (const diag of diagnostics) {
+            const oldConfig = this.getConfig(diag.generator_id);
+            const newConfig = { ...oldConfig, constraints: { ...oldConfig.constraints } };
+            let action = null;
+            let reason = null;
+            // Rule 1: Low testability → constrain to known entities
+            if (diag.testability_rate < 0.05 && diag.total_generated > 50) {
+                if (!oldConfig.constraints.require_known_entities) {
+                    newConfig.constraints.require_known_entities = true;
+                    newConfig.constraints.allowed_relations = ['co_occurs', 'correlates', 'if_then'];
+                    newConfig.constraints.require_time_window = true;
+                    newConfig.mode = 'restricted';
+                    action = 'constrain_to_known_entities';
+                    reason = `testability_rate=${(diag.testability_rate * 100).toFixed(1)}% over ${diag.total_generated} hypotheses — forcing known entities and explicit time windows`;
+                }
+            }
+            // Rule 2: Medium testability + low validation → conservative mode
+            if (diag.testability_rate > 0.3 && diag.validation_rate < 0.2 && diag.total_generated > 30) {
+                if (oldConfig.mode !== 'conservative') {
+                    newConfig.mode = 'conservative';
+                    action = 'set_conservative';
+                    reason = `testability=${(diag.testability_rate * 100).toFixed(1)}% but validation=${(diag.validation_rate * 100).toFixed(1)}% — reducing novelty`;
+                }
+            }
+            // Rule 3: Strong performer → slight weight boost
+            if (diag.validation_rate > 0.5 && diag.testability_rate > 0.5) {
+                if (oldConfig.weight < 1.5) {
+                    newConfig.weight = Math.min(1.5, oldConfig.weight + 0.1);
+                    action = 'boost_weight';
+                    reason = `strong performer: validation=${(diag.validation_rate * 100).toFixed(1)}%, testability=${(diag.testability_rate * 100).toFixed(1)}%`;
+                }
+            }
+            // Rule 4: Diversity protection — never fully shut down
+            if (newConfig.weight < 0.1) {
+                newConfig.weight = 0.1;
+            }
+            if (action && reason) {
+                this.saveConfig(newConfig);
+                const improvement = {
+                    generatorId: diag.generator_id,
+                    action,
+                    reason,
+                    oldConfig,
+                    newConfig,
+                };
+                this.logAction(improvement);
+                actions.push(improvement);
+                log.info(`[improver] ${diag.generator_id}: ${action} — ${reason}`);
+            }
+        }
+        return actions;
+    }
+    /** Get improvement history. */
+    getHistory(limit = 20) {
+        return this.db.prepare('SELECT generator_id, action, reason, created_at FROM generator_improvement_log ORDER BY created_at DESC LIMIT ?')
+            .all(limit);
+    }
+    /** Get all current configs. */
+    getAllConfigs() {
+        const rows = this.db.prepare('SELECT * FROM generator_config').all();
+        return rows.map(r => {
+            let constraints = {};
+            try {
+                constraints = JSON.parse(r.constraints_json);
+            }
+            catch { /* */ }
+            return { generator_id: r.generator_id, constraints, mode: r.mode, weight: r.weight };
+        });
+    }
+}
+//# sourceMappingURL=generator-improver.js.map

package/dist/self-model/generator-improver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator-improver.js","sourceRoot":"","sources":["../../src/self-model/generator-improver.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,MAAM,GAAG,GAAG,SAAS,EAAE,CAAC;AAExB,wDAAwD;AAExD,MAAM,UAAU,6BAA6B,CAAC,EAAqB;IACjE,EAAE,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;GAkBP,CAAC,CAAC;AACL,CAAC;AAuBD,wDAAwD;AAExD,MAAM,OAAO,iBAAiB;IACpB,EAAE,CAAoB;IAE9B,YAAY,EAAqB;QAC/B,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,6BAA6B,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC;IAED,0CAA0C;IAC1C,SAAS,CAAC,WAAmB;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,uDAAuD,CAAC;aACjF,GAAG,CAAC,WAAW,CAAiG,CAAC;QAEpH,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACrF,CAAC;QAED,IAAI,WAAW,GAAG,EAAE,CAAC;QACrB,IAAI,CAAC;YAAC,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;QACvE,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,CAAC,IAA+B,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;IACxH,CAAC;IAED,mCAAmC;IAC3B,UAAU,CAAC,MAAuB;QACxC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;;;;;;KAQf,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9F,CAAC;IAED,iCAAiC;IACzB,SAAS,CAAC,MAAyB;QACzC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;KAGf,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IAC/H,CAAC;IAED;;;OAGG;IACH,OAAO;QACL,MAAM,OAAO,GAAwB,EAAE,CAAC;QAExC,6BAA6B;QAC7B,IAAI,WAAW,GAOV,EAAE,CAAC;QAER,IAAI,CAAC;YACH,WAAW,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC3B,mKAAmK,CACpK,CAAC,GAAG,EAAwB,CAAC;QAChC,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,OAAO,CAAC;QAAC,CAAC;QAE3B,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACpD,MAAM,SAAS,GAAoB,EAAE,GAAG,SAAS,EAAE,WAAW,EAAE,EAAE,GAAG,SAAS,CAAC,WAAW,EAAE,EAAE,CAAC;YAC/F,IAAI,MAAM,GAAkB,IAAI,CAAC;YACjC,IAAI,MAAM,GAAkB,IAAI,CAAC;YAEjC,wDAAwD;YACxD,IAAI,IAAI,CAAC,gBAAgB,GAAG,IAAI,IAAI,IAAI,CAAC,eAAe,GAAG,EAAE,EAAE,CAAC;gBAC9D,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,sBAAsB,EAAE,CAAC;oBAClD,SAAS,CAAC,WAAW,CAAC,sBAAsB,GAAG,IAAI,CAAC;oBACpD,SAAS,CAAC,WAAW,CAAC,iBAAiB,GAAG,CAAC,WAAW,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;oBACjF,SAAS,CAAC,WAAW,CAAC,mBAAmB,GAAG,IAAI,CAAC;oBACjD,SAAS,CAAC,IAAI,GAAG,YAAY,CAAC;oBAC9B,MAAM,GAAG,6BAA6B,CAAC;oBACvC,MAAM,GAAG,oBAAoB,CAAC,IAAI,CAAC,gBAAgB,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,eAAe,gEAAgE,CAAC;gBACtK,CAAC;YACH,CAAC;YAED,kEAAkE;YAClE,IAAI,IAAI,CAAC,gBAAgB,GAAG,GAAG,IAAI,IAAI,CAAC,eAAe,GAAG,GAAG,IAAI,IAAI,CAAC,eAAe,GAAG,EAAE,EAAE,CAAC;gBAC3F,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;oBACtC,SAAS,CAAC,IAAI,GAAG,cAAc,CAAC;oBAChC,MAAM,GAAG,kBAAkB,CAAC;oBAC5B,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,gBAAgB,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,eAAe,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,sBAAsB,CAAC;gBACpJ,CAAC;YACH,CAAC;YAED,iDAAiD;YACjD,IAAI,IAAI,CAAC,eAAe,GAAG,GAAG,IAAI,IAAI,CAAC,gBAAgB,GAAG,GAAG,EAAE,CAAC;gBAC9D,IAAI,SAAS,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;oBAC3B,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC;oBACzD,MAAM,GAAG,cAAc,CAAC;oBACxB,MAAM,GAAG,gCAAgC,CAAC,IAAI,CAAC,eAAe,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,gBAAgB,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;gBAChJ,CAAC;YACH,CAAC;YAED,uDAAuD;YACvD,IAAI,SAAS,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;gBAC3B,SAAS,CAAC,MAAM,GAAG,GAAG,CAAC;YACzB,CAAC;YAED,IAAI,MAAM,IAAI,MAAM,EAAE,CAAC;gBACrB,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;gBAC3B,MAAM,WAAW,GAAsB;oBACrC,WAAW,EAAE,IAAI,CAAC,YAAY;oBAC9B,MAAM;oBACN,MAAM;oBACN,SAAS;oBACT,SAAS;iBACV,CAAC;gBACF,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;gBAC5B,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC1B,GAAG,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,YAAY,KAAK,MAAM,MAAM,MAAM,EAAE,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,+BAA+B;IAC/B,UAAU,CAAC,KAAK,GAAG,EAAE;QACnB,OAAO,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,iHAAiH,CAAC;aACtI,GAAG,CAAC,KAAK,CAAwF,CAAC;IACvG,CAAC;IAED,+BAA+B;IAC/B,aAAa;QACX,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC,GAAG,EAA6F,CAAC;QAChK,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YAClB,IAAI,WAAW,GAAG,EAAE,CAAC;YACrB,IAAI,CAAC;gBAAC,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;YACrE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,IAA+B,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QAClH,CAAC,CAAC,CAAC;IACL,CAAC;CACF"}

package/dist/self-model/hypothesis-operationalizer.d.ts

@@ -0,0 +1,64 @@
+/**
+ * HypothesisOperationalizer — Translates raw creative/reasoning hypotheses
+ * into testable operational form.
+ *
+ * Pipeline: raw hypothesis → entity grounding → relation extraction
+ *           → temporal normalization → testability scoring → operational hypothesis
+ *
+ * Session 142 — Testability-Aware Generation v1
+ */
+import type Database from 'better-sqlite3';
+export declare function runOperationalizerMigration(db: Database.Database): void;
+export interface OperationalizationResult {
+    hypothesisId: number;
+    rawStatement: string;
+    operationalStatement: string | null;
+    entityA: string | null;
+    entityB: string | null;
+    relationType: 'co_occurs' | 'correlates' | 'if_then' | null;
+    windowMinutes: number;
+    testabilityScore: number;
+    status: 'operationalized' | 'not_yet_operationalized' | 'discarded';
+}
+export interface GeneratorDiagnostic {
+    generator_id: string;
+    total_generated: number;
+    total_operationalized: number;
+    total_testable: number;
+    total_validated: number;
+    confirmed: number;
+    rejected: number;
+    testability_rate: number;
+    operationalization_rate: number;
+    validation_rate: number;
+    category: string;
+}
+export declare class HypothesisOperationalizer {
+    private db;
+    private knownEntities;
+    constructor(db: Database.Database);
+    /** Load all observation types + entity registry as known testable entities. */
+    private loadKnownEntities;
+    /** Seed entity registry from current observation types. */
+    seedEntityRegistry(): number;
+    /**
+     * Operationalize a single hypothesis.
+     * Extracts entities from variables, detects relation type, assigns temporal spec.
+     */
+    operationalize(hypothesisId: number): OperationalizationResult;
+    /**
+     * Operationalize all unprocessed creative/reasoning hypotheses.
+     */
+    operationalizeAll(): {
+        processed: number;
+        operationalized: number;
+        discarded: number;
+        notYet: number;
+    };
+    /**
+     * Rebuild generator diagnostics from hypothesis data.
+     */
+    rebuildDiagnostics(): GeneratorDiagnostic[];
+    /** Get generator diagnostics report. */
+    getDiagnostics(): GeneratorDiagnostic[];
+}