pub enum ExportSignature {
Persona {
domain: Vec<String>,
tone: String,
confidence_threshold: Option<f64>,
},
Anchor {
constraint_hash: String,
on_violation: String,
},
Flow {
params: Vec<(String, String)>,
output_type: String,
step_count: usize,
},
Shield {
scan: Vec<String>,
on_breach: String,
},
Tool {
effects: Vec<String>,
risk: Option<String>,
provider: String,
requires: Vec<String>,
},
Resource {
resource_kind: String,
capacity: Option<i64>,
lifetime: String,
},
Other {
other_kind: String,
},
}Expand description
One exported declaration’s signature. Six kinds carry structured
fields (the ones cross-module validation and trust decisions consume);
every other named kind exports as Other { kind } — name + kind is
exactly what the checker’s symbol table needs for it, and nothing
body-derived is ever consumed cross-module before the merged
revalidation (which sees full declarations).
Variants§
Persona
Anchor
Fields
Flow
Shield
Tool
Fields
§
requires: Vec<String>v2.77.0 — the authorization scopes the tool requires.
PUBLIC surface: an importer must see the scope demands (axon-T956
coverage), and the interface_hash must cover it so a requires:
change invalidates every dependent (early-cutoff soundness, v2.76.0).
Elided when empty ⇒ every pre-v2.77.0 tool’s .axi is byte-identical.
Resource
Other
Implementations§
Trait Implementations§
Source§impl Clone for ExportSignature
impl Clone for ExportSignature
Source§fn clone(&self) -> ExportSignature
fn clone(&self) -> ExportSignature
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ExportSignature
impl Debug for ExportSignature
Source§impl<'de> Deserialize<'de> for ExportSignature
impl<'de> Deserialize<'de> for ExportSignature
Source§fn deserialize<__D>(
__deserializer: __D,
) -> Result<ExportSignature, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(
__deserializer: __D,
) -> Result<ExportSignature, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl PartialEq for ExportSignature
impl PartialEq for ExportSignature
Source§impl Serialize for ExportSignature
impl Serialize for ExportSignature
Source§fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
Serialize this value into the given Serde serializer. Read more
impl StructuralPartialEq for ExportSignature
Auto Trait Implementations§
impl Freeze for ExportSignature
impl RefUnwindSafe for ExportSignature
impl Send for ExportSignature
impl Sync for ExportSignature
impl Unpin for ExportSignature
impl UnsafeUnpin for ExportSignature
impl UnwindSafe for ExportSignature
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