モデルは変わる。
証明は残る。

地方銀行が中小企業向けに ¥5,000,000 の融資を承認するシナリオ。借り手の正確な所得は AI に開示されません。Lemma は「所得が方針の閾値を上回ること」「AML 該当者でないこと」だけを証明します。

同じ融資承認ですが、AI が署名した後で承認書類が編集されています。Lemma はコンプライアンスチームに提示される前に改ざんを検出します。

部品メーカーが EU バイヤーにバッチを出荷するシナリオ。Lemma は生産工程が登録済みの ESG / CBAM 適合仕様に従ったことを証明します。

同じ出荷ですが、認証から出荷までの間に別の AI 検査モデルが置換されています。Lemma はエンベロープ署名の不一致で置換を検出します。

自律エージェントが x402 決済を通じて API サービスを購入するシナリオ。Lemma はエージェントに委任権限があったこと、および支払い証明が正規であることを証明します。

同じ証明が 2 つの決済ステップで提出されるシナリオ — 例えばエージェント連携でリトライループが詰まったケースです。Lemma は重複した proof_id を検出し、2 回目の提出を拒否します。