{"type":"function","function":{"name":"propose_context","description":"Navigate retained context. With no changes, read a bounded catalog page (use next_offset to continue; catalog pins one inventory). With changes, propose include/park for offered occurrence CIDs, giving a reason and the catalog's expected_head. The receipt means queued, not accepted: the host validates at the next request boundary. Pins and live tool exchanges cannot be removed. summarise is explicitly refused; use re_read for verbatim sources.","parameters":{"type":"object","additionalProperties":false,"properties":{"catalog":{"type":["string","null"]},"offset":{"type":["integer","null"],"minimum":0},"limit":{"type":["integer","null"],"minimum":1,"maximum":32},"max_bytes":{"type":["integer","null"],"minimum":1,"maximum":4096},"expected_head":{"type":["string","null"]},"changes":{"type":["array","null"],"maxItems":128,"items":{"type":"object","additionalProperties":false,"properties":{"cid":{"type":"string"},"action":{"type":"string","enum":["include","park","summarise"]},"reason":{"type":"string","minLength":1,"maxLength":4096}},"required":["cid","action","reason"]}}},"required":["catalog","offset","limit","max_bytes","expected_head","changes"]},"strict":true}}