create-principles-disciple 1.94.0 → 1.96.0

package/plugin/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/plugin/dist/core/thinking-models.d.ts

@@ -1,49 +1,19 @@
 /**
- * Thinking Models — Detection Engine
+ * Thinking Models — Plugin I/O Adapter (Stage 3 slim)
  *
- * Core principle metadata (id, name, description) comes from the
- * Core Principle Registry in @principles/core/runtime-v2.
- * Detection patterns are carefully tuned regexes that match AI output text.
+ * Pure logic (BUILTIN_PATTERNS, BUILTIN_PATTERN_MAP, getFallbackName,
+ * getFallbackDescription, deriveThinkingScenarios, types) lives in
+ * @principles/core/runtime-v2/thinking-models.
  *
- * Flow:
- *   Core Principle Registry (authority) → id, name, description
- *   BUILTIN_PATTERNS (engine) → detection regexes per model id
- *   THINKING_MODELS (merged) → full definitions with patterns
+ * This file owns only the I/O boundary: reading THINKING_OS.md from a
+ * workspace dir and merging it with the builtin patterns. It re-exports
+ * the pure functions and types so existing relative imports
+ * (../core/thinking-models.js) continue to resolve.
  */
-export interface ThinkingModelDefinition {
-    id: string;
-    name: string;
-    description: string;
-    antiPattern?: string;
-    patterns: RegExp[];
-    baselineScenarios: string[];
-}
-export interface ThinkingModelMatch {
-    modelId: string;
-    matchedPattern: string;
-}
-export interface ThinkingScenarioContext {
-    recentToolCalls?: {
-        toolName: string;
-        outcome: 'success' | 'failure' | 'blocked';
-        errorType?: string | null;
-    }[];
-    recentPainEvents?: {
-        source: string;
-        score: number;
-    }[];
-    recentGateBlocks?: {
-        toolName: string;
-        reason: string;
-    }[];
-    recentUserCorrections?: {
-        correctionCue?: string | null;
-    }[];
-    recentPrincipleEvents?: {
-        eventType: string;
-        principleId?: string | null;
-    }[];
-}
+import { type ThinkingModelDefinition, type ThinkingModelMatch } from '@principles/core/runtime-v2';
+export { BUILTIN_PATTERN_MAP, getFallbackName, getFallbackDescription, } from '@principles/core/runtime-v2';
+export { deriveThinkingScenarios } from '@principles/core/runtime-v2';
+export type { ThinkingModelDefinition, ThinkingModelMatch, ThinkingScenarioContext, } from '@principles/core/runtime-v2';
 /**
  * Load thinking model definitions dynamically from THINKING_OS.md.
  * Falls back to built-in definitions if parsing fails.
@@ -51,20 +21,5 @@ 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[];

package/plugin/dist/core/thinking-models.js

@@ -1,163 +1,20 @@
 /**
- * Thinking Models — Detection Engine
+ * Thinking Models — Plugin I/O Adapter (Stage 3 slim)
  *
- * Core principle metadata (id, name, description) comes from the
- * Core Principle Registry in @principles/core/runtime-v2.
- * Detection patterns are carefully tuned regexes that match AI output text.
+ * Pure logic (BUILTIN_PATTERNS, BUILTIN_PATTERN_MAP, getFallbackName,
+ * getFallbackDescription, deriveThinkingScenarios, types) lives in
+ * @principles/core/runtime-v2/thinking-models.
  *
- * Flow:
- *   Core Principle Registry (authority) → id, name, description
- *   BUILTIN_PATTERNS (engine) → detection regexes per model id
- *   THINKING_MODELS (merged) → full definitions with patterns
+ * This file owns only the I/O boundary: reading THINKING_OS.md from a
+ * workspace dir and merging it with the builtin patterns. It re-exports
+ * the pure functions and types so existing relative imports
+ * (../core/thinking-models.js) continue to resolve.
  */
 import { loadThinkingOsFromWorkspace, generateDetectionPatterns } from './thinking-os-parser.js';
