{"id":1238045,"recorded_at":"2026-10-30T09:16:17.711340Z","observed_at":"2026-10-30T09:16:17.711232Z","subject_kind":"endpoint","subject":"158ead82-5816-47e7-9126-dc1e122d5181","kind":"mcp.tools","method":"probe.mcp/1","body":{"count":3,"tools":[{"description":"Worked examples: questions already written as ZFL documents, ready to judge.","inputSchema":{"properties":{},"title":"examplesArguments","type":"object"},"name":"examples"},{"description":"Judge a ZFL document with ZTL, a zero-trust logic: three values, two-valued connectives.\n\n    Args:\n        document: The ZFL document, as an object or as JSON text:\n            {\"rows\": [{\"name\": ..., \"means\": ..., \"status\": ..., \"ground\": ...}], \"claim\": ...}.\n\n    Returns:\n        The verdict with its disposition and grade, the receipt, the\n        instruments that applied, the issues found, and what the core read.\n        Read the verdict WITH its disposition: T EARNED = established; F REFUTED = false; F OPEN or Z OPEN = NOT ESTABLISHED, it could still turn either way (do not report it as false) — `why` and `unverified` say what to check; ON CREDIT = holds only on an unverified ground. A compound claim gets T or F; a claim that is a single name gets that name's own value, Z while unverified.\n        The full report is returned whatever `ask` says.\n    ","inputSchema":{"properties":{"document":{"anyOf":[{"additionalProperties":true,"type":"object"},{"type":"string"}],"title":"Document"}},"required":["document"],"title":"judgeArguments","type":"object"},"name":"judge"},{"description":"The ZFL language: the columns of a row, the document fields, their meaning and rules.","inputSchema":{"properties":{},"title":"languageArguments","type":"object"},"name":"language"}]},"body_sha256":"e872a2c59f3d42ef8cb50306821421c928c678406f93954cf6032fa748291f4d","prev_id":null,"leaf":"0x5ede0b7dca33e4d75916707263ad5d1c7270ad13b6eb700924c9179502a2d27e","leaf_text":"{\"body\":\"e872a2c59f3d42ef8cb50306821421c928c678406f93954cf6032fa748291f4d\",\"id\":1238045,\"kind\":\"mcp.tools\",\"method\":\"probe.mcp/1\",\"observed_us\":1793351777711232,\"prev\":null,\"subject\":\"158ead82-5816-47e7-9126-dc1e122d5181\",\"subject_kind\":\"endpoint\"}","day":null,"proof":[]}