Record integration commit
record_commitRecords where an accepted ChangeSet landed after a Git or pull-request merge, verifies the landed commit contains the accepted work, and marks the ChangeSet COMMITTED.
Instructions
Record where accepted work finally landed, after it has been merged through ordinary Git or a pull request. Use it last, after accept_changeset and the merge. The commit must have the accepted commit in its history or, after a squash or rebase merge, hold every change the candidate made, checked path by path against their merge base; otherwise the call fails with TARGET_DIVERGED naming what is missing. On success it stores integration_commit, moves the ChangeSet to COMMITTED, and returns the updated ChangeSet, whose provenance.integration.method says how containment was shown (ancestor or content). accepted_commit is kept unchanged, so the record shows both what was verified and where it landed. Foremerge does not merge or push anything itself.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| git_ref | Yes | The landed commit, as a SHA or ref such as main, resolved in the ChangeSet's worktree. | |
| changeset_id | Yes | An ACCEPTED ChangeSet (chg_...). |