Property DefaultTopK

The top-k cut-off when nothing nearer the call site sets one.

public int DefaultTopK { get; init; }