engine-updated #7

	name: bump-engine

	# Auto-bumps the TechEngine submodule pointer to its latest main commit.
	# Fired by TechEngine via repository_dispatch (event type: engine-updated) on
	# every push to TechEngine's main; also runnable manually. The submodule gitlink
	# lives in THIS repo, so the bump commit must be made here — TechEngine only
	# sends the signal (see .claude/techengine_submodule_sync_spec.md for the
	# TechEngine-side contract).
	on:
	repository_dispatch:
	types: [engine-updated]
	workflow_dispatch:

	permissions:
	contents: write

	concurrency:
	group: bump-engine
	cancel-in-progress: true

	jobs:
	bump:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: true
	fetch-depth: 0

	- name: Update TechEngine submodule to latest main
	id: bump
	run: \|
	git submodule update --remote --recursive TechEngine
	if git diff --quiet -- TechEngine; then
	echo "changed=false" >> "$GITHUB_OUTPUT"
	echo "Submodule already up to date — nothing to do."
	else
	echo "changed=true" >> "$GITHUB_OUTPUT"
	fi

	- name: Commit & push bump
	if: steps.bump.outputs.changed == 'true'
	run: \|
	NEW_SHA=$(git -C TechEngine rev-parse --short HEAD)
	# Attribute to the TechEngineBot account (id 289859915) so bumps show
	# its avatar and count toward its contributions — not github-actions[bot].
	git config user.name "TechEngineBot"
	git config user.email "289859915+TechEngineBot@users.noreply.github.com"
	git add TechEngine
	git commit -m "chore: bump TechEngine submodule to ${NEW_SHA}"
	git push

Provide feedback