# DF-5587 — PoC pack

## Build (on the DragonFly guest)

```
sh build.sh                 # cc -static -O2 -o coresig coresig.c
cc -static -O2 -o corefixed corefixed.c   # fix-semantics demo
```

## Run

```
./coresig                   # baseline: silent unbounded recursion death
./corefixed                 # with fix.diff guard semantics
```

Expected (baseline, 3/3 deterministic):

```
child wait status: exited=0 exit=-1 signaled=1 termsig=4 core=128
RECURSION_DEPTH=307833
SILENT_DEATH_CONFIRMED: ...
RC=0
```

Expected (fix semantics):

```
vkernel: recursive fault in exc_segfault
child: signaled=1 termsig=11 core=128 handler_entries=2
FIX_SEMANTICS_OK: honest SIGSEGV death after 2 entries with diagnostic
RC=0
```

## Files

- `coresig.c` — baseline reproducer (exact init_exceptions install flags)
- `corefixed.c` — fix-semantics demo (exc_nesting guard)
- `build.sh` / `run.sh`
- `build_and_run.log` — full build + 3× runs (untrimmed)
- `fix_semantics.log` — corefixed run
- `fix.diff` — exc_segfault re-entrancy guard + honest death
- `verdict.json`, `manifest.json`, `VERDICT.md`