@antprofuse/saddle-skill 0.1.3 → 0.2.0-rc.19

package/SKILL.md

@@ -1,30 +1,69 @@
 ---
-name: saddle-service
-description: 基于已发布的 `saddle-framework = "=0.1.1"` 构建和审查 Saddle V1 Rust 业务应用。当 AI Coding 需要创建单进程业务大库、Service 契约与内部调用、HTTP/JSON 入口、托管数据库查询与写入、单层事务、稳定错误、领域事件，或检查线程、运行时、Web、DB 和日志旁路时使用。
+name: saddle-service-0-2
+description: 使用 Saddle 0.2 冻结候选声明生成和审查受管 Rust 业务应用。仅在任务明确针对已发布且身份匹配的 Saddle 0.2 Rust 制品时使用，覆盖唯一 application bootstrap、静态 Service/route/内部调用图、query_optional、standalone write、单层 transaction commit/业务 rollback，以及禁止 V1、裸 I/O、普通容器和第二执行面的 Gate。
 ---
 
-# Saddle V1 研发契约
+# Saddle 0.2 真实 Facade 研发契约候选
 
-只将针对 crates.io `saddle-framework = "=0.1.1"` 编译通过的用法视为可用能力。
+先核对 Rust Facade、Skill package、[公开 API snapshot](references/public-api.snapshot)
+与 machine schema 的版本身份。开发候选必须精确匹配 manifest 中的 source commit；
+正式使用必须匹配已发布 Rust 制品。任一身份不一致时停止生成，不用其他 workspace
+path、设计目标或相邻版本替代。
 
 ## 执行顺序
 
