SkyForge

SkyForge（天锻）——AI × Web3 驱动的航空安全软件工程平台，Industrial 5.0 下工业软件可信度的答案。

问题：航空机载软件是工业安全等级最高的软件（DO-178C DAL-A，故障后果=灾难性），但一套适航证据（需求→编码→验证→追溯）的生成与审计动辄数月、成本数百万，人才稀缺、流程靠人肉，这正是工业 5.0 亟待解决的核心痛点：让关键工业软件的生产更智能、更安全、更可审计。

方案：SkyForge 以六层引擎架构（协议层→LLM 客户端→SIL/PIL/HIL 仿真验证→Z3/CBMC 形式化验证链→8+ 多 Agent 协同→Pipeline 编排）把 DO-178C 开发全流程自动化：AI Agent 从需求自动生成代码并自修复至 MISRA-C 零违规，数字孪生故障注入替代昂贵实物台架试验，gcov 真实覆盖率（语句/分支/MC-DC 100%）直接回填合规目标，12 阶段流水线 0 人工干预产出全套适航辅助证据——AI 驱动生产力、减少返工与物理验证成本，即工业 5.0 的可持续与韧性。

链上创新（本次黑客松新增）：EvidenceAnchor 合约将每份验证证据包的 canonical SHA-256 哈希锚定至 Ethereum Sepolia，任何人在链上可核验证据真实性与时间戳，让工业质量数据首次具备不可篡改、全球可审计的信任根——从"组织自证"到"链上公证"，契合 AI × Web3 工业溯源方向。

成果：后端 265/267 + 前端 180/180 测试通过，DAL-A 目标 21/21（满足 15/部分 6），MISRA-C 违规 0 条，覆盖率 100%（gcov 真实数据），证据包 25 条/8 类；开源（MIT）、插件化、完全离线可跑、Docker 一键部署。

市场：面向全球航空电子厂商、适航审查机构与工业安全关键软件开发者（SOTIF/ISO 26262 领域可直接扩展）；从"验证证据上链公证"切入，远期构建工业软件可信追溯基础设施。已获 ChainHack 认证部署（Sepolia: 0xC986…0482），路演后进入军工/航空企业试点洽谈

① 完成 v0.5.0：六层引擎架构（L0-L5）+ 12 Stage PipelineOrchestrator + V1 唯一任务协议（幂等/事件续传/provenance）；② 工具链全部打通：Cppcheck MISRA 扫描 0 违规、Z3 SMT + CBMC 模型检查通过、gcov 覆盖率 100% 并回填 DO-178C OBJ-13/14/15；③ 前端 10 页面 + 3 种执行 Profile（mock/cloud/local）全离线可跑；④ 新增链上证据锚定模块与合约，证据包哈希上链测试网；⑤ CI/CD 修复全部 3 项失败（uv workspace/Biome lint/backend tests），Docker 一键部署。