Recomposed Enforcement Paths: A Comparative History of Hardware-Enforced Platform Security

Abstract

English author preprint v4.4. This corrected edition presents a comparative history of hardware-enforced platform security using an explicit, bounded decision procedure for classifying specified guarantees as local, distributed, or not established by the available evidence. The revision corrects the treatment of Xen/IOMMU trust, optional IOTLB behavior, B5000 source locators, case K06, guarantee G13, codebook rules, and the sensitivity analysis. The accompanying reproducibility package contains 41 active claim records, a 52-source evidence catalog, 38 cited references, a 13-guarantee decision matrix, the case-operation matrix, codebook, source-claim register, reference audit, multi-model evidence audit, consistency checks, and SHA-256 manifests. After correction, the AI-assisted evidence audit classified 28 claims as supported and 13 as bounded, with none marked unsupported or not verifiable. The multi-model audit is evidence triangulation, not independent human peer review. A subsequent structured peer-review pass recommends major revision before journal submission because independent human source/coding validation and deeper historiographic positioning remain necessary. This is an author preprint, not a peer-reviewed or accepted IEEE article. The author retains responsibility for all claims, interpretations, and citations. The public supplement is available at https://hardwaresecurityhistory.org/research/.