Module audit 

Turn-by-Turn Audit Logging for EDD Simulations.

HARD REQUIREMENT (EDD-16, EDD-17, EDD-18): Every simulation MUST produce a complete audit trail of every step.

This module provides:

• SimulationAuditLog trait for mandatory audit logging
• StepEntry for capturing complete step state
• EquationEval for logging equation computations
• Decision for logging algorithmic choices
• Automatic test case generation from logs
• Replay functionality with speed control

The Provability Chain

Seed(42) → RNG State₀ → Decision₁ → RNG State₁ → Decision₂ → ... → Final
    ↓           ↓            ↓           ↓            ↓
  KNOWN     PROVABLE     PROVABLE    PROVABLE     PROVABLE

Every step is deterministic given the seed, therefore every step is provable.

References

• EDD Spec Section 1.6: Turn-by-Turn Audit Logging (MANDATORY)
• Quality Gates: EDD-16, EDD-17, EDD-18

Structs

AuditLogReplayer

Audit log replayer.

Decision

Algorithmic decision record.

EquationEval

Equation evaluation record (EDD-17).

GeneratedTestCase

Test case generated from audit log.

ReplayState

Replay state for audit log playback.

StepEntry

Complete step entry for audit logging (EDD-16).

TspStateSnapshot

TSP state snapshot for audit logging.

Enums

ReplaySpeed

Replay speed control.

TspStepType

TSP step type for audit logging.

Traits

SimulationAuditLog

MANDATORY trait for all EDD simulations (EDD-16, EDD-17, EDD-18).

Functions

hash_state

Compute Blake3 hash of serializable state.

verify_rng_consistency

Verify RNG state consistency in audit log.