@antprofuse/saddle-skill 0.3.1 → 0.3.2

package/SKILL.md

@@ -1,9 +1,9 @@
 ---
 name: saddle-service-0-3
-description: 使用 Saddle 0.3.1 Skill 开发或审查带 profusegw 固定入口和 profusecontract 强类型外部函数调用的 Rust 业务应用。用于定义 protobuf 契约、声明强类型业务配置、编写固定 ProfuseGwContext 四参数 handler、以框架响应映射业务拒绝和技术失败，或运行正式业务门禁。
+description: 使用 Saddle 0.3.2 Skill 开发或审查带 profusegw 固定入口和 profusecontract 强类型外部函数调用的 Rust 业务应用。用于定义 protobuf 契约、声明强类型业务配置、编写固定 ProfuseGwContext 四参数 handler、以框架响应映射业务拒绝和技术失败，或运行正式业务门禁。
 ---
 
-# Saddle 0.3.1 业务研发契约
+# Saddle 0.3.2 业务研发契约
 
 业务 Agent 的直接输入只有业务 spec 与本 Skill。不要要求用户阅读 Saddle 仓库、审计报告、组件提交或内部实现。
 
@@ -29,7 +29,7 @@ description: 使用 Saddle 0.3.1 Skill 开发或审查带 profusegw 固定入口
 
 ```toml
 [dependencies]
-saddle-framework = "=0.3.1"
+saddle-framework = "=0.3.2"
 ```
 
 `saddle-framework` 是唯一业务 facade。业务不得直接依赖 `saddle-core`、`saddle-admission`、`saddle-boundary`、`saddle-db`、`saddle-macros`、`saddle-observability`、`saddle-runtime` 或 `saddle-service`。
@@ -68,6 +68,6 @@ saddle-framework = "=0.3.1"
 - handler 返回 Rust `Result`/`Err`、空成功、任意 JSON，或业务自建第二响应结构；
 - 业务拒绝或任一技术失败组合没有显式映射，机器码不稳定，或 `FailureMessage` 超过 256 bytes；
 - 出现旧响应字段、顶层 code/message 或任何旧协议兼容叙述；
-- Cargo 不是精确 `=0.3.1` Rust facade、缺 lock，或正式 Gate 不通过。
+- Cargo 不是精确 `=0.3.2` Rust facade、缺 lock，或正式 Gate 不通过。
 
 停止时只交最小复现和期望业务表达，由 Saddle 修复公共能力缺口。

package/agents/openai.yaml

@@ -1,4 +1,4 @@
 interface:
   display_name: "Saddle 0.3 业务应用"
   short_description: "使用 Saddle 0.3 开发受控边界的 Rust 业务应用"
-  default_prompt: "请安装 Saddle 0.3.1 Skill（npm install --save-exact --ignore-scripts --no-audit --no-fund @antprofuse/saddle-skill@0.3.1），结合业务 spec 开始研发。"
+  default_prompt: "请安装 Saddle 0.3.2 Skill（npm install --save-exact --ignore-scripts --no-audit --no-fund @antprofuse/saddle-skill@0.3.2），结合业务 spec 开始研发。"

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@antprofuse/saddle-skill",
-  "version": "0.3.1",
-  "description": "Saddle 0.3.1 中文 AI Coding 研发契约与业务门禁。",
+  "version": "0.3.2",
+  "description": "Saddle 0.3.2 中文 AI Coding 研发契约与业务门禁。",
   "license": "MIT OR Apache-2.0",
   "files": ["SKILL.md", "agents", "references", "scripts", "assets"],
   "bin": {"saddle-03-gate": "scripts/saddle-03-gate.js"},

package/references/consumer-start.md

@@ -46,7 +46,7 @@ Saddle 在编译期从 `contract_dir` 确定性递归收集 `.proto`，闭合 im
 
 ## 阶段 3：Rust 实现
 
-业务 crate 精确使用 `saddle-framework = "=0.3.1"`，然后按 [最小编程模型](programming-model.md) 编写固定 `deployment_app`、显式 `business_config`、静态 operation 声明和四参数 handler。不得直接依赖任何 Saddle 中间件 crate。
+业务 crate 精确使用 `saddle-framework = "=0.3.2"`，然后按 [最小编程模型](programming-model.md) 编写固定 `deployment_app`、显式 `business_config`、静态 operation 声明和四参数 handler。不得直接依赖任何 Saddle 中间件 crate。
 
 实现通过 Gate 后，按 [本地联调](local-integration.md) 由外部 harness 注入唯一 plaintext profusecontract authority，并以固定 profusegw body 验证真实 typed call。endpoint、request/call identity 和 deadline 都是框架或部署输入，不写入业务 spec。
 
