The harness has had its queue coordinates since the credential reached the container, but nothing used them. This offers each terminal row upward on `$SWARM.term.<hive>.<agent>`, so a swarm-level terminal can render an agent without reaching into the hive that hosts it. It publishes the same `TermMsg` the web UI is handed rather than a second model of the same events, so a new tool or a reclassified event changes both surfaces together. It subscribes to the event bus rather than to the SSE handler: the handler classifies per connected browser, so hanging this off it would mean an agent nobody is watching publishes nothing. That also means its own long-lived `ClassifyCtx`, since a publisher restarting its correlation state would lose the `tool_use` → name mapping a `tool_result` needs to render. The hive in the subject is derived from the queue client id, not from the harness's hive display name. Those come from different sources with no rule tying them together, and the responder builds its grant from the client id — so deriving it from the display name yields a publish the broker refuses, reaching an operator as a terminal that is merely empty. The prefix and suffix that bracket the hive are the responder's flags, which the agent is not told; it restates their defaults, and the symptom of a deployment retuning one without changing this is every publish refused rather than a wrong subject accepted. Oversize rows degrade in the publisher. Exceeding `max_payload` is not a truncation: the server refuses the message and closes the connection, so an oversize publish costs the row, the connection, and the rows racing behind it through the reconnect. The body is the only unbounded field — summaries are already trimmed at classification — so it is the field spent, and the row keeps its icon, level, summary and coalesce key. A row that does not fit even then is logged and dropped rather than sent. The limit is read off the connection, so `8388608` stays spelled once in the queue's own module; size is measured by serializing, because JSON escaping separates character count from wire length by an unbounded factor on exactly the rows already near the limit. Best-effort throughout: no queue, an unparseable client id and a failed connect each disable the publisher with one log line, and a failed publish loses its row and nothing else. The turn loop and the web UI never block on the queue. Refs #3805
316 lines
13 KiB
Rust
316 lines
13 KiB
Rust
//! This agent's swarm-queue credentials, resolved once at boot.
|
|
//!
|
|
//! Three of the four coordinates arrive as environment variables the meta
|
|
//! flake renders into the harness unit. The fourth — the OIDC client id —
|
|
//! arrives as a *file*, delivered beside the secret as one systemd
|
|
//! credential pair (`nix/agent-modules/queue.nix`). That is the whole reason
|
|
//! this module exists rather than a bare [`QueueConfig::from_env`] call: the
|
|
//! id rides with the secret so a reader never has to spell `hive-<name>-agent`
|
|
//! a second time, and `from_env` wants it as a value.
|
|
//!
|
|
//! Reading the file and assigning the variable would put the same rule back
|
|
//! in `from_env`'s hands, but `std::env::set_var` is unsound in a process that
|
|
//! has already spawned threads, and this one has. So the rule is restated
|
|
//! here over the inputs this consumer actually has, and [`decide`] is the
|
|
//! single place it lives.
|
|
|
|
use std::path::Path;
|
|
use std::sync::OnceLock;
|
|
|
|
use tokio::sync::OnceCell;
|
|
|
|
use swarm_queue_client::QueueConfig;
|
|
|
|
/// Variable prefix for this agent's coordinates. Distinct from `HIVE_C0RE`'s
|
|
/// on purpose: an agent authenticates as its own client, not as its hive.
|
|
const ENV_PREFIX: &str = "HIVE_AGENT";
|
|
|
|
/// Resolved once at boot, so the publisher that connects to the queue reads
|
|
/// one answer rather than re-deriving it per call.
|
|
static CONFIG: OnceLock<Option<QueueConfig>> = OnceLock::new();
|
|
|
|
/// The one connection every publisher in this process shares. Separate from
|
|
/// [`CONFIG`] because resolving the coordinates is synchronous boot work and
|
|
/// connecting is not — see [`client`].
|
|
static CLIENT: OnceCell<Option<async_nats::Client>> = OnceCell::const_new();
|
|
|
|
/// The four variables the harness unit sets, before the client-id file is
|
|
/// read. Collected into a struct so [`decide`] is pure over them and the
|
|
/// process env is touched in exactly one place.
|
|
struct QueueEnv {
|
|
nats_url: Option<String>,
|
|
token_endpoint: Option<String>,
|
|
client_id_file: Option<String>,
|
|
client_secret_file: Option<String>,
|
|
/// Independent of the all-or-none group below, exactly as in
|
|
/// `QueueConfig::from_env`: a swarm behind a publicly-trusted
|
|
/// certificate needs no extra anchor. Nothing in this tree sets it for
|
|
/// an agent — a container already trusts the swarm root, which
|
|
/// `hive_c0re::meta` embeds at build time — so it is here for a
|
|
/// deployment that needs a different one, not for ours.
|
|
ca_file: Option<String>,
|
|
}
|
|
|
|
impl QueueEnv {
|
|
fn from_env() -> Self {
|
|
let var = |suffix: &str| std::env::var(format!("{ENV_PREFIX}_{suffix}")).ok();
|
|
Self {
|
|
nats_url: var("NATS_URL"),
|
|
token_endpoint: var("OIDC_TOKEN_ENDPOINT"),
|
|
client_id_file: var("OIDC_CLIENT_ID_FILE"),
|
|
client_secret_file: var("OIDC_CLIENT_SECRET_FILE"),
|
|
ca_file: var("OIDC_CA_FILE"),
|
|
}
|
|
}
|
|
}
|
|
|
|
/// What the environment plus the client-id file add up to.
|
|
enum Resolution {
|
|
/// Everything is here; the agent can reach the queue.
|
|
Configured(Box<QueueConfig>),
|
|
/// No queue coordinates for this agent, and that is a legal state — carries why.
|
|
Absent(&'static str),
|
|
/// Some of the environment, not all of it. A deployment bug rather than
|
|
/// an absent integration, so it is reported and then survived.
|
|
Partial,
|
|
}
|
|
|
|
/// Read the client id out of the file the credential landed at.
|
|
///
|
|
/// `None` for a missing or empty file, which is the ordinary state of a hive
|
|
/// whose secret store has nothing published yet — the credential simply is
|
|
/// not there, and nspawn forwards nothing. Trailing newline stripped: the
|
|
/// reader unit writes one and an id with a newline in it authenticates as
|
|
/// nobody.
|
|
fn read_client_id(path: &Path) -> Option<String> {
|
|
match std::fs::read_to_string(path) {
|
|
Ok(raw) => {
|
|
let id = raw.trim();
|
|
(!id.is_empty()).then(|| id.to_owned())
|
|
}
|
|
Err(e) if e.kind() == std::io::ErrorKind::NotFound => None,
|
|
Err(e) => {
|
|
tracing::warn!(path = %path.display(), error = %e, "reading the queue client id failed");
|
|
None
|
|
}
|
|
}
|
|
}
|
|
|
|
/// Decide what this agent's queue configuration is, given the environment and
|
|
/// whatever the client-id file held.
|
|
///
|
|
/// All four variables or none, for the reason `QueueConfig::from_env` gives:
|
|
/// a half-set environment produces a process that comes up fine and never
|
|
/// connects. The client id is graded separately from the four because its
|
|
/// file has a legal absence the variables do not — the unit names the path a
|
|
/// credential *would* arrive at whether or not one has been published yet.
|
|
fn decide(env: &QueueEnv, client_id: Option<String>) -> Resolution {
|
|
match (
|
|
env.nats_url.as_ref(),
|
|
env.token_endpoint.as_ref(),
|
|
env.client_id_file.as_ref(),
|
|
env.client_secret_file.as_ref(),
|
|
) {
|
|
(None, None, None, None) => Resolution::Absent("this hive has no swarm queue configured"),
|
|
(Some(url), Some(token_endpoint), Some(_), Some(secret)) => match client_id {
|
|
Some(client_id) => Resolution::Configured(Box::new(QueueConfig {
|
|
url: url.clone(),
|
|
token_endpoint: token_endpoint.clone(),
|
|
client_id,
|
|
client_secret_file: secret.into(),
|
|
ca_file: env.ca_file.as_ref().map(Into::into),
|
|
})),
|
|
None => {
|
|
Resolution::Absent("the queue credential has not been published to this hive yet")
|
|
}
|
|
},
|
|
_ => Resolution::Partial,
|
|
}
|
|
}
|
|
|
|
/// Resolve this agent's queue configuration and record it for later use.
|
|
///
|
|
/// Never fails: a harness that cannot reach the queue still serves its
|
|
/// operator, its web UI and its turn loop, so every outcome here is a log
|
|
/// line and not an exit.
|
|
pub fn init() {
|
|
let env = QueueEnv::from_env();
|
|
let client_id = env
|
|
.client_id_file
|
|
.as_deref()
|
|
.map(Path::new)
|
|
.and_then(read_client_id);
|
|
let resolved = match decide(&env, client_id) {
|
|
Resolution::Configured(cfg) => {
|
|
// url + client id only. The secret is a path in this struct and
|
|
// stays one: neither it nor its contents belong in a log.
|
|
tracing::info!(url = %cfg.url, client_id = %cfg.client_id, "swarm queue configured");
|
|
Some(*cfg)
|
|
}
|
|
Resolution::Absent(why) => {
|
|
tracing::info!(why, "no swarm queue coordinates for this agent");
|
|
None
|
|
}
|
|
Resolution::Partial => {
|
|
tracing::error!(
|
|
prefix = ENV_PREFIX,
|
|
"swarm queue half-configured: {ENV_PREFIX}_NATS_URL, \
|
|
{ENV_PREFIX}_OIDC_TOKEN_ENDPOINT, {ENV_PREFIX}_OIDC_CLIENT_ID_FILE and \
|
|
{ENV_PREFIX}_OIDC_CLIENT_SECRET_FILE are set together or not at all — \
|
|
this agent will not connect"
|
|
);
|
|
None
|
|
}
|
|
};
|
|
let _ = CONFIG.set(resolved);
|
|
}
|
|
|
|
/// What [`init`] resolved, or `None` when this agent has no queue.
|
|
///
|
|
/// Borrowed from the `OnceLock` rather than cloned: a caller wants the client
|
|
/// id to derive its subject from, and handing out an owned copy of a struct
|
|
/// holding a credential path invites it being stored somewhere with a
|
|
/// different lifetime than the one place that owns it.
|
|
///
|
|
/// `None` before [`init`] has run, which is the same answer as "no queue" and
|
|
/// deliberately not a panic — the ordering is a boot detail, and a harness
|
|
/// that reordered its boot should lose the queue, not die.
|
|
pub fn config() -> Option<&'static QueueConfig> {
|
|
CONFIG.get()?.as_ref()
|
|
}
|
|
|
|
/// The shared queue connection, made on first call and memoized for the rest
|
|
/// of the process.
|
|
///
|
|
/// One connection per process, not per publisher: the agent authenticates as
|
|
/// one client, so a second `connect` would be a second token mint and a second
|
|
/// live connection for the same identity rather than a second credential.
|
|
///
|
|
/// `None` covers both "no queue coordinates" and "configured but the connect
|
|
/// failed" — a caller does nothing differently between them, since either way
|
|
/// there is nothing to publish onto. Connecting is lazy so that an agent on a
|
|
/// hive with no queue pays nothing at boot.
|
|
pub async fn client() -> Option<async_nats::Client> {
|
|
CLIENT.get_or_init(connect_once).await.clone()
|
|
}
|
|
|
|
async fn connect_once() -> Option<async_nats::Client> {
|
|
let cfg = config()?;
|
|
match swarm_queue_client::connect(cfg.clone()).await {
|
|
Ok(client) => Some(client),
|
|
Err(e) => {
|
|
// `chain`, not `{:#}`: this is `swarm_queue_client::Error`, whose
|
|
// `Display` ignores the alternate flag, so `{:#}` renders the
|
|
// headline and drops the cause that says which half failed.
|
|
tracing::warn!(
|
|
error = %swarm_queue_client::chain(&e),
|
|
"swarm queue connect failed; this agent publishes nothing upward"
|
|
);
|
|
None
|
|
}
|
|
}
|
|
}
|
|
|
|
#[cfg(test)]
|
|
mod tests {
|
|
use super::{QueueEnv, Resolution, decide, read_client_id};
|
|
|
|
fn env(parts: [Option<&str>; 4]) -> QueueEnv {
|
|
let [nats_url, token_endpoint, client_id_file, client_secret_file] = parts;
|
|
QueueEnv {
|
|
nats_url: nats_url.map(str::to_owned),
|
|
token_endpoint: token_endpoint.map(str::to_owned),
|
|
client_id_file: client_id_file.map(str::to_owned),
|
|
client_secret_file: client_secret_file.map(str::to_owned),
|
|
ca_file: None,
|
|
}
|
|
}
|
|
|
|
fn full() -> QueueEnv {
|
|
env([
|
|
Some("nats://10.42.0.1:4222"),
|
|
Some("https://auth.t.local/api/oidc/token"),
|
|
Some("/run/credentials/hive-agent.service/hive-queue-agent-client-id"),
|
|
Some("/run/credentials/hive-agent.service/hive-queue-agent-secret"),
|
|
])
|
|
}
|
|
|
|
/// The reader unit writes the id with a trailing newline; an id carrying
|
|
/// one is a client authelia has never heard of.
|
|
#[test]
|
|
fn a_client_id_file_is_read_without_its_newline() {
|
|
let dir = tempfile::tempdir().expect("tempdir");
|
|
let path = dir.path().join("client_id");
|
|
std::fs::write(&path, "hive-h1-agent\n").expect("write");
|
|
assert_eq!(read_client_id(&path).as_deref(), Some("hive-h1-agent"));
|
|
}
|
|
|
|
/// Both shapes of "no credential here": never delivered, or delivered
|
|
/// empty. Neither is an id, and treating an empty string as one would
|
|
/// authenticate as the anonymous client rather than failing.
|
|
#[test]
|
|
fn a_missing_or_empty_client_id_file_reads_as_no_id() {
|
|
let dir = tempfile::tempdir().expect("tempdir");
|
|
let missing = dir.path().join("client_id");
|
|
assert_eq!(read_client_id(&missing), None);
|
|
std::fs::write(&missing, "\n").expect("write");
|
|
assert_eq!(read_client_id(&missing), None);
|
|
}
|
|
|
|
#[test]
|
|
fn a_complete_environment_with_a_published_id_configures_the_queue() {
|
|
let e = full();
|
|
let Resolution::Configured(cfg) = decide(&e, Some("hive-h1-agent".to_owned())) else {
|
|
panic!("expected a configured queue");
|
|
};
|
|
assert_eq!(cfg.url, "nats://10.42.0.1:4222");
|
|
assert_eq!(cfg.client_id, "hive-h1-agent");
|
|
assert!(
|
|
cfg.client_secret_file.ends_with("hive-queue-agent-secret"),
|
|
"the secret stays a path: {}",
|
|
cfg.client_secret_file.display()
|
|
);
|
|
}
|
|
|
|
/// A hive that has not been given its queue's coordinates at all. Silence
|
|
/// here is correct, and it has to be distinguishable from the half-set
|
|
/// case below — that distinction is the only thing that makes the error
|
|
/// branch worth logging.
|
|
#[test]
|
|
fn an_empty_environment_is_no_queue_rather_than_an_error() {
|
|
let e = env([None, None, None, None]);
|
|
assert!(matches!(decide(&e, None), Resolution::Absent(_)));
|
|
}
|
|
|
|
/// The credential's own absence. The unit names the path unconditionally
|
|
/// once the hive has a queue, so this is the state of every agent on a
|
|
/// swarm whose publisher has not run — legal, and not the error branch.
|
|
#[test]
|
|
fn a_complete_environment_with_no_published_id_is_no_queue() {
|
|
let e = full();
|
|
assert!(matches!(decide(&e, None), Resolution::Absent(_)));
|
|
}
|
|
|
|
/// Each single-variable omission, because the failure a partial set
|
|
/// produces is a harness that looks healthy and publishes nothing.
|
|
#[test]
|
|
fn any_missing_variable_is_a_partial_configuration() {
|
|
for drop in 0..4 {
|
|
let mut parts = [
|
|
Some("nats://10.42.0.1:4222"),
|
|
Some("https://auth.t.local/api/oidc/token"),
|
|
Some("/run/credentials/hive-agent.service/hive-queue-agent-client-id"),
|
|
Some("/run/credentials/hive-agent.service/hive-queue-agent-secret"),
|
|
];
|
|
parts[drop] = None;
|
|
let e = env(parts);
|
|
assert!(
|
|
matches!(
|
|
decide(&e, Some("hive-h1-agent".to_owned())),
|
|
Resolution::Partial
|
|
),
|
|
"dropping variable {drop} must report a partial configuration"
|
|
);
|
|
}
|
|
}
|
|
}
|