pub enum CoderError {
Workspace(String),
PromptTooLarge {
actual: usize,
cap: usize,
},
BadEmission(String),
FileWrite(String),
EmptyEmission {
path: String,
},
LooksLikeDiff {
path: String,
},
LeakedMarker {
path: String,
},
Inference(String),
CapabilityDenied {
kind: &'static str,
target: String,
},
Io(Error),
}Variants§
Workspace(String)
PromptTooLarge
BadEmission(String)
FileWrite(String)
EmptyEmission
The emitted body for path was empty or whitespace-only.
A whole-file emission must contain something to write; an empty
body is never a legitimate rewrite. The file write failed:
prefix is load-bearing — the ACP worker and existing call sites
match on it.
LooksLikeDiff
The emitted body for path looked like a unified diff rather
than the complete file contents (its first non-blank line begins
with --- , +++ , or @@).
LeakedMarker
The emitted body for path still began with a leaked FILE:
marker as its first non-blank line (defense in depth in case the
parser did not strip it).
Inference(String)
CapabilityDenied
The peer’s signed Caveats deny the tool
call this dispatch would have made.
kind names the axis that refused — one of "fs_read",
"fs_write", "net", "exec", or "max_calls" — and target
names the concrete item the dispatch tried to touch (the path, the
host, or "<turn>" for the max_calls budget). The pair is
load-bearing for arbiter scorecards: every CapabilityDenied
becomes a scrubbed-sortie reason, not a model failure.
Io(Error)
Trait Implementations§
Source§impl Debug for CoderError
impl Debug for CoderError
Source§impl Display for CoderError
impl Display for CoderError
Source§impl Error for CoderError
impl Error for CoderError
Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
use the Display impl or to_string()