principles-disciple 1.156.0 → 1.158.0

package/dist/core/rule-context-assembler.d.ts

@@ -0,0 +1,45 @@
+/**
+ * PRI-482 Phase 3 — Production RuleContext v2 assembler
+ *
+ * Converts raw TrajectoryDatabase rows into a validated RuleHistoryWindow,
+ * and provides buildProductionRuleContext for gate integration.
+ *
+ * ERR prevention:
+ *   - ERR-001: every row field is validated as unknown. No `as` bypass on
+ *     parsed params_json or outcome.
+ *   - ERR-024: buildProductionRuleContext fail-soft — query failure returns
+ *     unavailable, never throws.
+ *   - ERR-025: callers use recordToolCall → getRuleHostContextRows → this
+ *     assembler, covering the full production chain.
+ *
+ * Spec: docs/superpowers/specs/2026-06-27-rulecode-context-vision-design.md §5.
+ */
+import type { RuleContextV2, RuleHistoryWindow } from '@principles/core/runtime-v2';
+import type { RuleHostContextResult, RuleHostContextRow } from './trajectory-types.js';
+/**
+ * Minimal interface for the data source that TrajectoryDatabase satisfies.
+ * Allows testing buildProductionRuleContext without a real DB.
+ */
+export interface RuleContextDataSource {
+    getRuleHostContextRows(sessionId: string, limit: number): RuleHostContextResult;
+}
+/**
+ * Convert raw DB rows into a validated RuleHistoryWindow.
+ *
+ * If ANY row is malformed (bad params_json, invalid outcome, empty tool_name),
+ * the entire window is marked unavailable (fail loud, spec §5.2).
+ *
+ * ERR-001: row fields are validated as unknown. params_json is JSON.parsed
+ * then structurally checked (must be a non-array object). No `as` bypass.
+ */
+export declare function assembleHistoryFromRows(rows: readonly RuleHostContextRow[], truncated: boolean, projectDir: string): RuleHistoryWindow;
+/**
+ * Build a RuleContextV2 from the production data source (TrajectoryDatabase).
+ *
+ * ERR-024: if the query or assembly fails, returns an unavailable context
+ * (fail-soft). Never throws.
+ *
+ * sameActionBlockCount is always null in this version (spec §5.4:
+ * session-tracker.blockedAttempts is a session total, not per-action).
+ */
+export declare function buildProductionRuleContext(sessionId: string | null | undefined, targetPath: string | null, source: RuleContextDataSource, projectDir: string, limit?: number): RuleContextV2;

package/dist/core/rule-context-assembler.js

