oh-my-knowledge 0.35.0 → 0.37.0

package/dist/cli/lib/i18n-dict/promote.js

@@ -0,0 +1,54 @@
+export const promoteDict = {
+    'cli.promote.kind_unsupported': {
+        zh: 'promote 暂仅支持 kind=skill；收到 {kind}。',
+        en: 'promote supports only kind=skill today; got {kind}.',
+    },
+    'cli.promote.not_managed': {
+        zh: '未找到受管记录 {name}（kind={kind}）。先用 omk install 纳管、omk eval 取证，再 promote。',
+        en: 'No managed record {name} (kind={kind}). Run omk install to register, omk eval to gather evidence, then promote.',
+    },
+    'cli.promote.blocked_header': {
+        zh: 'promote 被门禁拦下（{name}）：',
+        en: 'promote was blocked by the gate ({name}):',
+    },
+    'cli.promote.drifted': {
+        zh: '· 源已漂移或不可达：当前源内容与受管基线不一致，证据对应的是旧内容。重跑 omk eval 重新取证。',
+        en: '· source drifted or unreachable: current source content differs from the managed baseline; the evidence is for old content. Re-run omk eval.',
+    },
+    'cli.promote.no_current_evidence': {
+        zh: '· 当前内容没有评测证据，无法 promote（force 也不行）。先跑 omk eval 取证（omk list 看证据状态）。',
+        en: '· no evaluation evidence for the current content; cannot promote (not even with --force). Run omk eval first (omk list shows evidence status).',
+    },
+    'cli.promote.incomparable': {
+        zh: '· 证据的评委提示词指纹 {judgePromptHash} 不是当前评委：judge prompt 已变、旧 verdict 不可比。重跑 omk eval。',
+        en: '· evidence judge-prompt fingerprint {judgePromptHash} is not the current judge: the judge prompt changed, the old verdict is incomparable. Re-run omk eval.',
+    },
+    'cli.promote.incomparable_unverified': {
+        zh: '⚠️ 证据缺评委提示词指纹，无法核对可比性（按未核处理，不拦门禁）。',
+        en: '⚠️ evidence has no judge-prompt fingerprint; comparability cannot be verified (treated as unchecked, not blocking).',
+    },
+    'cli.promote.verdict_blocked': {
+        zh: '· 当前证据 verdict={verdict}，不在接受集（默认仅 PROGRESS；CAUTIOUS 需 --accept-cautious）。',
+        en: '· current evidence verdict={verdict} is not in the accepted set (default PROGRESS only; CAUTIOUS needs --accept-cautious).',
+    },
+    'cli.promote.force_hint': {
+        zh: '如确需越门，加 --force 并用 --reason 写明理由（会记为人工 override 决定）。',
+        en: 'To override anyway, pass --force with --reason (recorded as a human override decision).',
+    },
+    'cli.promote.force_reason_required': {
+        zh: '--force 必须同时提供非空 --reason，说明人工越门理由。',
+        en: '--force requires a non-empty --reason explaining the human override.',
+    },
+    'cli.promote.promoted': {
+        zh: '已 promote {name}：接受内容 {hash}（verdict={verdict},report={reportId}）。',
+        en: 'Promoted {name}: accepted content {hash} (verdict={verdict}, report={reportId}).',
+    },
+    'cli.promote.forced_override': {
+        zh: '⚠️ 已 --force 越门 promote {name}：接受内容 {hash}（被越过的 verdict={verdict}）。越门已记为人工决定。',
+        en: '⚠️ force-promoted {name}: accepted content {hash} (overridden verdict={verdict}). The override is recorded as a human decision.',
+    },
+    'cli.promote.already_promoted': {
+        zh: '{name} 的当前内容已 promote 过，无需重复（幂等，未改动记录）。',
+        en: '{name} current content is already promoted; nothing to do (idempotent, record untouched).',
+    },
+};

package/dist/cli/lib/i18n-dict/rollback.d.ts

