<?xml version="1.0" encoding="utf-8" ?><rss version="2.0"><channel><title><![CDATA[Havenlon 创始人 Charles Wong，长期关注 AI 执行控制、物理信任边界、硬件安全与系统治理，记录一个新品类的形成过程。]]></title><description><![CDATA[]]></description><link>https://blog.youkuaiyun.com/wanglin831025</link><language>zh-cn</language><generator>https://blog.youkuaiyun.com/</generator><copyright><![CDATA[Copyright &copy; wanglin831025]]></copyright><item><title><![CDATA[《执行控制工程》作者手记 10｜系统说“我有日志”，究竟证明了什么]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/169269684</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/169269684</guid><author>wanglin831025</author><pubDate>Tue, 27 Oct 2026 23:55:30 +0800</pubDate><description><![CDATA[《执行控制工程》第十章讨论 Evidence 与 Log 的根本区别。日志能够记录系统作出了什么声明，却不能仅凭记录存在、内容完整或者签名有效，就自动证明现实事实成立。本章将被证明对象、Evidence 与基于 Evidence 作出的 Judgment 严格区分，明确证据能够为事实和关系提供可验证支撑，却不能创造事实、替代判断或产生最终执行权。Log、Record 与 Signature 可以承载 Evidence，但载体不等于证据的语义角色。证据存在也不意味着它对当前判断已经足够，下一章由此转向 Evi]]></description><category></category></item><item><title><![CDATA[《执行控制工程》作者手记 09｜昨天的批准，为什么不能替今天的现实作出决定]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/169269657</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/169269657</guid><author>wanglin831025</author><pubDate>Tue, 27 Oct 2026 23:52:47 +0800</pubDate><description><![CDATA[《执行控制工程》第九章讨论历史判断与当前现实之间的区别。过去形成的 Authorization、Policy 和审批可以继续有效，却不能自动证明这一次具体 Action 现在仍然满足执行条件。本章将 State 定义为特定时点与当前动作判断和执行直接相关的事实与条件，强调 State 不等于数据库快照，代理记录也不等于现实事实。三里岛事故说明，记录可以真实，而它所代表的现实已经不同。State 的变化可能改变执行资格，却不会自动改写 Intent。由此，执行判断拥有了规范侧与现实侧两个参照，下一步需要回答的]]></description><category></category></item><item><title><![CDATA[《执行控制工程》作者手记 08｜当我们说“按照原来的意图执行”，究竟拿什么来证明]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/169163115</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/169163115</guid><author>wanglin831025</author><pubDate>Mon, 26 Oct 2026 15:36:05 +0800</pubDate><description><![CDATA[《执行控制工程》第八章讨论执行判断应当以什么作为规范参照。Intent 不是一句自然语言、一次 Request 或一段 Prompt，而是能够被跨边界识别、引用、绑定、验证和比较的工程对象。它可以说明希望发生什么，却不会自动产生授权、最终裁决权或执行许可。Intent Binding 则需要防止对象与参数被静默替换、审批跨意图复用，以及现实结果反向改写原始意图。本章建立了规范侧的判断参照，但也指出，Intent 即使保持不变，当前现实状态仍可能变化，因此执行判断还必须继续面对 State。]]></description><category></category></item><item><title><![CDATA[《执行控制工程》作者手记 07｜两个控制明明分开了，为什么还可能一起失效]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/169162931</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/169162931</guid><author>wanglin831025</author><pubDate>Mon, 26 Oct 2026 15:32:15 +0800</pubDate><description><![CDATA[《执行控制工程》第七章讨论名义上的分离与真正的边界独立性之间的区别。不同服务、进程、设备或团队即使已经分开放置，也不能据此证明它们不存在共同失败来源。如果受约束主体能够自行放宽、关闭或改写限制，该限制就不能仅凭自身存在被视为独立执行边界。本章借切尔诺贝利相关事实说明合规操作与边界有效性之间的区别，同时指出独立性具有方向性，必须针对具体 Authority 和安全属性分别检查。它最终留下的问题是：执行边界依据什么作出判断，而这些依据本身又凭什么可信？]]></description><category></category></item><item><title><![CDATA[《执行控制工程》作者手记 06｜把权力分成三份，为什么仍然可能只有一种权力]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/168775622</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/168775622</guid><author>wanglin831025</author><pubDate>Fri, 23 Oct 2026 00:30:25 +0800</pubDate><description><![CDATA[《执行控制工程》第六章讨论权威分解与参与方数量之间的区别。多人审批、门限签名、微服务拆分和增加安全层，都可能改善局部安全性，却不能仅凭数量增加证明 Authority 已经被结构性分解。真正需要检查的是，在已声明的威胁模型下，允许失陷的主体集合是否仍能独立闭合某次受保护 Action 的现实执行因果链。这一判据只能用于排除，不能充当完整定义。本章由此把问题从“需要多少参与者”推进到“不同 Authority 何时才算真正独立”。]]></description><category></category></item><item><title><![CDATA[《执行控制工程》作者手记 05｜为什么最终裁决权不一定需要一个主人]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/168775603</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/168775603</guid><author>wanglin831025</author><pubDate>Fri, 23 Oct 2026 00:26:20 +0800</pubDate><description><![CDATA[《执行控制工程》第五章重新审视最终执行裁决权的归属方式，指出它不要求由某一个人、组件或软件模块独自持有，也不意味着必须采用固定的多人审批结构。针对同一次具体 Action，多个独立的必要约束可以共同形成最终裁决关系；任何必要约束缺失都应停止执行，而全部成立也不等于现实动作必然发生。本章同时区分裁决与实施，强调 Allow 不是执行，Deny 必须真正约束 Executor，并进一步提出下一章的问题：多个必要约束之间的“独立”，究竟意味着什么？]]></description><category></category></item><item><title><![CDATA[《执行控制工程》作者手记 04｜当所有条件都已成立，谁真正决定现实]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/167494597</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/167494597</guid><author>wanglin831025</author><pubDate>Sat, 10 Oct 2026 17:17:56 +0800</pubDate><description><![CDATA[《执行控制工程》第四章将“谁或什么能够让当前 Action 获得现实效力”从身份、权限、授权、审批、策略判断和执行能力中独立出来。上述机制可以分别建立资格、规则与判断，却不能仅凭自身成立就自动形成最终 Authority。Policy Decision 是否正确，与它能否真正约束 Executor 也是两个问题。本章明确 Authority 的最小工程边界，但不提前给出完整定义或权力结构，并进一步提出：最终现实效力的权力，是否必须由某一个主体独自持有？]]></description><category></category></item><item><title><![CDATA[《执行控制工程》作者手记 03｜有权限，为什么不等于这一次就应当执行]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/167494565</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/167494565</guid><author>wanglin831025</author><pubDate>Sat, 10 Oct 2026 17:16:44 +0800</pubDate><description><![CDATA[《执行控制工程》第三章将“有没有权限”拆解为三个不同的工程问题：现实中能不能做到、制度上允不允许拥有相应能力，以及当前这一次具体 Action 是否仍然应当执行。执行能力、授权资格和当前执行判断彼此相关，却不能互相替代。历史授权可以成为当前判断的输入，但不能自动决定现实动作；技术上具备执行能力，也不意味着拥有最终 Authority。本章由此将讨论推进到执行控制的核心问题：究竟由谁或什么决定这一次动作能够获得现实效力？]]></description><category></category></item><item><title><![CDATA[《执行控制工程》作者手记 02｜最后一刻，不是最后一秒]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/167271332</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/167271332</guid><author>wanglin831025</author><pubDate>Thu, 08 Oct 2026 12:50:08 +0800</pubDate><description><![CDATA[第二章讨论执行控制必须发生的位置。“最后一刻”并非动作发生前的最后一秒，而是现实副作用尚未形成、判断仍然面对当前条件，并且拒绝能够真实限制执行的因果位置。历史审批、授权与策略判断即使成立，也不能自动替代当前 Action 的判断；关键状态或载荷变化后需要重新判断，而正确的判断如果无法约束真实执行路径，同样不构成有效控制。本章由此区分执行前控制与普通审批、策略决策、运行时判断及事后监控，并将问题推进到下一步：站在这个位置，究竟应该判断什么？]]></description><category></category></item><item><title><![CDATA[《执行控制工程》作者手记 01｜流程全部通过以后，为什么我们仍然不能放心]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/167271313</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/167271313</guid><author>wanglin831025</author><pubDate>Thu, 08 Oct 2026 12:49:17 +0800</pubDate><description><![CDATA[第二章讨论执行控制必须发生的位置。“最后一刻”并非动作发生前的最后一秒，而是现实副作用尚未形成、判断仍然面对当前条件，并且拒绝能够真实限制执行的因果位置。历史审批、授权与策略判断即使成立，也不能自动替代当前 Action 的判断；关键状态或载荷变化后需要重新判断，而正确的判断如果无法约束真实执行路径，同样不构成有效控制。本章由此区分执行前控制与普通审批、策略决策、运行时判断及事后监控，并将问题推进到下一步：站在这个位置，究竟应该判断什么？]]></description><category></category></item><item><title><![CDATA[《执行缝隙》作者手记 10｜当所有上游判断都成立，我们仍然少问了一个问题]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/167223483</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/167223483</guid><author>wanglin831025</author><pubDate>Wed, 07 Oct 2026 18:26:28 +0800</pubDate><description><![CDATA[第十章完成《执行缝隙》的理论收束：即使意图、决定、授权、资格、策略、路径与边界分别成立，也不能自动推出“这一次具体 Action 现在应当获得现实效力”。因此，本章将“执行效力”作为工作性称呼，主张它需要被当作独立工程对象单独看待，而不能被已有上游判断吸收。但本书并未给出其正式定义、判断依据或工程结构，也不推出人工逐笔审批，而是把一个已经有边界的问题明确交给后续工程继续处理。]]></description><category></category></item><item><title><![CDATA[《执行缝隙》作者手记 09｜一个概念真正成熟，是从知道什么不属于它开始]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/167223468</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/167223468</guid><author>wanglin831025</author><pubDate>Wed, 07 Oct 2026 18:25:31 +0800</pubDate><description><![CDATA[第九章从反面为“执行缝隙”划定外边界。普通 bug、合法变更、规范上错误却被忠实执行的决定、纯事后证明损失、恢复成功，以及没有现实动作权的信息错误，都不能仅凭坏结果自动进入 Execution Gap。真正的判断仍要回到已经成立的上游对象与现实执行之间是否存在关系失效。“不算执行缝隙”并不意味着问题不重要，而是要求把问题放回真正属于它的位置。]]></description><category></category></item><item><title><![CDATA[Havenlon 杂谈 | AI Agent 正在拿走人类最后一次犹豫]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/167179152</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/167179152</guid><author>wanglin831025</author><pubDate>Wed, 07 Oct 2026 00:38:52 +0800</pubDate><description><![CDATA[当AI Agent取代人类执行关键操作，企业面临的核心问题不再是“AI会不会犯错”，而是“谁有权让错误变为现实”。过去，人作为执行链的最后环节，天然具备犹豫、复核与责任意识，形成非正式风险缓冲。而Agent缺乏这种心理机制，一旦条件满足便可能自动执行，导致“最后一次确认”消失。这迫使企业重新思考：在自动化深入的今天，必须建立独立于模型、权限与流程之外的最终控制层——一个能质疑、暂停甚至否决行动的机制。真正的安全不在于确保AI永远正确，而在于保留“让它什么都做不了”的否决权。]]></description><category></category></item><item><title><![CDATA[《执行缝隙》作者手记 08｜AI 让问题变得更大，却没有创造这个问题]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/167082874</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/167082874</guid><author>wanglin831025</author><pubDate>Sun, 04 Oct 2026 16:52:24 +0800</pubDate><description><![CDATA[本文是《执行缝隙》第八章的作者手记，探讨AI代理（Agent）如何放大已有系统中的执行风险，而非创造新问题。作者指出，AI并未导致“执行缝隙”（Execution Gap）的根本成因，而是通过消除传统系统中的“摩擦”（如人工确认、系统切换），使偏差传播更快、范围更广。真正的问题在于：意图与现实之间的必要关系是否仍成立。即使没有AI，这些缝隙依然存在；而AI的作用是放大其后果。因此，安全重点不应仅依赖模型能力提升，而应确保关键关系在自动化链中持续有效。]]></description><category></category></item><item><title><![CDATA[《执行缝隙》作者手记 07｜变化发生了，为什么还不能说找到了原因]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/167082860</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/167082860</guid><author>wanglin831025</author><pubDate>Sun, 04 Oct 2026 16:50:47 +0800</pubDate><description><![CDATA[本文为《执行缝隙》第七章的作者手记，反思“什么变了”在事故分析中的误用。尽管变化易被发现且常被视为因果起点，但真正关键的是变化后原有关系是否仍成立。系统正常运行本就伴随变化，唯有当资格、授权与现实脱节时，才产生执行缝隙。因此，“变化”只是分析入口，而非成因；真正的核心是“变了之后是否还有效”。作者强调应区分变更管理的重要性与理论因果，警惕将显性变化误作根本解释，并为AI加速下的执行放大提出新审视方向。]]></description><category></category></item><item><title><![CDATA[《执行缝隙》作者手记 06｜事故为什么不一定只有一个“正确分类”]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/166993617</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/166993617</guid><author>wanglin831025</author><pubDate>Fri, 02 Oct 2026 18:17:40 +0800</pubDate><description><![CDATA[本文是《执行缝隙》作者的手记，反思事故复盘中对“唯一根因”的执念。作者指出，结构化分类虽便于管理，却可能扭曲对复杂现实的理解，使分析沦为“分类竞争”。通过十七个案例发现，事故常同时涉及多个机制，无法被单一类别涵盖。因此，作者提出以三个问题替代分类：什么变了？哪个关系断了？断在何处？ 这些问题引导回归具体事实与关系断裂，而非急于贴标签。真正的分析不在于“属于哪类”，而在于揭示偏差如何在现实中持续推进。放弃唯一归因，不等于放弃定位——允许多重解释，但每条必须锚定于具体对象、关系与机制，保持工程可操作性。]]></description><category></category></item><item><title><![CDATA[《执行缝隙》作者手记 05｜流程没有走错，为什么事情还是发生了]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/166993603</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/166993603</guid><author>wanglin831025</author><pubDate>Fri, 02 Oct 2026 18:15:50 +0800</pubDate><description><![CDATA[本文是《执行缝隙》第五章的作者手记，反思事故复盘中常混淆的“路径偏离”与“边界失效”两类问题。指出流程合规不等于安全，即使操作完全遵循规范，若缺乏有效执行边界，仍可能造成严重后果。强调应区分“怎么走”（Path）与“能走多远”（Boundary），并重视“谁还能说不”的最终拒绝能力。真正的风险常源于边界缺失而非绕过，提醒我们：复杂流程不等于有效控制，安全改进需聚焦现实影响的约束机制。]]></description><category></category></item><item><title><![CDATA[《执行缝隙》作者手记 04｜当我们终于找到五类关系之后]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/166948000</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/166948000</guid><author>wanglin831025</author><pubDate>Thu, 01 Oct 2026 18:52:52 +0800</pubDate><description><![CDATA[《执行缝隙》第四章手记揭示：在系统执行中，偏差常源于对象间关系的断裂。作者提出五类直接机制——判断与绑定失效、路径偏离、边界失效、状态与结果脱节、证据误入因果链——用以定位偏差如何进入现实。这些类别非互斥，旨在揭示结构漏洞而非简化归因。作者警惕过度分类带来的理论幻觉，强调理论应服务于对现实的理解，而非扭曲它。真正的挑战在于如何在复杂现实中灵活运用这五类，而非机械贴标签。]]></description><category></category></item><item><title><![CDATA[《执行缝隙》作者手记 03｜有些问题，查遍所有组件也找不到]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/166947983</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/166947983</guid><author>wanglin831025</author><pubDate>Thu, 01 Oct 2026 18:49:34 +0800</pubDate><description><![CDATA[第三章把排查视角从“哪个组件坏了”转向“哪些对象之间的关系没有继续成立”。即使提交、调用、状态、回执和结果等对象分别成立，偏差仍可能发生在转换、时差、接缝与关系之中。更多日志和更细组件只能增加对象内部信息，不能自动证明对象之间仍保持原有含义与条件。本章由此提出：执行偏差未必存在唯一断点，下一步必须继续追问——哪些关系真正会断裂？]]></description><category></category></item><item><title><![CDATA[《执行缝隙》作者手记 02｜“执行了”为什么不是一个足够精确的答案]]></title><link>https://blog.youkuaiyun.com/wanglin831025/article/details/166845473</link><guid>https://blog.youkuaiyun.com/wanglin831025/article/details/166845473</guid><author>wanglin831025</author><pubDate>Tue, 29 Sep 2026 16:42:35 +0800</pubDate><description><![CDATA[第二章把“执行了”这一日常说法拆开：执行过程、执行动作与结果不是同一对象，提交、调用、执行状态、回执、结果和证据也不能默认等同，更不能被视为固定阶段。本章由此指出，系统能够确认的状态，并不天然等于现实结果；要继续讨论执行偏差，必须先分清各对象究竟指向什么。 ]]></description><category></category></item></channel></rss>