boundlab.error#
Named error symbols and their provenance.
An Error is the atom of uncertainty in BoundLab: a tensor-shaped
symbolic variable ranging over \([-1, 1]^{shape}\), identified by a
globally unique ID. Domains build abstract values as functions of these
symbols; two values referencing the same symbol stay correlated, which is
what lets x - x concretize to exactly zero.
Reasons records where a symbol’s error mass came from (“input”,
“relu”, “matmul”, …) as a weighted set of labels, so bound widths can be
attributed back to the operations that produced them.
Classes
A named independent error expression with values in |
|
A collection of named reasons for an error. |
Modules
Layout bookkeeping for error symbols stored in flat coefficient axes. |