create-principles-disciple 1.142.3 → 1.142.4

package/plugin/dist/core/pd-config-loader.d.ts

@@ -15,6 +15,8 @@ export interface ObserverConfigResult {
     provider: string | null;
     model: string | null;
     timeoutMs: number | null;
+    /** PRI-788 G3: profile 的 maxTokens（思考型本地模型需要显式大 token 预算） */
+    maxTokens: number | null;
     baseUrl: string | null;
     configErrors?: PluginConfigLoadResult['errors'];
 }

package/plugin/dist/core/signal-collector-host.d.ts

@@ -54,12 +54,20 @@ export interface SignalCollectorHostOptions {
     config?: SignalCollectorConfig;
     /** Stage2 LLM 分类器。null/undefined → 降级纯关键词。 */
     llmClassifier?: SignalLlmClassifier | null;
+    /**
+     * PRI-788 G3: 关键词确认反馈（earned precision 的证据源）。LLM 确认 verdict
+     * 出现时以命中的词回调——wasCorrection=true 记 TP（LLM 确认是纠正），
+     * false 记 FP（命中但不是纠正）。由 prompt.ts 接线到 CorrectionCueLearner；
+     * 未注入时为 no-op（earned 永不升级，行为=G3 之前）。
+     */
+    cueFeedbackRecorder?: (terms: readonly string[], wasCorrection: boolean) => void;
 }
 export declare class SignalCollectorHost {
     private readonly wctx;
     private readonly storeProvider;
     private readonly config;
     private readonly llmClassifier;
+    private readonly cueFeedbackRecorder?;
     /** rate limit 状态:sessionId → STRONG 计数桶 */
     private readonly rateLimit;
     constructor(wctx: WorkspaceContext, options?: SignalCollectorHostOptions);
@@ -87,6 +95,37 @@ export declare class SignalCollectorHost {
      * 3. 按 strength 分流:STRONG → emitPainDetectedEvent;WEAK → trackFriction 累积 GFI;none → 仅记录
      */
     private detectAsyncAndRoute;
+    /**
+     * PRI-788 G3: 把 LLM 确认 verdict 转成关键词 TP/FP 反馈（earned precision 的
+     * 证据源）。recorder 未注入或抛错均不阻塞路由（rc-9：抛错记结构化日志）。
+     */
+    private emitCueFeedback;
+    /**
+     * PRI-788 G2: Stage2 不可用时的持久化兜底。LLM 不可用/超时/解析失败的丢弃
+     * 分支改为落库 signal_confirmations（pending），由 CorrectionObserverService
+     * 每周期批量确认——通道恢复后信号可补确认，不再"通道死=信号丢"。
+     *
+     * 只入队"词库命中过的歧义候选"：零命中的普通消息体量与噪声不可控，其纠正
+     * 语义覆盖由 G3 的词库扩充/earned 解锁承担。
+     */
+    private queueUnconfirmedForBatch;
+    /**
+     * PRI-788 G2: 批量确认一条持久化的待确认信号（CorrectionObserverService 每
+     * 周期调用）。用调用方提供的 classifier（每 cycle 新鲜解析）重新分类：
+     * correction → 回写标志 + 复用 realtime STRONG 分流（限流/身份派生一致）；
+     * WEAK → trackFriction；none → rejected；classifier 失败 → failed（调用方
+     * attempts++，达上限转 abandoned）。
+     */
+    confirmPendingSignal(item: {
+        sessionId: string;
+        userTurnRowid: number;
+        occurrenceId: string;
+        excerpt: string;
+        terms?: readonly string[];
+    }, classifier: SignalLlmClassifier): Promise<{
+        disposition: 'confirmed' | 'rejected' | 'failed';
+        detail: string;
+    }>;
     /**
      * PRI-788 G1: Stage2 确认为纠正后回写 user_turns.correction_detected（G1）。
      * 以 Stage1 写入返回的 rowid 精确寻址（rc-7）；rowid 缺失/行已不存在均为

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

@@ -246,3 +246,33 @@ export interface RuleHostContextResult {
     readonly truncated: boolean;
 }
 export type { DailyMetricRow };
+export type SignalConfirmationStatus = 'pending' | 'confirmed' | 'rejected' | 'abandoned';
+/** 入队载荷（id 由 store 派生：sha256(sessionId:userTurnRowid) 前 12 位）。 */
+export interface SignalConfirmationInput {
+    readonly sessionId: string;
+    /** Stage1 写入 user_turns 返回的 rowid（G1 回写寻址键；UNIQUE 幂等）。 */
+    readonly userTurnRowid: number;
+    /** 与 realtime 路径一致的 occurrence 身份（ADR-0020 §11.4，批量确认复现同一 canonical pain）。 */
+    readonly occurrenceId: string;
+    readonly excerpt: string;
+    /** Stage1 命中的词列表（JSON 落库）。 */
+    readonly terms: readonly string[];
+    /** Stage1 建议类别：correction | empathy。 */
+    readonly suggestedType: string;
+    readonly createdAt: string;
+}
+/** signal_confirmations 行（camelCase 投影）。 */
+export interface SignalConfirmationRow {
+    readonly id: string;
+    readonly sessionId: string;
+    readonly userTurnRowid: number;
+    readonly occurrenceId: string;
+    readonly excerpt: string;
+    readonly terms: readonly string[];
+    readonly suggestedType: string;
+    readonly status: SignalConfirmationStatus;
+    readonly attempts: number;
+    readonly createdAt: string;
+    readonly resolvedAt: string | null;
+    readonly resolution: string | null;
+}

package/plugin/dist/core/trajectory.d.ts

@@ -1,4 +1,4 @@
-import type { CorrectionSampleReviewStatus, CorrectionExportMode, TrajectoryDataStats, TrajectoryAssistantTurnInput, TrajectoryUserTurnInput, TrajectoryToolCallInput, TrajectoryPainEventInput, TrajectoryGateBlockInput, TrajectoryTrustChangeInput, TrajectoryPrincipleEventInput, TrajectoryTaskOutcomeInput, TrajectorySessionInput, EvolutionTaskRecord, EvolutionEventRecord, EvolutionTaskFilters, AssistantTurnRecord, CorrectionSampleRecord, TrajectoryExportResult, TrajectoryDatabaseOptions, RuleHostContextResult, RuleHostEvidenceRow } from './trajectory-types.js';
+import type { CorrectionSampleReviewStatus, CorrectionExportMode, SignalConfirmationInput, SignalConfirmationRow, SignalConfirmationStatus, TrajectoryDataStats, TrajectoryAssistantTurnInput, TrajectoryUserTurnInput, TrajectoryToolCallInput, TrajectoryPainEventInput, TrajectoryGateBlockInput, TrajectoryTrustChangeInput, TrajectoryPrincipleEventInput, TrajectoryTaskOutcomeInput, TrajectorySessionInput, EvolutionTaskRecord, EvolutionEventRecord, EvolutionTaskFilters, AssistantTurnRecord, CorrectionSampleRecord, TrajectoryExportResult, TrajectoryDatabaseOptions, RuleHostContextResult, RuleHostEvidenceRow } 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, RuleHostEvidenceRow, } from './trajectory-types.js';
 /**
  * Initialize trajectory.db schema at the given workspace directory.
@@ -232,6 +232,22 @@ export declare class TrajectoryDatabase {
      * violation signal (human-verified, unlike heuristic pain detection).
      */
     private recordCorrectionRejectedPain;
+    /**
+     * 入队一条待确认信号。幂等：UNIQUE(user_turn_rowid) 兜底，重复入队是 no-op
+     * （同一轮消息只会在队列里出现一次）。id 由 (sessionId, rowid) 确定性派生。
+     */
+    enqueueSignalConfirmation(input: SignalConfirmationInput): void;
+    /** 按 attempts ASC, created_at ASC 取 pending 队列（最久未确认的优先）。 */
+    listPendingSignalConfirmations(limit: number): SignalConfirmationRow[];
+    /** 确认失败一次：attempts++（仍 pending，可重试）。返回累加后的 attempts。 */
+    bumpSignalConfirmationAttempt(id: string): number;
+    /**
+     * 终态转移（confirmed/rejected/abandoned）。乐观锁守卫：仅当仍为 pending 时
+     * 生效（照 principle_candidates 模式）；返回是否实际转移。
+     */
+    markSignalConfirmationResult(id: string, status: Exclude<SignalConfirmationStatus, 'pending'>, resolution: string): boolean;
+    /** 经济性：pending 总量（健康度指标 G4 用，O(1) 走索引）。 */
+    countPendingSignalConfirmations(): number;
     /**
      * Export correction samples to JSONL file.
      *