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

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?

19
Files
149
Functions
0
Confirmed defects
115
Hotspots
48
State regions
2034
Boundary calls
103
Motifs
404
Resolved calls

Review first

Review breadth is prioritization metadata, not defect truth.

#TargetBreadthFilesState coupledBoundaries
1
util.py
384111280
2
util.py
285120221
3
util.py
26580195
4
cli.py
21960161
5
query.py
1181085
6
linking.py
1093081
7
workspace.py
1063079
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: 6

Hotspots: 115

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.
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_fanoutdynamic.py:_tree_fingerprintHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavydynamic.py:_tree_fingerprintMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutdynamic.py:ensure_dynamic_registriesHigh static call fan-out; review as an orchestration/hotspot node.
infohotspothigh_call_fanoutdynamic.py:run_candidate_testsHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavydynamic.py:run_candidate_testsMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutdynamic.py:_eval_runtime_expectationHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavydynamic.py:_eval_runtime_expectationMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutdynamic.py:verify_dynamicHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavydynamic.py:verify_dynamicMany calls cross the resolved graph boundary.
infohotspothigh_call_fanoutdynamic.py:verify_candidateHigh static call fan-out; review as an orchestration/hotspot node.
infohotspotboundary_heavydynamic.py:verify_candidateMany 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_orchestration72
orchestration_fanout25
retry_candidate4
read_modify_write2

Program structure

Resolved local calls: 404

Boundary calls: 2034

State regions: 48

State writes: 44

Effect relations: 24

Open full node/data/state graph

Source identity

PathBytesSHA-256
__init__.py2256a202c28199ca7ee0d…
cli.py37411e584637a7da35223f…
delta.py19978f287dd51ca9e7a1fe1…
dynamic.py19492d2fcb726b72af2c927…
linking.py9463a77bb0fe69d1ebb40b…
operators.py69895c48dfaa033023ab9f…
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.py18822a9d05d66f389d39109…
reconciliation.py1444076cd51032165c1fd25…
runtime.py72810398502232d00cbacf…
util.py5960752ec24a61f739a80…
workspace.py18330fe74654aa462cb6f40…

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