parameters

foculus parameters every constant referenced across `specs/`, collected once. most of what follows is not yet a chosen protocol constant -- it is an illustrative value reused across worked examples because reusing one number let those examples compose. this document exists to make that gap visible…

parameter decisions field: Goldilocks Why not 31-bit fields: capacity=8 at 31 bits yields only 124 bits collision resistance. Why not 254-bit: multiprecision costs ~10x more than native 64-bit. Why Goldilocks (p = 2^64 - 2^32 + 1): native CPU width — single 64-bit register per element fast…