Spaces:
Running
Running
| # Contributing | |
| Fail-closed honesty: do not invent LIVE, PROVED, MEASURED, or a Λ theorem. | |
| Software-only paths are labeled SOFTWARE. Unsigned receipts stay UNSIGNED. | |
| Run: | |
| ``` | |
| python -m ayllu.selftest | |
| pytest -q | |
| ``` | |