Project Review
● No confirmed defects · 8 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?
21
Files
181
Functions
0
Confirmed defects
141
Hotspots
50
State regions
2515
Boundary calls
130
Motifs
548
Resolved calls
Review first
Review breadth is prioritization metadata, not defect truth.
| # | Target | Breadth | Files | State coupled | Boundaries |
|---|---|---|---|---|---|
| 1 | util.py | 475 | 13 | 1 | 326 |
| 2 | util.py | 357 | 14 | 0 | 271 |
| 3 | util.py | 353 | 10 | 0 | 241 |
| 4 | cli.py | 221 | 6 | 0 | 163 |
| 5 | projection.py | 145 | 4 | 0 | 117 |
| 6 | commit.py | 135 | 3 | 0 | 93 |
| 7 | query.py | 118 | 1 | 0 | 85 |
| 8 | linking.py | 109 | 3 | 0 | 81 |
| 9 | effects.py | 109 | 3 | 0 | 76 |
| 10 | workspace.py | 108 | 3 | 0 | 81 |
| 11 | effects.py | 103 | 3 | 0 | 73 |
| 12 | reconciliation.py | 102 | 3 | 0 | 77 |
Current findings
Confirmed defects: 0
Anomalies: 8
Hotspots: 141
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 | 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 | commit.py: | ensure_semantic_commit_registry | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | commit.py: | _canonical_cisg_payload | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | commit.py: | _canonical_cisg_payload | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | commit.py: | _run_pbsio | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | commit.py: | _run_pbsio | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | commit.py: | commit_applied_source | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | commit.py: | commit_applied_source | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | commit.py: | _record_blocked_commit | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | commit.py: | _record_blocked_commit | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | commit.py: | _persist_commit | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | high_call_fanout | commit.py: | current_semantic_state | High static call fan-out; review as an orchestration/hotspot node. |
| info | hotspot | boundary_heavy | commit.py: | current_semantic_state | Many calls cross the resolved graph boundary. |
| info | hotspot | high_call_fanout | commit.py: | mark_apply_reverted | High static call fan-out; review as an orchestration/hotspot node. |
| 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 | 89 |
| orchestration_fanout | 32 |
| retry_candidate | 7 |
| read_modify_write | 2 |
Program structure
Resolved local calls: 548
Boundary calls: 2515
State regions: 50
State writes: 46
Effect relations: 34
Source identity
| Path | Bytes | SHA-256 |
|---|---|---|
| __init__.py | 20 | 1c316e22efa31aeb65… |
| cli.py | 3741 | baeed0d97a8a782779… |
| commit.py | 18061 | d8dac5922303d7a777… |
| delta.py | 19978 | f287dd51ca9e7a1fe1… |
| dynamic.py | 19492 | d2fcb726b72af2c927… |
| effects.py | 22194 | 175c909abc8a44af59… |
| linking.py | 9463 | a77bb0fe69d1ebb40b… |
| operators.py | 8921 | f1b1c747d0c8c7c7dd… |
| 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 | 19135 | 9da4b12893a9ecee12… |
| reconciliation.py | 14440 | 76cd51032165c1fd25… |
| runtime.py | 9434 | 2eb25b5f292fb4761c… |
| util.py | 596 | 0752ec24a61f739a80… |
| workspace.py | 18831 | 7edf7df44daa9ac228… |
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