execkit 0.7.2

Stateful, structured, safe shell sessions for AI agents on real infrastructure.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

// SPDX-License-Identifier: Apache-2.0
use thiserror::Error;

/// Errors returned by execkit.
///
/// `#[non_exhaustive]`: new variants may be added in a minor release without it
/// being a breaking change, so downstream `match` on `Error` must include a
/// wildcard arm.
#[derive(Error, Debug)]
#[non_exhaustive]
pub enum Error {
    #[error("io error: {0}")]
    Io(#[from] std::io::Error),

    #[error("serialization error: {0}")]
    Serde(#[from] serde_json::Error),

    #[error("pty/transport error: {0}")]
    Transport(String),

    /// Command did not finish before the session timeout (still running, or
    /// waiting for input). The session is poisoned afterward (see below) - the
    /// pending command would corrupt subsequent reads.
    #[error("command still running (timed out before completion)")]
    StillRunning,

    /// The shell process exited and closed the session's channel (for example the
    /// command ran `exit`). Distinct from a timeout: it surfaces immediately. The
    /// session is unusable; create a new one.
    #[error("shell exited and closed the session; create a new session")]
    ShellExited,

    /// The session is unusable: a prior command timed out while still running,
    /// so its later output would desync framing. Create a new session.
    /// (v0.x will replace poisoning with interrupt + resync.)
    #[error("session poisoned by a prior timeout; create a new session")]
    SessionPoisoned,

    /// Blocked by the advisory policy before reaching the shell.
    #[error("blocked by policy: {0}")]
    PolicyDenied(String),

    /// The operation is not supported for this session (e.g. checkpoints on a
    /// local session, or git missing on the remote).
    #[error("unsupported: {0}")]
    Unsupported(String),

    /// An output budget was invalid (e.g. a malformed grep regex).
    #[error("invalid output budget: {0}")]
    Budget(String),
}

pub type Result<T> = std::result::Result<T, Error>;