Arbitrage · 価格差を本当に固定できるか
同時執行、決済、必要資本から裁定とリスク取引を分けます。
Observation · 観察
同じ資産の場所間価格差や、交換可能な組合せの理論乖離が見えます。画面の差は売買方向、深度、費用、調達、移動、決済リスクを引く前です。関係の回復に依存する統計的裁定と、固定可能な現金流の制約を分けます。
Mechanism · 仕組み
同時執行・履行できる人が差を縮めます。資本分割、在庫、場所リスクで差は続きえます。信頼できる交換・受渡の約束がなければ、似た価格だけは仕組みになりません。
Hypothesis · 仮説
2場所に有限在庫を事前配置し、購入先の売値と売却先の買値で、共通約定量の全コスト後の差が正なら試します。瞬間移動を仮定せず、在庫補充と利益実現の経路も費用化します。
Data · データ
同期した双方向板、量、費用、残高、出金・移動状態、決済制約を使います。遅延で一方が失効しうるなら拒否します。残高は終了後の注記でなく執行制約です。
Signal · シグナル
両深度、在庫、リスク上限の最小値を注文量にします。両脚計画と、片脚失敗時の取消、補完、承認内の縮小を定めます。システム間で原子的に約定できなければ、提出を両脚約定とみなしません。
Backtest · バックテスト
各脚の注文、約定、取消、拒否、残高を残します。有限・無限在庫を比較し、資本と再均衡制約の影響を示します。未検証の遅延分布で実固定収益率を出さず、執行可能性の上界と明記して始められます。
Falsification · 反証
遅延増、深度減、一場所の出金停止、単脚拒否を試します。無限在庫、瞬間移動、中値に依存する利益は否定されます。後の価格復帰は途中の単脚損失や履行不能を取り消しません。
練習と成果物の確認
有限在庫の2場所イベント表を作り、価格到着、両脚送信、約定確認、残高、復旧を順に書きます。一脚を故意に拒否し、元のルールで対応します。純差、時間制約、資金占用、失敗損失の源を示し、「無リスク」で代替しません。
執行証拠はAdvanced E、資本統治はAdvanced Fへつなげます。