Why 'Revocation Complete' Should Be Argued, Not Shown as a Status Badge
A side-effect row marked revoked is shown on screen as a green badge, but the author argues this label is a conclusion that bundles several unverified claims. Checking whether a revocation actually completed requires confirming that compensation ran, the target returned to its prior state, and the external system responded. The author proposes a three-valued model with an explicit unknown state rather than a boolean, since a false result means only that restoration is unproven. The approach adds a refutation path that compares declared and held state, flagging disputes instead of reporting completion. The mechanism is part of the open-source KeelBase runtime, though the author notes some parts remain untested end to end.
This is an AI-generated summary. ShortSingh links to the original source for the complete article.


Discussion (0)
Log in to join the discussion and vote.
Log in