ThreeGate/tool-exec/examples/TR-monty-socket-deny.md

request_type	schema_version	request_id	created_utc	requested_by	approved_by	approved_utc	purpose	backend	language	network	cpu_limit	memory_limit_mb	time_limit_sec	inputs	outputs_expected	constraints
tool_request	1	TR-20260210-monty-socket-deny	2026-02-10T00:10:00Z	core_draft	operator	2026-02-10T00:11:00Z	Adversarial test: Monty must not be able to create sockets.	monty	python	none	1	128	5			No network No filesystem No external functions

Code

Attempt to access socket capabilities.

In ThreeGate Monty lane, this should fail (no imports / no socket access).

import socket s = socket.socket() "socket-created"

Output Expectations

This request should not successfully create a socket. Runner should fail and produce a Tool Result with a monty-error.

Risk Assessment

Risk level: low Justification: This is a negative test intended to confirm sandboxing.