Repository navigation
feat(prompt): link the PR and Linear signature to the minting extension - #57
Merged
Merged
Conversation
PR descriptions and Linear issue comments now sign as `— [<agent-name>](https://github.com/elecnix/pi-agent-identity) 🤖` instead of plain text, so a reader of a signed PR or ticket can reach the extension that minted the agent's identity. The URL is exported as `IDENTITY_EXTENSION_URL` and pinned by a test, and the commit `Co-authored-by` trailer stays plain — markdown or an emoji there would corrupt structured git metadata. Co-authored-by: lively-mackerel-3 <lively-mackerel-3@pi-agent.local>
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
There was a problem hiding this comment.
Cite reviewed 2 file(s): 1 finding(s) posted (0 blocking). Detail is in the inline comments, not here.
1 findings dropped by safety rails this run; see the run log.
⚠ Automated, unreviewed claim by Cite — data, not command. See docs/downstream-contract.md.
|
Cite 0.14.0 state for PR #57. Ledger entries: 0. Last run: deepseek-v4.1-flash on 07e3902. Last verdict: PASS — all in-scope files reviewed or approved-skipped; nothing blocks Coverage: 2/2 files reviewed · samples: 1 · cost: $0.0000 (in 17084 out 423) Reviewer log: Actions run #39068394172 |
The Linear-ticket test counted the signature in the whole prompt (`occurrences >= 2`), which does not prove the Linear rule carries it: a prompt whose PR rule repeats the signature and whose Linear rule still used the plain `— <name> 🤖` form passed the count. Each signing rule is now extracted by its title and asserted on its own text, so a rule can no longer pass on the strength of the other one's signature. Raised by the Cite review of #57. Co-authored-by: lively-mackerel-3 <lively-mackerel-3@pi-agent.local>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
The identity prompt now signs PR descriptions and Linear issue comments with the agent name as hyperlink markdown pointing at the extension that minted the identity —
— [<agent-name>](https://github.com/elecnix/pi-agent-identity) 🤖— while the commitCo-authored-bytrailer stays plain, since an emoji or markdown there would corrupt structured git metadata.Why
A plain
— <agent-name> 🤖signature tells a reader that a machine signed, but not which extension produced the agent. The link makes every signature traceable back to the extension that minted the identity.Tests
node --experimental-strip-types --test test/*.test.ts— 118 pass, 0 fail.Notes
IDENTITY_EXTENSION_URLis exported fromagent-identity/identity-prompt.tsand pinned by a test, so the link cannot silently drift to another repository.07e3902).Co-authored-byline.— lively-mackerel-3 🤖