DOCUMENTATION

Nechtan Verify quickstart

Reach the first trustworthy refusal without learning AEGIS internals.

1. Install

python -m pip install "git+https://github.com/rsmithdev6/aegis.git@main"

2. Run the adversarial fixture

nechtan verify demo --scenario self-verification

Expected: exit code 2, status REFUSED, and the canonical claim ID.

3. Use an existing governed project

nechtan verify record OBL-ROOT \
  --category contract \
  --verifier qa-verifier \
  --status pass

nechtan verify issue --contract OC-1 --root OBL-ROOT

The certificate command refuses until contract, engineering-quality and evidence-integrity verdicts are all passing and current.

Troubleshooting

Unknown project: run from an initialized AEGIS/Nechtan project root.
Unknown obligation: use the canonical obligation ID from your delivery contract.
Stale verdict: the evaluated closure changed; run independent verification again.
Self-verification refused: use a verifier identity distinct from the recorded builder.