from navegador.analysis import (
    ImpactAnalyzer,
    FlowTracer,
    DeadCodeDetector,
    CycleDetector,
    TestMapper,
)
from navegador.graph import GraphStore

class ImpactAnalyzer:
    def __init__(self, store: GraphStore) -> None: ...

def analyze(
    self,
    name: str,
    *,
    node_type: str = "",
    file: str = "",
    depth: int = 0,
    include_tests: bool = False,
    include_knowledge: bool = False,
) -> ImpactResult

@dataclass
class ImpactResult:
    root: ContextNode
    direct_dependents: list[ContextNode]
    transitive_dependents: list[ContextNode]
    affected_files: list[str]
    knowledge_nodes: list[ContextNode]    # empty unless include_knowledge=True
    depth_reached: int

store = GraphStore.sqlite(".navegador/navegador.db")
analyzer = ImpactAnalyzer(store)

result = analyzer.analyze("validate_token", depth=3, include_knowledge=True)
print(f"{len(result.direct_dependents)} direct dependents")
print(f"{len(result.transitive_dependents)} transitive dependents")
print(f"Affects {len(result.affected_files)} files")
for rule in [n for n in result.knowledge_nodes if n.label == "Rule"]:
    print(f"  Governed by: {rule.name} ({rule.properties.get('severity')})")

class FlowTracer:
    def __init__(self, store: GraphStore) -> None: ...

def trace(
    self,
    from_name: str,
    to_name: str,
    *,
    from_file: str = "",
    to_file: str = "",
    max_paths: int = 3,
    max_depth: int = 10,
) -> list[FlowPath]

@dataclass
class FlowPath:
    nodes: list[str]        # function names in order
    node_details: list[ContextNode]
    length: int

tracer = FlowTracer(store)
paths = tracer.trace("create_order", "process_payment", max_paths=5)
for i, path in enumerate(paths, 1):
    print(f"Path {i}: {' -> '.join(path.nodes)}")

class DeadCodeDetector:
    def __init__(self, store: GraphStore) -> None: ...

def find(
    self,
    path: str | Path,
    *,
    exclude_tests: bool = False,
    min_confidence: int = 80,
) -> list[DeadCodeCandidate]

@dataclass
class DeadCodeCandidate:
    node: ContextNode
    confidence: int      # 0–100
    reasons: list[str]   # e.g. ["no callers", "no imports", "no decorator entry point"]

detector = DeadCodeDetector(store)
candidates = detector.find("./src", exclude_tests=True, min_confidence=90)
for c in candidates:
    print(f"[{c.confidence}%] {c.node.label}: {c.node.name}  {c.node.properties['file']}")
    print(f"  Reasons: {', '.join(c.reasons)}")

class CycleDetector:
    def __init__(self, store: GraphStore) -> None: ...

def find_import_cycles(
    self,
    path: str | Path,
    *,
    min_length: int = 2,
) -> list[Cycle]

def find_call_cycles(
    self,
    path: str | Path,
    *,
    min_length: int = 2,
) -> list[Cycle]

def find_all(
    self,
    path: str | Path,
    *,
    min_length: int = 2,
) -> CycleReport

@dataclass
class Cycle:
    path: list[str]       # node names (files or functions) forming the cycle
    cycle_type: str       # "import" or "call"
    length: int

@dataclass
class CycleReport:
    import_cycles: list[Cycle]
    call_cycles: list[Cycle]
    total: int

detector = CycleDetector(store)
report = detector.find_all("./src")
print(f"{report.total} cycles found")
for cycle in report.import_cycles:
    print(f"  Import cycle: {' -> '.join(cycle.path)}")

class TestMapper:
    def __init__(self, store: GraphStore) -> None: ...

def map(
    self,
    src_path: str | Path,
    test_path: str | Path,
    *,
    target: str = "",
) -> TestCoverageMap

def uncovered(
    self,
    src_path: str | Path,
    test_path: str | Path,
) -> list[ContextNode]

@dataclass
class TestCoverageMap:
    coverage: dict[str, list[ContextNode]]   # function name -> list of test nodes
    uncovered: list[ContextNode]
    coverage_percent: float

mapper = TestMapper(store)
coverage_map = mapper.map("./src", "./tests")

print(f"Coverage: {coverage_map.coverage_percent:.1f}%")
print(f"Uncovered: {len(coverage_map.uncovered)} functions")

for fn_name, tests in coverage_map.coverage.items():
    print(f"  {fn_name}: {len(tests)} tests")
    for test in tests:
        print(f"    {test.properties['file']}::{test.name}")