#!/bin/sh
# DF-DF-3054 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).
set -e
cc -O2 -Wall -o harness harness.c
echo "build OK: ./harness"