carlos / platform Public

hostlife model: the legacy host's pre-release processes carry adoption's session

Seed 44450 / 100,000: the pre-release processes acknowledged under no
session, so the first cold admission's writes_lost for session 1 exempted
nothing of theirs under the session-scoped match.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

claude 2 weeks ago 42af7bfc44f7fd808c3938b13fc66b1fbd576c47 parent 8cdc8bb

1 file changed, +2 −1

internal/sim/hostlife/sim_test.go +2 −1

diff --git a/internal/sim/hostlife/sim_test.go b/internal/sim/hostlife/sim_test.go

index 144675cac..c405e0cac 100644

--- a/internal/sim/hostlife/sim_test.go

+++ b/internal/sim/hostlife/sim_test.go

@@ -107,7 +107,8 @@ func (w *world) legacyStart() {

other := (r + 1 + w.rng.Intn(nRegions-1)) % nRegions

w.buckets[other].objs[ltxKey(b.DB.Loc, "", 0, 1, 1)] = []*version{{ID: w.newVer(), B: part}}

if w.rng.Intn(2) == 0 {

- b.Procs = []*proc{{Main: true, Strict: false, Inc: inc, Box: b.ID}, {Main: false, Strict: false, Inc: inc, Box: b.ID}}

+ // the pre-release processes: adoption's session 1, the origin generation (rev 7.13; seed 44450 / 100,000 acknowledged under no session)

+ b.Procs = []*proc{{Main: true, Strict: false, Inc: inc, Session: 1, Box: b.ID}, {Main: false, Strict: false, Inc: inc, Session: 1, Box: b.ID}}

}

if w.rng.Intn(2) == 0 {

// that earlier move also left the old box's local state behind: