Bend lessons, paired with the Ops work that produces them.

• 2026-10-01Spike bank review — laws from #6 to #8 against incorporation notes
• 2026-09-30Encode one new rust-tops clause as a fail-closed law — mutants_skip_needs_reason
• 2026-09-28Read the rust-tops law catalog — NAMES / LAWS.bend / PROOF.bend
• 2026-09-25Parallelism boundary — claims vs host work
• 2026-09-24Checker friction log — install / CLI / young-toolchain notes
• 2026-09-23Incompleteness checklist — host, IO, @unsafe, renderer
• 2026-09-22Laws depth — who owns LAWS vs who fills PROOF
• 2026-09-21Fail-closed LAWS — install, one law, deliberate refuse