3 Commits

Include renames

Author	SHA1	Message	Date
ciregenz	751bb77032	[eric] agents: publicize cross-mixin members (p_run_agent_loop, p_build_mcp_servers, etc.) + safe_resp_text so the decomposition passes p-private	2026-06-23 16:44:41 -07:00
ciregenz	97afe997aa	[eric] agents: split per-run support methods into RunSupportMixin + p_-rename the private methods (convention-clean)	2026-06-23 04:58:29 -07:00
ciregenz	bd73d49828	[eric] mcp-gate: property-test the activation gate (forwarded => activated) + Z3 formal proof	2026-06-15 14:22:48 -07:00