@@ -0,0 +1,3 @@
+import type { CliMessage } from './types.js';
+export type RollbackMessageKey = 'cli.rollback.kind_unsupported' | 'cli.rollback.not_managed' | 'cli.rollback.not_promoted' | 'cli.rollback.rolled_back' | 'cli.rollback.already_rolled_back';
+export declare const rollbackDict: Record<RollbackMessageKey, CliMessage>;

package/dist/cli/lib/i18n-dict/rollback.js

@@ -0,0 +1,22 @@
+export const rollbackDict = {
+    'cli.rollback.kind_unsupported': {
+        zh: 'rollback 暂仅支持 kind=skill；收到 {kind}。',
+        en: 'rollback supports only kind=skill today; got {kind}.',
+    },
+    'cli.rollback.not_managed': {
+        zh: '未找到受管记录 {name}（kind={kind}）。omk rollback 只作用于已 install 的 skill。',
+        en: 'No managed record {name} (kind={kind}). omk rollback only operates on installed skills.',
+    },
+    'cli.rollback.not_promoted': {
+        zh: '{name} 的当前内容未处于 promoted 态，无可回退（omk list 看生命周期状态）。',
+        en: '{name} current content is not promoted; nothing to roll back (omk list shows the lifecycle state).',
+    },
+    'cli.rollback.rolled_back': {
+        zh: '已回退 {name}：撤销当前内容 {hash} 的 promoted 接受（已记为人工决定）。源仍匹配受管基线则 omk list 回到 measurable，源已漂移则仍为 stale。',
+        en: 'Rolled back {name}: revoked the promoted acceptance of current content {hash} (recorded as a human decision). omk list shows measurable if the source still matches the managed baseline, or stale if it has drifted.',
+    },
+    'cli.rollback.already_rolled_back': {
+        zh: '{name} 的当前内容本就未 promoted，无需回退（幂等，未改动记录）。',
+        en: '{name} current content is already not promoted; nothing to do (idempotent, record untouched).',
+    },
+};

package/dist/cli/lib/i18n-dict.d.ts

@@ -56,8 +56,11 @@ import { type GenMessageKey } from './i18n-dict/gen.js';
 import { type HelpMessageKey } from './i18n-dict/help.js';
 import { type InitMessageKey } from './i18n-dict/init.js';
 import { type InstallMessageKey } from './i18n-dict/install.js';
+import { type ListMessageKey } from './i18n-dict/list.js';
+import { type PromoteMessageKey } from './i18n-dict/promote.js';
+import { type RollbackMessageKey } from './i18n-dict/rollback.js';
 import { type RunMessageKey } from './i18n-dict/run.js';
 import type { CliMessage } from './i18n-dict/types.js';
 export type { CliMessage } from './i18n-dict/types.js';
-export type CliMessageKey = CommonMessageKey | EvolveMessageKey | GenMessageKey | HelpMessageKey | InitMessageKey | InstallMessageKey | RunMessageKey;
+export type CliMessageKey = CommonMessageKey | EvolveMessageKey | GenMessageKey | HelpMessageKey | InitMessageKey | InstallMessageKey | ListMessageKey | PromoteMessageKey | RollbackMessageKey | RunMessageKey;
 export declare const CLI_DICT: Record<CliMessageKey, CliMessage>;

package/dist/cli/lib/i18n-dict.js

@@ -56,6 +56,9 @@ import { genDict } from './i18n-dict/gen.js';
 import { helpDict } from './i18n-dict/help.js';
 import { initDict } from './i18n-dict/init.js';
 import { installDict } from './i18n-dict/install.js';
