#!/bin/sh
# DF-1040 harness run — executes the userspace logic harness.
# Demonstrates that a card-supplied longlink/MFC address of 0xFFFFFFFF
# produces a wild bus_space_read_1 byte offset of 0x1FFFFFFFE against a
# 4096-byte mapping (the DF-1040 primitive), and that fix.diff rejects it.
#
# NOTE: This harness proves the offset arithmetic at the object level.
# A real kernel panic requires PCMCIA bridge hardware (a 16-bit PC Card or
# CardBus card with malicious CIS) which this KVM guest does not have.
# See VERDICT.md for the full source-level trace and fix validation.
set -e
cd "$(dirname "$0")"
./cis_oob_harness