Test report mvbuce

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-17.

Passed

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

Someone asked Quox

"From the AEE audit trail, list the 3 most recent envelopes sent before 2026-03-01: the envelope id and intent of each."

A machine then checked that

Says_max:{{id}} max:3
Quox used aee_query_envelopes, and it succeeded
Quox did not use Bash

Run 17 Oct 2026, 03:33 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 "Look back in the audit trail" →

Technical detail

Model claude-sonnet-5-5 (anthropic). Test case receipts/aee-query-before. Checks fingerprint 4533339b9bcf: if the test ever changes, so does this, so an old pass can never stand in for a new test.

The exact rules:

says_max:{{id}} max:3
tool:^aee_query_envelopes$
no_tool:^Bash$