Significant digits
The resolved decimal is shown prominently for immediate use. The exact mathematical form remains authoritative and defines the semantic certificate. Decimal precision affects only the display receipt.
Examples
1.0000000000000001 - 1
sin(pi/6) + cos(pi) + sqrt(2) + ln(2)
tan(pi/2)
sqrt(81) + abs(-9)
sin(pi/6) + cos(pi)
sin(deg(90)) + tan(pi/4)
sqrt(2) + ln(2)
log10(1000) + log(81,3)
asin(1/2) + atan(1)
exp(ln(7))
ln(-1)
gcd(84,30,18)
sqrt(2)^2
pi - pi
1/3
-3 % 2
-2^2
2^20 + 1/7
9^9^9
Resolved value
—
Exact mathematical form
——
State
—
Resolution class
—
Precision
—
Structure SHA-256
—
Semantic SHA-256
—
Display receipt
—
—
Structure Inspector
Surface → normalized structure → exact semantic value → optional decimal display
Surface
—
Canonical structure
—
Canonical semantic
—
Certificate policy
Exact identity excludes display precision
Resolution receipt
Function registry
Validates exact arithmetic, symbolic scientific functions, explicit limits, domain refusal, operator semantics, and semantic equivalence.