Reading a sequence figure in this manual
Seven lifelines: the agent of the capture kit, the rea MCP server 6.7.0, the BinarySession, the GhidraClient, the headless Ghidra JVM, the exported bundle file, and the model of the agent. Nine numbered rows use the eight arrow styles: tools/call open_binary as a solid ink call, the mach-o executable arm64 answer as a dashed ink reply, analyze_function for _percent_change as a call, the launch of java AnalyzeHeadless as a dashed olive outside effect, analysis_complete true as a dashed amber state change, the stderr log line MCP tool execution completed as a dotted indigo event, the export of 178629 bytes and 8 records as a solid teal durable write, invalid_request for _nothing as a dashed rose failure, and the finding that cites ev_b492c85e as a solid plum model call.
agent
re101-capture
rea mcp
server 6.7.0
session
BinarySession
client
GhidraClient
Ghidra
headless JVM
bundle-O1
the file
model
not recorded
1
tools/call open_binary
a call · solid ink
2
mach-o, executable, arm64
a reply · dashed ink
3
analyze_function
procedure _percent_change · a call
4
launch java AnalyzeHeadless
an outside effect · dashed olive
5
analysis_complete: true
a state change · dashed amber
6
MCP tool execution completed
an event on stderr · dotted indigo
7
export 178629 bytes, 8 records
a durable write · solid teal
8
invalid_request: _nothing
a failure · dashed rose
9
finding cites ev_b492c85e
a model call · solid plum