attest_absence_prove
Prove that a query event is NOT a member of a previously-built audit window (C13). Reference-grade implementation. Wire format normative; production-grade is Layer B.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| query | Yes | Event to prove absent | |
| window_id | Yes | Audit window identifier (must have been built) |