2 points | by sumu327 4 hours ago ago
2 comments
+-----------------------+ +-----------------------+ | .yc (规格/契约) | <---->| .yci (实现/逻辑) | | - 定义接口 (Interface) | | - 填充业务逻辑 | | - 设定契约 (Requires) | | - 必须满足契约 | | - 声明类型 (Types) | | - AI 在此处工作 | +-----------+-----------+ +-----------+-----------+ ^ | | (编译期强制校验) | (运行时数据流) | v +-----------+-----------+ +-----------+-----------+ | .ycl (链接/依赖) | <---->| .ycv (视图/UI) | | - 模块组装 | | - 界面渲染 | | - 依赖注入 | | - 状态绑定 | +-----------------------+ +-----------------------+
[Compiler Guard]: 如果 .yci 不满足 .yc 的契约 -> 编译失败 (Build Failed) [AI Role]: AI 只能修改 .yci 和 .ycv，严禁触碰 .yc (除非人类授权)
By staying in the loop
+-----------------------+ +-----------------------+ | .yc (规格/契约) | <---->| .yci (实现/逻辑) | | - 定义接口 (Interface) | | - 填充业务逻辑 | | - 设定契约 (Requires) | | - 必须满足契约 | | - 声明类型 (Types) | | - AI 在此处工作 | +-----------+-----------+ +-----------+-----------+ ^ | | (编译期强制校验) | (运行时数据流) | v +-----------+-----------+ +-----------+-----------+ | .ycl (链接/依赖) | <---->| .ycv (视图/UI) | | - 模块组装 | | - 界面渲染 | | - 依赖注入 | | - 状态绑定 | +-----------------------+ +-----------------------+
[Compiler Guard]: 如果 .yci 不满足 .yc 的契约 -> 编译失败 (Build Failed) [AI Role]: AI 只能修改 .yci 和 .ycv，严禁触碰 .yc (除非人类授权)
By staying in the loop