PROOF LAB / FICTIONAL ILLUSTRATIONS

Same promise.
Change the evidence.

Explore two written examples of how a claim relates to code. These are fictional illustrations with predetermined explanations. This page does not run the Antelier checker.

01 / OWNER FILTER

“Users can delete only their own notes.”

Compare the visible query in these two fictional snippets.

With a user filter

db.from("notes")
  .delete()
  .eq("id", noteId)
  .eq("user_id", user.id);

The query contains an owner filter. That is evidence about this code path. It does not prove that the identity is trustworthy, other paths are protected, or database policies enforce ownership.

Without a user filter

db.from("notes")
  .delete()
  .eq("id", noteId);

This snippet has no explicit owner filter. Database policies could still enforce ownership. The snippet alone cannot settle whether another user can delete the note.

02 / CANCELLATION TIMING

“Cancel the subscription immediately.”

A setting gives you a place to investigate the promise.

Period-end cancellation enabled

subscriptions.update(id, {
  cancel_at_period_end: true
});

In this fictional API, the flag schedules cancellation at period end. That differs from the immediate cancellation promised in the description.

Period-end cancellation disabled

subscriptions.update(id, {
  cancel_at_period_end: false
});

Turning this flag off does not establish immediate cancellation. The surrounding API contract and the actual cancellation operation still need checking.

Now open a recorded check.

Read the actual findings and expandable source hunks from the VS Code replay.

Read the PR evidence →