From b9de21df200c8efc7e1476ced8f02c601afad0f9 Mon Sep 17 00:00:00 2001 From: Carl Niklas Rydberg Date: Mon, 22 Dec 2025 09:26:14 +0100 Subject: [PATCH] Added an Audit Plan section to AUDITS.md --- AUDITS.md | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/AUDITS.md b/AUDITS.md index ec128fc..e695474 100644 --- a/AUDITS.md +++ b/AUDITS.md @@ -2,6 +2,31 @@ This file tracks spec-to-implementation audits. +## Audit Plan + +Status legend: ✅ completed, ⬜ pending. + +1. ✅ `tier1/asl-1-core.md` +2. ✅ `tier1/asl-1-store.md` +3. ✅ `tier1/enc-asl1-core.md` +4. ✅ `tier1/hash-asl1.md` +5. ✅ `tier1/pel-1-core.md` +6. ✅ `tier1/pel-1-surf.md` +7. ✅ `tier1/pel-program-dag-1.md` +8. ✅ `tier1/pel-program-dag-desc-1.md` +9. ✅ `tier1/enc-pel-program-dag-1.md` +10. ✅ `tier1/enc-pel1-result-1.md` +11. ⬜ `tier1/pel-trace-dag-1.md` +12. ⬜ `tier1/enc-pel-trace-dag-1.md` +13. ⬜ `tier1/tgk-1-core.md` +14. ⬜ `tier1/enc-tgk1-edge-1.md` +15. ⬜ `tier1/tgk-store-1.md` +16. ⬜ `tier1/tgk-prov-1.md` +17. ⬜ `tier1/opreg-pel1-kernel.md` +18. ⬜ `tier1/opreg-pel1-kernel-params-1.md` +19. ⬜ `tier1/opreg-tgk-docgraph-1.md` +20. ⬜ `tier1/amduat20-stack-overview.md` + ## 2025-12-22 — ASL/1-CORE (`tier1/asl-1-core.md`) - Scope: ASL/1-CORE conformance for value semantics, encoding profiles, and reference derivation.