@antprofuse/saddle-skill 0.3.10 → 0.3.11

package/references/programming-model.md

@@ -2,7 +2,7 @@
 
 ## 应用显式声明
 
-业务应用使用 `saddle-framework = "=0.3.10"` 的公开编程面：
+业务应用使用 `saddle-framework = "=0.3.11"` 的公开编程面：
 
 ```rust
 saddle::application! {
@@ -13,7 +13,7 @@ saddle::application! {
 
     profusecontract {
         contract_dir "contracts";
-        capability PucProfuseContract;
+        capability Capabilities;
         response_code BusinessCode;
         functions {
             QueryBoundAccounts => query_bound_accounts {
@@ -40,7 +40,7 @@ saddle::application! {
 
 `deployment_app` 是本部署唯一固定应用身份。profusegw body 的 `target.app` 必须逐字匹配它；每个 service 的 `operation_type` 是对应 `target.interfaceId` 的静态身份。两者都是声明期字面量，不是 handler 参数或动态路由键。
 
-0.3.10 起，handler 的第三参数是同一个应用能力聚合：所有 route 都保留声明过的
+handler 的第三参数是同一个应用能力聚合：所有 route 都保留声明过的
 ProfuseContract 强类型方法；需要数据库的 route 另外在 service 声明中选择唯一静态
 operation，例如 `database query_optional find_user (generated::FindUser);`、
 `database write save_user (generated::SaveUser);`、`database transaction_commit save_user
@@ -107,6 +107,24 @@ database transaction_commit transaction (generated::SaveUserCommit);
 database transaction_rollback rollback (generated::SaveUserRollback);
 ```
 
+生成步骤就是正常 `cargo build`：在业务源码使用公开 `saddle::database_operations!`，声明逻辑表及具名 Params/Row。完整声明、字段规则与调用示例见 [数据库声明与映射](database-name-mapping.md)。不需要独立生成器、build.rs、手写 SQL 或隐藏 trait。
+
+DB 方法只消费一次 DB 能力，并返回结果与剩余外呼能力：
+
+```rust
+let (result, c) = c.read(ops::ReadParams { id: request.id }.into_parameters()).await;
+match result {
+    Ok(row) => {
+        let row = ops::ReadRow::from_database(row);
+        // 显式处理 Some/None；用具名行字段构造强类型外呼请求。
+        // c 的外呼继续沿用本请求；c 已无 read/write 等 DB 方法。
+    }
+    Err(error) => { /* 映射为封闭失败响应，不把错误当成无行 */ }
+}
+```
+
+同一个 operation 可被多个 route 引用。`transaction_commit` 与 `transaction_rollback` 是静态 route 决策，不代表可在 handler 内动态开始、多步组合、commit 或 rollback 的事务 API。
+
 - 无 DB route 没有数据库方法，框架以 `NotUsed` 结束。query 和 write 只消费生成的有界参数/行类型。
 - 单层 transaction 的操作与 commit/rollback 决策都是 route 的生成期事实；同一连接成功后 commit，失败、timeout 或 cancel 时 rollback，无法证明可复用时 discard。业务不得调用 commit/rollback，不得嵌套 transaction。
 - DB 物理终态后，handler 先使用返回值形成响应；框架保留私有 post-DB terminal，直到响应写回成功、断连或 timeout 后才 finish 原请求并归还准入资源。

package/references/response-model.md

@@ -2,6 +2,8 @@
 
 ## 唯一响应
 
+响应还受框架现有 1MiB 编码与 framing 边界约束；超界形成技术失败，不截断为成功数据。这个边界不等于全进程 RSS、driver/TLS 或任意业务分配的绝对硬上限。
+
 handler 必须直接返回 `saddle::ingress::ProfuseGwResponse<Data, BusinessCode>`。合法语义只有两支：成功 `Success { data }`，失败 `Failure { failure: { code, message } }`。标准 JSON 投影为：
 
 ```json

package/references/validation.md

@@ -1,4 +1,4 @@
-# Saddle 0.3.10 Skill 正式业务 Gate
+# Saddle 0.3.11 Skill 正式业务 Gate
 
 ## 依赖与锁
 
@@ -12,7 +12,7 @@ edition = "2024"
 rust-version = "1.95"
 
 [dependencies]
-saddle-framework = "=0.3.10"
+saddle-framework = "=0.3.11"
 ```
 
 在允许访问正式 registry 的依赖准备阶段生成并提交 `Cargo.lock`。禁止 `path`、`git`、`[patch]`、source replacement 或宽松 Saddle 版本。
@@ -25,10 +25,10 @@ saddle-framework = "=0.3.10"
 npx --no-install saddle-03-gate --manifest-path Cargo.toml
 ```
 
