measure_text_length
Measure the length of a text string. Returns character count, word count, and line count. Useful when the user asks about text size or length.
Contract
Section titled “Contract”Effect: read. Evidence role: discovery_only.
Measure the length of a text string in characters, words, and lines.
Parameters
Section titled “Parameters”This is the current provider-facing JSON Schema, generated from the runtime definition.
{ "type": "object", "properties": { "text": { "type": "string", "description": "The text to measure." } }, "required": [ "text" ]}Execution requirements
Section titled “Execution requirements”The ordinary admission and tool execution checks apply.
Expected postconditions
Section titled “Expected postconditions”- returns text length metrics