@@ -63,6 +63,6 @@ Saddle 在编译期从 `contract_dir` 确定性递归收集 `.proto`，闭合 im
 - 缺少固定 `deployment_app`，或 app/interfaceId/endpoint 被做成动态业务输入；
 - 技术失败码或执行确定性存在 catch-all/default；
 - 需要裸 gRPC/channel/bytes、第二入口、动态 descriptor 或未声明外部 I/O；
-- `saddle-framework` 不是精确 `=0.3.1`，或 [正式 Gate](validation.md) 失败。
+- `saddle-framework` 不是精确 `=0.3.2`，或 [正式 Gate](validation.md) 失败。
 
 停止产物只包含最小复现、缺失身份和期望业务表达，不包含中间件替代实现。

package/references/external-function-contracts.md

@@ -15,7 +15,7 @@
 - `puc` 是业务单元，例如 `puc`。
 - `function` 是契约原始函数名，允许中文，例如 `查询用户绑定户号`。
 - protobuf method、Rust 方法和 Java 方法使用各语言合法的本地标识符；它们不是跨系统身份。
-- 0.3.1 不定义 contract version、多版本路由、翻译表、alias 或 fallback。
+- 0.3.2 不定义 contract version、多版本路由、翻译表、alias 或 fallback。
 
 ## 定义步骤
 
