Struct AgentSession 

pub struct AgentSession {
    pub host: &'static str,
    pub marker: String,
    pub markers: Vec<String>,
    pub session_id: Option<String>,
}

An AI agent session detected from environment variables.

Fields

host: &'static str

claude-code, codex, cursor, gemini-cli, or ai-agent.

marker: String

The environment variable that identified the session.

markers: Vec<String>

Every non-empty marker variable present, for any host, sorted by name.

session_id: Option<String>

The host’s session id (ASCII letters, digits, -, _, .; at most 64), when it sets one.

Implementations

impl AgentSession

pub fn locator(&self) -> String

agent-session:<host>:<session id or "unknown">.

pub fn stamp(&self, trace: &mut Trace) -> Result<()>

Apply the agent-session rule to a trace this session is about to write: refuse verified (an agent cannot attest its own memory) and record the session as the locator, keeping any caller locator after it.

pub fn refuse_person_only(&self, command: &str, why: &str) -> KernelError

The refusal for a command only a person may run inside this session, such as accepting ledger records no hikmah write acknowledged (verify-ledger --accept-tail or --reset-head). Those records may be a forged append (the chain is unkeyed), and an agent that follows a refusal message must not be the one to approve them. The message tells the agent to stop and ask a person; it deliberately gives no command that gets around the check.

Trait Implementations

impl Clone for AgentSession

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AgentSession

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for AgentSession

impl PartialEq for AgentSession

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for AgentSession