#!/bin/sh
# DF-0733 build script — builds the deterministic userspace harness (PRIMARY proof)
# in two modes: BUGGY (faithful transcription) and FIXED (ACL_LOCK around _find_acl).
#
# The real-kernel object-level harness (harness_mod.ko + trigger.c) is built
# separately as root: see harness_mod.c header + Makefile.
set -e
cd "$(dirname "$0")"
echo "[build] BUGGY transcription"
cc -O2 -pthread -Wall -Wextra -o harness harness.c
echo "[build] FIXED transcription (ACL_LOCK around _find_acl)"
cc -O2 -pthread -Wall -Wextra -DFIXED -o harness_fixed harness.c
echo "[build] userspace trigger (drives /dev/df0733)"
cc -O2 -pthread -Wall -o trigger trigger.c
echo "[build] OK"
ls -l harness harness_fixed trigger