Type Alias PositiveInt

Namespace providing type-safe operations for PositiveInt branded types.

PositiveInt represents integers that are strictly greater than zero (>= 1). All operations automatically clamp results to maintain the positive constraint, ensuring that arithmetic operations never produce zero or negative values.

This type is essential for:

• Array lengths and sizes (length >= 1)
• Counts and quantities that must be positive
• Denominators in division operations
• Loop counters and iteration counts
• Database primary keys and IDs