Local Level Lab

Airborne measurements. Open methods.

Global calibration and rotating-force bound controls

30/30 identities passed in 4.51 seconds. The study charged 12,726 software reference/value evaluations, with no original reads or native-engine fits.

Control Passed Maximum actual remainder / bound Largest repository/reference difference
calibration 12/12 1 0
packet 12/12 0.947508 5.69e-14
history 6/6 0.894283 4.44e-16

The bounds come from global analytic inequalities, not the largest sampled error. Probes test their implementation. Fixed-time body preintegration is covered; candidate-specific geographic dynamics, timing across packet boundaries and a whole-record floating-point enclosure remain outside this result. No archive prediction fit is authorized by these controls.

Proof outline and frozen limits · Prediction interface · Roadmap.