TfCrc

TF カード用 CRC 計算 (docs/tfcard.md「プロトコル仕様」)

• CRC7 (x^7 + x^3 + 1): コマンドフレーム (cmd + arg の 5 バイト)
• CRC16-CCITT (x^16 + x^12 + x^5 + 1，初期値 0): データブロック 512 バイト

いずれも MSB first のバイト単位更新．コントローラとビヘイビアモデルの 双方から参照する．同一実装の共有は解釈の共通モード誤りになりうるため， 実装と独立の既知検査値 (CMD0=95h 等) による固定を test_crc.veryl で行う．