max impl and Detection set complete

packages/rules/src/lib.rs

@@ -27,9 +27,10 @@ pub use unused_state_variables::UnusedStateVariablesRule;
 // Export Soroban types specifically
 pub use soroban::{
     EventEmissionCostRule, InefficientBytesAllocationRule, InefficientErrorConstructionRule,
-    MemoryAllocationRule, SorobanAnalyzer, SorobanContract, SorobanField, SorobanFunction,
-    SorobanImpl, SorobanParam, SorobanParser, SorobanResult, SorobanRuleEngine, SorobanStruct,
-    UnnecessaryCloningRule,
+    MemoryAllocationRule, SorobanAnalyzer, SorobanContract, SorobanDeadCodeRule,
+    SorobanDeepNestingRule, SorobanField, SorobanFunction, SorobanFunctionComplexityRule,
+    SorobanImpl, SorobanParam, SorobanParser, SorobanRepeatedComputationsRule, SorobanResult,
+    SorobanRuleEngine, SorobanStruct, UnnecessaryCloningRule,
 };
 
 // Export Vyper types (keeping glob here is fine if Vyper module is clean, but let's be safe)

packages/rules/src/soroban/mod.rs

@@ -26,6 +26,12 @@ pub use parser::*;
 pub use rule_engine::*;
 pub use unnecessary_cloning::UnnecessaryCloningRule;
 
+// New Soroban analysis rules
+pub use rule_engine::{
+    SorobanDeadCodeRule, SorobanDeepNestingRule, SorobanFunctionComplexityRule,
+    SorobanRepeatedComputationsRule,
+};
+
 /// Represents a Soroban contract structure
 #[derive(Debug, Clone, PartialEq)]
 pub struct SorobanContract {