[M09Ic]

真实模型生成的 Reflex 在证据边界进入空转 JS 循环时，会占住离线资格回放，无法交回编译 Agent 修复。现在每次纯离线回放最多执行 5 秒并返回 replay_execution_limit，编译任务可继续修复。同时 JEV 直接使用 core/tool 的原生调用与契约，删除重复类型和测试专用入口。

• validate_reflex 从现有严格解码结构生成完整 artifact schema，公开字段与 js: 源码前缀。
• 回放失败提供完整剩余调用序列，包括失败读取、确认读取和原生 argv；语义审查超限时报告各部分字节数。编译指引明确参数表示、句柄来源、效果次数及完整回放要求。
• 删除 JEV 的 NativeCall 重定义和三个访问分类转导出常量；生产与测试直接使用 core/tool.NativeCall、NativeContract、NativeContracts 及 NativeRead / NativeEffect / NativeUnsupported。源码调用方需更新引用，迁移说明见 changelog。
• 删除测试自建的 NativeContract、转换及分类算法，以及两个生产文件内仅供测试使用的回放入口。测试直接覆盖生产契约和同一个 observationReplay 的验证、取证路径，保留独立业务后置条件。
• 保留原生调用到 AOP 的必要投影、宿主调用身份分配、JEV wire 校验、编译产物与运行时的边界、数据库模型及公开协议兼容。JSON 字段、持久化格式和 AOP wire 不变。
• 浏览器验收的普通 Agent MaxTurns 从 20 增到 40，允许其在验证业务后给出最终回复；oracle、热任务零主模型工具调用和源码稳定性标准不变。

本轮清理后的本地验证：

go test -count=1 -timeout 3m ./exts/jev ./core/tool ./agent/provider/jev
go test -tags full -count=1 -timeout 5m ./agent/provider/jev ./exts/jev ./tools/playwright
go test -count=1 -timeout 3m ./pkg/internal/architecture ./core/proc
go test -tags full -run '^$' -timeout 3m ./cmd/aiscan ./pkg/web/service
(cd aop && go test -count=1 -timeout 3m ./...)
go vet ./exts/jev
golangci-lint run --timeout 3m ./exts/jev
node docs/check-links.mjs
git diff --check

回归覆盖空转草稿在同一编译 Agent 中收到诊断后修复、schema 与解码字段契约、失败及确认读取顺序、效果身份与重入、原生调用分类、参数与 shell 编码、报告证据来源。

此前在 ef0374b7 使用 deepseek-flash（https://sub.chainreactors.cn/v1）和真实 JEV、独立空库实测：

场景	结果
Claim → 编译 → 验证 → 发布 → 持久化重载 → 3 个热任务	通过；热任务 ordinary/claims/compilation 均为 0，参数提取 3、整理 3，冻结库不变
原生目录查询 → 激活一次 → 轮询收据	Off/Auto 冷热四次均正确；热 Auto 为 5 次原生调用、2 次前台模型调用，Off 为 6 次模型调用；错误操作为 0
报销、Shadow DOM 浏览器冷学习/热接管	未完成；普通 Agent 冷任务 oracle 均通过，Auto 分别完成 15、25 次编译调用后仍无发布，因反复回放或语义拒绝主动停止；没有完整 Auto oracle 或热任务结果

本 PR 合并编译回放修复和结构清理；rc9 发布仍待浏览器完整接管验收通过。前一轮核心实测曾在含引号参数输入判定处 defer 并退回主模型；前一轮原生测试曾因空转草稿导致后台结算超时，已补充对应修复。保留所有成功、失败和主动停止轮次。原始报告在本地 .tmp/rc9-reflex-validation-04/，单次实验记录保留在产物目录及 PR。