Expand description
Collecting report values across worlds, and printing them
(docs/semantics.md, sections 9, 10 and 14).
Structs§
- Acc
- Everything one report site saw for one key.
- Format
- Group
Result - What one report saw for one key.
- Numeric
- The summaries of a group of real numbers, or of continuous values.
- Quantity
- One reported quantity: a probability, a mean, a quantile.
- Reach
- Report
Result - One report’s results.
- RunStat
- What one sampled run reported for one key, added up over its visits: the aᵢ and bᵢ of docs/semantics.md, section 14.
- Sink
- All values reported at one site, per
bykey (()withoutby). - Support
- How many sampled runs a group rests on.
- Uncertainty
Enums§
- Status
- What’s known about a sampled quantity’s Monte Carlo error.
Functions§
- analytic_
mixture - Numeric components of a report containing a continuous marginal. These are report summaries, not conversions of scalar outcomes in programs.
- display
- A value as reports print it.
- estimate
- A sampled probability and its standard error, rounded to the error’s
precision:
46.1% ± 0.3%(docs/semantics.md, section 14). - fraction
- The simplest fraction within 1e-13 of
xwith a denominator of at most a million. It helps recognize an answer; it doesn’t prove the answer is exactly that fraction (docs/semantics.md, section 10). - pct
- A probability as a percentage with two decimals.
- render
- Render reports, each with what its sink collected, in source order.
- render_
results - Render reports from their
results, in source order: the renderer only formats the numbers they hold. - results
- The results of every report, in source order.
unresolvedis the weight the run left unresolved, which decides what’s complete;formatis what the renderer uses. - thousands
- An integer with thousands separators:
50,000.