AxiomInfra/axiom-core

AI Summary: This GitHub issue identifies a critical inconsistency in the attestation binding formula: documentation specifies using a `nonce`, while the implementation incorrectly uses a `timestamp`, causing the verifier to ignore the `nonce`. The goal is to align the binding formula across documentation, simulator generation, and verifier logic, choosing either `nonce` or `timestamp` consistently. A new test is proposed to enforce the chosen formula and ensure future alignment.