无限五代 1.3.0

实现与审查日期：2026-10-26。本版本按所有者要求，将已完成审查、打包、安装与本机验证的实现正式发布为 1.3.0。

主要更新

1. 工具面升级

工具面由 Full 40 增至 Full 43，Core 8 和 13 个审批门保持不变，既有预算和能力限制不放宽。

• 新增 ig5_package：提供 APK 与固件静态分析及安全、受限解包。
• 从 ig5_profile 拆出 ig5_workspace 和 ig5_recovery，降低 Core 工具描述体积，使调查、证据管理与恢复入口更清晰。

2. 调查体验增强

• 支持函数结果持久化、完整性分层和认证游标分页。
• 支持最多 72 个函数的持久批处理。
• 大型反编译结果可以分页读取并完整重组。
• 增加静态 ELF 地址转换、缓存命中原因、显式刷新、会话诊断、失败记录和恢复能力。

3. 静态分析能力扩展

• APK：支持 Manifest、AXML、DEX、证书和规则分析。
• 固件：支持扫描、识别和受限解包 SquashFS、ext、cpio、tar、ZIP、Android boot/sparse、U-Boot、FIT、TRX 等格式。
• 新增签名规则匹配、加壳特征分析、行为清单以及字符串与配置自动解码。

4. 动态分析增强

• ig5_dbg op=apitrace 可以在已审批、已接管的 x64dbg 进程中记录导入 API 调用、参数、线程和返回地址。
• 增强 CPU 内存写入与代码版本轨迹，用于分析自修改代码和阶段变化。

5. 网络分析增强

• ig5_capture action=correlate 可以将已保存的 HTTP 交换与本地样本进行离线对应。
• 支持正文哈希同一性，以及 URL、请求头、网络 API 字符串的文件偏移匹配。

6. VM 与去混淆研究增强

• 加入代码 epoch、阶段上下文、VM 角色与实例、固定函数合同和有限验证。
• 增加 CFF 控制流覆盖层与状态分析。
• 增加位向量候选、独立验证器和验证回执。

版本与审查说明

• 插件包、DSH 元数据和 ig5_profile 版本均为 1.3.0；实现标识为 20261026-release-1.3.0。
• Core 8、Full 43、13 个审批门、既有预算和能力限制保持不变。
• 本版本包含额外发行包载荷拒绝、CPU 写轨迹和 P9 匹配截断漏报修复，以及所有者明确授权的代理复审与五项契约接受记录。详见授权代理审查。旧报告及历史 Full 40/41 计数保留原样。
• 继续复用经过固定摘要验证的 1.0.0 原生运行时供体。本次仅在明确的兼容版本集合中加入 1.3.0，不改写供体描述符、发行资产、桥或库存 pins。
• 1.3.0 继续执行既有采集、trace 和 1.2.0 核心模块缺件检查，并要求本版本说明文件。
• 本机 DSH 自动批准不等同于人工审阅。商业后端、其他架构或客体、真实恶意样本，以及真实 VM 或业务恢复仍受原有证据边界约束。

最终版本绑定增量中，index.js 仅更新版本常量，implementation_info.js 仅更新实现标识；该增量复审承接既有授权台账。测试、打包、安装、重载和真实模型核验结果记录在工作区 _research/ig5-release-1.3.0-20261026/，未取得相应证据的项目不宣称成功。

工作台 client.js 的头部版本与显示版本同步为 1.3.0；最终版本文字增量的独立 client 回归通过。HARNESS_PLUGIN 入口同步标记，并将当前工具分类校正为 Full 43、Core 8、13 个审批门，历史验收文档保持不变。