Invart/docs/html/examples.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
<!doctype html>
<html lang="en">
<head><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><title>Invart Examples</title><link rel="stylesheet" href="style.css"></head>
<body>
  <header class="hero"><span class="badge">Examples</span><h1>Examples and safe fixtures</h1><p>Small local inputs for learning Invart before running larger demos.</p><nav class="nav"><a href="index.html">Docs Home</a><a href="quickstart.html">Quickstart</a><a href="five-layer-operator-guide.html">Operate L1-L5</a><a href="runtime-effect-demo.html">Runtime Demo</a></nav></header>
  <main class="wrap">
    <section>
      <p>This page is a compatibility index for small examples. For a guided first run, use Quickstart. For layer-by-layer operation, use the five-layer operator guide.</p>
      <table>
        <tr><th>Example</th><th>Use it for</th></tr>
        <tr><td><a href="../../examples/basic-managed-session.sh">basic-managed-session.sh</a></td><td>Create one managed session, ledger, and proof for a low-risk command.</td></tr>
        <tr><td><a href="../../examples/policy-profile.toml">policy-profile.toml</a></td><td>Inspect a compact policy-as-code profile with path-aware rules.</td></tr>
        <tr><td><a href="../../examples/unsafe-action-event.json">unsafe-action-event.json</a></td><td>Analyze an unsafe shell event without executing it.</td></tr>
      </table>
    </section>
    <section>
      <h2>Analyze the unsafe event</h2>
      <pre>invart runtime analyze-event --event "$(cat examples/unsafe-action-event.json)"</pre>
      <p>This command analyzes a JSON event payload. It does not execute the unsafe command inside the fixture.</p>
    </section>
  </main>
</body>
</html>