Get started

proof-engine run mw32zy

Mail: Mail propose move

A machine ran this test against a real Quox install and recorded the result. Nobody marked it by hand.

Passed

Case
mail/mail-propose-move
Run at
2026-11-05 05:05 UTC
Ran on
another install (other)
Checks fingerprint
8a990e827d2b
Evidence id
ev_mw32zy1j_b29aba

What this test checks

  • no_toolQuox did not use a tool that was ruled out
  • not_saysThe answer makes none of the ruled-out claims
  • toolQuox used the expected tool, and it succeeded

The fingerprint is a hash of the test's checks: if the test ever changes, so does the fingerprint, so an old pass can never stand in for a new test.