DefaultCollectorRunner

Proposition store to read candidates from and write transitions to.

Mark strategies run during the mark phase.

Policy deciding each marked proposition's fate.

Optional audit store; when null, no run record is saved.

Notified after each applied transition; defaults to a no-op.