[chokri29]

Root cause

The Python API integration imported slither.detectors.all_detectors and attempted list(all_detectors). In Slither this is a Python module, not an iterable detector list. The fallback import path is not the supported registry either. As a result, the exception path silently produced detector_list = [], no built-in detectors were registered, and run_detectors() returned an empty result while F1 was still marked successful. This explains the screenshot's Slither signals: 0 and model finding marked ungrounded.

Changes

• Enumerate built-in detector classes from the all_detectors module using inspect.getmembers, retaining concrete subclasses of AbstractDetector.
• Fail closed with an explicit F1 execution error if the detector registry cannot be loaded or no detectors register; never report a clean scan from an empty registry.
• Log registry size, raw result count/check IDs, and filtered result count/check IDs.
• Expose raw and filtered detector diagnostics in /analyze response metadata for verification.
• Fix a second issue in main.py: an empty filtered_detectors list previously fell through to the unfiltered raw detector list due to Python's or behavior. The app now respects an explicitly empty filtered set and cannot accidentally bypass its finding filter.
• Add regression tests for detector module introspection, actual Python API registration/result extraction, fail-closed behavior, and raw-vs-filtered selection.

Validation

CI will run the full pytest suite. The live Render Reentrancy sample remains the final acceptance check: F1 registry should be non-zero, raw results should include reentrancy-eth, filtered results should retain it, and the finding should be grounded.

This PR does not change detector thresholds or add model-generated findings to Slither results.