loader/_docs/02_document/04_verification_log.md

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:

• constants (module doc + component 01)
• credentials (module doc + component 01)
• user (module doc + component 01)
• unlock_state (module doc + component 01)
• binary_split (module doc + component 03)
• security (module doc + component 02)
• hardware_service (module doc + component 02)
• cdn_manager (module doc + component 03)
• api_client (module doc + component 03)
• main (module doc + component 04)

Consistency Check

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