Project Review
● No confirmed defects · 13 anomalies
Anomalies are review candidates, not proven bugs.
Analysis cache: cache_disabled
Start here: review confirmed findings first; then inspect the highest review-breadth targets before making broad changes.
What this answers
What needs attention?
What should I review if I change this?
Where is the evidence?
14
Files
213
Functions
0
Confirmed defects
147
Hotspots
74
State regions
2730
Boundary calls
143
Motifs
639
Resolved calls
Review first
Review breadth is prioritization metadata, not defect truth.
| # | Target | Breadth | Files | State coupled | Boundaries |
|---|---|---|---|---|---|
| 1 | cli.py | 634 | 13 | 1 | 420 |
| 2 | cache.py | 268 | 5 | 0 | 193 |
| 3 | impact.py | 226 | 6 | 0 | 178 |
| 4 | analyzer.py | 220 | 4 | 0 | 170 |
| 5 | impact.py | 218 | 6 | 0 | 170 |
| 6 | semantic_diff.py | 195 | 3 | 0 | 149 |
| 7 | product_ui.py | 177 | 3 | 0 | 141 |
| 8 | report.py | 176 | 3 | 0 | 145 |
| 9 | semantic_diff.py | 167 | 3 | 0 | 141 |
| 10 | product_ui.py | 152 | 3 | 0 | 125 |
| 11 | report.py | 151 | 3 | 0 | 127 |
| 12 | pr_review.py | 151 | 3 | 0 | 129 |
Current findings
Confirmed defects: 0
Anomalies: 13
Hotspots: 147
A hotspot means “review-worthy,” not “wrong.” Unknown remains unknown.
Scope
Repository → semantic graph → data/state closure → impact → findings
Python-only, static-first. Dynamic dispatch, reflection, native behavior, precise runtime path probability, and concurrency remain outside the current strong claim.
Findings
| Severity | Class | Type | Location | Symbol | Evidence statement |
|---|---|---|---|---|---|
| info | anomaly | static_call_cycle | : | Resolved local calls form a cycle; may be intentional recursion. | |
| info | anomaly | static_call_cycle | : | Resolved local calls form a cycle; may be intentional recursion. | |
| info | anomaly | static_call_cycle | : | Resolved local calls form a cycle; may be intentional recursion. | |
| info | anomaly | static_call_cycle | : | Resolved local calls form a cycle; may be intentional recursion. | |
| info | anomaly | static_call_cycle | : | Resolved local calls form a cycle; may be intentional recursion. | |
| info | anomaly | static_call_cycle | : | Resolved local calls form a cycle; may be intentional recursion. | |
| info | anomaly | static_call_cycle | : | Resolved local calls form a cycle; may be intentional recursion. | |
| info | anomaly | duplicate_function_shape | : | Functions normalize to the same AST shape. | |
| info | anomaly | duplicate_function_shape | : | Functions normalize to the same AST shape. | |
| info | anomaly | duplicate_function_shape | : | Functions normalize to the same AST shape. | |
| info | anomaly | duplicate_function_shape | : | Functions normalize to the same AST shape. | |
| info | anomaly | duplicate_function_shape | : | Functions normalize to the same AST shape. | |
| info | anomaly | duplicate_function_shape | : | Functions normalize to the same AST shape. | |
| info | hotspot | multi_writer_state | : | State region has three or more static writers; review coupling and mutation ownership. | |
| info | hotspot | high_call_fanout | analyzer.py: | infer_effect | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | infer_effect | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | node_text | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | analyzer.py: | iter_python_files | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | iter_python_files | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | FunctionScanner.visit_Try | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | FunctionScanner.visit_Try | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | block_unreachable | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | block_unreachable | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | normalized_function_shape | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | normalized_function_shape | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | fragment_source_hash | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | fragment_source_hash | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | fragment_context_fingerprint | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | fragment_context_fingerprint | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | _clone_rebased_fragment_fact | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | _clone_rebased_fragment_fact | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | _build_fragment_reuse_index | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | _build_fragment_reuse_index | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | _reuse_function_fragment | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | _reuse_function_fragment | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | motif_signature | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | motif_signature | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | coarse_motif_signature | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | coarse_motif_signature | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | infer_structural_motifs | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | infer_structural_motifs | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | _preload_reused_graph | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | _preload_reused_graph | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | _garbage_collect_shared_nodes | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | _garbage_collect_shared_nodes | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | analyzer.py: | analyze | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | analyzer.py: | analyze | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | cache.py: | scan_python_manifest | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | cache.py: | scan_python_manifest | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | cache.py: | analyze_with_cache | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | cache.py: | analyze_with_cache | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | cache.py: | _strip_volatile | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | cache.py: | review_fingerprint | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | cache.py: | review_fingerprint | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | cli.py: | _write_analysis | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | cli.py: | main | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | cli.py: | main | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | config.py: | load_project_policy | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | config.py: | load_project_policy | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | dataflow.py: | LoadNameCollector._visit_comp | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | dataflow.py: | StateAccessCollector.visit_Call | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | dataflow.py: | StateAccessCollector.visit_Call | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | dataflow.py: | StateAccessCollector.visit_Subscript | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | dataflow.py: | StateAccessCollector.visit_AugAssign | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | dataflow.py: | stmt_definitely_terminates | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | dataflow.py: | stmt_definitely_terminates | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | dataflow.py: | FunctionDataflowBuilder.__init__ | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | dataflow.py: | FunctionDataflowBuilder._collect_state_accesses | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | dataflow.py: | FunctionDataflowBuilder._merge_envs | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | dataflow.py: | FunctionDataflowBuilder._merge_envs | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | dataflow.py: | FunctionDataflowBuilder.process_stmt | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | dataflow.py: | FunctionDataflowBuilder.process_stmt | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | dataflow.py: | FunctionDataflowBuilder._build_exception_flow | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | dataflow.py: | FunctionDataflowBuilder._build_exception_flow | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | dataflow.py: | FunctionDataflowBuilder.build | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | dataflow.py: | FunctionDataflowBuilder.build | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | diff_report.py: | write_semantic_diff_markdown | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | diff_report.py: | write_semantic_diff_markdown | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | diff_report.py: | write_semantic_diff_html | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | diff_report.py: | write_semantic_diff_html | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | git_adapter.py: | _git | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | git_adapter.py: | ensure_git_repo | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | git_adapter.py: | _safe_member_path | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | git_adapter.py: | archive_ref | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | git_adapter.py: | archive_ref | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | git_adapter.py: | changed_files | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | git_adapter.py: | changed_files | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | git_adapter.py: | compare_metadata | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | git_adapter.py: | parse_github_event | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | git_adapter.py: | parse_github_event | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | impact.py: | build_impact_index | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | impact.py: | build_impact_index | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | impact.py: | resolve_impact_target | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | impact.py: | resolve_impact_target | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | impact.py: | analyze_impact | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | impact.py: | analyze_impact | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | incremental.py: | _base_symbol_surface | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | incremental.py: | _base_symbol_surface | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | incremental.py: | _target_symbol_surface | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | incremental.py: | _target_symbol_surface | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | incremental.py: | assess_partial_recompute | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | incremental.py: | assess_partial_recompute | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | incremental.py: | canonical_graph_payload | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | incremental.py: | canonical_graph_payload | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | incremental.py: | graph_equivalence_report | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | incremental.py: | build_invalidation_plan | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | incremental.py: | build_invalidation_plan | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | pr_review.py: | _changed_function_seeds | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | pr_review.py: | _changed_function_seeds | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | pr_review.py: | _aggregate_impact | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | pr_review.py: | _aggregate_impact | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | pr_review.py: | build_pr_review | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | pr_review.py: | build_pr_review | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | pr_review.py: | review_markdown | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | pr_review.py: | review_markdown | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | pr_review.py: | annotation_commands | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | pr_review.py: | annotation_commands | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | pr_review.py: | write_pr_review_outputs | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | pr_review.py: | write_pr_review_html | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | pr_review.py: | write_pr_review_html | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | product_ui.py: | build_project_summary | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | product_ui.py: | build_project_summary | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | product_ui.py: | _finding_rows | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | product_ui.py: | _finding_rows | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | product_ui.py: | write_project_html | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | product_ui.py: | write_project_html | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | product_ui.py: | build_review_summary | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | product_ui.py: | build_review_summary | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | product_ui.py: | write_review_html | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | product_ui.py: | write_review_html | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | report.py: | write_json_outputs | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | report.py: | write_json_outputs | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | report.py: | write_graphml | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | report.py: | write_graphml | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | report.py: | _overview_graph | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | report.py: | _overview_graph | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | report.py: | _svg_graph | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | report.py: | _svg_graph | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | report.py: | write_html | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | report.py: | write_html | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | report.py: | write_markdown_report | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | report.py: | write_markdown_report | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | semantic_diff.py: | _node_key | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | semantic_diff.py: | _node_key | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | semantic_diff.py: | _relation_key | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | semantic_diff.py: | _relation_key | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | semantic_diff.py: | _relation_public | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | semantic_diff.py: | _relation_public | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | semantic_diff.py: | _finding_key | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | semantic_diff.py: | _finding_key | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | semantic_diff.py: | _exception_signatures | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | semantic_diff.py: | _exception_signatures | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | semantic_diff.py: | _impact_breadth | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | semantic_diff.py: | _impact_breadth | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | semantic_diff.py: | _impact_changes | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | semantic_diff.py: | _impact_changes | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | semantic_diff.py: | _rename_candidates | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | semantic_diff.py: | _rename_candidates | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | semantic_diff.py: | compare_graphs | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | semantic_diff.py: | compare_graphs | Many calls cross the resolved graph boundary. |
Impact Review
Direct means one-hop graph evidence. Derived means bounded resolved call paths plus shared-state coupling.
Functional shapes
| Motif | Instances |
|---|---|
| boundary_orchestration | 95 |
| orchestration_fanout | 25 |
| retry_candidate | 11 |
| read_modify_write | 9 |
| resource_scope | 3 |
Program structure
Resolved local calls: 639
Boundary calls: 2730
State regions: 74
State writes: 68
Effect relations: 48
Source identity
| Path | Bytes | SHA-256 |
|---|---|---|
| __init__.py | 22 | 27e8febb48ada44153… |
| analyzer.py | 53088 | 2cd3c1be76d41883c2… |
| cache.py | 13429 | 2cf03238252388ba17… |
| cli.py | 14624 | 667d448562ae3e28ba… |
| config.py | 5400 | d4e587c39ad776bad4… |
| dataflow.py | 39836 | 0b54507c49c04802a0… |
| diff_report.py | 11137 | e66d4dfe77c7b9beb2… |
| git_adapter.py | 6707 | cc64d3adcf9b77ce54… |
| impact.py | 20500 | 3221edce2184d0bd3e… |
| incremental.py | 12717 | f36f364a26a418e229… |
| pr_review.py | 17076 | b14e56bfe368d896e5… |
| product_ui.py | 31255 | 4caa03293619ec2699… |
| report.py | 31778 | c83c994fb87dcef724… |
| semantic_diff.py | 22721 | acb3a4d2a81f84aa1c… |
Epistemic boundary
observed
- Python AST definitions
- imports
- call syntax
- control syntax
- source spans
- local file hashes
- SSA-like local definitions/uses
- self/cls/explicit-global state accesses
- module-binding reads
- explicit raise/except syntax
- definition-time Python name aliases
strongly_inferred
- local call target resolution
- parameter-container state regions
- effect hints
- branch/loop phi merges
- explicit exception catch matching
- structural motif candidates
unresolved
- runtime dispatch
- reflection
- native extension behavior
- external library semantics
- precise heap points-to beyond definition-time alias
- dynamic exception behavior from calls
- concurrency semantics