kcode-pi 0.1.2 → 0.1.4

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";

package/src/product/profile.ts

@@ -1,8 +1,8 @@
 export type KdProduct = "unknown" | "flagship" | "cosmic" | "xinghan" | "cangqiong" | "enterprise";
-export type KdPlatform = "unknown" | "cosmic" | "enterprise-csharp";
-export type KdTechStack = "unknown" | "java-bos" | "java-cosmic" | "csharp-bos" | "ksql";
-export type KdLanguage = "unknown" | "java" | "csharp" | "sql";
-export type KnowledgeScope = "common" | "flagship" | "enterprise" | "cosmic" | "xinghan" | "cangqiong";
+export type KdPlatform = "unknown" | "cosmic" | "enterprise-csharp" | "enterprise-python";
+export type KdTechStack = "unknown" | "java-bos" | "java-cosmic" | "csharp-bos" | "python-bos" | "ksql";
+export type KdLanguage = "unknown" | "java" | "csharp" | "python" | "sql";
+export type KnowledgeScope = "common" | "flagship" | "enterprise" | "enterprise-python" | "cosmic" | "xinghan" | "cangqiong";
 
 export interface ProductProfile {
 	product: KdProduct;
@@ -34,7 +34,11 @@ const PROFILES: Record<KdProduct, ProductProfile> = {
 		language: "java",
 		knowledgeScope: "flagship",
 		requiresMetadataVerification: true,
-		notes: ["Xingkong Flagship is Cosmic-family. Use Cosmic metadata, plugin lifecycle, SDK, and post-check constraints."],
+		notes: [
+			"Xingkong Flagship is Cosmic-family. Use Cosmic metadata, plugin lifecycle, SDK, and post-check constraints.",
+			"Place product code under the workspace code/ directory when that directory exists.",
+			"Before creating or editing code, inspect the existing project structure under code/ and follow its actual layout, whether it is organized by cloud, app, or no module split.",
+		],
 	},
 	cosmic: {
 		product: "cosmic",
@@ -86,6 +90,24 @@ const PRODUCT_ALIASES: Array<[RegExp, KdProduct]> = [
 	[/星空旗舰版|星空旗舰|旗舰版|旗舰|flagship/i, "flagship"],
 ];
 
+const ENTERPRISE_PYTHON_PATTERN =
+	/(?:python|py)\s*(?:插件|plugin)|(?:python|py).*?(?:插件|plugin)|ironpython|(?:企业版|enterprise|星空|金蝶云星空|BOS).*?python\s*脚本|python\s*脚本.*?(?:企业版|enterprise|星空|金蝶云星空|BOS)/i;
+
+function enterprisePythonProfile(): ProductProfile {
+	return {
+		...PROFILES.enterprise,
+		platform: "enterprise-python",
+		techStack: "python-bos",
+		language: "python",
+		knowledgeScope: "enterprise-python",
+		notes: [
+			"Use Kingdee Cloud Enterprise / BOS IronPython plugin patterns only when the user explicitly asks for Python plugin or IronPython script.",
+			"Default Enterprise plugin work remains C# unless Python plugin is explicitly requested.",
+			"Python plugins run in BOS through IronPython and call Kingdee.BOS .NET assemblies; verify plugin type, event, FormId, field keys, and registration steps before coding.",
+		],
+	};
+}
+
 export function profileForProduct(product: KdProduct | undefined): ProductProfile {
 	return PROFILES[product ?? "unknown"] ?? PROFILES.unknown;
 }
@@ -94,6 +116,8 @@ export function resolveProductProfile(input: string | undefined): ProductProfile
 	const text = input?.trim();
 	if (!text) return profileForProduct("unknown");
 
+	if (ENTERPRISE_PYTHON_PATTERN.test(text)) return enterprisePythonProfile();
+
 	for (const [pattern, product] of PRODUCT_ALIASES) {
 		if (pattern.test(text)) return profileForProduct(product);
 	}

package/src/rules/checker.ts

@@ -25,7 +25,7 @@ export interface CheckResult {
 	rule: string;
 }
 
-export type CheckLanguage = "java" | "csharp";
+export type CheckLanguage = "java" | "csharp" | "python";
 
 const ALLOWED_NUMBERS = new Set(["0", "1", "-1", "2", "10", "100"]);
 

package/src/tools/build-debug.ts

@@ -24,6 +24,11 @@ export function planBuild(cwd: string, profile: ProductProfile, target?: string)
 
 	if (profile.platform === "cosmic") return planJavaBuild(cwd, profile, target);
 	if (profile.platform === "enterprise-csharp") return planCsharpBuild(cwd, profile, target);
+	if (profile.platform === "enterprise-python") {
+		throw new Error(
+			"Enterprise Python plugins usually have no local build step. Verify by BOS registration and functional testing; record the script path, plugin type, FormId, field/entity keys, and test data in VERIFY.md.",
+		);
+	}
 	throw new Error(`No build strategy for ${profile.product}/${profile.platform}/${profile.techStack}.`);
 }