-命令由已安装的 `@antprofuse/saddle-skill@0.3.10` 提供，不需要 Saddle 源码仓库。它会检查：
+命令由已安装的 `@antprofuse/saddle-skill@0.3.11` 提供，不需要 Saddle 源码仓库。它会检查：
 
 - facade 精确版本、禁止直接中间件依赖和 Cargo source 旁路；
-- `Cargo.lock` 中 admission、boundary、core、db、framework、macros、observability、runtime、service 九包统一精确映射 `0.3.10`；
+- `Cargo.lock` 中 admission、boundary、core、db、framework、macros、observability、runtime、service 九包统一精确映射 `0.3.11`；
 - 唯一 `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\.10"\s*(?:#.*)?$/.test(facade[1].trim())) {
-  stop("SADDLE_VERSION", '必须直接且精确依赖 saddle-framework = "=0.3.10"');
+if (!facade || !/^"=0\.3\.11"\s*(?:#.*)?$/.test(facade[1].trim())) {
+  stop("SADDLE_VERSION", '必须直接且精确依赖 saddle-framework = "=0.3.11"');
 }
 const internals = ["saddle-core","saddle-admission","saddle-boundary","saddle-db","saddle-macros","saddle-observability","saddle-runtime","saddle-service"];
 for (const name of internals) {
@@ -44,8 +44,8 @@ if (!fs.existsSync(lockPath)) {
   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\\.10"`).test(lock)) {
-      stop("LOCK", `Cargo.lock 未绑定 ${name} 0.3.10`);
+    if (!new RegExp(`name = "${escaped}"\\nversion = "0\\.3\\.11"`).test(lock)) {
+      stop("LOCK", `Cargo.lock 未绑定 ${name} 0.3.11`);
     }
   }
 }
@@ -161,6 +161,7 @@ if (!/\bcapability\s+Capabilities\s*;/.test(source)) stop("CAPABILITIES", "appli
 if (!/\bcapabilities\s*:\s*Capabilities(?:\s*<[^>]+>)?/.test(source)) stop("CAPABILITIES", "handler 第三参数必须使用生成 Capabilities");
 if (/\b(?:contract|client)\s*:\s*[A-Za-z_][A-Za-z0-9_]*(?:Contract|Client)\b/.test(source)) stop("CAPABILITIES", "禁止旧第三参数 capability/client");
 for (const db of source.matchAll(/\bdatabase\s+([A-Za-z_][A-Za-z0-9_]*)\s+/g)) {
+  if (!source.includes('database_operations!')) stop('DATABASE_DECLARATION', 'DB route 必须使用公开 database_operations!');
   if (!new Set(["query_optional", "write", "transaction_commit", "transaction_rollback"]).has(db[1])) {
     stop("DATABASE", `禁止非静态或未批准数据库模式 ${db[1]}`);
   }
@@ -226,6 +227,7 @@ for (const certainty of ["NotExecuted","Executed","MayHaveExecuted"]) {
   if (!source.includes(certainty)) stop("EXECUTION_CERTAINTY", `缺少显式分支 ${certainty}`);
 }
 const forbidden = [
+  ["HIDDEN_DATABASE", /saddle::__private|\bStaticQueryOptionalOperation\b|\bStaticWriteOperation\b/],
   ["WILDCARD", /_\s*=>/], ["LISTENER", /\b(TcpListener|axum|hyper|actix_web|warp)\b/],
   ["RUNTIME", /\b(tokio::runtime|Runtime::new|spawn\s*\()/], ["RAW_RPC", /\b(tonic|Channel|ProfuseContractBoundary|raw_invoke|invoke_raw)\b/],
   ["DYNAMIC_FUNCTION", /\b(dynamic_function|call_dynamic|DynamicExternalFunction)\b/],
@@ -250,4 +252,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.10; RUST=0.3.10; ADMISSION_DERIVED; W0; CLOSED_RESPONSE; CLOSED_CODES; FAILURE_MESSAGE_256; FAILURE_8X3; LOCKED_OFFLINE\n");
+process.stdout.write("SADDLE_03_GATE PASS; SKILL=0.3.11; RUST=0.3.11; ADMISSION_DERIVED; W0; CLOSED_RESPONSE; CLOSED_CODES; FAILURE_MESSAGE_256; FAILURE_8X3; LOCKED_OFFLINE\n");