docs: redesign NOVA repository homepage

Author: binzi1989

README.md

@@ -1,56 +1,73 @@
-# NOVA AgentOS
+<p align="center">
+  <img src="assets/branding/nova-github-banner.svg" alt="NOVA AgentOS" width="100%" />
+</p>
 
-![NOVA icon](assets/branding/nova-agentos-icon-concept-v1.png)
+<p align="center">
+  <strong>把目标变成可验证的成果，而不只是生成一段回答。</strong>
+</p>
 
-NOVA 是一个本地优先、证据优先、由用户控制的桌面 AgentOS。它不只生成回答，而是把目标转换为可执行任务，在明确的工作区、权限和预算边界内调用模型与工具，并用真实文件、测试结果和可追溯证据判断任务是否完成。
+<p align="center">
+  本地优先 · 证据优先 · 用户控制 · 可扩展桌面执行
+</p>
 
-> 当前版本：`1.0.0`
-> 当前状态：首个 1.0 桌面基线。安装包未签名，自动更新默认关闭。
+<p align="center">
+  <a href="https://github.com/binzi1989/Nova/actions/workflows/ci.yml"><img alt="CI" src="https://github.com/binzi1989/Nova/actions/workflows/ci.yml/badge.svg" /></a>
+  <a href="https://github.com/binzi1989/Nova/releases"><img alt="Release" src="https://img.shields.io/github/v/release/binzi1989/Nova?include_prereleases&label=release" /></a>
+  <img alt="Windows" src="https://img.shields.io/badge/Windows-10%2F11-2f3337" />
+  <img alt="macOS" src="https://img.shields.io/badge/macOS-13%2B-2f3337" />
+  <img alt=".NET" src="https://img.shields.io/badge/.NET-8-512BD4" />
+  <img alt="Electron" src="https://img.shields.io/badge/Electron-React-47848F" />
+</p>
 
