How the Georgia შვებულება calculator is verified
Inputs
| Input | Field | Type |
|---|---|---|
| Work under arduous, harmful or hazardous conditions | hazardousWork | boolean |
| Working days already taken | daysTaken | number |
The formula
Each derived value below is computed by the Valem engine from the expression shown, in this order. Nothing else runs — there is no hidden code path.
| Derived value | Field | Formula (JSONata) |
|---|---|---|
| Days Entitled | daysEntitled | $const.statutoryWorkingDays |
| Additional Calendar Days | additionalCalendarDays | hazardousWork ? $const.hazardousCalendarDays : 0 |
| Days Remaining | daysRemaining | ($r := daysEntitled - $n(daysTaken); $r < 0 ? 0 : $round($r, 1)) |
Rates and thresholds
The expressions above read these as $const. They are the figures the annual refresh replaces, so they live as data rather than being written into the formulas — which is what makes a year-on-year change a one-line diff instead of an edit to arithmetic.
| Constant | Value |
|---|---|
statutoryWorkingDays | 24 |
hazardousCalendarDays | 10 |
Test vectors (4)
Every case is executed against this model on each build, by the Java engine and independently by a JavaScript one. A mismatch of a single cent fails the build, so the page cannot ship advertising a figure the model no longer produces.
Case 1 — G1 the statutory minimum is 24 working days
given hazardousWork | no |
|---|---|
given daysTaken | 0 |
expect daysEntitled | 24 |
expect additionalCalendarDays | 0 |
Case 2 — G2 hazardous work adds 10 calendar days, shown separately
given hazardousWork | yes |
|---|---|
given daysTaken | 0 |
expect daysEntitled | 24 |
expect additionalCalendarDays | 10 |
Case 3 — G3 days taken come off the remainder
given hazardousWork | no |
|---|---|
given daysTaken | 10 |
expect daysRemaining | 14 |
Case 4 — G4 never negative
given hazardousWork | no |
|---|---|
given daysTaken | 40 |
expect daysRemaining | 0 |
Sources
Check it yourself — and reuse it
The whole model as JSON — inputs, outputs, formulas, vectors and sources in one re-runnable document.
This model is published under CC BY 4.0: use it, adapt it, build on it, with attribution. The licence covers the model — the expression of each rule and the arrangement of the catalog. The rates and thresholds are law, and nobody licenses those; the sources above are where they come from.
← Back to the Georgia შვებულება calculator
Built with Valem — a live, verifiable calculator you can fork and embed.