uor-foundation 0.3.0

UOR Foundation — typed Rust traits for the complete ontology. Import and implement.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103

// @generated by uor-crate from uor-ontology — do not edit manually

//! `interaction/` namespace — Multi-entity interaction: commutator states, associator triples, negotiation convergence..
//!
//! Space: Bridge

use crate::HostTypes;

/// Two entities sharing sites through composed operations. Properties: entityA, entityB, sharedSiteMask, commutatorNorm.
pub trait InteractionContext<H: HostTypes> {
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// First entity in the interaction context.
    fn entity_a(&self) -> &Self::TermExpression;
    /// Second entity in the interaction context.
    fn entity_b(&self) -> &Self::TermExpression;
    /// Bitmask identifying which sites are shared between the two entities.
    fn shared_site_mask(&self) -> u64;
    /// The norm of the commutator on shared sites. Zero iff the operators commute.
    fn commutator_norm(&self) -> H::Decimal;
}

/// The norm ‖\[δ_A, ι_B\]‖ on shared sites. Zero iff operators commute on the shared domain.
pub trait CommutatorState<H: HostTypes> {
    /// The computed commutator norm value.
    fn commutator_value(&self) -> H::Decimal;
}

/// The norm of the three-way associator on shared sites.
pub trait AssociatorState<H: HostTypes> {
    /// The norm of the three-way associator on shared sites.
    fn associator_norm(&self) -> H::Decimal;
}

/// Three entities whose interaction exhibits non-associativity due to read-write interleaving.
pub trait AssociatorTriple<H: HostTypes> {
    /// Associated type for `Datum`.
    type Datum: crate::kernel::schema::Datum<H>;
    /// First component datum in the associator triple.
    fn triple_component_a(&self) -> &Self::Datum;
    /// Second component datum in the associator triple.
    fn triple_component_b(&self) -> &Self::Datum;
    /// Third component datum in the associator triple.
    fn triple_component_c(&self) -> &Self::Datum;
    /// Associated type for `Observable`.
    type Observable: crate::bridge::observable::Observable<H>;
    /// Reference to the observable describing the associativity profile.
    fn associator_profile_ref(&self) -> &Self::Observable;
    /// The maximum norm of the associator for this triple.
    fn associator_norm_value(&self) -> H::Decimal;
}

/// A site shared by all three entities in an AssociatorTriple.
pub trait ThreeWaySite<H: HostTypes> {
    /// The position index of the shared site.
    fn site_position(&self) -> u64;
    /// Value under left-associative grouping (AB)C.
    fn left_grouping_value(&self) -> H::Decimal;
    /// Value under right-associative grouping A(BC).
    fn right_grouping_value(&self) -> H::Decimal;
    /// Whether this site is pinned by a lease constraint.
    fn is_pinned(&self) -> bool;
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// Identifier of the entity pair that pins this site.
    fn pinning_pair(&self) -> &Self::TermExpression;
}

/// Sequence of CommutatorStates across interaction steps.
pub trait NegotiationTrace<H: HostTypes> {
    /// Number of steps in the negotiation trace.
    fn negotiation_steps(&self) -> u64;
    /// Whether the trace converges to zero commutator or zero associator.
    fn is_convergent(&self) -> bool;
    /// The number of steps in a negotiation trace.
    fn trace_length(&self) -> u64;
    /// The rate at which the negotiation trace converges.
    fn convergence_rate(&self) -> H::Decimal;
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The terminal value of the negotiation trace.
    fn terminal_value(&self) -> &Self::TermExpression;
}

/// Sequence of AssociatorStates across interaction steps.
pub trait MutualModelTrace<H: HostTypes> {
    /// Whether the mutual model trace converges.
    fn model_convergent(&self) -> bool;
}

/// Simplicial complex of N-entity coupling.
pub trait InteractionNerve<H: HostTypes> {
    /// Maximum dimension of the interaction nerve simplicial complex.
    fn nerve_dimension(&self) -> u64;
    /// Betti number sequence of the interaction nerve.
    fn nerve_betti_numbers(&self) -> u64;
}

/// IC(A,B) = κ(session(A,B)). Combined interaction-composition operator.
pub trait InteractionComposition<H: HostTypes> {
    /// Depth of the interaction composition reification.
    fn reification_depth(&self) -> u64;
}