@sema-agent/server 7.52.1 → 7.53.0

package/USAGE.md

@@ -230,7 +230,7 @@ MODEL_CODE_ROLES=default,subagent     # 不设=全中立;仅这些角色在「
 | `MEMORY_ORG_UNAVAILABLE_BACKOFF_MS` | `10000`(`[500, 600000]`) | 目录取不到之后的退避窗(只用于取数失败臂,不用于负结果) |
 | `MEMORY_DELEGATION_EVIDENCE` | 缺省(=引擎自缺省 `static-face`) | **委派臂的证据标准**(core 5.45.0 design/324)。`static-face`=今日行为:委派的 attestation 缺失/未知**且**静态工具面够得着外部内容 ⇒ 标记本会话记忆为已污染(可能性即暴露)。`attested-only`=**只**豁免那一条静态面标记,且**真的豁免了一次**才响亮通告(`engine_notice` 的 `memory.delegation_static_mark_waived`,每个 prepared leg **至多**一次);送达 `external` attestation 照标、非委派的污染类工具照标、委派工具自身被分类为污染的照标。⚠️ 通告**不是 leg 计数器**:不含委派的 leg、污染面没挂载的 leg、送达了 attestation 的委派都不发 —— 看不到通告的常态含义是「没有可豁免的事」,不是「配置坏了」。坏值**启动期拒**。**部署席 only**(TaskSpec 无同名键,任务/受治脚本无法据此放松部署)。⚠️ **已接受的代价**:`attested-only` 下**后台**子代的真实外部接触不标记本会话(其内容经 TaskOutput / 任务通知注入 / AgentTranscript 摘要回流,三条都不带 attestation);异常收尾的前台子代同理。已标记的会话永不回滚清洗。运维读面 = `GET /v1/diagnostics/wiring` 的 `memoryPosture.delegationEvidence`(`null`=本部署未设,引擎自缺省) |
 | `MEMORY_PROVENANCE` | 缺省(=引擎自缺省 `carry`) | **记忆 provenance 总开关**(core 5.46.0 design/336 §13-3)。一个会话被判为**已暴露**之后,它的记忆写怎么处置。`carry`=引擎缺省:**普通**记忆写照常提交,但带上引擎铸的 `origin` 标记(随条目走后端/同步/导出包);指令形文件(feedback / pinned / triggers / applies-when)仍被扣下隔离;派生索引的会话散文照回滚;内容扫描门原样跑(**标记不是豁免**)。`off`=design/336 之前的行为:不铸 origin 标记,已暴露会话的 harvest **一条都不收**(整体隔离候人审)。⚠️ 已提交的标记在编辑时照样带下去 —— `off` 停的是**铸**,从不抹掉已记的事实。与 `MEMORY_DELEGATION_EVIDENCE` **正交**(四种组合全合法):那一键决定**什么时候**判会话为已暴露,本键决定判了之后**对写做什么**。坏值**启动期拒**(`OFF`/`false`/`none` 这类「看起来像关掉」的写法一律不折成缺省 —— 静默回默认 = 一台自认为「暴露会话零收录」的部署其实在照常收录)。**部署席 only**(TaskSpec 无同名键,任务/受治脚本无法据此改姿态);**不冻进 checkpoint**(resume 腿跟当前部署配置走)。运维读面 = `GET /v1/diagnostics/wiring` 的 `memoryPosture.provenance`(`null`=本部署未设,引擎自缺省) |
-| `MEMORY_CAPTURE_POLICY` | 缺省(=引擎自缺省 `open`) | **记忆采集 opt-out 的部署姿态**(core 7.0.0 design/383 §3.1;server S-49/S-50)。任务可带 `memory.capture:"off"` 声明「本会话不进长期记忆」(一次性,resume 恒不采集,无反向拼写),本键决定怎么裁那条声明:`open`=按面值生效,**只有**该 principal 的显式 `false` verdict 拒(403 `memory.capture_optout_denied`),resolver 故障**放行**+披露(隐私轴 fail-safe:错拒=记了用户明说不要记的会话,不可逆);`governed`=verdict **必答**(混合车队:部分用户强制留存),故障/缺席**拒跑**(fail-closed);`capture-required`=全体声明拒(一行配置)。verdict 源 = SQL 店后端上的授权表 `memory_optout_grant`(三层折叠:per-principal 行 → 部署缺省行 → 代码缺省 allow;管理面 `GET|PUT /v1/admin/memory-optout`(PUT=部署缺省行)· `PUT|DELETE …/:principal`,operator-only,能力位 `memoryOptOutGrant`,零缓存写后即生效)。🔴 **`governed` 而无 SQL 后端 ⇒ 启动期拒启**(无源 = 每个声明都被拒且没人知道为什么;要么 `DB_BACKEND=mysql|pg` 要么改姿态)。坏值**启动期拒**(`Governed`/`required`/`off` 一律不折成缺省:两种姿态的故障极性**相反**)。**部署席 only**;**不冻进 checkpoint**。运维读面 = `GET /v1/diagnostics/wiring` 的 `memoryPosture.capturePolicy`(`null`=本部署未设)。⚠️ 远端车道(e2b/k8s)上 `capture:"off"` 本版恒 409 `config.memory_capture_unsupported`(core 的记录载体契约是同步签名,SQL 载体接不上;单机本地车道走 core 文件三件套照常生效)。用户面三口:提交键 `memoryCapture:"off"`(声明形)· `POST /v1/runs/:id/memory/capture-optout`(live 中途翻转,owner 门)· `POST /v1/sessions/:id/memory/erase`(所有者自助抹除,select 硬限本会话)。契约全文 `docs/ASSISTANT-WIRE-CONTRACT.md` §12 |
+| `MEMORY_CAPTURE_POLICY` | 缺省(=引擎自缺省 `open`) | **记忆采集 opt-out 的部署姿态**(core 7.0.0 design/383 §3.1;server S-49/S-50)。任务可带 `memory.capture:"off"` 声明「本会话不进长期记忆」(一次性,resume 恒不采集,无反向拼写),本键决定怎么裁那条声明:`open`=按面值生效,**只有**该 principal 的显式 `false` verdict 拒(403 `memory.capture_optout_denied`),resolver 故障**放行**+披露(隐私轴 fail-safe:错拒=记了用户明说不要记的会话,不可逆);`governed`=verdict **必答**(混合车队:部分用户强制留存),故障/缺席**拒跑**(fail-closed);`capture-required`=全体声明拒(一行配置)。verdict 源 = SQL 店后端上的授权表 `memory_optout_grant`(三层折叠:per-principal 行 → 部署缺省行 → 代码缺省 allow;管理面 `GET|PUT /v1/admin/memory-optout`(PUT=部署缺省行)· `PUT|DELETE …/:principal`,operator-only,能力位 `memoryOptOutGrant`,零缓存写后即生效)。🔴 **`governed` 而无 SQL 后端 ⇒ 启动期拒启**(无源 = 每个声明都被拒且没人知道为什么;要么 `DB_BACKEND=mysql|pg` 要么改姿态)。坏值**启动期拒**(`Governed`/`required`/`off` 一律不折成缺省:两种姿态的故障极性**相反**)。**部署席 only**;**不冻进 checkpoint**。运维读面 = `GET /v1/diagnostics/wiring` 的 `memoryPosture.capturePolicy`(`null`=本部署未设)。记录载体(S-53②,core 7.0.2 起):SQL 后端(`DB_BACKEND=mysql\|pg`)上记录落 `session_capture_optout` 表(跨副本存活,随中央 schema 自建零旋钮)——**远端车道(e2b/k8s)的 `capture:"off"` 声明自此真持久**;无 SQL 店的远端形仍 409 `config.memory_capture_unsupported`(诚实拒:落不进 resume 副本可见的载体就不许诺);单机本地车道走 core 文件三件套照常。用户面四口:提交键 `memoryCapture:"off"`(声明形)· `POST /v1/runs/:id/memory/capture-optout`(live 中途翻转,owner 门)· `POST /v1/sessions/:id/memory/erase`(所有者自助抹除,select 硬限本会话)· `GET /v1/sessions/:id/memory-status`(S-7 状态读面,owner 门,五可选键诚实缺席)。契约全文 `docs/ASSISTANT-WIRE-CONTRACT.md` §12 |
 
   ⚠️ **拒启动**:多租户 + 记忆面点亮 + `projects[].defaultScopes` 里有 org 键 + 目录源缺席 ⇒ 启动报错
   并点名 projectId(该部署的每个此类请求都会在 prepare 期整拒,响亮拒启动比静默全拒服务诚实)。
