From 32e9053a0cfec7950c0b26605c3c2c394f1b4c1f Mon Sep 17 00:00:00 2001
From: wildmolasses <changes@gmail.com>
Date: Fri, 17 Jan 2025 13:22:47 -0500
Subject: [PATCH] more FDG

---
 .../stage-one/fault-dispute-game.md           | 69 ++++++++++---------
 1 file changed, 36 insertions(+), 33 deletions(-)

diff --git a/specs/fault-proof/stage-one/fault-dispute-game.md b/specs/fault-proof/stage-one/fault-dispute-game.md
index 5dfb9cd9f..b7331c326 100644
--- a/specs/fault-proof/stage-one/fault-dispute-game.md
+++ b/specs/fault-proof/stage-one/fault-dispute-game.md
@@ -2,37 +2,39 @@
 
 <!-- START doctoc generated TOC please keep comment here to allow auto update -->
 <!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
+
 **Table of Contents**
 
-- [Overview](#overview)
-- [Definitions](#definitions)
-  - [Virtual Machine (VM)](#virtual-machine-vm)
-  - [PreimageOracle](#preimageoracle)
-  - [Execution Trace](#execution-trace)
-  - [Claims](#claims)
-  - [Anchor State](#anchor-state)
-  - [Anchor State Registry](#anchor-state-registry)
-  - [DAG](#dag)
-  - [Subgame](#subgame)
-  - [Game Tree](#game-tree)
-  - [Position](#position)
-  - [MAX_CLOCK_DURATION](#max_clock_duration)
-  - [CLOCK_EXTENSION](#clock_extension)
-  - [Freeloader Claims](#freeloader-claims)
-- [Core Game Mechanics](#core-game-mechanics)
-  - [Actors](#actors)
-  - [Moves](#moves)
-    - [Attack](#attack)
-    - [Defend](#defend)
-  - [L2 Block Number Challenge](#l2-block-number-challenge)
-  - [Step](#step)
-  - [Step Types](#step-types)
-  - [PreimageOracle Interaction](#preimageoracle-interaction)
-  - [Team Dynamics](#team-dynamics)
-  - [Game Clock](#game-clock)
-  - [Resolution](#resolution)
-    - [Resolving the L2 Block Number Challenge](#resolving-the-l2-block-number-challenge)
-  - [Finalization](#finalization)
+- [Fault Dispute Game](#fault-dispute-game)
+  - [Overview](#overview)
+  - [Definitions](#definitions)
+    - [Virtual Machine (VM)](#virtual-machine-vm)
+    - [PreimageOracle](#preimageoracle)
+    - [Execution Trace](#execution-trace)
+    - [Claims](#claims)
+    - [Anchor State](#anchor-state)
+    - [Anchor State Registry](#anchor-state-registry)
+    - [DAG](#dag)
+    - [Subgame](#subgame)
+    - [Game Tree](#game-tree)
+    - [Position](#position)
+    - [MAX_CLOCK_DURATION](#max_clock_duration)
+    - [CLOCK_EXTENSION](#clock_extension)
+    - [Freeloader Claims](#freeloader-claims)
+  - [Core Game Mechanics](#core-game-mechanics)
+    - [Actors](#actors)
+    - [Moves](#moves)
+      - [Attack](#attack)
+      - [Defend](#defend)
+    - [L2 Block Number Challenge](#l2-block-number-challenge)
+    - [Step](#step)
+    - [Step Types](#step-types)
+    - [PreimageOracle Interaction](#preimageoracle-interaction)
+    - [Team Dynamics](#team-dynamics)
+    - [Game Clock](#game-clock)
+    - [Resolution](#resolution)
+      - [Resolving the L2 Block Number Challenge](#resolving-the-l2-block-number-challenge)
+    - [Finalization](#finalization)
 
 <!-- END doctoc generated TOC please keep comment here to allow auto update -->
 
@@ -102,10 +104,11 @@ states at initialization time so that these updates do not impact active games.
 
 ### Anchor State Registry
 
-The Anchor State Registry is a registry that maps FDG types to their current [anchor states](#anchor-state).
-The Anchor State Registry is specific to Fault Dispute Game contracts and may not be applicable to
-other types of dispute game contracts that do not have the same concept of state that progresses
-over time.
+The Anchor State Registry is a registry that the FDG uses to determine its [anchor state](#anchor-state). It also
+determines if the game is [finalized](anchor-state-registry.md#finalized-game) and
+["proper"](anchor-state-registry.md#proper-game) for purposes of [Bond
+Distribution](./bond-incentives.md#game-finalization). See [Anchor State Registry](anchor-state-registry.md) for more
+details.
 
 ### DAG