Struct ActDeclaration 

pub struct ActDeclaration {

    pub form: Option<String>,
    pub form_from: Option<String>,
    pub purpose: Option<String>,
    pub purpose_from: Option<String>,
    pub legitimacy: Option<String>,
    pub legitimacy_from: Option<String>,
    pub reason_from: Option<String>,
    pub target_from: Option<String>,
    pub decision_from: Option<String>,
    pub effect_from: Option<String>,
    pub effect_field_from: Option<String>,
    pub effect_from_input: Option<String>,
    pub effect_type: Option<String>,
    pub effect_prefix: Option<String>,
    pub effect_prefix_from: Option<String>,
    pub actor_from: Option<String>,
    pub authority_from: Option<String>,
    pub authority_term_from: Option<String>,
    pub authority_parent_from: Option<String>,
    pub authority_subset_proof_from: Option<String>,
    pub mint_authority: Option<MintAuthorityDirective>,
    pub requested_scope_from: Option<String>,
    pub previous_from: Option<String>,
    pub reason_step: Option<String>,
    pub effect_step: Option<String>,
}

A skill’s declared act: how a run describes the act it performs. The form and purpose, and how the target, decision, effect, actor, authority, and previous receipt are read, where <field>_from names a trusted input key and the bare field is a static literal (the driver-pinned input wins). The runtime fills the act’s structure from these and the trusted inputs; the model authors only the reason prose. Absent an act: block, a run seals a generic observation.

Fields

form: Option<String>

form_from: Option<String>

purpose: Option<String>

purpose_from: Option<String>

legitimacy: Option<String>

legitimacy_from: Option<String>

reason_from: Option<String>

target_from: Option<String>

decision_from: Option<String>

effect_from: Option<String>

effect_field_from: Option<String>

effect_from_input: Option<String>

effect_type: Option<String>

effect_prefix: Option<String>

effect_prefix_from: Option<String>

actor_from: Option<String>

authority_from: Option<String>

authority_term_from: Option<String>

Charter attenuation: the input key carrying the member’s own authority term (the child grant minted from the charter).

authority_parent_from: Option<String>

The input key carrying the parent (charter) authority reference the child term attenuates from.

authority_subset_proof_from: Option<String>

The input key carrying the subset proof that the child term is no broader than the parent charter.

mint_authority: Option<MintAuthorityDirective>

Compute path (mutually exclusive with the explicit authority_*_from keys above): when present, the runtime mints the child authority term from the charter (resolved from config) off the model path instead of receiving a pre-built term. With MintScopeSource::RequestedScope, the requested child scope is read from the input key named by requested_scope_from.

requested_scope_from: Option<String>

The input key carrying the requested child scope, used only when mint_authority.source is MintScopeSource::RequestedScope.

previous_from: Option<String>

reason_step: Option<String>

Graph turns only: the step whose output supplies the reason prose.

effect_step: Option<String>

Graph turns only: the step whose real result supplies the governed effect.

Trait Implementations

impl Clone for ActDeclaration

fn clone(&self) -> ActDeclaration

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ActDeclaration

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ActDeclaration

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ActDeclaration

impl PartialEq for ActDeclaration

fn eq(&self, other: &ActDeclaration) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ActDeclaration

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ActDeclaration