@@ -832,6 +832,7 @@ curl -N http://<host>:8090/v1/tasks/stream -H 'content-type: application/json' \
 | `GET /v1/agents/roster` | 后台 agent **名册**(7.29 起,需 durable background-agent store,否则 501 `capability.background_agent_store_required`):调用方自己 scope 的 `a…` 行,新→旧。行只带 `handle`/`name`/`agentType`/`status`/`spawnedAt`/`updatedAt`/`settledAt`(content-free;子代产物正文走 `GET /v1/runs/<id>/subagents/<handle>/output`)。查询:`?limit=`(1..100,默认 20)、`?before=`(上一页的 `nextBefore` 游标)、`?status=`(running\|parked\|completed\|failed\|killed)、`?session=`(按会话树窄化)、`?scope=`(**仅** service-token/单用户形;带 principal 的调用方锁定自己)。回体 `{agents,total,nextBefore?,truncated?}`;`truncated:true` = 租户行数超过名册窗(500),`total` 此时是窗内数。非属主的行**不出现也不计数**(无存在性 oracle) |
 | `GET /v1/capabilities/scenarios/<name>` | 单个场景的只读详情:工具面、提示词概览、**本部署现在跑不跑得动**(见下) |
 | `POST /v1/admin/drain` `{"reason":"…"}` | **停机因由显式声明**(7.35.0+;operator-only —— principal 须在 `OPERATOR_PRINCIPALS` 内,空名单 = 谁都不是 operator ⇒ 恒 403)。编排壳在发 SIGTERM **之前**调它;server 记进程内 `drainState.reason`,draining 期由 `/health` 的 `drainReason` 与 503 `draining` 体的 `reason` 透出(未声明 = 两面键缺席)。声明是**覆盖式**、无 TTL、随进程重启清零 ⇒ 每次停机流程内都要重新声明。`reason` 非空、trim 后 ≤256 字符,坏值 400。🔴 **写口是特权的,读口不是**:`/health` 免鉴权(见下一行)且缺省全网卡监听 —— 任何能连到这个端口的人都读得到你写的那句话。**别在 reason 里写工单号、内部主机名或任何内部标识**。 |
