STRIDE / STRIPE / SIEVE / SET ALGEBRA
One law makes a pattern.
Combine them. See why.
Weave named selections together. Change a branch and see exactly what enters or leaves the result.
Build the expression
Difference means left minus right. XOR keeps exactly one side. Every leaf keeps its own finite range.
Edit the selected law
View window
Compare a change
Pin this expression before changing a branch.
Share the expression
JSON stores the full law tree. The view window and temporary baseline stay in this page.
SAME ADDRESSES / DIFFERENT DECISIONS
Watch the laws combine
FOLLOW THE DECISION
Full arithmetic explanation
Address strips show set membership, not coordinate-space corridors. No entrance or passage is forced into the selection. Composition supports 63 nodes, depth 8 and exact safe-integer addresses. This view is capped at 256 addresses; library pagination has a separate node-work budget. No minimum period or unbounded enumeration is claimed. JSON is a separate versioned composition format; existing IX1 selection codes keep their meaning.