Crate knowdit_sol 

Modules

cg

filter

spec

storage

Tree-sitter extraction of state variables and inheritance specifiers, mirroring cg::extract_repo_contracts_functions but yielding storage-shaped records rather than callgraph-shaped ones. The output is project-local: contract ids match crate::cg::ExtractedContract::id and inheritance is resolved by name within the same project. Names that don’t resolve (3rd-party imports, etc.) are dropped silently.