The proof · the corpus

Where the record reaches, and where it stops.

Every mark is a subject we have actually observed, placed where a live read says it belongs. Where there is no mark, we have looked at nothing there, and the map says so rather than filling the space.

What the map cannot hold, counted rather than dropped.

The read has not answered yet, so this list is empty rather than filled from a shape somebody remembered.

A standard has no country. A dwelling is one dot's worth of one city. A certificate log belongs to an operator and not to a border. None of those is scattered somewhere plausible to make the map look fuller: they are counted here, by class, and the total above adds up either way.

What the decision rests on today

A claim about coverage, with no edge to it.

Every one of these is believed because of who supplied it, and none of them can be checked by the person deciding whether the coverage reaches their case.

the claim

Coverage stated as a round number, in a sentence that never says which things are not in it.

the sample

A sample chosen by the party being evaluated, which is a statement about their choosing and not about their corpus.

the gap

What is missing is the thing nobody publishes, because publishing it is the only part that costs something.

What oddly puts on the record

The same thing, with its edge drawn.

Placed plus unplaced equals every distinct subject the ledger holds. That is an arithmetic identity rather than a promise, and it is computed in one place so the two halves can never disagree.

placed

Drawn only where a live read put a real subject, at a seat from committed geometry. A place with nothing observed in it draws nothing.

unplaced

Counted and named by class. Most of this corpus is here, and printing it is the difference between a map and an advertisement.

no coordinate

The response carries counts and never a latitude. A coordinate in a response would be a measurement nobody in this estate made.

The verbs

Observe. Seal. Publish. Anchor.

The same four on every surface. A product here is the record read for one decision, never a second machine.

observe

Read the source as it is published, and write down both clocks.

seal

Hash the row with its predecessor, so no receipt can move without every later one changing.

publish

Fold the day's receipts into one root and put it where anyone can read it.

anchor

Submit the root to a chain we do not run. From then on, checking us does not involve us.

The receipt for these counts, read live

The numbers on this page have a receipt, and this is it.

Every statement below carries its own scope and its own observation stamp, and the content hash under them is tamper evident over the whole document.

The receipt has not been read yet, so nothing is stated here.

subject
[unread]
schema
[unread]
hash algorithm
[unread]
content hash
[unread]
day root
[today's root]
anchored in block
[pending]

The content hash proves the document was not altered between the estate and this page. It is not a claim that the counts are correct, and the receipt says so about itself: the procedure for recomputing it is published with it, so a reader can check the hash without asking us.