geometor.knott.catalog

Master registry of the 6 Collections and 22 Catalog Items (KNOTT-1.1 – KNOTT-6.5).

Maps every cataloged theorem, construction, sequence, and identity to Dr. Ron Knott’s exact University of Surrey source URL and section anchor, its exact SymPy / geometor.model validator function, scholarly apparatus keys, and cross-referenced GEOMETOR repositories.

Attributes

KNOTT_COPYRIGHT

COLLECTIONS

CATALOG_ITEMS

Classes

CollectionSpec

Metadata for one of the six thematic Collections in docsrc/catalog/.

CatalogItemSpec

Complete specification for a single cataloged mathematical item.

Functions

get_catalog_item(canonical_id) → CatalogItemSpec

Look up a CatalogItemSpec by its canonical_id (e.g., "KNOTT-1.1").

verify_all_catalog_items() → dict[str, geometor.knott.flat_geometry.GeometricCatalogResult]

Execute and verify all 22 catalog item builders (0 sp.Float atoms).

build_manifest_payload() → dict[str, object]

Build the serializable dictionary written to resources/catalog_manifest.json.

export_catalog_manifest(output_path) → pathlib.Path

Write resources/catalog_manifest.json with deterministic UTF-8 formatting.

Module Contents

class geometor.knott.catalog.CollectionSpec

Metadata for one of the six thematic Collections in docsrc/catalog/.

order: int
slug: str
code_prefix: str
title: str
enunciation: str
source_pages: tuple[str, ...]
class geometor.knott.catalog.CatalogItemSpec

Complete specification for a single cataloged mathematical item.

canonical_id: str
collection_slug: str
order: int
item_slug: str
folio_id: str
title: str
enunciation: str
knott_url: str
knott_page_title: str
knott_anchor: str
validator_qualname: str
builder: collections.abc.Callable[[], geometor.knott.flat_geometry.GeometricCatalogResult]
geometor_repos: tuple[str, ...]
citations: tuple[str, ...]
persons: tuple[str, ...]
terms: tuple[str, ...]
geometor.knott.catalog.COLLECTIONS: tuple[CollectionSpec, ...]
geometor.knott.catalog.CATALOG_ITEMS: tuple[CatalogItemSpec, ...]
geometor.knott.catalog.get_catalog_item(canonical_id: str) → CatalogItemSpec

Look up a CatalogItemSpec by its canonical_id (e.g., "KNOTT-1.1").

Parameters:

canonical_id – Canonical catalog ID.

Returns:

Matching CatalogItemSpec.

Raises:

KeyError – If canonical_id is not registered.

geometor.knott.catalog.verify_all_catalog_items() → dict[str, geometor.knott.flat_geometry.GeometricCatalogResult]

Execute and verify all 22 catalog item builders (0 sp.Float atoms).

Returns:

Mapping {canonical_id: GeometricCatalogResult} across KNOTT-1.1 .. KNOTT-6.5.

geometor.knott.catalog.build_manifest_payload() → dict[str, object]

Build the serializable dictionary written to resources/catalog_manifest.json.

Returns:

Structured JSON-serializable catalog manifest dictionary.

geometor.knott.catalog.export_catalog_manifest(output_path: pathlib.Path) → pathlib.Path

Write resources/catalog_manifest.json with deterministic UTF-8 formatting.

Parameters:

output_path – Destination JSON file path.

Returns:

Resolved output_path.