Assertion
Also: runtime invariant check
A check that a condition believed necessary is currently true.
Assertions expose violated programmer assumptions near their source and should record enough context without replacing external input validation.
Example Assert that a ring-buffer index remains below capacity.
Common misconception Assertions are not a recovery strategy and may be disabled in some production configurations.