constraints
conflict-mark
A raw-state escape hatch — marks a value as conflicting with an isOrigin flag. The visual signal that a derivation broke.
Asserted value:42
A value of 42 marked as conflicting with origin — the visual signals a broken derivation.