-1. 阅读 [总览](references/overview-0.1.1.md)，确定大库、模块和进程边界。
-2. 按任务读取对应参考：
-   - Service 定义、注册、对外入口或内部调用：读 [Service](references/service-0.1.1.md)。
-   - 启动、异步执行或关闭边界：读 [Runtime](references/runtime-0.1.1.md)。
-   - 查询、写入、行解码或事务：读 [DB 与事务](references/db-0.1.1.md)。
-   - 稳定错误、Trace 上下文或领域事件：读 [Observability](references/observability-0.1.1.md)。
-   - 新增依赖或交付前检查：读 [门禁](references/gates-0.1.1.md)。
-3. 新建应用时复制 `assets/v1-business`，再按领域修改；不要重新装配中间件。
-4. 业务 crate 只直接依赖精确版本的 Saddle 门面和必要的纯计算/序列化依赖。
-5. 完成后执行 [验证](references/validation-0.1.1.md) 中的编译、依赖和边界检查。
-
-## 不可突破的边界
-
-- 不读取、复制或修改 Saddle 中间件实现。
-- 不创建线程、async runtime、脱离 Saddle 管理的 task、Web Server、路由器、连接池、底层事务或日志 subscriber。
-- 不绕过 `ServiceClient` 调用其他业务模块，不绕过 `Database` 执行数据库 I/O。
-- 不记录完整请求、响应、SQL 参数、凭据或任意敏感对象。
-- 不使用设计文档中的目标替代已发布 API；编译失败时保留最小复现并提交控制 workspace。
-- 不声称 0.1.1 支持定时任务、后台任务、消息消费、外部 HTTP/RPC、文件 I/O、多数据源、嵌套/分布式事务、Metrics 或跨进程调用。
+1. 阅读 [声明语法](references/declaration-schema.md)，只编写一个
+   `saddle::application!` 声明。
+2. 阅读 [公开 API 边界](references/api-boundary.md)，区分稳定源码契约与
+   build-internal 类型。
+3. 涉及旧应用升级时阅读 [迁移规则](references/migration.md)。
+4. 交付前按 [machine schema](references/machine-schema.md) 生成并核对构建输入。
+5. 以 `assets/registry-consumer` 为可编译基准生成私有
+   `GeneratedApplicationOwner`。application marker 必须公开一个 provider-generic、
+   consuming 的 `run<B: ApprovedExternalBundle>(bundle, config)`；函数体只能在私有
+   generated module 内移动一次 owner 到
+   `ProductionLauncher::verify(bundle)?.run(config, GeneratedOwner)`。不得生成 bundle、
+   credential、raw constructor，也不得公开 owner。
+6. 运行 `scripts/validate-contract.sh <application.rs>` 与
+   `scripts/validate-generated-project.sh <project-root>`；核对 public API snapshot、
+   approved locks、package allowlist、同源 managed-object peak 与 machine
+   fingerprint，再运行正式 Rust package 提供的 Gate，不自行实现替代 Gate。
+
+## 生成约束
+
+- 生成唯一 bootstrap、registry seal、dispatcher、classified adapter 和 startup
+  assembly。
+- generated module 和 owner 必须保持私有；业务声明只能命名 application marker，
+  不能命名、构造、Clone、提取或重放 owner/token/proof。
+- Test/部署控制面从外部注入合法 `ApprovedExternalBundle` 与 `SaddleConfig`；Skill 只生成
+  可被该控制面调用的 business consumer，不生成或保存生产凭据与部署实例。
+- route、Service、内部调用边、DB operation 与 transaction decision 必须全部来自
+  同一声明。
+- query、write、transaction 只使用静态 SQL 与固定受管参数/结果 shape。
+- transaction 仅允许一个 write step，显式 `commit` 或 `business_rollback`。
+- handler 保持 async 源码体验，但不得出现 boxed/dyn Future 或业务自建 executor。
+- generated artifact 只携 route/framing、DB work、具体静态 layout、每 route
+  commitment/managed-object/DB credit 与 build/artifact/route-set identity。
+- capacity、deadline、task bytes、StartupPlan 与 deployment calibration 由 Gate/Runtime
+  从已验证资源产生；generated/业务不得填写、枚举、观察或依赖这些值。
+- Service capacity、termination、continuation 与 runtime layout proof 必须由同一次
+  registry freeze 的整包进入 Facade 后在组件内部签发并消费。generated crate 不得实现
+  proof trait、声明 proof associated type、拆分 capacity leaf，或复制任何 identity。
+- 私有 generated owner 只能把同次 freeze 的不可 `Clone` 整包移动进
+  `generated_bootstrap`，再把得到的 opaque bootstrap 作为 `seal.bind(bootstrap)` 的唯一
+  输入；业务/provider 不得观察、构造或传入 layout、size、route identity 或 proof。
+
+## 停止条件
+
+- Rust/Skill/schema 版本或摘要不匹配；
+- 只有源码候选、没有身份匹配的已发布 Rust Facade，却要求按正式制品使用；
+- 需要动态 SQL、多 step/嵌套事务、后台任务、第三方 I/O 或未交付能力；
+- 需要 V1 `ServiceHandler`、`Statement`、普通 serde、`String`、`Vec`、raw sqlx、
+  第二 Runtime/task/dispatcher/assembly；
+- signed production bundle、final calibration 或 release profile 尚未由正式制品冻结。
+
+上述最后一项只禁止 Skill 伪造具体部署实例，不阻止生成 provider-generic consumer。
+若任务要求由 Skill 自造 bundle/credential，必须停止；若外部 Test provider 可用，则继续
+生成并验证 consumer。
+
+停止时提交最小可复现案例，不读取或复制中间件实现。

package/agents/openai.yaml

@@ -1,4 +1,4 @@
 interface:
-  display_name: "Saddle V1 研发契约"
-  short_description: "使用已发布 API 构建完整 Saddle V1 业务应用"
-  default_prompt: "使用 $saddle-service 按 Saddle V1 契约实现并验证业务模块。"
+  display_name: "Saddle 0.2 研发契约"
+  short_description: "生成并验证受管 Service、数据库与单层事务应用"
+  default_prompt: "使用 $saddle-service-0-2 按真实 Facade 契约生成并验证 Saddle 0.2 应用。"