State evolution

• Every public output method updates seed before returning its derived result.
• Reassigning the same initial seed reproduces the same output sequence.

State model

• Fresh construction initializes seed to 0n32.
• Each public output method updates seed before returning its result.
• The current seed is therefore both the stored generator state and the source of the next derived output.

Generator step

• nextSeed applies one linear congruential step and stores the result back into seed.
• The step is seed = seed * 0x8088405n32 + 1n32, with Nat32 wraparound.
• getr32, getn32, and geti32 each call nextSeed exactly once before returning their derived result.

Output mappings

• nextSeed (-- seed): returns the updated stored Nat32 seed.
• getr32 (-- value): converts the updated seed to Real32 and scales it by 2^-32.
• getn32 (-- value): squares the updated seed in Nat64, shifts right by 32, and casts the result to Nat32.
• geti32 (-- value): squares the updated seed in Nat64, shifts right by 32, and casts the result to Int32.

Determinism and replay

• Assigning the same initial seed reproduces the same output sequence.
• Changing seed changes every subsequent derived result.
• The three derived output methods expose different views of the same updated seed stream.

Examples

Initial sequence

"RandomLCG" use
"control" use

{} () {} [
  r: RandomLCG;
  @r.nextSeed printStack _:;
  @r.nextSeed printStack _:;
  @r.getr32 printStack _:;
] "main" exportFunction

Expected Output During Compilation

1n32
134775814n32
0.86105r32

State progression checks

"RandomLCG" use
"control" use

{} () {} [
  r: RandomLCG;
  @r.nextSeed 1n32 same printStack _:;
  @r.nextSeed 134775814n32 same printStack _:;
  @r.getr32 0.86105r32 same printStack _:;
] "main" exportFunction

Expected Output During Compilation

TRUE
TRUE
TRUE

Runtime sequence

"RandomLCG" use
"String" use
"control" use

{} Int32 {} [
  r: RandomLCG;
  ("seed1=" @r.nextSeed LF
   "seed2=" @r.nextSeed LF
   "r32=" @r.getr32 LF) printList
  0
] "main" exportFunction

Expected Output

seed1=1
seed2=134775814
r32=0.86105

See also

• murmurHash: Murmur3 32-bit hashing helpers over raw byte storage.
• sha1: Whole-input and incremental SHA-1 hashing helpers.