fix(autoresearch): recognize formatted L-function gaps

Version the mapper capability when mathematical notation wraps trusted symbol names so representation reports retain complete, auditable coverage.

Co-authored-by: Cursor <cursoragent@cursor.com>

Author: 2 people

autoresearch/prefill/candidate_representation.py

@@ -12,7 +12,7 @@
 
 
 REPRESENTATION_ANALYSIS_VERSION = 1
-MAPPER_CAPABILITY_VERSION = 1
+MAPPER_CAPABILITY_VERSION = 2
 
 
 def _digest(value: object) -> str:
@@ -166,7 +166,8 @@ def _primitive_ids(text: str) -> tuple[str, ...]:
         ("ESSENTIAL_SPECTRUM", (r"essential spectrum",)),
         ("SPECTRAL_GAP", (r"spectral gap",)),
         ("DIRICHLET_L_FUNCTION", (
-            r"dirichlet l[- ]function", r"\bl[- ]function",
+            r"dirichlet(?:\s|\$|\\)*l(?:\s|\$|-)*function",
+            r"(?:\b|\$)l(?:\s|\$|-)*function",
         )),
         ("SELBERG_CLASS", (r"selberg class",)),
         ("RANK_ONE_PERTURBATION", (r"rank-1", r"rank-one")),

tests/inference_engine/bench/test_candidate_representation_analysis.py

@@ -34,7 +34,8 @@
      "A stochastic PDE operator case split and spectral gap proposal.",
      {"DISCONNECTED_FROM_TARGET"}, {"SPECTRAL_GAP"}),
     ("XC-261076a02069094a733b", "SUFFICIENT_CONDITION",
-     "For any L-function satisfying the Riemann Hypothesis, choose an analytic map.",
+     "For any Dirichlet $L$-function satisfying the Riemann Hypothesis, "
+     "choose an analytic map.",
      set(), {"DIRICHLET_L_FUNCTION"}),
     ("XC-d3c0a173f7ff728d29a2", "EQUIVALENT_CRITERION",
      "A zeta zero sequence GUE condition equivalent to the assertion that no "
@@ -175,7 +176,7 @@ def test_state_machine_inserts_analysis_before_rejection():
 
 
 def test_mapper_catalog_is_closed_content_addressed_and_sourced():
-    assert MAPPER_CAPABILITY_VERSION == 1
+    assert MAPPER_CAPABILITY_VERSION == 2
     assert len(mapper_capability_hash()) == 64
     assert all(item.primitive_id == key for key, item in PRIMITIVE_CATALOG.items())
     assert all(