promote: graph-path promotion as a server verb (MCP promote tool, ADR 0018) - #517

Merged

t0k0sh1 merged 7 commits into

mainfrom

466-promote-mcp-tool

Aug 9, 2026

Commits on Aug 9, 2026

promote: graph-path promotion as a server verb (ADR 0018)
t0k0sh1
committed
081c914
route: name promote's same-shard requirement in the divergence list
t0k0sh1
committed
e8cb335
promote: refuse the reserved export ids as promotion sources
t0k0sh1
committed
c060007
promote: kill-tests and refusal-helper restructure for the mutation gate
t0k0sh1
committed
4282271
promote: resolve the second wave of missed mutants
t0k0sh1
committed
b4f427e
promote: extract available_sources so the liveness filter is unit-pinned
t0k0sh1
committed
c0f0d40
promote: address PR review (per-context preview seeds, heavy-ops gate, contract fixtures)
t0k0sh1
committed
6680d6e