{"code_logician_server.strategy.model": ["log", "Model", "TestModelMethods"], "code_logician": [], "code_logician.dep_graph.symbol_dep": [], "test_utils": ["find_pyproject"], "code_logician.tui": ["TOGGLE_STYLE", "T", "local_file", "opaques_rich", "code_view", "command_widget", "HeaderStatus", "MyHeader", "Border", "TaskView", "StepView", "OutputLog", "formalize_module_with", "GraphStateView", "indicator", "GraphView", "ModuleDB", "ModuleView", "OpaquesView", "HScroll", "named_vals", "vg_ui", "VGsView", "Splash", "TreeViews", "OverviewScreen", "ModelScreen", "SketchScreen", "HelpScreen", "mode_screens", "switcher", "CodeLogician"], "code_logician_server.tools.cl_caller": ["cl_autoformalize"], "code_logician_server": [], "code_logician_server.strategy.metamodel": ["log", "MetaModel", "test_metamodel", "test_dependency_changes", "test_file_sync", "test_process_events_create", "e"], "server.events": ["Event", "FileSystemEvent", "FileSystemCheckbackEvent"], "code_logician_server.strategy.events": ["PyIMLEvent", "StratParamUpdate", "ChangeMode", "CLResultEvent", "ModelCLRequestEvent", "MetaModelCLRequestEvent"], "code_logician.dep_graph.file_tree": ["logger", "File", "Dir", "FSEntry", "FileSystem", "load_gitignore", "is_ignored"], "code_logician_server.strategy.model_status": ["SrcCodeStatus", "FormalizationStatus", "ModelStatus"], "code_logician_server.strategy.metacache": ["MetaCache", "test_one"], "code_logician_server.strategy.pyiml_strategy": ["log", "PyIMLStrategy", "test_one", "e"], "code_logician.dep_graph": [], "code_logician.dep_graph.symbol_dep.base": ["SymbolKind", "Range", "Symbol", "Module", "SymbolDep"], "code_logician.dep_graph.symbol_dep.python": ["NameAndDoc", "CodeElements", "PythonModule", "rel_path_to_python_module_name", "build_py_dep_graph", "AstImport", "AstImportFrom", "parse_imports", "resolve_import", "find_module_by_name", "resolve_relative_import", "test_parse_imports"], "code_logician_server.strategy.cl_agent_state": ["CLAgentState", "CLAgentStateTests"], "code_logician.vecdb": ["chroma_client", "doc_id", "module_id_of_doc_id", "module_id", "fixed_point", "load_vector_index", "build_vector_index", "lookup"], "code_logician.util": ["member", "fst", "snd", "not_none", "maybe", "maybe_else", "filter", "rev", "flat_map", "unzip", "map", "dict_keys", "json_read", "text_read", "lazy", "show"], "server.fast_server": ["code_logician_server_logger_name", "logger", "Dependencies", "MyFileSysEventHandler", "create_lifespan", "create_app", "get_py_iml_state", "get_py_iml_strategy", "setup_routes", "setup_logging", "app_factory", "main"], "tui": ["ViewerApp", "app"], "code_logician.dep_graph.base": ["logger", "DepGraph"], "code_logician_server.strategy.utils": ["DependencyGraph", "test_one", "e"], "code_logician_server.tools.temptest": ["graph", "src_code", "gs", "res", "f"], "code_logician.local_fdb": ["RecordMetadata", "Record"], "code_logician.logging_config": ["move_logger_to_end", "configure_logging"], "server": [], "code_logician_server.strategy.sketch": ["Sketch"], "code_logician_server.strategy.state": ["log", "PyIMLMode", "PyIMLStrategyState", "test_full_state_run", "test_state_load", "extype", "value", "tb", "e"], "code_logician.fdb": ["file_sys", "psd", "fg", "vdb", "lookup"], "code_logician.dep_graph.formalization": ["logger", "FormalizationNode", "IMLModule", "gen_iml_import_stmt_path", "format_iml_import_statement", "strip_iml_imports", "format_empty_lines", "rel_path_to_iml_module_name", "get_iml_paths", "FormalizationGraph", "call_CL", "test_get_iml_import_stmt_path"], "code_logician_server.strategy.cl_worker": ["log", "CLResult", "printer_callback", "run_code_logician", "CodeLogicianWorker", "test_worker", "e"], "code_logician_server.tools": [], "code_logician_server.strategy": [], "code_logician_server.strategy.model_task": ["ModelTask"]}