Module verbs 

uor-addr’s ψ-chain content-address derivation verbs (wiki ADR-024, ADR-035, ADR-036) — one per admissible σ-axis.

The address-derivation inference is the k-invariant branch of the ψ-pipeline applied to a JsonInput:

JsonInput  (canonical-form JCS+NFC bytes)
   ↓ ψ_1 Nerve            (Constraints → SimplicialComplex)
   ↓ ψ_7 PostnikovTower   (SimplicialComplex → PostnikovTower)
   ↓ ψ_8 HomotopyGroups   (PostnikovTower → HomotopyGroups)
   ↓ ψ_9 KInvariants      (HomotopyGroups → KInvariants)
AddressLabel — the κ-label (`<algorithm>:<hex>`)

The verb body is identical across σ-axes — only the output-shape return type differs (one per axis). Foundation’s catamorphism evaluates the chain end-to-end via the application’s ResolverTuple (crate::resolvers::AddressResolverTuple); the canonical hash axis is consumed by ψ_9’s resolver (crate::resolvers::AddressKInvariantResolver), never by the verb body’s term composition (ADR-035 ψ-residuals discipline; the verb_arena_contains_no_sigma_residuals test pins it).

Functions

VERB_TERMS_ADDRESS_INFERENCE

VERB_TERMS_ADDRESS_INFERENCE_BLAKE3

VERB_TERMS_ADDRESS_INFERENCE_KECCAK256

VERB_TERMS_ADDRESS_INFERENCE_SHA3_256

VERB_TERMS_ADDRESS_INFERENCE_SHA512

address_inference

address_inference_blake3

address_inference_blake3_term_arena

address_inference_keccak256

address_inference_keccak256_term_arena

address_inference_sha3_256

address_inference_sha3_256_term_arena

address_inference_sha512

address_inference_sha512_term_arena

address_inference_term_arena