ソース文書の正誤表
本書はプロジェクトの文書をもとに構成されています。そのうちのいくつかは、すでに変わってしまった状況を今も記載しています。このページでは、それがどの文書かを示し、修正できるようにします。また、本書がそれらと誤って矛盾していると誰かが思い込まないようにするためでもあります。
本書の執筆中に修正したもの
| ソース | 誤っていた点 |
|---|---|
doc/ECONOMIE.md §10 |
同じ文書の§1では5 %とされているのに、まとめには依然として4 %の配分表が記載されていた。自らを裁定者と称する文書が、自身の要約で矛盾していた |
doc/ECONOMIE.md §2, §3, §12 |
ボンディングカーブ、グラデュエーション、そして「グラデュエーションは不可逆である」という不変条件を説明していた |
doc/BRANDING.md |
一字一句そのまま使うよう定められた文が、Ondo Global Marketsを発行体としていた |
doc/DECISIONS.md |
凍結された表に、依然として800M curve / 200M LP、グラデュエーションのしきい値、グラデュエーション手数料が記載されていた |
doc/CASE_STUDY.md |
Robinhood Stock Tokensを、「不適切なチェーン上にある」として却下されたレールの一つに挙げていた |
projet/README.md |
Complianceの段落がOndoのみを挙げていた |
projet/docs/ACCEPTANCE.md |
3つのテストを、旧名の…takesFourPercent…で引用していた |
projet/dapp/ |
Treasury Ratioのツールチップに、BRANDING.mdで禁止されているredemptionという語が含まれていた。2026-09-26に修正 |
doc/DIAGRAMS.md |
7つの図のうち4つがカーブとグラデュエーションを描いていた。2026-09-28に、2つのポジションによるローンチを軸に描き直された |
doc/ACCEPTANCE.md, doc/USER_FLOWS.md, doc/PRD.md, doc/TESTNET_RUN.md, doc/CONTRACT_SPEC.md, doc/TREASURY_FLOW.md, doc/DEV_HANDOFF.md, doc/FRONTEND.md, doc/ROADMAP.md |
グラデュエーションを伴う、ボンディングカーブ上でのローンチを説明していた。ローンチの再設計がコードに反映された2026-09-28に書き直された |
projet/README.md, projet/docs/RUNBOOK.md, projet/docs/ACCEPTANCE.md |
当時のコードのとおり、ボンディングカーブを伴うローンチを説明していた。2026-09-28に書き直された。記録文書であるSECURITY_REVIEW.md、IMPLEMENTATION_DECISIONS.md、projet/contracts/certora/RESULTS.mdには、代わりに日付入りの注記が付けられている |
projet/dapp/ |
/launchが「You pay: gas only」と表示していた。2026-09-28以降は、0.001 ETHの作成手数料と、任意のローンチ時の購入を表示している |
doc/FRONTEND.md, doc/DEV_HANDOFF.md, doc/DECISIONS.md |
リポジトリのdappはReact + Viteだったのに、Next.jsのフロントエンドを必須としていた、あるいは凍結された技術スタックにNext.jsのフロントエンドを記載していた。2026-10-02に、文書ではなくコードによって解決された。そのdappを置き換えたアプリであるcairn-app/は、Next.jsのアプリである |
まだ修正されていないもの
| ソース | 今も誤っている点 |
|---|---|
doc/DIAGRAMS.md |
アーキテクチャの図にブリッジが描かれていない |
doc/ACCEPTANCE.md |
文言の基準が依然としてOndoの文を要求している |
doc/TESTNET_RUN.md |
テストネット計画が依然としてOndoのモックに基づいている |
doc/ACCEPTANCE.md, doc/USER_FLOWS.md, doc/FRONTEND.md, doc/DIAGRAMS.md |
2026-09-28の改定によってエアドロップはラップされた株式でEthereum上に移されたのに、依然としてエアドロップをRobinhood Chain上に置いている |
doc/CONTRACT_SPEC.md |
クロスチェーンのコントラクトがそこで仕様化されていない |
doc/ROBINHOOD_TOKENS.md |
20銘柄を対象とした過去の調査。2026-09-11時点でAPIには194銘柄が掲載されており、MSFTも含まれていた |
projet/docs/IMPLEMENTATION_DECISIONS.md |
§17が依然としてOndoを主要なレールとして示している |
2026-10-01の修正以前の本書
本書の以前の版には、2026-09-29のセキュリティ監査によって、コード上では成り立っていなかったことが示された4つの記述がありました。これらは2026-10-01の修正以降、成り立っています。
| 記述 | 監査で判明したこと |
|---|---|
| すべての取引が5 %を支払う（手数料） | サードパーティの流動性ポジションが、タックスも、最初の10ブロックのアンチスナイプも支払うことなく、タックスを課されたスワップの相手方として取引していた |
| チームやバイバックのウォレットが壊れていても、プールを使用不能にする代わりに手数料が保留される（フックとアンチスナイプ） | 支払いを受け入れたうえでPoolManagerを呼び出すウォレットが、すべてのプールの取引を停止させることができた |
| キーパーは資産も価格も選ばない（トレジャリー） | キーパーは株式をスキップすることで、トレジャリーのほぼすべてを、そのバスケットの1つの株式に移すことができた |
| エアドロップの各取り分は、トークンが記録する保有量からコントラクトが計算する（エアドロップ） | トークンは合計を時系列で記録していなかったため、どのコントラクトも比例配分の取り分の分母を計算できなかった |
2026-10-01のセキュリティパイプライン以前の本書
本書の以前の版には、監査の第2ラウンドである2026-10-01のセキュリティパイプラインによって、成り立たない、あるいは常には成り立たないことが示された3つの記述がありました。1つ目は、その修正以降は成り立っており、ガスの数値はそのページで訂正されています。3つ目はコードの制限であり、現在は該当するページに明記されています。2026-10-05、オーナーはコードを現状のまま維持することを決定しました。
| 記述 | パイプラインで判明したこと |
|---|---|
| 金額の一部しか約定しないルートは失敗し、次の候補が試される（Robinhoodレール、意思決定ログ） | v3のルートの最初のプールでのみ。それより先での部分約定は、中間トークンを、誰でも持ち出せる状態でUniswapのv3ルーターに残し、その一方でレッグは成功していた |
| トークンごとの各時間の最初のスワップでは、ガスが約23,000多くかかる（エアドロップ） | それは1つのトランザクションの内部で測定された値だった。単独のトランザクションとしては、そのスワップのガスは約28,000〜30,000多くかかる。これはEthereumのGlamsterdamアップグレード以前の価格で、アップグレードのもとではSepoliaで123,216多くかかる |
| マーケットは、v4に対応したあらゆるルーターから取引できる（売買） | すべての買いがそうではない。スワップの後に買い手のETHを決済するルーターでは、タックスがPoolManagerがすでに保有しているETHから徴収され、タックスの方が大きいとその買いは失敗する |
2026-10-05の監査ループ以前の本書
本書の以前の版には、2026-10-05の監査ループによって、コード上では成り立っていなかったことが示された2つの記述がありました。どちらも、同日の修正以降、成り立っています。
| 記述 | ループで判明したこと |
|---|---|
| 稼働中のトークンに指定された保有量レコーダーは、動きを見ていないホルダーへの支払いを少なくするが、他の誰への支払いも増やさない（エアドロップ、信頼モデル） | 切り替えより前に始まった時間枠ではそうではなかった。そのような時間枠は切り替えの時点からしか測定されず、切り替えの後に動いた者に過大に支払っていた（テストでは15.7倍）。3回目のループ以降、そのような時間枠が新しいレコーダーで測定されることはない |
ミントからロックまでの間の$STOCKFUNのローンチの実行者の保有分は、最初の$STOCKFUNのサイクルのごくわずかな取り分になる（エアドロップ） |
その間に閉じた時間枠はローンチの実行者だけを数え、最初のサイクルの全量をその実行者に支払っていた。3回目のループ以降、ローンチのスクリプトはローンチの実行者を除外し、4回目以降はミントの前にそうする |
2026-10-06のオフチェーンの見直し以前の本書
本書の以前の版は、変換のペースを決定どおりに記述していましたが、キーパーのコードはそれに従っていませんでした。2026-10-06の修正以降は成り立っています。
| 記述 | 5回目のループでのオフチェーンの見直しで判明したこと |
|---|---|
| キーパーは、ボールトがしきい値を保有していれば、エアドロップの直前に24時間に1回ボールトのETHを変換し、日中にしきい値を超えても何も発動しない（キーパー、エアドロップ、トレジャリー） | キーパーは、ボールトがしきい値を保有した時点で、取引時間中のどの周回でも（デフォルトで5分ごと）変換していた。2026-10-06以降は、閉じた後の最初の周回で、時間枠ごとに1回変換する |
2026-09-27のエアドロップの決定
doc/内のプロジェクトのソース文書とランディングページの仕様は、2026-09-27にエアドロップに合わせて更新されました。コードでは、クリエイターバイバックとブリッジの復路が2026-09-28に削除され、エアドロップのコントラクトが2026-10-04に、キーパーのエアドロップのステップとdappの請求画面が2026-10-05にコード化されましたが、いずれもデプロイされていません。株式アダプターはまだコード化されていません。リポジトリのアプリは、もうTreasury Ratioを表示していません。進捗状況を参照してください。
テスト数
ソースには、異なる日付に作成された、互いに矛盾する5つの数字が出回っています。本書は意図的に、そのいずれも引用していません。テスト数は日付の入った実行に紐づいて初めて意味を持ち、それが証明するのはその実行がカバーした範囲だけです。本書が示す数字は、テストと検証にあり、いずれもその実行の日付が添えられています。
除外した文書
doc/ondo.mdはMarkdownが壊れた草稿で、projet/docs/ONDO_BRIEF.mdによって完全に置き換えられ、その後レールの変更によって意味を失いました。本書のどのページもこの文書を参照していません。