pub enum EndpointKind {
NoteOfKind(&'static str),
EntityOfKind(&'static str),
EntityOfType {
kind: &'static str,
entity_type: &'static str,
},
}Expand description
Match spec for one end of an EdgeEndpointRule.
Identifies a substrate + kind pair that the rule applies to. Note that
kind strings refer to the pack-declared note kinds / entity kinds — not
the closed EdgeRelation set, which is universal.
Variants§
NoteOfKind(&'static str)
A note whose kind field equals the given string (e.g. "task").
EntityOfKind(&'static str)
An entity whose kind field equals the given string (e.g. "concept").
EntityOfType
An entity whose base kind AND entity_type subtype both match the
given strings (e.g. kind: "concept", entity_type: "theorem"). Both
fields must match — enforcing the (EntityKind, entity_type) registry
invariant required by ADR-001:102. Required for granular entity subtypes
(formal-math theorem/definition, AMR gene/drug/pathogen): EntityOfKind
only sees the base kind ("concept"), so an EntityOfKind("theorem")
rule is silently inert. Additive — tightens nothing in the closed relation
set.
Trait Implementations§
Source§impl Clone for EndpointKind
impl Clone for EndpointKind
Source§fn clone(&self) -> EndpointKind
fn clone(&self) -> EndpointKind
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read more