modules

geometor.hilbert

GEOMETOR • hilbert — Bilingual Book Codex of David Hilbert’s Grundlagen der Geometrie (1899 / 1902).

Provides structured concordance queries, primary-source verification utilities, and deterministic compilation of the synchronized four-track Book Codex (English, Deutsch, Summary, Notes) across Euclid, Hoenen, Hilbert, and Pappus.

Submodules

Attributes

__version__

Classes

ConcordanceEntry

Single cross-repository entry in the Euclid–Hoenen–Hilbert–Pappus concordance.

HilbertApparatus

Complete loaded scholarly apparatus for geometor-hilbert.

Functions

apparatus_slug(key) → str

Compute the deterministic anchor slug matching photon_platform.publish.roles.geometry.

load_apparatus([repo_root]) → HilbertApparatus

Load concordance.json, persons.json, glossary.json, citations.json, and manifest.

verify_sources_manifest([repo_root]) → list[dict[str, Any]]

Verify SHA-256 digests and byte sizes of all archival primary sources on disk.

Package Contents

class geometor.hilbert.ConcordanceEntry

Single cross-repository entry in the Euclid–Hoenen–Hilbert–Pappus concordance.

id: str
chapter: str
hilbert_sections: tuple[str, ...]
hilbert_axioms_theorems: tuple[str, ...]
euclid_refs: tuple[dict[str, str], ...]
hoenen_refs: tuple[dict[str, str], ...]
pappus_refs: tuple[dict[str, str], ...]
summary: str
classmethod from_dict(raw: dict[str, Any]) → ConcordanceEntry

Construct a ConcordanceEntry from a parsed JSON dictionary.

class geometor.hilbert.HilbertApparatus

Complete loaded scholarly apparatus for geometor-hilbert.

concordance_meta: dict[str, Any]
entries: tuple[ConcordanceEntry, ...]
persons: dict[str, dict[str, Any]]
glossary: dict[str, dict[str, Any]]
citations: dict[str, dict[str, Any]]
sources_manifest: dict[str, Any]
by_chapter(chapter_slug: str) → list[ConcordanceEntry]

Return all concordance entries belonging to chapter_slug (e.g. ‘chapter-1’).

by_section(section_label: str) → list[ConcordanceEntry]

Return concordance entries covering section_label (e.g. ‘§ 14’ or ‘14’).

search_euclid(query: str) → list[ConcordanceEntry]

Search concordance entries whose Euclid references match query case-insensitively.

search_hoenen(query: str) → list[ConcordanceEntry]

Search concordance entries whose Hoenen references match query case-insensitively.

search_pappus(query: str = '') → list[ConcordanceEntry]

Return concordance entries linked to Pappus (optionally filtered by query).

geometor.hilbert.apparatus_slug(key: str) → str

Compute the deterministic anchor slug matching photon_platform.publish.roles.geometry.

geometor.hilbert.load_apparatus(repo_root: pathlib.Path | None = None) → HilbertApparatus

Load concordance.json, persons.json, glossary.json, citations.json, and manifest.

geometor.hilbert.verify_sources_manifest(repo_root: pathlib.Path | None = None) → list[dict[str, Any]]

Verify SHA-256 digests and byte sizes of all archival primary sources on disk.

geometor.hilbert.__version__ = '0.1.0'