oracle

Overview ¶

Command oracle is the seeded rational differential: every rounding operation of the library is run through the public API on seeded random and constructed-tie inputs in every mode, and each result, its exponent or digit count, and its Inexact, Rounded and direction bits are compared with an exact math/big reference (reference.go). The harness supplies the target exponent or precision and the mode; the reference never infers them.

The tests run the fixed seed below. The command runs deeper searches with other seeds:

go run ./tools/oracle [-seed N] [-random R] [-ties T] [-op NAME] [-laws L]

It prints per-operation counts and every disagreement, and exits 1 on any disagreement, 2 on a usage error.