KCG-Code / Software IR

KCG-Code 是面向 Coding Agent 的 Software IR 编译、确定性代码生成和安全工程变更工具链。

它让 Agent 或 SLM 先产生可检查的 Software IR，再由确定性程序完成解析、名称绑定、类型检查、约束验证、Target Lowering、代码生成、Project Symbol Graph、工程应用和受保护的变更事务。项目不允许模型绕过 IR 直接决定最终 Java 工程结构。

当前范围

仓库包含九个 Maven 子模块：

• Parser 与不可变 AST
• Semantic pipeline 与 typed reference-site binding
• Target 无关 Lowering API
• Spring Boot Lowered IR
• 确定性 Spring Boot Generator
• Project Symbol Graph
• Change IR v0.1-v0.6 planning
• Toolchain Application、Bundle、事务与显式恢复
• 只读 check / context / plan CLI（check本机交付、Q23 CI待验）

已验收源码可离线完成默认 Reactor 构建（10 个 Reactor 模块），并已在登记过的参考环境上得到外部 MySQL conformance 的 QUALIFIED 结论。最新同SHA CI为Q21；Q23提交dac0463已有本机定向/规模证据，记录中的新CI资格尚待核验，当前推进暂停，不能引用旧结果验收它。但仍有明确的未覆盖项（Windows 平台证据、thin JAR/发行包、完整 CLI 本地生命周期），因此不宣称生产就绪。精确结论与缺口登记见 CURRENT_QUALIFICATION.md 第 0 节。

已确认的新架构方向（2026-10-13）

首次从SIR理解软件、生成项目源码；后续用固定增加／删除／更新指令编辑软件，共享同一套语义检查和生成。依赖下载、构建、启动和业务验证独立，不放进Parser或静态check。详细方案见分层架构和迁移路线。

这是已确认方向、尚未实现。Q22/Q23后续执行暂停；本轮只更新工程文档并获提交/推送许可，不启动代码重构。旧能力与资格保留。

从这里开始

如果你准备把项目交给一个不了解旧聊天的人，先打开项目负责人操作与交接手册。它会告诉你怎么派活、怎么验收，以及怎么进入下一张工作单。

1. 项目负责人操作与交接手册
2. 当前唯一工作单
3. 全局工程规则 与 项目主体说明
4. 当前项目状态
5. 系统架构与实现指南
6. 当前资格报告
7. 剩余工作路线图

构建

需要 Java 21 和已经准备好的离线 Maven 仓库：

mvn "-Dmaven.repo.local=D:\maven-repo" -o clean verify

CLI 当前通过 Maven exec 运行：

mvn "-Dmaven.repo.local=D:\maven-repo" -o -pl kcg-cli exec:java "-Dexec.mainClass=io.kcg.cli.KcgCli" "-Dexec.args=--help"

批量静态校验 check < samples.jsonl 的直接Java调用、JSONL协议和预算见SIR批量校验。静态通过只进候选池，不保证生成Java能构建或业务正确；独立真实评测仍为草案。

资格边界

默认构建通过不等于外部 MySQL 资格通过。被跳过、被 POM 排除或未显式启动的测试必须报告为 SKIPPED、BLOCKED 或 NOT_RUN，不能折算成成功。

当前精确数字和未验证范围见 CURRENT_QUALIFICATION.md。