autosnippet 3.3.4 → 3.3.6

package/dist/lib/service/bootstrap/DeliveryVerifier.js

@@ -0,0 +1,163 @@
+/**
+ * DeliveryVerifier — Bootstrap/Rescan 完成后交付完整性检查
+ *
+ * 验证以下交付物是否正确生成:
+ *   - Channel A: autosnippet-project-rules.mdc
+ *   - Channel B: autosnippet-patterns 系列文件
+ *   - Channel C: .cursor/skills/ 目录
+ *   - Channel F: AGENTS.md, CLAUDE.md, copilot-instructions.md
+ *   - Wiki: meta.json
+ *   - Skills: project 级 Skill 目录
+ *   - 向量索引: asvec 文件
+ *
+ * @module service/bootstrap/DeliveryVerifier
+ */
+import fs from 'node:fs';
+import path from 'node:path';
+import { getContextIndexPath, getProjectKnowledgePath, getProjectSkillsPath, } from '#infra/config/Paths.js';
+// ── DeliveryVerifier ────────────────────────────────────────
+export class DeliveryVerifier {
+    #projectRoot;
+    constructor(projectRoot) {
+        this.#projectRoot = projectRoot;
+    }
+    /**
+     * 验证所有交付物是否正确生成
+     */
+    verify() {
+        const failures = [];
+        // Channel A: .cursor/rules/autosnippet-project-rules.mdc
+        const channelA = this.#verifyChannelA();
+        if (!channelA.generated) {
+            failures.push('Channel A: autosnippet-project-rules.mdc missing or empty');
+        }
+        // Channel B: .cursor/rules/autosnippet-patterns-*.mdc
+        const channelB = this.#verifyChannelB();
+        if (!channelB.generated) {
+            failures.push('Channel B: no autosnippet-patterns-*.mdc files found');
+        }
+        // Channel C: .cursor/skills/
+        const channelC = this.#verifyChannelC();
+        if (!channelC.generated) {
+            failures.push('Channel C: .cursor/skills/ directory missing');
+        }
+        // Channel F: AGENTS.md, CLAUDE.md, copilot-instructions.md
+        const channelF = this.#verifyChannelF();
+        if (!channelF.generated) {
+            failures.push('Channel F: agent instruction files incomplete');
+        }
+        // Wiki
+        const wiki = this.#verifyWiki();
+        // Skills
+        const skills = this.#verifySkills();
+        // Vector Index
+        const vectorIndex = this.#verifyVectorIndex();
+        return {
+            channelA,
+            channelB,
+            channelC,
+            channelF,
+            wiki,
+            skills,
+            vectorIndex,
+            allPassed: failures.length === 0,
+            failures,
+        };
+    }
+    // ─── 各通道验证 ───────────────────────────────────────
+    #verifyChannelA() {
+        const filePath = path.join(this.#projectRoot, '.cursor', 'rules', 'autosnippet-project-rules.mdc');
+        if (fs.existsSync(filePath)) {
+            const size = fs.statSync(filePath).size;
+            return { generated: size > 0, file: 'autosnippet-project-rules.mdc', size };
+        }
+        return { generated: false };
+    }
+    #verifyChannelB() {
+        const rulesDir = path.join(this.#projectRoot, '.cursor', 'rules');
+        if (!fs.existsSync(rulesDir)) {
+            return { generated: false, files: [], count: 0 };
+        }
+        const files = fs
+            .readdirSync(rulesDir)
+            .filter((f) => f.startsWith('autosnippet-patterns-') && f.endsWith('.mdc'));
+        return {
+            generated: files.length > 0,
+            files,
+            count: files.length,
+        };
+    }
+    #verifyChannelC() {
+        const skillsDir = path.join(this.#projectRoot, '.cursor', 'skills');
+        if (!fs.existsSync(skillsDir)) {
+            return { generated: false, skillCount: 0 };
+        }
+        const count = fs.readdirSync(skillsDir).length;
+        return { generated: true, skillCount: count };
+    }
+    #verifyChannelF() {
+        const agentsMd = this.#hasAutoSnippetSection(path.join(this.#projectRoot, 'AGENTS.md'));
+        const claudeMd = this.#hasAutoSnippetSection(path.join(this.#projectRoot, 'CLAUDE.md'));
+        const copilotInstructions = this.#hasAutoSnippetSection(path.join(this.#projectRoot, '.github', 'copilot-instructions.md'));
+        return {
+            generated: agentsMd || claudeMd || copilotInstructions,
+            agentsMd,
+            claudeMd,
+            copilotInstructions,
+        };
+    }
+    #verifyWiki() {
+        const kbPath = getProjectKnowledgePath(this.#projectRoot);
+        const metaPath = path.join(kbPath, 'wiki', 'meta.json');
+        if (fs.existsSync(metaPath)) {
+            try {
+                const meta = JSON.parse(fs.readFileSync(metaPath, 'utf8'));
+                return {
+                    generated: true,
+                    pageCount: meta.pages?.length || 0,
+                };
+            }
+            catch {
+                return { generated: false };
+            }
+        }
+        return { generated: false };
+    }
+    #verifySkills() {
+        const skillsDir = getProjectSkillsPath(this.#projectRoot);
+        if (!fs.existsSync(skillsDir)) {
+            return { generated: false, skillCount: 0 };
+        }
+        const dirs = fs
+            .readdirSync(skillsDir)
+            .filter((d) => d.startsWith('project-') && fs.statSync(path.join(skillsDir, d)).isDirectory());
+        return { generated: dirs.length > 0, skillCount: dirs.length };
+    }
+    #verifyVectorIndex() {
+        const indexDir = getContextIndexPath(this.#projectRoot);
+        if (!fs.existsSync(indexDir)) {
+            return { generated: false, rebuilt: false, documentCount: 0 };
+        }
+        const asvecFiles = fs
+            .readdirSync(indexDir)
+            .filter((f) => f.endsWith('.asvec') || f.endsWith('.json'));
+        return {
+            generated: asvecFiles.length > 0,
+            rebuilt: true,
+            documentCount: asvecFiles.length,
+        };
+    }
+    // ─── 辅助 ───────────────────────────────────────────
+    #hasAutoSnippetSection(filePath) {
+        try {
+            if (!fs.existsSync(filePath)) {
+                return false;
+            }
+            const content = fs.readFileSync(filePath, 'utf8');
+            return content.includes('autosnippet:begin');
+        }
+        catch {
+            return false;
+        }
+    }
+}

