Redline

Redline validates commercial lease math. It extracts lease facts with a configurable model provider, then runs deterministic checks over the extracted numbers so the verdict is based on arithmetic and rule assertions, not model judgment.

The first target is the expensive template error where rent was drafted as a figure per display face when the intended deal was a total. Redline is built for local review workflows: you point it at a lease PDF, it cites the source text it used, and the deterministic rules decide whether the math holds.

Install

Install everything with Homebrew:

brew install --cask chountalas/tap/redline-app

That installs Redline.app into /Applications and installs the CLI formula as a dependency, so the app, redline, and redline-mcp all use the same validator engine. Provider adapters for Codex, Ollama, OpenAI, and Anthropic are included.

CLI and MCP tools only:

brew install chountalas/tap/redline

Verify the install:

redline --version
redline --help

Upgrade later:

brew upgrade chountalas/tap/redline
brew upgrade --cask chountalas/tap/redline-app

The Python package is not published to PyPI yet. Homebrew is the supported public install path.

From source for development:

git clone https://github.com/chountalas/Redline.git
cd Redline
uv sync --extra dev --extra mcp
uv run redline check lease.pdf

Quickstart

redline check lease.pdf

Codex subscription is the default provider. It uses your local codex CLI login and does not require an API key:

redline check lease.pdf --provider codex

OpenAI API is separate and requires an API key plus an explicit current model:

export OPENAI_API_KEY=...
redline check lease.pdf --provider openai --model <openai-model>

Local Ollama runs do not require an API key:

ollama pull gpt-oss:20b
redline check lease.pdf --provider ollama --model gpt-oss:20b --base-url http://localhost:11434

Anthropic is available only when explicitly selected with an API key plus an explicit current model:

export ANTHROPIC_API_KEY=...
redline check lease.pdf --provider anthropic --model <anthropic-model>

Strict CI mode fails when a rule could not verify:

redline check lease.pdf --fail-on verify

JSON output:

redline check lease.pdf --json

Draft-vs-deal validation:

redline check lease.pdf --deal deal.yaml

Optional AI advisory focus, kept separate from deterministic findings:

redline check lease.pdf --context "Check that the rent matches the negotiated total economics."

Mac App

Redline includes a SwiftUI macOS wrapper. It uses the same Python validator engine as the CLI.

brew install --cask chountalas/tap/redline-app

To install a development build into /Applications from a source checkout:

./script/build_and_run.sh --install

The app supports choosing or dropping a lease PDF, choosing an optional deal.yaml, entering optional deal context/focus text, choosing Codex/OpenAI/Ollama/Anthropic, and reviewing the resulting report from a native window. The API key field is runtime-only and is passed to the CLI process as REDLINE_API_KEY; it is not written to disk by Redline. Codex and Ollama do not need a key.

Screenshots

Per-Face Total Demo

Synthetic fixture:

total_rent:
  amount: "400000"
  currency: CAD
num_display_faces: 2

If the lease says $400,000 per Display Face and also states total rent as $400,000, Redline emits:

ERROR
- [R2_per_face_total_reconcile] Per-face rent does not reconcile to stated total
  Expected: CAD 800,000.00
  Actual: CAD 400,000.00

That is the core trust boundary: the selected model extracts the facts and source quotes; Redline decides whether the math holds.

What Redline Checks

• R1_schedule_sums_to_total: rent schedule sums to stated total.
• R2_per_face_total_reconcile: per-face rent times display faces matches stated total.
• R3_escalation_consistency: schedule agrees with escalation clauses.
• R4_numeral_vs_words: numerals match spelled-out money.
• R5_term_date_coherence: commencement, base term, and expiry agree.
• R6_dealsheet_match: optional deal.yaml matches extracted facts.

See docs/rules.md, docs/dealsheet.md, docs/providers.md, docs/mcp.md, and docs/mac-app.md.

Privacy and Security

Do not commit real leases. The repository should only contain synthetic fixtures. Redline sends extracted lease text to the selected provider unless you use local Ollama. Use remote providers only where outbound API processing is acceptable.

Redline is not a law firm and does not provide legal advice. It is a validation tool for lease math, dates, extracted facts, and cited evidence.

See PRIVACY.md and SECURITY.md.

Before public push:

uv run python scripts/check_release_safety.py

Status

Open-source alpha. Homebrew is the supported public install path. The Python package is not published to PyPI yet.