uor-foundation 0.2.1

UOR Foundation — typed Rust traits for the complete ontology. Import and implement.
Documentation

uor-foundation

The complete UOR Foundation ontology encoded as typed Rust traits. Import and implement.

Contents

  • 33 namespaces
  • 457 OWL classes (one trait each)
  • 928 OWL properties (one method each)
  • 3443 named individuals (constants and enums)
  • enforcement module with declarative builders and opaque witnesses
  • uor! proc macro for compile-time term-language DSL

Quick start

[dependencies]
uor-foundation = "0.2.1"

use uor_foundation::Primitives;

struct MyImpl;
impl Primitives for MyImpl {
    type String = str;
    type Integer = i64;
    type NonNegativeInteger = u64;
    type PositiveInteger = u64;
    type Decimal = f64;
    type Boolean = bool;
}

Then implement any foundation trait with your chosen primitives:

use uor_foundation::bridge::partition::FreeRank;

impl FreeRank<MyImpl> for MyFreeRank {
    // ...
}

Module structure

Module Space Description
kernel::address Kernel Content-addressable identifiers for ring elements
kernel::schema Kernel Core value types and term language for the UOR ring substrate
kernel::op Kernel Ring operations, involutions, algebraic identities, and the dihedral symmetry group D_{2^n} generated by neg and bnot
bridge::query Bridge Information extraction queries
bridge::resolver Bridge Type resolution strategies implementing the partition map Π : T_n → Part(R_n)
user::type_ User Runtime type declarations that parameterize the resolution pipeline
bridge::partition Bridge Irreducibility partitions produced by type resolution
bridge::observable Bridge Observable quantities and metrics computed by the UOR kernel
kernel::carry Kernel Carry chain algebra: generate/propagate/kill event classification, carry profiles, encoding configurations, and encoding quality metrics for d_Δ optimization
bridge::homology Bridge Simplicial complexes, chain complexes, boundary operators, and homology groups for structural reasoning
bridge::cohomology Bridge Cochain complexes, sheaf cohomology, and local-to-global obstruction detection
bridge::proof Bridge Kernel-produced verification proofs attesting to algebraic properties of UOR objects and operations
bridge::derivation Bridge Computation witnesses recording term rewriting sequences from original terms to their canonical forms
bridge::trace Bridge Execution traces recording the sequence of kernel operations, intermediate results, and accumulated metrics for a computation
bridge::cert Bridge Kernel-produced attestation certificates for transforms, isometries, and involutions
user::morphism User Runtime abstractions for maps between UOR objects: transforms, isometries, embeddings, and group actions
user::state User Parameterized address spaces, context management, binding lifecycle, and state transitions
kernel::reduction Kernel Sequential composition of ψ-maps into a parameterized reduction ψ = ψ_9 ∘ … ∘ ψ_1
kernel::convergence Kernel Hopf convergence tower: four levels R, C, H, O corresponding to the four normed division algebras of dimensions 1, 2, 4, 8
kernel::division Kernel The four normed division algebras R, C, H, O and the Cayley-Dickson construction
bridge::interaction Bridge Multi-entity interaction: commutator states, associator triples, negotiation convergence
kernel::monoidal Kernel Sequential composition of computations via monoidal product A ⊗ B
kernel::operad Kernel Structural type nesting via operad composition
kernel::effect Kernel Typed endomorphisms on state:Context classified by site target
kernel::predicate Kernel Boolean-valued functions on kernel objects
kernel::parallel Kernel Independent computations over provably disjoint site budgets
kernel::stream Kernel Coinductive sequences of reduction epochs
kernel::failure Kernel Partial computations, typed failure propagation, and recovery
kernel::linear Kernel Linear discipline on site consumption
kernel::recursion Kernel Self-referential computations with well-founded descent measures guaranteeing termination
kernel::region Kernel Spatial locality of content-addressed ring elements
bridge::boundary Bridge Typed interface between kernel computation and the external world
bridge::conformance_ Bridge SHACL-equivalent constraint shapes defining what a Prism implementation must provide at each extension point
enums — Controlled vocabulary enums (WittLevel, PrimitiveOp, etc.)
enforcement — Opaque witnesses, declarative builders, Term AST

Features

This crate is #![no_std] with zero mandatory dependencies. The uor! proc macro (from uor-foundation-macros) parses term-language expressions at compile time.

License

Apache-2.0 — see LICENSE.