package/dist/lib/service/bootstrap/UiStartupTasks.d.ts

@@ -2,10 +2,13 @@
  * UiStartupTasks — asd ui 启动后异步后台刷新任务
  *
  * 在 Dashboard 启动后异步执行，不阻塞 UI:
- *   1. syncAll:          .md → DB 全量同步 + sourceRefs 对账
- *   2. staging promote:  到期 staging → active 晋升
- *   3. vector reconcile: 向量对账（best-effort）
- *   4. refreshIndex:     BM25 增量刷新
+ *   1. syncAll:               .md → DB 全量同步 + sourceRefs 对账
+ *   2. staging promote:       到期 staging → active 晋升
+ *   3. vector reconcile:      向量对账（best-effort）
+ *   4. refreshIndex:          BM25 增量刷新
+ *   5. proposalCheck:         到期 Proposal 检查 + 自动执行/拒绝
+ *   6. metabolismCycle:       知识新陈代谢（矛盾/冗余/衰退扫描 → 新 Proposal）
+ *   7. timeoutCheck:          中间态超时兜底（evolving/decaying 超时自动恢复）
  */
 interface UiStartupContext {
     projectRoot: string;
@@ -34,6 +37,21 @@ export interface UiStartupReport {
         missing: number;
     };
     indexRefresh?: boolean;
+    proposalCheck?: {
+        executed: number;
+        rejected: number;
+        expired: number;
+    };
+    metabolismCycle?: {
+        proposalCount: number;
+        contradictions: number;
+        redundancies: number;
+        decaying: number;
+    };
+    timeoutCheck?: {
+        timedOut: number;
+        checked: number;
+    };
     durationMs: number;
     errors: string[];
 }

package/dist/lib/service/bootstrap/UiStartupTasks.js

@@ -2,10 +2,13 @@
  * UiStartupTasks — asd ui 启动后异步后台刷新任务
  *
  * 在 Dashboard 启动后异步执行，不阻塞 UI:
- *   1. syncAll:          .md → DB 全量同步 + sourceRefs 对账
- *   2. staging promote:  到期 staging → active 晋升
- *   3. vector reconcile: 向量对账（best-effort）
- *   4. refreshIndex:     BM25 增量刷新
+ *   1. syncAll:               .md → DB 全量同步 + sourceRefs 对账
+ *   2. staging promote:       到期 staging → active 晋升
+ *   3. vector reconcile:      向量对账（best-effort）
+ *   4. refreshIndex:          BM25 增量刷新
+ *   5. proposalCheck:         到期 Proposal 检查 + 自动执行/拒绝
+ *   6. metabolismCycle:       知识新陈代谢（矛盾/冗余/衰退扫描 → 新 Proposal）
+ *   7. timeoutCheck:          中间态超时兜底（evolving/decaying 超时自动恢复）
  */
 import Logger from '../../infrastructure/logging/Logger.js';
 const logger = Logger.getInstance();
