リスクと限界

買い壁は ETH を配置した LP ポジションです。利用可能な流動性を提供しますが、取引結果は価格、手数料、プール状態に依存します。

価格と実行

ポジションは消費され得ます。市場、新規資金の目標、範囲の価格、売却手取り額は別の情報です。予定数量の見積もりを使います。

見積もりから実行までの大変動は最低受取量や入力上限による拒否を起こします。税、プール手数料、gas は実費です。

コントラクトと会計

売買、バーン、手数料回収、報酬、紹介、交換後も会計分離を維持する必要があります。特に新ポリシーは各買い壁の tick と残余を保たなければなりません。

吸収 CUBIT を再売却され得る前に分離することは重要な制約です。新ポジション構造、exact-input/output 経路、連続操作でも検証する必要があります。

BandLib と WallLib の linking、コントラクトサイズ、コンパイル設定も検証対象です。

メンテナンスと可用性

keeper は gas を払い取引を送る必要があります。低報酬、RPC 障害、混雑、nonce 追跡問題で保守が遅れる場合があります。

guardian 停止はスワップを妨げませんが、権限期間に二つの保守関数を止めます。停止期限で使った準備金は補充されません。

連携とモジュール

外部ルーターの最後のバーン処理は CUBIT ルーターと異なる場合があります。アグリゲーター互換性はフック税とプール版に合わせてテストする必要があります。

交換可能モジュールは将来のチーム判断への信頼を伴います。getter 検査は選択コードの安全証明ではありません。新アドレスでは承認・署名を再確認します。

画面とデータ

画面はシミュレーション、旧マニフェスト、古いデータを使う場合があります。ネットワークとブロックを特定し、障害を示し、整合しなくなった状態での署名を防ぐ必要があります。

USD 値は時価総額の取り決めと換算にも依存します。要求された 7k 基準は ETH の開始パラメーターにする前に校正が必要です。

テストから言えること

テストと不変条件検証は実際に調べたケース、状態、改訂の証拠です。静的解析に High 警告がなくても無欠陥ではなく、長期テスト合格も一般的な形式証明ではありません。

本版は外部監査完了、メインネット検証、損失可能性の不在を主張しません。実際の版の状況に報告済みと未確認事項を示します。

出典： audit/reports/2026-09-10-v1-v2/BILAN_FINAL_FR.md, SECURITE_ET_RECETTE.md, contracts/docs/STRICT_BURN.md およびコード内の実行境界。