+import { listDict } from './i18n-dict/list.js';
+import { promoteDict } from './i18n-dict/promote.js';
+import { rollbackDict } from './i18n-dict/rollback.js';
 import { runDict } from './i18n-dict/run.js';
 export const CLI_DICT = {
     ...commonDict,
@@ -64,5 +67,8 @@ export const CLI_DICT = {
     ...helpDict,
     ...initDict,
     ...installDict,
+    ...listDict,
+    ...promoteDict,
+    ...rollbackDict,
     ...runDict,
 };

package/dist/cli/lib/progress.d.ts

@@ -1,4 +1,5 @@
 import { type CliLang } from './i18n.js';
+import type { DoctorProgressInfo } from '../../types/doctor.js';
 export interface ProgressInfo {
     phase: string;
     completed?: number;
@@ -22,3 +23,5 @@ export interface ProgressInfo {
     error?: string;
 }
 export declare function makeOnProgress(lang: CliLang): (info: ProgressInfo) => void;
+/** doctor 批量体检进度打印(per-skill,写 stderr),对齐 eval 的 makeOnProgress。 */
+export declare function makeDoctorProgress(lang: CliLang): (info: DoctorProgressInfo) => void;

package/dist/cli/lib/progress.js

@@ -59,3 +59,25 @@ export function makeOnProgress(lang) {
         }
     };
 }
+// 图标 + 状态枚举(pass/warn/fail 是技术枚举,与图标一样语言无关,不进 i18n 模板)。
+const DOCTOR_STATUS_LABEL = {
+    pass: '✓ pass',
+    warn: '⚠ warn',
+    fail: '✗ fail',
+};
+/** doctor 批量体检进度打印(per-skill,写 stderr),对齐 eval 的 makeOnProgress。 */
+export function makeDoctorProgress(lang) {
+    return (info) => {
+        // 单 skill 时省略 [i/n] 前缀(冗余);批量才显示计数。
+        const prefix = info.total > 1 ? `[${info.index}/${info.total}] ` : '';
+        if (info.phase === 'skill_start') {
+            process.stderr.write(tCli('cli.doctor.progress_skill_start', lang, { prefix, skill: info.skillName }));
+        }
+        else {
+            const result = DOCTOR_STATUS_LABEL[info.status ?? 'pass'] ?? DOCTOR_STATUS_LABEL.pass;
+            process.stderr.write(tCli('cli.doctor.progress_skill_done', lang, {
+                prefix, skill: info.skillName, result, ms: info.durationMs ?? 0,
+            }));
+        }
+    };
+}

package/dist/cli/lib/run-tally.js

@@ -19,7 +19,7 @@ export function computeRunTally(report) {
             failed += s.errorCount;
         }
     };
