Struct Dsv4SampleCfg 

pub struct Dsv4SampleCfg {
    pub temperature: f32,
    pub top_p: f32,
    pub top_k: usize,
    pub seed: u64,
}

ds4f rung 2 (slice 1) — the dsv4 SAMPLED path’s sampler: deterministic, POSITION-KEYED seeded draws over a temperature/top-k/top-p-filtered target row.

Position keying is the identity law’s load-bearing choice: the uniform draw for absolute position pos is a pure function of (seed, pos), never of how many draws happened before — so the plain sampled loop and the sampled-leader verify walk consume IDENTICAL randomness at every position, and (because the batched verify’s logits rows are bit-exact against the sequential step’s — the it3 gate (c) proof) sampled spec == sampled plain identity is structural, per seed, exactly like greedy. The drafter keeps proposing greedily (its chain is a deterministic proposal policy); arbitration is sample-match against the target draw — the correct accept rule for a one-hot proposal (the q38 “cold sampled leader” shape).

Filter semantics (vendor-posture defaults live at the call sites: temperature 1.0, top_p 0.95, top_k off): logits/T -> softmax -> top-k by (value desc, index asc) -> smallest prefix of that order with cumulative mass >= top_p (always >= 1 token) -> renormalize -> inverse-CDF draw at u(seed, pos). temperature <= 0 REFUSES BY NAME (greedy is the greedy driver’s job; a silent argmax fallback here would be the q38 penalized-greedy footgun).

Fields

temperature: f32

top_p: f32

top_k: usize

seed: u64

Trait Implementations

impl Clone for Dsv4SampleCfg

fn clone(&self) -> Dsv4SampleCfg

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Dsv4SampleCfg

impl Debug for Dsv4SampleCfg

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.