BinaryBlogBUILD

BUILD · M / W / F

Quant Labシリーズ * フラッシュクラッシュ・ラボ 5

Editorial image for Quant Labシリーズ * フラッシュクラッシュ・ラボ 5

再び戻る価値のある、ひとつの考え。

第一幕:Production V4稼働

P4が稼働した時、難所は越えたと思った。M0の構造へ戻り、リスク単位を小さくし、最大3レッグ、StopMove_B1、スキャンから取引所readbackまでを覆うブラックボックスを備えた。本番量的運用において、退屈は最高の状態である。

LIVE_00003では信号、発注、約定、保護注文が正常に動いた。市場は一度有利に進んだ後反転し、取引所の損切りが執行された。戦略としてはクリーンな1R損失であり、仮説に負の観測が一つ増えただけだった。

第二幕:LIVE_00003は美しく動く

成功はライフサイクルが嘘をつかなかったことだ。取引所は入口を受け、保護注文が存在し、損切り後にポジションはゼロになった。MFE、MAE、時間、約定、保護状態はブラックボックスに保存された。市場損失とソフトウェア故障を分離できるはずだった。

ところが出口処理が取引所応答の壊れたJSON形状に遭遇した。シリアライズ層はfail closedにせず、不完全な値のままローカル計算を続けた。局所的には説明可能な処理が、全体として架空の結論をつくった。

第三幕:Telegramが勝利を告げる

TelegramはLIVE_00003が約+0.5Rの利益だと通知した。整った書式と確信的な文面こそ危険だった。取引所台帳では約-1Rの損切り損失である。

ローカルは意図的に捏造していない。誤ったpayloadから不完全な値を取り、入口、出口、サイズの仮定で空白を埋めた。金融システムで最も危険な嘘はランダムな文字列ではなく、構造が整い、期待に合い、もっともらしい誤答である。

第四幕:取引所の異議

取引所readbackがTelegramを覆した。約定、損切り注文、手数料、最終ポジション、残高変化が損失を確認した。ローカル台帳と外部事実が衝突した時、証拠状態はCONFLICTEDであり、好みの数字を選んではならない。

内部調査に必要な注文識別子は公開版で削除した。R、損益、状態は意思決定に必要だが、特定口座や注文へ結びつく値は公共物ではない。証拠とプライバシーを同時に守る境界である。

第五幕:探偵物語

調査は時間線から始めた。信号、注文、約定、保護確認、損切り、payload変形、Telegram参照の順を並べる。ブラックボックスの5テーブルは「数字が違う」を再現可能な因果鎖へ変えた。

取引所は物理的な現場、Telegramは最初の通報者、ローカルログは日記、ブラックボックスは鑑識室である。合成状態は時に偽の自白をする。最後に書かれたファイルを勝者にせず、情報源の主権と時系列で証拠を裁くようになった。

第六幕:現実が主権を持つ

修正は四つの法を置いた。取引所readbackを約定・注文・ポジションの主権的事実とする。通知は検証済みテレメトリへ遡れること。解析不能やUNKNOWNはfail closedで結論更新を止め、警告と原文を残すこと。会計は外部約定、手数料、残高変化で照合すること。

許される状態は、保護済み、無露出、緊急未解決の三つだけである。保護注文を確認できなければ新規入口を止め、人間を呼び、既存保護を維持する。連続稼働より真実を優先した。

第七幕:さらに二敗、誰も慌てない

LIVE_00004とLIVE_00005も損切りになった。しかし注文、保護、退出、記録、照合は一致した。以前の損失にはソフトウェア不具合や状態競合が付随したが、今回はライフサイクルが静かに完了した。

3連敗は戦略への信頼を下げるが、即時改造の理由ではない。履歴には5連敗と約5.5Rのドローダウンが含まれる。承認済み分布、資本境界、正常な執行の内側なら、それは証拠であって事故ではない。

システム工学の授業料

LIVE_00003は高価な運用コメディだった。壊れたJSONは約1.5Rの期待価値と約2,300ドルの会計授業料を要求した。取引としては悪く、システム工学としては非常に価値が高い。

シリアライズの境界条件、取引所主権、ブラックボックス、fail-closed truthfulnessを一度に前進させた。初期には「なぜ市場が損切りしたか」を問う。本番システムを管理すると「執行スタックは自分の構造法に従い、自分へ嘘をつかなかったか」を問う。LIVE_00004とLIVE_00005では、ようやく明確にイエスと言えた。