ExecutionIntent

Module: envelope::ExecutionIntent

Contents

Functions

• resource_display - Derive a display / scope-check string from the resource map.
• resource_map_from - Build a resource map from a display-form string host[/path].

---

firma_core::envelope::ExecutionIntent::resource_display

Function

Derive a display / scope-check string from the resource map.

Returns format!("{host}{path}") where missing keys resolve to an empty string. Consumed by scope prefix matching, Cedar resource string attributes, and connector URL construction (scheme://{resource_display}).

fn resource_display(self: &Self) -> String

firma_core::envelope::ExecutionIntent::resource_map_from

Function

Build a resource map from a display-form string host[/path].

Strips a leading https:// / http:// if present, then splits the remainder at the first / into host and path keys. Convenience constructor for tests and synthetic envelopes (passthrough, deny-only). Production normalization uses the IntentNormalizer which fills the map field-by-field including the optional provider tag.

fn resource_map_from(host_path: &str) -> BTreeMap<String, String>