Understand logically contractive mappings: nonexpansive maps with contraction events, event‑indexed rates, and per‑iteration bounds under gap limits.