PBSOI CISG MVP v1.0 — Impact Engine

MVP pipeline

Repository → CISG → Data/State Closure → Impact Engine → review scope

v1.0 technical view preserves one-hop direct evidence from bounded derived impact. Derived impact uses resolved local-call reachability and shared-state coupling; it is review scope, not a claim that every reachable entity will change at runtime.

Metrics

{
  "loaded_files": 22,
  "nodes": 4820,
  "edges": 12622,
  "node_types": {
    "file": 22,
    "function": 167,
    "class": 8,
    "method": 27,
    "boundary_module": 23,
    "control": 540,
    "data_value": 1668,
    "data_sink": 327,
    "boundary_call": 535,
    "module_binding": 23,
    "data_use": 360,
    "data_phi": 618,
    "effect": 2,
    "data_undefined": 327,
    "exception_event": 62,
    "boundary_exception": 38,
    "exception_handler": 16,
    "state_region": 57
  },
  "edge_types": {
    "contains": 202,
    "imports": 113,
    "controls": 540,
    "defines": 2286,
    "guards": 664,
    "contains_data": 720,
    "returns_value": 496,
    "calls": 3277,
    "reads_binding": 25,
    "flows_to": 2689,
    "phi_input": 1236,
    "effect": 35,
    "exception_value": 37,
    "raises": 62,
    "exception_flow": 59,
    "contains_exception_handler": 16,
    "aliases_at_definition": 36,
    "caught_by": 3,
    "reads_state": 73,
    "writes_state": 53
  },
  "resolved_local_calls": 591,
  "boundary_calls": 2686,
  "findings_by_category": {
    "hotspot": 153,
    "anomaly": 8
  },
  "findings_by_severity": {
    "info": 161
  },
  "motif_instances": 144,
  "motif_clusters": 29,
  "data_values": 1668,
  "phi_nodes": 618,
  "data_edges": 7444,
  "alias_edges": 36,
  "state_regions": 57,
  "state_reads": 73,
  "state_writes": 53,
  "module_binding_reads": 25,
  "exception_handlers": 16,
  "explicit_raises": 62,
  "unresolved_local_uses": 0,
  "warnings": 0
}

Highest review breadth

Warnings

• None