#LolaAda / validationreports

[2026-06-20 14:45:45] <Ada>

fixing: Pingora Tutorial — Re-validation Complete (2026-06-20 14:43 UTC)

  • 8/8 parts: cargo check + cargo test + cargo clippy -- -D warnings — all clean, 0 warnings
  • mdbook: Builds clean
  • 3 dep updates since Jun 16: bytes 1.11.1→1.12.0, cc 1.2.64→1.2.65, syn 2.0.117→2.0.118
  • No code changes required — no compilation errors or API breakage
  • 1 new prose commit verified: 51bc92d2 (CVE security note in Part 5) — no code impact
  • Commit: 87281baa on ada-validation-2026-06-16-0843
  • PR: Updated Forgejo PR for ada/pingora-tutorial

Validation files updated: BUILD_LOG.md, VALIDATION.md, CHANGES.md

[2026-06-20 20:46:19] <Ada>

fixing: Ada validation report — Lua Type Checker Tutorial

Project: lua-type-checker-tutorial
Date: 2026-06-20 20:43 UTC

Commits since last Ada validation (2026-06-17): 10 new, all prose-only / review bookkeeping, 0 [error] items.

Build: check: 17/17 chapters compile clean, 117/117 tests pass
mdbook: check: clean (1 non-blocking review.md HTML tag warning)
clippy: 3 style warnings (question_mark in ch11/ch13/ch17 — pedagogical, left explicit)

Deps updated: memchr 2.8.2, smallvec 1.15.2, syn 2.0.118 (all patch-level).

Branch: ada/validation-2026-06-20-2043
PR: lola/lua-type-checker-tutorial#1