Skip to content

Default Git signing to a profile-pinning wrapper, keep agent signing off the human's setup, interpolate policy placeholders, and split agent identity from secrets - #77

Merged
emostov merged 1 commit into
mainfrom
zeke/gpg-rough-edges-high
Oct 16, 2026

Conversation

@emostov

@emostov emostov commented Oct 15, 2026 •

Copy link
Copy Markdown
Collaborator

Summary

An agent sharing a machine and HOME with a human could overwrite the human's Git signing setup and keyring, and Git picked its signing profile from whatever TK_PROFILE the shell had. Copied policy examples matched no one, and the identity skill mixed in secrets and signing. Supersedes #78.

Public API changes

None. A ~/.local/bin/tk-sign wrapper pinning TK_PROFILE is now the documented gpg.program; a shared machine reuses it through env-scoped GIT_CONFIG_* and a dedicated GNUPGHOME. Policy placeholders are '${AGENT_TAG}' shell variables.

Architecture

provisioning-agent-identity covers identity only; export policies, acceptance, and isolation move to managing-secrets.

A policy create placeholder check is deferred to EMG-324.

Closes EMG-310
Closes EMG-312
Closes EMG-313
Closes EMG-315
Closes EMG-316
Related: EMG-311
Related: EMG-314

Testing

Added unit and e2e tests.

@emostov
emostov force-pushed the zeke/gpg-rough-edges-high branch 4 times, most recently from 0839b40 to f492d68 Compare October 15, 2026 17:53
@emostov emostov changed the title Keep agent signing off the human's Git setup, reject placeholder ids in policies, and split agent identity from secrets Keep agent signing off the human's Git setup, interpolate policy placeholders, and split agent identity from secrets Oct 15, 2026
@emostov
emostov force-pushed the zeke/gpg-rough-edges-high branch from f492d68 to cdbdd07 Compare October 15, 2026 20:24
@emostov emostov changed the title Keep agent signing off the human's Git setup, interpolate policy placeholders, and split agent identity from secrets Default Git signing to a profile-pinning wrapper, keep agent signing off the human's setup, interpolate policy placeholders, and split agent identity from secrets Oct 15, 2026
@emostov
emostov marked this pull request as ready for review October 16, 2026 00:22
…gent's signing to its own environment and GnuPG home on a shared machine, split agent identity provisioning from the secrets and signing skills, and write policy placeholders as interpolated shell variables.
@emostov
emostov force-pushed the zeke/gpg-rough-edges-high branch from cdbdd07 to fd9d680 Compare October 16, 2026 00:22
@emostov
emostov merged commit 11d6ae3 into main Oct 16, 2026
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant