矛盾触发失效机制在新事实写入时若与旧事实冲突，将旧记录标记 invalid_at 而非物理覆盖，从而保留可审计轨迹。