#!/bin/sh
# DF-3055 evidence pack — build (deterministic harness transcription)
# dirfs is vkernel-only (sys/platform/vkernel64/conf/files:45-47): not compiled
# into the guest host kernel, so the accepted proof is a faithful transcription
# (same precedent as DF-0806/DF-0807).  Two TUs mirror the kernel's split
# between dirfs_vnops.c and the kqueue machinery (kern_event.c/event.h).
set -e
cc -O2 -Wall -o harness harness.c knote.c
echo "build OK: ./harness"