# StatsMLlib Authors

## Copyright and Authorship

**Copyright in StatsMLlib is held by the individual copyright holders identified in the source
files.** The repository-level summary below does not transfer or consolidate those rights.

Every library source file has a Mathlib-style header with two distinct forms of attribution:

- The `Copyright` line identifies the copyright holder recorded for that file.
- The `Authors` line identifies people responsible for significant authorship, such as original
  creation, a major refactoring, or an important addition.

The two lines are related, but they do not make the same claim. An author listed in an `Authors`
line is not necessarily the copyright holder named in that file, and an aggregate repository author
list must not be read as saying that every person authored every module.

The [published StatsMLlib website](https://statsmllib.github.io/) identifies project authors in
two roles. The order below follows the website.

### Organizers

- Fanghui Liu
- Jason D. Lee
- Peter Bartlett
- Weijie Su
- Aleksandar Mijatovic
- Taiji Suzuki
- Yuekai Sun
- Sho Sonoda

### Contributors

- Yuanhe Zhang
- Sho Sonoda
- Kei Tsukamoto
- Kazumi Kasaura
- Naoto Onda
- Yuma Mizuno
- Kevin Han Huang
- Kazuki Uesugi — Bernstein inequality

These roles describe project-level organization and contribution. Sho Sonoda appears in both roles,
as on the published website. Neither role replaces file-level copyright or authorship notices.

The header of each source file is the authoritative attribution for that file. Existing notices
must be preserved when code is moved, renamed, or substantially reused. The repository-level
summary above does not supersede file-level attribution.

The [Git history](https://github.com/Lean-MoDS/StatsMLlib/commits/main) records repository
contributions made after publication. It may not fully represent authorship that predates migration
into this repository, so migrated source headers must not be inferred from commit authors alone.

## Co-Authorship

When work is co-written, include one Git trailer for each additional author in the commit message:

```text
Co-authored-by: Full Name <email@example.com>
```

Use an email address associated with that person's GitHub account if the co-authorship should be
displayed by GitHub. For a significant contribution to a Lean source file, also update its `Authors`
header while preserving every existing copyright and author notice. See GitHub's
[multiple-author commit documentation](https://docs.github.com/en/pull-requests/committing-changes-to-your-project/creating-and-editing-commits/creating-a-commit-with-multiple-authors)
for the trailer format.

Unless explicitly stated otherwise, contributions intentionally submitted for inclusion in StatsMLlib
are provided under the terms described in [LICENSE](./LICENSE).