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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155

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

//! `cohomology/` namespace — Cochain complexes, sheaf cohomology, and local-to-global obstruction detection..
//!
//! Space: Bridge

use crate::HostTypes;

/// A cochain group: the dual of a chain group, maps chains to coefficients.
pub trait CochainGroup<H: HostTypes> {
    /// The degree k of this cochain group C^k.
    fn cochain_degree(&self) -> i64;
    /// The rank (dimension) of this cochain group.
    fn cochain_rank(&self) -> u64;
    /// Associated type for `ChainGroup`.
    type ChainGroup: crate::bridge::homology::ChainGroup<H>;
    /// The chain group that this cochain group is dual to.
    fn dual_of(&self) -> &Self::ChainGroup;
}

/// The coboundary operator δ^k: C^k → C^{k+1}. Satisfies δ² = 0.
pub trait CoboundaryOperator<H: HostTypes> {
    /// Associated type for `CochainGroup`.
    type CochainGroup: CochainGroup<H>;
    /// The source cochain group of this coboundary operator.
    fn coboundary_source(&self) -> &Self::CochainGroup;
    /// The target cochain group of this coboundary operator.
    fn coboundary_target(&self) -> &Self::CochainGroup;
    /// Whether this coboundary operator satisfies δ² = 0.
    fn satisfies_coboundary_squared_zero(&self) -> bool;
}

/// A cochain complex: a sequence of cochain groups connected by coboundary operators.
pub trait CochainComplex<H: HostTypes> {
    /// Associated type for `CochainGroup`.
    type CochainGroup: CochainGroup<H>;
    /// A cochain group belonging to this cochain complex.
    fn has_cochain_group(&self) -> &[Self::CochainGroup];
    /// Associated type for `CoboundaryOperator`.
    type CoboundaryOperator: CoboundaryOperator<H>;
    /// A coboundary operator belonging to this cochain complex.
    fn has_coboundary(&self) -> &[Self::CoboundaryOperator];
}

/// The k-th cohomology group H^k = ker(δ^k) / im(δ^{k-1}). Measures k-dimensional obstructions.
pub trait CohomologyGroup<H: HostTypes> {
    /// The degree k of this cohomology group H^k.
    fn cohomology_degree(&self) -> i64;
    /// The rank (dimension) of this cohomology group.
    fn cohomology_rank(&self) -> u64;
}

/// A sheaf F over a simplicial complex: assigns data to each simplex with restriction maps.
pub trait Sheaf<H: HostTypes> {
    /// Associated type for `SimplicialComplex`.
    type SimplicialComplex: crate::bridge::homology::SimplicialComplex<H>;
    /// The simplicial complex that this sheaf is defined over.
    fn sheaf_over(&self) -> &Self::SimplicialComplex;
    /// Associated type for `Ring`.
    type Ring: crate::kernel::schema::Ring<H>;
    /// The coefficient ring of this sheaf.
    fn coefficient_in(&self) -> &Self::Ring;
    /// Associated type for `Stalk`.
    type Stalk: Stalk<H>;
    /// A stalk belonging to this sheaf.
    fn has_stalks(&self) -> &[Self::Stalk];
    /// Associated type for `Section`.
    type Section: Section<H>;
    /// A global section of this sheaf.
    fn has_global_section(&self) -> &[Self::Section];
}

/// A stalk F_σ: the local data of a sheaf at a simplex σ.
pub trait Stalk<H: HostTypes> {
    /// Associated type for `Simplex`.
    type Simplex: crate::bridge::homology::Simplex<H>;
    /// The simplex at which this stalk is located.
    fn stalk_at(&self) -> &Self::Simplex;
}

/// A global section of a sheaf: a consistent choice of local data across all simplices.
pub trait Section<H: HostTypes> {}

/// A local section: a consistent choice of data over a subcomplex.
pub trait LocalSection<H: HostTypes>: Section<H> {}

