Documentation
Start with a source checkout of the open-source Ranex kernel. Then run the included repository demonstration or configure your own acceptance policy.
01 / Source-run quickstart
You need Linux, Git, uv and CPython 3.11 through 3.14. Strict-local confinement also needs a qualified host; follow the operator guide before using that mode.
git clone https://github.com/anthonykewl20/ranex.git cd ranex uv sync --frozen uv run --frozen ranex --version uv run --frozen ranex --help
These commands use the current main branch. For a fixed version, choose a published release and check out its tag before syncing.
02 / Reproduce the demonstration
The included demonstration uses a pinned Six repository. It records a passing run, changes source, checks rejection of stale evidence, then records recovery. It needs network access and /usr/bin/python3 with pytest installed. No model account is needed.
uv run --frozen python tools/dogfood/external_proof.py \ --tag "$(uv run --frozen python tools/dogfood/release.py version)" --keep
Run this inside the checkout. Keep the generated JSON report and scratch directory to inspect the results.
Check the maintained README for prerequisites and changes ↗Maintained with the kernel
Install from source, configure the operator environment and inspect the CLI.
Bind the required checks and evidence to an external source tree.
Configure the adapter that publishes a verified verdict into pull request review.
Understand producer keys, source binding, independent journal heads and confinement requirements.