Skip to main content Crate sva_core Copy item path Source json Answer Every answer says which reading ran and under which profile, so a caller never has to
infer either from the shape of the value. Asked No destination is stdout. Builtins CacheReport The store at dir, and every lookup the render made of it. Callable Checkpoint Every node’s state at a block’s end, and what its stream was opened with. Crossing One written cast, and every representation it takes to which. Diagnostic One located finding. No fix field: an edit needs a span, and no written literal carries one. DiskCache Horizon Job A target the composition holds is that node; anything else is argv math. Label LintViolation One lint finding: its code, how hard it lands, and the node it is against. MemoryCache Rendered Report What a render answered with, and where anything too big for the object went instead. Shaping Silent Silence at bits is every later sample under 2^-bits of full scale, proven by max_secs. Slots A slot is keyed coarsely, by what a node is with its volatile values left out; a hit also
needs the value’s full key, so a coarse slot costs a miss and never a wrong buffer. Stream A target rendered from the grid’s first sample on, one block at a time: every block is the
samples a whole render over the same rows writes there, bit for bit. CliError Every expected failure mode this crate can hit; none of them a panic. LintCode Every shape lint reports. A caller dispatches on the tag, so the tag is the contract and
the variant is how this workspace spells it. Output Representation Severity WindowEdge What a window flag names, in the literals FORMAT 5.1 already spells: a bare number and
Ns are seconds, Nb is bars, and end is the node’s own extent. DEFAULT_LEDGER_DEPTH DEFAULT_MAX_PEAKS DEFAULT_OVERSAMPLE DEFAULT_SECONDS DEFAULT_SILENT_BITS The bits --to silent measures silence at where none are written: the profile’s own. DEFAULT_SILENT_MAX_SECS The latest instant --to silent looks for silence by, where --max names none. PROBE REPRESENTATIONS RESERVED_VARIABLES Read by name rather than through a ref. RETIRED ROOT SAMPLE_LIMIT Past this a caller reading stdout wants a narrower --from/--to, not a wall of JSON. answer_json FORMAT 14.3: every answer says which reading ran, under which profile, and at what rate.
A reading that truncated a series names what it left out, so the kept list is never read
as the whole of it. builtins builtins_data config_for The horizon a reading runs against: the window the caller named, else the node’s own
stated extent, reaching back to whatever a crop declares before zero. cwd define_probe_for Argv math: render, trace and lint each refuse a target no node answers for here,
under one code and one message. diagnostics_json error_envelope data.diagnostics is always present, empty where the failure has no subject to locate.execute instances_behind is_wav label_json The collapse label beside the reading it belongs to, per FORMAT 9.3. detail is the one
place a key may be absent: each rule is its own shape, and its fields belong to it. lint_diagnostic The one place a lint code becomes a diagnostic, so both of lint’s response paths
namespace it, locate it and help against it identically. outline_data { "text", "outline" }, or the parser’s own refusal, located in the text.prepared probe query_data written names every reading that went to a file rather than into this object.refuse_unresolved_bars A b literal without a tempo refuses rather than defaulting to some seconds-per-bar. representation_for retired roots_of A path the source answers for is a node; anything else is math, and its reads are roots. run settled silence A double holds 53 bits, so no finer silence is one it could show. silent_edge silent or silent:<bits>; None for any other end.stats_json computed counts every miss, stored the misses the store kept, slotted and replaced
the volatile misses a slot kept; a lookup’s tier is written only on a hit.stream job’s target settled as a render of it is, each of bindings a named argument on it.success_envelope value_json limit caps the arrays a stdout reader scrolls past; None writes every value. skim
only changes the ledger.window_edge window_for An unstated end, and end itself, are infinite here: config_for settles both against
the node’s own extent.