第30章
第三十章 封装必须能够修改：重开、迁移、替换与退出
一 为什么可用还不够，可改也属于能力
小林的平台运行顺利，直到一次更新之后，原来保存的证明状态无法被新版本正确读取。所有文件仍然存在，界面也没有报错，可是候选、已证和已否定被合并成普通笔记。她没有失去文本，却失去了影响研究的关键关系。这说明能力的保存不能只按文件是否还在判断。
一个封装如果只能在原条件下被使用，却无法应对条件改变，就可能把使用者固定在某个历史版本中。它仍有服务价值，但作为长期认知条件的能力有限。可修改性使人能够继续参与变化，而不是只能等待提供者替自己决定下一步。成熟封装应当把这种可能纳入设计。
这里的可改不是人人都有权任意改动所有共同资源。公共工具、合作资料和个人记录需要不同权限。可改意味着存在与角色和任务相称的修订路径：能够提出具体问题，取得必要材料，由合适主体完成调整，并检验调整后的承诺。没有任何程序的任意修改，同样会破坏可靠性。
也不能把可改简化为公开全部内部代码。代码开放可能帮助维护，却不自动保证有人理解、能够运行或有资源验证；某些内部细节不完全公开的系统，也可能提供明确接口、数据迁移和独立复核。需要观察实际的修改能力，而不是只凭开放或封闭两个名称判断。
封装的使用者不必成为全栈工程师，正如乘车者不必制造全部道路。退出和修订可以通过专业协作、替代工具和公共支持来实现。关键是这些道路是否实际可用，而不是在说明中存在。如果寻找合适帮助的成本高到几乎不可承担，名义上的可改仍然可能只是形式。
因此，修改能力也是一种复合能力。它由资料可得、问题可说明、专业支持、资源条件和验收机制共同形成。没有任何一个人单独拥有全部部分，也不妨碍整体能够作出有效改变；反过来，拥有所有部件的清单，也不保证它们能够在需要时配合。
这种观点把主体性从最后签字的位置扩展开来。一个人可以通过选择替代工具、组织复核、改变问题范围或重新安排合作，实际改变自己的认知条件。主体能力不只是在既定系统里给结果打分，也包括使系统不再是唯一可能的活动环境。
但可修改性不是要求人每次都修改。成熟封装应当使正常调用简单，把改变条件的成本留给确有需要的时刻。若每次使用都要重新研究内部结构，封装没有兑现其作用；若从来不能展开，封装又成为无法学习的黑箱。合理组织需要在两者之间形成可执行的开合。
这也使退出具有积极意义。离开一个工具不一定是对它失败的判决，可能只是任务变了、资源变了、合作方式变了。能够在不同条件间继续研究，是文明能力的一部分。平台应当尽可能支持这种连续，而不是把退出设计成对既有学习与劳动的惩罚。
于是，可靠封装的承诺需要多出一个时间维度：不只是今天可以完成什么，还包括明天条件变化时能够怎样继续。技术便利若不能转化为这种连续性，就可能让人越用越熟练，却越难改变自己的起点。
二 重开不是全部推倒，而是定位哪项承诺失效
当一个封装出现问题，最容易采取两种极端反应：继续相信过去的成功，或者把所有内容全部重做。前者可能放大错误，后者可能浪费大量已经有效的条件。更好的起点是定位：新异常具体触及哪项主张、哪一层接口，以及哪些后续活动依赖它。
例如，小林发现程序把列向量按行处理。需要首先判断哪些计算受影响，哪些纯理论证明仍然成立，哪些图像和文字结论需要撤回。不能因为一个实现错误就宣布全部数学认识无效，也不能因为理论正确就保留错误实验。不同层级的依据应当分别更新。
重开可以由异常、版本变化或任务扩展触发。原来只处理固定矩阵，现在要处理随时间变化的矩阵，即使没有发现旧工具错误，也需要重新检查范围。不是所有重开都意味着之前失信；有些只是因为新的研究已经超出旧承诺。封装边界能够被看见，反而说明它具有较清楚的认识结构。
可以按照依赖关系确定影响范围。若一项关键引理被修订，直接使用它的结论需要检查；与它没有逻辑或实现依赖的材料，不必同等处理。但依赖记录可能不完整，因此还要寻找遗漏连接。这里不能把一张自动生成的依赖图当作绝对真相，它本身也需要与实际活动核对。
重开时应保留旧状态，避免边查边覆盖全部历史。否则，研究者可能失去复现错误的条件，也无法知道修正是否真的解决问题。适当的副本、版本与修改理由，使旧过程成为认识材料，而不是成为必须隐藏的污点。失败可以进入文明继承，只要它的发生条件得以保存。
同时，应该暂时限制受影响用途。发现证据不足时，继续以原承诺发布结果，会让未解决问题扩散。暂停可以很有限：只停止某类输入，只撤回某个推论，或者要求额外复核。处理越精确，越能避免错误与过度反应同时扩大。
修改之后，需要验证新状态。补上一项检查并不自动说明所有问题已解决；一个补丁可能影响其他接口。可以重跑相关旧案例，加入新反例，并说明哪些范围获得恢复。重新封装不是把警告删掉，而是为新承诺建立相应依据。
重开还可能改变问题本身。原来认为是程序错误，后来发现数学目标写错；原来认为学生没有理解，后来发现评价任务含混。若只允许在既定框架内部修补，就会错过真正的发生点。重开应当允许证据把注意带到更合适层级，而不只是执行预先规定的故障排除。
这种过程需要明确停止条件。若新范围已经有充分依据，可以恢复调用；若问题尚未解决，则保留限制；若成本超过预期用途，可以退出这项封装。不能为了证明前期投入没有浪费而无限修复，也不能因为一次异常便永久拒绝所有相关工具。
因此，重开是一种有目标的认识活动。它不要求回到文明最小单元，而是让受影响的承诺重新成为问题。能够精确重开、有限修正并再封装，才使复杂能力既可继承又可成长。
三 迁移不是搬走文件，而是带走可继续工作的关系
设想小林更换平台，顺利导出了全部文本。她以为迁移已经完成，直到需要继续研究时才发现，内部链接失效、证明对应的程序版本缺失、来源定位变成无法访问的私有地址。物理文件搬走了，知识关系却留在原系统里。可迁移性的验收必须超越下载成功。
真正需要迁移的是四类内容：当前有效成果，支持它们的依据，能够继续运行的方法，以及理解关键变化的记录。这不是一张固定文件清单，而是围绕任务确定的最小工作集合。对纯论证和计算研究，所需内容可以不同；对私人学习和公共合作，权限边界也会不同。
在小林的案例中，命题文本需要连同定义与状态迁移；证明需要连同引用引理和所用版本迁移；程序需要连同输入、依赖和结果说明迁移；反例需要连同它否定了什么迁移。若只剩下一组没有关系的附件，后来者就需要重新发现这些连接，迁移成本会重新变成研究成本。
迁移还要区分语义等价与外观相似。新平台把已否定显示成已归档，用户可能误以为只是暂时不用；把待证显示成进行中，可能失去没有依据的明确含义。字段转换必须检查含义，不能只确保每个旧字段找到一个新位置。认知连续性依赖状态意义，而不只是数据完整。
可以通过有限任务检验迁移。选取一个已经完成的结论，在新环境中恢复其依据；再选一个尚未完成的问题，继续一次有效探索；最后引入一个已知反例，看新系统能否保留其否定关系。三类任务分别检查保存、继续和纠错，比单纯比较文件数量更接近能力迁移。
迁移不一定要求全部工具一致。只要目标任务可以在适当条件下接续，底层实现可以改变。新的检查器、新的笔记系统或不同的模型，都可能成为替代。需要说明结果与方法的哪些性质保持，哪些改变需要重新认识，而不是追求旧界面的每个按钮都被复制。
当然，迁移有成本。某些专有格式需要转换，某些功能暂时没有替代，某些合作资料不能随意转移。不能把退出权写成没有任何条件的轻松承诺。合理设计应当尽早识别重要依赖，保留可行备份与替代路径，使成本不会在危机时突然变成不可承担。
对平台提供者而言，支持迁移不必等同于放弃商业价值。服务质量、稳定维护和良好协作可以成为用户继续选择的理由，不必依靠锁定历史劳动。这里提出的是规范性方向，不是对任何具体企业行为的事实判断。一个值得持续使用的平台，应当能经得起用户具有真实选择的条件。
对使用者而言，也不能把所有保存责任完全交给平台。重要研究应当依据自身任务建立适度的独立记录与恢复安排；但公共教育机构可以提供支持，避免每个学生都重复设计完整的备份系统。个人责任与制度条件应当共同承担，而不是互相取代。
迁移能力因此是一种文明连续性：过去的探索不因某个服务变化而全部消失，已经形成的认识可以在新的条件中继续发生。封装越大、个人投入越深，这种连续性越重要。没有它，工具便利可能在长期变成对工具的不可选择依赖。
四 替换与退出怎样成为新的研究能力
替换一个模块与退出整个系统不同。前者可能保持大部分研究结构，只调整一项生成或检查方式；后者则需要寻找新的整体条件。能够区分这两种变化，有助于避免小问题引发全面重造。成熟封装应该使局部替换在适当范围内成为可能，而不是把所有能力锁成一块。
替换前，可以明确比较目标。是希望提高某类证明检查的准确性，减少来源错误，降低维护成本，还是改善使用者进入问题的方式？不同目标需要不同评估。新工具更快并不保证更适合长期研究，旧工具更熟悉也不保证仍然满足任务。选择应当依据具体关系，而不是技术排名。
替换后，不应直接沿用旧的成功历史。需要用相关任务验证接口、状态和输出含义，同时保留已经独立成立的知识。这里存在一个精细平衡：不把新工具视为全新文明而全部重来，也不把相同名称视为完全等价而不做检查。针对改变的验证，正是颗粒度往返的实际形式。
退出则可能是合理研究结果。某项任务经过分析没有足够价值，某个工具的维护成本过高，某类数据无法在合适权限下使用，都可以成为结束理由。停止不必被叙述为失败者退场。它可能保护资源，使人进入更值得开展的问题，也可能让过去的经验以清楚边界留下。
退出时应当区分仍有效的成果与不再支持的服务。一个定理不会因为平台停用而自动失效，某份没有来源的自动摘要也不会因为被导出就变得可靠。状态需要跟随依据，而非跟随平台生命周期。把这两种历史分开，才能让知识不被工具品牌绑架。
教育可以训练这种转换能力。让学生在受控环境中替换一个工具，恢复一项研究，解释哪些部分需要重新验证；或者比较继续维护与停止使用的理由。目的不是制造断网求生考试，而是让他们学会在条件变化时组织有效活动。恢复可以借助其他工具与协作，不必独自退回纸笔。
这种能力也不应被扩大成新的全能要求。普通研究者不需要维护所有基础设施，而需要在自己的任务层级上知道合适的求助、替代与停止方式。社会则需要培养能够承担更底层工作的专业群体。个体有限与文明可持续，可以通过组织同时成立。
第六编至此完成了可靠封装的建设逻辑：成熟来自试用与检验，证据必须与主张相匹配，组合需要新的依据，个人平台保存可接续关系，重开与迁移使能力能够持续改变。它们共同说明，封装不是把思考藏起来，而是把思考的承担方式做成可以继续发生的条件。
可重开与可迁移使封装不至于成为一项只能接受的安排。研究者不必独自修理全部底层，但需要实际可达的检查与替换路径；平台也不能把导出一份文件等同于能力已经顺利迁移。有了这些条件，教育与科研制度才有理由重新界定资格颗粒度。既不为不成熟工具预支可信度，也不在可靠支撑已经形成之后要求人人重演全部内部过程。这一分界，应当进入课程、认证与日常研究组织。