PBSOI CISG MVP

Files

349

Nodes

660

Edges

Local calls

162

Boundary calls

Defects

Motifs

MVP pipeline

Repository → Source fingerprint → AST/Symbols → Typed CISG → Deterministic findings → Structural motifs → Interactive evidence view

This MVP intentionally distinguishes defect, anomaly, and hotspot. Unresolved boundaries are preserved rather than guessed.

Metrics

{
  "loaded_files": 7,
  "nodes": 349,
  "edges": 660,
  "node_types": {
    "file": 7,
    "function": 27,
    "class": 1,
    "method": 2,
    "boundary_module": 7,
    "control": 73,
    "state": 166,
    "boundary_call": 65,
    "effect": 1
  },
  "edge_types": {
    "contains": 30,
    "imports": 27,
    "controls": 73,
    "reads_state": 322,
    "calls": 196,
    "writes_state": 11,
    "effect": 1
  },
  "resolved_local_calls": 34,
  "boundary_calls": 162,
  "findings_by_category": {
    "defect": 4,
    "hotspot": 16
  },
  "findings_by_severity": {
    "high": 2,
    "medium": 2,
    "info": 16
  },
  "motif_instances": 16,
  "motif_clusters": 7,
  "warnings": 0
}

Warnings

None

Code-Induced Semantic Graph

Overview shows 37 of 37 file/class/function entities. Full graph is in cisg.json / cisg.graphml.

Node evidence

Click a node.

Findings

Severity	Class	Type	Location	Symbol	Evidence statement
high	defect	mutable_default	repo_semantic/incremental.py:19	_injected_mutable_default	Mutable default argument can retain state across calls.
high	defect	unreachable_statement	repo_semantic/incremental.py:21	_injected_mutable_default	Statement follows an unconditional terminator in the same lexical block.
medium	defect	bare_except	repo_semantic/incremental.py:26	_injected_bare_except	Bare except catches every exception type.
medium	defect	module_import_cycle	:		Loaded modules form a static import cycle.
info	hotspot	boundary_heavy	repo_semantic/architecture_reconstruction.py:	_uncertainties	Many calls cross the resolved graph boundary.
info	hotspot	boundary_heavy	repo_semantic/execution_paths.py:	build_execution_paths	Many calls cross the resolved graph boundary.
info	hotspot	boundary_heavy	repo_semantic/grounding.py:	build_grounding_catalog	Many calls cross the resolved graph boundary.
info	hotspot	boundary_heavy	repo_semantic/historical_timeline.py:	build_historical_timeline	Many calls cross the resolved graph boundary.
info	hotspot	boundary_heavy	repo_semantic/limits.py:	skip_reason	Many calls cross the resolved graph boundary.
info	hotspot	boundary_heavy	repo_semantic/semantic_diff.py:	_lesson_invalidations	Many calls cross the resolved graph boundary.
info	hotspot	boundary_heavy	repo_semantic/semantic_diff.py:	build_semantic_diff	Many calls cross the resolved graph boundary.
info	hotspot	high_call_fanout	repo_semantic/architecture_reconstruction.py:	_flow_description	High static call fan-out; review as an orchestration/hotspot node.
info	hotspot	high_call_fanout	repo_semantic/architecture_reconstruction.py:	_uncertainties	High static call fan-out; review as an orchestration/hotspot node.
info	hotspot	high_call_fanout	repo_semantic/architecture_reconstruction.py:	reconstruct_architecture	High static call fan-out; review as an orchestration/hotspot node.
info	hotspot	high_call_fanout	repo_semantic/execution_paths.py:	build_execution_paths	High static call fan-out; review as an orchestration/hotspot node.
info	hotspot	high_call_fanout	repo_semantic/grounding.py:	build_grounding_catalog	High static call fan-out; review as an orchestration/hotspot node.
info	hotspot	high_call_fanout	repo_semantic/historical_timeline.py:	build_historical_timeline	High static call fan-out; review as an orchestration/hotspot node.
info	hotspot	high_call_fanout	repo_semantic/limits.py:	skip_reason	High static call fan-out; review as an orchestration/hotspot node.
info	hotspot	high_call_fanout	repo_semantic/semantic_diff.py:	_lesson_invalidations	High static call fan-out; review as an orchestration/hotspot node.
info	hotspot	high_call_fanout	repo_semantic/semantic_diff.py:	build_semantic_diff	High static call fan-out; review as an orchestration/hotspot node.

