flushLogsWithin

Completion barrier with a caller-supplied budget. False means the barrier did not finish in that budget. Attempts a coverage checkpoint without logging recursively. A failed checkpoint leaves older coverage; dropped entries still count as finished. This is not a durability promise.