Click any component to explore it in the full case study.

Cloud Adapter + CI/CD Pipeline
Layer 1
Lambda Routing
17 API route handlers via Lambda function dispatcher
Layer 2
Cloud Adapters
DatabaseAdapter (DDB), StorageAdapter (S3), AIModelAdapter (Bedrock), SecretsAdapter (SSM)
Layer 3
DynamoDB Queries
7 tables with GSIs — query translation from business logic calls
Layer 4
CI/CD (5 jobs)
GitHub Actions: test → lint → security-scan → deploy → smoke-test. Pre-signed URL + secret caching validation
🧪
Property-Based Testing + Smoke Gates
Hypothesis PBT validates 6 behavioral properties. Smoke tests verify health endpoint, API contract, and DynamoDB access on every deploy. Pre-signed URL security validation included.
6 PBT properties (Hypothesis)Smoke tests per deploySecret caching validationPre-signed URL security3 environmentsZero manual IaC
5
CFN nested stacks
17
API routes
7
DynamoDB tables
0
Logic lines changed
StackAWS CloudFormationLambda Python 3.11DynamoDBS3 + CloudFrontGitHub ActionsHypothesis PBTAWS BedrockSSM Parameter Store