@antprofuse/saddle-skill 0.3.3 → 0.3.5

package/SKILL.md

@@ -1,9 +1,9 @@
 ---
 name: saddle-service-0-3
-description: 使用 Saddle 0.3.3 Skill 开发或审查带 profusegw 固定入口和 profusecontract 强类型外部函数调用的 Rust 业务应用。用于定义 protobuf 契约、声明强类型业务配置、编写固定 ProfuseGwContext 四参数 handler、以框架响应映射业务拒绝和技术失败，或运行正式业务门禁。
+description: 使用 Saddle 0.3.5 Skill 开发或审查带 profusegw 固定入口和 profusecontract 强类型外部函数调用的 Rust 业务应用。用于定义 protobuf 契约、声明强类型业务配置、编写固定 ProfuseGwContext 四参数 handler、以框架响应映射业务拒绝和技术失败，或运行正式业务门禁。
 ---
 
-# Saddle 0.3.3 业务研发契约
+# Saddle 0.3.5 业务研发契约
 
 业务 Agent 的直接输入只有业务 spec 与本 Skill。不要要求用户阅读 Saddle 仓库、审计报告、组件提交或内部实现。
 
@@ -29,7 +29,7 @@ description: 使用 Saddle 0.3.3 Skill 开发或审查带 profusegw 固定入口
 
 ```toml
 [dependencies]
-saddle-framework = "=0.3.3"
+saddle-framework = "=0.3.5"
 ```
 
 `saddle-framework` 是唯一业务 facade。业务不得直接依赖 `saddle-core`、`saddle-admission`、`saddle-boundary`、`saddle-db`、`saddle-macros`、`saddle-observability`、`saddle-runtime` 或 `saddle-service`。
@@ -58,6 +58,9 @@ saddle-framework = "=0.3.3"
 - 唯一配置入口是一个 `saddle.toml`，进程唯一参数为 `--config <path>`。生产启动使用绝对路径，例如 `target/release/my-app --config /etc/my-app/saddle.toml`；`--config saddle.toml` 与 `--config ./saddle.toml` 也合法，均相对当前工作目录定位文件，文件内相对路径则相对该配置文件所在目录解析。
 - profusecontract 部署只接受 `[framework.profusecontract].authority`：值为一个固定 `http://host:port` plaintext authority，或含唯一 `{zone}` 占位的模板；不得携带 URL path、凭据、TLS、服务发现或 per-call endpoint。业务 handler 不读取该配置。
 - 配置在 listener 建立前一次解析、校验、解析 secret 环境引用并冻结。普通配置不接受环境变量覆盖；secret 只能通过 `[secrets]` 明确声明的环境变量名注入。未知字段、缺失必填字段、类型错误、secret 缺失、数据库 secret/mapping 配置不成对或相对路径非法均须 fail-fast。
+- 文件日志只由 `[framework.observability.logging]` 配置；默认目录 `./logs`、默认 `daily`。活动文件固定为 `saddle.log`；daily 归档为 `saddle.log.YYYY-MM-DD`，hourly 归档为 `saddle.log.YYYY-MM-DD-HH`。应用不得安装第二 subscriber，也不得把 stdout/stderr 混入该文件。大小轮转、压缩和清理策略不属于 Saddle 0.3.5，由运维侧管理归档目录容量与采集。
+- `[framework.management].bind` 是独立于业务 `listen` 的必填管理监听地址。管理面只接受固定 `GET /live` 与 `GET /ready`：进程处于 Starting、Ready 或 Draining 时 `/live` 返回 200；只有 Ready 时 `/ready` 返回 200，其余阶段返回 503。业务代码不得注册、覆盖或写入健康状态。
+- SIGTERM 必须先使 `/ready` 变为 503 并停止新业务流量，再 drain 已准入请求；drain 期间 `/live` 保持 200，业务入口先停止，管理入口最后停止。探针只投影本进程受管生命周期，不探测数据库、profusecontract 或其他下游；下游策略由部署环境另行负责。
 
 ## 立即停止
 
@@ -70,7 +73,8 @@ saddle-framework = "=0.3.3"
 - handler 返回 Rust `Result`/`Err`、空成功、任意 JSON，或业务自建第二响应结构；
 - 业务拒绝或任一技术失败组合没有显式映射，机器码不稳定，或 `FailureMessage` 超过 256 bytes；
 - 出现旧响应字段、顶层 code/message 或任何旧协议兼容叙述；
-- Cargo 不是精确 `=0.3.3` Rust facade、缺 lock，或正式 Gate 不通过。
+- Cargo 不是精确 `=0.3.5` Rust facade、缺 lock，或正式 Gate 不通过。
 - 出现旧扁平 authority 长键或旧配置类型模块路径。
