Project Review
Within the current Python static-analysis scope; this is not a proof of total correctness.
Analysis cache: cache_disabled
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 | app.py | 5 | 2 | 0 | 3 |
| 2 | app.py | 5 | 2 | 0 | 3 |
| 3 | tests/test_app.py | 5 | 2 | 0 | 3 |
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: 3
State regions: 0
State writes: 0
Effect relations: 0
Source identity
| Path | Bytes | SHA-256 |
|---|---|---|
| app.py | 157 | d56cd9c5c97d5342ea… |
| tests/__init__.py | 0 | e3b0c44298fc1c149a… |
| tests/test_app.py | 152 | 5407cdc72d755fe2ba… |
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