{
  "schemaVersion": 1,
  "slug": "time-zone-converter",
  "category": "date-time",
  "kind": "implementation",
  "independentValidation": false,
  "implementationHash": "8edd250e744c99e5ce070dfc2e989ba28a145657f3f6564be81436c6976b499e",
  "provenance": "Generated from the calculation contract used by the published page. Publication is not external validation.",
  "sourceFiles": [
    "data/calculators/time-zone-converter.json",
    "src/engine.js"
  ],
  "runtimeSource": "/sources/engine.txt",
  "runtimeHash": "5c888d8898afbdee36267bb9977829e1e2ac568f6677c8ee87469c139864645c",
  "scope": "The compute function records implemented equations, constants, lookup tables and custom rules. Inputs record defaults and allowed values; outputs record precision and units. Defaults are examples, not recommendations. General background references are not evidence for this specific algorithm.",
  "publishedFormula": {
    "formula": "T = 60h + m + 60(U − F); t = T mod 1440; d = ⌊T ÷ 1440⌋",
    "vars": [
      [
        "h,m",
        "Source hour, minute"
      ],
      [
        "F",
        "Source UTC offset"
      ],
      [
        "U",
        "Target UTC offset"
      ],
      [
        "d",
        "Day offset"
      ]
    ],
    "note": "Input must be HH:MM with 00–23 h and 00–59 min; t is formatted back to HH:MM."
  },
  "externalEvidence": null,
  "contract": {
    "compute": "const mergedResult=(()=>{if((true&&![\"clock\", \"parts\"].includes(String(timeInput)))||(true&&![\"-12\", \"-11\", \"-10\", \"-9.5\", \"-9\", \"-8\", \"-7\", \"-6\", \"-5\", \"-4\", \"-3.5\", \"-3\", \"-2\", \"-1\", \"0\", \"1\", \"2\", \"3\", \"3.5\", \"4\", \"4.5\", \"5\", \"5.5\", \"5.75\", \"6\", \"6.5\", \"7\", \"8\", \"8.75\", \"9\", \"9.5\", \"10\", \"10.5\", \"11\", \"12\", \"12.75\", \"13\", \"14\"].includes(String(sourceOffset)))||(true&&![\"-12\", \"-11\", \"-10\", \"-9.5\", \"-9\", \"-8\", \"-7\", \"-6\", \"-5\", \"-4\", \"-3.5\", \"-3\", \"-2\", \"-1\", \"0\", \"1\", \"2\", \"3\", \"3.5\", \"4\", \"4.5\", \"5\", \"5.5\", \"5.75\", \"6\", \"6.5\", \"7\", \"8\", \"8.75\", \"9\", \"9.5\", \"10\", \"10.5\", \"11\", \"12\", \"12.75\", \"13\", \"14\"].includes(String(targetOffset))))return{__error:'inputError'};\nif(([\"parts\"].includes(String(timeInput))&&(!Number.isFinite(hours)||hours<0||hours>23))||([\"parts\"].includes(String(timeInput))&&(!Number.isFinite(minutes)||minutes<0||minutes>59)))return{__error:'inputError'};\nconst offsets=[-12, -11, -10, -9.5, -9, -8, -7, -6, -5, -4, -3.5, -3, -2, -1, 0, 1, 2, 3, 3.5, 4, 4.5, 5, 5.5, 5.75, 6, 6.5, 7, 8, 8.75, 9, 9.5, 10, 10.5, 11, 12, 12.75, 13, 14];const m=/^(\\d{1,2}):(\\d{2})$/.exec(String(sourceTime).trim());const hh=timeInput==='parts'?hours:m?Number(m[1]):NaN,mi=timeInput==='parts'?minutes:m?Number(m[2]):NaN,from=Number(sourceOffset),to=Number(targetOffset);if(!['clock','parts'].includes(timeInput)||!Number.isInteger(hh)||hh<0||hh>23||!Number.isInteger(mi)||mi<0||mi>59||!offsets.includes(from)||!offsets.includes(to))return{convertedTime:null,dayOffset:null,timeDifference:null,__error:'inputError'};const total=hh*60+mi+(to-from)*60,day=Math.floor(total/1440),mins=((total%1440)+1440)%1440,pad=v=>String(v).padStart(2,'0');return{convertedTime:pad(Math.floor(mins/60))+':'+pad(mins%60),dayOffset:day,timeDifference:to-from,resultHours:Math.floor(mins/60),resultMinutes:mins%60};\n})();return mergedResult.__error?{\"convertedTime\":null,\"dayOffset\":null,\"timeDifference\":null,...mergedResult}:mergedResult;",
    "inputs": [
      {
        "name": "timeInput",
        "type": "select",
        "default": "clock",
        "options": [
          {
            "value": "clock"
          },
          {
            "value": "parts"
          }
        ]
      },
      {
        "name": "sourceTime",
        "type": "text",
        "default": "09:00",
        "step": 1,
        "showWhen": {
          "timeInput": [
            "clock"
          ]
        },
        "preserveEmpty": true
      },
      {
        "name": "sourceOffset",
        "type": "select",
        "default": 0,
        "options": [
          {
            "value": -12
          },
          {
            "value": -11
          },
          {
            "value": -10
          },
          {
            "value": -9.5
          },
          {
            "value": -9
          },
          {
            "value": -8
          },
          {
            "value": -7
          },
          {
            "value": -6
          },
          {
            "value": -5
          },
          {
            "value": -4
          },
          {
            "value": -3.5
          },
          {
            "value": -3
          },
          {
            "value": -2
          },
          {
            "value": -1
          },
          {
            "value": 0
          },
          {
            "value": 1
          },
          {
            "value": 2
          },
          {
            "value": 3
          },
          {
            "value": 3.5
          },
          {
            "value": 4
          },
          {
            "value": 4.5
          },
          {
            "value": 5
          },
          {
            "value": 5.5
          },
          {
            "value": 5.75
          },
          {
            "value": 6
          },
          {
            "value": 6.5
          },
          {
            "value": 7
          },
          {
            "value": 8
          },
          {
            "value": 8.75
          },
          {
            "value": 9
          },
          {
            "value": 9.5
          },
          {
            "value": 10
          },
          {
            "value": 10.5
          },
          {
            "value": 11
          },
          {
            "value": 12
          },
          {
            "value": 12.75
          },
          {
            "value": 13
          },
          {
            "value": 14
          }
        ]
      },
      {
        "name": "targetOffset",
        "type": "select",
        "default": 8,
        "options": [
          {
            "value": -12
          },
          {
            "value": -11
          },
          {
            "value": -10
          },
          {
            "value": -9.5
          },
          {
            "value": -9
          },
          {
            "value": -8
          },
          {
            "value": -7
          },
          {
            "value": -6
          },
          {
            "value": -5
          },
          {
            "value": -4
          },
          {
            "value": -3.5
          },
          {
            "value": -3
          },
          {
            "value": -2
          },
          {
            "value": -1
          },
          {
            "value": 0
          },
          {
            "value": 1
          },
          {
            "value": 2
          },
          {
            "value": 3
          },
          {
            "value": 3.5
          },
          {
            "value": 4
          },
          {
            "value": 4.5
          },
          {
            "value": 5
          },
          {
            "value": 5.5
          },
          {
            "value": 5.75
          },
          {
            "value": 6
          },
          {
            "value": 6.5
          },
          {
            "value": 7
          },
          {
            "value": 8
          },
          {
            "value": 8.75
          },
          {
            "value": 9
          },
          {
            "value": 9.5
          },
          {
            "value": 10
          },
          {
            "value": 10.5
          },
          {
            "value": 11
          },
          {
            "value": 12
          },
          {
            "value": 12.75
          },
          {
            "value": 13
          },
          {
            "value": 14
          }
        ]
      },
      {
        "name": "hours",
        "type": "number",
        "default": 9,
        "min": 0,
        "max": 23,
        "step": 1,
        "requiredValue": true,
        "strictRange": true,
        "showWhen": {
          "timeInput": [
            "parts"
          ]
        }
      },
      {
        "name": "minutes",
        "type": "number",
        "default": 0,
        "min": 0,
        "max": 59,
        "step": 1,
        "requiredValue": true,
        "strictRange": true,
        "showWhen": {
          "timeInput": [
            "parts"
          ]
        }
      }
    ],
    "outputs": [
      {
        "name": "convertedTime",
        "precision": 0,
        "unit": "",
        "type": "text"
      },
      {
        "name": "dayOffset",
        "precision": 0,
        "unit": "days"
      },
      {
        "name": "timeDifference",
        "precision": 2,
        "unit": "hours"
      }
    ],
    "interpret": null
  }
}