Repository Semantic Review v1.0
/mnt/data/PSMR_Runtime_MVP_v0.2/psmr
Technical evidence view →

Project Review

● No confirmed defects · 1 anomalies

Anomalies are review candidates, not proven bugs.

Analysis cache: full_recompute

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
63
Functions
0
Confirmed defects
47
Hotspots
28
State regions
751
Boundary calls
41
Motifs
137
Resolved calls

Review first

Review breadth is prioritization metadata, not defect truth.

#TargetBreadthFilesState coupledBoundaries
1
util.py
1327199
2
util.py
1306198
3
util.py
1157087
4
workspace.py
1054079
5
workspace.py
1044077
6
cli.py
1014076
7
workspace.py
993073
8
query.py
911068
9
workspace.py
823064
10
workspace.py
783061
11
util.py
703057
12
workspace.py
702057

Current findings

Confirmed defects: 0

Anomalies: 1

Hotspots: 47

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

SeverityClassTypeLocationSymbolEvidence statement
infoanomalyduplicate_function_shape:Functions normalize to the same AST shape.
infohotspothigh_call_fanoutcli.py:mainHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavycli.py:mainMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutproviders/adapter_result.py:AdapterResultProvider.probeHigh static call fan-out; review as an orchestration/hotspot node.
infohotspothigh_call_fanoutproviders/adapter_result.py:AdapterResultProvider.ingestHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyproviders/adapter_result.py:AdapterResultProvider.ingestMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutproviders/intent_text.py:IntentTextProvider.ingestHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyproviders/intent_text.py:IntentTextProvider.ingestMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutproviders/json_schema.py:JSONSchemaProvider.ingestHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyproviders/json_schema.py:JSONSchemaProvider.ingestMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutproviders/pbsio.py:PBSIOProvider.ingestHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyproviders/pbsio.py:PBSIOProvider.ingestMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutproviders/registry.py:ProviderRegistry.probe_allHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyproviders/registry.py:ProviderRegistry.probe_allMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutproviders/registry.py:ProviderRegistry.resolveHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyproviders/registry.py:ProviderRegistry.resolveMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutquery.py:_total_metricsHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyquery.py:_total_metricsMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutquery.py:describeHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyquery.py:describeMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutquery.py:_node_search_rowsHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyquery.py:_node_search_rowsMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutquery.py:searchHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyquery.py:searchMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutquery.py:resolve_anchorHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyquery.py:resolve_anchorMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutquery.py:subgraphHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyquery.py:subgraphMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutquery.py:_bfs_edgesHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyquery.py:_bfs_edgesMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutquery.py:impactHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyquery.py:impactMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutquery.py:unknownsHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyquery.py:unknownsMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutquery.py:semantic_diffHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyquery.py:semantic_diffMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutruntime.py:Runtime.invokeHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyruntime.py:Runtime.invokeMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutworkspace.py:create_workspaceHigh static call fan-out; review as an orchestration/hotspot node.
infohotspothigh_call_fanoutworkspace.py:_merge_recordsHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyworkspace.py:_merge_recordsMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutworkspace.py:_merge_evidenceHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyworkspace.py:_merge_evidenceMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutworkspace.py:commit_provider_resultHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyworkspace.py:commit_provider_resultMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutworkspace.py:import_pbsio_outputHigh static call fan-out; review as an orchestration/hotspot node.
infohotspothigh_call_fanoutworkspace.py:Workspace.__init__High static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyworkspace.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

MotifInstances
boundary_orchestration28
orchestration_fanout9
retry_candidate2
read_modify_write2

Program structure

Resolved local calls: 137

Boundary calls: 751

State regions: 28

State writes: 27

Effect relations: 8

Open full node/data/state graph

Source identity

PathBytesSHA-256
__init__.py225140cd610ec4b5488df…
cli.py270898bf252b377b7e156e…
operators.py2765fd049f8ebb2b0a61f1…
providers/__init__.py5819e673f0779551a5e39…
providers/adapter_result.py2802697d7a5d938d5d0b39…
providers/base.py419e3b44aff3044040925…
providers/intent_text.py3442f4a0c1443a1e4f2065…
providers/json_schema.py39555f772d6ed4364f3be7…
providers/pbsio.py448129a39498547beadff8…
providers/registry.py1734f8866b67868b17753d…
query.py132997c8efb4f67b5194e32…
runtime.py2719790fad55713f74d3c5…
util.py5960752ec24a61f739a80…
workspace.py13149c4ec94660981113796…

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