-## 为什么需要 NOVA
+> [!IMPORTANT]
+> 当前稳定基线为 `1.0.3`。安装包尚未签名，自动更新默认关闭；最新可下载版本请以 [GitHub Releases](https://github.com/binzi1989/Nova/releases) 为准。
 
-传统 AI 助手经常停留在“给出代码或建议”，但没有解决以下问题：
+## NOVA 是什么
 
-- 是否真的创建或修改了文件；
-- 是否运行了构建与测试；
-- 多 Agent 是否越权或重复消耗预算；
-- 应用崩溃后能否从安全点继续；
-- 工作区变化后，旧证据是否仍然有效；
-- 用户是否能看见任务计划、权限、状态和交付物。
+NOVA 是一款面向 PC 的桌面 AgentOS。它把用户给出的目标编排为任务计划，在明确的工作区、权限和预算边界内调用模型、工具与子 Agent，最终用真实文件、构建测试和证据账本判断任务是否完成。
 
-NOVA 把这些问题统一到一条执行链：
+它不是“把聊天窗口做得更复杂”，而是在补齐 AI 从回答到交付之间缺失的执行层。
 
-```text
-目标
-  → Mission Charter
-  → 任务图
-  → 权限与预算治理
-  → 模型 / 工具 / Agent 执行
-  → 独立验证
-  → PROVEN / PARTIAL / BLOCKED
-```
+| 普通 AI 对话 | NOVA AgentOS |
+|---|---|
+| 输出文字或代码片段 | 在授权工作区中真实创建、修改并验证文件 |
+| 对执行过程缺少统一真值 | 计划、权限、预算、进度与交付来自同一任务状态 |
+| 模型声称“已经完成” | 通过 Proof-of-Done 给出 `PROVEN` / `PARTIAL` / `BLOCKED` |
+| 能力被单一模型或封闭工具链限制 | 支持多模型、MCP、Skills、SSH 与自定义端点 |
+| 中断后容易丢失工作 | 保存检查点、上下文、证据与可恢复状态 |
+
+## 核心能力
+
+- **真实执行**：受控文件读写、Patch、搜索、构建、测试和有限命令执行。
+- **多轮任务脉络**：Threadspace 保存意图、附件、关键上下文、任务计划与历史成果。
+- **多模型运行时**：支持 OpenAI、DeepSeek、Kimi、Ollama 及 OpenAI-compatible 自定义端点。
+- **Agent 协作**：Agent Mesh、并行研究、隔离 Worktree 候选方案与独立 Council 审查。
+- **权限与预算治理**：低风险操作可按轮合并授权，高风险操作逐次确认，预算在安全点收口。
+- **可信交付**：交付物、验证结果、证据来源和未完成边界在同一结果页呈现。
+- **恢复能力**：任务暂停、取消、归档、崩溃恢复和副作用幂等。
+- **扩展坞**：MCP、Skills、SSH、云开发、自定义模型与组件接口统一治理。
 
-## 当前能力
+## 一次任务如何完成
+
+```mermaid
+flowchart LR
+    Goal["用户目标"] --> Charter["Mission Charter"]
+    Charter --> Plan["可见任务计划"]
+    Plan --> Gate["权限与预算"]
+    Gate --> Execute["模型 / 工具 / Agent 执行"]
+    Execute --> Verify["独立验证"]
+    Verify --> Result["PROVEN / PARTIAL / BLOCKED"]
+```
 
-- 全屏多轮 Threadspace，支持 Markdown、代码块、表格、附件与交互选项；
-- Ask、Plan、Build、Autopilot、Goal 五种任务模式；
-- OpenAI、DeepSeek、Kimi、Ollama 与 OpenAI-compatible 自定义端点；
-- 可选双模型复核：主模型执行，另一不同来源模型以全新只读上下文独立审查；
-- 受控文件读写、搜索、Patch、构建、测试和有限命令执行；
-- MCP stdio / Streamable HTTP、Skills、SSH 与云开发扩展入口；
-- Agent Mesh、并行研究、Worktree Tournament 与独立 Council 审查；
-- Mission Charter、Proof-of-Done、证据账本和状态真值；
-- Electron 可信交付门：需要改工程却没有真实写入或验证时标记 PARTIAL，不冒充完成；
-- 持久任务、归档、暂停、取消、安全恢复与副作用幂等；
-- 插件式自进化实验：默认关闭、预算受限、不暴露或修改核心源码。
+NOVA 不把“过程很热闹”当成成功。需要修改工程却没有真实落盘，或没有足够验证证据时，任务不会被标记为完整交付。
 
-## 架构
+## 技术架构
 
 ```mermaid
 flowchart LR
-    UI["Electron / React Desktop Shell"]
+    UI["Electron + React Desktop"]
     Bridge[".NET 8 AgentOS Bridge"]
-    Kernel["AgentOS Kernel & Supervisor"]
+    Kernel["Kernel + Supervisor"]
     Fabric["Model / Tool / MCP / Skill Fabric"]
     Truth["Workspace / Journal / Evidence"]
 
@@ -59,116 +76,97 @@ flowchart LR
     Fabric --> Truth
 ```
 
-当前 Electron 是 Windows 与 macOS 共用的主要交互壳，复用同一套跨平台 `.NET 8` AgentOS Bridge/Core。仓库仍保留成熟的 WPF Windows 实现和早期 Avalonia Mac Preview，作为迁移与回归参考。
+Electron 是 Windows 与 macOS 共用的主要交互壳，复用跨平台 `.NET 8` AgentOS Bridge/Core。仓库保留 WPF Windows 实现与早期 Avalonia Mac Preview，作为迁移和回归参考。
 
 ## 快速开始
 
-### 环境
+### 环境要求
 
 - Windows 10/11 x64，或 macOS 13+
 - .NET 8 SDK
 - Node.js 20+
 - PowerShell 7 或 Windows PowerShell 5.1
 
-### 构建 Electron 桌面壳
+### 本地构建
 
 ```powershell
-cd NovaDesktop.Electron
+git clone https://github.com/binzi1989/Nova.git
+cd Nova/NovaDesktop.Electron
 npm ci
 npm run build
 ```
 
-在 macOS 上构建 Apple Silicon 与 Intel 发布包：
-
-```bash
-cd NovaDesktop.Electron
-npm ci
-npm run package:mac
-```
-
 ### 启动开发环境
 
 ```powershell
 cd NovaDesktop.Electron
 npm run dev
 ```
 
-### 运行 AgentOS 自动烟雾测试
+### 验证 AgentOS 与 Bridge
 
 ```powershell
 dotnet run --project NovaDesktop.SmokeTests/NovaDesktop.SmokeTests.csproj
-```
 
-### 验证 Electron 与 .NET Bridge
-
-```powershell
 cd NovaDesktop.Electron
 npm run smoke:bridge
 ```
 
+macOS 构建说明见 [Mac 路线图](NOVA-MAC-ROADMAP.md)。
+
 ## 模型与密钥
 
-NOVA 不在仓库中保存模型密钥。桌面端支持仅在当前进程内存中使用密钥，也可由 Windows Credential Manager 或以下环境变量提供：
+NOVA 不在仓库中保存模型密钥。桌面端可仅在当前进程内存中使用密钥，也支持 Windows Credential Manager 和以下环境变量：
 
 - `OPENAI_API_KEY`
 - `DEEPSEEK_API_KEY`
 - `MOONSHOT_API_KEY`
 
-Ollama 与自定义兼容端点可配置 Base URL。本地和局域网地址允许 HTTP；远程端点默认要求 HTTPS。
-
-## 安全边界
-
-- 所有写入必须位于用户选择的工作区内；
-- 低风险同类操作可以按轮次合并授权，高风险操作必须逐次确认；
-- MCP 启动、桌面控制、计划任务和额外模型成本具有独立审批边界；
-- Agent Mesh 子 Agent 默认只读，并在隔离 Worktree 中产生候选 Patch；
-- 日志、崩溃报告和证据账本会对常见 API Key 与 Bearer Token 模式脱敏；
-- 达到预算上限时，任务在下一个安全点停止，不把预算耗尽伪装成完成。
-
-更详细的安全报告方式见 [SECURITY.md](SECURITY.md)。
+Ollama 与兼容端点可以配置 Base URL。本地和局域网地址允许 HTTP；远程端点默认要求 HTTPS。
 
 ## 平台状态
 
 | 平台 | 状态 | 说明 |
 |---|---|---|
 | Windows Electron x64 | 主体验 Preview | 连接 .NET 8 AgentOS Bridge/Core |
-| Windows WPF x64 | 成熟参考实现 | 功能较完整，保留用于服务与迁移验证 |
-| macOS Electron arm64 / x64 | 同步体验 Preview | 与 Windows 共用 Electron UI 和 AgentOS Bridge/Core；未签名、未公证，Windows 专属桌面控制能力除外 |
+| Windows WPF x64 | 成熟参考实现 | 保留用于功能迁移与回归验证 |
+| macOS Electron arm64 / x64 | 同步体验 Preview | 共用 Electron UI 与核心；尚未签名、公证 |
 
-## 项目结构
+## 安全与可信边界
 
-| 目录 | 作用 |
-|---|---|
-| `NovaDesktop.Electron` | Electron / React 桌面壳 |
-| `Nova.AgentOS.Bridge` | Electron 与 .NET AgentOS IPC 桥 |
-| `NovaDesktop` | WPF 壳与主要服务实现 |
-| `Nova.AgentOS` | Kernel、Supervisor、任务图和治理模型 |
-| `Nova.Core` | 跨平台基础模型与 Provider 协议 |
-| `NovaDesktop.Mac` | 早期 Avalonia Mac Preview，保留用于迁移参考 |
-| `NovaDesktop.SmokeTests` | AgentOS 自动烟雾测试 |
-| `ga` / `tools` | GA 基准、验证和发布工具 |
-
-## 1.0 发布边界
+- 所有写入必须位于用户选择的工作区内；
+- MCP 启动、桌面控制、计划任务和额外模型成本具有独立审批边界；
+- Agent Mesh 子 Agent 默认只读，在隔离 Worktree 中产出候选 Patch；
+- 日志、崩溃报告和证据账本对常见 API Key 与 Bearer Token 模式脱敏；
+- 达到预算上限时在安全点停止，不把预算耗尽伪装成完成。
 
-1.0 不以功能数量为准，而以“每次显示完成时，都能找到真实文件、验证结果和可追溯证据”为准。当前剩余主要阻断项：
+安全问题请遵循 [Security Policy](SECURITY.md)，不要在公开 Issue 中提交密钥、私有工作区内容或可直接利用的漏洞细节。
 
-- 30 项固定任务各运行 3 次的真实端到端基准；
-- Truthful UX、键盘可访问性、最大化与高 DPI 人工验收；
-- Windows 主程序与安装器 Authenticode 签名；
-- 真实 HTTPS 更新源、SHA-256 和签名发布清单；
-- Electron / WPF 正式主线与 Mac 功能对等范围冻结。
+## 文档导航
 
-参见：
+| 文档 | 用途 |
+|---|---|
+| [1.0 范围冻结](NOVA-1.0-SCOPE-FREEZE.md) | 正式发布边界 |
+| [1.0 GA Readiness](NOVA-1.0-GA-READINESS.md) | 发布阻断项 |
+| [竞争差距分析](NOVA-1.0-COMPETITIVE-GAP.md) | 与成熟 Agent 产品的客观差距 |
+| [Changelog](CHANGELOG.md) | 版本变化记录 |
 
-- [NOVA 1.0 范围冻结](NOVA-1.0-SCOPE-FREEZE.md)
-- [NOVA 1.0 GA Readiness](NOVA-1.0-GA-READINESS.md)
-- [NOVA 1.0 竞争差距](NOVA-1.0-COMPETITIVE-GAP.md)
-- [Mac 路线图](NOVA-MAC-ROADMAP.md)
+## 参与项目
 
-## 发布包
+欢迎提交可复现缺陷、体验反馈和边界清晰的改进建议。请先阅读 [CONTRIBUTING.md](CONTRIBUTING.md)。当前阶段优先处理：
 
-二进制安装包不会提交到 Git 历史。每个可下载版本通过 GitHub Releases 发布，并附带 SHA-256、平台、签名状态和已知限制。
+1. 结果真实性与工程完整性；
+2. 任务卡住、恢复失败和预算误判；
+3. Windows / macOS 功能对等与可访问性；
+4. MCP、Skills 与自定义模型扩展的稳定性。
 
 ## 许可证
 
 当前仓库尚未声明开源许可证。在项目所有者明确选择许可证之前，代码默认保留全部权利。
+
+---
+
+<p align="center">
+  <strong>NOVA AgentOS</strong><br />
+  Make the work observable. Make the result provable.
+</p>