@originator-profile/verify 0.7.0-beta.4 → 0.7.0-beta.5

package/dist/index.d.ts

@@ -1,5 +1,5 @@
-import { ContentAttestation, Image, Target, ContentAttestationSet, OpVc, Jwk, ArticleCA, Certificate as Certificate$1, CoreProfile, WebMediaProfile, WebsiteProfile, JapaneseExistenceCertificate, ProfileAnnotation, JapaneseExistencePA, ProfileAnnotationIssuerRegistration, OriginatorProfileSet, ProfileAnnotationPolicy, CertificationSystem, Jwks, SiteProfile, AllowedOrigin } from '@originator-profile/model';
-import { JwtVcDecodingResult, UnverifiedJwtVc, JwtVcVerificationResult, VerifiedJwtVc, VcValidator } from '@originator-profile/securing-mechanism';
+import { ContentAttestation, Jwk, Image, Target, ContentAttestationSet, OpVc, Certificate as Certificate$1, JapaneseExistenceCertificate, ProfileAnnotation, JapaneseExistencePA, ProfileAnnotationIssuerRegistration, CoreProfile, WebMediaProfile, OriginatorProfileSet, ProfileAnnotationPolicy, CertificationSystem, ArticleCA, WebsiteProfile, Jwks, SiteProfile, AllowedOrigin } from '@originator-profile/model';
+import { JwtVcDecodingResult, UnverifiedJwtVc, JwtVcVerificationResult, VerifiedJwtVc, VcValidator, VcValidatorFactory } from '@originator-profile/securing-mechanism';
 import { Keys } from '@originator-profile/cryptography';
 import { DigestSriResult, ContentFetcher, ElementSelector } from '@originator-profile/sign';
 
@@ -39,14 +39,94 @@ declare class CaVerifyFailed extends Error {
     constructor(message: string, result: CaVerificationFailure);
 }
 
+/**
+ * 検証中に検出された問題
+ *
+ * @see {@link https://www.w3.org/TR/vc-data-model-2.0/#problem-details}
+ */
+type ProblemDetails = {
+    /** 問題の種類を識別する URL */
+    type: string;
+    /** 短い説明 */
+    title: string;
+    /** この発生に固有の説明 */
+    detail?: string;
+    /** 問題を検出した位置を指す JSONPath。例: `$.originators[0].annotations[1]` */
+    pointer?: string;
+};
+/**
+ * VC ごとの securing mechanism の検証結果
+ *
+ * 復号したペイロードは {@link VerificationResult.outcome} が階層で保持し、
+ * securing mechanism に由来する情報と検証の成否はこちらが持つ。
+ * 対応は `pointer` で取る。
+ */
+type SecuringResult = {
+    /** 対応する {@link VerificationResult.outcome} 内の位置を指す JSONPath */
+    pointer: string;
+    /** 検証を通過したか */
+    status: boolean;
+    /** 保護された表現。JWT VC では JWT 文字列 */
+    source?: string;
+    /** メディアタイプ */
+    mediaType?: string;
+    /** 暗号アルゴリズム */
+    algorithm?: string;
+    /** 発行日時 (ISO 8601) */
+    issuedAt?: string;
+    /** 有効期限 (ISO 8601) */
+    expiredAt?: string;
+    /** 検証に用いた鍵 */
+    verificationKey?: Jwk;
+    /** 検証鍵の保有者 */
+    controller?: string;
+};
+/**
+ * 検証結果
+ *
+ * 階層を持つのは `outcome` だけで、securing mechanism の情報と検出した問題は
+ * いずれも JSONPath で `outcome` 内の位置を指すフラットなリストとして持つ。
+ * JSON で表現できる値だけで構成されるため、メッセージ境界や storage を跨いでも
+ * 値と判定が変わらない。
+ *
+ * @see {@link https://www.w3.org/TR/vc-data-model-2.0/#verification}
+ */
+type VerificationResult<T> = {
+    /** 検証を通過したか */
+    status: true;
+    /** 復号したペイロードの階層 */
+    outcome: T;
+    /** VC ごとの securing mechanism の検証結果 */
+    securingResults: SecuringResult[];
+    /** 無効性を意味しない通知 */
+    warnings: ProblemDetails[];
+    /** システムの正常な動作記録 */
+    info: ProblemDetails[];
+    /** 検証を通過しているため参照しない */
+    errors?: never;
+} | {
+    status: false;
+    outcome?: T;
+    securingResults: SecuringResult[];
+    warnings: ProblemDetails[];
+    info: ProblemDetails[];
+    errors: ProblemDetails[];
+};
+
 /**
  * 検証中のメッセージを受け取るロガー
  * - `warn`: 警告
  *   主に互換性 (非推奨 Certificate や digestSRI の欠落・不一致など) の通知に使用
  * - `info`: システムの正常な動作記録
  *   (Profile Annotation Issuer 登録証 PA 未保有など、無効性を意味しない状態) の通知に使用する。
+ *
+ * 第 2 引数の `details` には構造化した通知内容を渡す。`console` をはじめ
+ * 第 1 引数のみを受け取る実装も、そのまま渡せる。
  */
