Skip to content
Browse chapters
Imports

Compact natural-number fields for strict Chapter 34 languages

This facade exports a canonical big-endian semantic codec, logarithmic physical-size bounds, a fixed unary-length encoder, and a fixed canonicality validator. It intentionally does not expose a binary-to-unary decoder: expanding an m-bit value may require 2 ^ m output cells.