Documentation
¶
Overview ¶
Package assert provides runtime invariant checks for coord internals.
Assertions trigger panics on failure — they signal programmer errors, not operating errors. Operating errors use coord's sentinel errors. See docs/invariants.md for the canonical invariant list.
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func NoError ¶
NoError panics if err is non-nil. Use where an error would indicate internal corruption, not an operating failure the caller can handle.
func Postcondition ¶
Postcondition panics if cond is false. Semantically identical to Precondition but marks the check as a return-time invariant.
func Precondition ¶
Precondition panics if cond is false, formatting msg with args. Use for caller-contract checks at the start of a function.
Types ¶
This section is empty.
Source Files
Click to show internal directories.
Click to hide internal directories.