Struct ScopeDefinition 

pub struct ScopeDefinition {
    pub name: String,
    pub targets: Vec<String>,
    pub depth: String,
    pub approver: String,
    pub loc: Loc,
    pub leading_trivia: Vec<Trivia>,
    pub trailing_trivia: Vec<Trivia>,
}

§Fase 88.a — scope <Name> { targets:, depth:, approver: } — the authorization scope a warden block runs within. The load-bearing safety construct (paper §5.2): it declares which resources may be analysed (targets allowlist), how invasively (depth ceiling), and who authorised it (approver capability). A warden with no resolvable in-scope authorization does not compile (fail-closed). Named + referenced, like cache/cors. Unknown fields are a hard parse error (D83.7): a scope governs an offensive-capable analysis, so a typo can never silently widen it.

Fields

name: String

targets: Vec<String>

targets: [ "<resource>", … ] — the allowlist of resources the operator owns/controls and authorises for analysis. Required + non-empty (§88.c axon-T88x); a target outside this list is a typed rejection.

depth: String

depth: static_artifact | memory_dump | live_network — the MOST invasive analysis depth this scope permits (the ceiling). Closed catalog, ordered least→most invasive; empty ⇒ the safest default static_artifact (§88.c).

approver: String

approver: [requires] "<capability>" — the capability whose holder authorised this scope (segregation of duties, the mandate §21 model). Required (§88.c).

loc: Loc

leading_trivia: Vec<Trivia>

Fase 14.b — leading comment trivia.

trailing_trivia: Vec<Trivia>

Fase 14.b — trailing comment trivia.

Trait Implementations

impl Debug for ScopeDefinition

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

Formats the value using the given formatter.

impl Default for ScopeDefinition

fn default() -> ScopeDefinition

Returns the “default value” for a type.