Companion for the graded truth value _Truth; holds the smart factory and the named unknown constant.
_Truth.of collapses the crisp endpoints 0.0 / 1.0 back to _Bool(false) / _Bool(true), so every existing _Bool(b) pattern match across the codebase keeps firing on crisp results — only a genuinely intermediate degree ever becomes a _Truth. This mirrors _Complex.of's collapse of a zero imaginary part back to _Number.
Symmetric ternary spells the three truth values {-1, 0, 1} where the default alphabet uses {0, 1/2, 1}; the two are related by the affine map t = (s + 1) / 2, of which _Truth.symmetric is the inverse. This is a change of digits only — the same rule table drives both spellings.
Value parameters
s
the symmetric digit; -1 is false, 0 is unknown, 1 is true
Attributes
Returns
the corresponding truth value, via _Truth.of (so ±1 collapse to _Bool)