Enum LinkedRelationTarget 

pub enum LinkedRelationTarget {
    DirectMachine {
        machine_path: &'static [&'static str],
        resolved_machine_type_name: fn() -> &'static str,
        state: &'static str,
    },
    DeclaredReferenceType {
        resolved_type_name: fn() -> &'static str,
    },
    AttestedProducerRoute {
        via_module_path: &'static str,
        route_name: &'static str,
        resolved_route_type_name: fn() -> &'static str,
        route_id: u64,
    },
    AttestedRoute {
        via_module_path: &'static str,
        route_name: &'static str,
        resolved_route_type_name: fn() -> &'static str,
        route_id: u64,
        machine_path: &'static [&'static str],
        resolved_machine_type_name: fn() -> &'static str,
        state: &'static str,
    },
}

Exact target written into one linked relation record.

Variants

DirectMachine

A directly visible machine target written in the scanned type syntax.

Fields

machine_path: &'static [&'static str]

Exact machine path segments resolved from the source type.

resolved_machine_type_name: fn() -> &'static str

Compiler-resolved concrete machine type identity. The codebase export strips the state generic and uses the remaining machine family path as the exact join key, even when the source syntax names a public re-export like flows::task::Flow.

state: &'static str

Target state marker name.

DeclaredReferenceType

A nominal reference type that must resolve through one declaration.

Fields

resolved_type_name: fn() -> &'static str

Compiler-resolved type identity getter for the named reference type.

AttestedProducerRoute

One exact producer route carried through a canonical statum::Attested<_, Route> wrapper or declared through #[via(...)] without a direct machine target at the consumer site.

Fields

via_module_path: &'static str

Machine module path that owns the attested route namespace.

route_name: &'static str

Human-facing attested route name, such as Capture.

resolved_route_type_name: fn() -> &'static str

Compiler-resolved route marker type identity. This is the exact join key across producer registrations and consumer declarations, even when the consumer names a public re-export path.

route_id: u64

Stable route id used to join consumer declarations with producer attested transition metadata.

AttestedRoute

An attested route declared through #[via(...)].

Fields

via_module_path: &'static str

Machine module path that owns the attested route namespace.

route_name: &'static str

Human-facing attested route name, such as Capture.

resolved_route_type_name: fn() -> &'static str

Compiler-resolved route marker type identity. This is the exact join key across producer registrations and consumer declarations, even when the consumer names a public re-export path.

route_id: u64

Stable route id used to join consumer declarations with producer attested transition metadata.

machine_path: &'static [&'static str]

Exact target machine path segments carried by the attested inner machine type.

resolved_machine_type_name: fn() -> &'static str

Compiler-resolved concrete target machine type identity for the attested inner machine. The codebase export strips the state generic and uses the remaining machine family path as the exact join key.

state: &'static str

Target state marker name carried by the attested inner machine type.

Trait Implementations

impl Clone for LinkedRelationTarget

fn clone(&self) -> LinkedRelationTarget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LinkedRelationTarget

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

Formats the value using the given formatter.

impl PartialEq for LinkedRelationTarget

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for LinkedRelationTarget

impl Eq for LinkedRelationTarget