feat(workhub): add direct stop coordination - #4439

Merged

Astro-Han merged 19 commits into

apache:mainfrom

ARE404:feat/workhub-direct-stop

Sep 3, 2026

Commits on Sep 3, 2026

feat(workhub): add direct stop coordination
ARE404
committed
3bf54ad
fix(desktop): keep WorkHub stop routing behind policy
ARE404
committed
84af1c5
fix(workhub): harden direct stop recovery
ARE404
committed
19eaa70
fix(workhub): claim prepared replacements before effects
ARE404
committed
2ec065c
docs(workhub): record shared session resolution design
ARE404
committed
d668357
refactor(workhub): resolve stop targets through a shared Session Resolver
ARE404
committed
89cc3a1
fix(workhub): admit stop by resolved identity and expected state
ARE404
committed
84a7e51
docs(workhub): record resolver-backed stop resolution and admission
ARE404
committed
4649241
fix(workhub): scope the stop visibility proof to one delegation
ARE404
committed
2a8c50d
refactor(workhub): single-source the Session name rule behind the port
ARE404
committed
6030c6f
refactor(workhub): let the Host alone prove sole delegation
ARE404
committed
13ec555
fix(workhub): never read an unrecovered root as already terminal
ARE404
committed
dc9511b
fix(workhub): let finished delegations stop competing for stop
ARE404
committed
e1fe629
docs(workhub): fold the resolution design back into the ADR
ARE404
committed
789e92f
fix(workhub): ask the Host before answering a stop with a refusal
ARE404
committed
2022a4d
fix(workhub): let the Host name the delegation a stop ends
ARE404
committed
b2c9612
refactor(workhub): retire the stop proofs the resolver replaced
ARE404
committed
34a32f2
fix(workhub): name the refusal when a stop identity outlives its delegation
ARE404
committed
217a8d9
test(workhub): tighten direct stop coverage
ARE404
committed
8f723e0

Navigation Menu

Uh oh!

feat(workhub): add direct stop coordination - #4439

feat(workhub): add direct stop coordination#4439
Astro-Han merged 19 commits into
apache:mainfrom
ARE404:feat/workhub-direct-stop

Commits on Sep 3, 2026

feat(workhub): add direct stop coordination

fix(desktop): keep WorkHub stop routing behind policy

fix(workhub): harden direct stop recovery

fix(workhub): claim prepared replacements before effects

docs(workhub): record shared session resolution design

refactor(workhub): resolve stop targets through a shared Session Resolver

fix(workhub): admit stop by resolved identity and expected state

docs(workhub): record resolver-backed stop resolution and admission

fix(workhub): scope the stop visibility proof to one delegation

refactor(workhub): single-source the Session name rule behind the port

refactor(workhub): let the Host alone prove sole delegation

fix(workhub): never read an unrecovered root as already terminal

fix(workhub): let finished delegations stop competing for stop

docs(workhub): fold the resolution design back into the ADR

fix(workhub): ask the Host before answering a stop with a refusal

fix(workhub): let the Host name the delegation a stop ends

refactor(workhub): retire the stop proofs the resolver replaced

fix(workhub): name the refusal when a stop identity outlives its delegation

test(workhub): tighten direct stop coverage