Knowledge Graph

An interactive map of the propositions, concepts, and cross-paper dependencies across the research programme.

NoteAbout this graph

The graph contains 161 nodes across three layers — sections, propositions, and concepts — drawn from five papers (P1–P4, P7). Edges encode logical dependencies: proves, builds_on, uses, contains, generalises, motivates, constrains, and calibrates. Cross-paper edges (shown as dashed lines) trace how results in one paper depend on or extend results in another.

Drag to rotate, scroll to zoom, click a node to inspect it.