GEOMETOR • archimedes

GEOMETOR • archimedes

← archimedes / GEOMETOR • archimedes

geometor.archimedes.concordance¶

Concordance and provenance loader for GEOMETOR • archimedes.

Attributes¶

`REQUIRED_EUCLID_CITATION_KEYS`
`CANONICAL_UNIT_SLUGS`
`TRACK_SUFFIXES`

Classes¶

ConcordanceEntry

Single canonical proposition or treatise locus in Archimedes' Opera.

Functions¶

`get_repo_root`() → pathlib.Path	Return the root directory of the geometor/archimedes repository.
`load_json_resource`(name[, repo_root]) → dict[str, Any]	Load a JSON resource from `resources/works/<name>`.
`load_concordance`([repo_root]) → list[ConcordanceEntry]	Load all structured `ConcordanceEntry` records from `concordance.json`.
`verify_sources_manifest`([repo_root]) → list[str]	Verify SHA-256 digests and byte lengths of all archival provenance files.
`verify_euclid_citation_coverage`([repo_root]) → list[str]	Verify that every Archimedes citation key used in geometor/euclid is covered.

Module Contents¶

geometor.archimedes.concordance.REQUIRED_EUCLID_CITATION_KEYS: tuple[str, ...] = ('archimedes:conoids-and-spheroids', 'archimedes:equilibrium-of-planes:i-7',...¶

geometor.archimedes.concordance.CANONICAL_UNIT_SLUGS: tuple[str, ...] = ('measurement-of-a-circle', 'equilibrium-of-planes', 'quadrature-of-parabola',...¶

geometor.archimedes.concordance.TRACK_SUFFIXES: tuple[str, ...] = ('-en.rst', '-summary.rst', '-notes.rst')¶

geometor.archimedes.concordance.get_repo_root() → pathlib.Path¶: Return the root directory of the geometor/archimedes repository.

class geometor.archimedes.concordance.ConcordanceEntry¶

Single canonical proposition or treatise locus in Archimedes’ Opera.

id: str¶

unit: int¶

unit_slug: str¶

treatise: str¶

proposition: str¶

title: str¶

heiberg: str¶

heath: str¶

euclid_keys: tuple[str, ...]¶

ecosystem_links: dict[str, str]¶

geometor.archimedes.concordance.load_json_resource(name: str, repo_root: pathlib.Path | None = None) → dict[str, Any]¶: Load a JSON resource from resources/works/<name>.

geometor.archimedes.concordance.load_concordance(repo_root: pathlib.Path | None = None) → list[ConcordanceEntry]¶: Load all structured ConcordanceEntry records from concordance.json.

geometor.archimedes.concordance.verify_sources_manifest(repo_root: pathlib.Path | None = None) → list[str]¶: Verify SHA-256 digests and byte lengths of all archival provenance files.

geometor.archimedes.concordance.verify_euclid_citation_coverage(repo_root: pathlib.Path | None = None) → list[str]¶: Verify that every Archimedes citation key used in geometor/euclid is covered.