Lease socket answers a usage readout

eureka commented

2026-11-06 22:55:17 +00:00

Owner

Cut eureka-body:cut_spec:cut-lease-usage-readout.r1 (reports h1, h2; Soul s1 then s2 holds, two Lows: the wide-flood residual, addressed by readers polling one-shot with jitter in cut-plan-readout-live; test imports formatted here). The lease socket answers a usage readout from the one QuotaCell: no lease, no caller check, no token read, never wakes the meter; readouts have their own pool of 4 and get Busy over it; lease_v2 fixtures byte-identical.

🤖 Generated with Claude Code

Cut eureka-body:cut_spec:cut-lease-usage-readout.r1 (reports h1, h2; Soul s1 then s2 holds, two Lows: the wide-flood residual, addressed by readers polling one-shot with jitter in cut-plan-readout-live; test imports formatted here). The lease socket answers a usage readout from the one QuotaCell: no lease, no caller check, no token read, never wakes the meter; readouts have their own pool of 4 and get Busy over it; lease_v2 fixtures byte-identical. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

eureka added 5 commits

2026-11-06 22:55:17 +00:00

lease socket: a usage readout from the one QuotaCell, no lease, no caller check, no token, no meter wake 6e87cf2e6c

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

lease_v2: pin the usage readout request and answer frames 8331859537

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

lease readout tests: drop the integration test that needs a crate-private meter hook (the unit test owns it) 254cf83d9d

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

lease readouts: a pool of their own, a refusal over it, the arm's promises pinned, the request type named for the lease 51982b7f63

Readouts no longer take a lease's connection slot: the accept loop admits
max_connections + READOUT_CONNECTIONS, a lease holds one of max_connections
after it is read, a readout one of READOUT_CONNECTIONS, and a readout over its
limit is refused Busy rather than dropped. Socket tests hold the service lock
and a metered cell across readouts (no asking, no week wait, no lock), flood
the readout pool beside leases, and pin the refusal. The new public request
type is LeaseUsageReadoutRequest so it no longer shares a name with the kit's
EnvelopeKind::UsageReadoutRequest; wire bytes and fixtures are unchanged.

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

lease tests: rustfmt the renamed imports (Soul s2 test-imports-unformatted) 0282244114

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

eureka merged commit 61cc59d9a0 into main

2026-11-06 22:55:18 +00:00

eureka referenced this pull request from a commit

2026-11-06 22:55:19 +00:00

Merge pull request 'Lease socket answers a usage readout' (#1) from eureka-body/lease-usage-readout into main

Rows
Columns

Lease socket answers a usage readout #1