pr4xis 0.27.0

Axiomatic Intelligence — an ontology + category-theory reasoning engine: every claim derived from explicit axioms, with a proof path back to them
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use crate::category::{Category, FinitelyGenerated};
use crate::logic::proof::Verdict;
use crate::ontology::Ontology;
#[allow(unused_imports)]
use alloc::{boxed::Box, format, string::String, string::ToString, vec, vec::Vec};

/// Validate an ontology completely — returns a typed [`Verdict`] aggregating
/// category-law checks and axiom verifications (#162).
///
/// Pattern-match the return. Core does not expose `is_valid() -> bool`
/// helpers (see `feedback_core_no_bool_api`).
pub fn check_ontology<O: Ontology>() -> Verdict
where
    O::Cat: 'static,
    <O::Cat as Category>::Morphism: PartialEq + 'static,
    // The category law checks enumerate objects (closed-world); forwarded from
    // `Ontology::validate`.
    <O::Cat as Category>::Object: FinitelyGenerated,
{
    O::validate()
}