AGENTS.md

Bike Tracking Agent Guide

Bike Tracking is a local-first commuter app that records rides and computes savings using a .NET Minimal API, F# domain logic, and a React TypeScript frontend.

Always Applies

• Work inside the DevContainer only.
• Run the app with dotnet run --project src/BikeTracking.AppHost.
• Use TDD with mandatory failing-test proof before implementation.
• E2E tests are required for every PR.
• Run the post-change verification matrix before merge.

Instruction Packs

• Architecture Principles
• Domain And Error Handling
• Testing And Quality Gates
• Frontend And UX
• Data Events And Projections
• Delivery And Git Workflow
• Runtime And Observability
• Stack And Environment
• Flagged For Deletion