[PROOF CHECKLIST]
1. Claim -> Evidence line -> Pass/Fail.
2. Reproduction command list.
3. Counterexample path.
4. Closure check: no orphan claim.
[PRIMARY REPORT LINKS]
- [case3_deep_hit_trace_report.md](https://github.com/raikrahul/what-happens-when-open-is-called/blob/main/kernel/user/stage3/case3_deep_hit/reports/case3_deep_hit_trace_report.md)
[PRIMARY DMESG LINKS]
- [case3_deep_hit_dmesg.txt](https://github.com/raikrahul/what-happens-when-open-is-called/blob/main/kernel/user/stage3/case3_deep_hit/reports/case3_deep_hit_dmesg.txt)
[SECONDARY PROOF INPUTS]
- worksheet index: [STAGE3_WORKSHEET_INDEX](https://github.com/raikrahul/what-happens-when-open-is-called/blob/main/kernel/user/stage3/planning/STAGE3_WORKSHEET_INDEX.md)
- axiom index: [STAGE3_AXIOM_WORKSHEET_INDEX](https://github.com/raikrahul/what-happens-when-open-is-called/blob/main/kernel/user/stage3/planning/STAGE3_AXIOM_WORKSHEET_INDEX.md)
- hard index: [STAGE3_AXIOM_HARD_WORKSHEET_INDEX](https://github.com/raikrahul/what-happens-when-open-is-called/blob/main/kernel/user/stage3/planning/STAGE3_AXIOM_HARD_WORKSHEET_INDEX.md)
<!-- AUTO-EMBED START -->
[AUTO] case=case3
[USERDIR] kernel/user/stage3/case3_deep_hit
================================================================================
[EMBED] case3_deep_hit_trace_report.md
[SOURCE] kernel/user/stage3/case3_deep_hit/reports/case3_deep_hit_trace_report.md
================================================================================
# Trace Report: case3_deep_hit.c
- Userspace source: `kernel/user/stage3/case3_deep_hit/case3_deep_hit.c`
- Driver source: `kernel/drivers/stage3/case3_deep_hit/trace_case3_deep_hit/trace_case3_deep_hit.c`
- Module: `trace_case3_deep_hit`
- Binary: `kernel/user/stage3/case3_deep_hit/case3_deep_hit`
- Run timestamp: `2026-02-15T23:32:20`
- Final status: `pass_probe_hits`
## Probe Counts
- do_filp_open.entry: 10
- do_filp_open.ret: 10
- __d_alloc.entry: 0
- __d_alloc.ret: 0
## Return Signature Counts
- ERR_PTR(-ENOENT) observed (fffffffffffffffe): 8
- Non-error pointer returns observed: 2
## Commands
make -C kernel/drivers/stage3/case3_deep_hit/trace_case3_deep_hit
kernel/user/stage3/case3_deep_hit/case3_deep_hit
sudo dmesg -C
sudo insmod kernel/drivers/stage3/case3_deep_hit/trace_case3_deep_hit/trace_case3_deep_hit.ko target_comm="case3_deep_hit"
sudo rmmod trace_case3_deep_hit
## Dmesg
`kernel/user/stage3/case3_deep_hit/reports/case3_deep_hit_dmesg.txt`
================================================================================
[EMBED] case3_deep_hit_dmesg.txt
[SOURCE] kernel/user/stage3/case3_deep_hit/reports/case3_deep_hit_dmesg.txt
================================================================================
[38321.393958] [trace_case3_deep_hit] loaded target_comm=case3_deep_hit user=kernel/user/stage3/case3_deep_hit/case3_deep_hit.c
[38321.397150] [trace_case3_deep_hit] do_filp_open.entry pid=182603 comm=case3_deep_hit dfd=4294967196 pathname=ffff8dda0d5e3000 op=ffffd0c940e83e34
[38321.397193] [trace_case3_deep_hit] do_filp_open.ret pid=182603 comm=case3_deep_hit ret=fffffffffffffffe
[38321.397211] [trace_case3_deep_hit] do_filp_open.entry pid=182603 comm=case3_deep_hit dfd=4294967196 pathname=ffff8dda0d5e3000 op=ffffd0c940e83c14
[38321.397226] [trace_case3_deep_hit] do_filp_open.ret pid=182603 comm=case3_deep_hit ret=fffffffffffffffe
[38321.397240] [trace_case3_deep_hit] do_filp_open.entry pid=182603 comm=case3_deep_hit dfd=4294967196 pathname=ffff8dda0d5e3000 op=ffffd0c940e83d24
[38321.397254] [trace_case3_deep_hit] do_filp_open.ret pid=182603 comm=case3_deep_hit ret=fffffffffffffffe
[38321.397273] [trace_case3_deep_hit] do_filp_open.entry pid=182603 comm=case3_deep_hit dfd=4294967196 pathname=ffff8dda0d5e3000 op=ffffd0c940e83ae4
[38321.397283] [trace_case3_deep_hit] do_filp_open.ret pid=182603 comm=case3_deep_hit ret=fffffffffffffffe
[38321.397292] [trace_case3_deep_hit] do_filp_open.entry pid=182603 comm=case3_deep_hit dfd=4294967196 pathname=ffff8dda0d5e3000 op=ffffd0c940e83c84
[38321.397301] [trace_case3_deep_hit] do_filp_open.ret pid=182603 comm=case3_deep_hit ret=fffffffffffffffe
[38321.397310] [trace_case3_deep_hit] do_filp_open.entry pid=182603 comm=case3_deep_hit dfd=4294967196 pathname=ffff8dda0d5e3000 op=ffffd0c940e83c74
[38321.397319] [trace_case3_deep_hit] do_filp_open.ret pid=182603 comm=case3_deep_hit ret=fffffffffffffffe
[38321.397328] [trace_case3_deep_hit] do_filp_open.entry pid=182603 comm=case3_deep_hit dfd=4294967196 pathname=ffff8dda0d5e3000 op=ffffd0c940e83ae4
[38321.397341] [trace_case3_deep_hit] do_filp_open.ret pid=182603 comm=case3_deep_hit ret=ffff8dda04d7c840
[38321.397390] [trace_case3_deep_hit] do_filp_open.entry pid=182603 comm=case3_deep_hit dfd=4294967196 pathname=ffff8dda0d5e3000 op=ffffd0c940e83bf4
[38321.397402] [trace_case3_deep_hit] do_filp_open.ret pid=182603 comm=case3_deep_hit ret=ffff8dda04d7c9c0
[38321.397922] [trace_case3_deep_hit] do_filp_open.entry pid=182603 comm=case3_deep_hit dfd=4294967196 pathname=ffff8dda0d5e3000 op=ffffd0c940e83d04
[38321.397943] [trace_case3_deep_hit] do_filp_open.ret pid=182603 comm=case3_deep_hit ret=fffffffffffffffe
[38321.398020] [trace_case3_deep_hit] do_filp_open.entry pid=182603 comm=case3_deep_hit dfd=4294967196 pathname=ffff8dda0d5e3000 op=ffffd0c940e83b14
[38321.398033] [trace_case3_deep_hit] do_filp_open.ret pid=182603 comm=case3_deep_hit ret=fffffffffffffffe
<!-- AUTO-EMBED END -->