@@ -20,7 +23,11 @@ export async function runUiStartupTasks(ctx) {
     // ── Stage 1: syncAll (.md → DB + sourceRefs reconcile) ──
     try {
         const { KnowledgeSyncService } = await import('../../cli/KnowledgeSyncService.js');
-        const syncService = new KnowledgeSyncService(ctx.projectRoot);
+        const { SourceRefReconciler } = await import('../../service/knowledge/SourceRefReconciler.js');
+        const sourceRefReconciler = ctx.container.singletons.sourceRefReconciler;
+        const syncService = new KnowledgeSyncService(ctx.projectRoot, {
+            sourceRefReconciler: sourceRefReconciler || undefined,
+        });
         const db = ctx.container.get('database');
         const rawDb = db.getDb();
         const syncReport = await syncService.syncAll(rawDb, { skipViolations: true });
@@ -93,6 +100,67 @@ export async function runUiStartupTasks(ctx) {
         report.errors.push(msg);
         logger.warn(`[UiStartupTasks] ${msg}`);
     }
+    // ── Stage 5: ProposalExecutor — 到期 Proposal 检查 + 自动执行 ──
+    try {
+        if (ctx.container.services.proposalExecutor) {
+            const executor = ctx.container.get('proposalExecutor');
+            const result = executor.checkAndExecute();
+            report.proposalCheck = {
+                executed: result.executed.length,
+                rejected: result.rejected.length,
+                expired: result.expired.length,
+            };
+            const total = result.executed.length + result.rejected.length + result.expired.length;
+            if (total > 0) {
+                logger.info(`[UiStartupTasks] Stage 5: proposal check — executed=${result.executed.length}, rejected=${result.rejected.length}, expired=${result.expired.length}`);
+            }
+        }
+    }
+    catch (err) {
+        const msg = `proposal check failed: ${err.message}`;
+        report.errors.push(msg);
+        logger.warn(`[UiStartupTasks] ${msg}`);
+    }
+    // ── Stage 6: KnowledgeMetabolism — 知识新陈代谢扫描 ──
+    try {
+        if (ctx.container.services.knowledgeMetabolism) {
+            const metabolism = ctx.container.get('knowledgeMetabolism');
+            const result = metabolism.runFullCycle();
+            report.metabolismCycle = {
+                proposalCount: result.summary.proposalCount,
+                contradictions: result.summary.contradictionCount,
+                redundancies: result.summary.redundancyCount,
+                decaying: result.summary.decayingCount,
+            };
+            if (result.summary.proposalCount > 0) {
+                logger.info(`[UiStartupTasks] Stage 6: metabolism cycle — ${result.summary.proposalCount} proposals generated`);
+            }
+        }
+    }
+    catch (err) {
+        const msg = `metabolism cycle failed: ${err.message}`;
+        report.errors.push(msg);
+        logger.warn(`[UiStartupTasks] ${msg}`);
+    }
+    // ── Stage 7: Supervisor — 中间态超时兜底 ──
+    try {
+        if (ctx.container.services.lifecycleSupervisor) {
+            const supervisor = ctx.container.get('lifecycleSupervisor');
+            const result = supervisor.checkTimeouts();
+            report.timeoutCheck = {
+                timedOut: result.timedOut.length,
+                checked: result.checked,
+            };
+            if (result.timedOut.length > 0) {
+                logger.info(`[UiStartupTasks] Stage 7: timeout check — ${result.timedOut.length} recipes timed out (checked: ${result.checked})`);
+            }
+        }
+    }
+    catch (err) {
+        const msg = `timeout check failed: ${err.message}`;
+        report.errors.push(msg);
+        logger.warn(`[UiStartupTasks] ${msg}`);
+    }
     report.durationMs = Date.now() - start;
     logger.info(`[UiStartupTasks] All tasks completed in ${report.durationMs}ms`, {
         errors: report.errors.length,

package/dist/lib/service/bootstrap/bootstrap-event-types.d.ts

@@ -0,0 +1,54 @@
+/**
+ * Bootstrap Event Types — 事件 payload 类型化
+ *
+ * 替代 BootstrapEventEmitter 中所有 `Record<string, unknown>` payload，
+ * 通过 discriminated union（`type` 字段）实现编译期事件校验。
+ *
+ * @module service/bootstrap/bootstrap-event-types
+ * @see docs/copilot/unified-project-snapshot-design.md §11.3 H6
+ */
+export interface DimensionSkippedPayload {
+    type: 'skipped';
+    reason: string;
+}
+export interface DimensionRestoredPayload {
+    type: 'incremental-restored';
+    reason: string;
+}
+export interface DimensionCheckpointRestoredPayload {
+    type: 'checkpoint-restored';
+    [key: string]: unknown;
+}
+export interface DimensionErrorPayload {
+    type: 'error';
+    reason: string;
+}
+export interface DimensionPipelineCompletePayload {
+    type: 'candidate' | 'skill';
+    extracted: number;
+    created: number;
+    status: string;
+    degraded: boolean;
+    durationMs: number;
+    toolCallCount: number;
+    source: string;
+}
+export interface DimensionSkillPayload {
+    type: 'skill';
+    skillName: string;
+    sourceCount: number;
+}
+export interface DimensionExternalCompletePayload {
+    type: 'skill' | 'candidate';
+    extracted: number;
+    skillCreated: boolean;
+    recipesBound: number;
+    progress: string;
+    isBootstrapComplete: boolean;
+    source: string;
+}
+/** Discriminated union — 通过 `type` 字段区分 */
+export type DimensionCompletePayload = DimensionSkippedPayload | DimensionRestoredPayload | DimensionCheckpointRestoredPayload | DimensionErrorPayload | DimensionPipelineCompletePayload | DimensionSkillPayload | DimensionExternalCompletePayload;
+export interface ProgressPayload {
+    [key: string]: unknown;
+}

package/dist/lib/service/bootstrap/bootstrap-event-types.js

@@ -0,0 +1,10 @@
+/**
+ * Bootstrap Event Types — 事件 payload 类型化
+ *
+ * 替代 BootstrapEventEmitter 中所有 `Record<string, unknown>` payload，
+ * 通过 discriminated union（`type` 字段）实现编译期事件校验。
+ *
+ * @module service/bootstrap/bootstrap-event-types
+ * @see docs/copilot/unified-project-snapshot-design.md §11.3 H6
+ */
+export {};

package/dist/lib/service/cleanup/CleanupService.d.ts

@@ -0,0 +1,85 @@
+/**
+ * CleanupService — 统一数据清理策略
+ *
+ * 提供两种清理模式:
+ *   - fullReset(): 全量清理（删除一切知识/缓存/衍生数据），用于 bootstrap 冷启动
+ *   - rescanClean(): Rescan 清理（保留 Recipe，清除衍生缓存），用于增量知识更新
+ *   - snapshotRecipes(): 快照当前活跃 Recipe 信息
+ *
+ * 设计原则:
+ *   - 配置数据 (config.json, constitution.yaml, boxspec.json) 永不清理
+ *   - IDE 集成配置 (.vscode/, .cursor/, .github/) 永不清理
+ *   - 交付物 (.cursor/rules/autosnippet-*) 由 R4 重建，不在此清理
+ *
+ * @module service/cleanup/CleanupService
+ */
+/** Logger 接口 */
+interface CleanupLogger {
+    info(msg: string, meta?: Record<string, unknown>): void;
+    warn(msg: string, meta?: Record<string, unknown>): void;
+}
+/** 清理结果 */
+export interface CleanupResult {
+    deletedFiles: number;
+    clearedTables: string[];
+    preservedRecipes: number;
+    errors: string[];
+}
+/** Recipe 快照条目 */
+export interface RecipeSnapshotEntry {
+    id: string;
+    title: string;
+    trigger: string;
+    category: string;
+    knowledgeType: string;
+    doClause: string;
+    sourceFile?: string;
+    lifecycle: string;
+    /** Recipe 完整内容 (JSON parsed) — Evolution Agent 需要 */
+    content?: {
+        markdown?: string;
+        rationale?: string;
+        coreCode?: string;
+    };
+    /** 源文件引用列表 (JSON parsed) — Evolution Agent 需要 */
+    sourceRefs?: string[];
+}
+/** Recipe 快照 */
+export interface RecipeSnapshot {
+    count: number;
+    entries: RecipeSnapshotEntry[];
+    coverageByDimension: Record<string, number>;
+}
+export declare class CleanupService {
+    #private;
+    constructor(opts: {
+        projectRoot: string;
+        db?: unknown;
+        logger?: CleanupLogger;
+    });
+    /** 更新 DB 引用（fullReset 后重连时调用） */
+    setDb(db: unknown): void;
+    /**
+     * 全量清理 — 用于 bootstrap 冷启动
+     *
+     * 清除: DB 所有数据表、candidates/、recipes/、skills/、wiki/、
+     *       向量索引、bootstrap-report.json、logs/signals/
+     * 保留: config.json、constitution.yaml、boxspec.json、IDE 配置
+     */
+    fullReset(): Promise<CleanupResult>;
+    /**
+     * Rescan 清理 — 保留 Recipe，清除衍生缓存
+     *
+     * 清除: 衍生 DB 表、pending/rejected/deprecated 知识条目、
+     *       candidates/、skills/、wiki/、向量索引、bootstrap-report
+     * 保留: recipes/、active/published/staging/evolving 知识条目、
+     *       knowledge_edges、evolution_proposals
+     */
+    rescanClean(): Promise<CleanupResult>;
+    /**
+     * 快照当前活跃 Recipe 信息
+     * 用于 rescan 前记录保留的知识条目
+     */
+    snapshotRecipes(): Promise<RecipeSnapshot>;
+}
+export {};