Quickstart

Verify the warrant layer in one local run.

The fastest AristotleOS proof is the reviewer flow: 18 checks covering Commit Gate decisions, public Warrant verification, a 40-asset swarm partition scenario, and replay artifact equality.

Run it.

$ git clone -b ward-warrant-execution-control https://github.com/AristotleAgentic/AristotleOS
$ cd AristotleOS/extracted
$ corepack pnpm@10.32.1 install
$ pnpm reviewer:verify

AristotleOS reviewer verification: PASS
  total checks:  18
  passed:        18
  failed:        0

What this proves.

Commit Gate behavior

ALLOW, REFUSE, and Warrant issuance are exercised against deterministic authority and action facts.

Public Warrant verification

Happy-path verification, tamper detection, untrusted keys, action-hash mismatch, and HTTP handler behavior are checked.

Disconnected operation

The swarm scenario checks bounded authority across nominal operation, partition, revocation, healing, and reconciliation.

Replay artifact

The published replay artifact parses, hashes match, gates verify, and local results equal published fields.

What this does not prove.

It does not prove external certification, production hardware validation, safety-critical readiness, or legal/regulatory sufficiency. AristotleOS is pre-1.0 research and engineering software. Treat the quickstart as a reviewable technical proof path, not a deployment approval.