用途：校验和格式化以色列各类 9 位标识号，包括个人身份证号（Teudat Zehut）、公司/注册实体号（前缀 50-59，含私人公司、上市公司、合伙、合作社、非营利组织、捐赠基金等）。核心是 Luhn 变体校验位算法，适用于所有类型。
主要能力：识别号码类型（按前缀启发式判断注册实体，个人号无法由前缀推断）；校验格式并定位常见错误（数字转置、缺位/多位、校验位错误）；生成测试用有效号码；脚本 scripts/validate_id.py 支持详细模式与批量测试号生成，运行 python scripts/validate_id.py --help；参考资料 references/id-formats.md 说明格式规范与算法示例。
使用方式：先清除合法分隔符（空格、连字符、短破折号、长破折号、制表符、不换行空格），不足 9 位左侧补零（zfill(9)），再用校验位算法验证；应把号码存为字符串，避免前导零丢失。不要用 re.sub(r'[^0-9]','',id) 删除所有非数字，否则 62819482.1 会误判为有效 628194821，空串或乱码会变成 000000000；建议用显式分隔符集合并把其他字符视为格式错误。
限制：算法只校验格式而非号码是否真实签发，真实性需税务或内务部系统核验；个人号不含出生日期、年龄或居留信息，不要按首位数字判断身份或状态；000000000 虽通过校验但绝非有效号，需显式拒绝；IDF 个人号不在本技能范围内。隐私方面，切勿在日志、错误信息、遥测中记录未脱敏的以色列身份证号；展示时最多保留末 4 位（如 xxxxx6782），持久化非必要存储前应用带密钥的 HMAC-SHA256 或令牌化，未加盐哈希可被暴力破解。个体经营者（osek）的营业号即其个人 TZ，受理营业号字段应同时接受 9 位个人号与 5X 公司号。技能中提及以色列隐私保护法第 13 修正案及相关执法内容，仅作合规提示，不构成法律意见。