Project Review
● No confirmed defects · 6 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?
20
Files
164
Functions
0
Confirmed defects
128
Hotspots
48
State regions
2321
Boundary calls
118
Motifs
478
Resolved calls
Review first
Review breadth is prioritization metadata, not defect truth.
| # | Target | Breadth | Files | State coupled | Boundaries |
|---|---|---|---|---|---|
| 1 | util.py | 437 | 12 | 1 | 309 |
| 2 | util.py | 328 | 13 | 0 | 250 |
| 3 | util.py | 318 | 9 | 0 | 225 |
| 4 | cli.py | 220 | 6 | 0 | 162 |
| 5 | query.py | 118 | 1 | 0 | 85 |
| 6 | linking.py | 109 | 3 | 0 | 81 |
| 7 | effects.py | 109 | 3 | 0 | 76 |
| 8 | workspace.py | 107 | 3 | 0 | 80 |
| 9 | effects.py | 103 | 3 | 0 | 73 |
| 10 | reconciliation.py | 102 | 3 | 0 | 77 |
| 11 | delta.py | 97 | 2 | 0 | 72 |
| 12 | reconciliation.py | 95 | 3 | 0 | 72 |
Current findings
Confirmed defects: 0
Anomalies: 6
Hotspots: 128
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 | 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 | 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 | delta.py: | ensure_delta_registries | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | delta.py: | _resolve_scope | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | delta.py: | _resolve_scope | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | delta.py: | _trusted_domain | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | delta.py: | _trusted_domain | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | delta.py: | _evidence_for_nodes | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | delta.py: | _evidence_for_nodes | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | delta.py: | _node_summary | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | delta.py: | _node_summary | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | delta.py: | propose_delta | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | delta.py: | propose_delta | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | delta.py: | validate_delta | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | delta.py: | validate_delta | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | delta.py: | preview_projection | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | delta.py: | preview_projection | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | dynamic.py: | _tree_fingerprint | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | dynamic.py: | _tree_fingerprint | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | dynamic.py: | ensure_dynamic_registries | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | dynamic.py: | run_candidate_tests | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | dynamic.py: | run_candidate_tests | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | dynamic.py: | _eval_runtime_expectation | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | dynamic.py: | _eval_runtime_expectation | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | dynamic.py: | verify_dynamic | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | dynamic.py: | verify_dynamic | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | dynamic.py: | verify_candidate | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | dynamic.py: | verify_candidate | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | effects.py: | ensure_effect_registries | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | effects.py: | _effect_reviews | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | effects.py: | _decision_summary | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | effects.py: | _decision_summary | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | effects.py: | record_effect_review | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | effects.py: | record_effect_review | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | effects.py: | check_effect_barrier | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | effects.py: | check_effect_barrier | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | effects.py: | apply_candidate | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | effects.py: | apply_candidate | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | effects.py: | rollback_apply | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | effects.py: | rollback_apply | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | linking.py: | _tokens | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | linking.py: | _tokens | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | linking.py: | _graph_context | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | linking.py: | _graph_context | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | linking.py: | _load_nodes | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | linking.py: | _load_nodes | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | linking.py: | _ref | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | linking.py: | _ref | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | linking.py: | _candidate | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | linking.py: | _candidate | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | linking.py: | discover_links | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | linking.py: | discover_links | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | linking.py: | rebuild_link_registry | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | projection.py: | ensure_projection_registries | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | projection.py: | _tree_fingerprint | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | projection.py: | _tree_fingerprint | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | projection.py: | materialize_source_candidate | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | projection.py: | materialize_source_candidate | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | projection.py: | analyze_source_candidate | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | projection.py: | analyze_source_candidate | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | projection.py: | _update_candidate | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | projection.py: | _source_snapshot | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | projection.py: | _source_snapshot | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | projection.py: | _evaluate_expectation | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | projection.py: | _evaluate_expectation | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | projection.py: | verify_roundtrip | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | projection.py: | verify_roundtrip | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | providers/adapter_result.py: | AdapterResultProvider.probe | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | providers/adapter_result.py: | AdapterResultProvider.ingest | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | providers/adapter_result.py: | AdapterResultProvider.ingest | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | providers/intent_text.py: | IntentTextProvider.ingest | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | providers/intent_text.py: | IntentTextProvider.ingest | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | providers/json_schema.py: | JSONSchemaProvider.ingest | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | providers/json_schema.py: | JSONSchemaProvider.ingest | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | providers/pbsio.py: | PBSIOProvider.ingest | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | providers/pbsio.py: | PBSIOProvider.ingest | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | providers/registry.py: | ProviderRegistry.probe_all | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | providers/registry.py: | ProviderRegistry.probe_all | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | providers/registry.py: | ProviderRegistry.resolve | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | providers/registry.py: | ProviderRegistry.resolve | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | query.py: | _total_metrics | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | query.py: | _total_metrics | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | query.py: | describe | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | query.py: | describe | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | query.py: | _node_search_rows | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | query.py: | _node_search_rows | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | query.py: | search | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | query.py: | search | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | query.py: | resolve_anchor | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | query.py: | resolve_anchor | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | query.py: | subgraph | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | query.py: | subgraph | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | query.py: | _bfs_edges | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | query.py: | _bfs_edges | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | query.py: | impact | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | query.py: | impact | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | query.py: | unknowns | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | query.py: | unknowns | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | query.py: | semantic_diff | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | query.py: | semantic_diff | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | query.py: | links | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | query.py: | links | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | query.py: | link_explain | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | query.py: | link_validation | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | query.py: | reconciliation | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | query.py: | reconciliation | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | query.py: | semantic_domain | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | query.py: | semantic_domain | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | reconciliation.py: | validate_link | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | reconciliation.py: | validate_link | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | reconciliation.py: | build_reconciliation | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | reconciliation.py: | build_reconciliation | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | reconciliation.py: | rebuild_reconciliation | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | reconciliation.py: | record_link_review | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | reconciliation.py: | record_link_review | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | runtime.py: | Runtime.invoke | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | runtime.py: | Runtime.invoke | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | workspace.py: | create_workspace | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | workspace.py: | create_workspace | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | workspace.py: | _merge_records | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | workspace.py: | _merge_records | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | workspace.py: | _merge_evidence | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | workspace.py: | _merge_evidence | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | workspace.py: | commit_provider_result | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | workspace.py: | commit_provider_result | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | workspace.py: | import_pbsio_output | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | workspace.py: | Workspace.__init__ | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | workspace.py: | Workspace.__init__ | 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 | 81 |
| orchestration_fanout | 29 |
| retry_candidate | 6 |
| read_modify_write | 2 |
Program structure
Resolved local calls: 478
Boundary calls: 2321
State regions: 48
State writes: 44
Effect relations: 27
Source identity
| Path | Bytes | SHA-256 |
|---|---|---|
| __init__.py | 225 | 08f5cd88ffd42a0d2e… |
| cli.py | 3741 | 5b6d308cd5aabd0c75… |
| delta.py | 19978 | f287dd51ca9e7a1fe1… |
| dynamic.py | 19492 | d2fcb726b72af2c927… |
| effects.py | 21763 | 320b1fe71944ba9be8… |
| linking.py | 9463 | a77bb0fe69d1ebb40b… |
| operators.py | 8369 | dc538deec8a998126e… |
| projection.py | 19076 | 30304bdad1b27da724… |
| providers/__init__.py | 581 | 9e673f0779551a5e39… |
| providers/adapter_result.py | 2802 | 697d7a5d938d5d0b39… |
| providers/base.py | 419 | e3b44aff3044040925… |
| providers/intent_text.py | 3442 | f4a0c1443a1e4f2065… |
| providers/json_schema.py | 3955 | 5f772d6ed4364f3be7… |
| providers/pbsio.py | 4481 | 29a39498547beadff8… |
| providers/registry.py | 1734 | f8866b67868b17753d… |
| query.py | 18822 | a9d05d66f389d39109… |
| reconciliation.py | 14440 | 76cd51032165c1fd25… |
| runtime.py | 8889 | 8e8ef6457fbb084e8d… |
| util.py | 596 | 0752ec24a61f739a80… |
| workspace.py | 18415 | 9ddc059ab1da9c1045… |
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