pub struct TrustedGraphView<'a> {
pub graph: &'a RealityGraph,
/* private fields */
}Expand description
Filtered, policy-governed view over the reality graph.
Fields§
§graph: &'a RealityGraphImplementations§
Source§impl<'a> TrustedGraphView<'a>
impl<'a> TrustedGraphView<'a>
pub fn new( graph: &'a RealityGraph, store: &'a Store, stale_paths: &[String], policy: TrustPolicy, ) -> TrustedGraphView<'a>
pub fn policy(&self) -> &TrustPolicy
pub fn is_stale_path(&self, path: &str) -> bool
pub fn stale_paths(&self) -> Vec<String>
pub fn is_stale_evidence(&self, id: &str) -> bool
pub fn is_stale_entity(&self, id: &str) -> bool
Sourcepub fn entity(&self, id: &str) -> Option<&Entity>
pub fn entity(&self, id: &str) -> Option<&Entity>
Trusted entity lookup: None for entities whose evidence is stale.
Sourcepub fn name_of(&self, id: &str) -> String
pub fn name_of(&self, id: &str) -> String
Display name of an entity id; falls back to the id’s last segment. Entity staleness does not hide the name — callers decide whether the entity may appear in trusted sections.
Sourcepub fn entities(&self) -> impl Iterator<Item = &Entity>
pub fn entities(&self) -> impl Iterator<Item = &Entity>
All entities, staleness-filtered (unfiltered raw map for display helpers that need presence only).
Sourcepub fn entities_of_kind(&self, kind: &str) -> Vec<&Entity>
pub fn entities_of_kind(&self, kind: &str) -> Vec<&Entity>
Entities of a kind (staleness-filtered, name-sorted for determinism).
pub fn out_edges(&self, id: &str) -> Vec<&Relationship>
pub fn in_edges(&self, id: &str) -> Vec<&Relationship>
pub fn out_pred(&self, id: &str, predicate: &str) -> Vec<&Relationship>
pub fn in_pred(&self, id: &str, predicate: &str) -> Vec<&Relationship>
Sourcepub fn all_rels(&self) -> Vec<&Relationship>
pub fn all_rels(&self) -> Vec<&Relationship>
All trusted relationships, sorted by id for determinism.
Sourcepub fn flows(&self) -> Vec<Flow>
pub fn flows(&self) -> Vec<Flow>
Staleness + policy filtered flows. A flow is stale when any step’s evidence is stale; steps whose provenance the policy rejects (INFERRED below the confidence floor) are removed, and a flow left with fewer than two steps is dropped — a low-confidence derived interpretation must never reach the atlas as architecture.
Sourcepub fn invariants(&self) -> Vec<Invariant>
pub fn invariants(&self) -> Vec<Invariant>
Staleness + policy filtered invariants.
Sourcepub fn components(&self) -> Vec<Entity>
pub fn components(&self) -> Vec<Entity>
Staleness + policy filtered components: responsibility/ownership/
dependency CLAIMS rejected by the policy are removed from the
attributes, so include_low_confidence_inference: false really
means low-confidence inferred claims never appear in the atlas.
Sourcepub fn stale_warnings(&self) -> Vec<String>
pub fn stale_warnings(&self) -> Vec<String>
Deterministic stale-fact warnings for pack footers.