Struct ContainerAccess 

pub struct ContainerAccess {
    pub access: Access,
    pub reads: Vec<String>,
    pub writes: Vec<String>,
    pub detect: BTreeMap<String, bool>,
    pub opaque: bool,
}

One container’s (knot/stitch’s) joined ECS access — the output of folding an EffectRowEntry through the CapabilityManifest and CapabilityRegistry (docs/effects-spec.md §9).

Fields

access: Access

The joined access, in bevy’s own currency (§12.2: “the row-join output is the same currency as bevy’s FilteredAccessSet”). BH-3’s parallel step phase tests flow disjointness with Access::is_compatible on this directly.

reads: Vec<String>

Capability names this container reads, sorted — the human-readable projection of access’s read set, for dump_container_access.

writes: Vec<String>

Capability names this container writes, sorted.

detect: BTreeMap<String, bool>

Capability name → change-detection-backed bit, AND-merged across every call this container’s row (and its dispatch fallbacks) may perform (#913, ruled 2026-07-18): the capability is detect-capable for this container only if EVERY read of it is detect-capable, so a single non-detectable read folds the bit to the conservative false (must-poll). BH-4’s Detect phase (crate::sleep) consumes this to decide a sleeping flow’s re-evaluation cadence.

opaque: bool

Whether any part of this row hit the pessimal top element (docs/effects-spec.md §3: a call whose effects inference couldn’t summarize). When set, access is read_all+write_all rather than the joined capability set — conservative-total, never under-report.

Trait Implementations

impl Clone for ContainerAccess

fn clone(&self) -> ContainerAccess

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContainerAccess

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

Formats the value using the given formatter.

impl Default for ContainerAccess

fn default() -> ContainerAccess

Returns the “default value” for a type.