irrevon
Install

Install the Alpha. Verify what you run.

Version 0.1.0 is published on PyPI with an immutable GitHub Release. Build identity also lives in /version.json. The Apache-2.0 source path remains available.

Published package

Install v0.1.0

Irrevon distributes as one package with the Workbench embedded. Use an isolated tool environment where practical; the pinned form makes the exact Alpha version explicit.

PUBLISHED ON PYPIv0.1.0 Alpha
  • uvx irrevon==0.1.0run the exact release without installing
  • uv tool install irrevon==0.1.0recommended isolated CLI install
  • pipx install irrevon==0.1.0isolated CLI install
  • python -m pip install irrevon==0.1.0install into the active Python environment

Verify the release assets, SHA256SUMS, SPDX SBOM, and attestations. PyPI publication used OIDC Trusted Publishing rather than a repository token. Running the engine or demo requires PostgreSQL; package installation alone does not provision a database.

Evidence: Verified evidenceTechnical provenance

Source checkout and database

Build and run locally

Prerequisites, honestly: uv, Docker (for a local, digest-pinned Postgres 17 on loopback), and Git.

git clone https://github.com/PranavMishra28/irrevon.git && cd irrevon

uv sync --locked                # toolchain + deps, pinned by uv.lock
uv run irrevon init             # writes irrevon.toml, compose.yaml, .env.example
cp .env.example .env            # local migration bootstrap; no credential
set -a && . ./.env && set +a    # export the generated migration DSN
docker compose up -d --wait     # digest-pinned Postgres 17, loopback only
uv run irrevon init             # now applies the plain-SQL migrations
uv run irrevon doctor           # non-destructive checks; includes a rolled-back write probe
uv run irrevon demo             # the two-leg flagship story

Evidence: Verified evidenceTechnical provenance

Then step through what the demo recorded: the One-Way Seat, or follow the getting-started guide.

Leaving

Uninstall

Remove the package or source checkout, then remove local demo state if you created it.

uv tool uninstall irrevon # when installed with uv tool
docker compose down -v          # drop the disposable local demo database volume
cd .. && rm -rf irrevon   # remove a source checkout and its project-local files

The volume command is destructive. Do not run it against data you need to retain.