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
