rslc check verifies the implemented inputs, calculations, tables, rounding, and citations.
A passing check describes that implementation; source review and independent examples establish its fidelity to the filing.
Language guarantees states what holds for every program that passes. This page covers the evidence that a review still gathers.
What the check establishes
What still needs review
- Check extracted rates and interpreted rules against the applicable filing.
- Reconcile independent premiums, coverage scope, fees, assignments, and rounding.
- Inspect mapping assumptions before comparing programs.
- Keep unrated submissions and their reasons alongside premium statistics.
Input checks and refusals
The runtime checks input shape, keys, and rules before returning rating outcomes. A refusal identifies detected violations, with codes, messages, and available citations. The refusal reference defines evaluation order and truncation limits.Calculation checks
The compiler checks each operation against the values it can receive. For example, a division needs a nonzero divisor and a table lookup needs a row for each reachable key. Fix the implementation in the way the filing supports: narrow accepted inputs or handle the case explicitly. Check messages lists diagnostic codes and suggested fixes.Exact values and rounding
RSL preserves exact arithmetic between explicit rounding operations. A declared precision is a property of the value, rather than an instruction to round it. Exact numbers explains the distinction.Citations identify the evidence
The compiler checks source names, citation presence, and region syntax. A reviewer establishes whether the cited material supports the implemented rule or value. Citations describes source locations and citation requirements.Work and runtime limits
Cost expressions describe operations as input lists grow; they are bounds rather than elapsed-time predictions. Runtime request and refusal limits still apply, as described in Refusals.Next steps
- Use the rslc commands to check a rater.
- Test a rater against independent examples and business rules.