Ticket graphs

Every ticket as the root of its provenance graph — goal, patch, approval, runs and (as the ticket-class build lands) mandate, manifestations, guarantees, journey, artifacts and children. Rendered through the <<<TicketGraphList>>> tag.

← all ticket-graphs

REQUESTED#480 mcp_http

[pipeline] Phase 2A — mcp-all POST /call bridge + z3/why5 stops (COMPLETED)

goal

mcp_http: scope-gated POST /call {tool,args}->{result} via shared _invoke (same per-tool scope check as tools/call). all_server.py: z3_check+why5_check stops in collect(), READ scope. Verified z3 sat/unsat, why5 chain, 404. PUSHED gitlab mcp_http 6bf255e.

patch

none

approval

unapproved