INDEXIN / ENGINE LABS

IX-93 · Worlds · INTERACTIVE LAW STUDY

Settlement addresses

Seek the next town without searching. Change a variable, run the law, and inspect the result.

LAW / CONSTRAINTnext = ceil((g + 1) / 2ᵏ) × 2ᵏ − 1
Seek the next town without searching.Loading the pinned engine…

WHY THIS RESULT?

Inspect the decision

Click the drawing or use its arrow keys. This record comes from the calculation shown above.

WHAT THIS DEMONSTRATES

Scope and evidence

Direct seeking is compared with enumeration. The visible window is finite; “none here” does not mean no settlement exists. Global addresses stay fixed when the window moves.

Source: engine:crates/wbuild/src/city.rs

Save, share or replay this study

The study contains parameters and a result digest, not executable code. Its adapter and binary revision must match.

Calculated records (first 80,000 characters)