feat(task-scheduler): enable concurrent delegated task fan-out - #1046

Open

edelauna wants to merge 8 commits into

mainfrom

Commits on Aug 8, 2026

feat(TaskScheduler): fan-out — parent stays active while child runs
edelauna
committed
797d8f3
fix(delegation): isolate parent/child provider state during fan-out
edelauna
committed
e28515e
test(delegation): add TLA+ formal model + drift-monitor spec
edelauna
committed
f4f25e4
fix: isolate fan-out task state during delegation
edelauna
committed
87a1ebc
test: harden fan-out regression coverage
edelauna
committed
f662ca5
fix(task-scheduler): allow reservations during semaphore handoff
edelauna
committed
8cb6733

Commits on Aug 9, 2026