Event-driven ingest
Scheduled GeoNet RINEX sync into a private S3 data lake via
EventBridge Scheduler
AWS EventBridge Scheduler — triggers ingest-sync Lambda on a recurring UTC schedule (default: hourly). .
Event-driven ingest
Scheduled GeoNet RINEX sync into a private S3 data lake via
EventBridge Scheduler
AWS EventBridge Scheduler — triggers ingest-sync Lambda on a recurring UTC schedule (default: hourly). .
Deploy with Terraform
Staged apply from ECR image sync through
Amplify
AWS Amplify — hosts the Vite portal SPA. This walkthrough deploys via manual zip upload (no Git connection required). portal hosting and CORS lockdown
using Terraform
HashiCorp Terraform — provisions all platform infrastructure through five modules in `terraform/`. .
Verify end-to-end
CLI checks for SQS
Amazon Simple Queue Service — buffers ingest and reprocess messages between S3/API and the processor Lambda. queues,
Lambda
AWS Lambda — serverless compute for ingest-sync, query-api, reprocess-api, and the processor container image. processor,
REST API
Amazon API Gateway — REST API exposing `/catalog`, `/query`, and `/reprocess`. Browser CORS is locked to the Amplify hostname; CLI clients call the API Gateway URL directly. , portal, and observability.
Query and visualize
Catalog, query, and reprocess TEC
Total Electron Content — integrated electron density along the GNSS signal path; primary calibrated output of the processor. data
through the REST API
Amazon API Gateway — REST API exposing `/catalog`, `/query`, and `/reprocess`. Browser CORS is locked to the Amplify hostname; CLI clients call the API Gateway URL directly. and
Amplify
AWS Amplify — hosts the Vite portal SPA. This walkthrough deploys via manual zip upload (no Git connection required). portal.