-type Logger = Pick<Console, "warn" | "info">;
+type Logger = {
+    warn(message: string, details?: ProblemDetails): void;
+    info(message: string, details?: ProblemDetails): void;
+};
 
 /**
  * `digestSRI` の検証
@@ -71,6 +151,8 @@ declare function verifyImageDigestSri(value: Image | undefined, options?: {
     fetcher?: typeof fetch;
     /** ロガー (デフォルト: `console`) */
     logger?: Logger;
+    /** 検証対象の位置を指す JSONPath */
+    at?: string;
 }): Promise<void>;
 
 declare class IntegrityFetchFailed extends Error {
@@ -140,9 +222,11 @@ type VerifyIntegrity = typeof verifyIntegrity;
  * @param url 検証対象のURL
  * @param verifyIntegrity Target Integrity の検証器
  * @param validator バリデーター
+ * @param logger ロガー (デフォルト: `console`)
+ * @param at 検証対象の位置を指す JSONPath
  * @returns 検証機
  */
-declare function CaVerifier<T extends ContentAttestation>(ca: string, keys: Keys, issuer: string, url: URL, verifyIntegrity?: VerifyIntegrity, validator?: VcValidator<VerifiedCa<T>>): () => Promise<CaVerificationResult<T>>;
+declare function CaVerifier<T extends ContentAttestation>(ca: string, keys: Keys, issuer: string, url: URL, verifyIntegrity?: VerifyIntegrity, validator?: VcValidator<VerifiedCa<T>>, logger?: Logger, at?: string): () => Promise<CaVerificationResult<T>>;
 
 /** COntent Attestation Set 要素 */
 type CasItem<Ca> = {
@@ -187,8 +271,17 @@ declare function normalizeCasItem<Ca>(ca: Ca | CasItem<Ca>): CasItem<Ca>;
  * @param url 検証対象のURL
  * @param verifyIntegrity Target Integrity の検証器
  * @param validator バリデーター
+ * @param logger ロガー (デフォルト: `console`)
+ * @param at 検証対象の文書の位置を指す JSONPath
  * @returns CAS 検証結果
  *
+ * @remarks
+ * `CasVerifyFailed` を返さず `VerifiedCas` を返す場合、その配列は `cas` と同じ順序・同じ件数になる契約とする。内部では
+ * `Promise.all(cas.map(...))` により検証しており、要素のフィルタ・並び替えは
+ * 行わない。この契約は呼び出し側(例: inspector の `verifyFramesCas`)が
+ * インデックスで入力と結果を対応付ける際の前提になっているため、将来実装を
+ * 変更する場合はこの契約を維持するか、呼び出し側にも影響がある点に注意すること。
+ *
  * @example
  * ```ts
  * import { verifyIntegirty } from "@originator-profile/verify";
@@ -204,65 +297,7 @@ declare function normalizeCasItem<Ca>(ca: Ca | CasItem<Ca>): CasItem<Ca>;
  * verified; // VerifiedCas
  * ```
  */
-declare function verifyCas<T extends ContentAttestation = ContentAttestation>(cas: ContentAttestationSet, verifiedOps: VerifiedOps, url: string, verifyIntegrity: VerifyIntegrity, validator?: typeof VcValidator): Promise<CasVerificationResult<T>>;
-
-// Definitions by: Eddie Atkinson <https://github.com/eddie-atkinson>
-
-type Operation = "add" | "replace" | "remove" | "move";
-
-type DiffOps = Array<{
-  op: Operation;
-  path: Array<string | number>;
-  value?: any;
-}>;
-type PathConverter = (path: string) => string[];
-
-declare function diffApply<T extends object>(
-  obj: T,
-  diff: DiffOps,
-  pathConverter?: PathConverter
-): T;
-
-/**
- * JSON Patch を適用する関数
- *
- * @link https://jsonpatch.com/
- */
-declare const patch: <T extends object>(...args: Parameters<typeof diffApply<T>>) => T;
-/**
- * VerifyResult ファクトリー
- *
- * @link https://reference.originator-profile.org/ts/types/_originator-profile_securing-mechanism.UnverifiedJwtVc
- * @link https://reference.originator-profile.org/ts/types/_originator-profile_securing-mechanism.VerifiedJwtVc
- */
-declare const VerifyResultFactory: (issuedAt: Date, expiredAt: Date) => {
-    create: (vc: OpVc, jwt: string, verificationKey?: Jwk, validated?: boolean) => UnverifiedJwtVc<OpVc> | VerifiedJwtVc<OpVc>;
-};
-/** OP ID Constants */
-declare const opId: {
-    /** CP 発行者 */
-    authority: "dns:cp-issuer.example.org";
-    /** PA 発行者 */
-    certifier: "dns:pa-issuer.example.org";
-    /** CA 発行者 */
-    originator: "dns:originator.example.org";
-    /** 無効な第三者 */
-    invalid: "dns:invalid.example.org";
-};
-/** Core Profile */
-declare const cp: CoreProfile;
-/** Certificate  */
-declare const certificate: Certificate$1;
-/** Web Media Profile */
-declare const wmp: WebMediaProfile;
-/** Website Profile */
-declare const wsp: WebsiteProfile;
-/** CA ID */
-declare const caId = "urn:uuid:78550fa7-f846-4e0f-ad5c-8d34461cb95b";
-/** CA URL */
-declare const caUrl: URL;
-/** Article CA */
-declare const article: ArticleCA;
+declare function verifyCas<T extends ContentAttestation = ContentAttestation>(cas: ContentAttestationSet, verifiedOps: VerifiedOps, url: string, verifyIntegrity: VerifyIntegrity, validator?: VcValidatorFactory, logger?: Logger, at?: string): Promise<CasVerificationResult<T>>;
 
 /**
  * Originator Profile Set 無効
@@ -432,14 +467,213 @@ declare function verifyAnnotationIssuerRegistration(verifiedOps: VerifiedOps, pa
  * @param issuer Core Profile の発行者
  * @param options バリデーターとロガー
  * @returns 検証者
+ *
+ * @remarks
+ * 生成された検証者(`verify()`)が `VerifiedOps` を返す場合、その配列は `ops` と同じ順序・同じ件数になる契約とする。
+ * 内部では `Promise.all(ops.map(...))` により検証しており、要素のフィルタ・
+ * 並び替え・重複排除は行わない。この契約は呼び出し側(例: inspector の
+ * `verifyOps`)がインデックスで入力と結果を対応付ける際の前提になっているため、
+ * 将来実装を変更する場合はこの契約を維持するか、呼び出し側にも影響がある点に
+ * 注意すること。
  */
 declare function OpsVerifier(ops: OriginatorProfileSet, keys: Keys, issuer: string | string[], options?: {
     /** バリデーター */
-    validator?: typeof VcValidator;
+    validator?: VcValidatorFactory;
     /** ロガー (デフォルト: `console`) */
     logger?: Logger;
 }): () => Promise<OpsVerificationResult>;
 
+/** Core Profile 発行者 (レジストリ) の Originator Profile Set と検証鍵 */
+type Registry = {
+    /** レジストリの Originator Profile Set */
+    ops: OriginatorProfileSet;
+    /** Core Profile の検証鍵 */
+    keys: Keys;
+    /**
+     * Core Profile の発行者
+     *
+     * レジストリが複数の発行者を含む場合は配列になる。
+     * @see {@link prepareRegistry}
+     */
+    issuer: string | string[];
+};
+/**
+ * レジストリの Originator Profile Set から検証に用いる形を用意する
+ * @param ops レジストリの Originator Profile Set
+ * @returns Registry、または復号に失敗した場合は OpsInvalid
+ *
+ * @example
+ * ```ts
+ * const registry = prepareRegistry(await fetchRegistryOps());
+ * if (registry instanceof Error) throw registry;
+ * const verified = await verifyWebsite(origin, { siteProfile, registry });
+ * ```
+ */
+declare function prepareRegistry(ops: OriginatorProfileSet): Registry | OpsInvalid;
+
+/** 復号した Originator Profile のペイロード */
+type OriginatorPayload = {
+    /** 復号できなかった場合は null */
+    core: CoreProfile | null;
+    annotations?: (Certificate | null)[];
+    media?: (WebMediaProfile | null)[];
+};
+/** 復号した Content Attestation Set の要素 */
+type CasPayload = {
+    main: boolean;
+    /** 復号できなかった場合は null */
+    attestation: ContentAttestation | null;
+};
+/** 変換中に集める securing mechanism の検証結果と問題 */
+type Collector = {
+    securingResults: SecuringResult[];
+    errors: ProblemDetails[];
+};
+/** 収集先を作る */
+declare const createCollector: () => Collector;
+/**
+ * VC の検証結果を、復号したペイロードと収集物に分解する
+ * @param value 検証済み VC、または検証・復号に失敗したエラー
+ * @param at 位置を指す JSONPath
+ * @param collect 収集先
+ * @returns 復号できたペイロード。復号できなければ null
+ */
+declare function convertVc<T extends OpVc>(value: unknown, at: string, collect: Collector): T | null;
+/**
+ * Originator Profile の検証結果を、復号したペイロードと収集物に分解する
+ * @param op 検証済み OP、または検証・復号に失敗したエラー
+ * @param at 位置を指す JSONPath
+ * @param collect 収集先
+ */
+declare function convertOp(op: unknown, at: string, collect: Collector): OriginatorPayload;
+/**
+ * Originator Profile Set の検証結果を、復号したペイロードと収集物に分解する
+ * @param ops 検証済み OPS、または検証・復号に失敗したエラー
+ * @param collect 収集先
+ */
+declare function convertOps(ops: unknown, collect: Collector): OriginatorPayload[];
+/**
+ * Content Attestation Set の検証結果を、復号したペイロードと収集物に分解する
+ * @param cas 検証済み CAS、または検証に失敗した結果
+ * @param at 対象の文書の位置を指す JSONPath
+ * @param collect 収集先
+ */
+declare function convertCas(cas: {
+    main: boolean;
+    attestation: unknown;
+}[], at: string, collect: Collector): CasPayload[];
+
+/** 検証対象の文書 */
+type VerificationTarget = {
+    /** 文書に設置された Originator Profile Set */
+    ops: OriginatorProfileSet;
+    /** 文書に設置された Content Attestation Set */
+    cas: ContentAttestationSet;
+    /** 文書の URL */
+    url: string;
+    /** 文書内の Target Integrity 検証器 */
+    verifyIntegrity: VerifyIntegrity;
+};
+/** 文書ごとの復号ペイロード */
+type DocumentOutcome<Target extends VerificationTarget> = {
+    /** 検証対象の文書 */
+    target: Target;
+    /** Content Attestation の復号ペイロード */
+    cas: CasPayload[];
+};
+/** 文書群の検証結果に含まれる復号ペイロード */
+type DocumentsOutcome<Target extends VerificationTarget> = {
+    /** 発信者ごとの復号ペイロード */
+    originators: OriginatorPayload[];
+    /** 文書ごとの復号ペイロード */
+    documents: DocumentOutcome<Target>[];
+};
+/**
+ * 文書群の検証
+ *
+ * レジストリ・Web サイト・各文書の Originator Profile Set を結合して検証し、
+ * その結果を用いて文書ごとに Content Attestation Set を検証する。
+ *
+ * @param targets 検証対象の文書
+ * @param options レジストリ・Web サイトの発信者・バリデーター・ロガー
+ * @returns 検証結果。復号できたペイロードは status によらず outcome に含まれる
+ *
+ * @example
+ * ```ts
+ * const result = await verifyDocuments(targets, { registry });
+ * result.outcome?.documents; // 文書ごとの Content Attestation の復号ペイロード
+ * if (!result.status) result.errors; // 検証失敗の理由
+ * ```
+ */
+declare function verifyDocuments<Target extends VerificationTarget = VerificationTarget>(targets: Target[], options: {
+    /** Core Profile 発行者のレジストリ */
+    registry: Registry;
+    /** Web サイトが提示する発信者。文書の OPS と併せて検証し、検証鍵に加える */
+    websiteOriginators?: OriginatorProfileSet;
+    /** バリデーター */
+    validator?: VcValidatorFactory;
+    /** ロガー (デフォルト: `console`) */
+    logger?: Logger;
+}): Promise<VerificationResult<DocumentsOutcome<Target>>>;
+
+// Definitions by: Eddie Atkinson <https://github.com/eddie-atkinson>
+
+type Operation = "add" | "replace" | "remove" | "move";
+
+type DiffOps = Array<{
+  op: Operation;
+  path: Array<string | number>;
+  value?: any;
+}>;
+type PathConverter = (path: string) => string[];
+
+declare function diffApply<T extends object>(
+  obj: T,
+  diff: DiffOps,
+  pathConverter?: PathConverter
+): T;
+
+/**
+ * JSON Patch を適用する関数
+ *
+ * @link https://jsonpatch.com/
+ */
+declare const patch: <T extends object>(...args: Parameters<typeof diffApply<T>>) => T;
+/**
+ * VerifyResult ファクトリー
+ *
+ * @link UnverifiedJwtVc
+ * @link VerifiedJwtVc
+ */
+declare const VerifyResultFactory: (issuedAt: Date, expiredAt: Date) => {
+    create: (vc: OpVc, jwt: string, verificationKey?: Jwk, validated?: boolean) => UnverifiedJwtVc<OpVc> | VerifiedJwtVc<OpVc>;
+};
+/** OP ID Constants */
+declare const opId: {
+    /** CP 発行者 */
+    authority: "dns:cp-issuer.example.org";
+    /** PA 発行者 */
+    certifier: "dns:pa-issuer.example.org";
+    /** CA 発行者 */
+    originator: "dns:originator.example.org";
+    /** 無効な第三者 */
+    invalid: "dns:invalid.example.org";
+};
+/** Core Profile */
+declare const cp: CoreProfile;
+/** Certificate  */
+declare const certificate: Certificate$1;
+/** Web Media Profile */
+declare const wmp: WebMediaProfile;
+/** Website Profile */
+declare const wsp: WebsiteProfile;
+/** CA ID */
+declare const caId = "urn:uuid:78550fa7-f846-4e0f-ad5c-8d34461cb95b";
+/** CA URL */
+declare const caUrl: URL;
+/** Article CA */
+declare const article: ArticleCA;
+
 type OpId = string;
 /**
  * OPS から鍵を取得する
@@ -460,6 +694,87 @@ type MappedKeys = ReturnType<typeof getMappedKeys>;
 declare function getTupledKeys(ops: DecodedOps): [opId: OpId | OpId[], Keys];
 type TupledKeys = ReturnType<typeof getTupledKeys>;
 
+/** 収集先を備えたロガー */
+type ProblemCollector = {
+    logger: Logger;
+    warnings: ProblemDetails[];
+    info: ProblemDetails[];
+};
+/**
+ * 検証中の通知を収集するロガーを作成する
+ *
+ * 構造化された `details` を伴わない通知は、メッセージ文字列のみを持つ
+ * {@link ProblemDetails} として収集する。
+ *
+ * @param delegate 収集と併せて通知を委譲する先 (デフォルト: `console`)
+ * @returns 収集先を備えたロガー
+ */
+declare function collectProblems(delegate?: Logger): ProblemCollector;
+
+/**
+ * JSONPath を組み立てる
+ *
+ * 文字列は property、数値は index として連結する。
+ * @example
+ * ```ts
+ * pointer("originators", 0, "annotations", 1); // "$.originators[0].annotations[1]"
+ * ```
+ */
+declare const pointer: (...segments: (string | number)[]) => string;
+/**
+ * 既存の JSONPath に続けて組み立てる
+ * @example
+ * ```ts
+ * childPointer("$.documents[0]", "cas", 1); // "$.documents[0].cas[1]"
+ * ```
+ */
+declare const childPointer: (base: string, ...segments: (string | number)[]) => string;
+
+/**
+ * 問題の種類を識別する URL を組み立てる
+ *
+ * VC DM 2.0 は {@link ProblemDetails.type} を URL と規定している。検証パッケージの
+ * エラーは `code` (`ERR_*`) を持つため、それをエラーリファレンスの URL に対応させる。
+ * @param code エラーコードまたは通知の識別子
+ */
+declare const problemType: (code: string) => string;
+/**
+ * 検証中の通知の種類
+ *
+ * 検証失敗を表す種類には各エラークラスの `code` を用いる。ここで定義するのは、
+ * 失敗として扱わない通知の種類。
+ */
+declare const ProblemType: {
+    /** 非推奨の Certificate を検出した */
+    readonly CertificateDeprecated: string;
+    /** Content Attestation の allowedOrigin は非推奨 */
+    readonly AllowedOriginDeprecated: string;
+    /** Content Attestation の VisibleTextTargetIntegrity は非推奨 */
+    readonly VisibleTextTargetIntegrityDeprecated: string;
+    /** digestSRI が設定されていない */
+    readonly DigestSriMissing: string;
+    /** digestSRI の検証に失敗した */
+    readonly DigestSriInvalid: string;
+    /** Profile Annotation Issuer がその認証制度の発行を認可されていない */
+    readonly PaIssuerNotRegistered: string;
+    /** 種類が特定されていない通知 */
+    readonly Unspecified: string;
+};
+type ProblemType = (typeof ProblemType)[keyof typeof ProblemType];
+
+/**
+ * エラーを {@link ProblemDetails} に変換する
+ *
+ * 検証パッケージのエラークラスは `code` (`ERR_*`) を持つため、それを
+ * エラーリファレンスの URL に対応させて `type` とする。内側のエラー
+ * (JOSE の失敗理由やスキーマ検証の issue) は `detail` に載せる。
+ *
+ * @param error 変換対象
+ * @param at 問題を検出した位置を指す JSONPath
+ * @returns 問題の詳細
+ */
+declare function toProblemDetails(error: unknown, at?: string): ProblemDetails;
+
 declare class SiteProfileInvalid extends Error {
     result: SpVerificationFailure;
     static get code(): "ERR_SITE_PROFILE_INVALID";
@@ -497,7 +812,7 @@ declare function SpVerifier(sp: SiteProfile, keys: Keys, issuer: string | string
     /** WSPが提示されたWebサイトのorigin引数との一致性検証の可否 (デフォルト: 有効) */
     verifyOrigin?: boolean;
     /** バリデーター */
-    validator?: typeof VcValidator;
+    validator?: VcValidatorFactory;
     /** ロガー (デフォルト: `console`) */
     logger?: Logger;
 }): () => Promise<SpVerificationResult>;
@@ -510,5 +825,42 @@ declare function SpVerifier(sp: SiteProfile, keys: Keys, issuer: string | string
  */
 declare function verifyAllowedOrigin(origin: URL["origin"], allowedOrigins: AllowedOrigin): boolean;
 
-export { CaInvalid, CaVerifier, CaVerifyFailed, CasVerifyFailed, CertificateExpired, CoreProfileNotFound, IntegrityFetchFailed, IntegrityVerificationFailed, OpInvalid, OpVerifyFailed, OpsInvalid, OpsVerifier, OpsVerifyFailed, SiteProfileInvalid, SiteProfileVerifyFailed, SpVerifier, TargetIntegrityAlgorithm, VerifyResultFactory, article, caId, caUrl, certificate, cp, decodeOps, getAnnotationPolicy, getMappedKeys, getTupledKeys, isProfileAnnotationIssuerRegistration, normalizeCasItem, opId, patch, verifyAllowedOrigin, verifyAnnotationIssuerRegistration, verifyCas, verifyDigestSri, verifyImageDigestSri, verifyIntegrity, wmp, wsp };
-export type { CaDecodingFailure, CaDecodingResult, CaVerificationFailure, CaVerificationResult, CasItem, CasVerificationFailure, CasVerificationResult, Certificate, DecodedCa, DecodedOp, DecodedOps, FetchIntegrityResult, IntegrityVerifyResult, Logger, MappedKeys, OpDecodingFailure, OpDecodingResult, OpVerificationFailure, OpVerificationResult, OpsDecodingFailure, OpsDecodingResult, OpsVerificationFailure, OpsVerificationResult, SpVerificationFailure, SpVerificationResult, TupledKeys, VerifiedCa, VerifiedCas, VerifiedOp, VerifiedOps, VerifiedSp, VerifyIntegrity };
+/** Web サイトの検証結果に含まれる復号ペイロード */
+type WebsiteOutcome = {
+    /** 発信者ごとの復号ペイロード */
+    originators: OriginatorPayload[];
+    /** Website Profile の復号ペイロード。復号できなかった要素は null */
+    sites: (WebsiteProfile | null)[];
+};
+/**
+ * Web サイトの検証
+ *
+ * サイトが提示する Site Profile とレジストリを用いて、指定した origin の
+ * サイトを誰が運営しているものとして確認できるかを検証する。
+ *
+ * @param origin 検証対象のサイトを識別する RFC 6454 オリジン
+ * @param options Site Profile・レジストリ・オリジン検証の可否・バリデーター・ロガー
+ * @returns 検証結果。復号できたペイロードは status によらず outcome に含まれる
+ *
+ * @example
+ * ```ts
+ * const result = await verifyWebsite(location.origin, { siteProfile, registry });
+ * result.outcome?.sites;  // Website Profile の復号ペイロード
+ * if (!result.status) result.errors;  // 検証失敗の理由
+ * ```
+ */
+declare function verifyWebsite(origin: URL["origin"], options: {
+    /** サイトが提示する Site Profile */
+    siteProfile: SiteProfile;
+    /** Core Profile 発行者のレジストリ */
+    registry: Registry;
+    /** WSP が提示された Web サイトの origin との一致性検証の可否 (デフォルト: 有効) */
+    verifyOrigin?: boolean;
+    /** バリデーター */
+    validator?: VcValidatorFactory;
+    /** ロガー (デフォルト: `console`) */
+    logger?: Logger;
+}): Promise<VerificationResult<WebsiteOutcome>>;
+
+export { CaInvalid, CaVerifier, CaVerifyFailed, CasVerifyFailed, CertificateExpired, CoreProfileNotFound, IntegrityFetchFailed, IntegrityVerificationFailed, OpInvalid, OpVerifyFailed, OpsInvalid, OpsVerifier, OpsVerifyFailed, ProblemType, SiteProfileInvalid, SiteProfileVerifyFailed, SpVerifier, TargetIntegrityAlgorithm, VerifyResultFactory, article, caId, caUrl, certificate, childPointer, collectProblems, convertCas, convertOp, convertOps, convertVc, cp, createCollector, decodeOps, getAnnotationPolicy, getMappedKeys, getTupledKeys, isProfileAnnotationIssuerRegistration, normalizeCasItem, opId, patch, pointer, prepareRegistry, problemType, toProblemDetails, verifyAllowedOrigin, verifyAnnotationIssuerRegistration, verifyCas, verifyDigestSri, verifyDocuments, verifyImageDigestSri, verifyIntegrity, verifyWebsite, wmp, wsp };
+export type { CaDecodingFailure, CaDecodingResult, CaVerificationFailure, CaVerificationResult, CasItem, CasPayload, CasVerificationFailure, CasVerificationResult, Certificate, Collector, DecodedCa, DecodedOp, DecodedOps, DocumentOutcome, DocumentsOutcome, FetchIntegrityResult, IntegrityVerifyResult, Logger, MappedKeys, OpDecodingFailure, OpDecodingResult, OpVerificationFailure, OpVerificationResult, OpsDecodingFailure, OpsDecodingResult, OpsVerificationFailure, OpsVerificationResult, OriginatorPayload, ProblemCollector, ProblemDetails, Registry, SecuringResult, SpVerificationFailure, SpVerificationResult, TupledKeys, VerificationResult, VerificationTarget, VerifiedCa, VerifiedCas, VerifiedOp, VerifiedOps, VerifiedSp, VerifyIntegrity, WebsiteOutcome };