pr4xis 0.6.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
/// Metadata about an ontology — for tracing and introspection.
///
/// Generated automatically by `define_ontology!`. The engine uses this
/// to identify which ontologies participated in a computation.
#[derive(Debug, Clone, Copy)]
pub struct OntologyMeta {
    /// The ontology name (e.g., "BiologyOntology").
    pub name: &'static str,
    /// The module path (e.g., "pr4xis_domains::natural::biomedical::biology").
    pub module_path: &'static str,
}