Module launch_agent 

The agent a launch named in a session’s environment, kept in the harness home the session is stored in.

A launcher that starts a session for an agent puts the agent’s id and reader context in the session’s environment (SUPERCODE_AGENT_*). A managed runtime records those variables in the session’s harness home (<home>/supercode/launches/<session id>.json) before the session’s transcript is visible, so whoever discovers the session reads its agent from the session’s own home (read, the harness.v1.sessions.launch_agent door), however short its process lived. The machine daemon binds the session to that agent when its connector discovers it.

Functions

agent_environment

The agent variables of a launch environment, or None when it names no agent.

read

The agent variables recorded for the session at locator, or null when its launch named none.

record

Record env’s agent variables for session_id in the harness home home, written whole and renamed into place. A launch that names no agent records nothing.