# DF-3275 -- verification pack

**Method:** Code-line analysis + attempted live reproduction
**Status:** NOT REPRODUCED | impact: none | confidence: likely

## What this is
The PAP/CHAP compares are verbatim early-exit bcmp (4330-4336 / 4069-4071) - the code property is certain - but the timing oracle could NOT be measured on this shared-KVM guest: rejection time for a 16-byte compare is ~1 cycle regardless of prefix (memcmp differences below scheduler/clock noise). No remote timing channel demonstrated; treat as hardening.

## Build
```
cc -O -o <prog> <prog>.c   (on the guest)
```

## Run
```
(no arg)
```
(success criterion: see VERDICT.md)

## Evidence
misc3.log DF-3275 (df3275 timing table: ~0.9-1.4 cycles/reject, non-monotone)

Kernel references: sys/net/sppp/if_spppsubr.c:4330-4336, sys/net/sppp/if_spppsubr.c:4069-4071