Skip to main content

Module analytic

Module analytic 

Source
Expand description

Identity-preserving continuous outcomes during enumeration.

A draw is an affine function of one latent variable. Evidence is a set of intervals in that variable’s CDF coordinates. Worlds own their restrictions; values and closures remain immutable, and calls return restrictions alongside their results. Independent latent combinations require sampling for now.

Structs§

Analytic
Domain
Sorted, disjoint CDF intervals. Endpoints have zero probability.
Event

Functions§

binary
collect_ids
Latents reachable through an immutable value (including closure captures).
contains
Scan through aggregate values too: symbolic numbers must never become categorical keys or be compared by their internal identity as user data.
logic
resolve
Snapshot a value under this world’s posterior without mutating aliases.
unsupported

Type Aliases§

Constraints