typosaurus
053c1a6b11
Outcome: done Changed: app/__init__.py:11-14 | src/calculator.py deleted Verified by: `make verify` — passed, 67 tests, no failures, zero warnings Findings: - src/calculator.py deleted — was a near-exact duplicate of src/typosaurus_sandbox/domain/calculator/operations.py - app/__init__.py imports now use typosaurus_sandbox.domain.calculator (canonical module) instead of src.calculator - All 67 existing tests pass with no regressions - Flask app continues to serve its HTML frontend via the same routes Open: none Confidence: high — syntactic correctness verified by `py_compile`, functional correctness verified by `make verify` passing all 67 tests Typosaurus-Run: 34b5946ec981488091bee588eb919ff2 Typosaurus-Node: 467304eb286a457189bfd6050e235fcf Typosaurus-Agent: @nadia Refs: #28
retoor retoor@molodetz.nl
typosaurus-sandbox
Sandbox for Typosaurus end-to-end verification.
A FastAPI application serving arithmetic operations over HTTP with JSON request/response bodies.
Configuration
The application uses a single .env.json file at the project root as its central point of truth
for configuration. Defaults are plug-and-play and require no setup:
{
"host": "127.0.0.1",
"port": 8000
}
When no .env.json is present, the application starts with these defaults. To customise, create
.env.json in the project root and populate only the keys that differ.
Usage
Start the server
python -m typosaurus_sandbox
The server listens on http://127.0.0.1:8000 by default.
Health check
GET /health
Response:
{"status": "ok"}
API endpoints
All calculator endpoints accept POST requests with a JSON body and return a JSON response.
POST /api/v1/calculator/add
Add two integers.
Request:
{"left": 3, "right": 5}
Response:
{"result": 8}
POST /api/v1/calculator/subtract
Subtract the right integer from the left.
Request:
{"left": 10, "right": 3}
Response:
{"result": 7}
POST /api/v1/calculator/clamp
Clamp a value between a low and high bound.
Request:
{"value": 15, "low": 0, "high": 10}
Response:
{"result": 10}
Boundaries are inclusive. A low > high combination produces a 422 validation response.
POST /api/v1/calculator/clamp-to-byte
Clamp an integer to the byte range [0, 255].
Request:
{"value": 300}
Response:
{"result": 255}
Verification
make verify
Runs compile-all checks against all source and test files, then executes the full test suite. Zero warnings are tolerated.