Evidence row 1238045

What was observed

{
  "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"
    }
  ]
}

What the leaf hashes

{"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"}

Proof

Its day has not closed yet. A day closes ten minutes after midnight UTC; the proof appears here then.