|
|
|
@@ -0,0 +1,59 @@
|
|
|
|
|
# SQA Review Record RC-015: PY-003
|
|
|
|
|
|
|
|
|
|
## Metadata
|
|
|
|
|
| Key | Value |
|
|
|
|
|
| --- | --- |
|
|
|
|
|
| ID | RC-015 |
|
|
|
|
|
| CrossReference | [PY-003], [QC-PY-001] |
|
|
|
|
|
|
|
|
|
|
## Version History
|
|
|
|
|
| Date | Status | Author | Reviewer | Change | Commit |
|
|
|
|
|
| --- | --- | --- | --- | --- | --- |
|
|
|
|
|
| 2026-10-13 | Accepted | Jens Tirsvad Nielsen | AI as stand-in for S01 | Review of PY-003 | pending |
|
|
|
|
|
|
|
|
|
|
---
|
|
|
|
|
|
|
|
|
|
## Artifact Under Review
|
|
|
|
|
|
|
|
|
|
- Instance reviewed: [PY-003]
|
|
|
|
|
- Checklist used: [QC-PY-001]
|
|
|
|
|
- Scope: full review
|
|
|
|
|
- Language and domain: n/a (technical type)
|
|
|
|
|
- Language reviewer: none
|
|
|
|
|
- Mode: autonomous, not independent (the reviewer is `AI as stand-in for S01`)
|
|
|
|
|
|
|
|
|
|
## Checklist Results
|
|
|
|
|
|
|
|
|
|
| # | Criterion | Status | Evidence/Notes |
|
|
|
|
|
| --- | --- | --- | --- |
|
|
|
|
|
| 1 | Packages, modules, functions, variables, classes and constants follow PEP 8 casing (`snake_case`, `PascalCase`, `UPPER_SNAKE`) | Pass | ruff rule set N passes; modules snake_case, classes PascalCase, `InvalidWordError` ends in Error. |
|
|
|
|
|
| 2 | Names state purpose in the domain's language; no unexplained abbreviations, no single-letter names outside tiny scopes | Pass | Names state purpose: `generate_phonetic`, `load_nato_dict`, `SpellWordSession`. |
|
|
|
|
|
| 3 | Code is produced by the project's formatter and passes its linter with no unexplained suppressions | Pass | ruff 0.17.0 check and format pass; no suppressions. |
|
|
|
|
|
| 4 | Every function and method signature is type-annotated, including `-> None` | Pass | All signatures annotated; mypy --strict passes. |
|
|
|
|
|
| 5 | No bare `except:`, no swallowed exceptions; specific exceptions are raised and the cause is kept (`raise ... from`) | Pass | `InvalidWordError` is raised `from` the KeyError; the console adapter maps only EOFError and KeyboardInterrupt to `InputClosedError`; no bare except. |
|
|
|
|
|
| 6 | No mutable default arguments and no shadowed builtins | Pass | No mutable defaults; `path` defaults to None. |
|
|
|
|
|
| 7 | Files, locks and connections are managed with context managers | Pass | The CSV is read inside a `with` block. |
|
|
|
|
|
| 8 | Public modules, classes and functions have docstrings that say what, not how | Pass | Every module, class, function and constant has a Doxygen docstring; doxygen reports 0 warnings. |
|
|
|
|
|
| 9 | Logging uses `logging`, not `print`; no secrets or personal data in log output | Pass | `print` and `input` are confined to `adapters/console.py` because the console is the program's output; there is no logging and no secret or personal data. |
|
|
|
|
|
| 10 | Classes and operations trace to the Design Class Diagram they implement; deviations are recorded | N-A | No design class diagram exists; MIL-002 plans none (the SSD and use case are the design artifacts). Classes follow the ports in `application/ports.py`. |
|
|
|
|
|
| 11 | Tests exist for new behaviour, are named for the behaviour, and do not depend on order or the network | Pass | 50 tests named for behaviour; `tmp_path` and fakes; no network; order independent. |
|
|
|
|
|
| 12 | Type checker runs in strict mode without errors; `Any` is justified in a comment | Pass | mypy --strict: no issues in 18 files; no `Any`. |
|
|
|
|
|
| 13 | Dependencies are declared and pinned in the project's dependency file, none unused | Pass | No runtime dependencies; development tools pinned with `==`. |
|
|
|
|
|
| 14 | Each piece of knowledge (a business rule, constant, format, validation or query) is defined in one place; code is merged only where it expresses the same knowledge, not where it merely looks alike | Pass | Each literal is defined once in `constants.py`; the letter mapping is defined once in the CSV. |
|
|
|
|
|
| 15 | Imports point inward: business-rule modules import no framework, database, UI or delivery-mechanism code, and there are no import cycles | Pass | import-linter contract `Dependencies point inward` is kept; no cycles. |
|
|
|
|
|
| 16 | SOLID holds: a class or module has one reason to change; new behaviour is added by extension, not by editing a type test in several places; subclasses honour the contract of their base; protocols are narrow; high-level code depends on protocols or abstract types and receives its implementations | Pass | Ports are narrow Protocols; the session depends on them, adapters implement them. |
|
|
|
|
|
|
|
|
|
|
## Overall Verdict
|
|
|
|
|
|
|
|
|
|
Go — re-review of the package after MIL-003 changed only the package docstring (Doxygen main page) and the Doxyfile (`INPUT = src`, `SHORT_NAMES = YES`); the checks are repeated: pytest 50 passed, ruff, mypy --strict, import-linter and doxygen (0 warnings) pass, also in a fresh clone on Windows PowerShell. The README is checked with check-readme.sh (no QC checklist exists for it).
|
|
|
|
|
|
|
|
|
|
## Action Items
|
|
|
|
|
|
|
|
|
|
| Action | Owner | Due |
|
|
|
|
|
| --- | --- | --- |
|
|
|
|
|
| None | S01 | n/a |
|
|
|
|
|
|
|
|
|
|
---
|
|
|
|
|
|
|
|
|
|
[PY-003]: ../../../src/nato_alphabet/__init__.py
|
|
|
|
|
[QC-PY-001]: ../../../framework/qc/code/qc-programming-python.md
|