pub struct VerdictContract {
pub channel: VerdictChannel,
pub values: Vec<String>,
}Expand description
Opt-in per-agent declaration of the step OUTPUT shape a downstream
Branch/Loop cond is allowed to structurally compare against — see
the blueprint-authoring.md guide’s “Returning verdicts to drive BP
flow” section for the Pattern A/B shapes this mirrors. Consumed by the
mlua-swarm core crate’s Compiler::compile (a register-time,
read-only lint over Branch/Loop Eq/Ne/In conds — no flow
rewriting, no new Expr forms) and, as a follow-up, by the server’s
submit-time producer gate. None on AgentDef::verdict (the
default) means neither enforcement point runs for that agent — the
pre-GH-#50 behavior, byte-for-byte.
Fields§
§channel: VerdictChannelWhich OUTPUT channel carries the verdict token — see
VerdictChannel.
values: Vec<String>Closed set of the verdict tokens this agent may emit through the
declared channel (e.g. ["PASS", "BLOCKED"]). A Branch/Loop
cond’s Lit operand(s) compared against this agent’s declared
channel must be members of this set.
Trait Implementations§
Source§impl Clone for VerdictContract
impl Clone for VerdictContract
Source§fn clone(&self) -> VerdictContract
fn clone(&self) -> VerdictContract
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for VerdictContract
impl Debug for VerdictContract
Source§impl<'de> Deserialize<'de> for VerdictContract
impl<'de> Deserialize<'de> for VerdictContract
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Source§impl JsonSchema for VerdictContract
impl JsonSchema for VerdictContract
Source§fn schema_id() -> Cow<'static, str>
fn schema_id() -> Cow<'static, str>
Source§fn json_schema(generator: &mut SchemaGenerator) -> Schema
fn json_schema(generator: &mut SchemaGenerator) -> Schema
Source§fn inline_schema() -> bool
fn inline_schema() -> bool
$ref keyword. Read moreSource§impl PartialEq for VerdictContract
impl PartialEq for VerdictContract
Source§impl Serialize for VerdictContract
impl Serialize for VerdictContract
impl StructuralPartialEq for VerdictContract
Auto Trait Implementations§
impl Freeze for VerdictContract
impl RefUnwindSafe for VerdictContract
impl Send for VerdictContract
impl Sync for VerdictContract
impl Unpin for VerdictContract
impl UnsafeUnpin for VerdictContract
impl UnwindSafe for VerdictContract
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more