校验失败箱
校验失败时为何不能用默认值掩盖
保留失败可见性，防止默认值制造伪事实。 本文给出可复核步骤、状态边界、脱敏记录方法与复核路径。
校验失败后填默认值，能够让表格看起来完整，却会制造没有来源的赛事事实。场地缺失时套用主队所在地、时区缺失时套用读者本地、状态无法解析时写成计划中，都改变了原资料。正确做法是保留raw_value、validation_status、normalized_value和null_reason，让失败可见并阻止错误值进入计算。
当前没有现场失败样本，默认依据全部为UNKNOWN。合成输入“无时区的二十时”只用来验证TIMEZONE_MISSING分支。系统不得追加加八区，也不得换算日期。若业务确有默认规则，必须有明确来源、适用范围和derived标记，与来源值分开。伪默认还可能来自数据库列默认、序列化器、电子表格公式、前端占位和统计查询的COALESCE。审计需逐层注入UNKNOWN，观察它是否原样到达页面和导出。数据库为了技术约束使用空字符串时，服务层必须映射回明确状态，且迁移计划最终移除歧义。电子表格若把空单元格自动当零，导出使用文本状态列并保护公式区。排序时不能把UNKNOWN排成最早日期或最低比分；筛选“有值”必须排除derived与占位。旧缓存可能仍含默认值，修订后按record_id清理并验证搜索摘要。若下游合作方坚持非空，接口合同可以返回缺失对象或拒绝该行，不能牺牲事实边界。业务默认真正生效时，页面展示“规则推导”及rule_id，统计报告分别列来源值和推导值数量。规则撤回后，所有依赖默认转UNKNOWN并生成影响事件。
识别常见的危险默认值
零比分、当前日期、主队场地、本地时区、计划状态和第一候选队名都是常见占位。它们一旦写入业务字段，下游无法区分来源事实与技术补丁。字段词典列出禁止默认和允许的展示占位。
界面短横线可以表示无显示值，但导出必须携带真实state，不能把短横线写入业务值。代码扫描检查赋零、取当前时间和选择首候选等路径。发现历史默认值时先标可疑，不立即删除。
- 字段词典列禁止默认
- 展示占位不进入业务值
- 历史默认先标记再复核
把失败值与规范值分栏
raw_value永远保存来源输入，normalized_value只在规则成功时产生。失败时规范值为null，null_reason为validation_failed，错误卡指向规则。不能把原值丢弃后只留错误码。读取合同还返回precision、state与rule_version，使客户端能区分未提供、验证失败、尚未规范和合法零。序列化往返测试必须保持这些差异，旧客户端无法识别时明确拒绝，并记录兼容失败原因与复现样本。
部分解析成功也需结构化表示，例如日期可读但时区未知。可保存date_part，完整normalized_time仍UNKNOWN。下游必须选择自己能处理的精度，不能把部分值冒充完整时间。
- 失败时规范值保持空
- 原值错误码同时保存
- 部分解析明确精度边界
约束确有依据的业务默认
少数规则可能允许衍生，例如显示语言没有指定时使用页面语言。此类默认写default_rule_id、来源、scope、版本、derived_from和observed_at，并在页面标衍生。没有规则来源时default_basis为UNKNOWN，不执行。
业务默认不能覆盖校验失败，只能在规则明确允许的缺省状态运行。来源后来提供真实值，通过修订替换衍生值，旧默认事件保留。统计可选择来源值或衍生值，必须披露选择。
- 业务默认必须有rule_id
- 默认不覆盖校验失败
- 衍生值明确标记并可替换
阻断默认值向下游扩散
API和导出同时传value、state、precision和evidence_ref。下游只接受非空字段时，应拒绝记录或使用明确缺失码，不能以零或当前日期通过类型检查。失败数量随批次报告。
缓存、搜索索引和统计表都要保留状态。索引只收录有证规范名，待映射原名另建安全检索字段。修复后触发逐项重建，检查旧默认是否仍残留。验收从搜索摘要反查业务状态，发现未知字段被拼成完整句时，立即定位模板回退并加入回归样例。
- 接口携带值状态精度证据
- 下游不兼容时显式拒绝
- 修复后检查所有派生存储
审计历史数据中的伪事实
审计规则寻找集中出现的零点、同一场地、当前日期、默认时区和高频状态，再与来源覆盖比较。命中只是候选，不直接认定错误。每条候选保存检测依据。
复核找到真实来源就确认值，找不到则改为UNKNOWN并创建修订。批量清理先预览文章、统计和缓存影响。历史页面继续能看到为何值被撤回，不能无痕清空。审计优先检查排序、时间换算、主客推断和零值统计，因为这些位置最容易把空白变成看似合理的事实。清理后以哨兵记录贯穿全链复测。
- 高频默认检测只生成候选
- 找不到来源改UNKNOWN
- 批量清理先做影响预览
以故障注入测试防默认机制
测试故意提供缺时区、缺场地、未知状态、队名歧义和格式错误，断言系统输出UNKNOWN或失败码。再检查页面、API、导出、索引和统计，任何层出现默认业务值即失败。
测试资料使用虚构标识，运行保存版本和差异。新增字段必须加入默认扫描。测试通过只证明管道没有已知伪填路径，不证明现实数据完整。持续集成在每个可空字段注入缺键、null、空串、零和合法零，比较数据库、接口、页面、搜索及导出。任何阶段把UNKNOWN变成日期、地点、主客关系或比分，都输出具体转换栈。静态扫描同时查找数据库默认、模板回退、逻辑或表达式和统计合并函数；发现后要求逐处证明其仅用于显示而非事实层。
- 故障注入覆盖五类缺口
- 逐层检查默认值泄漏
- 新增字段同步加入扫描
让读者看到空白为何存在
页面以“时区未提供”“场地待公布”“状态无法映射”等具体文字代替零或猜测值，并显示来源和复核时间。UNKNOWN不是错误承诺，而是证据边界。
默认值要沿输入、解析、存储、接口、模板、缓存、搜索和导出逐层排查。哨兵记录分别使用缺键、显式null、空字符串、合法零、假日期和UNKNOWN，确认各层不把它们合成同一种空白。合同规定：缺键表示当前版本不支持字段，null表示字段存在但没有规范值，state说明原因；旧客户端若会补成当前时间、主场或零分，应收到版本错误。模板占位只在视觉层出现，并标记为非事实，不能进入复制文本、搜索摘要或结构化输出。排序器把未知项放进独立桶，聚合器报告排除数量，合法零由类型和状态与占位零区分。字段修订为UNKNOWN同样使缓存失效，避免“有值才刷新”留下旧数。真正的derived_value必须保存公式、输入版本和rule_ref，不能冒充source_value；撤销规则时从依赖图定位所有派生项并退回UNKNOWN或等待新证据。端到端哨兵从导入文件经过解析、数据库、接口、模板、缓存、搜索和导出，逐层比较缺键、null、空串、合法零、假日期与UNKNOWN是否保持原语义。随后把一个已有值修订为未知，确认页面、排序、聚合、结构化字段和旧客户端同时失效，而非残留旧缓存。补证据仍使用修订链追加。守恒账本需把合法零单独计数，确保零分、零分钟或空占位不会因视觉相似被聚合成同一状态；差异必须可追到类型合同。
- 空白显示具体原因
- 统计披露排除记录
- 未知状态入口、合法转化、补证和出口数量可对账；规则撤回后依赖图生成清单，历史公式可查且统计披露分母
