atgc pr comment writes an org.tangled.feed.comment citing the pull's ticket at its current version, optionally replying to another comment. pr view --comments prints each comment's at-uri, author and date, and its --json form describes the discussion but cannot say which commit a remark is about.
This adds --commit <rev>: a local rev is resolved to its full oid, a full oid is accepted when the checkout does not hold it, and a commit no version's base..head introduced is refused with exit 2. The record carries the existing org.tangled.embed.commit, the dry run and --json report commit, and both the knot and Bobbin read paths print "on " and emit commit. The knot checks only the embed's repo, so the membership check lives in atgc. Part of #1351; line-level comments remain open.
🤖 Generated with Claude Code