docs: add post-pull submodule sync rule to CLAUDE.md and AGENTS.md

Also sync submodule pointer and Dockerfile OPENCODE_COMMIT after pull.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: pRizz

AGENTS.md

@@ -83,6 +83,7 @@ The `scripts/set-all-versions.sh` script handles version updates automatically.
   - Rebase pull from `main` first (for example: `git pull --rebase origin main`).
   - Then push to `main`.
 - After committing and pushing changes in the `packages/opencode/` submodule, run `just update-opencode-commit` in the superproject to update the Dockerfile's `OPENCODE_COMMIT` pin. Commit and push the resulting Dockerfile change to `main`.
+- After pulling the superproject, run `git submodule update --init --recursive` to sync the submodule working tree, then run `just update-opencode-commit`. If the Dockerfile changed, commit and push the update to keep the submodule pointer and Dockerfile `OPENCODE_COMMIT` pin in sync.
 - **Resolving `OPENCODE_COMMIT` merge conflicts:** If a rebase or merge produces a conflict in the Dockerfile's `OPENCODE_COMMIT` line, do not manually pick a SHA. Instead, accept either side to clear the conflict markers, then run `just update-opencode-commit` to set the correct value from the current submodule state.
 
 ## Working with Git Worktrees and Submodules

CLAUDE.md

@@ -83,6 +83,7 @@ The `scripts/set-all-versions.sh` script handles version updates automatically.
   - Rebase pull from `main` first (for example: `git pull --rebase origin main`).
   - Then push to `main`.
 - After committing and pushing changes in the `packages/opencode/` submodule, run `just update-opencode-commit` in the superproject to update the Dockerfile's `OPENCODE_COMMIT` pin. Commit and push the resulting Dockerfile change to `main`.
+- After pulling the superproject, run `git submodule update --init --recursive` to sync the submodule working tree, then run `just update-opencode-commit`. If the Dockerfile changed, commit and push the update to keep the submodule pointer and Dockerfile `OPENCODE_COMMIT` pin in sync.
 - **Resolving `OPENCODE_COMMIT` merge conflicts:** If a rebase or merge produces a conflict in the Dockerfile's `OPENCODE_COMMIT` line, do not manually pick a SHA. Instead, accept either side to clear the conflict markers, then run `just update-opencode-commit` to set the correct value from the current submodule state.
 
 ## Working with Git Worktrees and Submodules

packages/core/src/docker/Dockerfile

@@ -525,7 +525,7 @@ COPY --chown=opencoder:opencoder packages/opencode /tmp/opencode-local
 # Update it by running: ./scripts/update-opencode-commit.sh
 RUN set -eux; \
     OPENCODE_COMMIT_OVERRIDE="${OPENCODE_COMMIT:-}"; \
-    OPENCODE_COMMIT="665b98380a9d17795df11a49a19999b30d084af0"; \
+    OPENCODE_COMMIT="d0a9f9ae8d671d95bb554e8bf3132943d395dd34"; \
     if [ -n "${OPENCODE_COMMIT_OVERRIDE}" ]; then OPENCODE_COMMIT="${OPENCODE_COMMIT_OVERRIDE}"; fi; \
     rm -rf /tmp/opencode-repo; \
     if [ "${OPENCODE_SOURCE}" = "local" ]; then \