The chain publishes no source for this contract — an Aztec contract class carries bytecode, and no debug symbols, no file map and no source text. The recording is therefore at instruction level: every step is a program counter, and there is nothing to position it against. Stepping is complete; only the text is missing.
Stepping continues at instruction level.
Calls and storage writes are recorded against program counters rather than source lines.
Frames are recorded, and without a file map they carry no function names or source positions.
This recording carries no variable names: naming a local needs debug symbols, which an Aztec contract class does not publish.