tiny.reducer.Result

1/// Outcome of one run, borrowing its memory from the acquired workspace.2///3/// ## Lifetime and Borrowing Contract4///5/// The `bytes` slice points into the backing buffer of `storage`, and it stays6/// readable while the result is still live and the workspace has been neither7/// reused nor torn down.8///9/// `deinit()` gives up this run's lease by calling `storage.release()`, which10/// returns the workspace to steady and idle so a later run can acquire it, and11/// it moves the workspace no closer to teardown and frees no memory.12///13/// `deinit()` also clears the result's own fields, setting `bytes = &.{}`,14/// `attempts = 0`, `reductions = 0`, and `completion = .budget_exhausted`, and15/// it is called exactly once per result.16///17/// A caller that needs the reduced bytes after the workspace is reused or torn18/// down, or that wants to feed them in as the next run's input on the same19/// workspace, copies them into a buffer of its own before calling `deinit()`.20pub const Result = struct {21    /// Borrowed slice holding the reduced byte sequence, pointing into the22    /// workspace.23    bytes: []const u8,2425    /// Count of every oracle call the run made, including the first call, which26    /// checks the caller's own input. On a live result, before `deinit()`, the27    /// count is at least 1. `deinit()` sets it to 0.28    attempts: usize,2930    /// Count of the candidate deletions the oracle accepted. Each accepted31    /// reduction makes the witness strictly shorter. `deinit()` sets it to 0.32    reductions: usize,3334    /// Search outcome status flag holding `.one_minimal` when every single-byte35    /// occurrence deletion was put to the oracle and rejected. It holds36    /// `.budget_exhausted` when the run stopped because `attempts` reached37    /// `max_attempts` before the single-byte sweep finished. `deinit()` sets it38    /// to `.budget_exhausted`.39    completion: model.Completion,4041    /// Pointer to the workspace that owns the memory `bytes` refers to.42    storage: *storage_mod.Storage,4344    /// Gives up this run's lease on the workspace, returning it to steady and45    /// idle.46    ///47    /// After the call, `bytes` is an empty slice, the counters are zero, and48    /// the workspace can be acquired again.49    ///50    /// ## Safety51    ///52    /// - It is called exactly once per result.53    /// - One owner holds a given result and makes no shallow copy of it.54    /// - The result's public bookkeeping fields stay as the run left them.55    pub fn deinit(self: *Result) void {56        self.storage.release();57        self.bytes = &.{};58        self.attempts = 0;59        self.reductions = 0;60        self.completion = .budget_exhausted;61    }62};

1/// Outcome of a run, with bytes borrowed from the acquired workspace.2pub const Result = bytes.Result;