Veriformatics verification catalog
Copyright 2026 Veriformatics, Inc.

Original catalog, verification code, and synthetic evidence contributions use
Apache-2.0 WITH LLVM-exception. Exact paths are annotated in REUSE.toml.
Scanpy and AnnData notices retain their original BSD terms. Other upstream
software is identified by metadata and links; its source or runtime is not
bundled in this public export. No upstream endorsement is implied.
This NOTICE is informational and does not modify any license.