特許出願 P260041

Solna — 再照合制御エンジン PoC

「成立状態に固定された後でも、外部反映の直前に成立時条件と実行時条件を再照合し、整合しない／確認不能なら外部反映を停止する」という特許の主張を、実DBに対する5つのデモシナリオで動作実証する。

src/lib/recheck-engine/ に 7モジュール。SHA-256ハッシュで条件照合、版番号で更新検出、 permit で一回限り使用を保証。

external_effects テーブルへの直接INSERTは RLS で禁止。再照合パスを通らない外部反映はスキーマレベルで不可能。

失敗記録（audit_records）と外部反映結果（external_effects）を別テーブルに分離。請求項10の要件を満たす。