IX-111 · Evidence · INTERACTIVE LAW STUDY
Selection decisions
Read every keep and rejection. Change a variable, run the law, and inspect the result.
Read every keep and rejection.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
Bounded source sieve on [0,256). Stripe settings are fixed open, modulus 4 drops residue 1. Individual stride and XOR residue witnesses are shown separately.
Source: engine:crates/wlaw/src/sieve.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.