pub struct ChoraGate {
pub bridge: Arc<AuthorityBridge>,
pub prover: Option<Arc<AuditProver>>,
}Expand description
The default CHORA Gate implementation using the unified AuthorityBridge.
Fields§
§bridge: Arc<AuthorityBridge>§prover: Option<Arc<AuditProver>>Implementations§
Source§impl ChoraGate
impl ChoraGate
Sourcepub fn generate_shadow_intent_salt(
&self,
agent_id: Uuid,
nonce: Uuid,
) -> Vec<u8> ⓘ
pub fn generate_shadow_intent_salt( &self, agent_id: Uuid, nonce: Uuid, ) -> Vec<u8> ⓘ
Generates a session-specific salt deriving from the hardware identity (if available). Uses signature-based derivation to ensure unlinkability across requests while maintaining deterministic reproducibility for audits.
Trait Implementations§
Source§impl Gate for ChoraGate
impl Gate for ChoraGate
Source§fn execute_gate<'life0, 'life1, 'life2, 'life3, 'async_trait>(
&'life0 self,
_agent_id: Uuid,
task_prompt: &'life1 str,
suggested_output: &'life2 str,
intent_data: Option<IntentData>,
confidence: f64,
capabilities: &'life3 [Capability],
nonce: Uuid,
) -> Pin<Box<dyn Future<Output = EvidenceCapsule> + Send + 'async_trait>>where
Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
fn execute_gate<'life0, 'life1, 'life2, 'life3, 'async_trait>(
&'life0 self,
_agent_id: Uuid,
task_prompt: &'life1 str,
suggested_output: &'life2 str,
intent_data: Option<IntentData>,
confidence: f64,
capabilities: &'life3 [Capability],
nonce: Uuid,
) -> Pin<Box<dyn Future<Output = EvidenceCapsule> + Send + 'async_trait>>where
Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
Evaluate the current execution state and return a signed Evidence Capsule.
Source§fn verify_token<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>(
&'life0 self,
token: &'life1 ContinuationToken,
expected_aid: Option<&'life2 str>,
expected_intent_hash: Option<&'life3 str>,
expected_circuit_id: Option<&'life4 str>,
) -> Pin<Box<dyn Future<Output = Result<bool, String>> + Send + 'async_trait>>where
Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
fn verify_token<'life0, 'life1, 'life2, 'life3, 'life4, 'async_trait>(
&'life0 self,
token: &'life1 ContinuationToken,
expected_aid: Option<&'life2 str>,
expected_intent_hash: Option<&'life3 str>,
expected_circuit_id: Option<&'life4 str>,
) -> Pin<Box<dyn Future<Output = Result<bool, String>> + Send + 'async_trait>>where
Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
'life2: 'async_trait,
'life3: 'async_trait,
'life4: 'async_trait,
Verify a Continuation Token against the current execution context.
Auto Trait Implementations§
impl Freeze for ChoraGate
impl !RefUnwindSafe for ChoraGate
impl Send for ChoraGate
impl Sync for ChoraGate
impl Unpin for ChoraGate
impl UnsafeUnpin for ChoraGate
impl !UnwindSafe for ChoraGate
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
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> GetSetFdFlags for T
impl<T> GetSetFdFlags for T
Source§fn get_fd_flags(&self) -> Result<FdFlags, Error>where
T: AsFilelike,
fn get_fd_flags(&self) -> Result<FdFlags, Error>where
T: AsFilelike,
Query the “status” flags for the
self file descriptor.Source§fn new_set_fd_flags(&self, fd_flags: FdFlags) -> Result<SetFdFlags<T>, Error>where
T: AsFilelike,
fn new_set_fd_flags(&self, fd_flags: FdFlags) -> Result<SetFdFlags<T>, Error>where
T: AsFilelike,
Source§fn set_fd_flags(&mut self, set_fd_flags: SetFdFlags<T>) -> Result<(), Error>where
T: AsFilelike,
fn set_fd_flags(&mut self, set_fd_flags: SetFdFlags<T>) -> Result<(), Error>where
T: AsFilelike,
Set the “status” flags for the
self file descriptor. Read moreSource§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>
Converts
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>
Converts
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