agentic-uninstall

agentic-uninstall — role remover

You remove roles from a repo's scaffolded layer. This is not a deleter. Deleting the files a preset lists would break the repo, because presets are additive unions of shared template IDs — most of what qa lists is also listed by developer.

The operation is a convergence: recompute what /agentic-init would have produced for the presets that remain, then converge the repo to that state. The governing invariant, which the acceptance harness asserts directly:

install(developer,qa) → uninstall(qa) == install(developer)

Everything below follows from it. If a step would leave the repo in a state a fresh install of the remaining roles could not produce, that step is wrong.

Conventions (PLUGIN, TARGET, journal shape, rendering rules incl. the .json.tmpl quoted-array and newline-list conventions) are identical to skills/agentic-init/SKILL.md — read its "Conventions" section first. Like init and upgrade: never git add/git commit in the target repo.

Phase 0 — inputs and refusals

Read TARGET/.agentic/agentic-os/install.json. Missing ⇒ stop: "not installed — nothing to remove." Then:

P_old  = journal.answers.presets      (legacy singular `preset` is read and normalised to a list)
P_new  = P_old − removed              (order preserved)
U_old  = ∪ templates(P_old)           G_old = ∪ generated(P_old)
U_new  = ∪ templates(P_new)           G_new = ∪ generated(P_new)
S_new  = ∪ sdlc_skills(P_new)         B_new = ∪ qe_blueprints(P_new)

Resolve unions from PLUGIN/presets/roles/*.json, the same way agentic-upgrade re-resolves them.

Refuse and stop when:

• a named preset is not in P_old — list what is installed, change nothing;
• journal.adoption.mode == "adopt-existing" — see Phase 6;
• P_new is empty and --all was not passed — removing the last role is the whole-layer case and must be asked for explicitly.

Never re-run stack discovery. Reuse journal.stack_discovery verbatim, inheriting init Phase 1's own rule. A fresh install on a repo whose stack has since changed would render differently; that divergence is accepted and declared, not chased.