Entrenchment gate on u: per-step check cost and scaling as the accumulated spec grows

[treyfurg]

When an entrenchment gate is installed on u, meaning a rule that only forwards updates entailing P and the gate itself, what does that check cost per step? And how does the cost scale as the accumulated spec grows? Do you have benchmarks at 10, 100, 1,000 accepted amendments?