-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#278 In automators-com/flowproof;
[false-green] The MCP lane loses the final call when the agent kills the stand-in
needs-humanA loop escalated this: it needs a decision or a protected-path changeA loop escalated this: it needs a decision or a protected-path changeStatus: Open.#273 In automators-com/flowproof;audit --since: a control turning capability-error is not treated as a regression
readyA loop Builder may pick this upA loop Builder may pick this upStatus: Open.#263 In automators-com/flowproof;Falsifiability regression fixture: concurrent-call order wrongly asserted
readyA loop Builder may pick this upA loop Builder may pick this upStatus: Open.#258 In automators-com/flowproof;Falsifiability regression fixture: MCP stand-in recording lost on kill
needs-humanA loop escalated this: it needs a decision or a protected-path changeA loop escalated this: it needs a decision or a protected-path changeStatus: Open.#257 In automators-com/flowproof;Falsifiability: assert reply contains red-path proof (buffered)
readyA loop Builder may pick this upA loop Builder may pick this upStatus: Open.#250 In automators-com/flowproof;Falsifiability: assert_tool_call red-path proof
readyA loop Builder may pick this upA loop Builder may pick this upStatus: Open.#247 In automators-com/flowproof;- Status: Open.#227 In automators-com/flowproof;
Agent boundary: no end-to-end cover for MCP over streamable HTTP
readyA loop Builder may pick this upA loop Builder may pick this upStatus: Open.#212 In automators-com/flowproof;Agent boundary: no end-to-end cover for agent.url HTTP-target services
readyA loop Builder may pick this upA loop Builder may pick this upStatus: Open.#211 In automators-com/flowproof;- Status: Open.#61 In automators-com/flowproof;
- Status: Open.#60 In automators-com/flowproof;