← casey / GEOMETOR • casey

geometor.casey.concordance¶

Cross-repository concordance and SymPy capability audit for Casey’s Sequel to Euclid.

Provides structured access to resources/sequel_to_euclid/concordance.json mapping Casey’s propositions across euclid, elements, altshiller-court, etc, and pappus, alongside an empirical audit of sympy.geometry.Circle capability gaps filled by geometor.casey.

Classes¶

`ConcordanceEntry`	Single proposition/topic concordance mapping across the GEOMETOR canon.
`SympyCircleGap`	Audit record comparing `sympy.geometry.Circle` against `geometor.casey`.

Functions¶

`get_resources_dir`() → pathlib.Path	Return the path to `resources/sequel_to_euclid/` inside the repository.
`load_apparatus_registry`(name) → dict[str, Any]	Load a JSON apparatus file (`persons`, `citations`, `glossary`, `sources_manifest`).
`load_concordance`() → list[ConcordanceEntry]	Load all cross-repository concordance entries from `concordance.json`.
`audit_sympy_circle_gaps`() → list[SympyCircleGap]	Inspect `sympy.geometry.Circle` for modern-circle-geometry primitives in Casey.

Module Contents¶

class geometor.casey.concordance.ConcordanceEntry¶

Single proposition/topic concordance mapping across the GEOMETOR canon.

id: str¶

unit: str¶

casey_locus: str¶

folio: str¶

page: str¶

title: str¶

euclid_refs: tuple[str, ...]¶

altshiller_court_refs: tuple[str, ...]¶

etc_centers: tuple[str, ...]¶

pappus_refs: tuple[str, ...]¶

casey_symbol: str¶

class geometor.casey.concordance.SympyCircleGap¶

Audit record comparing sympy.geometry.Circle against geometor.casey.

capability: str¶

sympy_method_present: bool¶

casey_locus: str¶

geometor_casey_api: str¶

geometor.casey.concordance.get_resources_dir() → pathlib.Path¶: Return the path to resources/sequel_to_euclid/ inside the repository.

geometor.casey.concordance.load_apparatus_registry(name: str) → dict[str, Any]¶

Load a JSON apparatus file (persons, citations, glossary, sources_manifest).

Parameters:: name – Filename stem without .json extension.
Returns:: Parsed JSON dictionary.

geometor.casey.concordance.load_concordance() → list[ConcordanceEntry]¶

Load all cross-repository concordance entries from concordance.json.

Returns:: List of ConcordanceEntry records in codex order.

geometor.casey.concordance.audit_sympy_circle_gaps() → list[SympyCircleGap]¶

Inspect sympy.geometry.Circle for modern-circle-geometry primitives in Casey.

Returns:: List of SympyCircleGap entries documenting native presence vs. geometor.casey exact symbolic implementations.