受控固件 GPU 交接检查
零 NuGet .NET 10 项目,直接链接生产 NativeGpuFirmware、GpuContracts、GpuHardwareBridge 和 Contracts。只在私有 NativeMemory 中构造 EFI SystemTable、配置数组、Limine HHDM/内存表和完整 1440 字节 GPU 报告;独立 CRC32 生成器由标准向量校验。成功路径使用真实 DecodeBarDescriptor、DecodeConfiguration、Apply 和 ApplyResourceSize。
dotnet run --project Tools/IndependentKernel/GpuFirmwareChecks/GpuFirmwareChecks.csproj -c Release --artifacts-path build/Gpu/GpuFirmwareArtifacts
验证正确 BAR 尺寸的传递,以及 CRC/字段、重复 GUID/BDF、内存种类/覆盖/溢出、GOP 区域冲突、live PCI 不匹配、ReBAR 尺寸冲突的拒绝。每个场景只通过测试反射清除生产 _initialized/_report,不修改生产 API。硬件依赖会抛错,DllImport resolver 拒绝任何原生库调用,防止测试误触 MMIO/PCI/串口。
唯一结果保存在 build/Gpu/GpuFirmwareChecks-*,绑定全部链接生产文件与检查源码 SHA256。此处通过只证明生产解析器处理受控字节的行为,不证明 UEFI 协议调用、实体资源发现、GPU 初始化或 CUDA 执行成功。