-import { CORE_PRINCIPLES } from '@principles/core/runtime-v2';
-const BUILTIN_PATTERNS = [
-    {
-        id: 'T-01',
-        patterns: [
-            // Thinking process language (AI reasoning output)
-            /let me (first )?(understand|map|outline|survey|review the (structure|architecture|dependencies))/i,
-            /before (changing|editing|touching) anything/i,
-            /让我先(梳理|理解|看看|盘点).*(结构|架构|依赖|全貌)/i,
-            /在执行任何.*/i,
-            // Decision directive language (nocturnal artifact betterDecision)
-            /review (the |)(docs|architecture|structure|requirements|constraints|dependencies|authorization)/i,
-            /read (the |)(docs|architecture|requirements|constraints|logs?|error|stack)/i,
-            /check (the |)(docs|architecture|source|authorization|requirements|error)/i,
-            /understand (the |)(structure|architecture|requirements|constraints|full (context|picture))/i,
-            /first (to|and|,) (verify|check|review|read|understand|confirm|diagnose)/i,
-            /(verify|check|review|read|confirm) .+ first/i,
-        ],
-        baselineScenarios: ['exploration', 'discovery'],
-    },
-    {
-        id: 'T-02',
-        patterns: [
-            // Thinking process language
-            /(type|test|contract|schema|interface) (constraint|requirement|check|validation)/i,
-            /(必须|需要).*(遵守|符合|满足).*(类型|测试|契约|接口|规范)/i,
-            // Decision directive language
-            /(trust|follow|respect|adhere to|meet) (the |)(constraint|requirement|contract|interface|specification|schema|type)/i,
-            /(check|verify|validate|ensure) (the |)(constraint|requirement|contract|interface|specification|type|schema)/i,
-        ],
-        baselineScenarios: ['constraint-check', 'contract-verification'],
-    },
-    {
-        id: 'T-03',
-        patterns: [
-            // Thinking process language
-            /based on (the |this )?(evidence|logs?|output|error|stack trace|test result)/i,
-            /let me (check|verify|confirm|read|look at) (the |)(actual|source|code|file|log)/i,
-            /根据(日志|证据|输出|报错|堆栈|测试结果)/i,
-            // Decision directive language (evidence-based decision)
-            /(verify|check|confirm) (the |)(error|error code|error message|actual|evidence|logs?|output|stack)/i,
-            /(error|failure) (logs?|output|stack trace|message|code) (before|then)/i,
-            /(look at|read) (the |)(error|logs?|output|stack|actual|evidence|file|code)/i,
-        ],
-        baselineScenarios: ['evidence-gathering', 'verification'],
-    },
-    {
-        id: 'T-04',
-        patterns: [
-            // Thinking process language
-            /this (is|would be) (irreversible|destructive|permanent|not easily undone)/i,
-            /(reversible|can be undone|safely roll back)/i,
-            /(不可逆|破坏性|无法回滚|可以回滚|安全撤销)/i,
-            // Decision directive language
-            /(irreversible|destructive|permanent|high impact) (action|change|operation)/i,
-            /(must be|need to be|should be) (reviewed|confirmed|verified|checked) (first|before)/i,
-            /(get|obtain|ask for) (confirmation|authorization|approval|permission) (first|before)/i,
-        ],
-        baselineScenarios: ['risk-management', 'reversibility'],
-    },
-    {
-        id: 'T-05',
-        patterns: [
-            // Thinking process language
-            /we (must|should) (not|never|avoid|prevent|ensure we don't)/i,
-            /(critical|important) (not to|that we don't|to avoid)/i,
-            /(绝不能|必须避免|不可|禁止|确保不会)/i,
-            // Decision directive language
-            /(must|should|need to) (not |never |avoid )?(check|verify|review|read|confirm|ask)/i,
-            /(safety|safe) (check|gate|checklist|guard)/i,
-        ],
-        baselineScenarios: ['guardrails', 'safety-rails'],
-    },
-    {
-        id: 'T-06',
-        patterns: [
-            // Thinking process language
-            /(simpl(er|est|ify)|minimal|straightforward|lean) (approach|solution|fix|implementation)/i,
-            /(simple is better|keep it simple|no need to over)/i,
-            /(最简|更简单|精简|没必要过度设计)/i,
-            // Decision directive language
-            /(minimal|smallest|narrowest) (change|modification|impact|approach)/i,
-            /(only|just) (change|modify|touch|edit|affect) (the |what)/i,
-        ],
-        baselineScenarios: ['simplification', 'pragmatism'],
-    },
-    {
-        id: 'T-07',
-        patterns: [
-            // Thinking process language
-            /(minimal|smallest|narrowest|least) (change|diff|modification|impact)/i,
-            /only (change|modify|touch|edit) (the |what)/i,
-            /(最小改动|最小变更|只改|只动必要部分)/i,
-            // Decision directive language
-            /(limit|narrow) (the |)(change|impact|scope|blast radius)/i,
-        ],
-        baselineScenarios: ['minimal-diff', 'blast-radius-control'],
-    },
-    {
-        id: 'T-08',
-        patterns: [
-            // Thinking process language
-            /this (error|failure|issue) (tells us|indicates|signals|suggests|means)/i,
-            /let me (stop|pause|step back|reconsider|rethink)/i,
-            /这个(错误|失败|问题).*(说明|意味着|提示)/i,
-            /让我(停下|暂停|退一步|重新考虑|重新审视)/i,
-            // Decision directive language
-            /(diagnose|analyze|investigate) (the |)(root |)(cause|reason|error|failure) (first|before)/i,
-            /(understand|diagnose|analyze) (the |)(error|failure|issue|problem) (first|before)/i,
-        ],
-        baselineScenarios: ['reflection', 'pain-response'],
-    },
-    {
-        id: 'T-09',
-        patterns: [
-            // Thinking process language
-            /(break|split|decompose|divide) (this |the task |it )?(into|down)/i,
-            /(step 1|first,? (we|i|let's)|phase 1)/i,
-            /(拆分|分解|分步|分阶段|第一步)/i,
-            // Decision directive language
-            /(break|split|decompose|divide) (the |)(task|problem|action) (into|into steps)/i,
-        ],
-        baselineScenarios: ['decomposition', 'phased-execution'],
-    },
-    {
-        id: 'T-10',
-        patterns: [
-            // Thinking process language
-            /let me (write|save|record|note down|document)/i,
-            /memory.*scratchpad|write.*plan\.md|write.*memory|memory.*persist/i,
-            /(让我.*写入|写入.*memory|记录.*scratchpad)/i,
-            // Decision directive language
-            /(write|save|record|note) (the |)(conclusion|decision|plan|next step) (to|in) (file|plan\.md|scratchpad)/i,
-        ],
-        baselineScenarios: ['memory-persistence', 'state-externalization'],
-    },
-];
-const BUILTIN_PATTERN_MAP = new Map(BUILTIN_PATTERNS.map((p) => [p.id, p]));
-// Fallback name/description lookup — delegates to Core Principle Registry
-function getFallbackName(id) {
-    const entry = CORE_PRINCIPLES.find(p => p.id === id);
-    return entry?.name ?? id;
-}
-function getFallbackDescription(id) {
-    const entry = CORE_PRINCIPLES.find(p => p.id === id);
-    return entry?.statement ?? '';
-}
+import { BUILTIN_PATTERN_MAP, getFallbackName, getFallbackDescription, } from '@principles/core/runtime-v2';
+// Re-export pure logic + types so existing imports from this module keep working.
+export { BUILTIN_PATTERN_MAP, getFallbackName, getFallbackDescription, } from '@principles/core/runtime-v2';
+export { deriveThinkingScenarios } from '@principles/core/runtime-v2';
 // ---------------------------------------------------------------------------
 // Runtime model definitions — merged from THINKING_OS.md + builtin patterns
 // ---------------------------------------------------------------------------
@@ -200,27 +57,19 @@ export function listThinkingModels(workspaceDir) {
         }
     }
     // Fallback: built-in definitions
-    for (const bp of BUILTIN_PATTERNS) {
+    for (const [id, builtin] of BUILTIN_PATTERN_MAP) {
         models.push({
-            id: bp.id,
-            name: getFallbackName(bp.id),
-            description: getFallbackDescription(bp.id),
-            patterns: bp.patterns,
-            baselineScenarios: bp.baselineScenarios,
+            id,
+            name: getFallbackName(id),
+            description: getFallbackDescription(id),
+            patterns: builtin.patterns,
+            baselineScenarios: builtin.baselineScenarios,
         });
     }
     _cachedDefinitions = models;
     _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) {
     const models = listThinkingModels(workspaceDir);
     return models.find(m => m.id === modelId);
@@ -243,58 +92,3 @@ 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')) {
-        scenarios.add('after-tool-failure');
-    }
-    // after-recovery: success that follows a failure (not just any success)
-    const calls = context.recentToolCalls ?? [];
-    const hasFailure = calls.some((call) => call.outcome === 'failure');
-    const hasSuccess = calls.some((call) => call.outcome === 'success');
-    if (hasFailure && hasSuccess) {
-        scenarios.add('after-recovery');
-    }
-    if ((context.recentToolCalls ?? []).some((call) => call.outcome === 'blocked')) {
-        scenarios.add('blocked-execution');
-    }
-    if ((context.recentToolCalls ?? []).some((call) => Boolean(call.errorType))) {
-        scenarios.add('incident-response');
-    }
-    if ((context.recentPainEvents ?? []).length > 0) {
-        scenarios.add('user-friction');
-    }
-    if ((context.recentGateBlocks ?? []).length > 0) {
-        scenarios.add('gate-block');
-    }
-    if ((context.recentUserCorrections ?? []).length > 0) {
-        scenarios.add('user-correction');
-    }
-    if ((context.recentPrincipleEvents ?? []).length > 0) {
-        scenarios.add('principle-feedback');
-    }
-    if (modelId === 'T-03') {
-        scenarios.add('root-cause-analysis');
-    }
-    if (modelId === 'T-04' || modelId === 'T-05') {
-        scenarios.add('risk-review');
-    }
-    if (modelId === 'T-08') {
-        scenarios.add('reflection-loop');
-    }
-    if (modelId === 'T-09') {
-        scenarios.add('task-planning');
-    }
-    return Array.from(scenarios);
-}

package/plugin/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/plugin/dist/core/trajectory.d.ts

@@ -1,5 +1,21 @@
-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.
+ *
+ * Opens trajectory.db in write mode, applies the full schema (tables + indexes + views +
+ * migrations), then closes the DB. Does NOT run importLegacyArtifacts() or
+ * pruneUnreferencedBlobs() — those are runtime side-effects of TrajectoryDatabase
+ * construction and are not needed for pure initialization.
+ *
+ * Idempotent: safe to call on an existing DB; all CREATE statements use IF NOT EXISTS.
+ *
+ * @returns list of created/verified table names and any warnings
+ */
+export declare function initTrajectorySchema(workspaceDir: string): {
+    tables: string[];
+    warnings: string[];
+};
 export declare class TrajectoryDatabase {
     private readonly workspaceDir;
     private readonly stateDir;
@@ -105,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.
      *
@@ -121,6 +146,29 @@ export declare class TrajectoryDatabase {
         confidence: number | null;
         createdAt: string;
     }[];
+    /**
+     * PRI-484 Phase 5 — Look up a single pain event by canonical_pain_id.
+     *
+     * Used by BehaviorExamplePackAssembler to anchor a pain lineage without
+     * already knowing the session_id. Returns null when not found.
+     *
+     * ERR-001 (rc-1, rc-2): row fields validated as unknown — no `as` bypass.
+     * Uses a type-guard predicate to narrow the DB row structurally.
+     */
+    getPainEventByCanonicalId(canonicalPainId: string): {
+        id: number;
+        sessionId: string;
+        source: string;
+        score: number;
+        reason: string | null;
+        severity: string | null;
+        origin: string | null;
+        confidence: number | null;
+        text: string | null;
+        canonicalPainId: string;
+        runtimeTaskId: string | null;
+        createdAt: string;
+    } | null;
     /**
      * List user turns for a session.
      * Returns sanitized/reduced fields for nocturnal use — NO raw text.