wire(combinatorial_maps): register domain in catalog and root namespace

- Add combinatorial_maps to the root jacobian.math exports and the
  public API ROOT_MATH_DOMAINS contract.
- Import the domain's TOOLS and ADMISSIONS in catalog/builtins.py.
- Update the frozen admission baselines (KEEP 239->246, candidates
  399->406) and add the combinatorial_maps schema-snapshot fragment.

Author: morluto

src/jacobian/catalog/builtins.py

@@ -46,6 +46,12 @@
 from jacobian.math.boolean_analysis._tools import TOOLS as BOOLEAN_ANALYSIS_TOOLS
 from jacobian.math.code_theory._admission import ADMISSIONS as CODE_THEORY_ADMISSIONS
 from jacobian.math.code_theory._tools import TOOLS as CODE_THEORY_TOOLS
+from jacobian.math.combinatorial_maps._admission import (
+    ADMISSIONS as COMBINATORIAL_MAPS_ADMISSIONS,
+)
+from jacobian.math.combinatorial_maps._tools import (
+    TOOLS as COMBINATORIAL_MAPS_TOOLS,
+)
 from jacobian.math.combinatorics._admission import (
     ADMISSIONS as COMBINATORICS_ADMISSIONS,
 )
@@ -291,6 +297,7 @@
     *NUMBER_THEORY_TOOLS,
     *DIOPHANTINE_APPROXIMATION_TOOLS,
     *COMBINATORICS_TOOLS,
+    *COMBINATORIAL_MAPS_TOOLS,
     *FINITE_SETS_TOOLS,
     *FINITE_FIELDS_TOOLS,
     *LOGIC_TOOLS,
@@ -360,6 +367,7 @@
     *BOOLEAN_ANALYSIS_ADMISSIONS,
     *CODE_THEORY_ADMISSIONS,
     *COMBINATORICS_ADMISSIONS,
+    *COMBINATORIAL_MAPS_ADMISSIONS,
     *CONVEX_ANALYSIS_ADMISSIONS,
     *DIOPHANTINE_APPROXIMATION_ADMISSIONS,
     *DISCREPANCY_THEORY_ADMISSIONS,

src/jacobian/math/__init__.py

@@ -4,6 +4,7 @@
     algebraic_combinatorics,
     arithmetic,
     arithmetic_dynamics,
+    combinatorial_maps,
     combinatorics,
     diophantine_approximation,
     finite_abelian_groups,
@@ -32,6 +33,7 @@
     "algebraic_combinatorics",
     "arithmetic",
     "arithmetic_dynamics",
+    "combinatorial_maps",
     "combinatorics",
     "diophantine_approximation",
     "finite_abelian_groups",

tests/catalog/operation_schema_snapshots/combinatorial_maps.json

@@ -0,0 +1,34 @@
+{
+  "catalog_version": "1",
+  "domain": "combinatorial_maps",
+  "operations": {
+    "combinatorial_map.connected_components.compute": {
+      "input_schema": "sha256:f387e2ba041eeb2510e0cc4155680d7201564aab86454a03b4a40f74f7c79f7f",
+      "output_schema": "sha256:901ca1ae1033145f0e5e4fcd9d6dd2e6f9c57f5c155f5d0cc1441b5b4ff79506"
+    },
+    "combinatorial_map.dual.compute": {
+      "input_schema": "sha256:608a11a495f82b3e74bb63abb15ff43ce1edf4340cc75893741ddff9d145f74a",
+      "output_schema": "sha256:7aaf047ab71d0965f1638981815960dc26a98629ba2dd4bd8240248a0816ffe9"
+    },
+    "combinatorial_map.euler_characteristic.compute": {
+      "input_schema": "sha256:122e6b5f4d4566b86bd32fcaaa3fea061785b872d8a0ca945c4feb7e5a4d0e29",
+      "output_schema": "sha256:839d71cbe880a3f8324f556691a93ff17265515dcd1fc7aad9abc67aed5b11d6"
+    },
+    "combinatorial_map.faces.compute": {
+      "input_schema": "sha256:21d0ccbec74dab2830f2f37510b899bfce4485698a9ba3c5d3ab3a63fe19d65e",
+      "output_schema": "sha256:2484d8b6dbdfae080e6ee1150cc8b8e79919ff05b116ec6a5383915f14f54d25"
+    },
+    "combinatorial_map.orientable_genus.compute": {
+      "input_schema": "sha256:67398c752523df2cc43217ec004405e666a772d3b9331a107001e3f61510a7f2",
+      "output_schema": "sha256:49cfb597c88c8fe6567427d7d5c90da74b5aafad9337aeda8d6455a7b81fef8a"
+    },
+    "combinatorial_map.orientation_reverse.compute": {
+      "input_schema": "sha256:5091ffba4ed7d8f45130c98904fc96a074810e51a6138b174e7a9f53ea88d36d",
+      "output_schema": "sha256:fa6071e1214239ef8705946196b5c38f78f9f642b245af86a59daec0cbafbf63"
+    },
+    "combinatorial_map.vertex_face_incidence.compute": {
+      "input_schema": "sha256:ef9c7321870ddd6d1229760d7ce369d1a4c05005a358f2df33a58c8a1e9b27f1",
+      "output_schema": "sha256:81993b7bb681ae33299f89be8e1771e196884ffb1cfadc4c10dafde7ec27ec14"
+    }
+  }
+}

tests/catalog/test_admission.py

@@ -27,12 +27,12 @@ def test_every_frozen_candidate_has_exactly_one_admission_decision() -> None:
     reviewed_ids = [record.operation_id for record in OPERATION_ADMISSIONS]
 
     assert REVIEWED_BASE_REVISION == "61589543bbbff546edbc51d34a07887982fa4ad6"
-    assert len(candidate_ids) == len(set(candidate_ids)) == 399
+    assert len(candidate_ids) == len(set(candidate_ids)) == 406
     assert reviewed_ids == sorted(reviewed_ids)
     assert set(reviewed_ids) == set(candidate_ids)
     assert all(record.rationale.strip() for record in OPERATION_ADMISSIONS)
     assert Counter(record.decision for record in OPERATION_ADMISSIONS) == {
-        AdmissionDecision.KEEP: 239,
+        AdmissionDecision.KEEP: 246,
         AdmissionDecision.NATIVE_ONLY: 56,
         AdmissionDecision.DROP: 104,
     }
@@ -46,7 +46,7 @@ def test_public_catalog_contains_only_admitted_atomic_operations() -> None:
     }
 
     assert {tool.operation_id for tool in BUILTIN_TOOLS} == expected
-    assert len(BUILTIN_TOOLS) == 239
+    assert len(BUILTIN_TOOLS) == 246
 
 
 def test_catalog_construction_fails_closed_on_duplicate_candidates() -> None:

tests/math/public_api/test_namespace.py

@@ -19,6 +19,7 @@
     "algebraic_combinatorics",
     "arithmetic",
     "arithmetic_dynamics",
+    "combinatorial_maps",
     "combinatorics",
     "diophantine_approximation",
     "finite_abelian_groups",