+| `GET /v1/config/catalog` | **配置目录自描述**(DESIGN-278 §5 S2,S-32;operator-only —— `explicitOperatorOk`,空名单=谁都不是)。逐 env 键一行:`{name, domain, type, semantics, writeLanes, effectiveLane, envHeld, envTiming, staticDefault?/derivedDefaultNote?, effectiveValue, valueClass, danger, center?{domain,path,precedence,timing,restartSlice?,domainExists,managedNow,effectiveNow}}`;顶层带 `restartSlices`(重启片闭集)与 `centerDomains`(settings-schema 现行域表)。**两轴不混**:`writeLanes`=谁能写,`effectiveLane`=现在谁在生效(env-wins 族 env 占位 ⇒ center 腿 `effectiveNow:false`)。secret 类值**永不回传**(只回在场位;opaque 回在场位+长度;URL 剥 userinfo)。完备性由仓内 AST 双向对账门执法(分母=全 `src/` 生产 env 读取点)。旋钮 `CONFIG_CATALOG_ENABLED=false`(合规部署)⇒ 路径 404 + 能力位 `configCatalog:false`。响应 `Cache-Control: no-store`。 |
 | `POST /v1/admin/config/refresh` | **配置手动刷新**(#322 批1;operator-only,与上一行同门:空 `OPERATOR_PRINCIPALS` ⇒ 恒 403)。改完中心配置 / `config.d` 之后不想等 60s 轮询就调它:触发**一次既有**的 refresh 拍(在飞则汇入那一拍,绝不并发双拍),返回时该拍已落地。200 体 `{triggered:true,targetVersion,appliedVersion}` —— 两个世代号与 `/health` 的 `configTargetVersion`/`configAppliedVersion` 同源。本部署没有配置管道(纯 env worker:既没配 `CONFIG_CENTER`、也不是 `CONFIG_PROVIDER=local`)⇒ 409 `config.refresh_unavailable` 指路,不会回一个「触发了但什么都没发生」的 200。 |
 | `GET /health` | 健康(无需鉴权)。7.37.0+ 配置管道在场时带世代账键:`configTargetVersion`(本副本**最后见到**的配置版本,身份标)、`configAppliedVersion`(最后一次真落地的版本)、`configTargetOrdinal`/`configAppliedOrdinal`(7.38.0-rc.2 起,**收货序数**——`CONFIG_PROVIDER=local` 下 version 是内容哈希不承诺序,「改了没生效」看序数对不对齐)、`configApplyStaleMs`(target≠applied **持续**时长;收敛时键缺席)—— 编排器据此摘掉「配置持续落后」的副本 |
 | `GET /metrics` | Prometheus 指标(有 token 时需带) |

package/dist/adoption/plan.d.ts

@@ -3,9 +3,9 @@ import type { AdoptionLegAction, AdoptionNotMigrated } from "./wire.js";
  * 身份值的编码。
  *  · `verbatim`       —— 列里存的就是 principal 本身;
  *  · `memory-scope`   —— core 的 v2 typed scope 键(`user:<enc>` / `proj:<enc>/…`);
- *  · `rule-owner-key` —— 规则桶键 `sha256("principal:" + principal)` 的十六进制(#154 车二的
+ *  · `rule-owner-key` —— 规则桶键 `sha256("principal:" + principal)` 的十六进制([ref] 车二的
  *    `buildRuleOwnerKey`)。身份在**hash 原像**里,所以「旧值 → 新值」这一对必须**算**出来,
- *    不能拿 principal 本身去比 —— 这正是 A-010.16 里残留计数恒报 0 的根因:旧式按明文 principal
+ *    不能拿 principal 本身去比 —— 这正是 [ref] 里残留计数恒报 0 的根因:旧式按明文 principal
  *    查 `owner_key`,那个谓词在这张表上**永远匹配不到任何一行**。
  */
 export type IdentityEncoding = "verbatim" | "memory-scope" | "rule-owner-key";
@@ -133,7 +133,7 @@ export declare const IDENTITY_WIDTH_LIMITS: readonly {
 /** memory scope 列宽(两方言 VARCHAR(190) 同宽;段编码后才是真长度)。 */
 export declare const MEMORY_SCOPE_MAX_CHARS = 190;
 /**
- * 收编身份的**键空间卫生门**(A-010.15,验真后修)。纯函数、零 I/O ⇒ 在铸任何行之前判。
+ * 收编身份的**键空间卫生门**([ref],验真后修)。纯函数、零 I/O ⇒ 在铸任何行之前判。
  *
  * ── 病 ──────────────────────────────────────────────────────────────────────────────────────────
  * `adoption_log.from_principal` 上的 UNIQUE 是 183 D7「同一个源不许被收编两次」的**数据库强形**,

package/dist/adoption/quiesce.d.ts

@@ -1,5 +1,5 @@
 /**
- * A-010.18 —— 收编弧跑动期间的**进程内静默闸**(design/183 I1「引擎先停」在本进程里的执法面)。
+ * [ref] —— 收编弧跑动期间的**进程内静默闸**([ref] I1「引擎先停」在本进程里的执法面)。
  *
  * ── 病 ──────────────────────────────────────────────────────────────────────────────────────────
  * 183 I1 写的是「发起收编之前必须先把引擎停掉」。那是一条**运维前提**,而本进程此前对它**零执法**:

package/dist/adoption/sql.d.ts

@@ -1,5 +1,5 @@
 /**
- * 收编迁移语句的**双方言文本铸造**(design/183 §4.3 form b)。
+ * 收编迁移语句的**双方言文本铸造**([ref] §4.3 form b)。
  *
  * 🔴 为什么这里是**生成**而不是像别的店那样把两句话手写并排(sql-driver.ts 的 A12 判据):那条纪律的
  * 目的是「读代码的人能一眼对比两方言」。本车的语句是从 {@link REBIND_LEGS} 计划表派生的 —— 手抄 26 条
@@ -66,7 +66,7 @@ export declare function buildBlobScanSql(dialect: SqlDialect, leg: RebindLegSpec
  */
 export declare function buildBlobWriteSql(dialect: SqlDialect, leg: RebindLegSpec): string;
 /**
- * 规则桶的**整桶改键**(A-010.16)。参数序:`[newOwnerKey, toPrincipal, oldOwnerKey]`。
+ * 规则桶的**整桶改键**([ref])。参数序:`[newOwnerKey, toPrincipal, oldOwnerKey]`。
  *
  * `owner_key = sha256("principal:" + principal)` —— 身份在**键的 hash 原像**里,与 session_policy
  * 同族。差别在于这把键**不含逐行变量**(session_policy 的原像里还有 session_id),所以不必逐行扫出来

package/dist/adoption/wire.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/183 §6 —— 收编回执的**唯一包络**(form b:纯身份重绑,数据已在 SQL、承运腿为零)。
+ * [ref] §6 —— 收编回执的**唯一包络**(form b:纯身份重绑,数据已在 SQL、承运腿为零)。
  *
  * 🔴 为什么 schema 在这里而不是散在路由里(clay 最高宪法「边界必 schema 禁裸 as-cast」):这份包络是
  * **跨仓 wire 契约** —— 下游(cli / web-admin / 围栏 E2E)要按字段名逐字钉围栏。请求体在入口 zod 解析,

package/dist/approval-ask-machine.d.ts

@@ -5,7 +5,7 @@ export declare const ASK_TERMINAL: ReadonlySet<AskState>;
 /** 批侧终态集合(无出边的 2 态)。 */
 export declare const BATCH_TERMINAL: ReadonlySet<BatchState>;
 /**
- * #229:回决理由(`AskRow.decisionNote` → `decision_note` 列)的字符上限,**两条回决腿共用一个常量**。
+ * [ref]:回决理由(`AskRow.decisionNote` → `decision_note` 列)的字符上限,**两条回决腿共用一个常量**。
  *
  * 🔴 为什么住在这个模块:两个消费者分别是 durable 腿的 zod 体(`http/routes/runs.ts` 的
  * `AskDecisionBodySchema`)与 live 腿的手写 parser(`tool-approval.ts` 的 `parseToolApprovalResponse`),
@@ -25,7 +25,7 @@ export declare function canBatchTransition(from: BatchState, to: BatchState): bo
  * ── `runId`(新增轴,封死跨 run 复用)────────────────────────────────────────────────────────────────
  * core 给 `AskRequest.sourceTaskId` 填的是 **sessionId**(`prepare-task.js:2595` 的 `askSourceIdentity`),
  * 不是 wire run id。而原轴给每条新 run 的首腿都重置 `leg=0` ⇒ 同一会话的**下一次全新提交**若撞上同一
- * `toolCallId`(design/172 定稿 §3.1 记录了部分网关按**请求编号**而非全局编号铸它)会整组重现,
+ * `toolCallId`([ref] 定稿 §3.1 记录了部分网关按**请求编号**而非全局编号铸它)会整组重现,
  * `ensureAsk` 的幂等 upsert 于是命中上一 run 已 `DECIDED(approve)` 的旧行并把它回放成 `true` ——
  * 静默复用一次早已过去的人类同意。这不是低概率碰撞,是可确定复现的路径(§10 钉 C-1)。
  * `runId` = 本 run 的 wire id(durable 腿 = 真 run uuid;adhoc 腿 = 该腿一次性 uuid):每次全新提交必是

package/dist/approval-card.d.ts

@@ -1,5 +1,5 @@
 /**
- * #151 车3(design/172 流内审批协议)—— **审批卡的 schema 属主 + 重放腿的纯函数**。
+ * [ref] 车3([ref] 流内审批协议)—— **审批卡的 schema 属主 + 重放腿的纯函数**。
  *
  * 本模块只出两样东西,**都不带 IO、不带定时器、不发帧**:
  *  1. `ApprovalCardSchema` / `ApprovalCardEnvelopeSchema` —— 落库 `approval_ask.card_json` 与一切读面
@@ -8,7 +8,7 @@
  *  2. `buildReplayFrame` / `buildApprovalPreamble` —— 行 → 帧的**纯投影**(设计稿 §5.2)。
  *
  * 🔴 为什么读面必须 `safeParse` 而不是裸 as-cast:`card_json` 是 JSON 列,驱动回读的是 `unknown`。
- * 宪法 [2704](边界必 schema / 禁裸 as-cast / schema 单一属主)在这里是硬约束——一条形状漂了的历史行
+ * 宪法 [ref](边界必 schema / 禁裸 as-cast / schema 单一属主)在这里是硬约束——一条形状漂了的历史行
  * 若被 as-cast 成 `ApprovalCard`,它会带着 `undefined` 字段一路走到 wire 上,消费端拿到的是「结构上
  * 合法、语义上空」的卡。`safeParse` 让这种行**当场落地为「跳过 + 一次 warn」**(§5.3)。
  *
@@ -137,7 +137,7 @@ export type RuleOfferProjection = z.infer<typeof RuleOfferSchema>;
  */
 export declare function copyRuleOffer(o: RuleOffer): RuleOfferProjection;
 /**
- * #253 件 G1 —— `probeCause` 的形(落库/读面共用这一份;窄读入口是 {@link readProbeCause})。
+ * [ref] 件 G1 —— `probeCause` 的形(落库/读面共用这一份;窄读入口是 {@link readProbeCause})。
  *
  * `.strict()` 与卡的其余部分同调:落进 `card_json` 的东西是**本仓投出来的**三键,不可能有未知键
  * (未知键在窄读那一层就被 zod 默认 strip 掉了)。
@@ -158,7 +158,7 @@ export type ProbeCauseProjection = z.infer<typeof ProbeCauseSchema>;
  * `AskRequest.probeCause`(以及耐久路同值的 `RiskDescriptor.probeCause`)的**边界窄读** —— 活卡帧与
  * `card_json` 的**唯一**铸造点,两面因此结构性同值(不是两处各挑一次键的巧合)。
  *
- * 🔴 姿势与 `RiskAxesEnvelopeSchema` 一致:`safeParse` 而不是裸 `as`(宪法 [2704] 边界必 schema)。
+ * 🔴 姿势与 `RiskAxesEnvelopeSchema` 一致:`safeParse` 而不是裸 `as`(宪法 [ref] 边界必 schema)。
  * 形不合 ⇒ **按缺席处置**(绝不半解出一个残缺结构上卡面);未知键被 zod 默认 strip(core additive
  * 加键不该让整只 ask 的卡面塌掉)。
  *
@@ -167,7 +167,7 @@ export type ProbeCauseProjection = z.infer<typeof ProbeCauseSchema>;
  */
 export declare function readProbeCause(req: unknown): ProbeCauseProjection | undefined;
 /**
- * #263 件 G2 —— `AskRequest.ruleEvidence` 的形(帧 / `card_json` / 读面共用;窄读入口是
+ * [ref] 件 G2 —— `AskRequest.ruleEvidence` 的形(帧 / `card_json` / 读面共用;窄读入口是
  * {@link readRuleEvidence})。三对成员各 = 值**或**五词命名缺席(`AskEvidenceAbsence`),core 引擎
  * 盖章的证据恰一在场;server 只判形转录,**永不**自铸缺席词(server 铸词 = 谎报「某一层没报」)。
  */
@@ -184,10 +184,10 @@ export declare const RuleEvidenceSchema: z.ZodObject<{
 }, z.core.$strict>;
 export type RuleEvidenceProjection = z.infer<typeof RuleEvidenceSchema>;
 /**
- * `AskRequest.ruleEvidence`(core 5.35.0 design/252 G-2)的**边界窄读**——活卡帧(`ToolApprovalFrame.
+ * `AskRequest.ruleEvidence`(core 5.35.0 [ref] G-2)的**边界窄读**——活卡帧(`ToolApprovalFrame.
  * ruleEvidence`)与 `card_json`(`buildApprovalCard`)的**唯一**铸造点,两面结构性同值(与
  * {@link readProbeCause} 同款分工)。姿势逐条:
- *  · `safeParse`,形不合 ⇒ 按缺席处置(宪法 [2704]);未知键 strip(core additive 加键不塌卡)。
+ *  · `safeParse`,形不合 ⇒ 按缺席处置(宪法 [ref]);未知键 strip(core additive 加键不塌卡)。
  *  · **恰一不变量**:一对成员(值 / 缺席词)**双在场** ⇒ 整只丢——那是矛盾证据(引擎盖章的恰一,
  *    双在场只可能是第三方 producer 的坏行),半解上卡比缺席更坏。双缺席**容忍**(老 producer 行)。
  *  · `orgRule` 内容族(管理员写的规则文本)⇒ `redactSecrets` 后截 `MAX_RULE_TEXT_CHARS`,**先脱敏
@@ -196,7 +196,7 @@ export type RuleEvidenceProjection = z.infer<typeof RuleEvidenceSchema>;
  *  · `orgRevision` / 缺席词 verbatim(数值 / 闭集词,非内容)。
  */
 export declare function readRuleEvidence(req: unknown): RuleEvidenceProjection | undefined;
-/** S-15 第五单(core #490 修②)—— `ruleOffers` 缺席因由的**闭三词集**(core d.ts 逐字;词表是闭集,
+/** [ref] 第五单(core [ref] 修②)—— `ruleOffers` 缺席因由的**闭三词集**(core d.ts 逐字;词表是闭集,
  *  未知词=形不合=按缺席处置,绝不透传一个消费端词表外的值)。 */
 export declare const RuleOffersAbsenceSchema: z.ZodEnum<{
     mandated: "mandated";
@@ -205,15 +205,15 @@ export declare const RuleOffersAbsenceSchema: z.ZodEnum<{
 }>;
 export type RuleOffersAbsence = z.infer<typeof RuleOffersAbsenceSchema>;
 /**
- * `AskRequest.ruleOffersAbsence`(core #490 修②)的**边界窄读** —— 活卡帧与 `card_json` 的唯一铸造点
+ * `AskRequest.ruleOffersAbsence`(core [ref] 修②)的**边界窄读** —— 活卡帧与 `card_json` 的唯一铸造点
  * (与 {@link readProbeCause} 同款分工),两面结构性同值。闭集词 verbatim(非内容族,零 redact);
  * 形不合/缺席 ⇒ 不铸键(缺席不是断言 —— 它同时覆盖「有 offers」与结构性无车道的门,core 契约逐字)。
  */
 export declare function readRuleOffersAbsence(req: unknown): RuleOffersAbsence | undefined;
 /**
- * design/172 §3.1 的**中性投影**——呈卡面看到的全部内容,与 wire 面的既有 `ToolApprovalFrame` 解耦。
+ * [ref] §3.1 的**中性投影**——呈卡面看到的全部内容,与 wire 面的既有 `ToolApprovalFrame` 解耦。
  *
- * `risk` 的三态形(设计稿 §14.1,core [2794] 回帖后定):`AskRequest.riskAxes?.{irreversible,egress}`
+ * `risk` 的三态形(设计稿 §14.1,core [ref] 回帖后定):`AskRequest.riskAxes?.{irreversible,egress}`
  * 是 **additive optional**,**缺席 = 引擎未判,不是「安全」**。所以两轴在这里是 `optional()`:
  * `true` / `false` / **缺席(未标注)** 三态各自可分,投影层**禁把缺席折算成 false** —— 那等于替引擎
  * 打包票。`requiresRealApproval` 是**粗粒度**安全类标记,两侧的在场契约**不同、别混**:core 侧是
@@ -397,16 +397,16 @@ export interface ApprovalCardSource {
     args?: unknown;
     argsOmitted?: boolean;
     toolCallId?: string;
-    /** [2942]/[2943]:治理来源标 —— 与 wire 帧**同一份素材**(`ToolApprovalFrame` 结构上满足本接口),
+    /** [ref]/[ref]:治理来源标 —— 与 wire 帧**同一份素材**(`ToolApprovalFrame` 结构上满足本接口),
      *  于是 live 帧 / `card_json` / 重放帧三面同源,不是三处各判一遍。 */
     governanceForced?: true;
     /** E-14:bidi 在场位 —— 与 wire 帧**同一份素材**(`ToolApprovalFrame` 结构上满足本接口)⇒ live 帧 /
      *  `approval_request` / `card_json` / 重放帧四面同源,不是四处各扫一遍。 */
     inputHasBidi?: true;
-    /** #144(core 5.25.0):被越级的持久规则原文 —— **已 redactSecrets**(发帧点做,本模块只 clip)。
+    /** [ref](core 5.25.0):被越级的持久规则原文 —— **已 redactSecrets**(发帧点做,本模块只 clip)。
      *  与 wire 帧**同一份素材**(`ToolApprovalFrame` 结构上满足本接口)⇒ live 帧 / `card_json` / 重放帧三面同源。 */
     persistedRuleShadowed?: string;
-    /** #346(core 5.58.0):引擎铸的「不再询问」OFFER(**只在规则店装配时**由发帧点填;语义与在场性契约见
+    /** [ref](core 5.58.0):引擎铸的「不再询问」OFFER(**只在规则店装配时**由发帧点填;语义与在场性契约见
      *  `ApprovalCardSchema.ruleOffers`)。与 wire 帧**同一份素材** ⇒ live 帧 / `card_json` / 重放帧
      *  三面同源。 */
     ruleOffers?: readonly RuleOffer[];
@@ -421,7 +421,7 @@ export interface ApprovalCardSource {
     };
 }
 /**
- * design/172 §3.1 的**中性投影**(设计稿 §6.2)—— 写侧的唯一铸造点。
+ * [ref] §3.1 的**中性投影**(设计稿 §6.2)—— 写侧的唯一铸造点。
  *
  * `risk` 三态(§14.1):两轴 `optional`,`true`/`false`/**缺席(未标注)** 各自可分。`req` 是 core 交来的
  * `AskRequest`(可能带、也可能不带 `riskAxes`),按 `unknown` 窄读;`requiresRealApproval` 走**独立入参**
@@ -434,7 +434,7 @@ export declare function buildApprovalCard(source: ApprovalCardSource, req: unkno
 /** 落库信封的纯构造(写侧;读侧 = `ApprovalCardEnvelopeSchema.safeParse`,**同一个 schema**)。 */
 export declare function buildApprovalCardEnvelope(approvalId: string, card: ApprovalCard): ApprovalCardEnvelope;
 /**
- * design/172 §3.1 的呈卡帧(设计稿 §4.1)—— **live 铸造**形(重放形见 {@link buildReplayFrame},
+ * [ref] §3.1 的呈卡帧(设计稿 §4.1)—— **live 铸造**形(重放形见 {@link buildReplayFrame},
  * 两者投的是同一种帧,区别只在 `card` 的来源:这里是刚投影出来的,那里是从行上回读的)。
  *
  * `expiresAtMs` **入参**而不是在这里现算:同一只 ask 的窗**只铸一次**(§3.1「永不赋新 deadline」),
@@ -450,7 +450,7 @@ export declare function buildApprovalRequestFrame(input: {
     nowMs: number;
 }): ApprovalRequestFrame;
 /**
- * design/172 §3.1 的呈卡帧(设计稿 §4.1 逐字)。
+ * [ref] §3.1 的呈卡帧(设计稿 §4.1 逐字)。
  *
  * 与既有 `tool_approval` 帧是**并行加帧、不替换**(§4.2):存量壳只认旧帧,新帧是闭集加员;两帧同带
  * `approvalId`,消费端据它去重。
@@ -481,7 +481,7 @@ export interface ApprovalRequestFrame {
     approvalId: string;
 }
 /**
- * design/172 §3.3 的**批级撤卡帧**(车6;设计稿 §3 逐字)。
+ * [ref] §3.3 的**批级撤卡帧**(车6;设计稿 §3 逐字)。
  *
  * 语义:本批里 `askIds` 列出的那些卡**已经作废**,壳按白名单清掉它们(未知 `reason` 按通用撤卡处理)。
  * 已 `DECIDED` 的兄弟**永远不在** `askIds` 里(§3.0「已 DECIDED 不受撤卡影响」)——名单恒等于持久层

package/dist/approval-deny-reasons.d.ts

@@ -1,5 +1,5 @@
 /**
- * 流内审批协议(design/172 §3.0 对账三约束)的**终态归因词表** —— #151 车5。
+ * 流内审批协议([ref] §3.0 对账三约束)的**终态归因词表** —— [ref] 车5。
  *
  * 两组常量、**两个不相交的值域**(车5 §8 C-1 裁定,与车4 F34 同向):
  *  - {@link DENY_REASONS} —— `DENIED` 终态的归因。v1 是**单员闭集**:`routing_failure_fail_closed`。

package/dist/approval-hmac.d.ts

@@ -7,7 +7,7 @@ import type { ApprovalHmacKey } from "./auth-keys.js";
  * the unexposed resume credential the client can never see (it resumes by sessionId), so a checkpointToken-bound
  * message would be uncomputable by the signer.
  *
- * ── `reason` 入签(三方裁 (a):cli [1797] / core [1801]§四 / server;clay「干净切」令 [1802])─────────────
+ * ── `reason` 入签(三方裁 (a):cli [ref] / core [ref]§四 / server;clay「干净切」令 [ref])─────────────
  * `reason` 是随决定落账的自由文本(审计面的一部分)。它此前**在信封之外** ⇒ 能改线上字节的一方(反代 /
  * 被接管的客户端 —— 正是 HMAC 要防的风险模型)可以在操作员批准同一个动作的那次决定里,把落账理由换成
  * 别的:动作没变,**审计记录变了**。三方裁定纳入签名载荷,不留 `reasonUnsigned` 宽限代际(未上生产)。
@@ -48,7 +48,7 @@ export declare function approvalHmacMessage(env: ApprovalEnvelope): string;
  *  取 4096 与本仓既有的人写文本上限同档(`MAX_ELICIT_MESSAGE_CHARS` / `MAX_AGENT_TEXT_CHARS`)。 */
 export declare const MAX_APPROVAL_REASON_CHARS = 4096;
 /**
- * design/80 D-G: verify the INTEGRITY of an approval-decision envelope. Returns true iff `mac` (hex) equals
+ * [ref] D-G: verify the INTEGRITY of an approval-decision envelope. Returns true iff `mac` (hex) equals
  * HMAC-SHA256(canonical-envelope) under ANY key in the set — the `kid`-hinted key first, then the rest (so a MAC
  * signed with a key being rotated out still verifies during the overlap). `timingSafeEqual` avoids a timing
  * oracle. An empty key-set ⇒ false (caller decides whether absence = skip-because-inactive or fail-closed).

package/dist/approval-reconciler.d.ts

@@ -1,5 +1,5 @@
 /**
- * 流内审批协议(design/172 §3.0)的**对账收敛器** —— #151 车5。
+ * 流内审批协议([ref] §3.0)的**对账收敛器** —— [ref] 车5。
  *
  * 职责一句话:把 `PARKING`(窗到期中选、正在转投递面)这个**唯一的非终态中间态**收敛成
  * `PARKED | DENIED | VOID`,并在崩溃后补位那些没人打 expire 的孤儿 `STREAM_PENDING` 行。
@@ -11,7 +11,7 @@
  *     那一维读成等式会让合法 park 几乎命不中。逐字实现在 {@link classifyGateMatch};判据的**唯一
  *     属主**是那个函数的头注,这里只列纲要,细则(祖先层 fold 否决、多候选取舍)不在此复述。
  *     🔴 两处易错,写在这里免得下一个人照旧口径改码:
- *      · 承重的第一维是 **`sourceTaskId`**(#168 件1,黑板 [2897]③①)——`sessionId` **不进身份等式**
+ *      · 承重的第一维是 **`sourceTaskId`**([ref] 件1,黑板 [ref]③①)——`sessionId` **不进身份等式**
  *        (委派子代的 ask 落行记的是投递上下文的根会话,park 却发生在子代自己的 sessionId 上,只按
  *        session 等值会张冠李戴),它在这一层只是读口 `findCheckpointCandidatesForAsk` 的入参。
  *        ⚠️ 但别据此把它当无用键:{@link isAncestorFoldMint} 的祖先层否决判的正是
@@ -96,9 +96,9 @@ export interface ReconcileInput {
     allowBind?: boolean;
 }
 /**
- * 判据 1 的一次**分类**结果(#168 件1;纯数据)。
+ * 判据 1 的一次**分类**结果([ref] 件1;纯数据)。
  *
- * 为什么不只回「命中 / 不命中」:黑板 [2897]/[2898] 两帖把「两侧摘要不等」拆成了**四种成因**,处置各不
+ * 为什么不只回「命中 / 不命中」:黑板 [ref]/[ref] 两帖把「两侧摘要不等」拆成了**四种成因**,处置各不
  * 相同 —— 只有一种是真的「两个值不一样」,其余三种根本只有一侧(或零侧)铸过摘要。压成同一个
  * `undefined` 会让运维看着一条「不匹配」去查一件从没发生过的事。
  */
@@ -108,12 +108,12 @@ export type GateMatchOutcome =
     kind: "match";
     candidate: CheckpointAskCandidate;
 }
-/** 祖先冻结 approver 层 fold 中途的那一次铸造:其后还可能有 rewrite,两侧**本不该等**([2912]③)。 */
+/** 祖先冻结 approver 层 fold 中途的那一次铸造:其后还可能有 rewrite,两侧**本不该等**([ref]③)。 */
  | {
     kind: "ancestor_fold_mint";
 }
 /**
- * 单铸路径 —— **不是** mismatch([2897]③②):
+ * 单铸路径 —— **不是** mismatch([ref]③②):
  *  - `ask_only`：纯 sync 腿(同轮结算,永无 checkpoint 行)/ 再审批链(2 次 ask 铸造、0 次 checkpoint);
  *  - `checkpoint_only`：durable-first 干净 args(ask 侧 0 次铸造,checkpoint 铸出);
  *  - `neither`：字符串模式 `onAsk` + durableApproval(两侧都没铸)。
@@ -124,7 +124,7 @@ export type GateMatchOutcome =
 }
 /**
  * 三元组身份对得上、两侧摘要都在场却**不等** —— 唯一的真 mismatch。成因是**部署自伤**而非不当调用
- * ([2897]②:hook/policy 把自己仍持引用的活对象在两铸点之间改了,或每读返回新值的有状态 getter)。
+ * ([ref]②:hook/policy 把自己仍持引用的活对象在两铸点之间改了,或每读返回新值的有状态 getter)。
  * 处置 = 留痕不拒:计数 + 一条 warn,行照 ②③④⑤ 走(判据 1 不命中的既有 fail-safe 路径不变)。
  */
  | {
@@ -136,7 +136,7 @@ export type GateMatchOutcome =
     kind: "identity_miss";
 };
 /**
- * 这只 ask 是不是**祖先冻结 approver 层**在委派 fold 中途铸的那一份(#168 件1④,黑板 [2912]③)。
+ * 这只 ask 是不是**祖先冻结 approver 层**在委派 fold 中途铸的那一份([ref] 件1④,黑板 [ref]③)。
  *
  * 判别位是**产品自己发的**,不是外部约定:core 的 `withDelegationProvenance` 只包**子代自己那条缝**,
  * 祖先层那次走未包装的原函数 ⇒ `AskRequest.delegation` 在不在,就是「这一份是哪一层发的」。落到行上,
@@ -152,14 +152,14 @@ export type GateMatchOutcome =
  */
 export declare function isAncestorFoldMint(ask: AskRow): boolean;
 /**
- * 判据 1 的**硬谓词**(纯函数,§9 C2 + §8 D-2;#168 件1 起返回分类而不是布尔)。
+ * 判据 1 的**硬谓词**(纯函数,§9 C2 + §8 D-2;[ref] 件1 起返回分类而不是布尔)。
  *
  * 逐条:
  *  - 祖先层 fold 中途铸点 ⇒ 直接退出(见 {@link isAncestorFoldMint});
  *  - `unparseable` 候选直接出局(读不出 ⇒ 不确定 ⇒ 不命中);
  *  - **身份三元组**:`sourceTaskId` **相等** ∧ `toolCallId` **相等** ∧ 时间维的**因果下界**
  *    `candidate.createdAtMs >= ask.createdAtMs`(⚠️ 第三维**不是等式** —— 把它读成等式会让合法的 park
- *    几乎命不中,行随后落 ②③⑤ 被误判)—— 摘要**不是**身份([2897]③①:
+ *    几乎命不中,行随后落 ②③⑤ 被误判)—— 摘要**不是**身份([ref]③①:
  *    同 args 的两次调用摘要天然相同,只靠摘要硬相等会把第二次投递并进第一次的票);任一维在候选侧
  *    缺席(读不出的 blob 没有 `sourceTaskId`)即身份不成立;
  *  - **hash 双等**:两侧都必须在场且相等,任一侧缺席一律不 bind;禁「能取到时才比」的可选谓词。
@@ -187,7 +187,7 @@ export interface ReconcileStats {
      * 于是判据 1 恒不命中、PARKING 行只会落 ②③④⑤。这个计数把那片盲区变成**可观测量**而不是静默行为
      * (下面每 tick 一条 warn),并被写成协议开关翻真的前置判据之一。
      *
-     * ✅ **该前置判据已销账**(#164 翻真验证车,2026-08-07 亲验 core 5.15.0):字段在
+     * ✅ **该前置判据已销账**([ref] 翻真验证车,2026-08-07 亲验 core 5.15.0):字段在
      * `core/tool-policy.d.ts:83`,真码 `core/tool-policy.js:610` 每一只 ask 都填 ——
      * 判据 1 现在会真命中(钉:test/stream-approval-on-e2e.test.ts 件4 末条,同构两行只差 hash 一位,
      * 有 hash 的 bind 成 PARKED、无 hash 的进本计数)。
@@ -198,7 +198,7 @@ export interface ReconcileStats {
      */
     unmatchableNoHash: number;
     /**
-     * 🔴 判据 1 的**真** mismatch 行数(#168 件1③,黑板 [2897]②):三元组身份对得上、两侧摘要都在场却不等。
+     * 🔴 判据 1 的**真** mismatch 行数([ref] 件1③,黑板 [ref]②):三元组身份对得上、两侧摘要都在场却不等。
      *
      * 成因裁定 = **部署自伤,不是不当调用**:core 已证在真正产生两次铸造的弧上摘要恒等,两条分歧路径都要求
      * 部署自己交出活对象(hook/policy 返回己持引用后在两铸点之间突变;或每读返回新值的有状态 getter)。
@@ -207,7 +207,7 @@ export interface ReconcileStats {
      */
     hashMismatch: number;
     /**
-     * 单铸路径行数(#168 件1②)——**不计入** {@link hashMismatch}。三形分列:
+     * 单铸路径行数([ref] 件1②)——**不计入** {@link hashMismatch}。三形分列:
      *  `askOnly` 纯 sync / 再审批链;`checkpointOnly` durable-first 干净 args;`neither` 两侧都没铸。
      *  它们都是**结构上只有一侧(或零侧)有摘要**,把它们读成「比过了、不匹配」是把没发生的事记成异常。
      */
@@ -215,7 +215,7 @@ export interface ReconcileStats {
     singleMintCheckpointOnly: number;
     singleMintNeither: number;
     /**
-     * 祖先冻结 approver 层 fold 中途铸点(#168 件1④):退出硬相等,不是 mismatch 也不是单铸。
+     * 祖先冻结 approver 层 fold 中途铸点([ref] 件1④):退出硬相等,不是 mismatch 也不是单铸。
      *
      * 🔴 **今天恒零,而且是结构性的**(扫描P2,2026-08-12 亲读验真;登记而不假称已解):读口
      * `findCheckpointCandidatesForAsk` 按 `session_id = ask.sessionId` 查,`session_id` 列写的是

package/dist/approval.d.ts

@@ -1,5 +1,5 @@
 /**
- * Human-in-the-loop approval gate (F4) — durable-only since 5.0.0 ([2354]/[2356] A-5:OA 轮询车道
+ * Human-in-the-loop approval gate (F4) — durable-only since 5.0.0 ([ref]/[ref] A-5:OA 轮询车道
  * (createOaApprovalPolicy + ApprovalStore pending 行轮询)整体退役;唯一门形 = durable checkpoint
  * suspend/resume,见 createDurableAskPolicy 与 /v1/approvals 的 checkpointStore 腿)。
  */
@@ -37,7 +37,7 @@ export declare function assertGateIntentServiceable(config: {
     durableApproval: boolean;
 }, checkpointStorePresent: boolean): void;
 /**
- * Durable approval policy (core 1.67 / design/45): returns three-state **`ask`** for gated tools instead of
+ * Durable approval policy (core 1.67 / [ref]): returns three-state **`ask`** for gated tools instead of
  * polling. With `TaskSpec.durableApproval` set + a `checkpointStore` on the Runner, core turns that `ask` into
  * a **suspend** (persists a checkpoint, ends `status:"suspended"`) — no held connection, resumable on any
  * replica. (The former poll-lane

package/dist/audit.d.ts

@@ -3,7 +3,7 @@ import type { Pool as PgPool } from "pg";
 /**
  * Audit view of a session = its **current context** (the live messages + the last compaction's
  * summary), i.e. the floor-bounded window — never the full raw transcript. This matches the
- * deployment decision that audit/回溯 needs "current + summary" (design/08); the full `session_event`
+ * deployment decision that audit/回溯 needs "current + summary" ([ref]); the full `session_event`
  * log remains available as a separate cold-forensic query if ever needed.
  */
 export interface SessionAudit {
@@ -18,8 +18,8 @@ export interface SessionAudit {
     } | null;
     /** Current model context: prior messages with older history collapsed into a summary message. */
     messages: unknown[];
-    /** [1023]① web 观测切片 B: the session's prompt-epoch pin, core contract verbatim (core 1.304
-     *  `session.getPromptEpoch()` — first-class `prompt_epoch` entry, compaction restatement, RB-14 anchor
+    /** [ref]① web 观测切片 B: the session's prompt-epoch pin, core contract verbatim (core 1.304
+     *  `session.getPromptEpoch()` — first-class `prompt_epoch` entry, compaction restatement, [ref] anchor
      *  all inside core). Additive; a pre-epoch session omits the key entirely (undefined). */
     promptEpoch?: {
         epoch: number;
@@ -57,6 +57,6 @@ export declare function windowMessages(messages: unknown[], opts: {
  *  string fields of content parts — the shapes core emits; anything else passes through untouched). A capped
  *  message gains `truncated: true` (message level — the web renders an expand affordance and refetches that
  *  one message at full size). Pure/copy-on-write: uncapped messages keep their original reference.
- *  [1075]①:超预算时引擎注入块(INJECTED_BLOCK_RE 闭集)优先整段让位,用户正文最后截。 */
+ *  [ref]①:超预算时引擎注入块(INJECTED_BLOCK_RE 闭集)优先整段让位,用户正文最后截。 */
 export declare function truncateMessageBlobs(messages: unknown[], capBytes: number): unknown[];
 //# sourceMappingURL=audit.d.ts.map

package/dist/auth-keys.d.ts

@@ -1,11 +1,11 @@
 /**
- * AUTH KEY-SET parsing (design/158 A4) — the env→key-set decoders for the two D-G credential planes, moved VERBATIM
+ * AUTH KEY-SET parsing ([ref] A4) — the env→key-set decoders for the two D-G credential planes, moved VERBATIM
  * out of security.ts: {@link parseApprovalHmacKeys} (APPROVAL_HMAC_KEYS — the rotating HMAC secret set, decision
  * INTEGRITY) and {@link parsePrincipalJwks} (PRINCIPAL_JWT_PUBKEYS — the rotating issuer public-key set, principal
  * IDENTITY). config.ts consumes ONLY these two functions + their row types at env-load time, and importing them from
  * security.ts made the base config layer value-depend on the whole 55KiB auth module (lens2 §F). This file is a pure
  * leaf (JSON.parse + shape filters, zero repo imports); the VERIFIERS that consume the parsed key-sets
- * (verifyApprovalHmac / verifyPrincipalJwt) stay in ./approval-hmac.ts and ./principal-jwt.ts; consumers import these four names from HERE ([2354] 兼容面全清).
+ * (verifyApprovalHmac / verifyPrincipalJwt) stay in ./approval-hmac.ts and ./principal-jwt.ts; consumers import these four names from HERE ([ref] 兼容面全清).
  */
 /** One key in the rotating HMAC key-set. `kid` lets the verifier pick the signing key (or fall back to trying the
  *  whole set); `status` lets sema-registry rotate without breaking in-flight approvals: `active` = sign + verify,
@@ -16,7 +16,7 @@ export interface ApprovalHmacKey {
     status?: "active" | "retiring";
 }
 /**
- * #210(黑板 [3425]③「坏值禁静默回默认」)—— 一条**被丢弃**的 key-set 条目的诊断。
+ * [ref](黑板 [ref]③「坏值禁静默回默认」)—— 一条**被丢弃**的 key-set 条目的诊断。
  *
  * 为什么两个解析器要新长一个必填出口:它们的 fail-closed 方向是对的(坏形 ⇒ `[]` ⇒ 门关着),但**丢弃
  * 本身此前零留痕**。真场景:轮换新钥时手滑把 `key` 写成 `secret`,这一条被 `filter` 悄悄滤掉,进程照常
@@ -32,13 +32,13 @@ export interface KeySetRejection {
     reason: string;
 }
 /**
- * 诊断出口**必填**(不是 `onReject?:`)。可选回调 = 「没人接就等于错误蒸发」,正是本仓 #191 静默降级
+ * 诊断出口**必填**(不是 `onReject?:`)。可选回调 = 「没人接就等于错误蒸发」,正是本仓 [ref] 静默降级
  * 门数的 SHAPE B;这两条钥又都在凭据轴上,所以由**类型**逼每个调用点当场表态,而不是靠人记得去接。
  */
 export type OnKeySetRejection = (rejection: KeySetRejection) => void;
 /** Parse APPROVAL_HMAC_KEYS — a sema-registry-managed, rotating key-SET, as a JSON array of {kid,key,status}.
  *  Empty / unset / unparseable ⇒ `[]` ⇒ HMAC verification is OFF (D-G inactive; back-compat, BFF-only door).
- *  fail-closed 语义与改前**逐字相同**;新增的只有 `onReject`(#210:每一条被丢弃的条目都要说出来)。 */
+ *  fail-closed 语义与改前**逐字相同**;新增的只有 `onReject`([ref]:每一条被丢弃的条目都要说出来)。 */
 export declare function parseApprovalHmacKeys(raw: string | undefined, onReject: OnKeySetRejection): ApprovalHmacKey[];
 /** One issuer public key in the rotating principal JWKS (mirror of the HMAC key-set rotation discipline). The
  *  `alg` is PINNED per key — the JWT header's alg MUST match it, killing alg-confusion (`none`, HS-with-the-pubkey).
@@ -51,7 +51,7 @@ export interface PrincipalJwtKey {
 }
 /** Parse PRINCIPAL_JWT_PUBKEYS — a JSON array of {kid,alg,key,status}. Empty/unset/malformed ⇒ [] ⇒ no trust
  *  anchor ⇒ the direct door cannot open (D-G inactive). Each entry must have kid + a pinned alg + a PEM key.
- *  #210: fail-closed 语义逐字不变,但每条被丢弃的条目经 `onReject` 报出(序号 + 缺陷字段名,不带值)——
+ *  [ref]: fail-closed 语义逐字不变,但每条被丢弃的条目经 `onReject` 报出(序号 + 缺陷字段名,不带值)——
  *  这里的 key 是**公**钥,但 reason 仍只说字段名,与 HMAC 那条同形(两个出口的口径不该分岔)。 */
 export declare function parsePrincipalJwks(raw: string | undefined, onReject: OnKeySetRejection): PrincipalJwtKey[];
 //# sourceMappingURL=auth-keys.d.ts.map

package/dist/bench/l8/artifact.d.ts

@@ -1,5 +1,5 @@
 /**
- * L8 G-c artifact — the signed deploy-authenticity evidence the design/93 §5.2 G-c aggregator requires
+ * L8 G-c artifact — the signed deploy-authenticity evidence the [ref] §5.2 G-c aggregator requires
  * (SPEC-RSI-L7-L8 §A.3). The artifact is canonical-JSON serialized and ed25519-signed so the GO aggregator can
  * verify it was produced by a real L8 run and link it to a commit + adapter build + boundary.
  *
@@ -88,6 +88,11 @@ export interface BuildArtifactMeta {
  * Canonical JSON: object keys sorted recursively, no insignificant whitespace, arrays preserve order. Stable
  * across re-serialization so the signature/contentHash are deterministic. Rejects non-finite numbers (NaN/Inf
  * would serialize as `null` and silently corrupt the canonical form).
+ *
+ * [ref](2026-08-31)起 = 本仓共享件 `src/canonical-json.ts#canonicalJsonStrict` 的再导出:校验集/错误文案与
+ * 合并前本文件的 `serialize` 逐字同(`/non-finite/` 等钉在 test/l8-deploy-contract.test.ts),通过校验的输入域上
+ * 输出字节与合并前逐字节相同(test/canonical-json-golden.test.ts,基线 cb543ad 的 contentHash 落盘)。
+ * 签名/contentHash 的载荷语义一个字节不动。
  */
 export declare function canonicalJson(value: unknown): string;
 /** sha256 of the canonical body — links the signature to the exact body bytes. */

package/dist/bench/l8/artifact.js

@@ -1,33 +1,8 @@
 import { createPrivateKey, createPublicKey, sign as cryptoSign, verify as cryptoVerify } from "node:crypto";
 import { L8_SCHEMA_VERSION } from "./escape.js";
+import { canonicalJsonStrict } from "../../canonical-json.js";
 export function canonicalJson(value) {
-    return serialize(value);
-}
-function serialize(v) {
-    if (v === null)
-        return "null";
-    const t = typeof v;
-    if (t === "number") {
-        if (!Number.isFinite(v))
-            throw new Error("canonicalJson: non-finite number is not serializable");
-        return JSON.stringify(v);
-    }
-    if (t === "boolean" || t === "string")
-        return JSON.stringify(v);
-    if (t === "undefined" || t === "function")
-        throw new Error(`canonicalJson: ${t} is not serializable`);
-    if (Array.isArray(v))
-        return `[${v.map((x) => serialize(x === undefined ? null : x)).join(",")}]`;
-    if (t === "object") {
-        const obj = v;
-        const keys = Object.keys(obj)
-            .filter((k) => obj[k] !== undefined)
-            .sort();
-        return `{${keys.map((k) => `${JSON.stringify(k)}:${serialize(obj[k])}`).join(",")}}`;
-    }
-    if (t === "bigint")
-        throw new Error("canonicalJson: bigint is not serializable");
-    throw new Error(`canonicalJson: unsupported type ${t}`);
+    return canonicalJsonStrict(value);
 }
 import { createHash } from "node:crypto";
 function signableBody(a) {

package/dist/bench/l8/escape.d.ts

@@ -1,5 +1,5 @@
 /**
- * L8 escape vocabulary — the `l8.v1` schema (design/93 §2, SPEC-RSI-L7-L8 §A.3).
+ * L8 escape vocabulary — the `l8.v1` schema ([ref] §2, SPEC-RSI-L7-L8 §A.3).
  *
  * 🔴 WHY A SEPARATE SCHEMA (do NOT silently reuse core's L6 union):
  * core's L6 bench (`sema-core/test/rsi-l6-bench.test.ts:92-94`, VERIFIED) defines
@@ -21,7 +21,7 @@ export declare const L8_SCHEMA_VERSION: "l8.v1";
 export type L8SchemaVersion = typeof L8_SCHEMA_VERSION;
 /**
  * Escape kinds. E1 / E2-readable / E2-callable mirror core's L6 union EXACTLY (so an aggregator can fold them);
- * E3 is the L8-only deploy/side-effect kind core's L6 vocab lacks (design/93 §2 row E3).
+ * E3 is the L8-only deploy/side-effect kind core's L6 vocab lacks ([ref] §2 row E3).
  */
 export type L8EscapeKind = "E1" | "E2-readable" | "E2-callable" | "E3";
 /**
@@ -39,7 +39,7 @@ export interface L8Escape {
     detail: string;
 }
 /**
- * 🔴 OPEN QUESTION (cross-team, do NOT resolve unilaterally — SPEC §A.3 / design/93 open-questions):
+ * 🔴 OPEN QUESTION (cross-team, do NOT resolve unilaterally — SPEC §A.3 / [ref] open-questions):
  * whether the GO aggregator accepts `l8.v1` + ed25519 verification + an E3/deploy lane, OR core extends its
  * L6 `EscapeKind`/`Classification` instead. Until confirmed, this constant records the unaligned state so a
  * reader (and a test) cannot mistake "L8 ships its own schema" for "the vocabularies are already merged".

package/dist/bench/l8/index.d.ts

@@ -1,5 +1,5 @@
 /**
- * L8 deploy-contract authenticity bench (RSI L8, design/93 §5.2 G-c, SPEC-RSI-L7-L8 §A).
+ * L8 deploy-contract authenticity bench (RSI L8, [ref] §5.2 G-c, SPEC-RSI-L7-L8 §A).
  *
  * NO-DEPENDENCY scaffold: the probe matrix + the l8.v1 escape schema + the signed G-c artifact (build/sign/verify)
  * + the probe HARNESS that runs the BUILDABLE probes (P0 runtime-verification, P2 isolation) and emits HONEST

package/dist/bench/s1/arms.d.ts

@@ -4,7 +4,7 @@
  * repair + steering + plan_review; TEAM = runLeaderTask). Each arm emits ONE conformant s1.v1 RawRow per
  * (task × arm × seed) — RawRow === core RunRecord (row.ts).
  *
- * 🔴 THE s1.v1 PRODUCER OBLIGATIONS (design/95):
+ * 🔴 THE s1.v1 PRODUCER OBLIGATIONS ([ref]):
  *  - `arm` is the LOWERCASE wire tag (armTag). `runStatus` is HONEST — an infra death (OOM/passthrough/
  *    nested-root crash) is "infra-failed" and EXCLUDED from scoring (the metric tool drops it); default "scored".
  *  - `oracle` = the 4 OBJECTIVE booleans (the measure). `delivery.withheld` is ONLY ever true for SUP/TEAM —
@@ -139,13 +139,13 @@ export declare function classifyRunStatus(input: {
 /**
  * Capture the s1.v1 `stats` subset directly off a core `TaskResult.stats` (costBreakdown C1 + humanReview C2).
  * Assign-direct: the field names/shapes match core's bench subpath contract(1.110.0 首发;现行 core 已扩 humanReview.gates[toolName?/toolArg?],service 只读子集向后兼容——L17)— no transformation, no pre-composed scalar.
- * C2 (human seconds) is NEVER folded into C1 (token µUSD) — three separate axes (design/89 §2.1).
+ * C2 (human seconds) is NEVER folded into C1 (token µUSD) — three separate axes ([ref] §2.1).
  */
 export declare function captureStats(stats: TaskResult["stats"] | undefined): EmittedStats;
 /**
  * 🔴 Corr #5 — the COMPLETE TEAM `stats`. Σ(worker stats.costBreakdown + humanReview) PLUS the merge legs:
  * `repair?.costUsd` and `conflictResolverCostUsd` (the resolver cost was just un-dropped in merge.ts). All three
- * legs, or TEAM C1 is undercounted (design/89's #1 confound). costUsd (float USD) → µUSD into llmRoot.
+ * legs, or TEAM C1 is undercounted ([ref]'s #1 confound). costUsd (float USD) → µUSD into llmRoot.
  */
 export declare function captureTeamStats(reports: WorkerReport[], merge: MergeResult | undefined): EmittedStats;
 /**