+- 缺少独立 management bind、把探针挂到业务入口、添加动态管理路由，或把下游连通性等同 readiness/liveness。
 
 停止时只交最小复现和期望业务表达，由 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.3 Skill（npm install --save-exact --ignore-scripts --no-audit --no-fund @antprofuse/saddle-skill@0.3.3），结合业务 spec 开始研发。"
+  default_prompt: "请安装 Saddle 0.3.5 Skill（npm install --save-exact --ignore-scripts --no-audit --no-fund @antprofuse/saddle-skill@0.3.5），结合业务 spec 开始研发。"

package/assets/saddle-configured.toml

@@ -1,9 +1,16 @@
 [framework]
 listen = "127.0.0.1:39101"
 
+[framework.management]
+bind = "127.0.0.1:39103"
+
 [framework.profusecontract]
 authority = "http://127.0.0.{zone}:39102"
 
+[framework.observability.logging]
+directory = "./logs"
+rotation = "daily"
+
 [secrets]
 
 [business]

package/assets/saddle-database.toml

@@ -1,9 +1,16 @@
 [framework]
 listen = "0.0.0.0:8080"
 
+[framework.management]
+bind = "0.0.0.0:8081"
+
 [framework.profusecontract]
 authority = "http://profusecontract-{zone}.internal:50051"
 
+[framework.observability.logging]
+directory = "/var/log/my-saddle-app"
+rotation = "daily"
+
 [secrets]
 databaseUrlEnv = "SADDLE_DATABASE_URL"
 

package/assets/saddle-unit.toml

@@ -1,7 +1,14 @@
 [framework]
 listen = "127.0.0.1:39101"
 
+[framework.management]
+bind = "127.0.0.1:39103"
+
 [framework.profusecontract]
 authority = "http://127.0.0.{zone}:39102"
 
+[framework.observability.logging]
+directory = "./logs"
+rotation = "daily"
+
 [secrets]

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@antprofuse/saddle-skill",
-  "version": "0.3.3",
-  "description": "Saddle 0.3.3 中文 AI Coding 研发契约与业务门禁。",
+  "version": "0.3.5",
+  "description": "Saddle 0.3.5 中文 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.3"`，然后按 [最小编程模型](programming-model.md) 编写固定 `deployment_app`、显式 `business_config`、静态 operation 声明和四参数 handler。不得直接依赖任何 Saddle 中间件 crate。
+业务 crate 精确使用 `saddle-framework = "=0.3.5"`，然后按 [最小编程模型](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.3`，或 [正式 Gate](validation.md) 失败。
+- `saddle-framework` 不是精确 `=0.3.5`，或 [正式 Gate](validation.md) 失败。
 
 停止产物只包含最小复现、缺失身份和期望业务表达，不包含中间件替代实现。

package/references/external-function-contracts.md

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

package/references/local-integration.md

@@ -38,15 +38,22 @@ target/release/my-saddle-app --config /etc/my-saddle-app/saddle.toml
 
 生产推荐传绝对配置路径。`--config saddle.toml` 与 `--config ./saddle.toml` 也合法，它们都相对进程当前工作目录定位配置文件；配置中的 `mappingDir` 和业务 `resolve_path()` 则相对 `saddle.toml` 所在目录解析。进程只接受这一对参数，不从默认位置搜索、不合并多文件、不热更新。
 
-0.3.3 部署配置只接受 `[framework.profusecontract].authority`。有业务配置的完整最小文件是 [saddle-configured.toml](../assets/saddle-configured.toml)，`business_config ();` 应用使用不含 `[business]` 的 [saddle-unit.toml](../assets/saddle-unit.toml)：
+0.3.5 部署配置只接受 `[framework.profusecontract].authority`。有业务配置的完整最小文件是 [saddle-configured.toml](../assets/saddle-configured.toml)，`business_config ();` 应用使用不含 `[business]` 的 [saddle-unit.toml](../assets/saddle-unit.toml)：
 
 ```toml
 [framework]
 listen = "127.0.0.1:39101"
 
+[framework.management]
+bind = "127.0.0.1:39103"
+
 [framework.profusecontract]
 authority = "http://127.0.0.{zone}:39102"
 
+[framework.observability.logging]
+directory = "./logs"
+rotation = "daily"
+
 [secrets]
 
 [business]
@@ -57,14 +64,25 @@ dataPath = "fixtures/data"
 字段合同：
 
 - `[framework].listen`：必填字符串、无默认值，格式为可解析的 `IP:port`，决定实际 ProfuseGW bind 地址。
+- `[framework.management].bind`：必填字符串、无默认值，格式为独立的可解析 `IP:port`。它只承载固定 `GET /live` 与 `GET /ready`，不得与业务入口共享端口。非法地址或端口冲突必须在组件 worker 启动前 fail-fast。
 - `[framework.profusecontract].authority`：必填字符串、无默认值；必须是 plaintext `http://host:port` 固定地址，或只含一个 `{zone}` 的模板。模板由同一请求的 LDC zone 在调用前解析；禁止 path、query、fragment、userinfo、凭据和其他模板。
