Test report mv8y7y

Machine verified A machine ran this on our install and checked the result against the CLI. This page is that test report. CLI 0.3.0, checked 2026-10-15.

Passed

This is a test report from our proof engine, not a WARD action receipt.

Someone asked Quox

"As a test, record a commitment with the promise "proof resolve e28c4b", owned by me and due 2027-01-31, then straight away mark it cancelled with the note "proof engine test"."

A machine then checked that

Truth_contains:proof resolve e28c4b
Quox used commitment_create, and it succeeded
Quox used commitment_resolve, and it succeeded
Quox did not use Bash

Run 15 Oct 2026, 02:58 UTC on our own install.

Nobody marked this by hand. The checker compared Quox's answer with what the system really said at that moment.

Read the whole conversation in "Record a promise, then close it" →

Technical detail

Model claude-sonnet-5-5 (anthropic). Test case objectives/commitment-create-then-cancel. Checks fingerprint c4c9355a09e2: if the test ever changes, so does this, so an old pass can never stand in for a new test.

The exact rules:

truth_contains:proof resolve e28c4b
tool:^commitment_create$
tool:^commitment_resolve$
no_tool:^Bash$