Expand description
AddressResolverTuple — the single eight-resolver tower shared by
every UOR-ADDR realization (ADR-036).
Under ADR-060 the realization’s canonical form flows through the
pipeline as a source-polymorphic [TermValue] carrier produced by the
input’s as_binding_value (see crate::common::AddressInput). The
ψ-tower is therefore format-independent: ψ₁ (nerve) … ψ₈ thread the
carrier through unchanged, and ψ₉ (k-invariants) folds the carrier
through the σ-axis H chunk-by-chunk — never materializing it — and
emits the H::LABEL_BYTES-wide ASCII κ-label <algorithm>:<hex> as an
Inline carrier (see crate::hash for the admissible axes).
§Why this is hand-written (not resolver!-emitted)
foundation 0.5.2 generalized the resolver traits to an unbounded H
(so a 64-byte Sha512Hasher σ-axis composes), but the SDK 0.5.2
resolver! macro still emits H: Hasher (= Hasher<32>) bounds on the
generated tuple impls — which would exclude Sha512Hasher. The tower is
therefore written out by hand, bound on the fingerprint-width-erased
AddrHash façade (crate::hash) so the single tuple carries every
admissible axis (32- and 64-byte) without a free FP_MAX parameter.
Structs§
- Address
Chain Complex Resolver - Address
Cochain Complex Resolver - Address
Cohomology Group Resolver - Address
Homology Group Resolver - Address
Homotopy Group Resolver - AddressK
Invariant Resolver - Address
Nerve Resolver - Address
Postnikov Resolver - Address
Resolver Tuple - The single eight-resolver ψ-tower shared by every realization.