リーガルAIを取り巻く検証レイヤー

捏造された判例は、準備書面が提出される前に確度をもって捕捉されます。

AIは、存在しない判例を引用する準備書面を起草したり、実在しても引用の根拠とは正反対のことを述べている判例を引用したりします。CiteGuardは、あなたのAIを取り巻くレイヤーです。CourtListener上の実在の判例法に対してすべての引用をグラウンディングし、捏造を決定論的に捕捉し、検証できないものは人間へルーティングし、監査証明書に署名します。何を安全に提出でき、何に人間が必要かを正確に伝えます。

ゲートを通過しうる捏造引用

決定論的な信頼の不変条件、ユニットテスト済み

グランドトゥルース・コーパス内の実在判例

公開の米国判例法データベースCourtListenerからキャッシュ

8/8

コア検証器テストが合格

オフラインかつ再現可能 (python tests/test_core.py)

これは実行可能なデモです。サンプル準備書面、当事者、事件キャプションは合成抜粋であり、文書管理コネクタはモックです。コーパス、ライブのCourtListener照会、決定論的ゲート、およびテストは実物です。

権威あるように見える準備書面が、存在しない判例を引用しうる

裁判所はすでにこれに制裁を科しており、起草ツールは自らの成果をチェックしません。

失敗の形態は、拙い文法ではありません。文法は完璧であり、だからこそ危険なのです。AIはパートナーが書いたように読める準備書面を起草し、一度も判決されていない判例を引用したり、実在する判例を、それが提示される命題とは正反対のことを述べているのに引用したりします。目的特化型のリーガルツールですらこれを行います。対照研究では、Westlaw Precisionは33%、Lexis+は17%の頻度でハルシネーションを起こしました（Stanford RegLab、Journal of Empirical Legal Studies、2025）。

帰結はすでに到来しています。2026年初頭までに、AIハルシネーション引用が関与した文書化された裁判例は1,222件あり、裁判所は制裁を始めています。第6巡回区は2026年3月に$30,000の制裁を科しました。ガバナンス規則も続きました。ABA Formal Opinion 512と300を超える司法スタンディング・オーダーが、提出前に弁護士がAI出力を検証することを今や求めています。にもかかわらず、何らかのAI利用ポリシーを持つ事務所は20%未満です。

これを直す場所として、起草者は適所ではありません。より強力なモデルでもなお起草するだけであり、裁判所はモデルがどれほど自信を持っていたかなど気にしません。気にするのは、引用が存在し、あなたが主張したことを述べているかどうかです。だから、持続する答えはより賢いライターではなく、独立した権威に照らして成果をチェックし、確度をもって捏造を捕捉し、検証できないものについては正直である、別個のレイヤーなのです。

CiteGuardの仕組み

保証級の部分は決定論的なコードです。判断が必要な部分は棄権するLLMです。決めるのはモデルではなくゲートです。

AIが起草した準備書面を貼り付けると、パイプラインがライブで走ります。各引用とその命題を抽出し、実在の判例法に対してグラウンディングし、決定論的な存在チェックとLLMによる支持チェックを実行し、決定論的なポリシーゲートを適用し、署名済み監査証明書をエクスポートします。ダッシュボードは、各段階が点灯するシステムコンソールを示し、すべての実在のCourtListenerリクエストをURL、ステータス、レイテンシとともにストリーミングするので、ブラックボックスはありません。

二つのエンジン、意図的に分割

決定論的Python（保証級）

存在・捏造チェックとポリシーゲートは、実在の判例法に対する純粋なPythonです。捏造された引用は、推測ではなく、ライブのCourtListenerゼロ件ルックアップによって不在が証明されます。買い手が必要とするのは、証明可能な捏造捕捉と監査可能なゲートであり、LLMの言い分ではないからです。

棄権する、一つのLLMステップ

支持チェックは実在の判決意見を読み、それが命題Pを支持するかを問います。プロバイダー交換可能であり、不確か、またはグラウンディングされていないときは棄権して人間レビューへルーティングします。助言するのであって、最終決定を下すことはありません。

引用ごとに、五つの正直な判定のうち一つ

すべての引用は、ちょうど一つの判定に決着します。人間へルーティングする判定は理由について正直であり、CourtListenerに到達できなかったことを意味する判定は、捏造へ決して畳み込まれません。

