Public declaration syntax from forge-rs/harness-runtime/src/planes/verification.rs
Original source SHA-256: b1315d349852c3ba4d0fdb34f38a66f1255747197e8a01d36b4afa83027b8310
Function bodies and constant values are omitted. This is not the complete implementation.

Source line 12
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct GateRequest {
/// The run id.

pub run_id: String,
/// The gate as declared in `[verification].gates`.

pub gate: Gate
}

Source line 23
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct GateResult {
/// The gate that was attempted.

pub gate: Gate,
/// Whether the gate actually executed. `passed` is meaningless —

/// and MUST be ignored — when this is false.

pub executed: bool,
/// Whether the executed gate passed.

pub passed: bool,
/// Exit code for command gates, when executed.

pub exit_code: Option<i32>,
/// Provider evidence reference, passed through verbatim or absent —

/// never synthesized (§5.10).

pub evidence_ref: Option<String>,
/// Human-readable detail (captured output summary, error).

pub detail: String
}

Source line 44
pub fn counts_as_pass(&self) -> bool;

Source line 51
#[async_trait]
pub trait VerificationPlane: Plane {
    /// Execute one declared gate and return its machine-checkable result.
    async fn run_gate(&self, request: GateRequest) -> Result<GateResult, PlaneError>;
}