Deterministic motif candidates

Kind	Path	Symbol	Confidence	Structural rule
boundary_orchestration	repo_semantic/architecture_reconstruction.py	_flow_description	0.72	five or more unresolved/external calls
boundary_orchestration	repo_semantic/architecture_reconstruction.py	_module_roles	0.72	five or more unresolved/external calls
boundary_orchestration	repo_semantic/architecture_reconstruction.py	_uncertainties	0.72	five or more unresolved/external calls
boundary_orchestration	repo_semantic/architecture_reconstruction.py	reconstruct_architecture	0.72	five or more unresolved/external calls
boundary_orchestration	repo_semantic/execution_paths.py	build_execution_paths	0.72	five or more unresolved/external calls
boundary_orchestration	repo_semantic/grounding.py	build_grounding_catalog	0.72	five or more unresolved/external calls
boundary_orchestration	repo_semantic/historical_timeline.py	build_historical_timeline	0.72	five or more unresolved/external calls
boundary_orchestration	repo_semantic/incremental.py	diff_file_fingerprints	0.72	five or more unresolved/external calls
boundary_orchestration	repo_semantic/limits.py	skip_reason	0.72	five or more unresolved/external calls
boundary_orchestration	repo_semantic/semantic_diff.py	_lesson_invalidations	0.72	five or more unresolved/external calls
boundary_orchestration	repo_semantic/semantic_diff.py	_relation_targets	0.72	five or more unresolved/external calls
boundary_orchestration	repo_semantic/semantic_diff.py	build_semantic_diff	0.72	five or more unresolved/external calls
orchestration_fanout	repo_semantic/execution_paths.py	build_execution_paths	0.85	five or more resolved local calls
orchestration_fanout	repo_semantic/semantic_diff.py	build_semantic_diff	0.85	five or more resolved local calls
read_modify_write	repo_semantic/limits.py	RelationBudget.trim	0.86	same function reads and writes the same state target
resource_scope	repo_semantic/limits.py	skip_reason	0.92	with/async-with establishes bounded resource scope

Name-independent structural signature clusters

Motif ID	Members	Identity basis
motif_coarse_1d063c7b37b2	3	name-independent coarse structural feature signature
motif_coarse_6498af11de89	2	name-independent coarse structural feature signature
motif_coarse_b2feb91af8fa	2	name-independent coarse structural feature signature
motif_coarse_b4a27ad8a6cb	2	name-independent coarse structural feature signature
motif_coarse_e3a6d82c57d0	2	name-independent coarse structural feature signature
motif_coarse_f373ee2a1d21	2	name-independent coarse structural feature signature
motif_coarse_fca123bd72d6	6	name-independent coarse structural feature signature

Per-file SHA-256

Path	Bytes	SHA-256
repo_semantic/architecture_reconstruction.py	5145	`2c70301670ace276…`
repo_semantic/execution_paths.py	5894	`608725e724891c0b…`
repo_semantic/grounding.py	7189	`981aae9fc01d4273…`
repo_semantic/historical_timeline.py	2729	`2693e3fd967ac481…`
repo_semantic/incremental.py	1001	`6f24db1f386eb427…`
repo_semantic/limits.py	4039	`36c30278003ea489…`
repo_semantic/semantic_diff.py	4890	`dafdcb13775c6797…`

Epistemic contract

observed

Python AST definitions
imports
call syntax
control syntax
source spans
local file hashes

strongly_inferred

local call target resolution
attribute state access hints
effect hints
structural motif candidates

unresolved

runtime dispatch
reflection
native extension behavior
external library semantics
true receiver types without type flow
concurrency semantics