docs(adr): ADR 0015 — deferred-dispatch admission bound; cross-instance coalescing rejected for now by ThomasK33 · Pull Request #54 · coder/chat

docs(adr): ADR 0015 — deferred-dispatch admission bound and fenced cross-instance coalescing (design for #44 + #50)

ThomasK33

committed

2b96ea7

docs(adr): honest preemption-overlap contract (cooperative cancellation) and explicit sync-dispatch serving-layer non-goal

ThomasK33

committed

c4ecc31

docs(adr): close coalescing protocol holes — global fence sequence, register-all-routed, deferred-only fencing, abandonment vs degradation

ThomasK33

committed

ac06901

docs(adr): commit-point degradation rule, admission-anchored register TTL, NATS uniform-TTL provision, reject preemption under concurrent

ThomasK33

committed

aba6b2a

docs(adr): bounded allocation-to-registration window with TTL arithmetic covering it

ThomasK33

committed

1fbddf8

docs(adr): concrete fence timing bounds, uniform-fleet caveat, LockForcer commit-point rule, bounded refresh calls, burst requires deferred

ThomasK33

committed

a9b18a5

docs(adr): full-park check horizon, fence as single ordering source, idempotent takeover reconciliation, shape-aware admission rejection

ThomasK33

committed

a8afa20

docs(adr): bounded idempotent takeover reconciliation; fleet-uniform timing for TTL arithmetic across all backends

ThomasK33

committed

252b84f

docs(adr): scope-wide degradation ordering, pre-RPC window anchor, expired register-entry purge

ThomasK33

committed

2725f90

docs(adr): universal SHA-256 holder identity; reject burst + preemption hook

ThomasK33

committed

2fb9b40

docs(adr): uniform pre/post-mark degradation rule; concrete refresh RPC bound (one refresh interval)

ThomasK33

committed

33cb6c1

docs(adr): takeover + reconciliation execute in the detached tail under the DetachTimeout budget

ThomasK33

committed

caf7abe

docs(adr): extend-as-reconciliation-probe with TTL horizon; ack-budget bounds on prelude fence calls

ThomasK33

committed

9fdf059

docs(adr): conflict-time observation binding, hook in tail, extend-only probe, read-completion validity, allocation before all prelude State reads, spec-level scoping

ThomasK33

committed

08c6b02

docs(adr): descope preemption to rejected shapes + binding requirements + deferred protocol design (non-converging surface, per the #38 precedent)

ThomasK33

committed

47d34bc

docs(adr): re-scope per maintainer directive — admission bound kept, cross-instance coalescing rejected for now with formal-design reopening bar

ThomasK33

committed

20d0056

docs(adr): prelude-return slot release, ADR 0003 acceptance qualification, explicit ADR 0012 supersessions for burst gating

ThomasK33

committed

f4dbb64

docs(adr): slot release at tail-goroutine return, duplicate fast path at the cap, optional per-tenant sublimit

ThomasK33

committed

559a7f7

docs(adr): drop unimplementable duplicate fast path (qualify ADR 0002, prohibit mark-as-probe), composite tenant key + empty-tenant bucket + validation, burst final-member slot through cleanup

ThomasK33

committed

b9d8da5

docs(adr): consistent slot-lifetime wording; burst lock sequencing per shipped debounce precedent with explicit ADR 0002 qualification

ThomasK33

committed

f5dd0ae

docs(adr): batch FIFO seal-order dispatch, batch-derived member retention bound (ADR 0002 qualification), budgeted busy-response for ack-separated interactions

ThomasK33

committed

8d0c4ae

docs(adr): burst window = DebounceInterval, bounded batch coordination with observable abandonment, lease-loss batch disposition

ThomasK33

committed

f900f11

docs(adr): cap-reaching member ownership, cooperative-bound residual, no-response-url fallback, no-undocumented-loss invariant

ThomasK33

committed

88e1205

docs(adr): fixed burst window anchor, OutcomeSkippedLeaseLoss closed-set value, member reference clearing before slot release

ThomasK33

committed

ee38be8

docs(adr): shutdown drains open windows, handler-error continuation, detached busy-post context, index ADR 0015 in explanation.md

ThomasK33

committed

43b658b

docs(adr): ADR 0004 burst lock qualification, atomic shutdown admission close, tenant counter cleanup

ThomasK33

committed

bfe2afb

docs(adr): idle scope-coordinator removal; busy-post drain before adapter cleanup

ThomasK33

committed

5838bfe

docs(adr): decision-only re-scope per maintainer ruling — decisions/invariants/non-goals; all mechanism prose cut; burst admission deferred to #53 revival

ThomasK33

committed

aef222e

Navigation Menu

Uh oh!

docs(adr): ADR 0015 — deferred-dispatch admission bound; cross-instance coalescing rejected for now - #54

docs(adr): ADR 0015 — deferred-dispatch admission bound; cross-instance coalescing rejected for now#54
ThomasK33 merged 28 commits into
mainfrom
adr-0015-runtime-coordination

Commits on Aug 27, 2026

docs(adr): ADR 0015 — deferred-dispatch admission bound and fenced cross-instance coalescing (design for #44 + #50)

docs(adr): honest preemption-overlap contract (cooperative cancellation) and explicit sync-dispatch serving-layer non-goal

docs(adr): close coalescing protocol holes — global fence sequence, register-all-routed, deferred-only fencing, abandonment vs degradation

docs(adr): commit-point degradation rule, admission-anchored register TTL, NATS uniform-TTL provision, reject preemption under concurrent

docs(adr): bounded allocation-to-registration window with TTL arithmetic covering it

docs(adr): concrete fence timing bounds, uniform-fleet caveat, LockForcer commit-point rule, bounded refresh calls, burst requires deferred

docs(adr): full-park check horizon, fence as single ordering source, idempotent takeover reconciliation, shape-aware admission rejection

docs(adr): bounded idempotent takeover reconciliation; fleet-uniform timing for TTL arithmetic across all backends

docs(adr): scope-wide degradation ordering, pre-RPC window anchor, expired register-entry purge

docs(adr): universal SHA-256 holder identity; reject burst + preemption hook

docs(adr): uniform pre/post-mark degradation rule; concrete refresh RPC bound (one refresh interval)

docs(adr): takeover + reconciliation execute in the detached tail under the DetachTimeout budget

docs(adr): extend-as-reconciliation-probe with TTL horizon; ack-budget bounds on prelude fence calls

docs(adr): conflict-time observation binding, hook in tail, extend-only probe, read-completion validity, allocation before all prelude State reads, spec-level scoping

docs(adr): descope preemption to rejected shapes + binding requirements + deferred protocol design (non-converging surface, per the #38 precedent)

docs(adr): re-scope per maintainer directive — admission bound kept, cross-instance coalescing rejected for now with formal-design reopening bar

docs(adr): prelude-return slot release, ADR 0003 acceptance qualification, explicit ADR 0012 supersessions for burst gating

docs(adr): slot release at tail-goroutine return, duplicate fast path at the cap, optional per-tenant sublimit

docs(adr): drop unimplementable duplicate fast path (qualify ADR 0002, prohibit mark-as-probe), composite tenant key + empty-tenant bucket + validation, burst final-member slot through cleanup

docs(adr): consistent slot-lifetime wording; burst lock sequencing per shipped debounce precedent with explicit ADR 0002 qualification

docs(adr): batch FIFO seal-order dispatch, batch-derived member retention bound (ADR 0002 qualification), budgeted busy-response for ack-separated interactions

docs(adr): burst window = DebounceInterval, bounded batch coordination with observable abandonment, lease-loss batch disposition

docs(adr): cap-reaching member ownership, cooperative-bound residual, no-response-url fallback, no-undocumented-loss invariant

docs(adr): fixed burst window anchor, OutcomeSkippedLeaseLoss closed-set value, member reference clearing before slot release

docs(adr): shutdown drains open windows, handler-error continuation, detached busy-post context, index ADR 0015 in explanation.md

docs(adr): ADR 0004 burst lock qualification, atomic shutdown admission close, tenant counter cleanup

docs(adr): idle scope-coordinator removal; busy-post drain before adapter cleanup

docs(adr): decision-only re-scope per maintainer ruling — decisions/invariants/non-goals; all mechanism prose cut; burst admission deferred to #53 revival