What actually changed?
Target: 4 confirmed defectsContent changes and semantic changes are intentionally separated. Line movement alone is not treated as program change.
9
Semantic events
7
Medium+ events
4
New findings
0
Resolved findings
0
Impact targets changed
1
Files modified
Semantic events
| Severity | Kind | Change | Evidence basis |
|---|---|---|---|
| high | finding_added | Finding added: unreachable_statement at repo_semantic/incremental.py::_injected_mutable_default | detector diff |
| high | finding_added | Finding added: mutable_default at repo_semantic/incremental.py::_injected_mutable_default | detector diff |
| medium | finding_added | Finding added: module_import_cycle at :: | detector diff |
| medium | finding_added | Finding added: bare_except at repo_semantic/incremental.py::_injected_bare_except | detector diff |
| medium | exception_structure_added | Exception structure added: raises RuntimeError | normalized exception structure |
| medium | exception_structure_added | Exception structure added: handler ['*'] | normalized exception structure |
| medium | dependency_added | Dependency added: repo_semantic/incremental.py → repo_semantic/historical_timeline.py | normalized imports relation |
| low | call_added | Call added: _injected_mutable_default → bucket.append | normalized call relation |
| low | call_added | Call added: _injected_bare_except → RuntimeError | normalized call relation |
Introduced findings
| Severity | Class | Type | Location | Symbol | Statement |
|---|---|---|---|---|---|
| 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. | |
| 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. |
Resolved findings
| Severity | Class | Type | Location | Symbol | Statement |
|---|---|---|---|---|---|
| No findings in the current static scope. | |||||
Review breadth changes
Breadth change helps prioritize review; it is not a risk or truth score.
| Target | Δ breadth | Before | After |
|---|---|---|---|
| No impact breadth change in evaluated targets. | |||
File content identity
| File | Base SHA | Target SHA | Bytes Δ |
|---|---|---|---|
| repo_semantic/incremental.py | 94c006ad1e6bb1 | 6f24db1f386eb4 | +357 |
Epistemic boundary: normalized source-derived relations and detector findings are direct evidence; motif membership and bounded impact change are inferred; runtime-only behavior, reflection, native code and complete behavioral equivalence remain unresolved.