Metadata-Version: 2.4
Name: aiq-magnet-theory
Version: 0.1.0
Summary: Dependency-free theory annotations for MAGNET
Author-email: MAGNET Kitware <aiq-ta2@kitware.com>
License: Apache 2
Project-URL: Homepage, https://github.com/AIQ-Kitware/aiq-magnet/
Project-URL: Repository, https://github.com/AIQ-Kitware/aiq-magnet/
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Classifier: Programming Language :: Python :: 3.14
Requires-Python: >=3.11
Description-Content-Type: text/markdown

# aiq-magnet-theory

`aiq-magnet-theory` is the dependency-free annotation vocabulary used by MAGNET to
connect empirical Python code to theoretical statements and named premises.
The decorators and context managers are runtime no-ops, so application code can
annotate itself without depending on the full `aiq-magnet` stack.

```python
import magnet_theory as theory

@theory.tests('Examples.Stability.Theorem')
@theory.assumes('Examples.Stability.Theorem::hiid')
def experiment():
    ...
```

Install only the annotation package with:

```bash
pip install aiq-magnet-theory
```

The full `aiq-magnet` distribution contains the static parser, theory indexes,
validation, reporting, and evaluation integration that interpret these
annotations.