+- `[framework.observability.logging].directory`：可选路径，默认 `./logs`；相对路径按进程当前工作目录解析。目录必须可创建并可写，否则 listener 建立前 fail-fast。
+- `[framework.observability.logging].rotation`：可选枚举，默认 `daily`，也可显式设为 `hourly`。活动文件永远是 `saddle.log`；daily 归档名为 `saddle.log.YYYY-MM-DD`，hourly 归档名为 `saddle.log.YYYY-MM-DD-HH`。
 - `[secrets].databaseUrlEnv`：仅数据库应用使用；值是必填环境变量的名称，不是连接串本身。启动时该环境变量必须存在且有效。
 - `[database].mappingDir`：仅数据库应用使用；必须和 `databaseUrlEnv` 同时出现，指向相对配置文件目录的映射目录。数据库模板见 [saddle-database.toml](../assets/saddle-database.toml)。
 - `[business]`：仅 `business_config Type;` 应用使用；字段由该强类型 `Type` 决定，没有框架默认值。字段缺失、额外或类型错误均拒绝。`business_config ();` 必须省略整节。
 
 所有配置在 listener 建立前一次解析和冻结。普通字段不能由环境变量覆盖；secret 只能通过 `[secrets]` 中明确声明的环境变量引用注入。文件不可读、未知/旧键、缺失字段、类型错误、非法 bind/authority、secret 缺失、数据库配置不完整或映射目录非法都必须 fail-fast，并返回稳定的 `saddle.process.*` 错误码。
 
-该 authority 是部署输入，不进入业务 spec、request 或 handler。TLS、鉴权、服务发现、负载均衡和生产凭据不属于 0.3.3；需要其中任一能力时立即停止，不得在业务 crate 自建 client。
+## 管理探针与退出顺序
+
+- `GET /live`：Starting、Ready、Draining 均为 HTTP 200 与 `{"live":true}`；用于判断受管进程仍在推进，不表示下游可用。
+- `GET /ready`：只有所有受管组件启动完成后的 Ready 阶段为 HTTP 200 与 `{"ready":true}`；Starting、Draining 等非 Ready 阶段为 HTTP 503 与 `{"ready":false}`。
+- SIGTERM 到达后，框架先原子清除 readiness，使负载均衡停止新流量，再等待已准入请求 drain。drain 期间 management listener 与 `/live` 保持可用；业务 listener 先停止，management listener 最后停止，进程退出后两者均不可达。
+
+这些端点是框架生命周期的只读投影，不执行数据库查询、profusecontract RPC、磁盘探测或任意业务自检。不得在 handler 中写健康状态，不得增加动态 management route。部署系统负责探针调度、失败阈值、摘流和重启策略。
+
+该 authority 是部署输入，不进入业务 spec、request 或 handler。TLS、鉴权、服务发现、负载均衡和生产凭据不属于 0.3.5；需要其中任一能力时立即停止，不得在业务 crate 自建 client。
 
 ## 联调完成条件
 
@@ -76,6 +94,6 @@ dataPath = "fixtures/data"
 4. 返回 `Completed` 或八类 `TechnicalFailure × ExecutionCertainty` 之一；业务代码显式处理，不自动重试。
 5. 受管请求只形成一个 terminal，并在写 HTTP response 前完成资源归还。
 
-结构化日志至少按正式 API 暴露的字段记录 trace/rpc、span/parent、request/call、app/interface、zone、outcome 与 duration；不得记录 payload、Cookie、session、原始 context、PII、secret 或数据库值。业务不得安装第二日志 subscriber。
+结构化日志至少按正式 API 暴露的字段记录 trace/rpc、span/parent、request/call、app/interface、zone、outcome 与 duration；不得记录 payload、Cookie、session、原始 context、PII、secret 或数据库值。业务不得安装第二日志 subscriber。`saddle.log` 是框架结构化日志；stdout/stderr 是独立进程流，运维采集时不得与文件日志拼接成同一记录源。Saddle 0.3.5 不提供按大小轮转、归档压缩或历史清理；目录容量、外部采集、压缩与保留期由业务运维环境负责。
 
 联调 harness 可托管 listener 与受控 profusecontract server；业务源码不得复制 harness、直接依赖中间件 crate或注册第二入口。

package/references/programming-model.md

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

package/references/validation.md

@@ -1,4 +1,4 @@
-# Saddle 0.3.3 Skill 正式业务 Gate
+# Saddle 0.3.5 Skill 正式业务 Gate
 
 ## 依赖与锁
 