-    if (report.reportKind === 'batch-evaluation') {
+    if (report.kind === 'batch-evaluation') {
         for (const item of report.items)
             accumulate(item.summary);
     }

package/dist/cli/lib/shared.js

@@ -5,7 +5,7 @@ export function requireEvaluationReport(report, id, lang) {
         console.error(tCli('cli.common.report_not_found', lang, { id }));
         throw new CliExit(1);
     }
-    if (report.reportKind === 'batch-evaluation') {
+    if (report.kind === 'batch-evaluation') {
         console.error(lang === 'zh'
             ? `报告 ${id} 是 BatchEvaluationReport。该命令需要单次 EvaluationReport；请使用其中的 child reportId。`
             : `Report ${id} is a BatchEvaluationReport. This command requires an EvaluationReport; use a child reportId from the batch.`);

package/dist/cli/lib/source-probe.d.ts

@@ -0,0 +1,15 @@
+import { type SourceProbe } from '../../managed/index.js';
+import type { ManagedArtifactRecord } from '../../types/index.js';
+/**
+ * 探测一条受管记录**当前源**的状态(三态,喂 buildManagedListRow 判 drift / 生命周期)。
+ *   - 远端 git(带 url):源身份钉不可变 SHA(install 时 pin),内容恒定 → 直接取 record.contentHash,
+ *     不联网(快读命令不为 drift 检查发网络请求)。reachable。
+ *   - 本地 git:locator `git:<ref>:<spec>` 复用 resolveInstallSource 在**仓库对象库**内重物化重哈
+ *     (读取受 git 边界约束,无任意文件读 DoS)。解析不到(常因 cwd 与 install 时不同、spec 随 cwd 漂)
+ *     → 抛错 → **reachable:false(未核,不当 stale)**,避免对未改动的 skill 误报漂移。
+ *   - 本地 file:locator 是绝对路径,但受管 JSON **用户可手改 / 随仓库分发**(无 install、无 opt-in 即被
+ *     loadAllManagedRecords 读到)。只读命令绝不盲读任意路径:**拒软链、只读常规文件 / 真目录、单文件
+ *     设 size cap**(挡 `evil.md → /dev/zero` 这类 readFileSync 无界 DoS 与项目外任意读)。守卫不过 →
+ *     reachable:false。目录-skill 整树哈本就跳软链(hashArtifactSource 用 isFile() 过滤)。
+ */
+export declare function probeSourceState(record: ManagedArtifactRecord): SourceProbe;

package/dist/cli/lib/source-probe.js

@@ -0,0 +1,129 @@
+import { existsSync, lstatSync, readdirSync } from 'node:fs';
+import { isAbsolute, resolve, join } from 'node:path';
+import { resolveInstallSource } from '../../inputs/source-resolver.js';
+import { hashArtifactSource, isDistributablePath } from '../../managed/index.js';
+/**
+ * 受管记录**当前源**的状态探测——`omk list`(drift / 生命周期)与 `omk promote`(门禁前先确认源未漂)共用
+ * 的单一来源。两命令必须用同一套守卫与 drift 判定:否则 list 显示「未漂」而 promote 判「漂」(或反之)会
+ * 互相矛盾,且安全守卫一旦各写一份必然漂掉一份。
+ *
+ * 本地源读取成本上限:skill 是小体量 markdown(+少量 references 资产),远超这些边界的源必是手改 / 投毒,
+ * 拒读避免只读命令(读盘上可能随仓库分发的 locator)被 /dev/zero / 超大文件 / 巨型目录递归拖垮(DoS)。
+ */
+const MAX_FILE_SOURCE_BYTES = 8 * 1024 * 1024; // 单文件-skill 上限
+const MAX_DIR_SOURCE_BYTES = 64 * 1024 * 1024; // 目录-skill 整树累计上限
+const MAX_DIR_SOURCE_FILES = 4000; // 目录-skill 文件数上限
+const MAX_DIR_SOURCE_DEPTH = 64; // 目录递归深度上限
+/**
+ * 目录-skill 源的**有边界**整树哈:先恢复 resolveFileSource 的形态校验(SKILL.md 存在、是常规文件、非
+ * 软链 —— 否则 locator 可指向任意可读目录让递归读整棵树),再 stat-walk(只 stat 不读)按与
+ * hashArtifactSource 同一 `isDistributablePath` 过滤累计 文件数 / 字节 / 深度,超界即返回 null(unreachable),
+ * 把单文件 DoS 不再换成目录递归 DoS。通过后才真正 hashArtifactSource。返回 null = 拒读 / 非法 skill 目录。
+ */
+function boundedDirSkillHash(abs) {
+    const skillMd = join(abs, 'SKILL.md');
+    let md;
+    try {
+        md = lstatSync(skillMd);
+    }
+    catch {
+        return null; // 无 SKILL.md → 不是 skill 目录,拒
+    }
+    if (md.isSymbolicLink() || !md.isFile() || md.nlink !== 1)
+        return null; // SKILL.md 必须是常规、非软链、非硬链
+    let files = 0;
+    let bytes = 0;
+    const within = (dir, segs, depth) => {
+        if (depth > MAX_DIR_SOURCE_DEPTH)
+            return false;
+        let entries;
+        try {
+            entries = readdirSync(dir, { withFileTypes: true });
+        }
+        catch {
+            return false;
+        }
+        for (const e of entries) {
+            const ns = [...segs, e.name];
+            if (!isDistributablePath(ns))
+                continue; // 与 hashArtifactSource 读取范围一致
+            if (e.isDirectory()) {
+                if (!within(join(dir, e.name), ns, depth + 1))
+                    return false;
+            }
+            else if (e.isFile()) { // 软链 Dirent 既非 isFile 也非 isDirectory → 天然跳过
+                if (++files > MAX_DIR_SOURCE_FILES)
+                    return false;
+                try {
+                    const fst = lstatSync(join(dir, e.name));
+                    if (fst.nlink !== 1)
+                        return false; // 硬链(nlink>1)可在树内别名树外敏感 inode → 拒读整树
+                    bytes += fst.size;
+                }
+                catch {
+                    return false;
+                }
+                if (bytes > MAX_DIR_SOURCE_BYTES)
+                    return false;
+            }
+        }
+        return true;
+    };
+    if (!within(abs, [], 0))
+        return null;
+    return hashArtifactSource(abs, true);
+}
+/**
+ * 探测一条受管记录**当前源**的状态(三态,喂 buildManagedListRow 判 drift / 生命周期)。
+ *   - 远端 git(带 url):源身份钉不可变 SHA(install 时 pin),内容恒定 → 直接取 record.contentHash,
+ *     不联网(快读命令不为 drift 检查发网络请求)。reachable。
+ *   - 本地 git:locator `git:<ref>:<spec>` 复用 resolveInstallSource 在**仓库对象库**内重物化重哈
+ *     (读取受 git 边界约束,无任意文件读 DoS)。解析不到(常因 cwd 与 install 时不同、spec 随 cwd 漂)
+ *     → 抛错 → **reachable:false(未核,不当 stale)**,避免对未改动的 skill 误报漂移。
+ *   - 本地 file:locator 是绝对路径,但受管 JSON **用户可手改 / 随仓库分发**(无 install、无 opt-in 即被
+ *     loadAllManagedRecords 读到)。只读命令绝不盲读任意路径:**拒软链、只读常规文件 / 真目录、单文件
+ *     设 size cap**(挡 `evil.md → /dev/zero` 这类 readFileSync 无界 DoS 与项目外任意读)。守卫不过 →
+ *     reachable:false。目录-skill 整树哈本就跳软链(hashArtifactSource 用 isFile() 过滤)。
+ */
+export function probeSourceState(record) {
+    const s = record.source;
+    if (s.sourceKind === 'git' && s.url)
+        return { reachable: true, hash: record.contentHash };
+    try {
+        if (s.sourceKind === 'git') {
+            const resolved = resolveInstallSource(s.locator);
+            try {
+                return { reachable: true, hash: hashArtifactSource(resolved.localRoot, resolved.isDirectorySkill) };
+            }
+            finally {
+                resolved.cleanup();
+            }
+        }
+        // 本地 file 源:守卫后再读。locator 必须是 install 实际写出的形态(绝对路径) —— 受管 JSON 随仓库
+        // 分发、无 opt-in 即被读到,相对 locator 不是 install 产物,拒,避免按 cwd 解析到项目外。
+        if (!isAbsolute(s.locator))
+            return { reachable: false };
+        const abs = resolve(s.locator);
+        if (!existsSync(abs))
+            return { reachable: false };
+        const st = lstatSync(abs); // lstat:不跟随软链 —— 软链直接拒(防 evil.md → /dev/zero)
+        if (st.isSymbolicLink())
+            return { reachable: false };
+        if (s.isDirectorySkill) {
+            if (!st.isDirectory())
+                return { reachable: false };
+            const hash = boundedDirSkillHash(abs); // 形态校验 + 成本边界(防任意目录递归读 / 目录 DoS)
+            return hash === null ? { reachable: false } : { reachable: true, hash };
+        }
+        // 单文件-skill:恢复 install(resolveFileSource)的形态约束 —— 必须是 `.md` 常规文件、非硬链、≤ size cap。
+        // 否则攻击者可写 locator:`/etc/passwd` / `~/.ssh/id_rsa`(非 .md 直接拒),或用 `.md` 命名的**硬链**别名
+        // 树外敏感文件绕过扩展名 / 软链守卫(lstat 分不出硬链)→ 诱 list 把任意本地文件读进进程参与 hash。install
+        // 写出的是 nlink=1 的全新副本,拒 nlink>1 不误伤合法源。非 install 形态一律 reachable:false。
+        if (!/\.md$/i.test(abs) || !st.isFile() || st.nlink !== 1 || st.size > MAX_FILE_SOURCE_BYTES)
+            return { reachable: false };
+        return { reachable: true, hash: hashArtifactSource(abs, false) };
+    }
+    catch {
+        return { reachable: false };
+    }
+}

package/dist/doctor/endpoint-rule.d.ts

@@ -0,0 +1,60 @@
+/**
+ * endpoint-rule — 接口驱动的自定义检查维度。
+ *
+ * 普通自定义维度走 LLM health composer(promptSection 喂 prompt);带 `endpoint`
+ * 的维度则注册成独立 DoctorRule:doctor 运行时把 skill 完整快照 POST 给用户的
+ * 接口,接口按协议返回判定结果。适合"调外部服务做深度审查"(eg. 安全风险审查)
+ * 这类靠 prompt 表达不了、需要真实逻辑/模型的场景。
+ *
+ * 请求协议(doctor → endpoint):
+ *   POST <endpoint>  Content-Type: application/json
+ *   {
+ *     "dimensionId": "deep-security-audit",
+ *     "params": { ... },                  // YAML 里用户透传的自定义参数
+ *     "skill": {
+ *       "name": "my-skill",
+ *       "content": "SKILL.md 全文",        // file-skill / directory-skill 主文件
+ *       "skillRoot": "/abs/path" | null,   // git / inline 来源可能为 null
+ *       "ref": "abc1234" | null,           // git 来源的 commit
+ *       "files": { "references/x.md": "...", "scripts/y.sh": "..." }  // 子文件快照
+ *     }
+ *   }
+ *
+ * 响应协议(endpoint → doctor):
+ *   { "status": "pass" | "warn" | "fail", "message": "...", "hint"?: "...", "detail"?: {...} }
+ */
+import type { DoctorRule, DoctorSeverity } from '../types/doctor.js';
+export interface EndpointDimensionSpec {
+    id: string;
+    displayName: string;
+    severity: DoctorSeverity;
+    /** 检查接口地址。doctor 把 skill 快照 POST 到这里。 */
+    endpoint: string;
+    /** 用户自定义参数,原样放进请求 body.params 透传给接口。 */
+    params?: Record<string, unknown>;
+    /** 是否把子文件(references / scripts 等)内容一起传。默认 true。
+     *  关掉可显著缩小 payload(接口只看主文件时)。 */
+    includeFiles?: boolean;
+    /** 附加请求头(eg. 鉴权 token)。 */
+    headers?: Record<string, string>;
+    /** 单文件内容上限(字节),超过截断。默认 200KB。 */
+    maxFileBytes?: number;
+    /** 整个 files 块的总上限(字节),超过停止收集。默认 2MB。 */
+    maxTotalBytes?: number;
+    /** 是否放行私网/本机 endpoint。默认 false:hostname 为 localhost、*.local、::1、
+     *  127.0.0.0/8、10.0.0.0/8、172.16.0.0/12、192.168.0.0/16、169.254.0.0/16
+     *  (含云 metadata 169.254.169.254)时直接 fail。动机:check() 会把 skill 完整
+     *  快照 POST 给 endpoint 并把响应回填进报告,等于一个 SSRF response oracle,
+     *  默认不能指向内网/本机。确属可信内网检查服务时显式置 true 放行。 */
+    allowPrivateHost?: boolean;
+}
+/** 可注入的 fetch(测试用),默认走全局 fetch。 */
+export type FetchFn = typeof fetch;
+/**
+ * 把一个 endpoint spec 编译成 DoctorRule。check() 内组装 skill 快照、POST、
+ * 校验响应协议并映射成 DoctorRuleCheckOutcome。
+ *
+ * 所有失败(网络错误 / 非 2xx / 非法 JSON / 协议字段缺失)都返回 status='fail',
+ * 让用户立刻看到接口侧的问题,而不是静默放行。
+ */
+export declare function makeEndpointRule(spec: EndpointDimensionSpec, fetchFn?: FetchFn): DoctorRule;