Builder
Fluent builder for a DefaultCollectorRunner.
Defaults: empty strategy list, MergingSweepPolicy, no record store (audit off), and DiceEventListener.DEV_NULL (events off).
The default policy merges rather than plain-flips: a duplicate mark that names a survivor has the loser's grounding and provenance folded onto that survivor before the loser is retired. For every other mark it behaves exactly like StatusTransitionSweepPolicy, which remains available via withPolicy for deployments that want pure status flips even on duplicates.
Functions
Configure the near-duplicate dedup sweep by adding a DuplicateCollectorStrategy.
Attach a listener to receive events after each applied transition.
Set the policy that decides each marked proposition's fate.
Attach an audit store so run records are persisted. Without this, no trail is written.
Add a strategy whose marks contribute to the sweep.