diff --git a/AUDITS.md b/AUDITS.md index 22af002..12c26a5 100644 --- a/AUDITS.md +++ b/AUDITS.md @@ -162,6 +162,24 @@ Status legend: ✅ completed, ⬜ pending. - Tests: command not provided — pass (user reported “100% tests passed, 0 tests failed out of 11”). +## 2026-01-18 — ASL index/log stack (`tier1/asl-core-index-1.md`, `tier1/asl-store-index-1.md`, `tier1/enc-asl-core-index-1.md`, `tier1/asl-log-1.md`, `tier1/enc-asl-log-1.md`) +- Scope: index semantics, filesystem index/log store, segment encoding, and log encoding/decoding paths. +- Findings: N/A (implemented components already present). +- Resolution: recorded implementation status and aligned routing/shard helpers with index usage. +- Tests: `ctest --test-dir build` (user reported “100% tests passed, 0 tests failed out of 23”). + +## 2026-01-18 — ASL/INDEX-ACCEL/1 (`tier1/asl-index-accel-1.md`) +- Scope: routing key derivation, shard selection contract, bloom advisory behavior. +- Findings: missing formal routing-key API and tests around acceleration helpers. +- Resolution: added routing-key/shard helpers and tests for routing-key layout, shard determinism, and bloom advisory behavior. +- Tests: `ctest --test-dir build` (user reported “100% tests passed, 0 tests failed out of 23”). + +## 2026-01-18 — ENC/ASL-TGK-EXEC-PLAN/1 (`tier1/enc-asl-tgk-exec-plan-1.md`) +- Scope: execution plan encoding/decoding; validation of operator IDs/inputs. +- Findings: encoding layer missing. +- Resolution: implemented encode/decode/free API and round-trip validation tests. +- Tests: `ctest --test-dir build` (user reported “100% tests passed, 0 tests failed out of 23”). + ## 2025-12-22 — PEL/PROGRAM-DAG/1 (`tier1/pel-program-dag-1.md`) - Scope: Exec_DAG semantics, structural validity, canonical order, diagnostics, and scheme entrypoint correctness.