docs: mark debugger slice 3a done (embedded Frame trace resolution)

docs/debugger.md

@@ -264,7 +264,7 @@ traces and DWARF can never disagree:
 
 ### Trace path: compile → run → format
 
-**Producer (compile time) ⏳**
+**Producer (compile time) ✅ (3a)**
 
 1. `lower.zig` reaches a failure site — `lowerRaise`, `lowerTry`'s
    propagation branch, `lowerFailableOr`, or `lowerDestructureDecl` — and
@@ -284,7 +284,7 @@ traces and DWARF can never disagree:
 compiler so the JIT resolves `sx_trace_*` via `dlsym`; auto-injected as a
 `#source` for AOT when `needs_trace_runtime` is set.
 
-**Formatter (run time) ⏳** — `trace.sx` `to_string()` loops
+**Formatter (run time) — compiled ✅ (3a), comptime ⏳ (3b)** — `trace.sx` `to_string()` loops
 `sx_trace_len()` / `sx_trace_frame_at(i)` and resolves each `u64` through
 a **read-side context-split primitive** (the mirror of the push op):
 
@@ -433,7 +433,7 @@ a Mach-O debug map, never register JIT DWARF.
 | `trace.sx` formatting (placeholder locations) | ✅ done (`bb20339`) |
 | IR instructions carry source spans | ✅ done — E3.0 slice 1 (`b44a5d0`) |
 | DWARF emission (compile unit / subprogram / line table) | ✅ done — E3.0 slice 2 (`c32d694`) |
-| Niladic trace-push op + interned `Frame` table (runtime) | ⏳ planned — E3.3 slice 3a |
+| Niladic trace-push op + interned `Frame` table (runtime) | ✅ done — E3.3 slice 3a (`1b6cbc1`) |
 | Comptime resolver (`func_id, ir_offset` → location) | ⏳ planned — slice 3b |
 | Source snippet + `^` caret | ⏳ planned — slice 3c |
 | `--emit-obj` / `--debug` artifact plumbing | ⏳ planned — slice 3d |