craft: production-tier ladder v0 + first module (checked-vs-unchecked)#208

Merged

AceHack merged 6 commits intomainfrom

craft/production-dotnet-checked-vs-unchecked-v0

Apr 24, 2026

Commits on Apr 24, 2026

craft: production-tier ladder v0 + first module (checked-vs-unchecked)

AceHack
and
claude
committed
fix(#208): address 14 Codex/Copilot findings honestly

AceHack
and
claude
committed
fix(#208): drain 18 Codex/Copilot review threads on checked-vs-unchecked module
AceHack
committed
fix(#208): markdownlint MD018 — escape # in 'PRs #200/#203/#206' via backticks

AceHack
and
claude
committed
fix(#208): dehyphenate 'materialise' per Copilot thread PRRT_kwDOSF9kNM59bdod

AceHack
and
claude
committed
docs(#208): add drain-log per Otto-250 PR-preservation discipline

AceHack
and
claude
committed