Project Review
Within the current Python static-analysis scope; this is not a proof of total correctness.
Analysis cache: full_recompute
Start here: review confirmed findings first; then inspect the highest review-breadth targets before making broad changes.
What needs attention?
What should I review if I change this?
Where is the evidence?
Review first
Review breadth is prioritization metadata, not defect truth.
| # | Target | Breadth | Files | State coupled | Boundaries |
|---|---|---|---|---|---|
| 1 | test_app.py | 2 | 2 | 0 | 0 |
| 2 | app.py | 2 | 2 | 0 | 0 |
| 3 | app.py | 2 | 2 | 0 | 0 |
Current findings
Confirmed defects: 0
Anomalies: 0
Hotspots: 0
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
| Severity | Class | Type | Location | Symbol | Evidence statement |
|---|---|---|---|---|---|
| No findings in the current static scope. | |||||
Impact Review
Direct means one-hop graph evidence. Derived means bounded resolved call paths plus shared-state coupling.
Functional shapes
| Motif | Instances |
|---|---|
| No motif candidates. | |
Program structure
Resolved local calls: 2
Boundary calls: 0
State regions: 0
State writes: 0
Effect relations: 0
Source identity
| Path | Bytes | SHA-256 |
|---|---|---|
| app.py | 79 | 16a2c1c104c2ff5ff8… |
| test_app.py | 63 | 27ec5c32df8a77636d… |
Epistemic boundary
- 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
- local call target resolution
- parameter-container state regions
- effect hints
- branch/loop phi merges
- explicit exception catch matching
- structural motif candidates
- runtime dispatch
- reflection
- native extension behavior
- external library semantics
- precise heap points-to beyond definition-time alias
- dynamic exception behavior from calls
- concurrency semantics