Compiled arithmetic for longer uncertainty calculations

The exact rational implementation remains the reference. A separate compiled component now performs the same derivative operations with outward-rounded binary64 intervals. Seven tests compare products, reciprocals, square roots and trigonometric derivatives with the rational reference, including subnormal and extreme-scale inputs. All pass.

The component checks its numerical environment and records source, compiler and binary hashes. Unsupported inputs fail. It is not installed in any completed or running study.

This qualifies individual arithmetic operations. It does not yet establish whole-trajectory speed or accuracy, useful prediction ranges, native execution error or an observational error model. The compiled midpoint step passes ten checks. Its packet-loop connection also passes ten local checks; a separate finite native comparison covers longer prefixes. Whole-history bounds remain a further requirement.

Mathematics · Native adapter comparison · Prediction requirements