build narrative: kernels DFPCI/DFPCIP/DFPCIPF/DFPCIF built on-guest (make -j6 nativekernel; cc 8.3); harness generated by rig/gen.sh from verbatim pci.c extracts (sha256-gated; rig/verbatim.log); fix builds apply rig/fix.diff then rig/gen_fixed.sh

== gen.log ==
verbatim blob sha256 OK: b1f121151eec93e3680206a6ad12e4218fae52018f5e5cab45f519219f64aae0
generated bus/pci/dfpci_harness.c (2014 lines)
KERNCONFs ready: DFPCI (INVARIANTS), DFPCIP (no INVARIANTS)
GEN OK

== verbatim gate ==
VERBATIM CHECK: embedded functions == audit tree (byte-for-byte)

== kernel CFLAGS evidence ==
-O2
-std=gnu11
-fno-strict-overflow
---
--------------------------------------------------------------
>>> Kernel build for DFPCIF completed on Sun Oct 18 20:11:47 UTC 2026
--------------------------------------------------------------