From 11f6377d9cb429bd2f3c1a91175a32ac27572428 Mon Sep 17 00:00:00 2001 From: agra Date: Mon, 1 Jun 2026 15:11:25 +0300 Subject: [PATCH] docs: mark debugger slice 3a done (embedded Frame trace resolution) --- docs/debugger.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/debugger.md b/docs/debugger.md index 170849b..ca0a69d 100644 --- a/docs/debugger.md +++ b/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 |