ZTL Judge

Worked examples: questions already written as ZFL documents, ready to judge.

{'type': 'object', 'title': 'examplesArguments', 'properties': {}}

{'type': 'object', 'title': 'examplesDictOutput', 'additionalProperties': True}

Judge a ZFL document with ZTL, a zero-trust logic: three values, two-valued connectives. Args: document: The ZFL document, as an object or as JSON text: {"rows": [{"name": ..., "means": ..., "status": ..., "ground": ...}], "claim": ...}. Returns: The verdict with its disposition and grade, the receipt, the instruments that applied, the issues found, and what the core read. 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. The full report is returned whatever `ask` says.

{'type': 'object', 'title': 'judgeArguments', 'required': ['document'], 'properties': {'document': {'anyOf': [{'type': 'object', 'additionalProperties': True}, {'type': 'string'}], 'title': 'Document'}}}

{'type': 'object', 'title': 'judgeDictOutput', 'additionalProperties': True}

The ZFL language: the columns of a row, the document fields, their meaning and rules.

{'type': 'object', 'title': 'languageArguments', 'properties': {}}

{'type': 'object', 'title': 'languageDictOutput', 'additionalProperties': True}