test(catalog): verify large exact profile wrapping

Author: morluto

tests/integration/catalog/test_public_operation_contract_conformance.py

@@ -11,6 +11,7 @@
 
 from jacobian.catalog.catalog import Catalog
 from jacobian.catalog.models import MathTool
+from jacobian.dispatch import invoke_operation
 
 MAX_MUTATIONS_PER_EXAMPLE = 256
 
@@ -145,3 +146,12 @@ def test_every_accepted_boundary_mutation_returns_the_declared_result(
                 type(result),
                 operation.result_type,
             )
+
+
+def test_large_periodic_profile_survives_public_result_wrapping() -> None:
+    result = invoke_operation(
+        "symbolic_dynamics.periodic_point_profile.compute",
+        {"shift": {"matrix": [[1_000_000]], "two_sided": True}, "max_period": 3},
+        Catalog.open(),
+    )
+    assert result.output["fixed_point_counts"][-1] == "1000000000000000000"

tests/math/symbolic_dynamics/test_symbolic_dynamics.py

@@ -276,15 +276,3 @@ def test_periodic_profile_returns_large_counts_as_canonical_integers() -> None:
         )
     )
     assert result.fixed_point_counts[-1] == "1000000000000000000"
-
-
-def test_large_periodic_profile_survives_public_result_wrapping() -> None:
-    from jacobian.catalog.catalog import Catalog
-    from jacobian.dispatch import invoke_operation
-
-    result = invoke_operation(
-        "symbolic_dynamics.periodic_point_profile.compute",
-        {"shift": {"matrix": [[1_000_000]], "two_sided": True}, "max_period": 3},
-        Catalog.open(),
-    )
-    assert result.output["fixed_point_counts"][-1] == "1000000000000000000"