ソース解析 · trace · 開発中

ソースが述べるすべて。そして裏付けるもの。

Orves VERI は構造化されたソースを一度に1つ読みます。ORIS の出力でも、独自の JSON/Markdown でも構いません。そして内部のすべての主張を捉えます。由来する正確なスパン、誰が主張したか、付随する限定条件、内部で述べられた関係、自己矛盾している箇所、そして裏付けられていない主張です。1つのソースを入れ、検証可能な結果を1つ得ます。開発中。API 契約は最終調整中です。

主張と根拠正確なスパン限定条件ソース内の関係ABSTAINED

ステートレス · 一度に1つのソース · 開発中 — API 契約は定義中

ソース解析 · 説明用プレビュー
# one source in · one verifiable result out
# illustrative preview — the API contract is in definition
{ "source": "macro_outlook_may.pdf", "scope": "within_source",
  "claim": "IPCA forecast for 2026: 4.2%",
  "says": "asserted", "supports": "SUPPORTED",
  "span": "p.8 · para 2 · bbox[72,410,486,433]",
  "asserted_by": "Institution A · 2026-05-14",
  "qualifiers": ["preliminary", "subject to revision"],
  "contradicted_within_source": "claim c_31 · annex p.24",
  "abstains_when": "insufficient_evidence" }
課題

抽出はテキストを返します。そのテキストが何を裏付けるかは返しません。

パイプラインは文書から文を抜き出し、それを説明可能にしているものをすべて捨てます。正確にどこから来たのか、誰が主張したのか、付いていた留保、そして2ページ先でそれと矛盾する一節。残るのは事実のように読めて、確認できないものです。

スパンが失われる限定条件が平板化する著者情報が消える内部の矛盾が混ざる根拠がない場所を推測する
得られるもの
幻覚の低減監査可能性コンプライアンス再現性説明可能性説明可能な引用組織的な信頼
1つのソースの内側で

VERI は1つのソースを読む。それだけ。

すべての結果は、構造化された単一のソースから生成されます。他のファイルへのアクセスも、過去の実行の記憶も、参照する事前の状態もありません。その制約こそが製品です。同じソースは常に同じ結果を返し、誰でもファイル自体と照合して確認できます。

VERI が受け取るもの

  • 構造化されたソース1つ — ORIS の出力、または独自の JSON/Markdown
  • その内部のテキスト、表、レイアウト、位置
  • そのソースが自身について宣言する内容 — 著者、日付、範囲

1つのソースを入れ、検証可能な結果を1つ得る。

VERI が決して受け取らないもの

  • 他のソース
  • 過去の実行の結果
  • 現在の Corpus の状態
  • そのソースに含まれていないもの

ソース同士を関連付けるのは Orves MESH です。

1つのソースを端から端まで
構造化されたソーススパンで位置づけられた主張述べる内容と裏付ける内容限定条件と著者情報within_source の関係検証可能な結果1つ

ファイルの外から推論することはありません。ソースが主張を裏付けない場合、状態は ABSTAINED です。

述べる × 裏付ける

ソースが述べることは、裏付けることではありません。

文書は裏付けのないことを主張することも、数値を無意味なほど留保で包むことも、8ページ目と付録で異なる数字を述べることもあります。それらをすべて事実の一覧に平板化することが、説明できない主張が監査に入り込む道です。

1つのソース · 2つの箇所
# macro_outlook_may.pdf · Institution A
p.8 para 2:  "IPCA forecast for 2026: 4.2%"
                 preliminary, subject to revision

annex p.24:  "2026 scenario built on IPCA of 4.4%"
                 no qualifier attached
ソース単位の結果
# the same file disagrees with itself
├── two claims · same subject · same source
├── span: p.8 para 2 · bbox | annex p.24
├── qualifiers: preliminary | none
├── relationship: contradicts · scope: within_source
└── both preserved — neither averaged nor dropped
ソース内の関係

VERI はこれらの関係を各ソース内で捉え、そのすべてに scope: within_source を付与します。Orves MESH は同じ関係を Corpus 全体で発見し、scope: cross_source を付与します。同じ語彙、2つの異なるスコープ。混ざることも、黙って一方から他方へ昇格することもありません。

supportscontradictssupersedesrefinesexplainsdepends_onderived_fromrelated_to
生み出すもの

1つのソースを、底まで解析する。

根拠を伴う主張

すべての主張が、由来する正確なスパン — ページ、領域、段落、音声のタイムスタンプ — を保ち、さらにソース自身が宣言するとおり、誰がいつ主張したかを保ちます。

述べる、そして裏付ける

ソースが述べることと、実際に裏付けることは別の事実です。両方が、それらを分ける限定条件や留保とともに記録されます。根拠が不十分なら ABSTAINED であって、推測ではありません。

ソース内の関係

同じファイルの内側で互いを裏付け、精緻化し、矛盾し、置き換える主張。そのそれぞれが scope: within_source を持ちます。ソース横断の関係は Orves MESH に属します。

Benchmarks

主張の前に、測定を。

測定する対象: 主張の抽出、スパンの正確さ、限定条件の忠実さ、内部矛盾の検出、判断保留の較正。

公開される結果は、事前登録された評価を経た後にのみ出されます — それまでこのサイトに数値は現れません。ベンチマークの方法 →

製品ではなく、性質

すべての成果物が検証可能です。

認証は Orves が生み出すすべてを貫いています。検証は公開され、再現でき、Orves のアカウントに依存しないように設計されています。

✓ 来歴✓ 完全性バージョン証跡解決状態検証trust →
API ファースト

数分で統合。

すべてはマネージド API から提供されます — 追加のインフラを構築する必要はありません。

REST APIPythonTypeScriptGoJavaOpenAPIサンプル

ソースが実際に述べていることを証明する。

ORIS の出力から始めるか、独自の構造化ソースを接続してください — 15,000 の無料クレジット、クレジットカード不要。