判定	意味	決定者
VERIFIED_SUPPORTED	実在判例であり、判決意見が命題を支持する	存在チェックと支持チェック
VERIFIED_UNSUPPORTED（要確認）	実在判例だが、判決意見が明確には支持しない	文脈とともに人間へルーティング
FABRICATED	実在の判例法にそのような判例はない	決定論的、ライブのゼロ件ルックアップ
OUTSIDE_COVERAGE	真正な判例だがキャッシュされたサブセットにない、正直にマーク	決定論的、誤った検証済みにはしない
UNVERIFIED	CourtListenerに到達できず、不在が未証明	決定論的、捏造へ決して畳み込まない

ポリシーゲート

ゲートは決定論的です。捏造された引用がゼロ件かつ未解決の引用がゼロ件の場合にのみFILING_READYを返し、それ以外はNOT_FILING_READYです。つまり、捏造が一つもなくても、未レビューの引用が一件あれば、設計上、提出全体が止まります。その後ワンクリックで、署名済みJSON監査証明書をエクスポートします。引用ごとに判定、証拠スニペット、実在のCourtListener URL、モデルとバージョン（または決定論的、または棄権）、検証器バージョン、UTCタイムスタンプ、ゲート結果を記録します。

一つの準備書面、すべての経路、端から端まで実証

デモには四つのサンプル準備書面が付属します。うち二つを順に見ていきます。実在引用、捏造引用、コーパス外引用を同時に含むMixed Motion準備書面と、すべての引用が実在するClean Motion準備書面です。以下の画像はすべて、実行中のアプリのスクリーンショットです。事件キャプションは例示であり、実在の事件ではありません。

パイプラインは実在の判例法に対してライブで走る

左はAIが起草した排除申立です。右では、システムコンソールが段階ごとに点灯し、各実在のCourtListenerリクエストをURL、ステータス、レイテンシとともにストリーミングし、支持チェックの推論も並びます。これは最初の引用、Miranda v. Arizona, 384 U.S. 436であり、支持チェックが判決意見の本文を読むあいだ、グランドトゥルース・コーパスに対して決着しています。

CiteGuardダッシュボード。左にAIが起草した準備書面、右に抽出、グラウンディング、支持チェック、ゲート、証明書の各段階を示すシステムコンソールと、CourtListenerリクエストのライブトレース。 — ライブパイプライン。抽出、実在の判例法へのグラウンディング、支持チェック、ゲート、証明書。その下でCourtListenerトレースがストリーミングされる。

捏造された判例を、確度をもって捕捉

準備書面はHalstead v. Ferngate Holdings, 823 U.S. 1199を引用しています。存在チェックはCourtListenerへライブGETを送り、200と0件の結果を得ます。U.S. Reportsに巻823がないからです。判定はFABRICATEDであり、推測ではなく不在が証明されています。同じ実行でBrown v. Board of Education, 347 U.S. 483は実在判例ですがキャッシュされたサブセットにないため、誤った検証済みではなくOUTSIDE_COVERAGEと正直にマークされます。ゲートはNOT_FILING_READYです。捏造1件、未解決2件、自動クリア1件。

一つの準備書面に対するCiteGuard検証スコアボード。検証済み1件、捏造1件、要確認2件。Halstead v. Ferngate 823 U.S. 1199は捏造、Brown v. Board of Educationは対象外、ゲートは提出不可と表示。 — 一つの準備書面、すべての結果。実在引用は検証済み、Halstead 823 U.S. 1199はゼロ件ルックアップで捏造、Brown v. Boardは対象外、残りは要確認へルーティング。

実在判例が、判決意見自身の判旨で緑にクリア

これはClean Motion準備書面です。すべての引用が実在し、論点に即した判例です。判決意見の本文が命題を確立するとき、支持チェックがそれを確認します。Miranda v. Arizona, 384 U.S. 436は検証済みでクリアします。多数意見自体が、被疑者は弁護人依頼権と黙秘権を告知されなければならないと判示しており、CourtListener上の実在判例へのリンクがあります。どの特定の論点即応引用が緑でクリアされ、どれがレビューへルーティングされるかは実行ごとに変わり得ます。支持チェックが唯一の非決定論的ステップだからです。ただしMirandaのような論点即応の引用は、確実にクリアします。

ライブの支持チェックトレース。CourtListenerから実在のMiranda v. Arizona判決意見を取得し、身体拘束下の尋問に関する警告についての判旨を引用して384 U.S. 436を検証済みとマーク。続いてTerry v. Ohioがグラウンディングされる。 — 支持チェックは実在の判決意見を読み、多数意見自身の判旨を引用するため、Miranda 384 U.S. 436は検証済みでクリアします。実在の本文にグラウンディングされ、出典リンク付きです。

