AI agents increasingly act on behalf of humans, yet no existing system provides a tamper-evident, independently verifiable record of what they did. As regulations such as the EU AI Act begin mandating automatic logging for high-risk AI systems, this gap carries concrete consequences -- especially for agents running on personal hardware, where no centralized provider controls the log. Extending Floridi's informational rights framework from data about individuals to actions performed on their behalf, this paper proposes the Right to History: the principle that individuals are entitled to a complete, verifiable record of every AI agent action on their own hardware. The paper formalizes this principle through five system invariants with structured proof sketches, and implements it in PunkGo, a Rust sovereignty kernel that unifies RFC 6962 Merkle tree audit logs, capability-based isolation, energy-budget governance, and a human-approval mechanism. Adversarial testing confirms all five invariants hold. Performance evaluation shows sub-1.3 ms median action latency, ~400 actions/sec throughput, and 448-byte Merkle inclusion proofs at 10,000 log entries.

翻译：人工智能代理日益代表人类执行任务，然而现有系统均无法提供其行为记录的防篡改与独立可验证性。随着欧盟《人工智能法案》等法规开始强制要求高风险AI系统实施自动日志记录，这一缺陷将带来具体后果——尤其对于运行在个人硬件上的代理，因其不存在控制日志的集中式服务提供商。本文将弗洛里迪的信息权利框架从个人数据扩展至代表个人执行的行为，提出"历史权"原则：个体有权获取其自有硬件上每个AI代理行为的完整可验证记录。本研究通过包含结构化证明框架的五项系统不变量形式化该原则，并在PunkGo中实现——这是一个采用Rust编写的统一主权内核，整合了RFC 6962默克尔树审计日志、基于能力的隔离机制、能量预算治理框架及人工审批机制。对抗性测试验证了全部五项不变量均成立。性能评估显示其中位操作延迟低于1.3毫秒，吞吐量约400操作/秒，在10,000条日志条目下默克尔包含证明仅需448字节。