Invart/docs/html/quickstart.html at main · eric1311/Invart · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
<!doctype html>
<html lang="en">
<head><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><title>Invart Quickstart</title><link rel="stylesheet" href="style.css"></head>
<body>
  <header class="hero"><span class="badge">Quickstart</span><h1>Run one managed Invart session.</h1><p>This path creates a ledger, records a runtime command, exports proof, verifies it, and points you to L1-L5 inspection.</p><nav class="nav"><a href="index.html">Docs Home</a><a href="five-layer-operator-guide.html">Operate L1-L5</a><a href="examples.html">Examples</a></nav></header>
  <main class="wrap">
    <section>
      <h2>Install</h2>
      <pre>python -m venv .venv
source .venv/bin/activate
python -m pip install -e .
invart --help</pre>
    </section>
    <section>
      <h2>Run</h2>
      <pre>mkdir -p .invart/quickstart

invart session start \
  --target . \
  --agent demo-agent \
  --goal "Inspect the repository without risky changes" \
  --session-id invart_quickstart \
  --ledger .invart/quickstart/ledger.jsonl

invart runtime shell \
  --session invart_quickstart \
  --ledger .invart/quickstart/ledger.jsonl \
  -- python -c "from pathlib import Path; print(len(list(Path('.').iterdir())))"

invart session close --ledger .invart/quickstart/ledger.jsonl</pre>
    </section>
    <section>
      <h2>Verify</h2>
      <pre>invart proof export \
  --ledger .invart/quickstart/ledger.jsonl \
  --out .invart/quickstart/proof.json

invart proof verify \
  --proof .invart/quickstart/proof.json \
  --ledger .invart/quickstart/ledger.jsonl</pre>
      <p>The ledger is the fact source. The proof is a portable summary that can be shared with a gate, reviewer, or audit process.</p>
    </section>
    <section>
      <h2>Inspect L1-L5</h2>
      <pre>invart runtime layers \
  --ledger .invart/quickstart/ledger.jsonl \
  --out-dir .invart/quickstart/layers

invart evidence inspect \
  --manifest .invart/quickstart/layers/evidence/manifest.json \
  --out-dir .invart/quickstart/evidence-workspace \
  --require-layer-workflow</pre>
      <p>Open <code>.invart/quickstart/layers/layer-runtime-workflow.html</code> for the before-runtime, during-runtime, and after-runtime L1-L5 matrix. Open <code>.invart/quickstart/evidence-workspace/evidence-workspace.html</code> to verify who, what, why, policy, approval, outcome, and coverage.</p>
      <p>For interpretation rules, read the <a href="five-layer-operator-guide.html">five-layer operator guide</a>.</p>
    </section>
  </main>
</body>
</html>