Veriformatics statistical selection demonstration
Copyright 2026 Veriformatics, Inc.

Original demonstration code, scientific descriptions and synthetic evidence
use Apache-2.0 WITH LLVM-exception, the selected license for original work.
Referenced upstream software retains its own terms; no dependency sources
or runtimes are bundled. No upstream endorsement is implied.
This NOTICE is informational and does not modify any license.