Expand description
憲法テスト — DirtyData の根本的不変条件。
§Every state must be explainable, or disposable.
これは property test である。 ランダムな操作列に対して、以下が常に成立することを証明する:
- Replayability: replay(patches) == current graph (hash一致)
- Hash Stability: 同一 operations → 同一 hash
- Explainability: graph.applied_patches は全て存在し、逆変換可能