amadan
console: claim invariant reasons for the lifetime intent tables no door reaches yet
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
1 file changed,
+6
−0
internal/console/claim_invariant_test.go+6 −0
diff --git a/internal/console/claim_invariant_test.go b/internal/console/claim_invariant_test.go| index 616feb5a8..9a32ada29 100644 |
| --- a/internal/console/claim_invariant_test.go |
| +++ b/internal/console/claim_invariant_test.go |
| @@ -169,6 +169,12 @@ var claimWriterReasons = map[string]string{ |
| "(Store.GrantAt and Revoke); enabled operator DBs are guarded too and refuse these unbound legacy grants; no route or worker writes them", |
| "sql/mail_counts": "retired by the senders migration: nothing writes it, the one-shot backfill only reads it, " + |
| "and DropLegacyMailCounts drops it", |
| + "sql/host_allocations": "written only by the claims-off instance-lifetime protocol's persisted intents (BeginAllocation, BeginRetirement and BeginMigration in lifetimes_store.go), " + |
| + "which no door reaches until plan 1 Task 3 adds the create door; an armed (claims-on) store refuses these writes without a permit, which Task 2's tests pin", |
| + "sql/record_migrations": "written only by the claims-off instance-lifetime protocol's persisted intents (BeginAllocation, BeginRetirement and BeginMigration in lifetimes_store.go), " + |
| + "which no door reaches until plan 1 Task 3 adds the create door; an armed (claims-on) store refuses these writes without a permit, which Task 2's tests pin", |
| + "sql/record_retirements": "written only by the claims-off instance-lifetime protocol's persisted intents (BeginAllocation, BeginRetirement and BeginMigration in lifetimes_store.go), " + |
| + "which no door reaches until plan 1 Task 3 adds the create door; an armed (claims-on) store refuses these writes without a permit, which Task 2's tests pin", |
| } |
| // claimCoordinators are boundary methods that hold the gate for a caller and |