Default cost model for the bundled runtime. WCMU value-slot size
matches the runtime’s VALUE_SLOT_SIZE_BYTES. WCET pipelined
cycles come from the unmeasured table provided by
nominal_op_cycles.
Address size in bits assumed by this runtime build, encoded as the
base-2 exponent. Actual width in bits is
1 << RUNTIME_ADDRESS_BITS_LOG2. The current Keleusma runtime
targets 64-bit address spaces, so the exponent is 6.
Floating-point width in bits assumed by this runtime build, encoded
as the base-2 exponent. Actual width in bits is
1 << RUNTIME_FLOAT_BITS_LOG2. The current Keleusma runtime uses
f64 exclusively, so the exponent is 6. Narrower or wider floats
(f32 = 5, f128 = 7) are reserved for future portability work
tracked under B10.
Word size in bits assumed by this runtime build, encoded as the
base-2 exponent. Actual width in bits is 1 << RUNTIME_WORD_BITS_LOG2.
The current Keleusma runtime uses 64-bit words (i64 and f64), so the
exponent is 6.
Size in bytes of one operand-stack slot, namely the size of Value on
the modern 64-bit target. The actual core::mem::size_of::<Value>() is
implementation-dependent and may include padding to align variant
discriminators. For WCMU analysis, the conservative upper bound is
chosen so that the analysis remains sound even if the runtime
representation grows.
The pipelined-cycle cost table used by NOMINAL_COST_MODEL.
Returns unmeasured pipelined-cycle estimates per the documented
scale. The values are intended to be replaced with measured
pipelined cycles during deployment validation.