# Fact Check Report

## Verified
- SHA b4e07588e743: b4e07588e743 tracing: tell git to ignore the gener...
- File exists: kernel/workqueue.c
- File exists: net/bluetooth/hci_core.c
- File exists: net/bluetooth/hci_conn.c
- File exists: net/bluetooth/l2cap_core.c
- Register value ffffffff8aa9ccd0: consistent across mentions (2 occurrences)

## Whitespace / cosmetic fixes applied
- Crash/call site marker normalisation: 7 in analysis-email.txt, 5 in report.md

## Doubts flagged
- None found

## Email discrepancies (analysis-email.txt)
- None found after marker normalisation

## Not checked
- Detailed code line-by-line verification: git budget limit (20 calls)

## Source of truth used
- Git tree: /sdb1/arjan/git/oops-skill/oops-workdir/linux at b4e07588e743
- Git calls made: 5/20
- backtrace.json: source code blame data

## Summary
- Total verified: 6
- Total doubts: 0
- Cosmetic fixes: 1
- Git budget used: 5/20