Module audit 

Audit trail for solver invocations.

Every solve operation can produce a SolverAuditEntry that captures a tamper-evident fingerprint of the input, output, convergence metrics, and timing. Entries are cheap to produce and can be streamed to any log sink (structured logging, event store, or external SIEM).

Hashing

We use std::hash::DefaultHasher (SipHash-2-4 on most platforms) rather than a cryptographic hash. This is sufficient for audit deduplication and integrity detection but is not suitable for security-critical tamper proofing. If cryptographic guarantees are needed, swap in a SHA-256 implementation behind a feature gate.

Structs

AuditBuilder

Convenience builder for SolverAuditEntry.

SolverAuditEntry

A single audit trail record for one solver invocation.

Functions

hash_input

Compute a deterministic 8-byte fingerprint of the solver input.

hash_output

Compute a deterministic 8-byte fingerprint of the solution vector.