Setup¶

Python dependencies are managed with uv. The project currently requires Python 3.13 or newer.

uv sync --all-groups --all-extras

The safety stack also needs Spot. Monitored, shielded, and contract experiments require the Spot CLI tools on PATH:

ltlfilt --version
ltl2tgba --version
autfilt --version

If any of those commands is missing, safety monitor construction and assume-guarantee certification will fail fast.

Run Tests¶

uv run pytest -v --timeout=60

Some tests require optional heavy packages and the Spot toolchain. The repository is configured so missing core safety tooling is a real failure for monitored, shielded, and contract paths.

Run The Docs¶

Build the static site:

uv run zensical build --strict

Preview it locally:

uv run zensical serve

The configured development server is http://localhost:8000/. Static output is written to site/, which is intentionally ignored by git.