到现在为止，前面八章讲的每个零件都在各自转：雇主每个月从你工资里预扣一笔（第2章），券商年底把你的分红利息报给 IRS（第4章），你花的房贷利息、你交的养老金，都在悄悄改变你该交多少税（第7章）。但这些零件从来没在一个地方碰过头。
它们碰头的那一天，叫报税。碰头用的那张纸，叫 1040 表——美国个人所得税的年度申报表，一年填一次。
这一章，我们不学新机制，我们把前八章的零件全拼起来，看它们在这张纸上怎么咬合成一台机器。
先回答那个憋了八章的问题：既然都扣了，为什么还要报？
这是每个第一次工作的人都会冒出来的疑问：工资全年都被预扣了，IRS 手里连我的收入底稿都有了（第4章那份信息申报），凭什么还要我每年费半天劲填一次表？
答案就一句话：预扣是按估算预付的，不是精算的。
你入职时填了一张表（W-4），雇主拿它估你一年大概挣多少、大概该交多少税，然后每个月按这个估算，从工资里先扣一笔上缴。注意这个词——估算。雇主不知道你年中买了房、生了娃、捐了钱、炒股亏了；它只知道你的工资。所以它扣的那个数，几乎永远不等于你真正该交的数。
打个你天天在用的比方：预扣就像手机话费的预付款——你每月先充一笔进去，运营商先扣着。但你这个月到底打了多少电话、用了多少流量，得月底出账单才算得准。充的钱和实际花的钱，几乎不可能刚好相等。
1040 就是年底出的那张精确账单。它把你这一年真正该交的税一分一厘算清楚，再和你全年已经预付的钱一减：多退少补。这个“算清楚再减、结清差额”的动作，工程师有个词——结算 / 对账（reconcile）：把两份数据（该交的 vs 已交的）拉到一起核对，把差额 settle 掉。
所以报税不是重新交一次税。它是结账。你全年一直在预付，1040 是把这一年的账一次性对平。
把 1040 读成一条结算脚本
还记得第7章那条计税流水线吗？1040 干的事，本质就是把那条流水线在纸上跑一遍。你可以把这张表看成一个结算脚本，从上往下一步步执行，每一步都对应前面某一章讲过的零件：
- 汇总全部收入。 工资、利息、分红、炒股赚的、接私活的……各种来源加到一起，得到总收入。这里有个隐藏的约束：你填进去的每个数，最好和第4章那份 IRS 已经拿到的底稿对得上——因为你其实是在照抄一份系统里已经有的数。对不上，AUR 那台对账机器（还记得第5章吗）就会亮红灯。
- 减去扣除，得应税所得。 从总收入里减掉标准扣除或逐项扣除（第7章）——就是那笔“这部分收入不计税”的免征额。减完剩下的，叫 应税所得（taxable income）：真正要拿去算税的那部分钱。
- 套累进税率，算出税额。 把应税所得喂进第8章那个分段函数：第一段收入按低税率、往上一段按高一点的税率……逐段累加，得出一个初步税额。
- 减去抵免，得最终该交的税。 抵免（第7章）是直接从税额里减的钱——不是减收入，是减税本身，一块钱抵免顶一块钱税。减完，你得到这一年真正该交给政府的总数，这个数有个正式名字：应纳税额（tax liability）。
- 拿“该交的”减去“已预付的”，结算。 最后一步，也是全表的高潮：用应纳税额，减去你全年被预扣的 + 主动预缴的（第2、3章）那笔钱。结果是正数，说明你预付得不够，补缴；结果是负数，说明你预付多了，退税。
从上到下一条线走完，前八章的零件全用上了。这就是为什么 1040 看着吓人，其实它只是一份把流水线抄在纸上的对账单。
退税不是天上掉钱
很多人把退税当成一年一度的红包，甚至专门把预扣调高一点，图年底“退一大笔”的爽感。这里必须把话说白（呼应第2章）：
退税不是政府发钱给你。退税是你全年被多扣了，现在系统把多收你的那部分原样还回来。
还是话费那个比方：月底账单出来，发现你充多了，运营商把多的退你——没人会觉得这是运营商送你钱。退税一模一样。你那笔钱本来就是你的，只不过被系统提前借去、无息占用了大半年。
反过来，补缴也不是罚你。它只是你全年预付得不够，现在把差额补齐而已。退税和补缴，是同一个动作（settle 差额）的两个方向，本身没有好坏——只说明你的预扣估得偏高还是偏低。
一个绕不过去的怪事：为什么系统不直接帮你算好？
你可能已经想到一个尖锐的问题：既然 IRS 手里早就有你的工资底稿、你的利息分红底稿（第4章），它其实已经知道了你收入的大部分。那它为什么不干脆直接把税给你算好，你看一眼没问题、点个“确认”就完事？
这不是空想。很多国家就是这么干的——系统把它掌握的数据预先填好，生成一份 预填申报（税务局先替你把表填好，你只需核对确认），大多数人几分钟就报完了。
技术上，美国完全做得到。制度上，却偏偏要你自己（或者花钱买 TurboTax 这类软件）把一份 IRS 其实已经有的数，费劲地再敲一遍。
这中间的落差——技术上本可自动，制度上却没有——不是技术问题，是利益和游说的问题。这台机器身上这个刺眼的 bug 是怎么被人为保留下来的，我们留到最后一章专门拆。这里先埋个钩子，你记住这个别扭的事实就行。
工程洞见：1040 是这台系统的“最终一致性对账点”
现在退远一点，用系统工程师的眼睛看整台机器。
这是一个分布式系统：一年里，无数个节点各自往里写数据，而且是异步写的——雇主每个月异步地扣你的税、报你的工资；券商年底异步地报你的投资收益；你自己在一年中的某天买了房、捐了款，异步地产生了扣除。这些写入发生在不同的时间、不同的地方，彼此并不知道对方存在。
最终一致性（eventual consistency）是分布式系统里的一个说法：各个节点的数据在某个瞬间可能对不齐、乱糟糟，但只要给它们一个统一收口的时刻去核对，最终会归到一致。
1040，就是这台税务系统每年一次的最终一致性对账点。全年那些散落各处、异步写入的数据，到报税这一刻被全部拉到一起，做一次总核对：该交的算清、已交的减掉、差额结清。对完这一次，这一年的账才真正commit（提交入库、落定生效）——在此之前，你和系统之间那本账，一直是没结平的、悬着的临时状态。
所以，“既然都扣了为什么还要报”这个问题，最干净的答案是：预扣是全年那些异步的、按估算的临时写入；1040 是把它们收口、对平、commit 的那一下。没有这一下，全年那堆各自为政的数据就永远不算完成。报完税，系统才对你这一年说一句：账，平了。
不过，这条结算脚本里藏着一个我们一直没细究的假设：它默认你所有的收入都按同一套税率去算。可现实里，同样是报税、同样把 1040 从头走一遍，有人有效税率二十几个点，有人上亿身家却不到二十。差别不在他们填错了表，而在他们的钱是哪一种钱。下一章，我们就去看那个让无数人费解的现象：为什么最有钱的人，税率反而可能最低。