Testing
Tests prove requirements, invariants, and failure behavior.
What it is
Tests prove requirements, invariants, and failure behavior.
When to use it
Prioritize observable outcomes and adversarial cases.
Syntax
happy path | invalid | boundary | denied | duplicate | failure | concurrentExample
// For a transfer:
// Exact balance -> succeeds
// One minor unit too much -> fails without changes
// Unauthorized source -> forbidden
// Duplicate request -> one transfer
// Second write fails -> first rolled backCommon mistakes
Tests mirroring internal implementation miss behavior; production-engine concurrency needs integration tests.