1 files changed, 12 insertions, 1 deletions

diff --git a/CONTEXT.md b/CONTEXT.md
index 196565c..48cb3a4 100644
--- a/CONTEXT.md
+++ b/CONTEXT.md
@@ -132,7 +132,18 @@ progress straight to the framebuffer (the last marker before a hang
 identifies the death site) and pre-shell panics now draw a white-on-red
 `*** PANIC ***` band instead of a silent blank screen, and the shadow
 fallback allocation is panic-proof (try_reserve; a heap OOM degrades
-to no-shadow mode instead of halting).  A future major GUI overhaul
+to no-shadow mode instead of halting); 0.5.6 makes every fault dump
+carry the kernel image base + a stack backtrace (rbp-chain plus a raw
+scan of the stack above the interrupted rsp, filtered to the in-memory
+.text range parsed from the PE headers — so a real-hardware crash can
+be resolved against the PDB offline); 0.5.7 (current) adds a full
+register dump to every fault line (rax..rdi, rbx, r8..r15) and an
+allocator corruption guard: `dealloc` validates the back-pointer at
+`[ptr-8]` (in-heap block, sane size, in-use) and, when the header is
+clobbered, prints `ptr`/`block`/heap range + the memory around the
+block + the live stack chain, writes the crash band + crash.log, and
+halts — instead of the opaque #GP inside `__rust_dealloc` that the
+OptiPlex showed.  A future major GUI overhaul
 (graphics windows beyond the text surface) would be the `a` bump
 (1.0.0).