Public engineering record

Projects

Rust Booking API

Booking API is an educational backend project built with Rust, Axum, Tokio, SQLx, and PostgreSQL.

Technology roles

  • RustBackend implementation language.
  • AxumWeb framework used by the backend.
  • TokioAsynchronous runtime used by the backend.
  • SQLxDatabase-access toolkit used by the backend.
  • PostgreSQLRelational persistence used in the audited source.
Current result
A source-level functional-MVP candidate whose runtime behaviour remains unverified.
Verification boundary
Commit-scoped static source review; runtime behaviour, passing tests, deployment, production readiness, and security completeness are not verified.

Limitation: Runtime behaviour, passing tests, deployment, production readiness, security completeness, real-world usage, concurrency, and cache behaviour are not verified or claimed beyond the static audit.