Validation

Three things, in order: whether the two presentations of the knowledge base are one object, the relational tables themselves — their actual values, filterable, with any filter openable in the graph — and the results of every check run over them. Hover any check name to read what it tests.

1 · Graph–relational isomorphism

Each rule computed twice — relational algebra on the left of the ==, graph traversal on the right — verdicts compared subject by subject. The dot is the agreement of the two sides, which is what this section certifies; the count beside it is the size of the set they enumerate, and each row says which set that is. Some rules count the subjects that satisfy them, so a bigger number is better; others count the subjects that violate them, and zero is clean. Full statement: docs/GRAPH-RELATIONAL-ISOMORPHISM.md; the paper in preparation is cited from the epistemology chapter.

2 · The relational tables

The knowledge base itself — the values, not an index of table names. Every column filters, every column sorts, and the filter is a spec that travels in the URL, so any view here is shareable and opens as the same set of objects in the graph. That the two are the same set is what section 1 proves.

objects — 121 rows shown · read-only view of docs/latex/graph/objects.csv

3 · Checks on the relational db

DOI sweep — last run: 2026-08-25T09:52:14Z · oldest check still relied on 10 days old · refresh with python tools/validate.py --online

Every check, and what it tests

One registry — graph_extract.CHECKS — over one relational database. A check cannot be shown to a reader without saying what it means, and cannot emit a finding under a name that is not here. Aggregations of the results — findings by check and by part, coverage by part, the graph's canonical variables — live on /analytics, once, because the two presentations share one set of results.

Declared coverage by chapter

The migration meter: of the phenomena, theorems and experiments in each chapter, how many carry a declared edge. Showing the 1 chapter(s) inside the active filter, of 128.

Findings

0 under the active filter (Part I — Foundations) · 944 in the book. The first 80 are shown, those inside the filter first and red before amber. Full list: docs/latex/graph/graph-findings.csv.