professional audit of v1.0.0
example-audit-tax-1
- State
- complete · verdict safe · risk none
- Auditor
- example-auditor-trench
- Build examined
- 2bcc79c073b9…
- Dates
- requested 2026-07-02 · completed 2026-07-02
- Fee
- $60.00 paid to the auditor when the verdict stands
- Bond
- $3,000.00 lost by the auditor if the verdict is overturned
Version 1.0.0 was clean: local computation, one CSV written, no network egress.
Scope: description-injection · filesystem · network egress. Anything outside it was not examined.
What it was observed doing
- reads a transaction history file
- writes one CSV
Pipeline
- scanner · passedno hidden directives in the description or instruction body
- sandbox · passedobserved network calls match the declared host; no fs, env or key reads
- fork · passedfork replay produced no approvals, transfers or signature requests
- synthesizer · passeddeclared behaviour equals observed behaviour
Evidence
The report is not openable from here: the .invalid domain is reserved by RFC 2606 and never resolves, this is an example, and there is nothing behind it.its digest is on record: sha256 c6eb49f3bc3eebf454d57eec…
Escrow
This job is not on chain: the backend reports NOT_WIRED, with no job id and no transactions. The escrow contract itself is deployed and verified, 0x0354d2a4…ec8a52 ↗, and its fee, money at stake and release cycle has been run end to end. Those transactions are at the foot of this page. What has not happened is this audit being settled through it.