Merge pull request #6374 from ethereum-optimism/refcell/challenger-resolve-wiring

feat(op-challenger): Top Level Status and Resolution

op-challenger/challenger.go

 package op_challenger
 
 import (
+	"context"
 	"fmt"
 	"time"
 
@@ -48,8 +49,14 @@ func Main(logger log.Logger, cfg *config.Config) error {
 
 	for {
 		logger.Info("Performing action")
-		_ = agent.Act()
-		caller.LogGameInfo()
+		_ = agent.Act(context.Background())
+		status, _ := caller.GetGameStatus(context.Background())
+		if status != 0 {
+			caller.LogGameStatus()
+			return nil
+		} else {
+			caller.LogGameInfo()
+		}
 		time.Sleep(300 * time.Millisecond)
 	}
 }

op-challenger/fault/agent.go

@@ -29,8 +29,11 @@ func NewAgent(loader Loader, maxDepth int, trace TraceProvider, responder Respon
 }
 
 // Act iterates the game & performs all of the next actions.
-func (a *Agent) Act() error {
-	game, err := a.newGameFromContracts(context.Background())
+func (a *Agent) Act(ctx context.Context) error {
+	if a.tryResolve(ctx) {
+		return nil
+	}
+	game, err := a.newGameFromContracts(ctx)
 	if err != nil {
 		a.log.Error("Failed to create new game", "err", err)
 		return err
@@ -50,6 +53,19 @@ func (a *Agent) Act() error {
 	return nil
 }
 
+// tryResolve resolves the game if it is in a terminal state
+// and returns true if the game resolves successfully.
+func (a *Agent) tryResolve(ctx context.Context) bool {
+	if a.responder.CanResolve(ctx) {
+		err := a.responder.Resolve(ctx)
+		if err != nil {
+			return true
+		}
+		a.log.Error("failed to resolve the game", "err", err)
+	}
+	return false
+}
+
 // newGameFromContracts initializes a new game state from the state in the contract
 func (a *Agent) newGameFromContracts(ctx context.Context) (Game, error) {
 	claims, err := a.loader.FetchClaims(ctx)

op-challenger/fault/types.go

@@ -76,6 +76,8 @@ func (c *Claim) DefendsParent() bool {
 // Responder takes a response action & executes.
 // For full op-challenger this means executing the transaction on chain.
 type Responder interface {
+	CanResolve(ctx context.Context) bool
+	Resolve(ctx context.Context) error
 	Respond(ctx context.Context, response Claim) error
 	Step(ctx context.Context, stepData StepCallData) error
 }

packages/contracts-bedrock/deploy-config/devnetL1.json

@@ -46,5 +46,5 @@
   "l2GenesisRegolithTimeOffset": "0x0",
   "faultGameAbsolutePrestate": 96,
   "faultGameMaxDepth": 4,
-  "faultGameMaxDuration": 604800
-}
+  "faultGameMaxDuration": 120
+}
\ No newline at end of file