はったりで判定せず、人間へルーティングする

Mixed Motionのレビューでは、スコアボードは検証済み1件、捏造1件、要確認2件です。Bell Atlantic Corp. v. Twombly, 550 U.S. 544は実在判例ですが、抜粋がその提示される命題を真っ向から確立していないため、支持チェックは自信ありげに採点せず、推論とともに要確認とマークします。その保守的な棄権が設計です。自信満々の赤の未支持判定は、意図的に稀です。曖昧な判決意見に対する正直な一手は、人間に渡すことだからです。

誤用された先例の準備書面。Erie Railroad v. TompkinsとCelotex Corp. v. Catrettは実在判例だが誤った命題のために引用されている。トレースは、支持チェックが各実在判決意見を読み、論点が確立されていないと判断し、要確認へルーティングする様子を示す。 — 誤った命題のために引用された実在判例。支持チェックは判決意見を読み、論点が確立されていないと見て、はったりではなく要確認へルーティングします。キーワード一致ではこれを見逃します。

きれいな準備書面でも、すべての引用が決着するまで留められる

これは同じClean Motion準備書面の証明書です。Mirandaは検証済みでクリアしましたが、Terry v. OhioとStrickland v. Washingtonはレビューへルーティングされたため、ゲートは提出準備未完了のまま留まり、シールは確認のため保留と読みます。捏造された引用は一件もないにもかかわらずです。証明書は各引用を判定と支持チェック結果とともに列挙し、すべてがCourtListenerに対して存在をチェックされたこと、捏造引用が確度をもって特定されること、文脈判断を要する引用は人間へルーティングされることを証明します。提出物に添付する署名済みJSON記録としてエクスポートされます。きれいに見える準備書面は、提出準備完了と同じではありません。

Hartwell Capital Partners事件の引用検証証明書。提出準備未完了とマークされ、検証済みと要確認の判定が付いた三つの引用と、確認のため保留のシールが列挙されている。 — 署名済み証明書。提出準備未完了とマークされ、確認のため保留のシール付き。引用がなお人間の判断を要するからである。

独立した権威にグラウンディング

コーパスは、公開の米国判例法データベースCourtListenerからキャッシュされた20件の実在判決であり、Miranda、Twombly、Iqbal、Terry、Strickland、International Shoe、Erie、Baker v. Carr、Chevron、Daubertを含みます。存在・捏造チェックはリクエスト時にCourtListenerをライブでも照会するため、捏造捕捉はサブセットに限定されず権威あるものになります。20件の判例コーパスはキャッシュされたサブセットであり、支持の裁定は実在判例上の小規模Nで実証され、そのスコープは普遍的精度として着飾らず、率直に述べられます。

グランドトゥルース・コーパス・パネル。CourtListenerからキュレートされた20件の実在判例——Strickland v. Washington、Ashcroft v. Iqbal、Terry v. Ohio、Whitman v. American Trucking、Chevronなど——が列挙され、各々に引用とキャッシュされた判決意見がある。 — 20件のグランドトゥルース・コーパス。CourtListenerからキャッシュされ、存在と捏造についてはリクエスト時のライブルックアップ。

未検証のAI出力とCiteGuard

CiteGuardは、もう一つの起草者ではありません。何を安全に提出できるかを決めるレイヤーです。

観点	未検証のAI準備書面	CiteGuard検証レイヤー
捏造判例の検出	権威あるように読めて、捕捉されない	決定論的、ライブのゼロ件ルックアップ
実在するが誤用された引用	そのまま提出される	文脈とともに人間レビューへルーティング
不確かな支持チェック	モデルはそれでも判定を断言する	棄権し、人間に渡す
プロベナンス	なし	引用ごとの実在のCourtListenerリンク
提出の判断	起草者の自信	決定論的ゲート。捏造ゼロかつ未解決ゼロ
ABA Op. 512のための監査証跡	なし	準備書面ごとの署名済みJSON証明書

このデモがしないこと

