Get started

proof-engine run mvb1zr

Receipts: Witness health

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

Passed

Case
receipts/witness-health
Run at
2026-10-16 14:19 UTC
Ran on
our own install (dev)
Checks fingerprint
ed0ee30fa935
Evidence id
ev_mvb1zr9m_8118c0

What this test checks

  • no_toolQuox did not use a tool that was ruled out
  • saysThe answer states the value the system really returned
  • says_anyThe answer says one of the accepted things
  • 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.