Notes

Short notes from the workbench — snippets, fixes, decisions, and half-finished thoughts that don’t need a full post.