fix(edge): release the WebSocket admission permit, add a budget key - #126

Merged

cuioss-oliver merged 11 commits into

mainfrom

feature/websocket-admission-permit-leak

Jul 29, 2026

Commits on Jul 29, 2026

fix(edge): release the WebSocket admission permit at relay teardown
cuioss-oliver
committed
feat(config): add the edge_hardening admission budget with a WebSocket relay sub-cap
cuioss-oliver
committed
test(it): prove the WebSocket relay returns its admission permits
cuioss-oliver
committed
feat(benchmarks): re-enable the websocketEcho goal now the permit leak is fixed
cuioss-oliver
committed
docs: document the edge_hardening admission budget across all three layers
cuioss-oliver
committed
style(edge): apply the pre-commit formatter to the admission-budget sources
cuioss-oliver
committed
fix(test): use an unnamed catch pattern in GatewayEdgeRouteTest
cuioss-oliver
committed
fix(edge): derive the omitted websocket_relay_cap from the effective admission cap

cuioss-oliver
and
claude
committed
chore(architecture): record benchmark expected-list independence insight

cuioss-oliver
and
claude
committed
docs(adr): add ADR-0018 for the WebSocket admission budget

cuioss-oliver
and
claude
committed
docs(adr): renumber the WebSocket admission-budget ADR to 0020

cuioss-oliver
and
claude
committed