/// A restriction map ρ_{σ,τ}: maps data from a simplex to a face.
pub trait RestrictionMap<H: HostTypes> {
    /// Associated type for `Simplex`.
    type Simplex: crate::bridge::homology::Simplex<H>;
    /// The source simplex of this restriction map.
    fn restricts_from(&self) -> &Self::Simplex;
    /// The target simplex (face) of this restriction map.
    fn restricts_to(&self) -> &Self::Simplex;
}

/// A gluing obstruction: a cohomology class that detects when local sections fail to glue.
pub trait GluingObstruction<H: HostTypes> {
    /// Associated type for `CohomologyGroup`.
    type CohomologyGroup: CohomologyGroup<H>;
    /// The cohomology class that this gluing obstruction represents.
    fn obstruction_class(&self) -> &Self::CohomologyGroup;
    /// Associated type for `RefinementSuggestion`.
    type RefinementSuggestion: crate::bridge::resolver::RefinementSuggestion<H>;
    /// The refinement suggestion that, if applied, would resolve this gluing obstruction. Computed by the kernel when ψ₆ detects H^1 ≠ 0: the obstruction class indexes the site pair that is incompatible, and the suggestion targets that pair with a new bridging constraint.
    fn addresses_suggestion(&self) -> &[Self::RefinementSuggestion];
}

/// δ² = 0: the coboundary of a coboundary is zero.
pub mod coboundary_squared_zero {
    /// `forAll` -> `term_coboundarySquaredZero_forAll`
    pub const FOR_ALL: &str = "https://uor.foundation/schema/term_coboundarySquaredZero_forAll";
    /// `lhs` -> `term_coboundarySquaredZero_lhs`
    pub const LHS: &str = "https://uor.foundation/schema/term_coboundarySquaredZero_lhs";
    /// `rhs` -> `term_coboundarySquaredZero_rhs`
    pub const RHS: &str = "https://uor.foundation/schema/term_coboundarySquaredZero_rhs";
    /// `verificationDomain` -> `Topological`
    pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}

/// Discrete de Rham duality: H^k ≅ Hom(H_k, R).
pub mod de_rham_duality {
    /// `forAll` -> `term_deRhamDuality_forAll`
    pub const FOR_ALL: &str = "https://uor.foundation/schema/term_deRhamDuality_forAll";
    /// `lhs` -> `term_deRhamDuality_lhs`
    pub const LHS: &str = "https://uor.foundation/schema/term_deRhamDuality_lhs";
    /// `rhs` -> `term_deRhamDuality_rhs`
    pub const RHS: &str = "https://uor.foundation/schema/term_deRhamDuality_rhs";
    /// `verificationDomain` -> `Topological`
    pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}

/// Sheaf cohomology equals simplicial cohomology for constant sheaves.
pub mod sheaf_cohomology_bridge {
    /// `forAll` -> `term_sheafCohomologyBridge_forAll`
    pub const FOR_ALL: &str = "https://uor.foundation/schema/term_sheafCohomologyBridge_forAll";
    /// `lhs` -> `term_sheafCohomologyBridge_lhs`
    pub const LHS: &str = "https://uor.foundation/schema/term_sheafCohomologyBridge_lhs";
    /// `rhs` -> `term_sheafCohomologyBridge_rhs`
    pub const RHS: &str = "https://uor.foundation/schema/term_sheafCohomologyBridge_rhs";
    /// `verificationDomain` -> `Topological`
    pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}

/// Local-global principle: H^1(K; F) = 0 implies all local sections glue to global sections.
pub mod local_global_principle {
    /// `forAll` -> `term_localGlobalPrinciple_forAll`
    pub const FOR_ALL: &str = "https://uor.foundation/schema/term_localGlobalPrinciple_forAll";
    /// `lhs` -> `term_localGlobalPrinciple_lhs`
    pub const LHS: &str = "https://uor.foundation/schema/term_localGlobalPrinciple_lhs";
    /// `rhs` -> `term_localGlobalPrinciple_rhs`
    pub const RHS: &str = "https://uor.foundation/schema/term_localGlobalPrinciple_rhs";
    /// `verificationDomain` -> `Topological`
    pub const VERIFICATION_DOMAIN: &str = "https://uor.foundation/op/Topological";
}