校对猫最讨厌一件事：话说出口，才发现说错了。所以它有个怪癖——每次往外递东西之前，都要在纸角偷偷多写几个字。别人笑它啰嗦，直到有一天一份被咖啡泡烂了半边的名单递到它爪子里，它扫一眼那几个多写的字，就冷冷指出：「第三行的『7』其实是『1』，重发。」它没看到原件，却知道错在哪。这不是魔法，这是本章要讲透的一件事。
先把问题摆正：错误不是「会不会」，是「一定会」
上一章侦察猫盯的是「事故怎么一步步凑齐」。这一章更底层：只要信息在动，它就会被弄脏。存进硬盘的一个比特会因为宇宙射线翻个个儿，网线上的一个电平会被干扰啃掉一点，你抄一串银行卡号会手滑写错一位，DNA 复制会偶尔配错一个碱基。这些不是「有没有可能」的问题，是「每传多少个就必然出几个」的问题。
那怎么办？最笨的想法是「传得更小心」——把线做得更好、把手写得更慢。但这有个天花板：再干净的通道也不是零错误，而且你事先根本不知道哪一位错了。真正的破局思路反过来：不追求不出错，而是让「出了错」这件事自己冒出来，甚至自己被补回去。代价是——多带一点点信息。这就是本章的整条主线。
一句话：与其保证送到的东西不脏，不如让脏了的东西自己举手。方法是随货物多塞一张「对账小条」。
检错：花小钱，买一个「不对劲」的警报
检错，就是让接收方能判断「我收到的这份，是不是在路上被改过」——注意，只判断「有没有错」，不管「错在哪」。
最原始的版本叫奇偶校验：数一数这串数据里有几个「1」，如果是奇数个，就在末尾补一个 1 让总数变成偶数；如果本来就偶数个，就补个 0。发的时候永远保证「1 的个数是偶数」。接收方收到后自己再数一遍：还是偶数，大概率没事；变成奇数了——路上一定有一位被翻了，报错重发。
好比你出门带了 6 个鸡蛋，跟朋友约好「我这边一定是双数」。到了对面一数变 5 个，不用看是哪个碎的，光凭「怎么成单数了」就知道路上出事了。
你马上会挑刺：要是同时翻了两位呢？偶数个错误会互相抵消，警报就哑了。对，奇偶校验只能逮住奇数个错误。所以工程里用的是更结实的版本——校验和：把整段数据按某种规则算出一个短短的「摘要数」，跟数据一起发；接收方拿到数据后用同样规则重算一遍，两个数一对，不一样就说明数据被动过了。
为什么这招划算？关键在「一点点额外信息」这几个字。一段几千字节的数据，后面只挂几个字节的校验和，成本几乎可以忽略；但它能把「这份数据整体是否完好」压缩成一次简单的比对。你不用逐字核对原件，只核对那个小摘要。这就是校对猫在纸角多写的那几个字——它自己不是原件，却是原件的「指纹」。
为什么好的校验和要「一改就全变」
不是随便算个数都行。一个好的校验规则有个关键性质：数据只要动一位，算出来的摘要就要面目全非，而不是也只跟着动一点点。因为如果「小改动导致小变化」，那两处错误就容易在摘要上互相抵消，警报又哑了。所以真实系统里常用 CRC（循环冗余校验，一种专门设计成「输入稍变、输出剧变」的算法）来守以太网、硬盘、压缩包这类通道——它能保证一整类常见错误（比如连续几位被一起打坏的「突发错误」）几乎不可能蒙混过关。
纠错：不光知道错了，还知道错在哪
检错只能让你「重发」。但有些场合根本没法重发——探测器在冥王星附近，信号单程走好几个小时，你说「错了请重传」，等回音黄花菜都凉了；再比如硬盘上那一位坏了，你去哪儿要一份「原件」重传？
这时候需要更狠的东西：纠错码——不但能发现错，还能当场把错的那位算回来，不需要重发。
它凭什么做到？直觉是这样：如果你只允许发两个词「猫」和「狗」，那我传「猫」时路上错一个字变成「描」，你收到「描」，会发现它既不是「猫」也不是「狗」——但离「猫」只差一笔，离「狗」差得远。你有充分理由判定：他本来想说「猫」。纠错的核心秘密就是：让所有「合法」的信息彼此隔得足够远，任何一个错误都还没来得及把它推到另一个合法词跟前。于是收到一个「非法词」时，认最近的那个合法词就行。
专业点的说法叫「码距」——合法词之间的最小差异。差异留得越大，能纠正的错误就越多，代价是每次要多带的冗余信息也越多。天下没有白捡的纠错。
被涂花一角还能扫的二维码
说到这就能解释一个每天都在用、却很少有人琢磨的奇迹：二维码被划破、被贴了 logo、被咖啡糊了一角，居然照样扫得出。
因为二维码内建了一种强力纠错码（里德-所罗门码，一种能整块整块补回缺失数据的纠错方案，CD、DVD、深空探测器传照片都靠它）。它的做法不是「多存一份原文」，而是把冗余摊进整张码里，使得就算丢掉一部分格子，剩下的格子里也藏着足够信息，把丢的那部分反推回来。二维码甚至分好几档纠错等级，最高那档大约能容忍三成的区域被毁还照读不误——所以商家才敢在中间大大方方放个店标。
这跟备胎猫（第四章）的冗余是亲戚，但不是同一招。备胎是「整块存两份，坏一份换一份」；纠错码更精妙——它不存第二份原文，而是存一组精心设计的「线索」，用远小于一份原文的代价，换回「任意一小块坏了都能算回来」的能力。冗余是买一个替身，纠错是买一组能拼出真相的碎片。
双人复核：为什么两个人比一个人靠谱得多
把镜头从机器切到人。医院里配药、飞行前检查单、财务转大额款，常有一条硬规矩：双人复核——同一件事必须两个人各自独立确认一遍。
它其实就是最朴素的纠错码，只不过「冗余」是一个活人。为什么有用？因为一个人犯错有个特点：你自己那套错误的逻辑，会同时骗过你的执行和你的检查——把「5 毫克」看成「50 毫克」的那个走神，往往在你回头自查时又照样走神一次。而第二个人带着不一样的脑子、不一样的注意力盲区，他大概率不会恰好在同一个地方也犯同一个错。两份独立的判断一对，分歧就冒出来了——这正是校验和的思想：让错误在比对中现形。
关键词是「独立」。如果第二个人只是照着第一个人的答案点头，那不叫复核，叫盖章。两份必须是分开长出来的，比对才有意义。
藏在这里的一个致命陷阱：共因
这就要给这套机制泼盆冷水了。双人复核、多份校验，全都押在一个前提上：两份是独立的，不会同时坏在一个原因上。可现实里这个前提经常被偷偷抽掉。
两个护士都刚上完 16 小时夜班、累得眼冒金星，他们的「独立」就是假的——同一种疲劳会让两人在同一个地方一起看走眼。两份数据用同一套有 bug 的软件算校验和，那校验和一起算错，警报永远不响。这跟第四章讲的共因失效（两份冗余因为同一个根子上的原因一起失效）是同一个幽灵：你以为有两道防线，其实它们踩在同一块会一起塌的地板上。所以真正会做事的地方，会刻意让两份来源不一样——不同的人、不同的算法、不同的时间，逼着它们别在同一处一起犯错。
没有它会怎样：错误会悄悄传下去，越滚越大
把检错纠错整个拿掉，最可怕的不是「立刻崩」，而是错误无声无息地往下游流。一位翻掉的比特被存进硬盘，你不知道；它被读出来参与计算，你也不知道；结果被写进下一份文件、发给下一个系统……等到某天账对不上、图片花了、程序莫名其妙崩了，你已经追不回那个最初的一位错在哪、什么时候错的了。这就是为什么正经的存储会定期「洗刷」数据、比对校验和，主动把坏位揪出来当场补掉，而不是等它发酵成一场谁也说不清源头的事故。
说到底，这一章讲的是一种极其划算的交易：用一点点额外信息，换来「错误自己暴露、甚至自己修好」的能力。校对猫在纸角多写的那几个字，就是拿最小的重量，买最大的安心。
给下一章留个引子
但请注意，本章从头到尾都有个隐藏假设：有一个「接收方」在那儿老老实实地重算、比对、认最近的合法词。校验和能逮住被弄脏的消息——可要是发消息的那一方本身在撒谎，故意发一份「自洽但错误」的东西呢？要是十个节点里有人掉线、有人瞎报，大家还怎么就「到底该信谁」达成一致？校对猫能校对一份文件，却校对不了「一群互不信任的家伙如何共同认定一个真相」。这就要交给下一章的传令猫了。