例を見る // C1

異常検知 / 固定シナリオ

異常検知の例を見る

固定シナリオから作ったサンプルで、納品物の見え方と照合手順だけを確認するページです。申込や本番実行のページではありません。

  • C1 の意味と返却境界は `/c1` を正とし、このページでは固定シナリオ・公開デモパック・最小照合だけを扱います。
  • このデモは検収体験用の軽量サンプルです。性能・速度の比較や本番の計算規模を示すものではありません。
固定シナリオ検収体験申込ページではない
役割

固定シナリオと最小照合だけを見る場所です。

ここで固定していること

固定サンプルまたは公開デモパック、最小の JSON、最小の照合手順だけを扱います。

公開しないこと

任意入力の実行、契約固定の補助束、内部式や詳細照合はここでは扱いません。

確認の順番
01
サンプルを用意する
固定サンプルを読むか、公開デモパックを生成して、公開範囲の返り方を確認します。
02
整合性を確認
ページ内で SHA-256 を再計算し、同梱値と一致するかを確認します。
03
公開照合を見る
公開範囲の最小照合として、一致か未確定かを確認します。
範囲
このページで分かること
  • 整合性確認の一致(PASS/FAIL)
  • 公開照合の結果(一致/未確定)
このページでは分からないこと
  • 署名・発行者証明・改ざん者特定
  • 詳細な照合結果(適格性確認後に確認)
  • 計算性能(速度)・費用・期間の見積/比較
監査向けガイド

このデモは固定シナリオの確認用です。提出物や第三者提出の全体説明は `/audit` を参照してください。

