"""Small, testable classification primitives for differential comparator lanes.""" from __future__ import annotations import re from typing import Pattern def diagnostic_detected(output: str, pattern: Pattern[str]) -> bool: return pattern.search(output) is not None def vulnerable_runtime_detected( returncode: int, output: str, pattern: Pattern[str] ) -> bool: return returncode != 0 and diagnostic_detected(output, pattern) def fixed_runtime_reported(returncode: int, output: str, pattern: Pattern[str]) -> bool: """Classify only explicit sanitizer evidence, not application exit status.""" del returncode return diagnostic_detected(output, pattern) def compile_diagnostic_pattern(expression: str) -> Pattern[str]: return re.compile(expression, re.IGNORECASE)