INDEXIN / ENGINE LABS

IX-114 · Worlds · INTERACTIVE LAW STUDY

Horizon bounds

A gully sees a different sky. Change a variable, run the law, and inspect the result.

LAW / CONSTRAINTstop a bearing when (top − h₀)/distance ≤ best tangent
A gully sees a different sky.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 early-exit bake is compared with all 18 rings on an analytic bounded gully. Eight bearings are sampled; this is not global illumination. The bound is valid because the declared top is a true ceiling.

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