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

Project Review

● No confirmed defects · 3 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?

18
Files
132
Functions
0
Confirmed defects
104
Hotspots
45
State regions
1793
Boundary calls
93
Motifs
344
Resolved calls

Review first

Review breadth is prioritization metadata, not defect truth.

#TargetBreadthFilesState coupledBoundaries
1
util.py
337101251
2
util.py
241110188
3
util.py
22070165
4
cli.py
21860160
5
query.py
1181085
6
linking.py
1093081
7
workspace.py
1053078
8
projection.py
1032084
9
reconciliation.py
1023077
10
delta.py
972072
11
reconciliation.py
953072
12
projection.py
942075

Current findings

Confirmed defects: 0

Anomalies: 3

Hotspots: 104

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.
infoanomalyduplicate_function_shape:Functions normalize to the same AST shape.
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_fanoutdelta.py:ensure_delta_registriesHigh static call fan-out; review as an orchestration/hotspot node.
infohotspothigh_call_fanoutdelta.py:_resolve_scopeHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavydelta.py:_resolve_scopeMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutdelta.py:_trusted_domainHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavydelta.py:_trusted_domainMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutdelta.py:_evidence_for_nodesHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavydelta.py:_evidence_for_nodesMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutdelta.py:_node_summaryHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavydelta.py:_node_summaryMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutdelta.py:propose_deltaHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavydelta.py:propose_deltaMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutdelta.py:validate_deltaHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavydelta.py:validate_deltaMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutdelta.py:preview_projectionHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavydelta.py:preview_projectionMany 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_fanoutprojection.py:ensure_projection_registriesHigh static call fan-out; review as an orchestration/hotspot node.
infohotspothigh_call_fanoutprojection.py:_tree_fingerprintHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyprojection.py:_tree_fingerprintMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutprojection.py:materialize_source_candidateHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyprojection.py:materialize_source_candidateMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutprojection.py:analyze_source_candidateHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyprojection.py:analyze_source_candidateMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutprojection.py:_update_candidateHigh static call fan-out; review as an orchestration/hotspot node.
infohotspothigh_call_fanoutprojection.py:_source_snapshotHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyprojection.py:_source_snapshotMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutprojection.py:_evaluate_expectationHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyprojection.py:_evaluate_expectationMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutprojection.py:verify_roundtripHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyprojection.py:verify_roundtripMany 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_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:link_explainHigh static call fan-out; review as an orchestration/hotspot node.
infohotspothigh_call_fanoutquery.py:link_validationHigh static call fan-out; review as an orchestration/hotspot node.
infohotspothigh_call_fanoutquery.py:reconciliationHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyquery.py:reconciliationMany 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_fanoutreconciliation.py:validate_linkHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyreconciliation.py:validate_linkMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutreconciliation.py:build_reconciliationHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyreconciliation.py:build_reconciliationMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutreconciliation.py:rebuild_reconciliationHigh static call fan-out; review as an orchestration/hotspot node.
infohotspothigh_call_fanoutreconciliation.py:record_link_reviewHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavyreconciliation.py:record_link_reviewMany 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_orchestration66
orchestration_fanout22
retry_candidate3
read_modify_write2

Program structure

Resolved local calls: 344

Boundary calls: 1793

State regions: 45

State writes: 41

Effect relations: 19

Open full node/data/state graph

Source identity

PathBytesSHA-256
__init__.py225f9c7facd6da1a7197a…
cli.py374115610eb421ab25b18d…
delta.py197354c1b4df3e33bba466f…
linking.py9463a77bb0fe69d1ebb40b…
operators.py5821e97d7e6c8e02c86a0c…
projection.py1907630304bdad1b27da724…
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.py185711aa4cf8baeef793944…
reconciliation.py1444076cd51032165c1fd25…
runtime.py6028fbb108f05f4a249930…
util.py5960752ec24a61f739a80…
workspace.py17352793b12f6d55a9ba630…

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