Metadata-Version: 2.5
Name: oak-domain-faculty-mathematics
Version: 0.3.1
Summary: Tier 3 faculty — the mathematics discipline's library of capability.
Requires-Python: >=3.13
Requires-Dist: oak-understory-common<3,>=2
Requires-Dist: oak-understory-fitting<1,>=0.1
Provides-Extra: dev
Requires-Dist: pytest-cov; extra == 'dev'
Requires-Dist: pytest>=8; extra == 'dev'
Description-Content-Type: text/markdown

# oak-domain-faculty-mathematics

The **mathematics faculty** for [Understory](https://github.com/oakquant-ai/understory)
(Tier 3). A *library of capability*, built **method-first** — the seat is the last
thing reached, not the first.

Today it carries three deterministic Tier-1 **rules** (`methods/rules/`), each a
pure, exact, individually-tested function:

- `polynomial.cauchy_bound` — Cauchy's bound on polynomial root moduli.
- `number_theory.modular_inverse` — modular inverse via the extended Euclidean algorithm.
- `linalg.rank` — exact matrix rank over the rationals (no floating-point error).

Fitted models (with held-out calibration records), codified experiments, and a
seat follow. Mathematics has unforgiving ground truth, so it proves the machine
(program-plan §4).

Imports `oak-understory-common` (the contract) and nothing else of Understory's.
Part of the OakQuant `oq-sync` set.
