kcode-pi 0.1.2 → 0.1.5

package/src/harness/path-policy.ts

@@ -0,0 +1,83 @@
+import type { ActiveRun } from "./types.ts";
+import { existsSync } from "node:fs";
+import { isAbsolute, join, relative } from "node:path";
+
+const SOURCE_EXTENSIONS = new Set([
+	".java",
+	".kt",
+	".kts",
+	".xml",
+	".properties",
+	".yml",
+	".yaml",
+	".sql",
+	".ksql",
+	".py",
+]);
+
+export function flagshipWriteBlockReason(run: ActiveRun | undefined, path: string | undefined, cwd?: string): string | undefined {
+	if (run?.profile?.product !== "flagship") return undefined;
+	if (!path || !isSourceLikePath(path)) return undefined;
+
+	const normalized = normalizeRelativePath(cwd && isAbsolute(path) ? relative(cwd, path) : path);
+	if (normalized.startsWith(".pi/")) return undefined;
+	if (cwd && !hasWorkspaceCodeDir(cwd)) return undefined;
+	if (!normalized.startsWith("code/")) return `星空旗舰版代码必须跟随当前项目结构写入 code/ 下，不能写到 ${path}`;
+
+	return undefined;
+}
+
+export function planWriteBlockReason(cwd: string, run: ActiveRun | undefined, path: string | undefined, plan: string): string | undefined {
+	if (!run || run.phase !== "execute") return undefined;
+	if (!path || !isSourceLikePath(path)) return undefined;
+
+	const normalized = normalizeRelativePath(cwd && isAbsolute(path) ? relative(cwd, path) : path);
+	if (normalized.startsWith(".pi/")) return undefined;
+	if (planMentionsPath(plan, normalized)) return undefined;
+
+	return `PLAN.md 未批准写入 ${normalized}。请先回到 plan 阶段更新 PLAN.md，明确列出该目标文件后再执行。`;
+}
+
+export function flagshipPlanBlockReason(cwd: string, run: ActiveRun | undefined, plan: string): string | undefined {
+	if (run?.profile?.product !== "flagship") return undefined;
+
+	if (hasWorkspaceCodeDir(cwd)) {
+		if (/(?:^|[\s`"'(])code[\\/][^\s`"')]+/i.test(plan)) return undefined;
+		return "不能进入 execute：星空旗舰版 PLAN.md 必须先记录当前项目 code/ 下的实际目标路径；不要按固定模块规则猜路径。";
+	}
+
+	if (planMentionsDiscoveredSourcePath(plan)) return undefined;
+	return "不能进入 execute：PLAN.md 必须先记录已检查当前项目结构，并写明实际源码根或目标文件路径；当前项目没有 code/ 时更不能猜路径。";
+}
+
+function hasWorkspaceCodeDir(cwd: string): boolean {
+	return existsSync(join(cwd, "code"));
+}
+
+function planMentionsDiscoveredSourcePath(plan: string): boolean {
+	return /(?:^|[\s`"'(])(?:src[\\/]main[\\/]java|src[\\/]main[\\/]resources|[^`\n]*[\\/](?:src[\\/]main[\\/]java|src[\\/]main[\\/]resources)|[^`\n]*\.(?:java|xml|properties|yml|yaml|sql|ksql|py))(?:[\s`"')]|$)/i.test(
+		plan,
+	);
+}
+
+function planMentionsPath(plan: string, normalizedPath: string): boolean {
+	const normalizedPlan = normalizeRelativePath(plan);
+	const escaped = escapeRegExp(normalizedPath);
+	return new RegExp(`(?:^|[\\s\`"'(])${escaped}(?:[\\s\`"')]|$)`, "i").test(normalizedPlan);
+}
+
+function normalizeRelativePath(path: string): string {
+	return path.replace(/\\/g, "/").replace(/^\.\//, "").replace(/^\/+/, "");
+}
+
+export function isSourceLikePath(path: string): boolean {
+	const normalized = normalizeRelativePath(path);
+	const lastSegment = normalized.split("/").at(-1) ?? normalized;
+	const dotIndex = lastSegment.lastIndexOf(".");
+	if (dotIndex < 0) return false;
+	return SOURCE_EXTENSIONS.has(lastSegment.slice(dotIndex).toLowerCase());
+}
+
+function escapeRegExp(value: string): string {
+	return value.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+}

package/src/harness/plan-steps.ts

@@ -0,0 +1,79 @@
+import { existsSync } from "node:fs";
+import { join } from "node:path";
+import type { ActiveRun } from "./types.ts";
+import { runRoot } from "./paths.ts";
+
+export interface PlanStep {
+	id: string;
+	text: string;
+}
+
+const STEP_LINE_PATTERN = /^\s*[-*]\s*\[[ xX]\]\s*(STEP-\d{3,})\s*[:：]\s*(.+)$/gim;
+const EVIDENCE_PATTERN = /\bevidence[\\/][^\s`"')]+/gi;
+
+export function parsePlanSteps(plan: string): PlanStep[] {
+	const steps: PlanStep[] = [];
+	for (const match of plan.matchAll(STEP_LINE_PATTERN)) {
+		steps.push({ id: match[1].toUpperCase(), text: match[2].trim() });
+	}
+	return steps;
+}
+
+export function planStepsBlockReason(plan: string): string | undefined {
+	if (!/##\s*Execution Steps/i.test(plan)) {
+		return "PLAN.md 缺少 ## Execution Steps。必须把计划拆成 STEP-001 这种可跟踪步骤。";
+	}
+
+	const steps = parsePlanSteps(plan);
+	if (steps.length === 0) {
+		return "PLAN.md 没有可执行步骤。请使用 `- [ ] STEP-001: ...` 列出步骤。";
+	}
+
+	const duplicate = firstDuplicate(steps.map((step) => step.id));
+	if (duplicate) return `PLAN.md 存在重复步骤编号：${duplicate}`;
+	return undefined;
+}
+
+export function executionStepsBlockReason(cwd: string, run: ActiveRun, plan: string, execution: string): string | undefined {
+	const steps = parsePlanSteps(plan);
+	if (steps.length === 0) return planStepsBlockReason(plan);
+
+	const missing: string[] = [];
+	const missingEvidence: string[] = [];
+
+	for (const step of steps) {
+		const line = findExecutionLine(execution, step.id);
+		if (!line) {
+			missing.push(step.id);
+			continue;
+		}
+
+		const evidencePaths = [...line.matchAll(EVIDENCE_PATTERN)].map((match) => normalizeEvidencePath(match[0]));
+		if (evidencePaths.length === 0 || !evidencePaths.some((path) => existsSync(join(runRoot(cwd, run), path)))) {
+			missingEvidence.push(step.id);
+		}
+	}
+
+	if (missing.length > 0) return `不能进入 verify：EXECUTION.md 未完成计划步骤 ${missing.join(", ")}。`;
+	if (missingEvidence.length > 0) return `不能进入 verify：步骤 ${missingEvidence.join(", ")} 缺少已落地的 evidence 文件。`;
+	return undefined;
+}
+
+function findExecutionLine(execution: string, stepId: string): string | undefined {
+	return execution
+		.split(/\r?\n/)
+		.find((line) => line.toUpperCase().includes(stepId) && /(\[[xX]\]|done|完成|completed)/i.test(line));
+}
+
+function firstDuplicate(values: string[]): string | undefined {
+	const seen = new Set<string>();
+	for (const value of values) {
+		if (seen.has(value)) return value;
+		seen.add(value);
+	}
+	return undefined;
+}
+
+function normalizeEvidencePath(path: string): string {
+	return path.replace(/\\/g, "/").replace(/^\/+/, "");
+}

package/src/harness/tdd-policy.ts

@@ -0,0 +1,62 @@
+import { existsSync, readFileSync } from "node:fs";
+import { isAbsolute, join, relative } from "node:path";
+import type { ActiveRun } from "./types.ts";
+import { runRoot } from "./paths.ts";
+import { isSourceLikePath } from "./path-policy.ts";
+
+export const TDD_RED_EVIDENCE = "evidence/tdd-red.md";
+export const TDD_GREEN_EVIDENCE = "evidence/tdd-green.md";
+
+export function tddPlanBlockReason(plan: string): string | undefined {
+	if (/##\s*TDD\s*\/\s*Red-Green Checks/i.test(plan)) return undefined;
+	return "PLAN.md 缺少 ## TDD / Red-Green Checks。必须声明红灯验证、绿灯验证和无法自动化时的产品验证替代方案。";
+}
+
+export function tddProductionWriteBlockReason(cwd: string, run: ActiveRun | undefined, path: string | undefined): string | undefined {
+	if (!run || run.phase !== "execute") return undefined;
+	if (!path || !isSourceLikePath(path)) return undefined;
+
+	const normalized = normalizeRelativePath(cwd && isAbsolute(path) ? relative(cwd, path) : path);
+	if (normalized.startsWith(".pi/")) return undefined;
+	if (isTestLikePath(normalized)) return undefined;
+	if (hasValidTddEvidence(cwd, run, "red")) return undefined;
+
+	return `不能写生产源码 ${normalized}：缺少红灯证据 ${TDD_RED_EVIDENCE}。请先记录失败的测试、API/基类/方法签名检查、元数据检查、编译检查或外部接口最小验证输出。`;
+}
+
+export function tddVerifyBlockReason(cwd: string, run: ActiveRun): string | undefined {
+	const missing: string[] = [];
+	if (!hasValidTddEvidence(cwd, run, "red")) missing.push(TDD_RED_EVIDENCE);
+	if (!hasValidTddEvidence(cwd, run, "green")) missing.push(TDD_GREEN_EVIDENCE);
+	if (missing.length === 0) return undefined;
+	return `不能进入 verify：缺少 TDD 红绿证据 ${missing.join(", ")}。`;
+}
+
+function hasValidTddEvidence(cwd: string, run: ActiveRun, kind: "red" | "green"): boolean {
+	const evidenceName = kind === "red" ? TDD_RED_EVIDENCE : TDD_GREEN_EVIDENCE;
+	const evidencePath = join(runRoot(cwd, run), evidenceName);
+	if (!existsSync(evidencePath)) return false;
+
+	const content = readFileSync(evidencePath, "utf8");
+	if (kind === "red") return /red|fail|failed|failure|error|失败|未通过|Exit:\s*[1-9]/i.test(content);
+	return /green|pass|passed|success|成功|通过|Exit:\s*0/i.test(content);
+}
+
+function isTestLikePath(path: string): boolean {
+	const normalized = normalizeRelativePath(path).toLowerCase();
+	const filename = normalized.split("/").at(-1) ?? normalized;
+	return (
+		normalized.includes("/src/test/") ||
+		normalized.includes("/test/") ||
+		normalized.includes("/tests/") ||
+		normalized.includes("/__tests__/") ||
+		/[._-](test|spec)\./.test(filename) ||
+		/test\.(java|kt|kts|cs)$/i.test(filename) ||
+		/tests\.(cs)$/i.test(filename) ||
+		/_test\.py$/i.test(filename)
+	);
+}
+
+function normalizeRelativePath(path: string): string {
+	return path.replace(/\\/g, "/").replace(/^\.\//, "").replace(/^\/+/, "");
+}

package/src/knowledge/types.ts

@@ -1,4 +1,4 @@
-export type KnowledgeScope = "enterprise" | "flagship" | "cosmic" | "xinghan" | "cangqiong";
+export type KnowledgeScope = "enterprise" | "enterprise-python" | "flagship" | "cosmic" | "xinghan" | "cangqiong";
 export type Edition = Extract<KnowledgeScope, "enterprise" | "flagship">;
 
 export type KnowledgeFileType = "markdown" | "json";