feat(hall): Phase 3-C-1 把 A1-A4 反循环兜底抽成可插拔 policy 链

[xiaolinfrank]

Summary

Phase 3-C-1: 把 A1-A4 反循环兜底从 collaboration-hall-orchestrator.ts 散落的 inline 检查抽到 hall-policies.ts 的可插拔纯函数链——行为完全不变，为 P3-C-2（detectClarifyingQuestion / dropResolvedTriggers / enforceBackPingBudget）打地基。

针对 issue #9 第 4 项 / issue #13 P3-C 系列。

What landed

• src/runtime/hall-policies.ts（新）

  • 常量：OBSERVE_SILENT_MARKER / MAX_AUTO_CHAIN_DEPTH=5 / AUTO_ROUND_BLOCK_THRESHOLD=6
  • 类型：PreDispatchVerdict / PostDispatchVerdict（带 policyId 让 caller 区分侧效）
  • 4 个 policy 纯函数：
    • enforceAutoRoundLimit（A2）—— per-(card, agent) 计数器命中 6 时 deny
    • enforceMaxAutoChainDepth —— chainDepth > 5 时 deny
    • excludeTriggerAuthor（A3）—— 候选 == triggerAuthor 时 deny
    • observeSilentMarker（A4）—— 空 / 以 OBSERVE_SILENT 开头时 drop
  • 链组合：HALL_PER_TARGET_GATE_POLICIES（per-target gate, A2 优先）/ HALL_CHAIN_FILTER_POLICIES（chain candidate 过滤）/ HALL_DEFAULT_POST_DISPATCH_POLICIES
  • 链 runner：runPreDispatchPolicies / runPostDispatchPolicies（顺序，第一个 deny/drop 短路）
  • 状态帮手：buildOperatorTurnStatePatch（A1 seed + A2 reset 合并成一个 patch）/ incrementAutoRoundCounter（不可变返回）

• src/runtime/collaboration-hall-orchestrator.ts

  • 删除 inline 常量定义，改从 hall-policies 导入
  • routeAndDispatchHallMessage A1+A2-reset：22 行 → 8 行调 buildOperatorTurnStatePatch
  • dispatchHallAgentReply per-target gate：先 incrementAutoRoundCounter 再 runPreDispatchPolicies(HALL_PER_TARGET_GATE_POLICIES)；deny 时按 policyId 分发侧效（仅 A2 触发 handleAutoRoundBlockedThreshold）
  • persist 失败时把本地 rounds 反映到 taskCard，policy 链照样读到 incremented counter（保留旧 race-with-persistence 行为）
  • 三处 OBSERVE_SILENT silence check（observer / per-target / wake-mention initiator）→ runPostDispatchPolicies
  • 两处 chain candidate filter（observer + auto-chain）→ runPreDispatchPolicies(HALL_CHAIN_FILTER_POLICIES)
  • 保留 if (chainDepth < MAX_AUTO_CHAIN_DEPTH) 外层早出（避免白白拉 thread messages）

• test/hall-policies.test.ts（新，38 个 case）

  • 4 个 policy 纯函数的所有 verdict 分支（含 ?? vs || 边界）
  • 链 runner 的空链 / 短路 / 顺序保留
  • 默认链组合行为 + 优先级（A2 在 PER_TARGET 链最先以保留 auto-round-blocked 通知）
  • buildOperatorTurnStatePatch 5 个分支 / incrementAutoRoundCounter 不可变性

设计要点

• 行为不变是硬约束：所有 policy 都是纯函数，对应的输入/输出与原 inline 检查 1:1 对齐。每条 policy 注释列出对应的原行号区段
• policyId 让 caller 区分侧效：A2 deny 时 caller 调 handleAutoRoundBlockedThreshold；其他 deny 静默丢弃。精确保留旧行为——老代码只在 A2 命中时发那条 system 消息
• policy 链的两个站点：per-target gate（已 increment, A2 主战场）和 chain filter（未 increment, A3 + max-depth 主战场）。两个链各自的组合刻意把 A2-limit 留在 gate 链、把 max-depth + A3 留在 filter 链——避免 chain filter 误用 A2 把候选静默删掉而错过 auto-round-blocked 通知
• 未来 P3-C-2 的入口：新 policy（dropResolvedTriggers / enforceBackPingBudget / detectClarifyingQuestion）只需 push 进 HALL_CHAIN_FILTER_POLICIES（或 gate 链），不需要再改 orchestrator

Test plan

• npm run build 干净
• test/hall-policies.test.ts 38/38 全过
• hall-loop-prevention + collaboration-hall-orchestrator + hall-policies + hall-mailbox + hall-scheduler small batch：76 过 2 fail；2 fail 全是 P3-A 之前的基线（session-linkage / multi-mention routing），A1-A4 直接相关测试全过
• 全套测试：~250 过，5 fail（3 基线 + 1 typing 已知 hang + 1 ui-render-smoke pre-existing on main）
• Playwright e2e 略过（policy chain 是纯 refactor 不改行为；orchestrator 形态与 P3-A/P3-B-1/P3-B-2 同构，已多次 e2e 验证）

🤖 Generated with Claude Code