Publishing these docs

1. Merge this branch (or copy /docs to the repo that should host Pages).
2. GitHub → Settings → Pages.
3. Source: Deploy from a branch → branch with /docs folder (or GitHub Actions if you add a workflow later).
4. Theme resolves via remote_theme: just-the-docs/just-the-docs in _config.yml.
5. Point the Atlas Docs button at the resulting *.github.io/... URL (or a custom domain).

If the production remote is syntology/syntology, prefer https://syntology.github.io/syntology/ (or docs.syntology.ai if configured) and update the Docs href accordingly. This fork may need Pages enabled explicitly while the repo is private.