✓ リーガルリサーチや起草は行わず、Harvey、Westlaw、Lexisと競合しません。準備書面を生み出したどのモデルの周囲にも座る、検証レイヤーです。
✓ 支持についての完璧なAI判断は主張しません。支持チェックは棄権付きのLLM支援であり、非決定論的で、不確かな事例は設計上人間へルーティングします。誤用された引用をすべて赤の未支持として自動フラグしません。自信満々の赤の判定は、意図的に稀です。
✓ きれいに見える準備書面を提出準備完了とは扱いません。決定論的保証なのは捏造と存在だけです。8件中8件のテストと20件の判例コーパスは、構築済みデモのスコープであり、オープンワールドの精度主張ではありません。
✓ サンプル準備書面、判例、事件キャプションを実在の依頼者や事件として提示しません。合成抜粋とラベルされています。捏造された引用は、実在の判例法から真正に不在です。
✓ ライブの文書管理コネクタは使いません。iManageまたはNetDocumentsコネクタはモックです。デフォルトのグラウンディングは公開の多数意見スニペットを使い（判決意見全文には無料のCourtListenerトークンが必要）、PDF証明書、否定的取り扱いチェック、GraphRAGは先送りです。
✓ 顧客、ケーススタディ、推薦の声、ROI数値は持ちません。まだ存在しません。これは仕組みを証明するデモであり、導入ではありません。

弁護士が実際に尋ねる問い

これはHarvey、Westlaw、Lexisの代替ですか?

いいえ。CiteGuardは起草もリーガルリサーチも行わないため、Harvey、Westlaw Precision、Lexis Protegeと競合しません。それらが生み出したものの周囲に座る検証レイヤーです。AIが起草した準備書面を受け取り、何を安全に提出でき、何に人間が必要かを弁護士に伝え、すでに使っているツールと並んでシャドウまたはアドバイザリーモードで走ります。

引用が単に欠落しているのではなく捏造だと、どう分かるのですか?

存在チェックは、公開の米国判例法データベースCourtListenerに、正確な引用を照会します。Halstead v. Ferngate Holdings, 823 U.S. 1199のような捏造引用はゼロ件を返します（U.S. Reportsに巻823はない）。したがって推測ではなく確度をもってFABRICATEDとマークされます。CourtListenerに到達できない場合、引用は捏造ではなくUNVERIFIEDとマークされます。証明の不在は不在の証明ではないからです。その区別は、決定論的でユニットテスト済みの不変条件です。

判例が実際に自分の主張を支持するかを、AIの判断に任せてよいですか?

盲目的には任せられません。だから支持チェックは棄権します。実在の判決意見を読む一つのLLMステップであり、判決意見の本文が判旨を確立するときだけ——Miranda v. Arizonaについてそうであるように——引用を緑で確認します。判決意見が述べられた命題を真っ向から支持しないとき、判定をはったりせず、引用を人間レビューへルーティングします。モデルは助言し、決定論的ゲートと弁護士が決定します。

より良いAIモデルなら、これは不要になるのですか?

いいえ。提出準備完了はガバナンスの性質であり、モデルの性質ではないからです。裁判所はモデルがどれほど自信を持っていたかなど気にしません。気にするのは、引用が存在し、あなたが主張したことを述べているかどうかです。だから持続する必要は、すべての主張を実在の判例法にグラウンディングし、確度をもって捏造を捕捉し、検証できないものについては正直である、独立したレイヤーです。その要件は、どのモデル品質でも成り立ちます。

監査証明書は、ABA Opinion 512とスタンディング・オーダーに対して実際に何を証明するのですか?

ワンクリックで、署名済みJSON証明書をエクスポートします。引用ごとに判定、証拠スニペット、実在のCourtListener URL、モデルとバージョン（または決定論的または棄権）、検証器バージョン、UTCタイムスタンプ、ゲート結果を記録します。提出前に弁護士がAI出力を検証したことを示す成果物であり、ABA Formal Opinion 512と300を超える司法スタンディング・オーダーが今や求めるものです。デモでは証明書はJSONです。PDFエクスポートは先送りです。

これはライブ製品ですか、デモですか。何が実物ですか?

仕組みを証明する実行可能なデモであり、導入済みパイプラインではありません。四つのサンプル準備書面、当事者、事件キャプションは合成抜粋とラベルされ、文書管理コネクタはモックです。実物なのは次です。20件の判例コーパスはCourtListenerからキャッシュされ、存在・捏造チェックはリクエスト時にCourtListenerをライブで叩き、決定論的ゲートと8件中8件のユニットテストは表示どおりに走り、捏造された引用は実在の判例法から真正に不在です。