Workflow and Source Panels

Client and Worker Contracts

Replay one Lua execution where a client request loads a worker response file.

source panels When an example has more than one source file, replay keeps each file in its own panel while preserving one ordered trace stream. The Variables panel follows the actual `dofile` load into the worker file and the returned response back to the client.
boundary The client owns the selected command and visible output. The worker owns the response rule for that command.

Project Entry

command
request_client.lua
Replay: real traced execution (multi-file project)
local command = "status"
local label = command

if command == "refresh" then
  label = "cache"
elseif command == "archive" then
  label = "records"
end

dofile("request_worker.lua")

local response = handle_request(command)
local ticket = 40 + string.len(command)

print("label=" .. label)
print("ticket=" .. ticket)
print(response)

local command = "refresh"
local label = command

if command == "refresh" then
  label = "cache"
elseif command == "archive" then
  label = "records"
end

dofile("request_worker.lua")

local response = handle_request(command)
local ticket = 40 + string.len(command)

print("label=" .. label)
print("ticket=" .. ticket)
print(response)

local command = "archive"
local label = command

if command == "refresh" then
  label = "cache"
elseif command == "archive" then
  label = "records"
end

dofile("request_worker.lua")

local response = handle_request(command)
local ticket = 40 + string.len(command)

print("label=" .. label)
print("ticket=" .. ticket)
print(response)

  1. command ← status, label ← status

    1local command→ status = "status" --@command="refresh", "archive"2local label→ status = commandstatus34if command == "refresh" then5  label = "cache"6elseif command == "archive" then7  label = "records"8end910dofile("request_worker.lua")1112local response = handle_request(commandstatus)13local ticket = 40 + string.len(command)

  2. response ← ok:service ready, ticket ← 46

    12local response→ ok:service ready = handle_request(commandstatus)13local ticket→ 46 = 40 + string.len(commandstatus)1415print("label=" .. labelstatus)16print("ticket=" .. ticket46)17print(responseok:service ready)
    outputlabel=status
ticket=46
ok:service ready