Source coverage, with its actual boundaries

What is inventoried, and what has been reviewed?

The foundation inventory, later research review and proof execution answer different questions. The following counts retain those distinctions.

Active published claims

783 original ledger entries, all accessible in the foundation register.

Source reviewed research findings

710 findings from the separate authored research programme. These are not a semantic review of every paper section.

Registered verification modules

707 modules with source navigation. Registration is distinct from execution.

Publication source correspondence

706 executable publication copies match the frozen source. 1 is older; its exact research source is separately available as a source document, without asserting a new execution. Inspect v395_hypergraph_coupled

Public paper sections

6,693 physical sections in 116 document views, including active and historical material.

Authored topic assignments

60 claims have authored topic links. 723 remain unassigned; they are preserved and searchable without invented semantic memberships.

Paper navigation

774 claims have at least one paper navigation link. 9 have no linked section. Explicit claim citations and shared script joins are labeled separately.

Paper sections semantically reviewed by this registry

0. Literal source extraction and navigation coverage do not imply a completed scientific review of those sections.

Proofs rerun by this export

No. This inventory does not rerun mathematical proofs, Python checks, Wolfram or Lean.

Exact authored topic memberships and literal public citations. Shared script joins are navigation, not theorem equivalence, causality, proof execution or a reviewed assignment of all claims to topics.