A build walkthrough of AgentLedger: how boundary capture, SHA-256 hash chains, Merkle sealing, and external anchoring create tamper-evident records of AI-agent