@@ -0,0 +1,148 @@
+/**
+ * PRI-482 Phase 3 — Production RuleContext v2 assembler
+ *
+ * Converts raw TrajectoryDatabase rows into a validated RuleHistoryWindow,
+ * and provides buildProductionRuleContext for gate integration.
+ *
+ * ERR prevention:
+ *   - ERR-001: every row field is validated as unknown. No `as` bypass on
+ *     parsed params_json or outcome.
+ *   - ERR-024: buildProductionRuleContext fail-soft — query failure returns
+ *     unavailable, never throws.
+ *   - ERR-025: callers use recordToolCall → getRuleHostContextRows → this
+ *     assembler, covering the full production chain.
+ *
+ * Spec: docs/superpowers/specs/2026-06-27-rulecode-context-vision-design.md §5.
+ */
+import { canonicalizeToolKind, computeBehaviorFacts, extractFilePathFromParams, normalizePathPure, UNAVAILABLE_RULE_CONTEXT, } from '@principles/core/runtime-v2';
+// ── internal constants ─────────────────────────────────────────────────────
+const VALID_OUTCOMES = new Set([
+    'success',
+    'failure',
+    'blocked',
+]);
+const DEFAULT_HISTORY_LIMIT = 20;
+// ── type guards (rc-2: no `as` bypass) ─────────────────────────────────────
+function isPlainObject(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function isRuleToolOutcome(value) {
+    return typeof value === 'string' && VALID_OUTCOMES.has(value);
+}
+// ── assembleHistoryFromRows ────────────────────────────────────────────────
+/**
+ * Convert raw DB rows into a validated RuleHistoryWindow.
+ *
+ * If ANY row is malformed (bad params_json, invalid outcome, empty tool_name),
+ * the entire window is marked unavailable (fail loud, spec §5.2).
+ *
+ * ERR-001: row fields are validated as unknown. params_json is JSON.parsed
+ * then structurally checked (must be a non-array object). No `as` bypass.
+ */
+export function assembleHistoryFromRows(rows, truncated, projectDir) {
+    const records = [];
+    for (const row of rows) {
+        // ── validate tool_name (ERR-001: unknown) ──
+        const toolName = row.toolName;
+        if (typeof toolName !== 'string' || toolName.length === 0) {
+            return unavailable(`row id=${row.id}: tool_name must be a non-empty string`);
+        }
+        // ── validate outcome (ERR-001: unknown, enum check) ──
+        const outcome = row.outcome;
+        if (!isRuleToolOutcome(outcome)) {
+            return unavailable(`row id=${row.id}: outcome "${row.outcome}" is not a valid RuleToolOutcome`);
+        }
+        // ── validate & parse params_json (ERR-001: unknown) ──
+        const paramsJsonStr = row.paramsJson;
+        if (typeof paramsJsonStr !== 'string') {
+            return unavailable(`row id=${row.id}: params_json must be a string`);
+        }
+        let parsedParams;
+        try {
+            parsedParams = JSON.parse(paramsJsonStr);
+        }
+        catch {
+            return unavailable(`row id=${row.id}: params_json is not valid JSON`);
+        }
+        // Must be a non-array object (spec §5.2)
+        if (!isPlainObject(parsedParams)) {
+            return unavailable(`row id=${row.id}: params_json must parse to a non-array object`);
+        }
+        // ── build RuleToolCallRecord ──
+        const canonicalKind = canonicalizeToolKind(toolName);
+        // Extract normalized path using the same pure logic as buildRuleHostAction
+        // (avoids production/replay drift, spec §4.4)
+        const rawPath = extractFilePathFromParams(parsedParams, {
+            isBashTool: canonicalKind === 'execute',
+            isWriteTool: canonicalKind === 'write',
+            toolName,
+        });
+        const normalizedPath = normalizePathPure(rawPath, projectDir);
+        records.push({
+            sequenceId: row.id,
+            toolName,
+            canonicalKind,
+            normalizedPath: normalizedPath === '' ? null : normalizedPath,
+            paramsSummary: parsedParams,
+            outcome,
+        });
+    }
+    return {
+        status: 'available',
+        truncated,
+        calls: records,
+    };
+}
+// ── buildProductionRuleContext ─────────────────────────────────────────────
+/**
+ * Build a RuleContextV2 from the production data source (TrajectoryDatabase).
+ *
+ * ERR-024: if the query or assembly fails, returns an unavailable context
+ * (fail-soft). Never throws.
+ *
+ * sameActionBlockCount is always null in this version (spec §5.4:
+ * session-tracker.blockedAttempts is a session total, not per-action).
+ */
+export function buildProductionRuleContext(sessionId, targetPath, source, projectDir, limit = DEFAULT_HISTORY_LIMIT) {
+    // Guard: no session → no context
+    if (!sessionId || typeof sessionId !== 'string' || sessionId.length === 0) {
+        return UNAVAILABLE_RULE_CONTEXT;
+    }
+    try {
+        const result = source.getRuleHostContextRows(sessionId, limit);
+        const history = assembleHistoryFromRows(result.rows, result.truncated, projectDir);
+        // sameActionBlockCount = null (spec §5.4 — no reliable per-action source)
+        const facts = computeBehaviorFacts(history, targetPath, null);
+        return {
+            version: 2,
+            history,
+            facts,
+        };
+    }
+    catch {
+        // ERR-024: fail-soft — never let a DB error propagate to the rule host
+        return unavailableContext('query or assembly failed');
+    }
+}
+// ── internal helpers ───────────────────────────────────────────────────────
+function unavailable(reason) {
+    return {
+        status: 'unavailable',
+        unavailableReason: reason,
+        truncated: false,
+        calls: [],
+    };
+}
+function unavailableContext(reason) {
+    return {
+        version: 2,
+        history: unavailable(reason),
+        facts: {
+            priorReadOfTarget: 'unknown',
+            readCount: null,
+            writeCount: null,
+            uniqueWritePathCount: null,
+            sameActionBlockCount: null,
+        },
+    };
+}

package/dist/core/thinking-models.d.ts

@@ -10,7 +10,7 @@
  *   BUILTIN_PATTERNS (engine) → detection regexes per model id
  *   THINKING_MODELS (merged) → full definitions with patterns
  */
-export interface ThinkingModelDefinition {
+interface ThinkingModelDefinition {
     id: string;
     name: string;
     description: string;
@@ -18,11 +18,11 @@ export interface ThinkingModelDefinition {
     patterns: RegExp[];
     baselineScenarios: string[];
 }
-export interface ThinkingModelMatch {
+interface ThinkingModelMatch {
     modelId: string;
     matchedPattern: string;
 }
-export interface ThinkingScenarioContext {
+interface ThinkingScenarioContext {
     recentToolCalls?: {
         toolName: string;
         outcome: 'success' | 'failure' | 'blocked';
@@ -51,20 +51,6 @@ export interface ThinkingScenarioContext {
  * @param workspaceDir Optional. If provided, loads from that workspace's THINKING_OS.md.
  */
 export declare function listThinkingModels(workspaceDir?: string): ThinkingModelDefinition[];
-/**
- * Clear the cached model definitions.
- * Call this when THINKING_OS.md changes.
- */
-export declare function clearThinkingModelCache(): void;
-export declare function getThinkingModel(modelId: string, workspaceDir?: string): ThinkingModelDefinition | undefined;
 export declare function detectThinkingModelMatches(text: string, workspaceDir?: string): ThinkingModelMatch[];
-/**
- * Get all model definitions for display purposes (no patterns).
- */
-export declare function getThinkingModelDefinitions(workspaceDir?: string): {
-    modelId: string;
-    name: string;
-    description: string;
-    antiPattern?: string;
-}[];
 export declare function deriveThinkingScenarios(modelId: string, context: ThinkingScenarioContext): string[];
+export {};

package/dist/core/thinking-models.js

@@ -213,15 +213,7 @@ export function listThinkingModels(workspaceDir) {
     _cachedWorkspace = cacheKey;
     return models.slice();
 }
-/**
- * Clear the cached model definitions.
- * Call this when THINKING_OS.md changes.
- */
-export function clearThinkingModelCache() {
-    _cachedDefinitions = null;
-    _cachedWorkspace = null;
-}
-export function getThinkingModel(modelId, workspaceDir) {
+function getThinkingModel(modelId, workspaceDir) {
     const models = listThinkingModels(workspaceDir);
     return models.find(m => m.id === modelId);
 }
@@ -243,17 +235,6 @@ export function detectThinkingModelMatches(text, workspaceDir) {
     }
     return matches;
 }
-/**
- * Get all model definitions for display purposes (no patterns).
- */
-export function getThinkingModelDefinitions(workspaceDir) {
-    return listThinkingModels(workspaceDir).map(m => ({
-        modelId: m.id,
-        name: m.id + ': ' + m.name,
-        description: m.description,
-        antiPattern: m.antiPattern,
-    }));
-}
 export function deriveThinkingScenarios(modelId, context) {
     const scenarios = new Set(getThinkingModel(modelId)?.baselineScenarios ?? []);
     if ((context.recentToolCalls ?? []).some((call) => call.outcome === 'failure')) {

package/dist/core/trajectory-types.d.ts

@@ -222,4 +222,22 @@ export interface TrajectoryDatabaseOptions {
     busyTimeoutMs?: number;
     orphanBlobGraceDays?: number;
 }
+/**
+ * Raw row from tool_calls for RuleContext v2 history assembly.
+ * Fields are raw strings from SQLite — the assembler validates them as unknown.
+ */
+export interface RuleHostContextRow {
+    readonly id: number;
+    readonly toolName: string;
+    readonly outcome: string;
+    readonly paramsJson: string;
+}
+/**
+ * Result of getRuleHostContextRows: FIFO-ordered rows + truncated flag.
+ * truncated=true when more than `limit` rows existed (limit+1 read trick).
+ */
+export interface RuleHostContextResult {
+    readonly rows: readonly RuleHostContextRow[];
+    readonly truncated: boolean;
+}
 export type { DailyMetricRow };

package/dist/core/trajectory.d.ts

@@ -1,5 +1,5 @@
-import type { CorrectionSampleReviewStatus, CorrectionExportMode, TrajectoryDataStats, TrajectoryAssistantTurnInput, TrajectoryUserTurnInput, TrajectoryToolCallInput, TrajectoryPainEventInput, TrajectoryGateBlockInput, TrajectoryTrustChangeInput, TrajectoryPrincipleEventInput, TrajectoryTaskOutcomeInput, TrajectorySessionInput, EvolutionTaskInput, EvolutionEventInput, EvolutionTaskRecord, EvolutionEventRecord, EvolutionTaskFilters, AssistantTurnRecord, CorrectionSampleRecord, TrajectoryExportResult, TrajectoryDatabaseOptions } from './trajectory-types.js';
-export type { CorrectionSampleReviewStatus, CorrectionExportMode, TrajectoryDataStats, TrajectoryAssistantTurnInput, TrajectoryUserTurnInput, TrajectoryToolCallInput, TrajectoryPainEventInput, TrajectoryGateBlockInput, DailyMetricRow, TrajectoryTrustChangeInput, TrajectoryPrincipleEventInput, TrajectoryTaskOutcomeInput, TrajectorySessionInput, TaskKind, TaskPriority, EvolutionTaskInput, EvolutionEventInput, EvolutionTaskRecord, EvolutionEventRecord, EvolutionTaskFilters, AssistantTurnRecord, CorrectionSampleRecord, TrajectoryExportResult, TrajectoryDatabaseOptions, } from './trajectory-types.js';
+import type { CorrectionSampleReviewStatus, CorrectionExportMode, TrajectoryDataStats, TrajectoryAssistantTurnInput, TrajectoryUserTurnInput, TrajectoryToolCallInput, TrajectoryPainEventInput, TrajectoryGateBlockInput, TrajectoryTrustChangeInput, TrajectoryPrincipleEventInput, TrajectoryTaskOutcomeInput, TrajectorySessionInput, EvolutionTaskInput, EvolutionEventInput, EvolutionTaskRecord, EvolutionEventRecord, EvolutionTaskFilters, AssistantTurnRecord, CorrectionSampleRecord, TrajectoryExportResult, TrajectoryDatabaseOptions, RuleHostContextResult } from './trajectory-types.js';
+export type { CorrectionSampleReviewStatus, CorrectionExportMode, TrajectoryDataStats, TrajectoryAssistantTurnInput, TrajectoryUserTurnInput, TrajectoryToolCallInput, TrajectoryPainEventInput, TrajectoryGateBlockInput, DailyMetricRow, TrajectoryTrustChangeInput, TrajectoryPrincipleEventInput, TrajectoryTaskOutcomeInput, TrajectorySessionInput, TaskKind, TaskPriority, EvolutionTaskInput, EvolutionEventInput, EvolutionTaskRecord, EvolutionEventRecord, EvolutionTaskFilters, AssistantTurnRecord, CorrectionSampleRecord, TrajectoryExportResult, TrajectoryDatabaseOptions, RuleHostContextRow, RuleHostContextResult, } from './trajectory-types.js';
 /**
  * Initialize trajectory.db schema at the given workspace directory.
  *
@@ -121,6 +121,15 @@ export declare class TrajectoryDatabase {
         resultPreview: string | null;
         createdAt: string;
     }[];
+    /**
+     * PRI-482 Phase 3: Query tool_calls for RuleContext v2 history assembly.
+     *
+     * Reads limit+1 rows (DESC by id) to compute truncated, then reverses to FIFO.
+     * Returns raw rows — the assembler (rule-context-assembler.ts) validates them.
+     *
+     * Spec: §5.1, §5.2. ERR-026: reuses production schema (no hand-written DDL).
+     */
+    getRuleHostContextRows(sessionId: string, limit?: number): RuleHostContextResult;
     /**
      * List pain events for a session.
      *

package/dist/core/trajectory.js

@@ -903,6 +903,36 @@ export class TrajectoryDatabase {
             };
         });
     }
+    /**
+     * PRI-482 Phase 3: Query tool_calls for RuleContext v2 history assembly.
+     *
+     * Reads limit+1 rows (DESC by id) to compute truncated, then reverses to FIFO.
+     * Returns raw rows — the assembler (rule-context-assembler.ts) validates them.
+     *
+     * Spec: §5.1, §5.2. ERR-026: reuses production schema (no hand-written DDL).
+     */
+    getRuleHostContextRows(sessionId, limit = 20) {
+        const cappedLimit = Math.max(1, Math.floor(limit));
+        const rows = this.db.prepare(`
+      SELECT id, tool_name, outcome, params_json
+      FROM tool_calls
+      WHERE session_id = ?
+      ORDER BY id DESC
+      LIMIT ?
+    `).all(sessionId, cappedLimit + 1);
+        const truncated = rows.length > cappedLimit;
+        const output = truncated ? rows.slice(0, cappedLimit) : rows;
+        output.reverse(); // DESC → FIFO (oldest first)
+        return {
+            rows: output.map((row) => ({
+                id: Number(row.id),
+                toolName: String(row.tool_name),
+                outcome: String(row.outcome),
+                paramsJson: String(row.params_json),
+            })),
+            truncated,
+        };
+    }
     /**
      * List pain events for a session.
      *

package/openclaw.plugin.json

@@ -2,7 +2,7 @@
   "id": "principles-disciple",
   "name": "Principles Disciple",
   "description": "Evolutionary programming agent framework with strategic guardrails and reflection loops.",
-  "version": "1.156.0",
+  "version": "1.158.0",
   "activation": {
     "onCapabilities": [
       "hook"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "principles-disciple",
-  "version": "1.156.0",
+  "version": "1.158.0",
   "description": "Native OpenClaw plugin for Principles Disciple",
   "type": "module",
   "main": "./dist/index.js",

package/dist/core/evolution-migration.d.ts

@@ -1,5 +0,0 @@
-export interface MigrationResult {
-    importedEvents: number;
-    streamPath: string;
-}
-export declare function migrateLegacyEvolutionData(workspaceDir: string): MigrationResult;

package/dist/core/evolution-migration.js

@@ -1,65 +0,0 @@
-import * as fs from 'fs';
-import * as path from 'path';
-import { stableContentHash } from './evolution-reducer.js';
-import { SystemLogger } from './system-logger.js';
-function appendEvent(streamPath, event) {
-    fs.appendFileSync(streamPath, `${JSON.stringify(event)}\n`, 'utf8');
-}
-function loadImportedHashes(streamPath, workspaceDir) {
-    if (!fs.existsSync(streamPath))
-        return new Set();
-    const raw = fs.readFileSync(streamPath, 'utf8').trim();
-    if (!raw)
-        return new Set();
-    const hashes = new Set();
-    for (const line of raw.split('\n')) {
-        try {
-            const event = JSON.parse(line);
-            if (event.type !== 'legacy_import')
-                continue;
-            const hash = event.data.contentHash;
-            if (typeof hash === 'string')
-                hashes.add(hash);
-        }
-        catch (e) {
-            SystemLogger.log(workspaceDir, 'MIGRATION_WARN', `skip malformed line: ${String(e)}`);
-        }
-    }
-    return hashes;
-}
-export function migrateLegacyEvolutionData(workspaceDir) {
-    const streamPath = path.join(workspaceDir, 'memory', 'evolution.jsonl');
-    fs.mkdirSync(path.dirname(streamPath), { recursive: true });
-    const candidates = [
-        path.join(workspaceDir, 'memory', 'ISSUE_LOG.md'),
-        path.join(workspaceDir, 'memory', 'DECISIONS.md'),
-        path.join(workspaceDir, '.principles', 'PRINCIPLES.md'),
-    ];
-    const existingHashes = loadImportedHashes(streamPath, workspaceDir);
-    let importedEvents = 0;
-    for (const sourceFile of candidates) {
-        if (!fs.existsSync(sourceFile)) {
-            continue;
-        }
-        const content = fs.readFileSync(sourceFile, 'utf8').trim();
-        if (!content) {
-            continue;
-        }
-        const contentHash = stableContentHash(`${sourceFile}:${content}`);
-        if (existingHashes.has(contentHash)) {
-            continue;
-        }
-        appendEvent(streamPath, {
-            ts: new Date().toISOString(),
-            type: 'legacy_import',
-            data: {
-                sourceFile: path.relative(workspaceDir, sourceFile),
-                content,
-                contentHash,
-            },
-        });
-        importedEvents += 1;
-        existingHashes.add(contentHash);
-    }
-    return { importedEvents, streamPath };
-}

package/dist/core/rule-host-helpers.d.ts

@@ -1,8 +0,0 @@
-/**
- * Rule Host Helpers — Re-exported from @principles/core (PRI-42)
- *
- * Canonical definitions moved to:
- *   packages/principles-core/src/runtime-v2/internalization/rule-host-helpers.ts
- */
-export type { RuleHostHelpers } from '@principles/core/runtime-v2';
-export { createRuleHostHelpers } from '@principles/core/runtime-v2';

package/dist/core/rule-host-helpers.js

@@ -1,7 +0,0 @@
-/**
- * Rule Host Helpers — Re-exported from @principles/core (PRI-42)
- *
- * Canonical definitions moved to:
- *   packages/principles-core/src/runtime-v2/internalization/rule-host-helpers.ts
- */
-export { createRuleHostHelpers } from '@principles/core/runtime-v2';

package/dist/core/rule-host-types.d.ts

@@ -1,7 +0,0 @@
-/**
- * Rule Host Types — Re-exported from @principles/core (PRI-42)
- *
- * Canonical definitions moved to:
- *   packages/principles-core/src/runtime-v2/internalization/rule-host-contracts.ts
- */
-export type { RuleHostInput, RuleHostDecision, RuleHostMeta, RuleHostResult, LoadedImplementation, } from '@principles/core/runtime-v2';

package/dist/core/rule-host-types.js

@@ -1,7 +0,0 @@
-/**
- * Rule Host Types — Re-exported from @principles/core (PRI-42)
- *
- * Canonical definitions moved to:
- *   packages/principles-core/src/runtime-v2/internalization/rule-host-contracts.ts
- */
-export {};