@@ -82,4 +82,4 @@ message BoundAccount {
 
 ## 变更规则
 
-先修改共同契约目录并重新通过双方 conformance，再修改两侧实现。禁止两侧各自维护近似定义后人工对齐；0.3.1 遇到不兼容变化时停止并共同升级，不在运行时并存或猜测版本。
+先修改共同契约目录并重新通过双方 conformance，再修改两侧实现。禁止两侧各自维护近似定义后人工对齐；0.3.2 遇到不兼容变化时停止并共同升级，不在运行时并存或猜测版本。

package/references/local-integration.md

@@ -29,7 +29,7 @@ profusegw 只向固定路径发送通用 JSON body；业务接口不新增 URL
 
 ## 唯一 plaintext endpoint
 
-0.3.1 部署配置只接受 `saddle.toml` 的正式键 `[framework].profusecontractAuthorityTemplate`。有业务配置的完整最小文件是 [saddle-configured.toml](../assets/saddle-configured.toml)，`business_config ();` 应用使用不含 `[business]` 的 [saddle-unit.toml](../assets/saddle-unit.toml)。例如：
+0.3.2 部署配置只接受 `saddle.toml` 的正式键 `[framework].profusecontractAuthorityTemplate`。有业务配置的完整最小文件是 [saddle-configured.toml](../assets/saddle-configured.toml)，`business_config ();` 应用使用不含 `[business]` 的 [saddle-unit.toml](../assets/saddle-unit.toml)。例如：
 
 ```toml
 [framework]
@@ -45,7 +45,7 @@ dataPath = "fixtures/data"
 
 键值必须是 `http` plaintext 的 `host:port`，可选且只能出现受控 `{zone}` 模板；模板用同一请求的 LDC zone 在连接前解析。不得包含其他模板、path、query、fragment、userinfo、凭据或动态函数信息。键缺失、近似键、缺失或非法 zone 都必须 fail-fast，禁止普通环境变量 fallback。所有强类型函数共享这一部署级连接目标；线上 gRPC method 固定为 `ProfuseContractBoundary/Invoke`，应用不得按函数配置 endpoint。
 
-此 endpoint 是部署输入，不进入业务 spec、request 或 handler。TLS、鉴权、服务发现、负载均衡和生产凭据不属于 0.3.1；需要其中任一能力时立即停止，不得在业务 crate 自建 client。
+此 endpoint 是部署输入，不进入业务 spec、request 或 handler。TLS、鉴权、服务发现、负载均衡和生产凭据不属于 0.3.2；需要其中任一能力时立即停止，不得在业务 crate 自建 client。
 
 ## 联调完成条件
 

package/references/programming-model.md

@@ -2,7 +2,7 @@
 
 ## 应用显式声明
 
-业务应用使用 `saddle-framework = "=0.3.1"` 的公开编程面：
+业务应用使用 `saddle-framework = "=0.3.2"` 的公开编程面：
 
 ```rust
 saddle::application! {

package/references/validation.md

@@ -1,4 +1,4 @@
-# Saddle 0.3.1 Skill 正式业务 Gate
+# Saddle 0.3.2 Skill 正式业务 Gate
 
 ## 依赖与锁
 
@@ -12,7 +12,7 @@ edition = "2024"
 rust-version = "1.95"
 
 [dependencies]
-saddle-framework = "=0.3.1"
+saddle-framework = "=0.3.2"
 ```
 
 在允许访问正式 registry 的依赖准备阶段生成并提交 `Cargo.lock`。禁止 `path`、`git`、`[patch]`、source replacement 或宽松 Saddle 版本。
@@ -25,10 +25,10 @@ saddle-framework = "=0.3.1"
 npx --no-install saddle-03-gate --manifest-path Cargo.toml
 ```
 
-命令由已安装的 `@antprofuse/saddle-skill@0.3.1` 提供，不需要 Saddle 源码仓库。它会检查：
+命令由已安装的 `@antprofuse/saddle-skill@0.3.2` 提供，不需要 Saddle 源码仓库。它会检查：
 
 - facade 精确版本、禁止直接中间件依赖和 Cargo source 旁路；
-- `Cargo.lock` 中 boundary、db、framework、macros、observability、runtime、service 七包统一精确映射 `0.3.1`；
+- `Cargo.lock` 中 boundary、db、framework、macros、observability、runtime、service 七包统一精确映射 `0.3.2`；
 - 唯一 `contract_dir`、目录存在、禁止旧单文件 contract 声明；
 - 目录根部 `saddle_external_function.proto` 与 Skill 权威模板逐字一致且仅出现一次，使用 option 的业务 proto 必须 direct import 根文件；
 - 编译期递归扫描/import 闭包、option-only 索引、身份唯一、请求结果类型匹配，以及所有 function 均有实际 `uses`；

package/scripts/saddle-03-gate.js

@@ -30,8 +30,8 @@ if (/^\s*\[(patch|replace)\b/m.test(cargo) || /\b(path|git|branch|tag)\s*=/.test
   stop("DEPENDENCY_SOURCE", "禁止 path/git/patch/replace 依赖旁路");
 }
 const facade = cargo.match(/^\s*saddle-framework\s*=\s*(.+)$/m);
-if (!facade || !/^"=0\.3\.1"\s*(?:#.*)?$/.test(facade[1].trim())) {
-  stop("SADDLE_VERSION", '必须直接且精确依赖 saddle-framework = "=0.3.1"');
+if (!facade || !/^"=0\.3\.2"\s*(?:#.*)?$/.test(facade[1].trim())) {
+  stop("SADDLE_VERSION", '必须直接且精确依赖 saddle-framework = "=0.3.2"');
 }
 const internals = ["saddle-core","saddle-admission","saddle-boundary","saddle-db","saddle-macros","saddle-observability","saddle-runtime","saddle-service"];
 for (const name of internals) {
@@ -41,11 +41,11 @@ if (!fs.existsSync(lockPath)) {
   stop("LOCK", "缺少 Cargo.lock");
 } else {
   const lock = fs.readFileSync(lockPath, "utf8");
-  const publicClosure = ["saddle-boundary", "saddle-db", "saddle-framework", "saddle-macros", "saddle-observability", "saddle-runtime", "saddle-service"];
+  const publicClosure = ["saddle-admission", "saddle-boundary", "saddle-core", "saddle-db", "saddle-framework", "saddle-macros", "saddle-observability", "saddle-runtime", "saddle-service"];
   for (const name of publicClosure) {
     const escaped = name.replaceAll("-", "\\-");
-    if (!new RegExp(`name = "${escaped}"\\nversion = "0\\.3\\.1"`).test(lock)) {
-      stop("LOCK", `Cargo.lock 未绑定 ${name} 0.3.1`);
+    if (!new RegExp(`name = "${escaped}"\\nversion = "0\\.3\\.2"`).test(lock)) {
+      stop("LOCK", `Cargo.lock 未绑定 ${name} 0.3.2`);
     }
   }
 }
@@ -174,4 +174,4 @@ try {
   fs.rmSync(target, {recursive: true, force: true});
 }
 if (process.exitCode) process.exit(process.exitCode);
-process.stdout.write("SADDLE_03_GATE PASS; SKILL=0.3.1; RUST=0.3.1; CLOSED_RESPONSE; CLOSED_CODES; FAILURE_MESSAGE_256; FAILURE_8X3; LOCKED_OFFLINE\n");
+process.stdout.write("SADDLE_03_GATE PASS; SKILL=0.3.2; RUST=0.3.2; CLOSED_RESPONSE; CLOSED_CODES; FAILURE_MESSAGE_256; FAILURE_8X3; LOCKED_OFFLINE\n");