Struct PromotionGate 

pub struct PromotionGate {
    pub required_invariants: Vec<String>,
    pub required_truths: Vec<String>,
    pub authority: AuthorityPolicy,
    pub decision: GateDecision,
    pub rationale: String,
}

Promotion gate for plan approval

Fields

required_invariants: Vec<String>

Invariants that must hold

required_truths: Vec<String>

Business truths that must be verified

authority: AuthorityPolicy

Who can promote this plan

decision: GateDecision

The gate decision

rationale: String

Rationale for the decision

Implementations

impl PromotionGate

pub fn auto_promote(rationale: impl Into<String>) -> Self

Create a gate that promotes automatically

pub fn requires_review( required_truths: Vec<String>, rationale: impl Into<String>, ) -> Self

Create a gate that requires human review

pub fn reject(rationale: impl Into<String>) -> Self

Create a rejection gate

pub fn with_invariants( required_invariants: Vec<String>, decision: GateDecision, rationale: impl Into<String>, ) -> Self

Create a gate with invariant requirements

pub fn is_promoted(&self) -> bool

Check if this gate promotes the plan

pub fn is_rejected(&self) -> bool

Check if this gate rejects the plan

pub fn requires_escalation(&self) -> bool

Check if this gate requires escalation

pub fn requires_human(&self) -> bool

Check if human approval is required

Trait Implementations

impl Clone for PromotionGate

fn clone(&self) -> PromotionGate

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PromotionGate

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PromotionGate

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for PromotionGate

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.