PBSOI Semantic Diff v0.6

Semantic events

Dependencies Δ

Calls Δ

State writers Δ

Effects Δ

Motifs Δ

Findings Δ

Exceptions Δ

Impact targets Δ

Semantic events

Severity	Kind	Change	Basis
No normalized semantic event detected.

Impact breadth changes

Impact Δ is bounded review-scope change, not defect truth.

Target	Δ breadth	Before	After	Vector Δ
No impact breadth change in evaluated targets.

File content identity

Hash changes are content evidence and are intentionally separate from semantic changes.

File	Base SHA	Target SHA	Bytes Δ
app.py	`98f979337e5027`	`b70117ad3a8bcb`	+33

Possible rename / move candidates

Only unique exact normalized function-shape matches are shown; these remain inferred candidates.

From	To	Confidence	Basis
No conservative rename/move candidate.

{
  "version": "semantic-diff-0.5",
  "definition": "Semantic diff compares normalized program identities and relations rather than source line positions. File hashes are reported separately as content change evidence.",
  "base": {
    "root": "/tmp/pbsio_git__bnwyf8a/base_snapshot",
    "analyzer_version": "0.5.0",
    "metrics": {
      "loaded_files": 2,
      "nodes": 9,
      "edges": 12,
      "node_types": {
        "file": 2,
        "function": 3,
        "data_value": 2,
        "data_sink": 2
      },
      "edge_types": {
        "contains": 3,
        "imports": 1,
        "defines": 2,
        "contains_data": 2,
        "returns_value": 2,
        "calls": 2
      },
      "resolved_local_calls": 2,
      "boundary_calls": 0,
      "findings_by_category": {},
      "findings_by_severity": {},
      "motif_instances": 0,
      "motif_clusters": 1,
      "data_values": 2,
      "phi_nodes": 0,
      "data_edges": 4,
      "alias_edges": 0,
      "state_regions": 0,
      "state_reads": 0,
      "state_writes": 0,
      "module_binding_reads": 0,
      "exception_handlers": 0,
      "explicit_raises": 0,
      "unresolved_local_uses": 0,
      "warnings": 0
    }
  },
  "target": {
    "root": "/tmp/pbsio_git__bnwyf8a/head_snapshot",
    "analyzer_version": "0.5.0",
    "metrics": {
      "loaded_files": 2,
      "nodes": 9,
      "edges": 12,
      "node_types": {
        "file": 2,
        "function": 3,
        "data_value": 2,
        "data_sink": 2
      },
      "edge_types": {
        "contains": 3,
        "imports": 1,
        "defines": 2,
        "contains_data": 2,
        "returns_value": 2,
        "calls": 2
      },
      "resolved_local_calls": 2,
      "boundary_calls": 0,
      "findings_by_category": {},
      "findings_by_severity": {},
      "motif_instances": 0,
      "motif_clusters": 1,
      "data_values": 2,
      "phi_nodes": 0,
      "data_edges": 4,
      "alias_edges": 0,
      "state_regions": 0,
      "state_reads": 0,
      "state_writes": 0,
      "module_binding_reads": 0,
      "exception_handlers": 0,
      "explicit_raises": 0,
      "unresolved_local_uses": 0,
      "warnings": 0
    }
  },
  "summary": {
    "files_added": 0,
    "files_removed": 0,
    "files_modified": 1,
    "entities_added": 0,
    "entities_removed": 0,
    "dependencies_added": 0,
    "dependencies_removed": 0,
    "calls_added": 0,
    "calls_removed": 0,
    "state_readers_added": 0,
    "state_readers_removed": 0,
    "state_writers_added": 0,
    "state_writers_removed": 0,
    "effects_added": 0,
    "effects_removed": 0,
    "motifs_added": 0,
    "motifs_removed": 0,
    "findings_added": 0,
    "findings_resolved": 0,
    "exception_structures_added": 0,
    "exception_structures_removed": 0,
    "impact_targets_changed": 0,
    "possible_renames_or_moves": 0,
    "semantic_events": 0
  },
  "changes": {
    "files": {
      "added": [],
      "removed": [],
      "modified": [
        {
          "path": "app.py",
          "base_sha256": "98f979337e50277dd6af4d7077c28dc9bc297a1610918f08ada1f3a77636e163",
          "target_sha256": "b70117ad3a8bcb45e45739d223fc84fe2052a5949cf651eafe5b98f1e80129c1",
          "base_bytes": 67,
          "target_bytes": 100
        }
      ]
    },
    "entities": {
      "added": [],
      "removed": []
    },
    "relations": {
      "calls": {
        "added": [],
        "removed": []
      },
      "effect": {
        "added": [],
        "removed": []
      },
      "imports": {
        "added": [],
        "removed": []
      },
      "reads_state": {
        "added": [],
        "removed": []
      },
      "writes_state": {
        "added": [],
        "removed": []
      }
    },
    "motifs": {
      "added": [],
      "removed": []
    },
    "findings": {
      "added": [],
      "resolved": []
    },
    "exceptions": {
      "added": [],
      "removed": []
    },
    "impact": {
      "changed": [],
      "meta": {
        "evaluated": 3,
        "candidate_count": 3,
        "cap": 500,
        "truncated": false,
        "depth": 3
      }
    },
    "possible_renames_or_moves": []
  },
  "semantic_events": [],
  "epistemic_boundary": {
    "observed": [
      "per-file content hash change",
      "source-derived entity presence",
      "normalized import/call/state/effect relations",
      "detector findings"
    ],
    "strongly_inferred": [
      "motif membership",
      "bounded Impact Engine breadth change",
      "unique normalized-shape rename/move candidate"
    ],
    "unresolved": [
      "behavioral equivalence outside the analyzed static subset",
      "dynamic dispatch/reflection/native effects",
      "whether an added semantic relation changes user-visible behavior",
      "rename/move candidates when structural signatures are ambiguous"
    ]
  }
}

Epistemic boundary

Observed: normalized source-derived entities/relations and file content hashes.

Strongly inferred: motifs, bounded impact changes, conservative rename/move candidates.

Unresolved: runtime-only behavior, reflection/native code, and whether a semantic relation change alters user-visible behavior.