onto-mcp 0.3.0

package/dist/core-runtime/govern/cli.test.js

@@ -0,0 +1,314 @@
+/**
+ * govern CLI unit tests (W-C-01 v0).
+ *
+ * Covers: submit append / projection / decide transition / invalid-input guards.
+ */
+import { afterEach, beforeEach, describe, expect, it } from "vitest";
+import { mkdtempSync, readFileSync, rmSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { handleGovernCli } from "./cli.js";
+import { resolveQueuePath } from "./queue.js";
+describe("govern CLI v0", () => {
+    let tmpRoot;
+    let logs;
+    let errs;
+    let origLog;
+    let origErr;
+    beforeEach(() => {
+        tmpRoot = mkdtempSync(join(tmpdir(), "onto-govern-test-"));
+        logs = [];
+        errs = [];
+        origLog = console.log;
+        origErr = console.error;
+        console.log = (...args) => {
+            logs.push(args.map((a) => (typeof a === "string" ? a : JSON.stringify(a))).join(" "));
+        };
+        console.error = (...args) => {
+            errs.push(args.map((a) => (typeof a === "string" ? a : JSON.stringify(a))).join(" "));
+        };
+    });
+    afterEach(() => {
+        console.log = origLog;
+        console.error = origErr;
+        rmSync(tmpRoot, { recursive: true, force: true });
+    });
+    function lastLogJson() {
+        return JSON.parse(logs[logs.length - 1]);
+    }
+    it("submit appends a queue event with origin=human → tag=norm_change", async () => {
+        const code = await handleGovernCli("", [
+            "submit",
+            "--origin",
+            "human",
+            "--target",
+            ".onto/authority/core-lexicon.yaml",
+            "--json",
+            JSON.stringify({ summary: "add new term", rationale: "test" }),
+            "--project-root",
+            tmpRoot,
+        ]);
+        expect(code).toBe(0);
+        const result = lastLogJson();
+        expect(result.status).toBe("queued");
+        expect(result.origin).toBe("human");
+        expect(result.tag).toBe("norm_change");
+        expect(result.id).toMatch(/^g-/);
+        const queuePath = resolveQueuePath(tmpRoot);
+        const raw = readFileSync(queuePath, "utf-8");
+        const lines = raw.trim().split("\n");
+        expect(lines.length).toBe(1);
+        const event = JSON.parse(lines[0]);
+        expect(event.type).toBe("submit");
+        expect(event.tag).toBe("norm_change");
+        expect(event.payload.summary).toBe("add new term");
+        expect(event.submitted_by).toBe("principal");
+    });
+    it("submit with origin=system maps to tag=drift and submitted_by=drift-engine", async () => {
+        const code = await handleGovernCli("", [
+            "submit",
+            "--origin",
+            "system",
+            "--target",
+            ".onto/processes/evolve.md",
+            "--json",
+            JSON.stringify({ detected: "doc-code drift at §3" }),
+            "--project-root",
+            tmpRoot,
+        ]);
+        expect(code).toBe(0);
+        const result = lastLogJson();
+        expect(result.tag).toBe("drift");
+        expect(result.origin).toBe("system");
+        const queuePath = resolveQueuePath(tmpRoot);
+        const event = JSON.parse(readFileSync(queuePath, "utf-8").trim());
+        expect(event.submitted_by).toBe("drift-engine");
+    });
+    it("list --status pending returns only pending entries", async () => {
+        await handleGovernCli("", [
+            "submit",
+            "--origin",
+            "human",
+            "--target",
+            "a.md",
+            "--json",
+            "{}",
+            "--project-root",
+            tmpRoot,
+        ]);
+        const submitResp = lastLogJson();
+        const firstId = submitResp.id;
+        await handleGovernCli("", [
+            "submit",
+            "--origin",
+            "system",
+            "--target",
+            "b.md",
+            "--json",
+            "{}",
+            "--project-root",
+            tmpRoot,
+        ]);
+        await handleGovernCli("", [
+            "decide",
+            firstId,
+            "--verdict",
+            "approve",
+            "--reason",
+            "test approval",
+            "--project-root",
+            tmpRoot,
+        ]);
+        logs.length = 0;
+        await handleGovernCli("", [
+            "list",
+            "--status",
+            "pending",
+            "--format",
+            "json",
+            "--project-root",
+            tmpRoot,
+        ]);
+        const pending = lastLogJson();
+        expect(pending.length).toBe(1);
+        expect(pending[0].status).toBe("pending");
+        expect(pending[0].id).not.toBe(firstId);
+        logs.length = 0;
+        await handleGovernCli("", [
+            "list",
+            "--status",
+            "decided",
+            "--format",
+            "json",
+            "--project-root",
+            tmpRoot,
+        ]);
+        const decided = lastLogJson();
+        expect(decided.length).toBe(1);
+        expect(decided[0].id).toBe(firstId);
+        expect(decided[0].verdict.verdict).toBe("approve");
+        logs.length = 0;
+        await handleGovernCli("", [
+            "list",
+            "--status",
+            "all",
+            "--format",
+            "json",
+            "--project-root",
+            tmpRoot,
+        ]);
+        const all = lastLogJson();
+        expect(all.length).toBe(2);
+    });
+    it("decide transitions entry to decided and records verdict + reason", async () => {
+        await handleGovernCli("", [
+            "submit",
+            "--origin",
+            "human",
+            "--target",
+            "x.md",
+            "--json",
+            "{}",
+            "--project-root",
+            tmpRoot,
+        ]);
+        const id = lastLogJson().id;
+        logs.length = 0;
+        const code = await handleGovernCli("", [
+            "decide",
+            id,
+            "--verdict",
+            "reject",
+            "--reason",
+            "not aligned with §1.4",
+            "--project-root",
+            tmpRoot,
+        ]);
+        expect(code).toBe(0);
+        const result = lastLogJson();
+        expect(result.status).toBe("decided");
+        expect(result.verdict).toBe("reject");
+        expect(result.note).toContain("거부");
+        logs.length = 0;
+        await handleGovernCli("", [
+            "list",
+            "--status",
+            "decided",
+            "--format",
+            "json",
+            "--project-root",
+            tmpRoot,
+        ]);
+        const decided = lastLogJson();
+        expect(decided[0].verdict.reason).toBe("not aligned with §1.4");
+    });
+    it("decide refuses re-decide on already-decided entry", async () => {
+        await handleGovernCli("", [
+            "submit",
+            "--origin",
+            "human",
+            "--target",
+            "x.md",
+            "--json",
+            "{}",
+            "--project-root",
+            tmpRoot,
+        ]);
+        const id = lastLogJson().id;
+        await handleGovernCli("", [
+            "decide",
+            id,
+            "--verdict",
+            "approve",
+            "--reason",
+            "ok",
+            "--project-root",
+            tmpRoot,
+        ]);
+        const code = await handleGovernCli("", [
+            "decide",
+            id,
+            "--verdict",
+            "reject",
+            "--reason",
+            "change mind",
+            "--project-root",
+            tmpRoot,
+        ]);
+        expect(code).toBe(1);
+        expect(errs.some((e) => e.includes("already decided"))).toBe(true);
+    });
+    it("submit rejects invalid origin", async () => {
+        const code = await handleGovernCli("", [
+            "submit",
+            "--origin",
+            "bogus",
+            "--target",
+            "a.md",
+            "--json",
+            "{}",
+            "--project-root",
+            tmpRoot,
+        ]);
+        expect(code).toBe(1);
+        expect(errs.some((e) => e.includes("--origin must be"))).toBe(true);
+    });
+    it("submit rejects non-object JSON payload", async () => {
+        const code = await handleGovernCli("", [
+            "submit",
+            "--origin",
+            "human",
+            "--target",
+            "a.md",
+            "--json",
+            "[1,2,3]",
+            "--project-root",
+            tmpRoot,
+        ]);
+        expect(code).toBe(1);
+        expect(errs.some((e) => e.includes("JSON object"))).toBe(true);
+    });
+    it("decide rejects unknown id", async () => {
+        const code = await handleGovernCli("", [
+            "decide",
+            "g-nonexistent",
+            "--verdict",
+            "approve",
+            "--reason",
+            "x",
+            "--project-root",
+            tmpRoot,
+        ]);
+        expect(code).toBe(1);
+        expect(errs.some((e) => e.includes("not found"))).toBe(true);
+    });
+    it("prompted-by-drift links a human submit to a drift id", async () => {
+        await handleGovernCli("", [
+            "submit",
+            "--origin",
+            "human",
+            "--target",
+            "doc.md",
+            "--json",
+            "{}",
+            "--prompted-by-drift",
+            "g-drift-123",
+            "--project-root",
+            tmpRoot,
+        ]);
+        const id = lastLogJson().id;
+        logs.length = 0;
+        await handleGovernCli("", [
+            "list",
+            "--status",
+            "pending",
+            "--format",
+            "json",
+            "--project-root",
+            tmpRoot,
+        ]);
+        const entries = lastLogJson();
+        const entry = entries.find((e) => e.id === id);
+        expect(entry?.prompted_by_drift_id).toBe("g-drift-123");
+    });
+});

package/dist/core-runtime/govern/drift-engine.js

@@ -0,0 +1,103 @@
+/**
+ * govern drift engine (W-C-02, §1.3 수준 0→1 도달 조건).
+ *
+ * 역할: 변경 제안(ChangeProposal) 을 받아 drift 정책 3 분기로 분류하고,
+ * 필요한 경우 W-C-01 govern queue 에 event 를 append 한다.
+ *
+ * 3 분기 (§1.3):
+ *   - self_apply       : drift 양의 피드백 없는 local contained 변경. 자체 실행 + 보고
+ *   - queue            : drift 증폭 가능성 있는 변경. 큐 적재 + Principal 승인 대기
+ *   - principal_direct : govern 자체 변경, 핵심 가치 변경. 자체 실행 불가, 반드시 Principal 직접
+ *
+ * v0 bounded minimum surface: classifier + router 만 제공.
+ *   - 실제 drift probe (diff 분석, authority 규칙 충돌 검출) 는 W-C-02 v1 이후.
+ *   - 3 분기 판정은 target_files prefix + change_kind 만으로 결정 (deterministic).
+ */
+import { appendQueueEvent, generateGovernId, resolveQueuePath } from "./queue.js";
+import { startsWithDirPrefix } from "../discovery/path-normalization.js";
+/**
+ * Governance core directory prefixes — canonical `.onto/` layout only.
+ * Phase 7 (2026-04-21) dropped the legacy top-level fallbacks.
+ *
+ * Segment boundaries are enforced via `startsWithDirPrefix` so a prefix
+ * of `.onto/authority/` does not match a stray `.onto/authorityX/` path.
+ */
+const GOVERNANCE_CORE_DIR_PREFIXES = [
+    ".onto/authority/",
+    ".onto/principles/",
+];
+/** Exact file paths treated as governance core (not directory prefixes). */
+const GOVERNANCE_CORE_FILES = [
+    ".onto/processes/govern.md",
+];
+function isGovernanceCoreTarget(filePath) {
+    if (GOVERNANCE_CORE_FILES.includes(filePath))
+        return true;
+    return GOVERNANCE_CORE_DIR_PREFIXES.some((prefix) => startsWithDirPrefix(filePath, prefix));
+}
+/**
+ * §1.3 3 분기 deterministic 분류.
+ *
+ * 규칙 우선순위:
+ *   1. principal_direct: target 이 governance core 에 속하면 드리프트 여부와 무관하게 Principal 직접
+ *   2. self_apply: change_kind=docs_only AND target 단일 AND 규칙 1 미적용
+ *   3. queue: 그 외 전부 (drift 증폭 가능성 default)
+ */
+export function classifyProposal(proposal) {
+    const hasGovernanceCore = proposal.target_files.some(isGovernanceCoreTarget);
+    if (hasGovernanceCore) {
+        return {
+            route: "principal_direct",
+            matched_rule: "governance_core",
+            reason: "target 에 governance core (.onto/authority/, .onto/principles/, .onto/processes/govern.md) 가 포함됨. §1.3 Principal 직접 분기.",
+        };
+    }
+    if (proposal.change_kind === "docs_only" && proposal.target_files.length === 1) {
+        return {
+            route: "self_apply",
+            matched_rule: "local_docs_single",
+            reason: "change_kind=docs_only + target 단일 파일. §1.3 drift 양의 피드백 없는 local contained 변경.",
+        };
+    }
+    return {
+        route: "queue",
+        matched_rule: "drift_default",
+        reason: "docs-only 단일 파일도 아니고 governance core 도 아님. §1.3 drift 증폭 가능성 default — 큐 적재.",
+    };
+}
+/**
+ * 분류 결과에 따라 route 실행.
+ *
+ * - self_apply: no-op (caller 가 보고 로그만 기록)
+ * - queue: govern queue 에 origin=system, tag=drift 이벤트 append
+ * - principal_direct: queue 에 origin=system, tag=drift + payload marker (`route=principal_direct`) append
+ *
+ * principal_direct 를 별도 tag 로 분리하지 않는 이유: W-C-01 tag enum 을 v0 에서
+ * 확장하지 않는다 (schema stability). 대신 payload marker 로 구분 + list 시 filter 가능.
+ */
+export function routeProposal(proposal, projectRoot, now = new Date()) {
+    const decision = classifyProposal(proposal);
+    if (decision.route === "self_apply") {
+        return { decision };
+    }
+    const queuePath = resolveQueuePath(projectRoot);
+    const id = generateGovernId(now);
+    const payload = {
+        proposal,
+        route: decision.route,
+        matched_rule: decision.matched_rule,
+        reason: decision.reason,
+    };
+    const event = {
+        type: "submit",
+        id,
+        origin: "system",
+        tag: "drift",
+        target: proposal.target_files[0] ?? "(unspecified)",
+        payload,
+        submitted_at: now.toISOString(),
+        submitted_by: "drift-engine",
+    };
+    appendQueueEvent(queuePath, event);
+    return { decision, queue_event_id: id, queue_path: queuePath };
+}