{
  "$comment": "Machine-readable companion to https://valem.run/calculators/norway/holiday-entitlement. Formula, inputs, outputs, engine-verified test vectors, cited sources and the re-runnable Valem ModelSpec behind the page.",
  "url": "https://valem.run/calculators/norway/holiday-entitlement",
  "dataUrl": "https://valem.run/calculators/norway/holiday-entitlement.json",
  "license": {
    "name": "CC BY 4.0",
    "url": "https://creativecommons.org/licenses/by/4.0/",
    "attribution": "Norway feriefritid model by Valem (https://valem.run/calculators/norway/holiday-entitlement), CC BY 4.0.",
    "note": "Covers the model — the expression of each rule and the arrangement of the catalog. The rates and thresholds themselves are law and are not licensed by anyone; the cited sources are where they come from."
  },
  "verificationUrl": "https://valem.run/calculators/norway/holiday-entitlement/verify",
  "country": "norway",
  "countryName": "Norway",
  "formula": "holiday-entitlement",
  "formulaName": "Feriefritid",
  "title": "Feriedager 2026 — 25 Virkedager, Fire Uker Pluss Én Dag",
  "answer": "Ferieloven § 5 gives 25 virkedager of feriefritid each holiday year. A virkedag is any day that is not a Sunday or a public holiday, so Saturdays count — which makes 25 virkedager four whole weeks plus one day, or 21 working days on a five-day week. Anyone turning 60 during the year gets six more.",
  "lang": "en",
  "currency": "NOK",
  "taxYear": "2026",
  "verification": {
    "claim": "internal-consistency",
    "statement": "The Valem engine reproduces this model's stated formula through 8 self-test cases (below, and re-runnable against the spec). That asserts internal consistency, NOT that the formula matches current law — the cited sources are the evidence for that, and carry the date each was last checked.",
    "selfTestCases": 8,
    "ratesAreIllustrative": false,
    "sourcesCheckedOn": "2026-10-11"
  },
  "sources": [
    {
      "label": "Ferieloven § 5 — Lovdata (25 virkedager and what a virkedag is; the six-virkedag bonus at 60; the 30 September cliff)",
      "url": "https://lovdata.no/dokument/NL/lov/1988-04-29-21",
      "checked": "2026-10-11"
    }
  ],
  "terminalOutput": "daysRemaining",
  "headlineOutput": "daysEntitled",
  "inputs": [
    {
      "name": "daysPerWeek",
      "type": "number",
      "label": "Days you work per week",
      "minimum": 1,
      "maximum": 7
    },
    {
      "name": "age",
      "type": "number",
      "label": "Your age during the holiday year",
      "minimum": 13,
      "maximum": 100
    },
    {
      "name": "startedAfterSep30",
      "type": "boolean",
      "label": "I started after 30 September of the holiday year"
    },
    {
      "name": "daysTaken",
      "type": "number",
      "label": "Days already taken",
      "minimum": 0
    }
  ],
  "outputs": [
    {
      "name": "baseVirkedager",
      "type": "number",
      "formula": "(startedAfterSep30 = true ? $const.lateStartVirkedager : $const.statutoryVirkedager)"
    },
    {
      "name": "extraVirkedager",
      "type": "number",
      "formula": "($n(age) >= $const.age60Threshold ? $const.extraVirkedagerAge60 : 0)"
    },
    {
      "name": "totalVirkedager",
      "type": "number",
      "formula": "baseVirkedager + extraVirkedager"
    },
    {
      "name": "fullWeeks",
      "type": "number",
      "formula": "$floor(totalVirkedager / $const.statutoryBasisDays)"
    },
    {
      "name": "remainderDays",
      "type": "number",
      "formula": "totalVirkedager - fullWeeks * $const.statutoryBasisDays"
    },
    {
      "name": "daysEntitled",
      "type": "number",
      "formula": "$round(fullWeeks * $n(daysPerWeek) + remainderDays, 1)"
    },
    {
      "name": "daysRemaining",
      "type": "number",
      "formula": "($r := daysEntitled - $n(daysTaken); $r < 0 ? 0 : $round($r, 1))"
    }
  ],
  "testCases": [
    {
      "description": "J1 a five-day week is 21 days — four weeks plus the one day over, not 25",
      "given": {
        "daysPerWeek": 5,
        "age": 40,
        "startedAfterSep30": false,
        "daysTaken": 0
      },
      "expect": {
        "totalVirkedager": 25,
        "fullWeeks": 4,
        "remainderDays": 1,
        "daysEntitled": 21
      }
    },
    {
      "description": "J2 a six-day week reproduces the statutory figure exactly",
      "given": {
        "daysPerWeek": 6,
        "age": 40,
        "startedAfterSep30": false,
        "daysTaken": 0
      },
      "expect": {
        "daysEntitled": 25
      }
    },
    {
      "description": "J3 § 5(2): turning 60 adds six virkedager, which is a sixth week",
      "given": {
        "daysPerWeek": 5,
        "age": 60,
        "startedAfterSep30": false,
        "daysTaken": 0
      },
      "expect": {
        "extraVirkedager": 6,
        "totalVirkedager": 31,
        "fullWeeks": 5,
        "daysEntitled": 26
      }
    },
    {
      "description": "J4 the bonus starts AT 60, so 59 is still the ordinary entitlement",
      "given": {
        "daysPerWeek": 5,
        "age": 59,
        "startedAfterSep30": false,
        "daysTaken": 0
      },
      "expect": {
        "extraVirkedager": 0,
        "daysEntitled": 21
      }
    },
    {
      "description": "J5 § 5(3): starting after 30 September is six virkedager, one week",
      "given": {
        "daysPerWeek": 5,
        "age": 40,
        "startedAfterSep30": true,
        "daysTaken": 0
      },
      "expect": {
        "baseVirkedager": 6,
        "fullWeeks": 1,
        "remainderDays": 0,
        "daysEntitled": 5
      }
    },
    {
      "description": "J6 a late starter over 60 still gets the § 5(2) bonus on top",
      "given": {
        "daysPerWeek": 5,
        "age": 62,
        "startedAfterSep30": true,
        "daysTaken": 0
      },
      "expect": {
        "totalVirkedager": 12,
        "daysEntitled": 10
      }
    },
    {
      "description": "J7 a three-day week: four weeks plus the day over",
      "given": {
        "daysPerWeek": 3,
        "age": 40,
        "startedAfterSep30": false,
        "daysTaken": 0
      },
      "expect": {
        "daysEntitled": 13
      }
    },
    {
      "description": "J8 days already taken come off the remainder, and it never goes negative",
      "given": {
        "daysPerWeek": 5,
        "age": 40,
        "startedAfterSep30": false,
        "daysTaken": 30
      },
      "expect": {
        "daysRemaining": 0
      }
    }
  ],
  "spec": {
    "id": "holiday-entitlement-norway",
    "version": "1.0.0",
    "schema": {
      "type": "object",
      "properties": {
        "daysPerWeek": {
          "type": "number",
          "maximum": 7,
          "minimum": 1
        },
        "age": {
          "type": "number",
          "maximum": 100,
          "minimum": 13
        },
        "startedAfterSep30": {
          "type": "boolean"
        },
        "daysTaken": {
          "type": "number",
          "minimum": 0
        },
        "baseVirkedager": {
          "type": "number",
          "readOnly": true
        },
        "extraVirkedager": {
          "type": "number",
          "readOnly": true
        },
        "totalVirkedager": {
          "type": "number",
          "readOnly": true
        },
        "fullWeeks": {
          "type": "number",
          "readOnly": true
        },
        "remainderDays": {
          "type": "number",
          "readOnly": true
        },
        "daysEntitled": {
          "type": "number",
          "readOnly": true
        },
        "daysRemaining": {
          "type": "number",
          "readOnly": true
        }
      }
    },
    "constants": {
      "statutoryVirkedager": 25,
      "statutoryBasisDays": 6,
      "extraVirkedagerAge60": 6,
      "age60Threshold": 60,
      "lateStartVirkedager": 6
    },
    "library": {
      "layers": [
        {
          "id": "statutory",
          "define": "(\n  /* Shared statutory helpers — the canonical copy (docs/sandbox/d8-statutory-families.md §5.4).\n     DO NOT EDIT A SPEC'S INLINED COPY. Edit this file and run `npm run sync:helpers`; a vitest\n     assertion and a Java assertion both require every inlined copy to be byte-identical to this one.\n\n     Why inlined rather than referenced: the `library` section's `ref` form — a library shared\n     between models — is still proposed, gated on the model-references design (see\n     ../../../../docs/design/library/jsonata-library.md). Inlining keeps each spec self-contained,\n     which is what lets `#e=` embedding, `#share=` import and MCP forking work with no resolver.\n\n     TWO TRAPS, both of which fail SILENTLY and both of which bit during the debt-payoff build:\n\n       1. A library function sees ONLY its arguments. It cannot read the consuming document — not\n          through a bare field name, not through `$`, not through `$$`. Everything these helpers\n          need is passed in. (`$const` is late-bound and so would resolve, but relying on it would\n          couple a shared helper to one spec's constant names.)\n       2. ONE null member wrecks a whole aggregate, and the two engines disagree about how. The JS\n          reference implementation THROWS (\"Argument 1 of function sum must be an array of\n          numbers\"); the Java port can instead yield null for the entire aggregate. Neither gives a\n          partial total, and the null-yielding form is the dangerous one because it is silent. So\n          callers coerce with `$n()` below before aggregating, which makes the behaviour identical\n          in both engines — measured, not assumed: see helpers.test.ts.\n\n       3. A PATH STEP DIRECTLY ON A CALL RESULT RETURNS NOTHING in the Java engine. This matters for\n          every caller of $amortize, which is the one helper here returning an object:\n\n              $amortize(p, r, n, 0).months            -> empty in Java, 360 in JS.  WRONG\n              ($a := $amortize(p, r, n, 0); $a.months) -> 360 in both.               RIGHT\n\n          Bind the result to a variable, then step into it. The JS reference accepts both forms, so\n          this is invisible until the page is served by the real engine, and it fails as a blank\n          field rather than an error. Measured with a probe, not inferred — the field simply does\n          not appear. */\n\n  /* Number coercion with an explicit zero default. The guard against trap 2. */\n  $n := function($v) { $v = null or $not($exists($v)) ? 0 : $number($v) };\n\n  /* ISO date -> its year / month / day parts. String slicing rather than $fromMillis formatting:\n     these are statutory dates (\"2026-04-06\"), and a timezone-sensitive round-trip through millis\n     can shift the day, which silently moves a service anniversary across a band boundary. */\n  $isoY := function($d) { $number($substring($d, 0, 4)) };\n  $isoM := function($d) { $number($substring($d, 5, 2)) };\n  $isoD := function($d) { $number($substring($d, 8, 2)) };\n\n  /* Whole years of completed service between two ISO dates. Counts an anniversary as reached only\n     when the month-and-day has arrived, which is what \"completed years of service\" means in every\n     severance statute — not a 365.25-day division, whose drift crosses a 5-year band boundary in\n     the wrong direction roughly one year in four. */\n  $yearsBetween := function($from, $to) { (\n    $y := $isoY($to) - $isoY($from);\n    $beforeAnniversary := $isoM($to) < $isoM($from)\n      or ($isoM($to) = $isoM($from) and $isoD($to) < $isoD($from));\n    $beforeAnniversary ? $y - 1 : $y\n  ) };\n\n  /* Whole completed months between two ISO dates, same convention. */\n  $monthsBetween := function($from, $to) { (\n    $m := ($isoY($to) - $isoY($from)) * 12 + ($isoM($to) - $isoM($from));\n    $isoD($to) < $isoD($from) ? $m - 1 : $m\n  ) };\n\n  /* Inclusive count of days between two ISO dates — both endpoints counted, because a leave year\n     runs from its first day to its last and an employee present on both is present for both.\n     Pro-rata accrual is then $proRataDays(a, b) / $proRataDays(yearStart, yearEnd). */\n  $proRataDays := function($from, $to) {\n    ($toMillis($to) - $toMillis($from)) / 86400000 + 1\n  };\n\n  /* Progressive charge across bands. `$bands` is ordered lowest-first, each {\"upTo\": n, \"rate\": r};\n     the final band's `upTo` is omitted or null to mean \"no ceiling\". Each band's rate applies ONLY\n     to the slice of the amount inside it — the single most common error in a hand-written bracket\n     walk is applying the top rate to the whole amount. Returns 0 for a non-positive amount. */\n  $bandedCharge := function($amount, $bands) { (\n    $a := $n($amount);\n    $a <= 0 ? 0 : $reduce($bands, function($acc, $band) { (\n      $ceiling := $exists($band.upTo) and $band.upTo != null ? $band.upTo : $a;\n      $top := $ceiling < $a ? $ceiling : $a;\n      $slice := $top - $acc.floor;\n      {\n        \"floor\": $top > $acc.floor ? $top : $acc.floor,\n        \"charge\": $acc.charge + ($slice > 0 ? $slice * $n($band.rate) : 0)\n      }\n    ) }, {\"floor\": 0, \"charge\": 0}).charge\n  ) };\n\n  /* Clamp into [floor, cap]. Either bound may be omitted (null) to leave that side open — a benefit\n     with a cap and no floor is as common as one with both. */\n  $clampFloorCap := function($value, $floor, $cap) { (\n    $v := $n($value);\n    $withFloor := $exists($floor) and $floor != null and $v < $floor ? $floor : $v;\n    $exists($cap) and $cap != null and $withFloor > $cap ? $cap : $withFloor\n  ) };\n\n  /* Level annuity payment for a principal over `$months` at `$annualRatePct` nominal, compounded\n     monthly. Falls back to straight-line division at a zero rate, where the standard formula\n     divides by zero. */\n  $annuityPayment := function($principal, $annualRatePct, $months) { (\n    $p := $n($principal);\n    $m := $n($months);\n    $i := $n($annualRatePct) / 1200;\n    $m <= 0 ? 0 : ($i = 0 ? $p / $m : $p * $i * $power(1 + $i, $m) / ($power(1 + $i, $m) - 1))\n  ) };\n\n  /* Amortisation schedule: one row per month until the balance clears or `$months` is reached.\n     Returns {\"payment\", \"months\", \"totalInterest\", \"schedule\": [{month, interest, principal,\n     balance}]}. `$extra` is an optional monthly overpayment.\n\n     A real month-by-month fold rather than a closed form, because an overpayment changes every\n     later row — the same reason debt-payoff simulates. Bounded by `$months`, so it always\n     terminates. */\n  $amortize := function($principal, $annualRatePct, $months, $extra) { (\n    $i := $n($annualRatePct) / 1200;\n    $pay := $annuityPayment($principal, $annualRatePct, $months) + $n($extra);\n    $r := $reduce([1..$n($months)], function($acc, $month) {\n      $acc.balance <= 0 ? $acc : (\n        /* The running balance is kept UNROUNDED and only the emitted row is rounded. Rounding the\n           balance each month instead accumulates drift: at 200,000 over 360 months it left 2.83\n           still owing in the final row, which would break the \"final balance is zero\" invariant\n           (§7.3) and look to a reader like the schedule does not pay the loan off. Lenders compute\n           on the exact balance and adjust the last payment, which is what this does. */\n        $interest := $acc.balance * $i;\n        $due := $acc.balance + $interest < $pay ? $acc.balance + $interest : $pay;\n        $principalPart := $due - $interest;\n        $balance := $acc.balance - $principalPart;\n        {\n          \"balance\": $balance,\n          \"totalInterest\": $acc.totalInterest + $interest,\n          \"schedule\": $append($acc.schedule, [{\n            \"month\": $month,\n            \"interest\": $round($interest, 2),\n            \"principal\": $round($principalPart, 2),\n            \"balance\": $round($balance, 2)\n          }])\n        }\n      )\n    }, {\"balance\": $n($principal), \"totalInterest\": 0, \"schedule\": []});\n    {\n      \"payment\": $round($pay, 2),\n      \"months\": $count($r.schedule),\n      \"totalInterest\": $round($r.totalInterest, 2),\n      \"schedule\": [$r.schedule]\n    }\n  ) };\n\n  [\"n\", \"isoY\", \"isoM\", \"isoD\", \"yearsBetween\", \"monthsBetween\", \"proRataDays\",\n   \"bandedCharge\", \"clampFloorCap\", \"annuityPayment\", \"amortize\"]\n)\n"
        }
      ]
    },
    "defaultValues": [
      {
        "path": "$",
        "expr": "{ 'daysPerWeek': 5, 'age': 40, 'startedAfterSep30': false, 'daysTaken': 0 }"
      }
    ],
    "derivations": [
      {
        "path": "$.baseVirkedager",
        "expr": "(startedAfterSep30 = true ? $const.lateStartVirkedager : $const.statutoryVirkedager)"
      },
      {
        "path": "$.extraVirkedager",
        "expr": "($n(age) >= $const.age60Threshold ? $const.extraVirkedagerAge60 : 0)"
      },
      {
        "path": "$.totalVirkedager",
        "expr": "baseVirkedager + extraVirkedager"
      },
      {
        "path": "$.fullWeeks",
        "expr": "$floor(totalVirkedager / $const.statutoryBasisDays)"
      },
      {
        "path": "$.remainderDays",
        "expr": "totalVirkedager - fullWeeks * $const.statutoryBasisDays"
      },
      {
        "path": "$.daysEntitled",
        "expr": "$round(fullWeeks * $n(daysPerWeek) + remainderDays, 1)"
      },
      {
        "path": "$.daysRemaining",
        "expr": "($r := daysEntitled - $n(daysTaken); $r < 0 ? 0 : $round($r, 1))"
      }
    ],
    "constraints": [],
    "viewDefinition": {
      "renderer": "builtin",
      "defaultView": "main",
      "views": [
        {
          "id": "main",
          "label": "Feriefritid",
          "layout": "vertical",
          "components": [
            {
              "id": "note",
              "type": "staticText",
              "text": "§ 5(1) Ferieloven: “feriefritid på 25 virkedager hvert feriår”, and “Som virkedager regnes alle dager som ikke er søndager eller lovbestemte helge- eller høytidsdager” — so Saturdays count. Twenty-five virkedager is four whole weeks and one day over, which is 21 working days on a five-day week. Five weeks is very common in Norway but that comes from a tariffavtale, not from the Act."
            },
            {
              "id": "inputs",
              "type": "fieldSet",
              "label": "Dine opplysninger",
              "components": [
                {
                  "id": "daysPerWeek",
                  "type": "numericField",
                  "label": "Days you work per week",
                  "bind": "$.daysPerWeek",
                  "helperText": "The statute counts in virkedager, a six-day week. This converts into yours."
                },
                {
                  "id": "age",
                  "type": "numericField",
                  "label": "Your age during the holiday year",
                  "bind": "$.age",
                  "helperText": "§ 5(2) adds six virkedager — one extra week — for anyone who turns 60 during the holiday year."
                },
                {
                  "id": "startedAfterSep30",
                  "type": "checkboxField",
                  "label": "I started after 30 September of the holiday year",
                  "bind": "$.startedAfterSep30",
                  "helperText": "§ 5(3): start by 30 September and you get the FULL entitlement. After it, six virkedager."
                },
                {
                  "id": "daysTaken",
                  "type": "numericField",
                  "label": "Days already taken",
                  "bind": "$.daysTaken"
                }
              ]
            },
            {
              "id": "sep",
              "type": "separatorLine"
            },
            {
              "id": "entitledTile",
              "type": "statTile",
              "label": "Working days entitled",
              "value": "$.daysEntitled"
            },
            {
              "id": "remainingTile",
              "type": "statTile",
              "label": "Working days remaining",
              "value": "$.daysRemaining"
            },
            {
              "id": "breakdown",
              "type": "keyValueList",
              "label": "How that is worked out",
              "items": [
                {
                  "label": "Virkedager (the statutory figure)",
                  "value": "$.totalVirkedager"
                },
                {
                  "label": "Base, § 5(1) or § 5(3)",
                  "value": "$.baseVirkedager"
                },
                {
                  "label": "Extra for 60+, § 5(2)",
                  "value": "$.extraVirkedager"
                },
                {
                  "label": "Whole weeks that is",
                  "value": "$.fullWeeks"
                },
                {
                  "label": "Days left over",
                  "value": "$.remainderDays"
                }
              ]
            },
            {
              "id": "assumptions",
              "type": "staticText",
              "text": "§ 5(3) is a cliff rather than a proportion, and it runs the generous way: “Arbeidstaker som tiltrer senest 30 september i feriåret, har rett til full feriefritid” — start on 30 September and all 25 virkedager are yours. The proportional part of Norwegian holiday is the PAY, feriepenger under § 10, which is earned on the previous calendar year's wages and is not what this page computes. § 5(4)'s Sunday and shift-work additions are not modelled. The holiday year is the calendar year (§ 4)."
            },
            {
              "id": "sources",
              "type": "sourceList",
              "label": "Kilder",
              "layers": 1,
              "items": [
                {
                  "label": "Ferieloven § 5 — Lovdata (25 virkedager and what a virkedag is; the six-virkedag bonus at 60; the 30 September cliff)",
                  "url": "https://lovdata.no/dokument/NL/lov/1988-04-29-21",
                  "date": "2026-10-11",
                  "covers": [
                    "statutoryVirkedager",
                    "statutoryBasisDays",
                    "extraVirkedagerAge60",
                    "age60Threshold",
                    "lateStartVirkedager"
                  ]
                }
              ]
            }
          ]
        }
      ]
    },
    "tests": [
      {
        "description": "J1 a five-day week is 21 days — four weeks plus the one day over, not 25",
        "given": {
          "$.daysPerWeek": 5,
          "$.age": 40,
          "$.startedAfterSep30": false,
          "$.daysTaken": 0
        },
        "expect": {
          "$.totalVirkedager": 25,
          "$.fullWeeks": 4,
          "$.remainderDays": 1,
          "$.daysEntitled": 21
        }
      },
      {
        "description": "J2 a six-day week reproduces the statutory figure exactly",
        "given": {
          "$.daysPerWeek": 6,
          "$.age": 40,
          "$.startedAfterSep30": false,
          "$.daysTaken": 0
        },
        "expect": {
          "$.daysEntitled": 25
        }
      },
      {
        "description": "J3 § 5(2): turning 60 adds six virkedager, which is a sixth week",
        "given": {
          "$.daysPerWeek": 5,
          "$.age": 60,
          "$.startedAfterSep30": false,
          "$.daysTaken": 0
        },
        "expect": {
          "$.extraVirkedager": 6,
          "$.totalVirkedager": 31,
          "$.fullWeeks": 5,
          "$.daysEntitled": 26
        }
      },
      {
        "description": "J4 the bonus starts AT 60, so 59 is still the ordinary entitlement",
        "given": {
          "$.daysPerWeek": 5,
          "$.age": 59,
          "$.startedAfterSep30": false,
          "$.daysTaken": 0
        },
        "expect": {
          "$.extraVirkedager": 0,
          "$.daysEntitled": 21
        }
      },
      {
        "description": "J5 § 5(3): starting after 30 September is six virkedager, one week",
        "given": {
          "$.daysPerWeek": 5,
          "$.age": 40,
          "$.startedAfterSep30": true,
          "$.daysTaken": 0
        },
        "expect": {
          "$.baseVirkedager": 6,
          "$.fullWeeks": 1,
          "$.remainderDays": 0,
          "$.daysEntitled": 5
        }
      },
      {
        "description": "J6 a late starter over 60 still gets the § 5(2) bonus on top",
        "given": {
          "$.daysPerWeek": 5,
          "$.age": 62,
          "$.startedAfterSep30": true,
          "$.daysTaken": 0
        },
        "expect": {
          "$.totalVirkedager": 12,
          "$.daysEntitled": 10
        }
      },
      {
        "description": "J7 a three-day week: four weeks plus the day over",
        "given": {
          "$.daysPerWeek": 3,
          "$.age": 40,
          "$.startedAfterSep30": false,
          "$.daysTaken": 0
        },
        "expect": {
          "$.daysEntitled": 13
        }
      },
      {
        "description": "J8 days already taken come off the remainder, and it never goes negative",
        "given": {
          "$.daysPerWeek": 5,
          "$.age": 40,
          "$.startedAfterSep30": false,
          "$.daysTaken": 30
        },
        "expect": {
          "$.daysRemaining": 0
        }
      }
    ]
  }
}