Control Verification Record · Technical Detail
C³ 制御検証記録
サンプル / 認証ではありませんC3-CAV-2026-0002
C³ 制御検証記録サンプル — 承認条件（Receipt Chain再発行）
このページは、固定対象版・制御条件・確認ケース・修正前後・公開証拠・再確認手順・断定境界を技術担当者向けにまとめた詳細ビューです。
Issuance Lineage
発行系譜
基礎となる検証証拠はC3-CAV-2026-0001と同一だが、このVerify IDは現行Receipt chainを最初から通すための新規発行単位であり、旧IDにReceiptが存在したことを意味しない。
Verification State
承認がないケースで、実行許可を出さないことを確認
NO_GAP_OBSERVED_FOR_DECLARED_WITNESS_SET
この対象版・制御条件・確認ケースの範囲で記録された状態です。リポジトリ全体やシステム全体の安全性、認証・適合を意味しません。
Declared Control
確認した制御条件
Before / After
同じ確認ケースで、修正前後を確認
実行許可の発行は、外部作用が実際に起きたことを示しません。表示期限経過後の結果は、固定対象版の履歴です。
Evidence Binding
対象版と証拠
1-click Recheck
この公開記録を、ブラウザで再確認
公開JSONの実バイト列から期待SHA-256を計算しています。ボタンを押すと同じ公開JSONを取得し、ブラウザ内でSHA-256を再計算します。対象システムの再実行や、独立実装による第三者認証ではありません。
ページ表示の期待SHA-256
sha256:3d6744022fbd252c32b2d799bd8a219098540f86b31c54b3e04296c67811728c
公開JSONの実バイト列をあなたのブラウザで取得し、SHA-256を再計算します。 この操作が確認するのは公開成果物の完全性です。制御条件そのものをブラウザ上で再実行するものではありません。
BYOV / Public Recalculation
公開材料だけから再確認
公開検証器はC³提供コードです。再実行だけで判定ロジックの独立実装や第三者認証が成立するわけではありません。
Claim Boundary
この記録から言えること / 言えないこと
言えること
- ・宣言した approval-empty 反例について、修正前は PASS / permit発行、修正後は HOLD / permit非発行へ変化した既存の検証証拠を、新しいVerify IDで参照する記録である。
- ・修正後の同じ反例について、NO_GAP_OBSERVED_FOR_DECLARED_WITNESS_SET が記録されている。
- ・公開JSONの実バイト列は、ブラウザでSHA-256を再計算して完全性を再確認できる。
- ・公開証拠束と公開検証器を使い、C³提供の確認手順を第三者側でも再実行できる。
- ・このVerify IDは、旧Verify IDへのReceipt後付けではなく、現行Receipt chainを新規発行として通すための別発行単位である。
言えないこと
- ・C3-CAV-2026-0001の元発行時にIssuance ReceiptまたはPublication Receiptが存在していたこと。
- ・この新しいVerify IDの発行によって、基礎となる検証実験自体を新たに再実行したこと。
- ・リポジトリ全体またはシステム全体が安全であること。
- ・未検査の実行経路・制御条件・反例集合について同じ結果になること。
- ・形式検証、第三者認証、適合認証、法令準拠を取得したこと。
- ・将来のリリースでも同じ結果になること。
- ・ブラウザのハッシュ一致だけで制御条件の正しさが証明されたこと。
- ・C³提供検証器を再実行しただけで、判定ロジックの独立実装が成立したこと。