pr4xis 0.23.1

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
//! Provenance — the substrate ontology grounding `ontology/meta.rs`.
//!
//! Names the W3C PROV-O (2013) concepts (Artifact, Activity, Agent,
//! Source, Citation, …) that core's `Provenance.citation` and
//! `Provenance.module_path` fields realise.

pub mod ontology;

pub use ontology::{IsProvOCore, ProvenanceCategory, ProvenanceConcept, ProvenanceOntology};