Decide test quiescence from SwiftModel's own work registry, not from executor idleness - #74

Closed

mansbernhardt wants to merge 11 commits into

mainfrom

proto/quiescence-adopt

Commits on Sep 9, 2026

Semantic quiescence prototype: work-unit park/run state + dual-run instrumentation

mansbernhardt
and
claude
committed
46033e1
Quiescence trace: name the busy sub-predicate, cap the running-unit list

mansbernhardt
and
claude
committed
efd2bbf
Tier 1 source-side parking + close both work-unit epilogue windows

mansbernhardt
and
claude
committed
dfbb85a
Document why the park mark uses AsyncStream(unfolding:)

mansbernhardt
and
claude
committed
e33c2dc
Eager unpark: the resumer unparks, not the resumed task

mansbernhardt
and
claude
committed
14dae77
Eager unpark for foreign sources too, on the half we own: cancellation

mansbernhardt
and
claude
committed
54cd159
Let the semantic answer decide: oldSaysDone AND (newSaysDone OR looksUndeclared)

mansbernhardt
and
claude
committed
d17c2db
Name the undeclared work when the fallback is what let a wait finish

mansbernhardt
and
claude
committed
467a269
Adopt withModelParked in the suite's clocks, and document the three-line hook

mansbernhardt
and
claude
committed
aa9d93f
Scope the park history to a region: a forEach body is not its loop

mansbernhardt
and
claude
committed
d2db686
Pin the eager-unpark property with a gated body instead of a transient assertion

mansbernhardt
and
claude
committed
448c637