Module signed 

uor_addr::variant::signed — the signature-required-on- emission cost-model variant (ARCHITECTURE.md “Cost-model-bearing variants” § uor-addr-signed).

Content-addressing variant of the JSON realization that binds the 5th PrismModel parameter to a typed-commitment expressing a signature-shape admission predicate per ADR-049 + ADR-048.

Concrete C selection

C = SingletonCommitment<UltrametricCloseTo>

The architectural commitment per ARCHITECTURE.md is SingletonCommitment<SignatureCommitmentPredicate> where SignatureCommitmentPredicate is a per-κ-label signature-shape ObservablePredicate. The foundation’s ObservablePredicate trait is sealed via __sdk_seal::Sealed — application code cannot introduce new predicates without a foundation-level extension. The closest published ObservablePredicate from prism::pipeline’s roster that fits the “signature-admission-shape” semantics is [UltrametricCloseTo]: it admits κ-labels whose σ-projection’s digest is ultrametrically close (Hamming-prefix-aligned) to a configured target — the same byte-shape property a signature commitment per ADR-049’s axis::cryptanalyze witness would validate.

When prism::pipeline publishes a SignatureCommitmentPredicate primitive, this module retargets; the architectural surface — the SingletonCommitment<…> shape — does not change.

Authoritative sources

• ADR-048 typed-commitment surface (https://github.com/UOR-Foundation/UOR-Framework/wiki/ADR-048).
• ADR-049 axis::cryptanalyze witness (https://github.com/UOR-Foundation/UOR-Framework/wiki/ADR-049).

Structs

AddressSignedModel

AddressSignedRoute

Constants

SIGNATURE_PROXIMITY_K

The signature-shape proximity threshold — 2-adic valuation ≥ k bits of (digest XOR reference) for admission. The shipped k = 1 yields accept_prob = 1/2 (digest’s LSB matches the reference’s LSB); larger k tightens the signature-shape admission predicate per ADR-049’s bandwidth-additivity.

SIGNATURE_REFERENCE

The signature reference digest — a 32-byte target the κ-label’s digest is XOR-compared against. The predicate’s 2-adic valuation of (digest XOR reference) must be ≥ SIGNATURE_PROXIMITY_K for the signature to admit.

SIGNED_COMMITMENT_INSTANCE

The commitment instance — used by the model’s fn commitment() clause.

Type Aliases

SignedCommitment

The cost-model commitment type for the signed variant — the architectural SingletonCommitment<…> shape.