Repository Semantic Review v1.0
/mnt/data/PSMR_Runtime_MVP_v0.3/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?

15
Files
78
Functions
0
Confirmed defects
64
Hotspots
33
State regions
976
Boundary calls
52
Motifs
183
Resolved calls

Review first

Review breadth is prioritization metadata, not defect truth.

#TargetBreadthFilesState coupledBoundaries
1
util.py
17171131
2
cli.py
16250122
3
util.py
15380117
4
linking.py
1113082
5
query.py
1081080
6
linking.py
1083080
7
workspace.py
1074080
8
workspace.py
1023076
9
workspace.py
853067
10
query.py
831068
11
query.py
831068
12
query.py
821068

Current findings

Confirmed defects: 0

Anomalies: 1

Hotspots: 64

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_fanoutlinking.py:_tokensHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavylinking.py:_tokensMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutlinking.py:_graph_contextHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavylinking.py:_graph_contextMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutlinking.py:_load_nodesHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavylinking.py:_load_nodesMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutlinking.py:_refHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavylinking.py:_refMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutlinking.py:_candidateHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavylinking.py:_candidateMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutlinking.py:discover_linksHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavylinking.py:discover_linksMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutlinking.py:rebuild_link_registryHigh static call fan-out; review as an orchestration/hotspot node.
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_fanoutquery.py:linksHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyquery.py:linksMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutquery.py:semantic_domainHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyquery.py:semantic_domainMany 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_orchestration37
orchestration_fanout11
retry_candidate2
read_modify_write2

Program structure

Resolved local calls: 183

Boundary calls: 976

State regions: 33

State writes: 31

Effect relations: 8

Open full node/data/state graph

Source identity

PathBytesSHA-256
__init__.py2255e07407577b1b9fd4b…
cli.py2945b105e87808be106624…
linking.py921619ecfbc79045ac5eb1…
operators.py3236f51d7b63ef35f5169f…
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.py162170af5927e1f333cc906…
runtime.py318758b1fc95bddda8978e…
util.py5960752ec24a61f739a80…
workspace.py143745aa34d10078a6cea44…

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