@@ -12,7 +12,7 @@ edition = "2024"
 rust-version = "1.95"
 
 [dependencies]
-saddle-framework = "=0.3.3"
+saddle-framework = "=0.3.5"
 ```
 
 在允许访问正式 registry 的依赖准备阶段生成并提交 `Cargo.lock`。禁止 `path`、`git`、`[patch]`、source replacement 或宽松 Saddle 版本。
@@ -25,10 +25,10 @@ saddle-framework = "=0.3.3"
 npx --no-install saddle-03-gate --manifest-path Cargo.toml
 ```
 
-命令由已安装的 `@antprofuse/saddle-skill@0.3.3` 提供，不需要 Saddle 源码仓库。它会检查：
+命令由已安装的 `@antprofuse/saddle-skill@0.3.5` 提供，不需要 Saddle 源码仓库。它会检查：
 
 - facade 精确版本、禁止直接中间件依赖和 Cargo source 旁路；
-- `Cargo.lock` 中 admission、boundary、core、db、framework、macros、observability、runtime、service 九包统一精确映射 `0.3.3`；
+- `Cargo.lock` 中 admission、boundary、core、db、framework、macros、observability、runtime、service 九包统一精确映射 `0.3.5`；
 - 唯一 `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\.3"\s*(?:#.*)?$/.test(facade[1].trim())) {
-  stop("SADDLE_VERSION", '必须直接且精确依赖 saddle-framework = "=0.3.3"');
+if (!facade || !/^"=0\.3\.5"\s*(?:#.*)?$/.test(facade[1].trim())) {
+  stop("SADDLE_VERSION", '必须直接且精确依赖 saddle-framework = "=0.3.5"');
 }
 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\\.3"`).test(lock)) {
-      stop("LOCK", `Cargo.lock 未绑定 ${name} 0.3.3`);
+    if (!new RegExp(`name = "${escaped}"\\nversion = "0\\.3\\.5"`).test(lock)) {
+      stop("LOCK", `Cargo.lock 未绑定 ${name} 0.3.5`);
     }
   }
 }
@@ -80,6 +80,26 @@ if (!fs.existsSync(configPath)) {
   if (/^\s*(?:profusecontractAuthorityTemplate|profusecontractEndpointEnv|profusecontractAuthority)\s*=/m.test(config)) {
     stop("AUTHORITY_TEMPLATE", "禁止旧长键或近似 authority 配置键");
   }
+  let managementSection = "";
+  let managementBindCount = 0;
+  for (const line of config.split(/\r?\n/)) {
+    const header = line.match(/^\s*\[([^\]]+)\]\s*(?:#.*)?$/);
+    if (header) { managementSection = header[1]; continue; }
+    if (managementSection === "framework.management" && /^\s*bind\s*=/.test(line)) {
+      managementBindCount += 1;
+      if (!/^\s*bind\s*=\s*"[^"/:]+:\d+"\s*(?:#.*)?$/.test(line)) {
+        stop("MANAGEMENT", "[framework.management].bind 必须是独立 IP:port");
+      }
+    }
+  }
+  if (managementBindCount !== 1) stop("MANAGEMENT", "必须且只能配置一个 [framework.management].bind");
+  const logging = config.match(/^\s*\[framework\.observability\.logging\]\s*$([\s\S]*?)(?=^\s*\[|\s*$)/m);
+  if (logging) {
+    const directory = logging[1].match(/^\s*directory\s*=\s*"([^"]+)"\s*$/m);
+    const rotation = logging[1].match(/^\s*rotation\s*=\s*"([^"]+)"\s*$/m);
+    if (directory && directory[1].trim() === "") stop("LOGGING", "logging.directory 不得为空");
+    if (rotation && !/^(daily|hourly)$/.test(rotation[1])) stop("LOGGING", "logging.rotation 只允许 daily/hourly");
+  }
   const unitConfig = /\bbusiness_config\s+\(\)\s*;/.test(source);
   const hasBusinessTable = /^\s*\[business\]\s*$/m.test(config);
   if (unitConfig && hasBusinessTable) stop("BUSINESS_CONFIG", "business_config () 的 saddle.toml 必须省略 [business]");
@@ -175,4 +195,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.3; RUST=0.3.3; CLOSED_RESPONSE; CLOSED_CODES; FAILURE_MESSAGE_256; FAILURE_8X3; LOCKED_OFFLINE\n");
+process.stdout.write("SADDLE_03_GATE PASS; SKILL=0.3.5; RUST=0.3.5; CLOSED_RESPONSE; CLOSED_CODES; FAILURE_MESSAGE_256; FAILURE_8X3; LOCKED_OFFLINE\n");