carlos / platform Public

WIP claim Plan 14 track E checkpoint 39 (not for merge)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Paul Campbell pushed by claude 1 week ago fd1b7467fde0565eff5691c6c9ce25d9f24465dc parent 5b4b7be

5 files changed, +209 −0

internal/activator/activator.go +6 −0
internal/activator/plan14_generation_workers_test.go +193 −0
internal/activator/workerbuild.go +3 −0
internal/activator/workerswap.go +3 −0
internal/provision/testdata/plan14-root-reads-e.tsv +4 −0

CI passed — run details

CI log

=== gate ===
cd launchctx && go vet ./... && go test ./... -count=1
ok  	amadan.net/carlos/platform.git/launchctx	0.011s
?   	amadan.net/carlos/platform.git/launchctx/controlname	[no test files]
?   	amadan.net/carlos/platform.git/launchctx/wireid	[no test files]
go vet ./...
gofmt -l .: clean
go test ./... -count=1 -timeout 30m
ok  	github.com/carlosframework/platform	353.630s
?   	github.com/carlosframework/platform/cmd/changelog	[no test files]
ok  	github.com/carlosframework/platform/cmd/console	3.326s
ok  	github.com/carlosframework/platform/cmd/moveprobe	93.292s
ok  	github.com/carlosframework/platform/cmd/zddprobe	0.718s
ok  	github.com/carlosframework/platform/internal/activator	233.694s
ok  	github.com/carlosframework/platform/internal/agentsock	0.027s
ok  	github.com/carlosframework/platform/internal/alerting	0.005s
ok  	github.com/carlosframework/platform/internal/analytics	0.024s
ok  	github.com/carlosframework/platform/internal/appconfig	2.331s
ok  	github.com/carlosframework/platform/internal/apperr	0.079s
ok  	github.com/carlosframework/platform/internal/applog	0.143s
ok  	github.com/carlosframework/platform/internal/awsinv	0.009s
ok  	github.com/carlosframework/platform/internal/boxchoice	0.009s
ok  	github.com/carlosframework/platform/internal/boxid	0.562s
?   	github.com/carlosframework/platform/internal/boxid/boxidtest	[no test files]
?   	github.com/carlosframework/platform/internal/boxid/internal/signtest	[no test files]
ok  	github.com/carlosframework/platform/internal/boxvolumes	0.008s
ok  	github.com/carlosframework/platform/internal/caps	0.013s
ok  	github.com/carlosframework/platform/internal/certwarm	0.005s
ok  	github.com/carlosframework/platform/internal/cgroup	0.703s
ok  	github.com/carlosframework/platform/internal/changelog	0.302s
ok  	github.com/carlosframework/platform/internal/clamd	0.055s
?   	github.com/carlosframework/platform/internal/cliflag	[no test files]
ok  	github.com/carlosframework/platform/internal/console	365.813s
?   	github.com/carlosframework/platform/internal/controlname	[no test files]
?   	github.com/carlosframework/platform/internal/controlsock	[no test files]
ok  	github.com/carlosframework/platform/internal/dbdoor	6.101s
ok  	github.com/carlosframework/platform/internal/dbdoor/dbdoortest	0.009s
ok  	github.com/carlosframework/platform/internal/dbverify	0.004s
ok  	github.com/carlosframework/platform/internal/dnsrec	0.002s
ok  	github.com/carlosframework/platform/internal/docsite	0.005s
ok  	github.com/carlosframework/platform/internal/domains	2.135s
ok  	github.com/carlosframework/platform/internal/doorkey	0.006s
ok  	github.com/carlosframework/platform/internal/economics	0.004s
ok  	github.com/carlosframework/platform/internal/edge	26.191s
?   	github.com/carlosframework/platform/internal/edgeproof	[no test files]
ok  	github.com/carlosframework/platform/internal/edgesfile	0.008s
ok  	github.com/carlosframework/platform/internal/fleetapi	0.123s
ok  	github.com/carlosframework/platform/internal/gate	1.655s
ok  	github.com/carlosframework/platform/internal/genselect	0.015s
ok  	github.com/carlosframework/platform/internal/geo	0.017s
ok  	github.com/carlosframework/platform/internal/geoip	0.030s
ok  	github.com/carlosframework/platform/internal/historyreadback	0.153s
ok  	github.com/carlosframework/platform/internal/host	133.832s
ok  	github.com/carlosframework/platform/internal/hostactors	0.460s
ok  	github.com/carlosframework/platform/internal/hostbox	2.244s
ok  	github.com/carlosframework/platform/internal/hostclaim	0.506s
ok  	github.com/carlosframework/platform/internal/hostevidence	0.016s
ok  	github.com/carlosframework/platform/internal/hostexec	4.788s
ok  	github.com/carlosframework/platform/internal/hostfence	0.031s
ok  	github.com/carlosframework/platform/internal/hostfiles	10.557s
ok  	github.com/carlosframework/platform/internal/hostfloor	0.016s
ok  	github.com/carlosframework/platform/internal/hostguard	1.021s
ok  	github.com/carlosframework/platform/internal/hostops	1.426s
?   	github.com/carlosframework/platform/internal/hostops/fencerelease	[no test files]
ok  	github.com/carlosframework/platform/internal/hostops/internal/fencerelease	0.016s
ok  	github.com/carlosframework/platform/internal/hostquarantine	0.015s
ok  	github.com/carlosframework/platform/internal/hostrelocate	0.447s
ok  	github.com/carlosframework/platform/internal/hostresolve	0.128s
ok  	github.com/carlosframework/platform/internal/hostwrite	0.015s
ok  	github.com/carlosframework/platform/internal/infraview	0.015s
ok  	github.com/carlosframework/platform/internal/instancectl	1.820s
ok  	github.com/carlosframework/platform/internal/instanceexec	2.698s
ok  	github.com/carlosframework/platform/internal/instancefs	0.021s
ok  	github.com/carlosframework/platform/internal/instancekey	0.017s
ok  	github.com/carlosframework/platform/internal/instanceupdates	0.031s
ok  	github.com/carlosframework/platform/internal/layout	1.458s
ok  	github.com/carlosframework/platform/internal/lease	9.475s
ok  	github.com/carlosframework/platform/internal/lease/leasetest	0.026s
ok  	github.com/carlosframework/platform/internal/ledger	0.014s
ok  	github.com/carlosframework/platform/internal/mail	0.172s
ok  	github.com/carlosframework/platform/internal/maintenance	0.080s
ok  	github.com/carlosframework/platform/internal/maintenanceexec	5.523s
ok  	github.com/carlosframework/platform/internal/maintenanceguard	0.071s
ok  	github.com/carlosframework/platform/internal/metrics	0.005s
ok  	github.com/carlosframework/platform/internal/moves	20.983s
ok  	github.com/carlosframework/platform/internal/moves/archive	0.760s
ok  	github.com/carlosframework/platform/internal/objstore	0.172s
ok  	github.com/carlosframework/platform/internal/ops	0.163s
ok  	github.com/carlosframework/platform/internal/park	0.199s
ok  	github.com/carlosframework/platform/internal/privatefile	0.004s
ok  	github.com/carlosframework/platform/internal/provision	12.748s
ok  	github.com/carlosframework/platform/internal/publicrelease	0.006s
?   	github.com/carlosframework/platform/internal/regionname	[no test files]
ok  	github.com/carlosframework/platform/internal/registry	4.413s
ok  	github.com/carlosframework/platform/internal/relay	7.238s
ok  	github.com/carlosframework/platform/internal/release	21.686s
ok  	github.com/carlosframework/platform/internal/rollout	3.740s
ok  	github.com/carlosframework/platform/internal/rolloutwords	0.005s
ok  	github.com/carlosframework/platform/internal/rootaws	0.007s
ok  	github.com/carlosframework/platform/internal/rootparticipation	0.007s
ok  	github.com/carlosframework/platform/internal/rootstate	0.027s
ok  	github.com/carlosframework/platform/internal/s3compat	0.005s
ok  	github.com/carlosframework/platform/internal/safefile	0.004s
ok  	github.com/carlosframework/platform/internal/schedule	2.284s
ok  	github.com/carlosframework/platform/internal/sim/hostlife	9.809s
ok  	github.com/carlosframework/platform/internal/sim/litestreamfacts	4.185s
ok  	github.com/carlosframework/platform/internal/status	0.039s
ok  	github.com/carlosframework/platform/internal/steering	0.006s
ok  	github.com/carlosframework/platform/internal/stopevidence	0.240s
ok  	github.com/carlosframework/platform/internal/svcrole	0.002s
ok  	github.com/carlosframework/platform/internal/telemetry	0.004s
ok  	github.com/carlosframework/platform/internal/termfence	0.004s
ok  	github.com/carlosframework/platform/internal/tunnelclient	0.004s
ok  	github.com/carlosframework/platform/internal/unixdial	0.003s
ok  	github.com/carlosframework/platform/internal/updatewords	0.004s
ok  	github.com/carlosframework/platform/internal/usage	0.004s
ok  	github.com/carlosframework/platform/internal/version	0.001s
ok  	github.com/carlosframework/platform/internal/vet	1.561s
=== cross ===
--- shard 0 of 5 ---
cross-compiling darwin/arm64
--- shard 1 of 5 ---
cross-compiling darwin/amd64
--- shard 2 of 5 ---
cross-compiling linux/arm64
--- shard 3 of 5 ---
cross-compiling windows/amd64
--- shard 4 of 5 ---
cross-compiling windows/arm64
=== minio-contract ===
minio contract: arm64, minio RELEASE.2025-09-07T16-13-09Z, mc RELEASE.2025-08-13T08-35-41Z
  minio: cached, digest verified
  mc: cached, digest verified
  minio healthy on 127.0.0.1:20999
