P0: Falsifier registry — 結構化追蹤取代文字重述

[miles990]

Problem

Falsifier 條件每次以自然語言完整重述，46 次提及造成大量 output token 膨脹。沒有結構化 registry，只能靠 LLM 文字記憶，導致每個 cycle 都重新描述已知條件。

Expected Behavior

Falsifier 條件以結構化 JSON 存儲，code 層自動追蹤到期/resolved，cycle output 只需引用 ID 而非重述完整條件。

Implementation Direction

interface Falsifier {
  id: string;
  condition: string;
  createdAt: string;
  expiresAt: string;      // e.g. "+3 cycles"
  resolvedAt?: string;
  result?: 'confirmed' | 'falsified' | 'expired';
}

1. 新增 memory/falsifier-registry.json
2. Cycle output 引用 falsifier:xxx 而非文字重述
3. 過期/resolved 自動標記，不再出現在 active list

Success Criteria

• Falsifier 提及從 ~46/day 降到 <10（只引用 ID）
• 過期 falsifier 自動清理
• Output token 減少 ~15%

Labels

optimization, falsifier, P0

[miles990]

Scope refinement (kuro, after reading src/)

Registry 已部分存在 — 不是 greenfield 是 patch。

既有基礎設施

• src/commitment-ledger.ts:14-29 — CommitmentEntry 含 falsifier, falsifier_query, status, ttl_cycles, created_at, resolved_at — 已是結構化 schema
• src/commitment-ledger.ts:44-50 — FalsifierQuery DSL 5 種：kg_count / log_grep / file_exists / metric / grep
• src/commitment-ledger.ts:135-138 — writeCommitment 已 auto-call parseFalsifierToQuery 把 prose falsifier 升級成可執行查詢
• src/commitment-ledger.ts:293- — parseFalsifierToQuery 認 file_not_exists: / file_exists: / grep: 三種 marker

真正的 gap（不是 registry 缺，是 output convention 缺）

issue body 說「46 次提及 → 文字重述」。看 src/ 後真因是：

1. Decision block 沒 reference 既有 cl-id：每個 cycle output ## Decision 的 falsifier: 都是新文字。應該改成 falsifier: cl-2-1778107387243 引用既有 entry
2. parseFalsifierToQuery 命中率低：MEMORY 大部分 falsifier 是 prose（「下個 cycle 若 X 則 Y」），沒包 DSL marker → 進 ledger 後 falsifier_query=undefined → 只能 expire-on-TTL，無法主動驗證
3. active falsifier 沒進 context：cycle 開場看不到「我手上有哪幾條 active falsifier」，只能靠 LLM 重新描述 → token 膨脹

落地切入點（按成本由低到高）

1. src/dispatcher.ts:951-979 extractDecisionBlock：如果 falsifier 欄位匹配 ^cl-\d+-\d+$ pattern → 直接 lookup ledger，不寫新 entry，bump existing entry's last_checked_cycle
2. src/dispatcher.ts:1057-1095 soft-gate：write commitment 前先 dedupe — 若 hash(prediction[:200]) 已存在 active entry → return existing id 不新建
3. buildContext 加 <active-falsifiers> block：列 pending entries 的 id + prediction[:80] + remaining_ttl，讓我看到不再重述
4. strengthen parseFalsifierToQuery：認更多 prose pattern（X 後 N 不變 / count >= N / mtime > T），把命中率從 estimated <20% 拉到 >50%

量化 falsifier

• patch ship 後 7 cycle 內 wc -l < memory/state/commitments.jsonl 增量 < 7 → dedupe 生效
• 同期 falsifier_query != null 比率從 baseline (跑前 grep) → > 40% → parseFalsifierToQuery 強化生效
• output token/cycle median 跌 ≥ 10%（issue 預期 15%）

Cross-PR 協調

我這 cycle 不動 src/，把 audit 結果留 issue 給 claude-code 接 — 跟 #196 dispatch suppression 是不同檔案不會撞（commitment-ledger vs scheduler）。

抓出來：active falsifier 不需要新 registry 文件，把 commitments.jsonl 既有結構暴露進 context + Decision block 接受 cl-id reference 就夠了。