Struct SpecRoundGpu 

pub struct SpecRoundGpu {
    pub start_pos: usize,
    pub drafts: Vec<u32>,
    pub accepts: usize,
    pub verified: usize,
    pub t_batch: usize,
    pub t_cap: usize,
    pub confidence: Vec<f32>,
    pub emitted: usize,
    pub round_us: u64,
}

One verify round’s bookkeeping (the device twin of spec_oracle::SpecRound).

Fields

start_pos: usize

drafts: Vec<u32>

accepts: usize

verified: usize

t_batch: usize

batch depth actually forwarded this round (T = 1 + verifiable drafts)

t_cap: usize

STRUCTURAL depth ceiling for this round: min(k_drafts + 1, MEMRA_DSV4_SPEC_DEPTH, vstate.tmax) – i.e. t_batch before the n_new budget is applied. t_batch < t_cap is exactly “the budget truncated this round”, which is what carry_pending keys on.

confidence: Vec<f32>

The drafter’s fp32 per-slot confidence for this round’s proposal (pre-sigmoid logits; the head is supervised on c* = 1 - TV, i.e. conditional acceptance probability). Banked per round so the DSpark Algorithm-1 scheduler can be scored offline against measured round costs – never consumed by the round itself.

emitted: usize

tokens this round contributed to the output stream (head + accepted drafts)

round_us: u64

wall time of the whole round — proposal, batched verify, commit/rollback, drafter ring advance — with the drafter stream synchronized at the round boundary so no work leaks into the next round’s measurement. The A/B instrument.