设计本地 AI 模型信息页

直接回答

本地模型信息页应报告应用实际能观察到的当前工件信息，并明确标注无法证明的内容。配置身份、本地文件证据、校验状态和运行时状态应分开显示。数据有来源时可显示模型名称及不可变版本或清单引用；展示文件体积时要交代数值来源和具体含义；摘要缺失、未执行、校验不匹配和已匹配可信期望值是不同状态；ModelManager 的未下载、下载中、已下载、加载中、就绪和错误也应分别展示。只写“Gemma”等家族名，不足以标识设备上的实际字节。 信息页不是模型选择器。选择器问用户希望使用哪一个选项；信息页解释当前选中或已安装项有什么证据。它也不是校验器，显示一个绿色徽章并不会自动完成哈希、格式或运行时检查。每个字段都要绑定实际读取它的来源；有帮助时附版本或读取时间。数据无法获取时写“未提供”或“未检查”，而不是猜测设备兼容。只有针对具体设备、模型、运行时和任务的测试矩阵才能支持兼容标记；文件体积或架构本身推不出某台手机能否加载。 项目当前 ModelConfig 可以说明来源追踪的重要性：事实卡记录一个 E2B 配置固定到了 Hugging Face commit 并有期望字节数，同时记录 SHA-256 配置字段为空。这个期望长度只能用于描述相应代码快照的配置值，不能说成公开 Cove APK 的实测大小、用户设备文件与远端模型相同的证据，也不能说成摘要校验成功。不要把这些事实扩展到其他变体、其他安装来源或未来配置。屏幕应写“配置中的期望大小”，只有实际文件已经被读取并按清晰规则比较之后，才能另列“观察到的文件长度”。 配置来源与本地文件要用不同字段。配置证据可包括模型家族、当前选择的变体、固定仓库版本、文件名和期望长度；本地证据可包括文件是否存在、读取到的实际字节数、可靠时的修改时间、存储位置以及应用是否运行过配置检查。运行时状态又是第三类：文件存在也可能无法读取、仍在下载、等待初始化、加载失败，或仅在某条经过测试的路径就绪。不能从其中一个状态暗示另一个。“已下载”不等于“已校验”，“已校验”不等于“已加载”，“已加载”也不是基准测试成绩。 信息页要围绕用户可以安全采取的下一步。可以解释当前状态，并在应用真实实现时链接到重试或修复流程；可以生成不含机密的支持摘要，包括应用构建标识、模型配置版本、变体、预期和观察到的字节数、摘要是否存在、生命周期状态和不敏感的错误类别。不能包含带签名的下载地址、授权头、提示词、转录文本或私人文件内容。不同操作归属不同流程：换用其他变体属于选择器；删除模型属于需说明数据范围的删除流程；重新检查摘要则必须由真正的校验器完成。 避免把估算显示成事实。如果配置长度还是占位值，应注明占位或避免使用确定语气。如果模型保存在应用专属目录，可显示概括位置，不必暴露容易过期或泄漏实现细节的绝对路径。如果使用可移除卷，要指出卷可能不可用，并且只有在程序真实实现时才提供恢复操作。摘要缺失时，应说没有配置可信期望摘要；不能根据模型标题或下载域名显示“安全”“正版”或“已验证”。所有产品状态只反映仓库快照，不能推出当前公开发行或某个用户已经安装了相同工件。

诊断模型相关支持请求

应用更新后离线任务不可用；设备可能没有模型、版本较旧、文件不完整、缺少摘要或在运行时加载失败。

决策

分别显示代码配置事实、本机观察和运行状态；缺少证据时显示未知，不显示兼容暗示。

预期结果

支持人员能找到经过测试的下一步，不把期望大小、文件存在、摘要校验、加载状态或发行状态混为一谈。

需要收集的证据

只有将以下证据与同一模型文件和测试运行关联起来，结论才可复核：

• 事实卡 COVE-MODEL-01、COVE-MODEL-02、COVE-LIFECYCLE-01；ModelConfig 与 ModelManager 当前字段和状态。
• Android 应用专属存储与 PackageManager 官方 API 文档。

收到完整字节流还不够；最终落盘、完整性、运行时加载和恢复路径也必须验证。

实施流程

Connect the artifact revision and format with the file length and digest state, and join both with the installed and load status indicators. Record each item, compare them against one another, and ensure that no claim moves beyond what the recorded fields collectively confirm.

1. 追踪字段归属. 把名称、变体、固定版本、期望字节数、期望摘要、本地文件观察和生命周期状态分别绑定到配置、清单、文件查询或状态所有者，并标明它是配置、测量、推导还是未知。
2. 分开远端与本机证据. 将配置中远端模型的期望长度与本机文件的实际长度分别呈现。不能用清单里的配置值覆盖用户设备上实际读取到的字节数。
3. 准确表达验证. 把摘要缺失、未运行、未匹配和与可信期望值匹配表示为不同状态。存在文件、扩展名正确或传输结束均不代表完整性或真实性已验证。
4. 关联安全操作. 仅在真实实现且测试过时才链接选择、重试、修复或删除流程，检查它们对活动模型与用户数据的作用。只读信息视图不得改变已选模型。
5. 生成脱敏支持摘要. 可以包含构建标识、配置版本、变体、预期及观察到的长度、状态和安全错误类别。排除提示词、文档、签名网址、授权数据和私人 URI。
6. 覆盖缺失状态. 测试模型不存在、版本过旧、下载不完整、摘要为空、管理器报错、加载失败和成功，确认标签反映实际读取结果，不凭配置推断手机兼容。

验收标准

• 每项展示字段都按其证据来源标成配置、观察、验证、推导或未知。
• 期望摘要缺失时表示为证据不足，不显示校验通过或真实性徽章。
• 下载、校验、加载、就绪与错误状态各自独立；信息页不会修改模型选择。
• 支持记录不泄露提示词、用户内容、授权头、签名链接或私有 URI。

决策对照表

需要避免的失败模式

• 不把配置期望大小伪装成本地文件长度，不把空摘要表示成验证通过。
• 不在只读信息页里切换模型，也不从文件名或模型家族名称猜设备支持。

Avoid displaying the family name as if it were the complete identity, and do not present unverified support badges. Restrict any wording suitable for a release to what the recorded evidence items establish, so the screen reflects only the items present in the evidence set.

最小复现记录

发布检查表

• ☐ 主要搜索问题已回答，且没有未经支持的数字。
• ☐ 所有模型文件和运行时版本均已固定。
• ☐ 代表性任务和失败处理策略均有说明。
• ☐ 生命周期、取消、清理和回退均已测试。
• ☐ 用户内容与网络边界均有说明。
• ☐ 结论只适用于被记录的配置。
• ☐ 新增测试结果时链接到原始方法或证据。

来源与相关证据

• Cove Gemma 4 model page
• Android 应用专属存储
• Android PackageManager API

中文部署与排错专题见。奇连 AI 端侧专题。

常见问题