amadan
sim: moveTo's doc comment sits on moveTo, not before createExecutor (alignment for Task 5's patch)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
1 file changed,
+2
−2
internal/sim/hostlife/console_test.go+2 −2
diff --git a/internal/sim/hostlife/console_test.go b/internal/sim/hostlife/console_test.go| index 53e7744ea..57c09ad44 100644 |
| --- a/internal/sim/hostlife/console_test.go |
| +++ b/internal/sim/hostlife/console_test.go |
| @@ -383,8 +383,6 @@ func (w *world) userMove() { |
| w.moveTo(w.rng.Intn(nRegions)) // drawn only when a move is possible, as before rev 7.3 |
| } |
| -// moveTo requests a move of the serving host to region r. A witness calls |
| -// it directly (witness_test.go). |
| // createExecutor is the box a create's step 4 hands op.exec to: the one |
| // its intent named, never another (region HA §5.2, claim P5-D2: recovery |
| // never substitutes a newly available box); nil while that box is gone. |
| @@ -404,6 +402,8 @@ func (w *world) createExecutor(c *claim) *box { |
| return b |
| } |
| +// moveTo requests a move of the serving host to region r. A witness calls |
| +// it directly (witness_test.go). |
| func (w *world) moveTo(r int) { |
| c := w.claim |
| if c == nil || c.Holder == nil || c.Op.Kind != "serving" { |