ZTL Judge

ZTLStudio

AI は翻訳し、計測済みのコアが判定します。真実は、翻訳者でさえ、信用で与えられることはありません。

主張とパラドックスを判定するためのローカルスタジオです。自然言語（どの言語でも）で主張を記述すると、LLM はそれを形式的なテーブル言語である ZFL に翻訳するだけで、判定はしません。判定を行うのは、決定論的な計測済みのZTL コアです。保証付きの判定結果、自己言及システムのための隔離パスポート、そしてコアがテーブルから読み取った内容を正確に言語化する決定論的なバックリーディングを出力します。

このパイプラインは、支える論理そのものを体現しています。LLM の出力は未検証の入力（マーク Z）であり、コアは税関です。真実は、翻訳者でさえ、信用で与えられることはありません。

human ──meta-chat──► the AI fills a ZFL table (rows + a claim), you sign off
                         │
                         ▼ validator ──► the deterministic core judges
                         ▼ back-reading (no AI — the second auditor)
                         ▼
                   verdict · warranty · passport · stipulations

実行

python3 ztlstudio.py        # → http://localhost:8190

Python の標準ライブラリのみを使用します。ZTL コアは ztlcore/ に同梱されているため、クローンだけで完結します（サブモジュールや依存関係はありません）。AI は任意です。キーがない場合、スタジオはプロモードで動作し、ZFL テーブルを手動で入力できます。AI 翻訳を有効にするには、⚙ Model を開き、プロバイダー、モデル、キーを選択するか、環境変数を設定するか、ローカルの .<provider>_key ファイルにキーを保存してください（いずれも Git で無視されます。キーは一切同梱されません）。

入力するもの：ジャンルの指定は不要。テーブルひとつだけ

ZFL v2 は、行と主張から成る単一のテーブルです。各行には、事実、そのステータス（T は検証済み／F は反証済み／Z は未検証――ゼロトラストのデフォルト）、根拠、そして重要な点として、その事実が言葉で何を意味するかを記述します（極性監査機能により、意図と反対の内容を示すエンコードをバックリーディングで検出できます）。これが「命題」なのか「パラドックス」なのかを指定する必要はありません。ジャンルは計算によって決まり、該当する判定手段が実行されます。主張には判定結果と保証、自己言及システムにはパスポートが適用されます。

スタジオには、作成済みの例が41 件含まれています。例を開いてテーブルの正確な形式を確認し、編集してください。バックリーディングは、コアが実際に読み取った内容を言語化するため、幻覚を起こせないコンポーネントが翻訳を監査します。

ワークフロー

1. メタチャット — 使用する言語で主張を説明すると、AI がテーブルの行を埋め、形式化が本当に行き詰まった場合に限って質問します。AI は自分の限界を理解しています。算術、数量、数値を使った言葉遊びは、エンコードをでっち上げることなく、「命題的 ZTL には形式化できません」と正直に回答します。
2. テーブル — 行のグリッド、根拠バー、主張行はすべて手動で編集できます（プロはチャットを完全に省略できます）。実行すると検証と判定が行われます。バリデーターの問題は機械可読で、修正のために AI に渡せます。
3. レポート — コアの判定結果、保証グレード（遺伝的／健全／検証まで有効）、未検証入力のパスポート、そして完了テーブルが表示されます。続いて決定論的なバックリーディングと、判定結果を言い換える任意の AI による説明が表示されます。この説明が再判定することは禁止されています（パイプライン自身がその論理を自らに適用するため、定義上、未検証と表示されます）。

コアが出力する内容

• 主張 — 判定結果（T／F。判定結果は常に二値です。Z は入力に付けるマークであり、判定結果ではありません）、保証グレード、未検証入力のパスポート、そして未検証の行をすべての読み方にした場合に判定結果がどう振る舞うかを示す完了テーブル。
• 自己言及システム — 根拠付けられた部分（すべての不動点で同一）、隔離集合、コンポーネントごとのパスポート：PARADOX（古典的な解がない――永続的な拒否。振動周期を含む）、UNDERDETERMINED（規定されるまで拒否）、INPUT（検証まで有効）、DOWNSTREAM（継承）。

プロバイダー

キーはこのマシン上に保持され、次の順に読み込まれます。設定フィールド、環境変数（GROQ_API_KEY、ANTHROPIC_API_KEY、…）、ローカルの .<provider>_key ファイルです。対応プロバイダー：Groq、Anthropic（Claude）、OpenAI、OpenRouter、DeepSeek、Gemini、xAI、NVIDIA。より高性能なモデルほど、より明確に形式化できます。翻訳者が誰であっても、コアは同じように判定します。

関連

• ZTL — カーネル、論文、ZFL 言語から成るロジックそのものです。
• introspect — 同じゼロトラストの中核をコードに適用した、7 言語対応の汚染解析ツールです。

AI に関する開示

厳格な誠実さの規律のもと、**Claude（Anthropic）**がアーキテクト兼実装者として構築し、Vitaly Reznikが人間のキュレーター兼意思決定者を務めています。境界を正直に示し、推測ではなく計測し、検証済みの範囲を超えて決して主張しません。

ライセンス

MITおよびApache-2.0のデュアルライセンスです（LICENSE-MIT、 LICENSE-APACHEを参照）。