kofdai/verantyx-vera

🧭 Verantyx Vera α

決定論的な状況板と、自分の読みを自分で直す閉ループ。答えの経路に LLM は 一切ありません。同梱の jgen は embed 表だけの静的辞書で、物理的に生成できません。

⚠️ 機密文書は入れないでください / Never paste confidential documents. これは公開サーバ上のデモです。投入した文書は送信されます。架空データか、 すでに公開されている資料だけを使ってください。手元の非公開文書で試すには、 外部接続を一切しないローカル版を使ってください: pip install "verantyx-vera[docs]" → vera field

五つのタブ

内部に答えがある線と、ない線

エンジンは「この読みは正しいか」を内部で決められません — それは世界を要ります。 決められるのは「同じ内容の二つの読みが一致するか」で、一致しなければどちらかが 誤りです。これは証明であって推測ではありません。

• —レイアウト欠陥 — 空白は抽出器が入れたもので情報を運ばない。無人で修復
• —ガード矛盾 — 極が置かれた文の語尾を、エンジン自身のガードが「主張なし」と 言う。両方ともプロセス内なので世界不要。無人で修復
• —語彙 — 未知語が本当にその極かは文書から決まらない。人が承認します

同梱の jgen 静的辞書について

lexicon/ に qwen 0.5b の embed 表のみ(152k×1024)。出荷前に測った範囲だけを 使います:

反対の極は同じ文脈に現れる(「断水が発生」と「復旧が完了」は同じ段落)ので、 静的な表には区別する情報がありません。辞書は順番を決めるだけで、受理しません。

このデモの関門は、手元より弱いこと

閉ループの受理判定は、ローカル版では運用者自身のコーパスの確定検出を関門に します。デモにはそれが無いので、植え込み検査(自前の答え合わせ付き)と貼られた 文書だけが関門です。ここで受理された修復は、手元で受理される修復より少ない 証拠で通っています。

実測(公開された災害関連文書5コーパス): レイアウト証明13件、ガード矛盾7件、 語彙候補4件(うち本物2件)。 エンジン: https://github.com/Ag3497120/Verantyx-Vera-alpha