Crate origin 

Origin

Every value is origin, at a boundary, or contents. The compiler knows which. One pattern. Every domain.

Three sorts — matching the formal foundation in Val α:

• Origin(B) — pure absorption. The system hit its absolute boundary. No last value. The reason is all that exists.
• Boundary { reason, last } — crossed an edge. The container preserves the last known value and the reason.
• Contents(T) — actual value. Arithmetic lives here.

Structs

Chain

The residual chain: every step of how you got there.

ChainEntry

A step in the residual chain: what was computed at each layer.

Contradicted

DivisionByZero

GenericBoundary

Hallucinated

Imaginary

ModelUncertain

Overflow

Underflow

Enums

Value

The core type. Origin, Boundary, or Contents. Three sorts. Every domain.

Traits

BoundaryKind

A boundary reason. Every domain defines its own.

Functions

divide

Division. Contents divided by contents is always contents. IEEE 754 handles the value: 10/0 = Inf, 0/0 = NaN. The sort is determined. The value is arithmetic’s problem.

sqrt

Square root. Contents in, contents out. IEEE 754 handles negative input: sqrt(-1) = NaN. The sort is determined. The value is arithmetic’s problem.

Attribute Macros

boundary_check

Enforce boundary handling at compile time.

Derive Macros

BoundaryKind

Derive the BoundaryKind trait for a struct or enum.