Temporal Properties

Temporal properties describe behavior across time, not only a single state.

Safety properties ask whether something bad can happen. Liveness-style questions ask whether something good eventually happens under explicit assumptions. Oxpecker will approach these ideas through bounded checks first, while keeping the limits visible.