geometor.hilbert.concordance

Structured loader, query engine, and integrity validator for the Hilbert Codex apparatus.

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.
default_repo_root() → pathlib.Path	Resolve the repository root /home/phi/PROJECTS/geometor/hilbert.
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.

Module Contents

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

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

class geometor.hilbert.concordance.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.concordance.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.concordance.default_repo_root() → pathlib.Path

Resolve the repository root /home/phi/PROJECTS/geometor/hilbert.

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

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

geometor.hilbert.concordance.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.