Module storage 

uor_addr::variant::storage — the cost-model-bearing variant (ARCHITECTURE.md “Cost-model-bearing variants” § uor-addr-storage).

Content-addressed-storage realization of UOR-ADDR, binding the 5th model parameter to a non-default C: TypedCommitment per ADR-048. The κ-derivation surface is identical to crate::json’s; the only difference is the C selection, which expresses the storage tier’s typed-bandwidth admission of κ-labels as a typed ObservablePredicate conjunction per ADR-047 U6’s bandwidth-additivity.

Concrete C selection

C = AndCommitment<
        EmptyCommitment,
        SingletonCommitment<LexicographicLessEqThreshold>,
    >

The architectural commitment per ARCHITECTURE.md is AndCommitment<EmptyCommitment, PayloadCommitment<K>> where PayloadCommitment<K> is a K-bit typed-bandwidth admission predicate. prism::pipeline does not currently publish a PayloadCommitment<K> primitive; the closest standing ObservablePredicate from the foundation’s published roster is [LexicographicLessEqThreshold] (a big-endian unsigned threshold comparison; admits κ-labels whose σ-projection’s digest is lexicographically ≤ target). This module binds the published primitive directly so the variant is fully working against the foundation’s published surface; the storage variant’s accept_prob is determined by the threshold (K-bit payload admission is 2^-K; the shipped 50% threshold is the corresponding K = 1 case).

When PayloadCommitment<K> lands in prism::pipeline, this module will be retargeted at it; the architectural surface — the AndCommitment<EmptyCommitment, …> shape — does not change.

Threshold selection

STORAGE_THRESHOLD is a 32-byte big-endian target that admits approximately 50% of κ-labels (digest’s high byte ≤ 0x7F). This is the minimum non-trivial threshold demonstrating the architectural surface admits non-default C selections.

Wiki commitments

• ADR-048 C: TypedCommitment — the 5th PrismModel parameter binds the cost-model commitment; the model declaration in AddressStorageModel supplies a non-default selection.
• ADR-047 U6 bandwidth-additivity — AndCommitment<A, B> composes via bandwidth-bits addition per the Hardening Principle’s U6 axiom.
• QS-06 storage-tier admission — the κ-label’s admission to the storage tier is determined by the typed predicate; the surface model demonstrates the QS-06 exemplar shape.

Structs

AddressStorageModel

AddressStorageRoute

Constants

STORAGE_COMMITMENT_INSTANCE

The storage commitment instance — used by the model’s fn commitment() clause to supply the runtime instance the catamorphism’s CommitmentEvaluated trace event consults.

STORAGE_THRESHOLD

The storage-admission threshold — a 32-byte big-endian target admitting approximately 50% of κ-labels. The predicate accepts iff the digest’s big-endian unsigned integer value is ≤ this target.

Type Aliases

StorageCommitment

The cost-model commitment type for the storage variant — the architectural AndCommitment<EmptyCommitment, …> shape.