A terminal and a notebook, on the record.
A computer is a device with channels. Its shell is a real pseudo-terminal; its kernel runs notebook cells in Python. An agent with a standing grant types and runs as a person does, and the host records each input before it is written.
Two channels of a computer
The grant first, then the record, then the keys.
The host opens a channel only for a principal with a grant on the unit. Each input is a command record, written with who sent it, before it reaches the shell or the kernel. What comes back is recorded too.
Run for this page
Refused, granted, four cells.
A host started on this computer in an empty home, with one physical world and one computer unit in it. The agent asked to open the kernel before it held a grant, and was refused. With a grant on the unit, it ran four cells.
open python agent:case-studies refused: holds no grant to open …world.tsx#pc-1.python grant account:owner agent:case-studies on pc-1 (grants.json) open python agent:case-studies state open execute agent:case-studies f"Python {platform.python_version()}" ok 'Python 3.12.3' execute agent:case-studies squares = [n * n for n in range(1, 11)]; sum(squares) ok 385 execute agent:case-studies class Card: def _repr_html_ … Card() ok text/html <b>385</b> execute agent:case-studies 1 / 0 error ZeroDivisionError: division by zero
The terminal
One line typed, the terminal's answer kept.
On the same unit the agent opened the shell and typed one line. The shell printed the kernel's name and Python's answer, then exited. The bytes are the stream's data.bin; each chunk has a reply record that says when it came.
The shell's prompt and the rest of its output are left out of this page: they name the computer and its user.
- input record, by
agent:case-studies, written before the shell saw it - 1
- reply records timing the terminal's 272 bytes
- 3
- the shell's exit code
- 0
typed echo "kernel $(uname -s) $(uname -m)"; python3 -c "print(6 * 7)"; exit out kernel Linux aarch64 out 42 state exited 0
desk/worlds/desk/world.tsx#pc-1.shell输出 case-studies/shells-and-kernels/stats.json工具 scripts/sites/case-studies.mjs shells-and-kernels运行于 This computer (dell-gb10-1): a local host in a scratch home, no platform link时间 Give an agent a terminal.
Grant it a computer unit, and it types and runs cells on the record.