Builder

class 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

Link copied to clipboard
Link copied to clipboard
fun withDuplicateDetection(strategy: DuplicateCollectorStrategy = DuplicateCollectorStrategy()): CollectorRunner.Builder

Configure the near-duplicate dedup sweep by adding a DuplicateCollectorStrategy.

Link copied to clipboard

Attach a listener to receive events after each applied transition.

Link copied to clipboard

Set the policy that decides each marked proposition's fate.

Link copied to clipboard

Attach an audit store so run records are persisted. Without this, no trail is written.

Link copied to clipboard

Add a strategy whose marks contribute to the sweep.