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

package/SKILL.md

@@ -1,26 +1,69 @@
 ---
-name: saddle-service
-description: 基于已发布的 Saddle 门面包 `saddle-framework = "=0.1.1"` 构建和审查最小 Rust Service 应用。当 AI Coding 需要创建 Saddle 0.1.1 Service 契约、处理器、注册、HTTP/JSON 暴露、固定进程入口，或在不读取和修改 Saddle 中间件实现的前提下验证生成的业务代码时使用。
+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 Service 0.1.1
+# Saddle 0.2 真实 Facade 研发契约候选
 
-只使用 `saddle-framework = "=0.1.1"` 已发布的公共 API。
+先核对 Rust Facade、Skill package、[公开 API snapshot](references/public-api.snapshot)
+与 machine schema 的版本身份。开发候选必须精确匹配 manifest 中的 source commit；
+正式使用必须匹配已发布 Rust 制品。任一身份不一致时停止生成，不用其他 workspace
+path、设计目标或相邻版本替代。
 
-## 工作流程
+## 执行顺序
 
-1. 将门面依赖精确固定为 `saddle-framework = "=0.1.1"`，并以 `saddle` 作为导入名。
-2. 生成 Service 代码前，阅读 [references/service-0.1.1.md](references/service-0.1.1.md)。
-3. 在 Saddle 仓库内工作时，从已验证的 `examples/helloworld` 消费端示例开始。
-4. 将业务代码限制为请求/响应类型、Service 契约、对应处理器和 Saddle 装配。
-5. 修改参考示例后，执行 [references/service-0.1.1.md](references/service-0.1.1.md) 中记录的 Rust 1.85 和当前工具链检查。
-6. 拒绝使用仅存在于 V1 目标描述中、但尚未由已发布门面提供的 API。
+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。
 
-## 边界
+## 生成约束
 
-- 不要检查或修改 Saddle 组件实现。
-- 不要替换 Saddle 的进程入口、异步运行时、HTTP 服务器、数据库连接池或可观测性装配。
-- 不要在业务代码中创建线程、运行时、脱离生命周期的任务、路由器、I/O 客户端或数据库连接池。
-- 在没有可编译的 0.1.1 消费端示例前，不要声称数据库、事务、内部 Service 调用、优雅停机或可观测性用法可用。
-- 如果缺少所需公共 API，保留最小可复现的消费端失败案例，通过远程 Git 提交给控制 workspace 评估；不要在这里修补中间件。
-- 将本地设计文档视为设计意图，将针对 crates.io 0.1.1 制品的编译结果视为可用 API 的事实依据。
+- 生成唯一 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 Service 0.1.1"
-  short_description: "构建经过验证的 Saddle 0.1.1 Service 应用"
-  default_prompt: "使用 $saddle-service 构建一个最小的 Saddle Service 应用。"
+  display_name: "Saddle 0.2 研发契约"
+  short_description: "生成并验证受管 Service、数据库与单层事务应用"
+  default_prompt: "使用 $saddle-service-0-2 按真实 Facade 契约生成并验证 Saddle 0.2 应用。"