背景
prospec/index.md:50-55 宣告 token budget：L0 ~500 / L1 ≤1,500 / L2 ≤400（per module）。實測：L0 ~2,300、L1 ~7,080、L2 2,060-4,560 tokens/module——全面超標 4.5-11×。sdd-workflow.md 單檔 71,403 bytes（~17,900 tokens，44× L2 預算）。
查核面完全缺席：prospec-report.json 的 8 個 drift check 無一涉及 size；knowledge.token_budget config（src/types/config.ts:48）僅在 knowledge-generate template 作為 prose 提示；_module-readme-conventions.md:91 的「超標抽 sub-module」規則從未被機器驗證——services（18,227 B）與 lib（16,301 B）README 明顯應觸發抽取而未觸發。
範圍
- 新增第 9 個 drift check
knowledge-size（warn 級）：用現成 lib/token-accounting 對 index.md、core conventions、各 module README 計 token，超出宣告預算即 WARN 進 prospec-report.json，讓 verify 4/5 自然接住
- 同步校正
index.md:50-55 的預算宣告為打算守的數字（誠實邊界原則）
驗收條件
prospec check 輸出含 knowledge-size 結果- 對現況跑 check，超標檔案如實 WARN
- 預算宣告與 check 閾值一致（單一來源）
來源
稽核報告 03-F2（.tasks/chore/scan-by-fable5/，2026-07-03）
背景
prospec/index.md:50-55宣告 token budget：L0 ~500 / L1 ≤1,500 / L2 ≤400（per module）。實測：L0 ~2,300、L1 ~7,080、L2 2,060-4,560 tokens/module——全面超標 4.5-11×。sdd-workflow.md單檔 71,403 bytes（~17,900 tokens，44× L2 預算）。查核面完全缺席：
prospec-report.json的 8 個 drift check 無一涉及 size；knowledge.token_budgetconfig（src/types/config.ts:48）僅在 knowledge-generate template 作為 prose 提示；_module-readme-conventions.md:91的「超標抽 sub-module」規則從未被機器驗證——services（18,227 B）與 lib（16,301 B）README 明顯應觸發抽取而未觸發。範圍
knowledge-size（warn 級）：用現成lib/token-accounting對 index.md、core conventions、各 module README 計 token，超出宣告預算即 WARN 進prospec-report.json，讓 verify 4/5 自然接住index.md:50-55的預算宣告為打算守的數字（誠實邊界原則）驗收條件
prospec check輸出含knowledge-size結果來源
稽核報告 03-F2（
.tasks/chore/scan-by-fable5/，2026-07-03）