israeli-id-validator

Israeli ID Validator

Instructions

Step 1: Identify ID Type

Type	Prefix	Length	Example	Notes
Teudat Zehut (personal ID)	none (cannot be inferred)	9 digits	123456782	Assigned sequentially; the digits encode NO birth date, age, or residency status
Corporate / registered entity	first digit 5	9 digits	51-530820-3	Lives in the 5XX-million block; the number begins with 5 and the second digit selects the entity type (codes 50-59, see next table). Same check digit as a personal ID

Corporate and registered-entity codes (first two digits):

Prefix	Entity
50	Government company, pension/provident fund, or local committee
51	Private company (Chevra Ba'am / Ltd)
52	Public company
53	Mandatory partnership
54	General partnership
55	Partnership (Shutafut)
56	Foreign company
57	Cooperative society (Aguda Shitufit) / kibbutz
58	Amuta (non-profit) / public-benefit company
59	Endowment (Hekdesh)

Prefix-based typing is a heuristic: a 9-digit number starting with 5 is overwhelmingly a registered entity (corporate numbers are allocated from the 5XX block), but only the issuing registry is authoritative. A personal Teudat Zehut cannot be typed from its prefix.

Step 2: Validate Using Check Digit Algorithm

The Israeli ID check digit algorithm (applies to all types):

import re


def validate_israeli_id(id_number: str) -> bool:
    """Validate Israeli ID number (TZ, company, amuta, etc.)"""
    # Discard ONLY the separators a human or a spreadsheet legitimately puts
    # inside an ID. Do NOT strip every non-digit: that silently turns
    # "62819482.1" into the VALID id 628194821, and turns "", "abc" and a row
    # of punctuation into "000000000". A validator that accepts garbage is
    # worse than one that rejects a real ID, because nobody finds out.
    # Do NOT gate on str.isdigit() either: it is True for Arabic-Indic digits
    # and superscripts, which either crash int() or validate as another value.
    SEPARATORS = " -\u2013\u2014\t\u00a0"
    stripped = ''.join(c for c in id_number if c not in SEPARATORS)

    if stripped == '' or not re.fullmatch(r'[0-9]{1,9}', stripped):
        return False        # malformed input, NOT an invalid ID

    id_str = stripped.zfill(9)

    if id_str == '000000000':   # passes Luhn but is never a real ID
        return False

    total = 0
    for i, digit in enumerate(id_str):
        # 1-based odd positions (indices 0,2,4,6,8) multiply by 1
        # 1-based even positions (indices 1,3,5,7) multiply by 2
        weight = 1 if i % 2 == 0 else 2
        val = int(digit) * weight
        if val > 9:
            val = val // 10 + val % 10     # Sum digits if > 9
        total += val

    return total % 10 == 0