codezxsWIN/Aura-Autonomous-Incident-Response

# Aura **在有证据证明之前，可信的自主修复。**     Aura 是一个严峻运维承诺的本地概念验证：一个自主系统可以采取行动，但在有独立证据表明受影响的业务流程已恢复正常之前，它不能宣布事件已解决。 模型本身不选择基础设施操作。这些操作由确定性策略决定。不安全的路径会执行失败关闭，恢复声明受验证机制拦截，并且每个终止状态都会收到一份防篡改的证据凭证。 ## 为什么选择 Aura 大多数修复演示在工具返回 `success` 时就停止了。而 Aura 会测试实际结果： ``` observed HTTP 503 -> ordinary browser telemetry -> deterministic incident decision -> policy-bounded mutation -> authenticated HTTP 200 recovery probe -> independent customer retry HTTP 200 -> verified evidence receipt ``` 失败的请求、变更、探测和重试都使用相同的租户作用域内本地结账状态。如果操作报告成功，但服务仍然处于不健康状态，Aura 会触发升级并保留恢复声明。 ## 快速开始 ### 环境要求 - Python 3.12 - Windows PowerShell（用于执行下方的命令） - Docker Desktop（仅用于可选的 Redis 和 Neo4j 拓扑） ### 本地运行 ``` python -m venv .venv .\.venv\Scripts\python.exe -m pip install -r backend\requirements.txt .\.venv\Scripts\python.exe -m uvicorn app.main:app --app-dir backend --host 127.0.0.1 --port 8000 ``` 打开 并选择 **Run guided demo**。 演示流程在一个连续的事件中保留了四个证据阶段： 1. 一个真实的本地结账请求返回了实测的 `HTTP 503`。 2. 确定性策略应用了一个有边界的变更，并验证了 `HTTP 200`。 3. 一个单独的客户重试返回了 `HTTP 200`。 4. 服务器重新计算并验证了恢复凭证的哈希链。 **Stop run** 控件可在不声明恢复的情况下中止进行中的请求。在完成后，依然可以通过 **Open receipt** 查看凭证。 ### 运行可执行验证 ``` .\.venv\Scripts\python.exe run_live_telemetry_scenario.py .\.venv\Scripts\python.exe run_escalation_scenario.py .\.venv\Scripts\python.exe run_demo_scenario.py ``` 当缺少必需的不变量时，每个脚本都会以非零状态退出。 ## 哪些是真实的 - 浏览器点击、DOM 变更、请求状态和耗时都会进入常规的遥测 API。 - 发生故障的结账执行了一个真实的同源 HTTP 请求，并返回了一个延迟的 `503`。 - 检测、图遍历、策略评估、变更、验证、升级、重放和凭证验证均按实现的真实逻辑执行。 - 该操作更改了公共结账路由读取的同一个有边界的租户状态。 - 验证器通过经过身份验证的 FastAPI 请求处理到达该路由。 - 一个新的客户重试在恢复后再次执行该公共路由。 - 一个健康的请求保持在阈值以下，不会开启任何事件。 ## 哪些是演示数据 - 客户身份、结账产品、服务拓扑和收入数值 - 特意注入的本地依赖故障 - 本地模式下的 Redis 和 Kubernetes 效果 - Jira 风格的工单派发 - 本地演示凭据 Aura **不**声明实现了生产部署、生产级 Kubernetes 访问、持久化的企业身份或多区域可靠性。 ## 架构 ``` flowchart LR Browser[Browser checkout] -->|observed telemetry| API[FastAPI ingress] API --> Sentry[Sentry] Sentry -->|threshold reached| Graph[LangGraph supervisor] Graph --> Diagnose[Diagnostician] Diagnose --> Impact[Architect] Impact --> Policy[Deterministic policy] Policy --> Action[Bounded action] Action --> Probe{Authenticated probe} Probe -->|healthy| Retry[Customer retry] Probe -->|unhealthy| Escalate[Human escalation] Retry --> Receipt[Evidence receipt] ``` 运行时完全基于 Python。FastAPI 提供原生的 HTML、CSS、JavaScript、Canvas 和 SVG，因此仪表板没有 npm 依赖项或前端构建步骤。 ## 安全不变量 - 模型可以编写有边界的客户和事件文本；但它们不能选择或批准操作。 - 每一次变更都必须通过已注册的工具策略。 - 未知的工具和无效的参数会导致失败关闭。 - 缓存操作仅限于 `checkout_session:*`。 - 回滚需要与不可变的计划摘要绑定的明确人工批准。 - 仅有工具确认不能将事件解决。 - 恢复通知需要健康的独立观察结果。 - 失败的修复只会进行一次有边界的重试，然后触发升级。 - 租户/会话窗口、运行时、队列、历史记录、请求大小和幂等状态均受到严格边界限制。 - 每个终止的事件都会收到一份确定性证据凭证。 ## 项目布局 ``` backend/app/ FastAPI API, agents, policy, evidence, and runtime backend/static/ Native dashboard HTML, CSS, and JavaScript backend/tests/ Unit, integration, safety, and truth tests docs/ Architecture, verification, and demo documentation run_*_scenario.py Executable end-to-end proof scripts docker-compose.yml Optional Redis, Neo4j, API, and tool-gateway topology ``` ## 测试 ``` .\.venv\Scripts\python.exe -m pytest backend\tests -q ``` 当前验证结果：**122 项通过**，带有一个上游 Starlette `TestClient` 的弃用警告。 两个最重要的回归测试证明了： - 在精确的 `0.800` 故障阈值处测得的五秒 `HTTP 503` 会进入诊断阶段，而不依赖于偶然的 DOM 计时。 - 一个成功工具响应伴随不健康的独立探测时会触发升级，而不是产生虚假的恢复声明。 ## 可选的 Docker 拓扑 ``` Copy-Item .env.example .env docker compose up --build ``` 这将启动 Aura、Redis Streams、Neo4j 和隔离的模拟基础设施网关。项目中包含了 Docker 配置，但最终的本地验证报告并未声明执行了 Docker 集成，因为在此次运行期间无法使用 Docker Desktop。 ## 文档 | 文档 | 用途 | | --- | --- | | [文档索引](docs/README.md) | 用户、运维、架构和证据文档导航图 | | [架构](docs/architecture.md) | 状态、方程式、图流和故障语义 | | [演示手册](docs/demo-runbook.md) | 简明的评审与演示流程 | | [验证报告](docs/verification-report.md) | 执行的证据与遗留的限制 | | [我们的构建内容](WHAT_WE_BUILT.md) | 通俗易懂的范围与诚实的边界 | | [贡献指南](CONTRIBUTING.md) | 开发工作流和 Pull Request 期望 | | [安全性](SECURITY.md) | 漏洞报告与演示安全边界 | | [支持](SUPPORT.md) | 寻求帮助的途径以及应提供的诊断数据 | 在 Aura 运行期间，可通过 访问交互式 API 文档。 ## 项目状态 Aura 是一个经过测试的本地信任证明，而不是一个生产级 SRE 平台。要在生产环境中采用，仍需要企业级身份验证、受管理的密钥、持久化存储、真实的基础设施适配器、部署加固、负载测试和可靠性验证。 ## 许可证 基于 [MIT 许可证](LICENSE) 发布。

标签：AIOps, AV绕过, FastAPI, Python, 搜索引擎查询, 无后门, 智能运维, 根因分析, 模块化设计, 自动化修复, 请求拦截, 逆向工具