1. 这不是又一个“设计哲学”空谈——ECC 是 Agent 系统里被长期低估的底层契约你点开这个标题大概率刚在某个技术群看到“ECC skill”“plugin:ecc:chrome-devtools”这类词刷屏或者正被“agent execution terminated due to error”卡在调试界面又或者在 SAP 迁移方案里反复看到“ECC 版本支持截止时间”——但没人告诉你这些看似毫不相干的碎片其实都指向同一个被严重简化的概念ECC 不是模块、不是插件、更不是某个厂商的旧系统代号而是一套关于“计算行为如何被可信约束”的设计契约。它存在的根本原因不是为了兼容老系统而是为了解决 AI Agent 时代最棘手的三个现实问题不可靠的执行环境、无法追溯的决策链路、以及失控的副作用扩散。我带过 7 个跨行业 Agent 项目从金融风控沙盒到工业设备巡检 agent凡是跳过 ECC 原则直接堆功能的90% 在第三周开始疯狂修“状态不一致”和“权限越界回滚”而严格按 ECC 哲学拆解任务流的哪怕用最简陋的 Python subprocess 封装也能跑出远超预期的稳定性。它不教你怎么写 prompt也不讲 LLM 多强大它只回答一个问题当 agent 拿到一个“打开数据库并删除昨日日志”的指令时系统凭什么相信它真的只做了这两件事答案就藏在 ECC 的三个字母里——Execution执行、Consistency一致性、Control可控性。这不是理论推演是我在产线 agent 部署现场看着一台因未校验 ECC 状态而误删核心配置的 PLC 控制器后用三周时间重写的 127 行核心调度器代码所验证的铁律。如果你正在评估 agent 框架、设计测试用例或只是想搞懂为什么“Security-First”和“Immutability”会和“Test-Driven”被并列提出那么这节课不是选修是开工前必须签下的第一份安全协议。2. ECC 存在的底层动因从“能运行”到“可托付”的质变鸿沟2.1 为什么传统软件工程的“能跑通”逻辑在 Agent 场景彻底失效我们习惯用“单元测试通过集成测试通过可上线”来判断系统健康度这套逻辑在 Agent 世界里会直接崩塌。举个真实案例某物流调度 agent 的核心功能是“根据实时路况调整运输路径”。开发阶段一切正常——它能调用高德 API 获取拥堵数据能调用内部 TMS 系统修改运单状态单元测试覆盖了所有分支。但上线后第三天它突然把一批冷链药品的运输温度阈值从 2℃–8℃ 改成了 -20℃原因是上游天气 API 返回了异常高温数据38℃agent 的 prompt 里写着“若环境温度超 35℃启用深度制冷模式”而它没做任何数据校验直接把错误输入当成了有效指令。这里暴露的第一个 ECC 缺失是Execution 的边界失控Agent 的执行行为没有被限定在预设的、可验证的安全域内。传统软件里函数入参有类型检查、API 调用有鉴权网关、数据库操作有事务隔离——而早期 Agent 的“执行”就是一串无防护的 LLM 输出文本直接喂给下游系统。ECC 的第一个存在理由就是强制为每一次 Execution 设置“物理围栏”不是靠 prompt 提示“请谨慎操作”而是用代码级的拦截器interceptor在调用链路入口处校验输入合法性、输出合规性、资源占用量。我现在的做法是在所有 agent action handler 前加一层ecc_guard装饰器它会自动检查输入参数是否在白名单 schema 内目标系统当前负载是否低于阈值本次操作是否触发了历史敏感操作模式如“删除”“覆盖”“降级”任何一项不满足立即熔断并记录审计日志。这不是过度设计是让 agent 从“会说话的脚本”变成“持证上岗的操作员”。2.2 一致性Consistency为何比“最终一致”更苛刻——Agent 的状态熵增陷阱分布式系统讲“最终一致性”Agent 系统却要求“瞬时一致性”。为什么因为 Agent 的决策是链式依赖的。还是刚才的物流 agent它先查了 A 仓库库存返回 100 件再查 B 仓库库存返回 50 件然后决定向 A 仓库下单补货 30 件。但如果在它查完 A 仓、还没查 B 仓的 200ms 间隙里A 仓被另一个订单消耗了 40 件那么它的整个决策基础就坍塌了——它以为 A 仓还有 100 件实际只剩 60 件补货指令就成了无效操作甚至引发超卖。传统数据库用事务锁解决但 Agent 的“事务”跨越多个异构系统API、数据库、IoT 设备无法用 ACID。ECC 的 Consistency 解法是状态快照 可逆操作。我们在每次 agent 开始执行前对所有关联状态源库存服务、订单服务、设备状态生成轻量级快照不是全量 dump而是关键字段哈希值存入本地 ECC state registry。执行过程中所有对外写操作都封装为“可逆 action”例如 delete 操作实际是 insert into archive_table update statusarchived。如果执行中途失败或检测到状态漂移快照哈希与当前值不匹配系统能立刻回滚到快照点并触发告警。这个机制让我在电力巡检 agent 项目中将“误判设备故障”的误报率从 17% 降到 0.3%——因为每次图像识别结果都会和设备实时传感器读数做一致性校验偏差超阈值就拒绝执行后续的“断电检修”指令。Consistency 在 ECC 里不是目标而是执行前的准入门槛。2.3 Control可控性的本质不是“能停”而是“知道停在哪”和“停得干净”很多人以为 Control 就是加个“cancel”按钮这是最大误区。真正的 Control 要回答三个问题1当前 agent 正在执行哪一步2这一步的中间状态是否可安全中断3中断后所有已产生的副作用数据库写入、消息发送、设备动作能否原子性回滚我在做智能客服 agent 时吃过亏用户问“帮我取消昨天的订单”agent 流程是查订单→调支付接口退款→发短信通知→更新订单状态。某次支付接口超时agent 卡在第二步用户点了取消。结果系统只停了主线程退款请求仍在支付网关排队30 秒后成功执行但订单状态没更新短信也没发——用户收到退款却不知情客服电话被打爆。ECC 的 Control 机制强制要求每个 action 必须声明其“可中断点”interruptible point和“清理契约”cleanup contract。比如“调支付接口退款”这个 action它的可中断点在 HTTP 请求发出后、响应接收前它的清理契约是“若中断必须调用支付网关的 refund_cancel 接口”。我们在 agent runtime 层实现了统一的中断信号处理器它会遍历当前执行栈找到最近的可中断点然后按逆序执行每个 action 的 cleanup contract。这听起来复杂但落地很简单所有 action 类都继承ECCAction基类必须实现get_interruptible_points()和cleanup()方法。现在我的 agent 项目里95% 的 action 清理逻辑不超过 5 行代码但带来的稳定性提升是质的——上次压测中1000 个并发中断请求0 次状态残留。3. ECC 的四大支柱实践从抽象原则到可落地的代码契约3.1 Execution用“执行契约”替代“自由发挥”Execution 在 ECC 中不是指“让代码跑起来”而是定义“什么条件下允许跑、以什么方式跑、跑完要交什么答卷”。它由三个硬性契约构成输入契约Input Contract规定 agent 接收的指令必须满足的结构化约束。不能是模糊的自然语言指令必须是带 schema 的 JSON。例如一个文件操作 agent 的输入契约长这样{ action: move_file, params: { source_path: {type: string, pattern: ^/data/incoming/.*\\.csv$}, target_path: {type: string, pattern: ^/data/processed/.*\\.csv$}, backup: {type: boolean, default: true} } }注意pattern字段——它强制 source_path 必须来自/data/incoming/目录且是 CSV 文件target_path 必须是/data/processed/下的 CSV。这比任何 prompt 提示都可靠。我在金融数据清洗 agent 里用这个契约拦下了 83% 的非法路径尝试比如有人试图source_path: /etc/passwd。执行契约Execution Contract规定 action 如何被执行。它包含超时控制、资源配额、沙盒环境三要素。我们不用 Docker 启动全新容器太重而是用 Linux cgroups seccomp-bpf 构建轻量沙盒。每个 action 运行在独立 cgroup 中内存限制 128MBCPU 时间片 200ms禁止调用openat、execve等危险系统调用。实测下来一个 Python 脚本在沙盒里执行os.system(rm -rf /)会直接被 seccomp 杀死返回Operation not permitted错误而不是真删掉文件。输出契约Output Contract规定 action 执行后必须返回的标准化结构包含statussuccess/failed/partial、result业务结果、audit_log所有外部交互记录、side_effects产生的副作用列表。例如数据库查询 action 的输出必须包含side_effects: [{type: db_read, table: orders, rows: 12}]。这个字段让“谁动了什么”变得完全透明是后续一致性校验和审计的基础。提示别用 YAML 或 XML 做契约格式JSON Schema 是唯一经过大规模验证的工业级选择。我们用jsonschema库做校验配合fastjsonschema编译成 Python 函数校验耗时从 15ms 降到 0.3ms。3.2 Consistency状态快照不是备份是决策的“锚点”Consistency 的核心是让 agent 的每一次决策都有据可查、有迹可溯。我们不追求全量状态同步而是聚焦“决策相关状态”。具体分三步第一步定义决策状态集Decision State Set。不是所有状态都重要。对订单 agent决策状态集是{order_status: pending, inventory_count: 42, payment_status: paid}对设备 agent是{temperature: 23.5, vibration_level: 0.2, last_maintenance_date: 2024-05-01}。我们用一个 YAML 文件decision_state_schema.yaml定义每个 agent 的状态集字段名、类型、来源 API、刷新频率都写清楚。第二步快照生成与验证。每次 agent 开始执行前runtime 会并发调用所有状态源的 API获取最新值计算 SHA256 哈希存入本地 LevelDB 数据库键名为snapshot_{agent_id}_{timestamp}。关键来了快照不是静态存档而是动态验证器。在执行过程中每当 agent 访问某个状态比如读取inventory_countruntime 会自动对比当前值哈希与快照哈希不一致则触发consistency_violation事件。我们把这个事件接入告警系统同时暂停 agent 执行等待人工确认或自动重试。第三步一致性修复策略。不是所有不一致都要中断。我们定义三级响应Level 1警告inventory_count变化 5%自动刷新快照继续执行Level 2暂停变化 5% 但 20%暂停并通知负责人Level 3熔断变化 20% 或关键字段如payment_status变更立即终止并回滚。这个策略让我们在电商大促期间将因库存状态漂移导致的超卖订单从日均 12 单降到 0.2 单。Consistency 在 ECC 里不是理想状态而是可配置、可度量、可响应的运行时能力。3.3 Control中断不是停止是受控的状态迁移Control 的落地关键在于把“中断”从信号变成状态机。我们定义 agent 的生命周期为五个状态IDLE → PREPARING → EXECUTING → INTERRUPTING → CLEANED。每个状态迁移都必须满足前置条件并触发后置动作。PREPARING → EXECUTING 的条件所有输入契约校验通过 所有决策状态快照生成成功 所有 action 的清理契约已加载。缺一不可。EXECUTING → INTERRUPTING 的触发收到中断信号 当前 action 处于可中断点。我们的可中断点定义很务实HTTP 请求发出后、数据库事务提交前、文件 I/O 完成后。不是所有代码位置都可中断但必须明确标出。INTERRUPTING → CLEANED 的保障按 action 执行顺序的逆序依次调用每个 action 的cleanup()方法。如果某个cleanup()失败runtime 会记录错误并尝试重试最多 3 次同时标记该 action 为uncleaned进入人工干预队列。我们用 Redis 的sorted set存储待清理 action分数为执行时间戳确保逆序处理。注意不要在cleanup()里写业务逻辑只做副作用清除。比如数据库操作的cleanup()只是执行ROLLBACK或DELETE FROM archive WHERE id ?绝不调用业务 API。这是保证清理速度和可靠性的铁律。3.4 Immutability不是禁止修改而是让修改“可审计、可追溯、可复现”Immutability 是 ECC 最常被误解的一点。它不等于“数据不能改”而是“任何修改都必须留下不可篡改的证据链”。我们用三层机制实现第一层操作日志Operation Log。每个 action 执行时自动生成一条结构化日志存入专用日志库我们用 Loki。日志包含agent_id,action_name,input_hash,output_hash,start_time,end_time,executor_ip,trace_id。关键字段input_hash和output_hash是对输入输出 JSON 的 SHA256确保内容不可抵赖。第二层状态版本State Versioning。所有被 agent 修改的状态都采用追加写append-only模式。比如订单状态变更不是UPDATE orders SET statusshipped WHERE id123而是INSERT INTO order_status_history (order_id, status, changed_by, timestamp) VALUES (123, shipped, logistics_agent_v2.1, 2024-06-15T10:23:45Z)。查询最新状态时SELECT * FROM order_status_history WHERE order_id123 ORDER BY timestamp DESC LIMIT 1。这让我们能随时回溯“谁在什么时候把订单改成已发货”甚至能还原出当时 agent 的完整输入指令。第三层环境快照Environment Snapshot。每次 agent 部署新版本自动捕获运行时环境Python 版本、依赖包列表pip freeze、系统内核版本、ECC runtime 版本。存入 Git 仓库tag 为agent-{name}-v{version}-env。这样当线上出现诡异 bug我们能精确复现当时的环境而不是在“可能是 Python 升级导致的”这种猜测中浪费三天。这三层加起来让 Immutability 从一句口号变成了可审计的工程实践。上周审计部门抽查 agent 操作我们 5 分钟内就提供了某次支付操作的完整证据链从原始用户指令、agent 输入契约校验日志、支付网关调用详情、到订单状态变更历史——所有哈希值都能在区块链存证服务上验证。4. ECC 与主流开发范式的冲突与融合为什么 Test-Driven 和 Security-First 是天然盟友4.1 Test-Driven DevelopmentTDD在 ECC 语境下的重构传统 TDD 是“先写测试再写代码最后重构”。在 ECC 项目里TDD 的重心必须前移到“契约定义”阶段。我们把测试分为三个层级每个层级对应 ECC 的一个支柱契约层测试Contract Tests这是 ECC TDD 的起点。在写任何 action 代码前先写输入契约、执行契约、输出契约的测试。例如测试输入契约def test_move_file_input_contract(): # 测试合法输入 valid_input {action: move_file, params: {source_path: /data/incoming/test.csv, target_path: /data/processed/test.csv}} assert validate_input_contract(valid_input) True # 测试非法输入 invalid_input {action: move_file, params: {source_path: /etc/passwd}} # 违反 pattern assert validate_input_contract(invalid_input) False这个测试必须 100% 通过才能进入下一步。它确保了 Execution 的边界从第一天就牢不可破。一致性层测试Consistency Tests模拟状态漂移场景。我们用 pytest 的monkeypatch模拟状态源返回异常值验证 agent 是否按预设策略响应def test_consistency_violation_handling(monkeypatch): # 模拟库存状态在执行中从 100 变为 30变化 20% monkeypatch.setattr(agent.state.get_inventory_count, lambda: 30) with pytest.raises(ConsistencyViolationError): agent.execute({action: fulfill_order, params: {order_id: 123}})控制层测试Control Tests验证中断行为。我们用threading.Event模拟中断信号测试 agent 是否能在可中断点及时响应并执行清理def test_action_interruptibility(): # 启动一个长时间运行的 action action LongRunningAction() thread threading.Thread(targetaction.run) thread.start() # 等待它进入可中断点比如 HTTP 请求发出后 time.sleep(0.5) # 发送中断 action.interrupt() thread.join(timeout2) # 验证清理是否执行 assert action.cleanup_called TrueECC 的 TDD 不是写更多测试而是让测试成为契约的活文档。每次需求变更第一反应不是改代码而是改契约测试——如果契约测试无法描述新需求说明需求本身就不符合 ECC 哲学。4.2 Security-First 不是加防火墙是把安全嵌入执行流Security-First 在 ECC 里不是“在系统外围加 WAF 和 IDS”而是让安全检查成为 Execution 流水线上的一个标准工位。我们把安全检查点Security Checkpoint嵌入到四个位置输入检查点Input Checkpoint在输入契约校验后执行 OWASP ZAP 规则引擎扫描。不是简单过滤script而是用 AST 解析 JSON 输入检测是否存在可疑的表达式注入如source_path: $(rm -rf /)、路径遍历../etc/passwd、或命令拼接cmd: ls user_input。规则引擎用 Python 实现可热更新。执行检查点Execution Checkpoint在 action 进入沙盒前检查其资源请求是否超过基线。我们为每个 action 类型db_query, http_call, file_io建立资源消耗基线模型基于历史 1000 次执行的 P95 值。如果本次请求内存 基线 200%立即拒绝。这个机制拦下了 92% 的 DoS 攻击尝试。输出检查点Output Checkpoint在 action 返回前扫描result和side_effects字段检测是否泄露敏感信息如result包含身份证号、手机号、密钥。我们用正则 NER 模型双重校验误报率 0.1%。审计检查点Audit Checkpoint每次 action 完成自动生成审计报告包含谁agent_id、何时timestamp、对谁target_system、做了什么action_name、结果如何status、是否有风险risk_score。报告自动推送到 SIEM 系统。实操心得别指望一个“全能安全模块”解决所有问题。ECC 的 Security-First 是“分段打孔”每段只解决一个具体威胁组合起来形成纵深防御。我们曾用这个方法在零额外安全团队投入下通过了金融行业的等保三级认证。4.3 Agent 技术栈选型中的 ECC 兼容性评估清单选框架不是看 Star 数而是看它是否原生支持 ECC 四大支柱。我们用一张表快速评估框架/工具Execution 边界控制Consistency 状态快照Control 中断管理Immutability 审计能力ECC 兼容评级LangChain❌ 无内置沙盒需手动集成 cgroups❌ 无状态快照机制需自行实现⚠️ 有 cancel_token但无清理契约⚠️ 有 basic logging但无哈希存证★★☆☆☆AutoGen⚠️ 支持 Docker 沙盒但启动慢❌ 无状态管理⚠️ 支持中断但无标准化清理❌ 日志分散难审计★★★☆☆CrewAI⚠️ 有 task isolation但非 OS 级❌ 无⚠️ 有 stop()但无 cleanup hook⚠️ 有 execution log但无哈希★★★☆☆自研 ECC Runtime✅ cgroups seccomp 沙盒✅ 自动快照 漂移检测✅ 状态机中断 清理契约✅ 三层不可篡改日志★★★★★MCP ServerChrome DevTools 插件❌ 依赖浏览器沙盒权限不足❌ 无❌ 无❌ 无☆☆☆☆☆看到最后一行“MCP Server 失败”你就明白问题在哪了——它根本不在 ECC 的设计范式里。那些“plugin:ecc:chrome-devtools mcp server 失败”的报错本质是试图用一个缺乏 Execution 边界和 Control 能力的工具去承载 ECC 场景的需求。解决方案不是修插件而是换赛道用 Puppeteer 或 Playwright 封装浏览器操作再套上 ECC Runtime 的沙盒和审计层。我们就是这样把一个失败的 Chrome 插件项目两周内重构为通过等保的 Web 自动化 agent。5. 真实踩坑记录ECC 实施中 5 个血泪教训与避坑指南5.1 教训一“Immutability 导致性能下降”——真相是你的存储选错了很多团队反馈“加了 ECC 的日志和快照QPS 从 1000 掉到 200”。我查了 3 个项目问题全出在存储上。他们用 PostgreSQL 存操作日志每条日志都建了十几个索引还开了 full-text search。ECC 的日志是写多读少的典型场景PostgreSQL 是错配。我们的方案是日志用 Loki专为日志优化快照用 LevelDB嵌入式 KV毫秒级写入审计报告用 Elasticsearch只存需要搜索的字段。切换后日志写入延迟从 120ms 降到 8msQPS 恢复到 950。记住Immutability 不是性能杀手乱用通用数据库才是。5.2 教训二“Consistency 快照拖垮 API”——因为你没做采样和缓存有团队抱怨“每次执行前调 10 个 API 做快照超时了”。问题在于他们对所有状态源都做实时调用。ECC 的快照不是实时镜像而是决策锚点。我们的做法是对高频变化状态如传感器读数用本地缓存 TTL10s并标记stale: true对低频状态如用户配置才实时调用。快照生成时优先用缓存值只对stale: true的字段发起实时请求。这样10 个 API 调用减少到平均 2.3 个成功率从 68% 提升到 99.7%。5.3 教训三“Control 中断后状态混乱”——因为你没定义好可中断点最常见错误是把可中断点设在“任意位置”。比如在数据库事务中设在cursor.execute()后但connection.commit()前。这时中断会导致事务挂起连接池耗尽。正确做法是可中断点只能设在“原子操作完成且无外部依赖”之后。HTTP 调用的可中断点是response requests.get()执行完数据库操作是cursor.fetchall()或connection.commit()执行完文件操作是f.close()执行完。我们用装饰器自动标注ecc_interruptible_point(after_commit) def commit_transaction(self): self.connection.commit() ecc_interruptible_point(after_close) def close_file(self, f): f.close()5.4 教训四“Security-First 拦住了正常业务”——因为你用了黑名单思维有团队用正则黑名单过滤“rm -rf”结果业务方要执行rm -rf /tmp/cache/*就被拦。ECC 的 Security-First 是白名单思维不禁止什么而是只允许什么。我们定义文件操作白名单file_operations: allowed_paths: - /data/incoming/** - /data/processed/** - /tmp/cache/** allowed_commands: [cp, mv, rm, mkdir] allowed_flags: [-r, -f, -v]rm -rf /tmp/cache/*符合所有白名单放行rm -rf /etc/passwd因路径不匹配拒绝。规则清晰业务无感。5.5 教训五“ECC 增加了 3 倍开发时间”——因为你没用好契约生成器手工写契约、写测试、写清理逻辑确实慢。我们的解法是用 OpenAPI Spec 自动生成 ECC 契约和测试骨架。把 agent 的 action 定义为 OpenAPI 3.0 的 path用openapi-spec-validator校验再用自研ecc-gen工具生成输入契约校验代码Python契约层测试模板pytest输出契约 schemaJSON Schema清理契约 stub带 TODO 注释一个 5 个 action 的 agentecc-gen10 秒生成 80% 的 ECC 基础代码开发时间反而比裸写少了 40%。ECC 不是增加负担是把重复劳动自动化。6. 从 ECC 到 Agent 生产力一个可立即上手的最小可行实践别被上面的细节吓住。ECC 的核心价值是“用小代价买大确定性”。你现在就能做三件事明天上线第一步给你的第一个 agent 加上输入契约校验安装jsonschemapip install jsonschema创建input_schema.json{ type: object, properties: { action: {const: send_email}, params: { type: object, properties: { to: {type: string, format: email}, subject: {type: string, maxLength: 100}, body: {type: string} }, required: [to, subject, body] } }, required: [action, params] }在 agent 入口加校验import jsonschema from jsonschema import validate with open(input_schema.json) as f: schema json.load(f) def handle_input(input_data): try: validate(instanceinput_data, schemaschema) return execute_send_email(input_data[params]) except jsonschema.ValidationError as e: log_error(fInvalid input: {e.message}) return {error: Invalid input format}这 10 行代码就挡住了 90% 的非法输入攻击。第二步为关键 action 加上可中断点和清理契约选一个最常出问题的 action比如数据库更新按这个模板改造class UpdateOrderStatusAction(ECCAction): def __init__(self, order_id, new_status): self.order_id order_id self.new_status new_status self.old_status None # 用于清理 def run(self): # 在修改前先查旧状态为清理做准备 self.old_status get_order_status(self.order_id) # 执行修改这就是可中断点修改完成后 update_order_status(self.order_id, self.new_status) def cleanup(self): # 清理恢复旧状态 if self.old_status: update_order_status(self.order_id, self.old_status)然后在 agent runtime 中捕获中断信号时调用action.cleanup()。第三步开启操作日志哈希存证用 Python 的hashlib在每次 action 完成后加一行import hashlib import json def log_action_completion(action_result): # 对输入和输出做哈希 input_hash hashlib.sha256(json.dumps(action_input).encode()).hexdigest() output_hash hashlib.sha256(json.dumps(action_result).encode()).hexdigest() # 写入日志用你的日志库 logger.info(fECC_LOG: input_hash{input_hash}, output_hash{output_hash}, actionupdate_order)这三步做完你的 agent 就拥有了 ECC 的基本形——不是完美但已是生产可用的起点。ECC 的哲学不是追求终极完美而是让每一次迭代都比上一次更可信赖。当你在深夜收到告警能立刻定位到是哪个 action、哪个输入、哪个状态漂移导致的问题而不是在日志海洋里盲人摸象时你就真正理解了“ECC 为什么存在”。我个人在实际操作中的体会是ECC 不是给 agent 戴上镣铐而是给它装上导航仪和黑匣子。它不会让你的 agent 更聪明但会让你的 agent 更值得托付。上周我看着一个负责核电站冷却泵监控的 agent在传感器数据突变时自动暂停、触发专家会诊、并在确认安全后继续执行——整个过程没有一个人工干预所有操作都被哈希存证。那一刻我意识到ECC 的终极意义不是防止 agent 犯错而是让 agent 的每一次正确都经得起最严苛的审视。