🤖 AI Summary
This study addresses dark patterns in financial platforms characterized by easy registration and difficult account cancellation, alongside the absence of ex ante design guidelines. Modeling service providers as adversaries who manipulate effort costs, this work proposes a fairness constraint requiring that exit costs not exceed entry costs. Interaction costs are quantified through navigational steps to establish verifiable criteria without estimating cognitive effort, proving that the constraint holds if and only if the cost of each exit component does not surpass its corresponding entry counterpart. By integrating game theory with formal verification, the authors construct a model incorporating visual parity and language-neutral invariants. This framework is validated on a mobile credit card prototype, demonstrating effective verification of parallel registration and cancellation workflows.
📝 Abstract
Digital financial platforms make enrollment effortless and cancellation laborious. This asymmetry is a dark pattern that manipulates users who have already decided to leave. Existing work identifies such patterns after deployment, and regulators sanction them after harm, yet neither provides designers with a criterion for building interfaces that avoid manipulation. We model the provider as an adversary whose instrument is effort and express fairness as a constraint requiring that leaving never cost more than joining. Defining interaction cost over navigation steps, mandatory inputs, and confirmation prompts, we prove that this constraint holds for every assignment of effort weights if and only if no component of the exit flow exceeds its counterpart at entry. Fairness is therefore verifiable by counting rather than by estimating cognitive effort, and exact equivalence is unnecessary because exit legitimately requires fewer inputs than entry. We instantiate the model, together with invariants for visual parity and linguistic neutrality, in a mobile credit card prototype with parallel sign-up and cancellation workflows.