INDEXIN / ENGINE LABS

IX-96 · Strategy · INTERACTIVE LAW STUDY

Sieve roads

Let an address decide the next bend. Change a variable, run the law, and inspect the result.

LAW / CONSTRAINTkept(seed + 7i) chooses the swing; kept(a+1) chooses its width
Let an address decide the next bend.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

The source switchback has 12 segments including the keep run-in. This is wtd’s road, distinct from Silo Line’s straight playable road. Sampled points are checked against road.off.

Source: engine:crates/wtd/src/road.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)