Expand description
RingElement — the ring-element typed input handle (UOR-Framework
Amendment 43 §2 Element::canonical_bytes).
Runtime bytes are
canonical_bytes(e) := [witt_level: u8] || [coefficient: u8; witt_level + 1]which is already the canonical form, so under ADR-060 the handle’s
as_binding_value returns the tagged bytes directly as an Inline
[TermValue] carrier (the form is ≤ 5 bytes, well within the
foundation-derived inline width). ψ₉ folds that carrier through the
σ-axis to mint the κ-label.
Structs§
- Ring
Element - Typed ring-element input handle. Runtime bytes follow Amendment 43 §2’s canonical-bytes layout, stored in a fixed-size stack buffer.