Rules & Limit — Refinement Types
The canonical v0.34.7 guide for Rules-backed limits now lives in
guide/dbc/limit.md.
Current surface summary:
Rules:Positive = { $ > 0 };
func:process = NIL(int32:count) {
limit<Positive> int32:safe = count;
pass(NIL);
};
v0.34.6 locked two important behaviors:
- compile-time-known violations emit
ARIA-076 / ARIA-LIMIT-COMPTIME-FAIL; - runtime declaration and assignment violations route through failsafe code
49.
This page remains as a compatibility entry point from the advanced-features section.