Attests that an audit log covering transactions and user activity is complete and gap-free over a window you declare, against a continuity mechanism you declare: sequence numbers, hash-chain links, or periodic control totals. Enumerates gap position where the mechanism can localize one, checks privileged-action coverage separately from transaction coverage, checks retention conformance, and reports an undecidable list where the mechanism genuinely cannot support a position-level verdict. Does not ingest or parse any log — you supply counts and the declared mechanism. Region-portable: window, retention duty, and mechanism are all inputs you declare, never a hardcoded country, currency, or scheme.
The demo figures below are synthetic and already loaded, so you can press Run without entering anything of your own. Load the known-gap demo to see the flag this tool exists to catch, or the region-portability demo for the §6.9 second-jurisdiction case.
It does not ingest a log, parse a vendor log format, or verify that the counts and mechanism summary you supply are themselves accurate — that is out of scope by design (zero PII, zero log ingestion). It is not a signature or cryptographic chain verifier: for structural conformance of a single IETF agent audit-trail record use ART-237; for a Merkle root over this suite's own execution receipts use CRY-05. Neither evaluates a window or a population of external log events, and neither checks privileged-action coverage — that is this node.
Pairs with ART-516 daily reconciliation attestation and ART-518 bulk disbursement integrity in the government-payment-lifecycle chain (§6.7), and with ART-459 for RBAC segregation-of-duties evidence.