JacqOS Documentation

This is the builder path. If you are evaluating JacqOS as a buyer, use the top-level site first. If you are ready to build, request beta access, then move through the guided proof path, containment patterns, build, foundations, and reference.

Not ready for docs yet?

Take the shorter evaluator path first.

If you are still deciding whether JacqOS fits, start with Why JacqOS, Trust, or Examples. Come back here when you are ready to inspect the technical model or begin a guided beta evaluation.

Evaluator path Why JacqOS

The product story: failure modes, the boundary, and where JacqOS fits.

Explore → Evaluator path Trust

Guarantees, non-guarantees, and the verification surfaces behind them.

Explore → Evaluator path Examples

Proof-first examples grouped by failure mode and industry.

Start

Join the private beta and inspect JacqOS blocking a dangerous AI action.

Request beta access, then evaluate JacqOS with a guided Studio proof path.

Patterns

The two patterns that make AI agents safe — in practice, not in theory.

The two flagship containment patterns in depth: fallible sensors and LLM decision containment.

Open Patterns →

Build

Scaffold a verified app in one command. Pattern-aware quickstarts.

Scaffold, edit, replay, verify, ship. Pattern-aware quickstarts and example walkthroughs.

Cloud

Publish a verified app, choose Studio or CLI, and keep hosted behavior replayable.

Publish a verified app to JacqOS Cloud, choose the Studio or CLI path, send observations, and replay hosted evidence.

Foundations

Understand why the containment works. Voluntary, self-paced.

Why the containment works: observation-first model, candidate vs proposal, invariants, worldviews, model-theoretic foundations.

Open Foundations →

Examples

Walkthroughs of the bundled flagship examples.

Walkthroughs of real agent apps — bundled first, advanced after.

Open Examples →

Reference

CLI, config, and artifact reference.

CLI commands, jacqos.toml config, and artifact specifications.

Open Reference →