監査向けガイドを見る
算出済み(固定)
実装で計算できた固定デモ(45件)
G/PULSE/AMP12
gaussian + pulse + AMP
G/PULSE/SUP12
gaussian + pulse + SUP
DG/PULSE/AMP12
double_gaussian + pulse + AMP
G/CONST/AMP3
gaussian + constant + AMP
G/CONST/SUP3
gaussian + constant + SUP
DG/PULSE/SUP2
double_gaussian + pulse + SUP
DG/CONST/AMP1
double_gaussian + constant + AMP
45 件の固定 variant は逆算防止のためクラス表記で示します。一方で、公開デモパック本体は `accepted_input_json` / `fixed_at` / `opaque_ref` / `evidenceHash` / `pack_sha256` の 5 項目だけに揃えています。
一覧を開く(45件)
`amp_class` / `sigma_class` / `center_class` / `sep_class` は相対クラスです(例: A1 < A2 < ...)。
idgroupinputtimemodeamp_classsigma_classcenter_classsep_class
C1-V01G/PULSE/AMPgaussianpulseAMPA1W1P1-
C1-V02G/PULSE/AMPgaussianpulseAMPA1W1P2-
C1-V03G/PULSE/AMPgaussianpulseAMPA1W3P1-
C1-V04G/PULSE/AMPgaussianpulseAMPA1W3P2-
C1-V05G/PULSE/AMPgaussianpulseAMPA3W1P1-
C1-V06G/PULSE/AMPgaussianpulseAMPA3W1P2-
C1-V07G/PULSE/AMPgaussianpulseAMPA3W3P1-
C1-V08G/PULSE/AMPgaussianpulseAMPA3W3P2-
C1-V09G/PULSE/AMPgaussianpulseAMPA4W1P1-
C1-V10G/PULSE/AMPgaussianpulseAMPA4W1P2-
C1-V11G/PULSE/AMPgaussianpulseAMPA4W3P1-
C1-V12G/PULSE/AMPgaussianpulseAMPA4W3P2-
C1-V13G/PULSE/SUPgaussianpulseSUPA1W1P1-
C1-V14G/PULSE/SUPgaussianpulseSUPA1W1P2-
C1-V15G/PULSE/SUPgaussianpulseSUPA1W3P1-
C1-V16G/PULSE/SUPgaussianpulseSUPA1W3P2-
C1-V17G/PULSE/SUPgaussianpulseSUPA3W1P1-
C1-V18G/PULSE/SUPgaussianpulseSUPA3W1P2-
C1-V19G/PULSE/SUPgaussianpulseSUPA3W3P1-
C1-V20G/PULSE/SUPgaussianpulseSUPA3W3P2-
C1-V21G/PULSE/SUPgaussianpulseSUPA4W1P1-
C1-V22G/PULSE/SUPgaussianpulseSUPA4W1P2-
C1-V23G/PULSE/SUPgaussianpulseSUPA4W3P1-
C1-V24G/PULSE/SUPgaussianpulseSUPA4W3P2-
C1-V25DG/PULSE/AMPdouble_gaussianpulseAMPA2W2P2D1
C1-V26DG/PULSE/AMPdouble_gaussianpulseAMPA2W2P2D3
C1-V27DG/PULSE/AMPdouble_gaussianpulseAMPA2W2P2D4
C1-V28DG/PULSE/AMPdouble_gaussianpulseAMPA2W3P2D1
C1-V29DG/PULSE/AMPdouble_gaussianpulseAMPA2W3P2D3
C1-V30DG/PULSE/AMPdouble_gaussianpulseAMPA2W3P2D4
C1-V31DG/PULSE/AMPdouble_gaussianpulseAMPA4W2P2D1
C1-V32DG/PULSE/AMPdouble_gaussianpulseAMPA4W2P2D3
C1-V33DG/PULSE/AMPdouble_gaussianpulseAMPA4W2P2D4
C1-V34DG/PULSE/AMPdouble_gaussianpulseAMPA4W3P2D1
C1-V35DG/PULSE/AMPdouble_gaussianpulseAMPA4W3P2D3
C1-V36DG/PULSE/AMPdouble_gaussianpulseAMPA4W3P2D4
C1-V37G/CONST/AMPgaussianconstantAMPA1W3P2-
C1-V38G/CONST/AMPgaussianconstantAMPA3W3P2-
C1-V39G/CONST/AMPgaussianconstantAMPA4W3P2-
C1-V40G/CONST/SUPgaussianconstantSUPA1W3P2-
C1-V41G/CONST/SUPgaussianconstantSUPA3W3P2-
C1-V42G/CONST/SUPgaussianconstantSUPA4W3P2-
C1-V43DG/PULSE/SUPdouble_gaussianpulseSUPA2W3P2D3
C1-V44DG/PULSE/SUPdouble_gaussianpulseSUPA4W3P2D3
C1-V45DG/CONST/AMPdouble_gaussianconstantAMPA5W4P2D2
デモパック
公開デモ(最小返却)固定サンプル(JSON)
注意: 固定サンプルで MATCH(一致)を確認できます。
公開照合は一致/未確定の最小確認です。未確定(MISMATCH)は改ざん断定ではなく、未反映/環境差/不一致などを含みます。検収構造全体は監査向けガイドで確認してください。
固定サンプルが未確定になる場合は、429(混雑)や一時的な反映遅延の可能性があります。時間をおいて再試行してください。
詳細は認証済みの実行画面(契約者向け)で確認してください。
メタデータ
caseId
-
公開参照子
-
fixed_at
-
検収値
-
パックハッシュ
-
※`evidenceHash` は最初に照合へ使う検収値、`pack_sha256` は 5-field public pack 自体の完全性確認値です。役割を分けて扱います。
簡易チェック
  • 検収値(evidenceHash)の同梱-
  • pack_sha256 の再計算一致-
公開照合は最小確認で、一致以外は未確定として扱います。詳細は適格性確認後(契約者向け)にご案内します。未確定は改ざん断定ではなく、未反映/環境差/不一致を含みます。
このページでは固定シナリオの最小照合だけを扱います。中央台帳照合、Submission Bundle、VERIFY_OFFLINE_1PAGE.md を含む監査側の確認順は監査向けガイドでまとめて確認してください。 監査向けガイドへ
未確定のとき(対処)
  1. 公開照合が未反映の可能性
  2. 環境差・条件差による不一致の可能性
  3. 確実な判定が必要な場合は適格性確認後(契約者向け)に詳細照合をご案内します
受理入力正文
-
固定公開例では、何を入力として受理したかを `accepted_input_json` で確認できます。Event の readout や契約固定の補助束はこの public pack 本文には含めません。
次の行き先
固定例を続けて見るか、C1 の説明へ戻るか、適格性判断へ進むかをここで選びます。