Struct Proof 

pub struct Proof<C: Capability> { /* private fields */ }

A zero-sized, compile-time proof that a capability was verified.

Proof<C> cannot be constructed outside this crate — the only way to obtain one is through AuthContext::check or AuthContext::require. This means any function that demands Proof<C> in its signature is statically guaranteed to have been preceded by an authorization check.

use mcp_authorization::{Capability, Proof};

struct Admin;
impl Capability for Admin { const NAME: &'static str = "admin"; }

// This will not compile — Proof's fields are private:
let fake = Proof::<Admin>::new();

At runtime, Proof<C> compiles away entirely:

use mcp_authorization::{Capability, Proof};
assert_eq!(std::mem::size_of::<Proof<Admin>>(), 0);

struct Admin;
impl Capability for Admin { const NAME: &'static str = "admin"; }

Trait Implementations

impl<C: Capability> Clone for Proof<C>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C: Capability> Debug for Proof<C>

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

Formats the value using the given formatter.

impl<C: Capability> Copy for Proof<C>