Matt Pocock's skills and pstack are installed again from their sources with the official skills installer, so skills-lock.json matches what upstream ships. pr is new from Matt Pocock. design-an-interface and resolving-merge-conflicts are gone because upstream deleted them, and writing-great-skills is gone because upstream renamed it to writing-for-agents, which the repo already had. domain-modeling keeps this repo's ADR header rules and was not reinstalled.
pstack adds correct, in-your-own-words, ketchup, principle-attack-the-premise, principle-explain-the-number and principle-test-behavior-not-implementation, and seven pstack skills follow upstream edits. pstack's teach and tdd stay out, so the names keep pointing at Matt Pocock's skills.
A new pull request opens with the /pr sections: Summary (a diff sketch, file tree or pseudocode, no Mermaid), Evidence (before and after) and Merge Danger (one-way or two-way door, blast radius). The checks list below them is unchanged. The template says that a merge to main deploys to production and that migrations, RLS changes, secret or env changes and feature removals are one-way doors. Skills that name GLOSSARY.md read this repo's CONTEXT.md.
Sources: Matt Pocock skills, pstack skills.