ThreeGate/tool-exec/examples/TR-monty-json-sum.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-20260209-monty-json-sum	2026-02-09T00:10:00Z	core_draft	operator	2026-02-09T00:11:00Z	Demonstrate Monty pure-compute lane over JSON inputs.	monty	python	none	1	128	5			No network No filesystem No external functions

Code

Monty subset python (no imports assumed)

nums = data["nums"] total = 0 for n in nums: total += n total

Inputs (JSON)

{"data": {"nums": [1, 2, 3, 10]}}

Output Expectations

Stdout prints the returned value.

Risk Assessment

Risk level: low Justification: Pure arithmetic over provided JSON data.