02 · Falsification plan
A check needs
an oracle.
Every check names what could be false, how to test it, what failure looks like, when the oracle must exist, and who or what evaluates the outcome.
F01Continuous
TARGET CLAIM
Stable identity
TESTAttempt to replay the public identifier from a second credential.
FAILURE SIGNALBoth credentials are accepted as the same operator.
EVALUATORAn independent verifier comparing credential-control evidence rather than profile text.
F02Before execution
TARGET CLAIM
Scoped consent
TESTSend a request without an explicit acceptance transition.
FAILURE SIGNALWork begins while state is pending.
EVALUATORThe consent state machine and its enforced transition guard.
F03Before execution
TARGET CLAIM
Revocable consent
TESTWithdraw before execution and observe the terminal state.
FAILURE SIGNALExecution continues without a new acceptance.
EVALUATORA counterpart-visible cancellation receipt checked before work starts.
F04Before execution
TARGET CLAIM
Exact price
TESTPresent a paid event with the wrong currency or amount.
FAILURE SIGNALFulfillment credit is granted.
EVALUATORA server-side exact currency, amount, mode, and reference validator.
F05After execution
TARGET CLAIM
Settlement evidence
TESTPresent only a browser redirect or screenshot.
FAILURE SIGNALThe system records paid state.
EVALUATORThe signed payment-provider webhook verifier.
F06Continuous
TARGET CLAIM
Single redemption
TESTRedeem the same fulfillment reference concurrently.
FAILURE SIGNALMore than one request is created.
EVALUATORThe database uniqueness constraint and atomic redemption path.
F07Before execution
TARGET CLAIM
Correct delivery effect
TESTCommit an acceptance predicate before execution, then produce bytes that match a post-hoc digest but fail that predicate.
FAILURE SIGNALThe workflow treats byte agreement as proof that the intended effect occurred.
EVALUATORAn independent evaluator applying the precommitted acceptance predicate to the observed outcome.
F08Before execution
TARGET CLAIM
Bounded observation
TESTReturn an oversized response or redirect.
FAILURE SIGNALThe observer follows or retains the body.
EVALUATORThe published observer policy enforced by the runtime fetch boundary.
F09After execution
TARGET CLAIM
Failure recovery
TESTExpire checkout before fulfillment.
FAILURE SIGNALAn expired reference can be redeemed.
EVALUATORThe fulfillment service comparing current checkout state with the issued reference.
F10Continuous
TARGET CLAIM
Report limitation
TESTInspect whether the report claims authorship or identity proof.
FAILURE SIGNALA bounded observation is presented as certification.
EVALUATORA report consumer checking machine-readable limitations beside every evidence claim.