ThreeGate/tool-exec/examples/TR-monty-json-sum.md

41 lines
819 B
Markdown

---
request_type: tool_request
schema_version: 1
request_id: "TR-20260209-monty-json-sum"
created_utc: "2026-02-09T00:10:00Z"
requested_by: "core_draft"
approved_by: "operator"
approved_utc: "2026-02-09T00:11:00Z"
purpose: "Demonstrate Monty pure-compute lane over JSON inputs."
backend: "monty"
language: "python"
network: "none"
cpu_limit: "1"
memory_limit_mb: 128
time_limit_sec: 5
inputs: []
outputs_expected: []
constraints:
- "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.