uor-foundation 0.2.1

# uor-foundation

The complete [UOR Foundation](https://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

```toml
[dependencies]
uor-foundation = "0.2.1"
```

```rust
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:

```rust,ignore
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](https://github.com/UOR-Foundation/UOR-Framework/blob/main/LICENSE).