Back to app index

Cliff shed build — conflict-aware dual view (prime event structure → configuration category)
Same interaction pattern as your previous app, but the left side is now an event structure with mutually exclusive alternatives (rope vs scaffold vs helicopter). The right side is the category of configurations: down-closed and conflict-free states ordered by inclusion.
How to use this view
What changed
Event structure 101
Conflict heredity
Configuration definition
Enabled events
Decision commitments
Why joins are hard
F and G under conflict
variation
Event structure view: E, ≤, #
Directed edges = prerequisites (≤). Red edges = conflicts (#) between access methods (toggle implied conflicts if you dare).
Implied conflicts: OFF
Clear selection
base
rope branch
scaffold branch
helicopter branch
conflict edge
click nodes to cross-highlight F(e) and G(e)
Configuration category: Cfg(E,≤,#), ⊆
Nodes = conflict-free down-closed histories. Arrows = add one enabled event (cover edges). Node colour = commitment (none / heli / rope / scaffold).
Edge labels: ON
All inclusions: OFF
Download JSON

Inspector

Click an event or a state. This panel explains conflicts/commitments and shows the F and G mappings for the selection.
Title
Close ✕