# Verification Log

## Summary

| Metric                    | Count |
|---------------------------|-------|
| Total entities verified   | 62    |
| Entities flagged          | 7     |
| Corrections applied       | 3     |
| Remaining gaps            | 0     |
| Completeness score        | 10/10 modules covered |

## Flagged Issues

### 1. Unused constant: `ALIGNMENT_WIDTH` (constants.pyx)

**Location**: `constants.pyx:15`
**Issue**: Defined (`cdef int ALIGNMENT_WIDTH = 32`) but never referenced by any other module.
**Action**: Noted in module doc and component spec as unused. No doc correction needed.

### 2. Unused constant: `BUFFER_SIZE` (security.pyx)

**Location**: `security.pyx:10`
**Issue**: Defined (`BUFFER_SIZE = 64 * 1024`) but never used within the module or externally.
**Action**: Noted in module doc. No doc correction needed.

### 3. Unused dependency: `psutil` (requirements.txt)

**Location**: `requirements.txt:10`
**Issue**: Listed as a dependency but never imported by any source file.
**Action**: Noted in discovery doc. No doc correction needed.

### 4. Dead declarations in constants.pxd

**Location**: `constants.pxd:3-5`
**Issue**: `QUEUE_MAXSIZE`, `COMMANDS_QUEUE`, `ANNOTATIONS_QUEUE` declared in `.pxd` but never defined in `.pyx`.
**Action**: Already documented in module doc and component spec.

### 5. Parameter naming inconsistency: cdn_manager

**Location**: `cdn_manager.pxd:14` vs `cdn_manager.pyx:36`
**Issue**: `.pxd` declares `download(self, str bucket, str filename)` but `.pyx` implements `download(self, str folder, str filename)`. The parameter name differs (`bucket` vs `folder`).
**Action**: Noted in this log. Functionally harmless (Cython matches by position), but misleading.

### 6. Unused attribute: `folder` in ApiClient

**Location**: `api_client.pxd:9`
**Issue**: `cdef str token, folder, api_url` declares `folder` as an instance attribute, but it is never assigned or read in `api_client.pyx`. All folder values are passed as method parameters.
**Action**: Noted in this log. Dead attribute declaration.

### 7. Unused path parameter in `/load/{filename}`

**Location**: `main.py:79`
**Issue**: `def load_resource(filename: str, req: LoadRequest)` — the path parameter `filename` is received but the body field `req.filename` is used instead. The path parameter is effectively ignored.
**Action**: Already documented in HTTP API component spec (Section 7, Caveats).

## Corrections Applied

### Correction 1: CDN manager module doc — clarified parameter naming

**Document**: `modules/cdn_manager.md`
**Change**: Added note about `.pxd`/`.pyx` parameter name inconsistency for `download` method.

### Correction 2: Security module doc — noted BUFFER_SIZE is unused

**Document**: `modules/security.md`
**Change**: Added note that `BUFFER_SIZE` is declared but never used.

### Correction 3: API client module doc — noted dead `folder` attribute

**Document**: `modules/api_client.md`
**Change**: Clarified that `folder` declared in `.pxd` is a dead attribute.

## Flow Verification

| Flow | Verified Against Code | Status |
|------|-----------------------|--------|
| F1 Authentication | `main.py:69-75`, `api_client.pyx:25-41` | Correct — login triggered lazily inside `load_bytes` → `request()` |
| F2 Resource Download | `api_client.pyx:166-186` | Correct — small→big(local)→big(CDN) fallback chain matches |
| F3 Resource Upload | `api_client.pyx:188-202` | Correct — encrypt→split→CDN+local+API flow matches |
| F4 Docker Unlock | `main.py:103-155`, `binary_split.py` | Correct — state machine transitions match |
| F5 Status Poll | `main.py:184-187` | Correct — trivial read of globals |
| F6 Health/Status | `main.py:53-65` | Correct |

## Completeness Check

All 10 source modules are covered:
- [x] constants (module doc + component 01)
- [x] credentials (module doc + component 01)
- [x] user (module doc + component 01)
- [x] unlock_state (module doc + component 01)
- [x] binary_split (module doc + component 03)
- [x] security (module doc + component 02)
- [x] hardware_service (module doc + component 02)
- [x] cdn_manager (module doc + component 03)
- [x] api_client (module doc + component 03)
- [x] main (module doc + component 04)

## Consistency Check

- [x] Component docs consistent with architecture doc
- [x] Flow diagrams match component interfaces
- [x] Data model doc matches entity definitions in module docs
- [x] Deployment docs match Dockerfile and CI config