pub struct RememberedGrant {
pub covered: CapabilitySet,
pub grant_ref: String,
pub coverage_hash: String,
}Expand description
A verified remembered grant a turn runs under, keyed by tool in
RunTurnOptions::remembered_grants (#594).
Carries the covered capability set the gate consumes plus the two opaque
audit strings (grant_ref, coverage_hash) the harness verified. Keeping
the strings on the value means a GrantReplayClear the loop records can
stamp its identity from birth, with no separate metadata map to join by tool.
The strings are opaque to this crate — it never parses or recomputes them, so
polyc-agent stays free of any crypto dependency.
Fields§
§covered: CapabilitySetThe capability set the verified grant covers — fed into the per-call policy’s taint-resilient set for its tool.
grant_ref: StringThe opaque reference of the grant, stamped onto any resulting
GrantReplayClear for the durable audit.
coverage_hash: StringThe opaque coverage hash the grant matched, stamped onto any resulting
GrantReplayClear.
Trait Implementations§
Source§impl Clone for RememberedGrant
impl Clone for RememberedGrant
Source§fn clone(&self) -> RememberedGrant
fn clone(&self) -> RememberedGrant
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for RememberedGrant
impl Debug for RememberedGrant
Source§impl Default for RememberedGrant
impl Default for RememberedGrant
Source§fn default() -> RememberedGrant
fn default() -> RememberedGrant
Auto Trait Implementations§
impl Freeze for RememberedGrant
impl RefUnwindSafe for RememberedGrant
impl Send for RememberedGrant
impl Sync for RememberedGrant
impl Unpin for RememberedGrant
impl UnsafeUnpin for RememberedGrant
impl UnwindSafe for RememberedGrant
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more