[shinaoka]

Closes #55.

何を閉じるか

record_run は宣言されたプロファイルとハードウェアが一致しないホストの記録を受け入れていた（#55: EPYC 7702P・SMT off を zen2-cpu 128T として記録）。記録を書く前に、宣言プロファイルの socket 数・SMT・モデルとホストを突き合わせ、一致しなければ拒否する。

変更

• scripts/record_run.py: campaign declarations からのプロファイル解決、SMT は宣言時のみ比較、sibling map と引数（profile 名 2 つ）の拒否、notsupported を off と読まない。
• benchmarks/suites/faer-kernels.yaml / faer-kernels-large.yaml: zen5-cpu に smt {2, offset 12} を宣言（説明文と共有 toolkit profile が既に書いている事実）。
• tests/test_record_run_host_check.py: 新規 10 tests。
• docs/timing-policy.md / result/INDEX.md: 追随。

検証（実測）

python -m unittest discover -s tests                    -> Ran 25 tests ... OK（新規 10 passed を含む）
python -m campaign_toolkit.declarations                 -> declarations ok: 2 suite(s)
python scripts/gen_index.py --check                     -> exit 0
campaign-check-generated --base origin/main --no-index   -> checked 25 pages, 0 regenerated
campaign-sync-pins --check --repo faer-benchmark        -> ok / ok

検証できていないこと

• cargo test は origin/main でも通らない（backend.rs 21 件 + op.rs 1 件の既存エラー）。変更前後でエラー集合は同一・main.rs に新規エラーなし、までを確認したが、Rust 単体テストは未実行で、CSV 列も実バイナリでは見ていない。
• 「一致ホストで実際に記録される」統合テストは作っていない（build 不可・CI に checkout 無し）。実機で通過を確認した。
• profile の型不正ガードは足していない（declarations が CI で検証し、落ちれば書く前に止まる）。
• broccoli の python は 3.8 のみ（toolkit は >=3.10）なので、上のデモは toolkit ソースを PYTHONPATH で 3.8 から import して実行した。

レビュー

GPT-6.1-sol の敵対的レビュー 2 ラウンド。1 ラウンド目 BLOCKER（SMT 未宣言を "off" と解釈して zen5-cpu の記録を全拒否）→ 修正。2 ラウンド目（README の言い過ぎ、args_from_env への配線、64T 行）→ 修正。