Struct History 

pub struct History<'a> { /* private fields */ }

Append-only handle to a chat-history buffer.

Wraps &mut Vec<Message> but exposes only append and view. Nothing can reach the underlying Vec to call pop, truncate, clear, split_off, remove, or last_mut without going through the explicit (and reviewable) escape hatch Session::messages_mut_unchecked — which intentionally does not exist in Phase A.

Examples

use codetether_agent::provider::{ContentPart, Message, Role};
use codetether_agent::session::history::History;

let mut buf: Vec<Message> = Vec::new();
let mut history = History::new(&mut buf);
assert!(history.view().is_empty());

history.append(Message {
    role: Role::Assistant,
    content: vec![ContentPart::Text {
        text: "ok".to_string(),
    }],
});
assert_eq!(history.view().len(), 1);

Implementations

impl<'a> History<'a>

pub fn new(buf: &'a mut Vec<Message>) -> Self

Wrap an existing Vec<Message> as an append-only history.

Arguments

• buf — The underlying buffer. Ownership is not taken; the caller keeps the Vec but loses the ability to rewrite it while the History handle is alive.

Examples

use codetether_agent::provider::Message;
use codetether_agent::session::history::History;

let mut buf: Vec<Message> = Vec::new();
let history = History::new(&mut buf);
assert!(history.view().is_empty());

pub fn append(&mut self, msg: Message)

Append a single message to the end of the history.

The only mutating operation on History — every other mutation must be routed through a dedicated API on the owning type.

pub fn view(&self) -> &[Message]

Borrow the history as an immutable slice for reads.

pub fn len(&self) -> usize

The number of entries currently in the history.

pub fn is_empty(&self) -> bool

true when the history is empty.