Added `local` successfully.
Bucket created successfully `local/contract-bucket`.
Bucket created successfully `local/denied-bucket`.
Created policy `contract-only` successfully.
Added user `scopeduser` successfully.
Attached Policies: [contract-only]
To User: scopeduser
  buckets and scoped user ready
=== RUN   TestDeliveredContractMinio
=== RUN   TestDeliveredContractMinio/put
=== RUN   TestDeliveredContractMinio/get_round-trips_the_body
=== RUN   TestDeliveredContractMinio/list_shows_the_key
=== RUN   TestDeliveredContractMinio/head_and_list_agree_on_the_version
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_its_own_object
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_its_own_object/not_by_PutObjectTagging
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_its_own_object/and_not_by_x-amz-tagging_on_upload
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/not_by_CreateMultipartUpload
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/not_by_CopyObject_with_a_REPLACE_tagging_directive
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/but_multipart_itself_is_allowed
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/and_copy_itself_is_allowed
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/a_POST-policy_forged_tag_with_a_matching_version_is_still_not_a_verdict
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/and_an_ordinary_tagged-with-something-else_upload_is_allowed
=== RUN   TestDeliveredContractMinio/delete_removes_it
=== RUN   TestDeliveredContractMinio/cross-bucket_denial
--- PASS: TestDeliveredContractMinio (0.02s)
    --- PASS: TestDeliveredContractMinio/put (0.00s)
    --- PASS: TestDeliveredContractMinio/get_round-trips_the_body (0.00s)
    --- PASS: TestDeliveredContractMinio/list_shows_the_key (0.00s)
    --- PASS: TestDeliveredContractMinio/head_and_list_agree_on_the_version (0.00s)
    --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_its_own_object (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_its_own_object/not_by_PutObjectTagging (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_its_own_object/and_not_by_x-amz-tagging_on_upload (0.00s)
    --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route (0.01s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/not_by_CreateMultipartUpload (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/not_by_CopyObject_with_a_REPLACE_tagging_directive (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/but_multipart_itself_is_allowed (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/and_copy_itself_is_allowed (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/a_POST-policy_forged_tag_with_a_matching_version_is_still_not_a_verdict (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/and_an_ordinary_tagged-with-something-else_upload_is_allowed (0.00s)
    --- PASS: TestDeliveredContractMinio/delete_removes_it (0.00s)
    --- PASS: TestDeliveredContractMinio/cross-bucket_denial (0.00s)
PASS
ok  	github.com/carlosframework/platform/internal/objstore	0.024s
=== RUN   TestT4StorageProbeMinio
2026/10/14 20:58:51 moves: T4: STORE: list: operation error S3: ListObjectsV2, https response error StatusCode: 403, RequestID: 18DE80FE3A7DCC18, HostID: 7c420053e0fbcd7f41653fdd92ffa2802c903d05303b1aa15adc2e8bb65d183f, api error SignatureDoesNotMatch: The request signature we calculated does not match the signature you provided. Check your key and signing method.
--- PASS: TestT4StorageProbeMinio (0.01s)
PASS
ok  	github.com/carlosframework/platform/internal/host	0.022s
minio contract: PASS

diff --git a/internal/activator/activator.go b/internal/activator/activator.go

index a3d9866a0..a21e9e52d 100644

--- a/internal/activator/activator.go

+++ b/internal/activator/activator.go

@@ -3235,6 +3235,12 @@ var respawnJoinBound = actStopTimeout + workerSpawnTimeout + sidecarStopTimeout

// sees Exited and the crash-restart path takes over with its backoff. A failed

// converge degrades into supervision rather than into a hole.

func (a *Service) respawnWorkerLocked(e *actEntry, stopOld Proc, why string, onto *release.StagedIdentity) {

+ if a.cfg.HostWrites.Enabled {

+ e.attemptVeto = ErrClaimIsolationUnavailable

+ e.respawnDone = make(chan struct{})

+ close(e.respawnDone)

+ return

+ }

e.workerRespawning = true

e.respawnDone = make(chan struct{})

done, rt, host := e.respawnDone, e.route, e.host

diff --git a/internal/activator/plan14_generation_workers_test.go b/internal/activator/plan14_generation_workers_test.go

new file mode 100644

index 000000000..6d28b29ef

--- /dev/null

+++ b/internal/activator/plan14_generation_workers_test.go

@@ -0,0 +1,193 @@

+package activator

+import (

+ "context"

+ "errors"

+ "os"

+ "strings"

+ "testing"

+ "time"

+ "github.com/carlosframework/platform/internal/release"

+func TestPlan14GenerationWorkerStartBoundary(t *testing.T) {

+ for _, claimed := range []bool{false, true} {

+ for _, staged := range []bool{false, true} {

+ for _, pinned := range []bool{false, true} {

+ name := "legacy"

+ if claimed {

+ name = "claimed"

+ }

+ if staged {

+ name += "/staged"

+ } else {

+ name += "/plain"

+ }

+ if pinned {

+ name += "/pinned"

+ } else {

+ name += "/live"

+ }

+ t.Run(name, func(t *testing.T) {

+ a, b, _, reg, _ := stagedActivator(t)

+ t.Cleanup(func() { a.Shutdown(context.Background()); reg.Close() })

+ a.cfg.HostWrites.Enabled = claimed

+ if !staged {

+ a.backend = b.fakeBackend

+ }

+ a.GenerationsFile = release.GenerationsPath(t.TempDir())

+ var onto *release.StagedIdentity

+ if pinned {

+ id := fakeIdentity("v2")

+ onto = &id

+ }

+ gates := 0

+ p, id, pending, err := a.startWorker(t.Context(), workerRoute("bot.x.internal"), nil, onto, func() error { gates++; return nil })

+ if p != nil {

+ defer p.Stop(context.Background())

+ }

+ if claimed {

+ if !errors.Is(err, ErrClaimIsolationUnavailable) || p != nil || id != (release.StagedIdentity{}) || pending != 0 || b.workerStarts() != 0 || gates != 0 {

+ t.Fatalf("unreserved worker reached backend: proc=%v id=%+v pending=%v starts=%d gates=%d err=%v", p, id, pending, b.workerStarts(), gates, err)

+ }

+ if _, err := os.Stat(a.GenerationsFile); !os.IsNotExist(err) {

+ t.Fatalf("refused start published agent generations: %v", err)

+ }

+ } else if err != nil || p == nil || b.workerStarts() != 1 || gates == 0 {

+ t.Fatalf("legacy worker changed: proc=%v starts=%d gates=%d err=%v", p, b.workerStarts(), gates, err)

+ }

+ })

+ }

+func TestPlan14GenerationWorkerRealBackendRefusal(t *testing.T) {

+ for _, pinned := range []bool{false, true} {

+ name := "live"

+ if pinned {

+ name = "pinned"

+ }

+ t.Run(name, func(t *testing.T) {

+ a, b, rt, output, _ := workerGateService(t, nil)

+ a.cfg.HostWrites.Enabled = true

+ var onto *release.StagedIdentity

+ if pinned {

+ id, err := release.ResolveLive(b.OptDir, rt.Host)

+ if err != nil {

+ t.Fatal(err)

+ }

+ onto = &id

+ }

+ p, _, _, err := a.startWorker(t.Context(), rt, nil, onto, nil)

+ if p != nil {

+ defer p.Stop(context.Background())

+ }

+ if !errors.Is(err, ErrClaimIsolationUnavailable) || p != nil {

+ t.Fatalf("real backend admitted unreserved worker: %v %v", p, err)

+ }

+ if _, err := os.Stat(output); !os.IsNotExist(err) {

+ t.Fatalf("refused worker executed: %v", err)

+ }

+ if _, err := os.Stat(a.GenerationsFile); !os.IsNotExist(err) {

+ t.Fatalf("refused worker published agent generations: %v", err)

+ }

+ })

+ }

+func TestPlan14GenerationWorkerReplacementBoundary(t *testing.T) {

+ shrinkFirstWake(t, 55*time.Second, 25*time.Second, 20*time.Millisecond)

+ for _, claimed := range []bool{false, true} {

+ for _, cause := range []Cause{CauseRelease, CauseRestart, CauseConfig} {

+ name := "legacy/" + string(cause)

+ if claimed {

+ name = "claimed/" + string(cause)

+ }

+ t.Run(name, func(t *testing.T) {

+ a, b, _, reg, _ := stagedActivator(t)

+ t.Cleanup(func() { a.Shutdown(context.Background()); reg.Close() })

+ if err := a.WakeWorker(alwaysOnWorkerRoute("bot.x.internal")); err != nil {

+ t.Fatal(err)

+ }

+ old := b.lastWorker()

+ a.cfg.HostWrites.Enabled = claimed

+ a.GenerationsFile = release.GenerationsPath(t.TempDir())

+ fallback := fakeIdentity("v1")

+ got := a.ReplaceWorker(t.Context(), workerAttempt(cause, ModeOverlap, fakeIdentity("v2")), &fallback, one)

+ if claimed {

+ if got.Outcome != SwapAbandoned || got.Executed || !strings.Contains(got.Reason, ErrClaimIsolationUnavailable.Error()) || b.workerStarts() != 1 {

+ t.Fatalf("unreserved replacement: %+v starts=%d", got, b.workerStarts())

+ }

+ if exited := old.Exited(); exited {

+ t.Fatal("refused replacement stopped the serving worker")

+ }

+ if a.entryServing("bot.x.internal") != fallback {

+ t.Fatal("refused replacement changed serving identity")

+ }

+ if _, err := os.Stat(a.GenerationsFile); !os.IsNotExist(err) {

+ t.Fatalf("refused replacement published agent generations: %v", err)

+ }

+ } else if got.Outcome != SwapDone || !got.Executed || b.workerStarts() != 2 {

+ t.Fatalf("legacy replacement changed: %+v starts=%d", got, b.workerStarts())

+ }

+ })

+ }

+func TestPlan14GenerationWorkerSupervisionBoundary(t *testing.T) {

+ for _, claimed := range []bool{false, true} {

+ for _, cause := range []string{"crash", "max-run", "converge"} {

+ name := "legacy/" + cause

+ if claimed {

+ name = "claimed/" + cause

+ }

+ t.Run(name, func(t *testing.T) {

+ a, b, clk, reg, ver := stagedActivator(t)

+ t.Cleanup(func() { a.Shutdown(context.Background()); reg.Close() })

+ rt := alwaysOnWorkerRoute("bot.x.internal")

+ if cause == "max-run" {

+ rt.MaxRunSeconds = 30

+ }

+ if err := a.WakeWorker(rt); err != nil {

+ t.Fatal(err)

+ }

+ old := b.lastWorker()

+ a.cfg.HostWrites.Enabled = claimed

+ switch cause {

+ case "crash":

+ old.kill()

+ case "max-run":

+ clk.advance(31 * time.Second)

+ case "converge":

+ ver.Store("v2")

+ a.sweepOnce()

+ clk.advance(ConvergeGrace + time.Minute)

+ }

+ a.sweepOnce()

+ a.mu.Lock()

+ done := a.entries[rt.Host].respawnDone

+ a.mu.Unlock()

+ if done != nil {

+ select {

+ case <-done:

+ case <-time.After(5 * time.Second):

+ t.Fatal("respawn did not settle")

+ }

+ if claimed {

+ if b.workerStarts() != 1 {

+ t.Fatalf("supervision spawned without root reservation: %d", b.workerStarts())

+ }

+ if exited := old.Exited(); exited && cause != "crash" {

+ t.Fatal("refused recycle stopped the serving worker")

+ }

+ } else if b.workerStarts() != 2 {

+ t.Fatalf("legacy supervision changed: %d", b.workerStarts())

+ }

+ })

+ }

diff --git a/internal/activator/workerbuild.go b/internal/activator/workerbuild.go

index b02884fbd..24f0e2747 100644

--- a/internal/activator/workerbuild.go

+++ b/internal/activator/workerbuild.go

@@ -108,6 +108,9 @@ func runBeforeExec(ctx context.Context, id release.StagedIdentity) error {

// is asked immediately before StartWorker. Its refusal execs nothing and is

// returned as is.

func (a *Service) startWorker(ctx context.Context, rt registry.Route, env map[string]string, onto *release.StagedIdentity, gate func() error) (Proc, release.StagedIdentity, pendingGeneration, error) {

+ if a.cfg.HostWrites.Enabled {

+ return nil, release.StagedIdentity{}, 0, ErrClaimIsolationUnavailable

+ }

s, ok := a.backend.(stagedWorkerStarter)

if !ok {

// No staged capability: no identity is captured, so no build state

diff --git a/internal/activator/workerswap.go b/internal/activator/workerswap.go

index 5ed469060..c7faea61a 100644

--- a/internal/activator/workerswap.go

+++ b/internal/activator/workerswap.go

@@ -38,6 +38,9 @@ import (

// calls PublishHeldServing for a fallback's identity. newest is called with

// a.mu held, as Swap's is.

func (a *Service) ReplaceWorker(ctx context.Context, at Attempt, fallback *release.StagedIdentity, newest func(host string) uint64) (out SwapResult) {

+ if a.cfg.HostWrites.Enabled {

+ return abandon(ErrClaimIsolationUnavailable)

+ }

// The execution evidence (SwapResult.Executed, final review F8): the

// attempt's respawn started a process of its build (attemptExec),

// installed or shed. Read once the respawn is over; false before it

diff --git a/internal/provision/testdata/plan14-root-reads-e.tsv b/internal/provision/testdata/plan14-root-reads-e.tsv

index e5aa8e9b0..e82a3f436 100644

--- a/internal/provision/testdata/plan14-root-reads-e.tsv

+++ b/internal/provision/testdata/plan14-root-reads-e.tsv

@@ -343,3 +343,7 @@ internal/host/rootgeneration_parked.go generationRetirements authority E2 E38: r

internal/host/rootgeneration_parked.go productionGenerationRetirements authority E2 E38: reconcile completed root retirement against the retained stop receipt and exact inventory; inspect parked identities, require retired rows absent or an independently inventoried successor, and retain generation pins. Fixtures: TestPlan14GenerationParkedPayload, TestPlan14GenerationParkedCrash, TestPlan14GenerationParkedKeepsReservation, TestPlan14GenerationParkedReadback; TestPlan14GenerationParkedRootRunner is runner-pending. Timer producer matches retained entries once and preserves successors on replay: TestPlan14GenerationTimerRetirement. No claims-off path changes. file:Open@221,file:Open@306 fe83ff81bb9966f50de7fb3a049b8acd8e87f5d86346809090fc46b5c1e65189

internal/hostbox/reconcile_adapter.go ReconcileAdapter.Retire authority C,E2 E38: reconcile completed root retirement against the retained stop receipt and exact inventory; inspect parked identities, require retired rows absent or an independently inventoried successor, and retain generation pins. Fixtures: TestPlan14GenerationParkedPayload, TestPlan14GenerationParkedCrash, TestPlan14GenerationParkedKeepsReservation, TestPlan14GenerationParkedReadback; TestPlan14GenerationParkedRootRunner is runner-pending. Timer producer matches retained entries once and preserves successors on replay: TestPlan14GenerationTimerRetirement. No claims-off path changes. registry:ClaimIncarnation@1309,registry:ClaimIncarnation@322,registry:ClaimIncarnation@3392,registry:ClaimIncarnation@3414,registry:ClaimOwner@1366,registry:ClaimOwner@1434,registry:ClaimOwner@2190,registry:ClaimOwner@2596,registry:ClaimOwner@3472,registry:ClaimOwner@3488,registry:ClaimOwner@3726,registry:ClaimOwnership@147,registry:ClaimRowID@3506,registry:ClaimRowID@3749,registry:ClaimStamp@1338,registry:ClaimStamp@3438,registry:ClaimStamp@3454,registry:ClaimStamp@362,registry:Host@1257,registry:Host@2095,registry:Host@2641,registry:Host@2698,registry:Host@288,registry:Host@3311,registry:Host@3694,registry:Name@3711,registry:Registration@3528,registry:Registration@3770,whole:ClaimOwnership@151,whole:Route@1069,whole:Route@1152,whole:Route@231,whole:Timer@3377 bbee00fbe7b9ae791cc78fab1a06d79945b475b3a5e31d082ae37edd9c69f611

internal/hostbox/retirement_timers.go retirementWithTimers authority C,E2 E38: reconcile completed root retirement against the retained stop receipt and exact inventory; inspect parked identities, require retired rows absent or an independently inventoried successor, and retain generation pins. Fixtures: TestPlan14GenerationParkedPayload, TestPlan14GenerationParkedCrash, TestPlan14GenerationParkedKeepsReservation, TestPlan14GenerationParkedReadback; TestPlan14GenerationParkedRootRunner is runner-pending. Timer producer matches retained entries once and preserves successors on replay: TestPlan14GenerationTimerRetirement. No claims-off path changes. b4c4d4bcf2b3de23af676655cc4aa2901c7c0fd9a189d906fbffc81cd7d1bbf7

+internal/activator/activator.go Service.respawnWorkerLocked authority E2 E39: close the unsupported claimed worker path before backend entry, replacement or supervised stop. Claims-off paths remain unchanged. This is refusal coverage, not positive root-reserved worker launch support. Fixtures: TestPlan14GenerationWorkerStartBoundary, TestPlan14GenerationWorkerRealBackendRefusal, TestPlan14GenerationWorkerReplacementBoundary, TestPlan14GenerationWorkerSupervisionBoundary. Pre-flight 29 and E39 worker launch audit. whole:Route@11815,whole:Route@13321,whole:Route@360,whole:Route@4164,whole:Route@6157,whole:Route@6338 096ad340799cd2a3754f85cc87149cb9ad97175027329e480f456aa9cd785f48

+internal/activator/workerbuild.go Service.startWorker authority E2 E39: close the unsupported claimed worker path before backend entry, replacement or supervised stop. Claims-off paths remain unchanged. This is refusal coverage, not positive root-reserved worker launch support. Fixtures: TestPlan14GenerationWorkerStartBoundary, TestPlan14GenerationWorkerRealBackendRefusal, TestPlan14GenerationWorkerReplacementBoundary, TestPlan14GenerationWorkerSupervisionBoundary. Pre-flight 29 and E39 worker launch audit. registry:Host@1201,registry:Host@1379,registry:Host@2314,whole:Route@2420,whole:Route@931 be27c7d049a6009a8a22798569e457f5126f14d5e7c56aafb5b1bd260717f6f5

+internal/activator/workerswap.go Service.ReplaceWorker authority E2 E39: close the unsupported claimed worker path before backend entry, replacement or supervised stop. Claims-off paths remain unchanged. This is refusal coverage, not positive root-reserved worker launch support. Fixtures: TestPlan14GenerationWorkerStartBoundary, TestPlan14GenerationWorkerRealBackendRefusal, TestPlan14GenerationWorkerReplacementBoundary, TestPlan14GenerationWorkerSupervisionBoundary. Pre-flight 29 and E39 worker launch audit. whole:Route@2163 1a4042b1d03f2d4202b150375a0a7965630ab7cfc5a29b1dea378110d8d95cd7

+@coverage internal/activator ed90925168c6971781112ebbc2f8516047b3bb2d230a372432cdac4b1e57c2cc