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

use crate::category::Category;
use crate::ontology::Ontology;

/// Validate an ontology completely.
///
/// Checks category laws (identity, associativity, closure) + all axioms.
pub fn check_ontology<O: Ontology>() -> Result<(), Vec<String>>
where
    <O::Cat as Category>::Morphism: PartialEq,
{
    O::validate()
}