uor_addr/variant/mod.rs
1//! **`uor_addr::variant` — UOR-ADDR's cost-model-bearing variants**
2//! (ARCHITECTURE.md "Cost-model-bearing variants").
3//!
4//! Every variant in this module specializes one of UOR-ADDR's
5//! format-specific realizations (typically [`crate::json`]) by
6//! binding a **non-default** `C: TypedCommitment` at the
7//! `PrismModel` declaration. The κ-derivation itself is unchanged;
8//! the `C` selection adds typed-bandwidth admission predicates per
9//! ADR-048's cost-model surface plus QS-06's exemplar shape.
10//!
11//! Architectural commitment: UOR-ADDR's surface admits any
12//! `C: TypedCommitment` parameterization through the same
13//! `PrismModel` declaration form. The variants in this module
14//! demonstrate the parameterization through concrete realizations.
15//!
16//! ## Shipped variants
17//!
18//! - [`storage`] — content-addressed-storage variant binding
19//! `C = AndCommitment<EmptyCommitment, SingletonCommitment<LexicographicLessEqThreshold>>`.
20//! The κ-label's emission carries a typed-bandwidth admission of
21//! the κ-label into the storage tier (the threshold selects which
22//! κ-labels admit to the cost-bearing tier).
23//! - [`signed`] — signature-required-on-emission variant binding
24//! `C = SingletonCommitment<UltrametricCloseTo<2>>`. The published
25//! `UltrametricCloseTo` predicate admits κ-labels whose σ-projection
26//! digest is ultrametrically close (2-adic-prefix-aligned) to the
27//! signature reference — the byte-shape property an ADR-049
28//! `axis::cryptanalyze` signature witness validates.
29
30pub mod signed;
31pub mod storage;