何を捉えるか、3通りの実例で
デモはBLOCK、PASS、エスカレーションを、すべて合成ポジションで順に示します。以下のスクリーンショットは、稼働中のアプリの実キャプチャです。
アンカー：above-the-lineとして草案されたOBBBA自動車ローン利子ポジション
草案された記述は次のとおりです。「新しいOBBBA自動車ローン利子控除は、顧客のAGIを減額するabove-the-line控除である。」もっともらしく、よく書かれており、そして誤りです。適格乗用車ローン利子は§63(b)(7)の下でbelow-the-line控除であり、AGIを減額しません。デモ自身のREADMEによれば、主流の税務申告ガイダンス（H&R Blockのサイトを含む）はこれをabove-the-lineと誤表示しています。StatuteGuardは BLOCK: DO NOT FILEを返し、引用チェーン §163(h)(1) → §163(h)(4)(A) → §63(b)(7) → §62/§63 をアニメーションし、草案どおりに提出した場合に崩れるものの5方向下流カスケードをフラグします。AGI、AGI連動の州税、Medicare IRMAA保険料、医療費控除のフロア、学生ローンの所得連動型返済です。
抽出ステップは5.93s、決定論的グラウンディングはマイクロ秒で判定を描画しました。
クリーンな§1031交換は通過する
投資用不動産の適合する同種交換は CLEARED: 草案どおり提出して問題なしを返し、独自の2ノード引用チェーン（§1031(a)(1)および§1031(a)(2)-TCJA）を伴います。これが重要な規律です。正しいポジションが誤ってフラグされることは決してありません。ゴールデンセットにおいてゲート精度は100%、誤ブロックは0件です。
§280Aのグレーゾーンはエスカレーションされる
専属的な事業使用がファイルで立証されていないホームオフィスのポジションは、事実と状況のテストであり、決定論的カバレッジの外にあります。StatuteGuardは NEEDS HUMAN REVIEW を返し、虚勢は張りません。LLMは検証可能なクレームを提案し信頼度を報告します。下限を下回れば、ポジションはエスカレーションされ、モデルが解決することはありません。
ポリシーは自分で読めます
Policy Rulesビューアは、決定論的な制定法ロジックを、実際のOPA/Regoソースの横に読みやすい決定表として示します。これが、防御できる検証レイヤーの要点です。モデルによる要約を信頼するのではなく、コードが制定法と一致することを確認します。
すべての判定が提出可能な記録を書き出す
監査ステージは、Form SG-6662デューデリジェンスワークペーパーを生成します。出典、第一次制定法根拠、抽出されたクレーム、判定ナラティブ、完全な引用チェーン。印刷またはPDFとして保存し、顧客ファイルに保管できます。§6662の合理的原因ポジションを裏付けます。助言ではありません。
ラベル付きゴールデンセットで測定、ローカルで評価
Run Benchmarkは42ポジションのラベル付きゴールデンセット（クリーン14、エラー16、エスカレート12）を再生します。スコアボードは、決定論的カバレッジ71.4%、誤ブロック0件でゲート精度100%、エラー捕捉の完全性100%、グレーゾーンの正しいエスカレーション100%、すべての判定がラベルと一致、と報告します。これらは検証レイヤーを記述するものであり、モデルの誤り率ではないため、ベースモデルが改善しても成り立ちます。構築中、判定はOPA 1.17.1と照合され、42件すべてで純Pythonツインと完全に一致しました。
これらの数値は、エンコードされた条項の固定42件ラベル付きゴールデンセットで測定されたものであり、オープンワールドの保証ではありません。