Module verify 

Contract verification: check that callers pass the correct number of arguments to callees. Uses tree-sitter AST for accurate param/arg counting.

Structs

ArityMismatch

Arity mismatch found across the dependency graph.

ContractViolation

ParamInfo

Result of tree-sitter based parameter analysis.

Functions

count_call_args_ts

Count call arguments at a specific call site using tree-sitter.

extract_param_info_ts

Extract parameter info from entity content using tree-sitter.

find_arity_mismatches

Find arity mismatches across all Calls edges in the graph.

find_broken_callers

Find callers broken by signature changes between old and new entities. Compares param counts of functions that exist in both old and new, then checks if any callers in new_graph pass the wrong arg count.

verify_contracts

Verify function call contracts across the codebase.

verify_contracts_with_graph

Like verify_contracts, but accepts a pre-built graph + entities.