amadan
zdd plan 3 final fix: Lease keeps its own doc comment (comment-only)
leaseHealth and leaseLost had been inserted between Lease's doc comment and its type, detaching the comment. Moved above it; no code change.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
1 file changed,
+2
−2
internal/activator/activator.go+2 −2
diff --git a/internal/activator/activator.go b/internal/activator/activator.go| index 94bf86cd9..a0951db29 100644 |
| --- a/internal/activator/activator.go |
| +++ b/internal/activator/activator.go |
| @@ -250,8 +250,6 @@ func releaseLease(ctx context.Context, lease Lease) error { |
| return lease.Release(rctx) |
| } |
| -// Lease is a held-but-not-yet-replicating lease (wake in progress; Eleven's |
| -// actLease). |
| // leaseHealth is the OPTIONAL half of Lease: a held lease that can say |
| // whether it is still held (no failed renewal, not spent). execLease has it |
| // (lease.Held.Err). A hold's pinned wake asks it at its exec, before the |
| @@ -272,6 +270,8 @@ func leaseLost(l Lease) error { |
| return nil |
| } |
| +// Lease is a held-but-not-yet-replicating lease (wake in progress; Eleven's |
| +// actLease). |
| type Lease interface { |
| // Replicate trades the lease for running replication of the (now present) |
| // local DB; the lease handle is spent on success. syncInterval is the |