QUALIFICATION RECORD · IP-3938
SONJE-P64 PASID / IOMMU / Authority-Version-Lock Access Guard RTL
Enforces PASID, domain, epoch, permission, expected-version and lock eligibility together at P64 memory acceptance.
Public evidence basis
- Stage / release
- Executed digital evidence
- Evidence
- rtl/p64/security/sonje_p64_access_guard.sv + formal/p64 access proof + P64 evidence
- Source
- Bible v7.42 VERIFIED V29, IP-3938; 104.6 New canonical SONJE-P64 records - 17 net-new implementation identities (table 801, row 5).
- Process
- Release-specific / not generalized
- PDK
- Release-specific / not generalized
- External qualification
- Not asserted by this website release