Struct ProofIntent 

pub struct ProofIntent {

    pub schema_version: String,
    pub intent_id: String,
    pub command_digest: String,
    pub cwd: String,
    pub repo_revision: Option<String>,
    pub source_fingerprints: Vec<SourceFingerprint>,
    pub env_allowlist: Vec<String>,
    pub target_dir_policy: String,
    pub package_scope: Vec<String>,
    pub test_scope: Vec<String>,
    pub requested_worker: Option<String>,
    pub requested_profile: Option<String>,
    pub denial_reason: IncidentReasonCode,
    pub replay_constraints: ReplayConstraints,
    pub stale_source_policy: StaleSourcePolicy,
    pub recorded_at_unix_ms: u64,
    pub details: BTreeMap<String, String>,
}

A durable record of a denied proof attempt.

Fields

schema_version: String

Schema version (SchemaComponent::ProofIntent).

intent_id: String

Stable id (see derive_intent_id).

command_digest: String

Hash of the classified command — NOT the raw command line.

cwd: String

Working directory the command ran in.

repo_revision: Option<String>

Repo revision (e.g. git rev), if any.

source_fingerprints: Vec<SourceFingerprint>

Source fingerprints (hashes) captured at denial time.

env_allowlist: Vec<String>

Names of env vars that were allowlisted (never their values).

target_dir_policy: String

Effective target-dir policy.

package_scope: Vec<String>

Cargo package scope (-p selection).

test_scope: Vec<String>

Test scope (test filters), if any.

requested_worker: Option<String>

Explicitly requested worker, if any.

requested_profile: Option<String>

Explicitly requested profile, if any.

denial_reason: IncidentReasonCode

Why the proof was denied (stable incident reason vocabulary). Serializes as its RCH-Innn string; described to schemars as a string.

replay_constraints: ReplayConstraints

Constraints for a future replay.

stale_source_policy: StaleSourcePolicy

Stale-source policy.

recorded_at_unix_ms: u64

Denial time as Unix epoch milliseconds (caller-supplied → deterministic).

details: BTreeMap<String, String>

Free-form, redaction-safe details.

Implementations

impl ProofIntent

pub fn new( command_digest: impl Into<String>, cwd: impl Into<String>, repo_revision: Option<String>, target_dir_policy: impl Into<String>, denial_reason: IncidentReasonCode, stale_source_policy: StaleSourcePolicy, replay_constraints: ReplayConstraints, recorded_at_unix_ms: u64, ) -> Self

Construct an intent, stamping the schema version and deriving the intent_id from (command_digest, cwd, repo_revision).

pub fn with_source_fingerprints(self, fps: Vec<SourceFingerprint>) -> Self

pub fn with_env_allowlist(self, names: Vec<String>) -> Self

Trait Implementations

impl Clone for ProofIntent

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofIntent

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofIntent

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ProofIntent

impl JsonSchema for ProofIntent

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl PartialEq for ProofIntent

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ProofIntent

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ProofIntent