一次删掉「读过什么就染什么」的改动复盘：为什么污点追踪在什么都读的协调线程上只会制造误报，隔离为什么应该落在被读线程的读侧与内容本身的类别上，以及「这两份记录不许外复制」为什么必须是通道级的禁止而不是逐行标签。附迁移、代码与测试依据，以及这次交换仍然没解决的部分。