pr4xis 0.5.0

Prove your domain is correct — ontology-driven rule enforcement with category theory, logical composition, and runtime state machines
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

/// DOLCE-aligned upper ontology for praxis.
///
/// DOLCE (Descriptive Ontology for Linguistic and Cognitive Engineering) provides
/// the philosophical foundation for classifying everything that exists into
/// fundamental categories. This module defines:
///
/// - [`Being`] — the top-level types of being (DOLCE-inspired)
/// - [`DolceCategory`] — Being as a category with ontological relations
/// - [`Classified`] — trait for domains to declare their ontological type
/// - [`PraxisToDolce`] — functor proving our type system maps to DOLCE
///
/// # Pattern: Ontology Evolution via Functor
///
/// This module demonstrates the praxis pattern for ontology evolution:
/// instead of rewriting the existing type system, we create a new ontology
/// (DOLCE-aligned) alongside it and prove the mapping via functor.
/// The functor preserves identity and composition, guaranteeing that
/// the transformation is structure-preserving.
///
/// This same pattern applies to any ontology migration: create the new
/// category, build a functor from old to new, test the laws, save.
pub mod being;
pub mod category;
pub mod classify;
pub mod functor;

pub use being::Being;
pub use category::{DolceCategory, OntologicalRelation};
pub use classify::Classified;
pub use functor::{PraxisMetaCategory, PraxisToDolce, PraxisType};

#[cfg(test)]
mod tests;