Struct DiffScope 

pub struct DiffScope<S: Store> { /* private fields */ }

Confirms that a patch only touched files the step was granted.

Which grant

The one the step was granted, passed in here. Never the work order’s requests: that is what the model asked for, and a checker that scoped a patch against the proposer’s own request would be asking the proposer to mark its own homework.

Implementations

impl<S: Store> DiffScope<S>

pub fn new(store: S, scope: GrantSet) -> Self

A scope checker over scope, reading raw patches from store.

pub fn rooted_at(self, root: impl Into<String>) -> Self

Treat patch paths as relative to root before comparing them.

A patch says src/auth.rs; a grant says fs:write:/work/repo/src/**. The two only meet if the checker knows which directory the patch is relative to, so set this to the workspace the grant is written against.

With no root the patch path is compared as an absolute path from the repository root — src/auth.rs becomes /src/auth.rs — which is how every grant in this codebase is spelled.

pub fn named(self, name: impl Into<String>, version: u32) -> Self

Name it something more specific, so a ledger says which scope this was.

Trait Implementations

impl<S: Store> Checker for DiffScope<S>

fn id(&self) -> CheckerId

Which checker this is, and at what version.

fn judge<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, _order: &'life1 WorkOrder, condensate: &'life2 Condensate, ) -> Pin<Box<dyn Future<Output = Judgement> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Decide. The part an implementation writes.

fn grants(&self) -> GrantSet

The authority this checker needs.

fn check<'life0, 'life1, 'life2, 'life3, 'async_trait>( &'life0 self, order: &'life1 WorkOrder, condensate: &'life2 Condensate, signer: &'life3 dyn Sign, ) -> Pin<Box<dyn Future<Output = Result<Evidence, CheckError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait,

Check the authority, decide, bind the verdict to its inputs, and sign.

impl<S: Debug + Store> Debug for DiffScope<S>

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

Formats the value using the given formatter.