3.1.2 《国际动物命名法规》(ICZN)关键条款(优先律、模式指定、种级双名法) 在生物分类信息系统的底层架构设计中,命名法规从来不是一纸空文,而是一套可解析、可执行、可验证的形式化约束系统。当你在数据库中插入一条新记录 ,系统不会仅将其视为字符串存储——它必须立即回答五个技术性问题: 这个种名是否已被优先使用? 模式标本是否已唯一绑定到该名称? 双名组合是否符合ICZN第11条关于“种级双名法”的语法与语义规范? 若存在同物异名 (Linnaeus, 1771),系统应如何判定其效力并触发重定向? 当用户提交一份新描述论文PDF时,系统能否自动提取模式指定语句(如“Holotype: ZMB MAM 12345”),并完成元数据关联与ZooBank注册预校验?