出力スキーマ

これはrunDomRulesInPage(...) / runa11yCoreInPage(...)が返すオブジェクトの正確な形です（どちらを呼ぶべきかはINTEGRATION.mdを参照）。このページの例はすべて現在のエンジンの実際の出力（schemaVersion: "1.0.0"）で、手書きしたものではありません。runa11yCoreAcrossFramesは、これを包む別の再帰的な形を返します。後述のフレームをまたぐ結果を参照してください。

トップレベルの結果

{
  engine: {
    tag: string,
    version: string,       // the @surea11y/core release that produced the result
    schemaVersion: string,
    locale: { requested: string, resolved: string, reason: string },
    wcagVersion: "2.0" | "2.1" | "2.2",
    wcagLevel?: "A" | "AA" | "AAA",
    profile?: string,      // "wcag22-aa", "en301549-v4.1.1", "en301549-v3.2.1", "section508", or a registered standard's own
    mappings?: string[],   // e.g. ["en301549"] or ["en301549:V3.2.1"]
    profileExcludes?: { rules: string[], criteria: string[] },
    optInRules?: string[],
    outputDetail?: "findings",
    packs?: string[],      // name@version
    environment: {
      layout: boolean,
      viewport?: { width: number, height: number },  // CSS px
      devicePixelRatio?: number,
      colorScheme?: "light" | "dark",
      forcedColors?: "active" | "none",
      forcedColorsCss?: true,          // under forced colors, when the page's own CSS reacts to them
      fonts?: "loaded" | "loading",
      images?: "loaded" | "loading",
      animationsSettled?: number,
      internalsHook?: "early" | "late",  // only where the page runs the internals hook
      listenerHook?: "early" | "late",   // only where the page runs the listener hook
      liveRegionHook?: "early" | "late"  // only where the page runs the live-region hook
    }
  },
  url: string | null,
  title: string | null,
  timestamp: string | null,
  perfStats: object | null,
  contextSelector: string | string[] | null,
  contextMatch: { elementCount: number, unmatchedSelectors: string[] } | null,
  checksResults: CheckResult[],
  rulesResults: CompositeResult[],
  standards?: Array<{ key: string, standard: string, titleLang?: string, note?: string }>,
  overriddenBuiltinIds: string[],
  skippedCustomRules: Array<{ id: string | null, reason: string, excluded?: true }>,
  skippedPacks?: Array<{ name: string | null, reason: string }>
}

フレームをまたぐ結果（runa11yCoreAcrossFrames）

runa11yCoreAcrossFrames（INTEGRATION.mdを参照）は、通常のトップレベルの結果ではなく、別の再帰的な形を返します。

{
  topFrame: <the normal top-level result shape above>,
  frames: Array<
    | { url: string | null, selector: string | null, title: string | null,
        topFrame: <top-level result>, frames: [...same shape, recursively] }
    | { url: string | null, selector: string | null, title: string | null, error: string }
  >
}

• topFrameは、関数が呼び出されたフレームについての、トップレベルの結果とまったく同じ形です。
• framesには、スキャン範囲内（開いたシャドウルートを含み、範囲自体がフレームであればそれも含む）の直接の子である<iframe>/<frame>ごとに1件のエントリが入ります。ただし、ページが表示していないフレームと、excludeSelectorsが除外するフレームは、そのドキュメント全体とともに除かれます。各エントリはそのフレーム要素を示します。selectorは親のドキュメントにおける<iframe>/<frame>のCSSセレクター、titleはその要素のtitle属性またはnullで、同じドキュメントを読み込むフレームを見分けられます。urlはフレームが表示しているドキュメントで、まだ遷移していないフレームではそのsrcです。到達できる子（a11yCoreEnableFrameResponder()を呼び出したもの）は、それ自身の入れ子のframesまで再帰的に含む、完全な{ url, topFrame, frames }を返します。さらに深い孫フレームには、直接の親を経由してしか到達できないためです。到達できない子（ほとんどのサードパーティの埋め込みがこれに当たります。協力するレスポンダーがないか、タイムアウトした場合）は代わりに{ url, error }を返し、スキャンの残りは中断されません。
• これはフラットなリストではなくツリーです。@surea11y/playwrightバインディングの.frames(true)とは意図的に異なります。そちらはPlaywrightのpage.frames()が入れ子の深さに関係なくすべてのフレームを返すので、フラットにできます。postMessageによる中継にはそのような全体の視点がないため、入れ子を構造で表しています。
• レポーターはツリーをそのまま受け取ります。renderHtmlReport、renderSarifReport、renderJunitReport、buildBaselineEntries、matchBaseline、renderEarlReportは、ツリーのすべてのフレームを報告します。応答した各フレームはそれ自身の検出結果を、それ自身のドキュメントに位置付けて報告し、応答しなかった各フレームは未スキャンとして報告するため、カバレッジの抜けが合格と読まれることはありません。フレームはパスで示されます。ページからそのフレームに至るフレーム要素のselectorを、外側から順に並べたものです（#checkout → iframe:nth-of-type(2)）。スキャン結果でもフレームをまたぐ結果でもないもの（配列、失敗したスキャンのnullやundefined）を渡されると、何も見つからなかったスキャンとして描画するのではなくTypeErrorを投げます。
• バインディングのフレームのスキャンも受け取ります。ブラウザー用バインディングの.frames(true)は、各フレームが入れ子のエントリではなく単純な結果（または{ url, error }）である{ topFrame, frames }を返します。レポーター、getMargins、flattenCrossFrameResultは、そうしたフレームをスキャン済みとして読み、selectorを持たないため['iframe']というパスで示します。
• @surea11y/coreのflattenCrossFrameResult(result)は、レポーターが読むとおりにフレームを列挙します。[{ frame: { path, title, url }, result }]の形で、応答しなかったフレームではresultの代わりにerrorが入り、ページが先頭で、各フレームはその中のフレームより前に並びます。ページのpathは[]です。単純なスキャン結果は1件のエントリになります。

チェック結果（checksResults[i]）

{
  ruleId: string,
  outcome: "pass" | "fail" | "cantTell" | "notApplicable",
  outcomeNormalized: "pass" | "fail" | "cantTell" | "inapplicable",
  severity: "minor" | "moderate" | "serious" | "critical",
  ruleSeverity?: "minor" | "moderate" | "serious" | "critical", // the rule's own, when a profile gave it another
  policyOutcome?: "pass" | "fail" | "cantTell" | "notApplicable", // what the rule found, when the policy made it cantTell
  confidence: "high" | "medium" | "low",
  type: "automatic" | "manual",
  occurrences: Occurrence[],
  title: string,
  description: string,
  i18n: { titleKey: string, descriptionKey: string, variantOfTitleKey?: string } | null,
  meta: {
    ruleId: string,
    ruleInterfaceVersion: string,
    ruleVersion: string,
    normative: boolean,
    atomic: boolean,
    deprecated: boolean,
    deprecation: object | null,
    category: "perceivable" | "operable" | "understandable" | "robust" | null,
    helpUrl: string,       // where to read how to fix it; "" when there is none
    tags: string[],        // the rule's tags, its own and the engine's
    normativeMappings: Array<{ standard: string, version: string, requirement: string, title: string,
      conformanceLevel?: string, wcagSc?: string[], url?: string, understandingUrl?: string }>,
    standard: string | null,
    applicability: string,
    expectation: string,
    references: string[],
    requirements: object | null,
    mappings: object | null
  },
  engineOptions: object,   // the resolved engineOptions this rule actually ran under
  schemaVersion: string,
  rollupIds: string[],     // the rulesResults entries that group this rule in this run; [] if none
  variantOf?: string,      // a pack's variant only: the id of the rule it runs at other settings; i18n.variantOfTitleKey is that rule's titleKey
  data?: object,           // page-level data a rule reports whatever its outcome; see below
  margin?: {               // the closest a measurement came to its threshold while meeting it; see below
    measure: string,       // "contrast-ratio" | "overflow-px" | "target-size-px" | ... (open set)
    unit: "px" | "ratio",  // open set
    limit: "min" | "max",
    threshold: number,
    value: number,
    headroom: number,      // >= 0
    measuredCount: number,
    selector?: string,
    shadowHostSelectors?: string[],  // as on an occurrence
    structuralPath?: number[],
    context?: object       // rule-specific; not a stable contract
  },
  wcagVersionScope?: {     // present only when the target WCAG version changed this outcome
    target: "2.0" | "2.1" | "2.2",
    removedSc: string[],
    coercedFrom: "fail",
    by?: "errata"         // 2.0 or 2.1: their errata count the criterion as always satisfied
  },
  error?: string           // present when the rule did not complete, or the engine noted a change — see below
}

注意点：

• outcomeとoutcomeNormalized：outcomeNormalizedではnotApplicableが"inapplicable"になる点を除いて同一です。自分の用語とエンジン内部の用語のどちらにも合わせられるよう、両方を提供しています。
• デフォルトのa11yポリシーでは、type: "manual"のルールはfailではなくcantTellを報告します。手動ルール自身のロジックがfailと判断した場合、エンジンはそれをcantTellに強制変換し、errorに説明を追記します。これは一元的に適用される仕組み（policy.coerceManualFailToCantTell。a11yポリシー契約ではデフォルトで有効です。POLICY.mdを参照）で、各ルールが気にかける必要はありません。このポリシーのもとでは、failは決定論的なtype: "automatic"の検出結果だけのためにあります。
• meta.normativeMappingsは、チェック結果をWCAGの達成基準に結び付けるものです。空のリストは、この結果ではそのルールに正式な対応がないことを意味します。それはルールが自動か手動かを示すものではありません。それにはtypeを読んでください（例えばaria-allowed-roleは自動ルールで、WCAGとの対応がありません）。これらがどう集約されるかはWCAG適合性との対応を参照してください。このリストはWCAGだけのものではありません。スキャンが別の規格を要求した場合（engineOptions.mappings、または規格のプロファイル）、WCAGの各達成基準の後に、その規格で対応する要件が続きます。例えば、その達成基準を再掲するEN 301 549の条項です（{ standard: "EN 301 549", version: "V3.2.1" | "V4.1.1", requirement: "9.1.1.1", title, wcagSc: ["1.1.1"] }。その達成基準を含むバージョンごとに1件）。また、ルールがWCAGのUnderstanding文書を引用することもあります（type: "Understanding"）。requirementを達成基準として読む前に、standard（とtypeがないこと）で絞り込んでください。複合ルールのWCAGのエントリーは常に先頭です。EN 301 549を参照してください。
• rollupIdsは、この実行でこのルールをまとめているrulesResults内の複合ルールを列挙します。選択がそのルールを単独で指定したために報告された複合ルールも含みます。空のリストは、そのルールの検出結果がどの集約にも現れないことを意味するため、rulesResultsだけを読む利用者には決して見えません。例えばheading-orderはどのWCAGの集約にも属していません。
• wcagVersionScope：スキャンの対象WCAGバージョンによって、このルールのfailがcantTellに変わった場合にだけ含まれます。現時点では、SC 4.1.1（構文解析）に対応するルール（duplicate-id）がこれに当たります。2.2ではその達成基準が削除されたため、2.0と2.1では2023年の正誤表がHTMLとXMLについて常に満たされているものとして扱うためです（by: "errata"）。4.1.1の文言を残す規格のプロファイル（en301549-v3.2.1、またはkeepsParsingを持つパックのプロファイル）では変更されません。removedScは該当する達成基準、targetはスキャンのバージョン、coercedFromはルール自身が報告した判定結果です。検出箇所はルール自身のもので、手を加えていません。捨てられたものは何もなく、変わったのは適合の判定だけです。それ以外の結果には含まれず、errorで報告されることもありません。何も問題は起きていないからです。WCAGバージョンによる絞り込みを参照してください。
• data：判定結果にかかわらずページ全体について何かを報告するルールにだけ含まれます。現在、コアのルールでこれを使うものはありません。検出箇所のdata.detailsと同じく、安定した契約ではありません。
• margin：カタログでmarginを宣言しているルール（getChecksCatalog()[i].margin、{ measure, unit, limit, band? }）で、少なくとも1つの要素がルールのしきい値を満たし、宣言にbandがあればその範囲内に入った場合にだけ含まれます。band.relativeはしきい値に対する割合です。contrast-minimum、contrast-enhanced、link-in-text-blockは0.1で、必要な比の10%以内の比についてだけmarginを報告します（4.5:1に対して4.5〜4.95、3:1に対して3〜3.3）。band.absoluteはunitでの量です。target-size-minimumは6で30 pxまでのターゲットだけを、text-spacing-content-lossは8でボックスの端から6 px以内の行だけを報告します。21:1のテキストや48 pxのボタンは何にも近くないので、それを示すmarginはありません。しきい値を満たしつつ最もしきい値に近づいた要素を示すので、4.5:1に対して4.52:1でのpassや、テキストが切れるまであと0.4 pxでのpassを、余裕のあるpassと区別できます。判定結果に添えられる情報で、検出結果ではありません。検出箇所を追加、削除、変更することはなく、ベースライン、SARIF、JUnit、EARLはこれを無視します。一部の要素が合格していれば、failやcantTellの結果にも含まれます。limitは、値がしきい値に達する必要がある場合（コントラスト、サイズ）はmin、しきい値を下回る必要がある場合（はみ出し）はmaxです。headroomはしきい値の内側にどれだけ余裕があるかをunitで表したもので、minならvalue - threshold、maxならthreshold - valueとなり、負になることはありません。thresholdはその要素の判定に使われたしきい値で、要素ごとに異なることがあります（大きな文字なら3:1）。ピクセルは小数点以下1桁で示されます。CSSピクセルや、15pxのフォントの半分といったしきい値は小数になり、表示する側が人のために丸めるからです。比は丸めません。WCAGはコントラストを丸めないためです。同じ値の要素が複数あれば文書順で最初の要素が選ばれるので、同じページでは常に同じmarginになります。measureとunitはオープンな集合で、マイナーリリースで増えることがあります。contextはルール固有で、data.detailsと同じく安定した契約ではありません。getMargins(result)は、結果に含まれるすべてのmarginをruleId順に並べた[{ ruleId, ...margin }]として返します。フレームをまたぐ結果ではすべてのフレームのmarginを返し、子フレームのものには、そのフレームへのパスであるframeが付きます。
• error：ルールが完了しなかった場合、またはルールが返したものの一部をエンジンが変更したり無視したりした場合に含まれます。例外を投げた（または結果でないものを返した）ルールは、必ずoutcome: "cantTell"、occurrences: []、例外メッセージを設定したerrorとして現れます。そのため、検出箇所がなくerrorを持つcantTellが、完了しなかったルールの見分け方です。エンジンは、壊れたルール1つでスキャン全体をクラッシュさせることはありません。それ以外の場合、errorはエンジンの注記を保持し、ルール自身が返したerrorがあればその後に|でつなげます。注記の対象は、上記の手動ルールの強制変換、集合の外にあるoutcomeやseverity、metaと異なるtype、オブジェクトでない検出箇所（除外されます）、ルールが返したpolicyOutcomeやruleSeverity（どちらもエンジンが設定するため採用されません）、閉じた集合の外にあるuncertainty.code、そして200段階の祖先をたどる処理が報告されたすべての要素に届かずに止まったためにcantTellに格下げされたfailです。これらの結果は検出箇所を保持します。ルールは完了しているからです。
• policyOutcome：ポリシーのallowedOutcomesが、ルールの見つけた判定結果を許可しない場合に含まれます。その場合、結果はcantTellになり、ルール自身の判定結果がここに入り、errorは付きません。そのため、レポーターがこれを完了しなかったルールとして読むことはありません。
• 各結果のengineOptionsは、渡したものそのままではなく、解決済みのオプションオブジェクト（ロケールやコントラストのデフォルトを適用した後のもの）です。あるルールが実際に何を受け取ったか、特に解決されたlocaleとcontrast.mode/contrast.rootCanvasFallbackを確認するのに役立ちます。呼び出し側が指定しなければcontrast.rootCanvasFallbackは白で、contrast.rootCanvasFallbackSetがどちらかを示します。呼び出し側が指定した色ならtrue、デフォルトならfalseです。スキャンが翻訳に使った辞書であるmessages（ブラウザー用バンドルのロケール用の別ファイル、または独自の文字列）は含まれません。これらは設定ではなくデータで、結果ごとにコピーを持たせるとスキャンが数十メガバイトになっていたためです。どの辞書が使われたかはengine.localeで分かります。さらに3つのオプションは、ルールが見たとおりの形で含まれます。結果をJSON.stringifyやstructuredClone（postMessage）で運べる単純なデータに保つためです。probesはルールが読む上限付きのコピーとして、customRulesは関数を除いた[{ id }]（IDを持つカスタムルールごとに1件）として、styleSheetTextsはテキストを除いた[{ href }]（渡したシートごとに1件）として含まれます。ページのCSSを結果ごとに繰り返すと、ルールの数だけ増えていたためです。

検出箇所（occurrences[i]）

failには必ず1つ以上あります。要素を示さないカスタムルールのfailには、ドキュメント要素に1つ付きます（selector: "html"、理由コードFAIL_WITHOUT_OCCURRENCE）。通常はoutcomeがfailまたはcantTellのときにだけ含まれます。このエンジンは合格した要素を列挙せず、フラグを立てた要素だけを報告するため、passの結果はoccurrences: []になります。例外はコントラストのルールで、そのpassには、スキャンについて述べる検出箇所（対象となり計算できたテキストの量）がselectorを空にして1つ付きます。テキストがまったくないpassと、テキストの多いページでのpassを区別できるようにするためです。

唯一の例外がnotApplicableです。判定対象が何もなかったルールは、その理由を示す検出箇所を1つ付けることがあり、コントラストのルールは、背景を計算できるテキストが1つもなかった場合に実際にそうします。「チェックしたが、フラグを立てるものはなかった」と「チェックできなかった」の違いを、このエンジンは隠さずに報告します。このような検出箇所は要素ではなくスキャンについて述べるものなので、selectorは空です。outcomeを先に確認せずに、occurrences.lengthを違反の件数として読まないでください。

{
  selector: string,
  html: string,
  structuralPath: number[] | null,
  shadowHostSelectors?: string[],
  summary: string,
  hint: string,
  i18n: { summaryKey: string, hintKey: string, params: object } | null,
  occurrenceOutcome?: "fail" | "cantTell",   // present when the rule graded its findings into tiers
  uncertainty?: {          // present only on a cantTell-tier occurrence
    code: "not-computable" | "runtime-dependent" | "spec-only"
        | "equivalence-unknown" | "judgement-required" | "out-of-scope",
    needed?: string,       // what would settle the question
    evidence?: object      // what the rule did establish, rule-specific
  },
  lean?: {                 // present only on a cantTell-tier occurrence, and only with evidence
    toward: "pass" | "fail",
    why: string,           // localized: what in the page points that way
    signals: { signal: string, value: string | number | boolean | null }[],
    caution?: string,      // localized: what could make it wrong
    measured?: { agreed: number, cases: number, corpus?: string, coreVersion?: string },
    i18n?: { whyKey?: string, cautionKey?: string, params?: object }
  },
  howToCheck?: {           // present only on a cantTell-tier occurrence, when the rule says
    steps: string[],       // localized: what a person does, in order
    passWhen: string,      // localized: what they see if it passes
    failWhen: string       // localized: what they see if it fails
  },
  data?: {               // absent on manual-review's page-level finding
    visibilityFilter?: { eligible?: boolean, targetSet: string, accEligible: boolean | null, reasons: string[] },
    details?: object   // rule-specific, non-normative — see below
  }
}

不確実性コード

cantTellは、エンジンが判定しなかったことを示します。uncertaintyはその理由を閉じた語彙で示すので、利用側は要約の文字列を解析しなくても、理由に応じて処理を分けられます。含まれるのはcantTellの層の検出箇所だけです。failの層の検出箇所に付いていれば、ルールが判定したと同時に判定しなかったと主張することになるため、エンジンはそれを取り除きます。codeが下記のコードのいずれでもない不確実性も除かれ、ルールのerrorがそのコードを示します。

neededは、問いに決着をつけるには何が必要か、つまりレビュー担当者が実際に確認しに行くべきことを1文で述べます。evidenceにはルールが確定できたことが入るので、レビュー担当者はエンジンの作業を繰り返さず、その続きから始められます。その形はルール固有で、data.detailsと同様に安定した契約ではありません。一方、codeは安定した契約です。新しいコードがマイナーリリースで追加されることはありますが、既存のコードの意味は変わりません。知っているコードに応じて処理を分け、知らないコードはエラーではなく「レビューが必要」として扱ってください。

cantTellを報告しうる自動ルールはすべてこれを持ち、テストでそれを担保しているので、これを持たない新しいルールが入り込むことはありません。out-of-scopeコードはルールではなくエンジンが付けるもので、結果レベルのwcagVersionScopeを生じさせるのと同じ検出箇所に付きます。手動ルールはこれを持ちません。judgement-requiredはtype: "manual"がすでに意味していることなので、検出箇所ごとに繰り返しても、結果が示している以上のことは何も伝わらないからです。

傾き

cantTellでも、どちらか一方を指していることがあります。ページがその根拠を示している場合、leanがどちらかを示します。towardはその根拠から可能性が高い答え、whyは根拠が何か、signalsはルールが読み取った事実の一覧で、それぞれケバブケースの名前と単純な値からなるため、ツールはそれを表示したり重み付けしたりできます。cautionは、uncertainty.neededから明らかでない場合に、傾きが誤りになりうる要因を述べます。判定結果はcantTellのままです。傾きは助言であって判定ではなく、判定結果や層を読むものは何も変わりません。LEANS.mdは、レポートを読む人やツールを作る人のためのガイドで、どの検出結果がなぜ傾くのか、傾きをどう測定するのか、どこまで信頼できるのかを説明しています。

leanは、ルールに根拠がある場合にだけ含まれます。ないこと自体も情報です。これは人にしか判断できないということです。uncertaintyと同じくcantTellの層の検出箇所にだけ含まれます。エンジンは判定済みの検出箇所に付いたものを取り除き、形の正しくないもの（passとfail以外のtoward、またはwhyがないもの）も検出結果には手を付けずに取り除きます。measuredは、答えの分かっている5件以上のケースで傾きが数えられると現れます。正しかった回数（agreed）、ケースの数（cases）、ケースの出典となったコーパス（corpus、読み取った日付付き）、数えたコアのバージョン（coreVersion）です。数はW3C ACT Rulesのテストケースから、ルール、理由コード、方向ごとに数えたもので、エンジンが持っているため、どの入口から得た結果にも含まれます。数えられていない傾きや、ケースが5件に満たない傾きには含まれません。信頼度の数値はありません。現時点ではまだどの傾きにもありません。jsdomでの最初の集計では9件の傾きが見つかりましたが、5件のケースに達したものはありませんでした。

whyとcautionはスキャンのロケールで書かれています。i18nには、検出箇所のi18nがsummaryとhintについて持つのと同じように、それらのキーとパラメーターが入ります。エンジン自身が傾きを付ける検出結果が1つあります。対象のWCAGバージョンで削除された達成基準、または2023年の正誤表で満たされているとされる達成基準だけに対応するルールは、out-of-scopeの不確実性とともにpassに傾きます。

@surea11y/coreのreviewGroupOf(check, occurrence)は、レビューで検出箇所がどこに入るかを示します。'fail'、'leanFail'、'leanPass'、'open'（人にしか判断できない）のいずれかで、HTMLレポートのグループと同じです。leaningFailures(result, { wcagOnly })は、不適合に傾く検出結果、つまりleanFailAsによるゲートが数える検出結果を列挙します（JUnit、SARIF）。

新しい傾きはマイナーリリースでルールごとに追加され、測定で誤りが多すぎると分かった傾きは削除されることがあります。傾きは、あるかないかが変わりうる助言として扱い、検出結果の同一性の一部として扱わないでください。フィンガープリントには含まれません。

確認方法

cantTellは問いを人に渡します。howToCheckは、それにどう答えるかを示します。stepsは、検出結果が示す要素から始まる、順番に行う少数の操作（「Tab to the element.」「Watch whether the focus indicator stays on it.」）で、passWhenとfailWhenは、合格の場合と不合格の場合に何が見えるかを、不合格となる達成基準の名前とともに示します。cantTellを報告しうるコアのルールはすべて、理由コードごとにこれを書いており（ルールのmeta.review）、cantTellの層の各検出箇所には、そのコードのものがスキャンのロケールで付きます。バリアントの検出結果（variantOf）は、自身のものがなければベースのルールのものを受け取ります。パックのルールも英語で書くことができ（パックを参照）、その検出結果は、パックが分かっている場合、つまりengineOptions.packs付きのrunDomRulesInPageとaddHowToCheck(result, { packs })で受け取ります。判定済みの検出箇所、カスタムルールの検出結果、オーバーライド（overriddenBuiltinIdsにあるカスタムルールまたはパックのルール）の検出結果、何も書いていないパックのルールの検出結果には含まれません。

手順は、ページ内のエンジンではなく、スキャンの後にNodeで追加されます。エンジンはスキャンが開くすべてのページとフレームに注入されるため、どのルールも読まない何千もの文を持つ必要がないからです。runDomRulesInPageは自分の結果に追加します。ページ内で実行したruna11yCoreInPageの結果（バインディングや拡張機能のもの）には含まれません。addHowToCheck(result)は手順を加えたコピーを返し、howToCheckFor(ruleId, reasonCode, locale)は1つの検出結果の手順を返します。どちらもコアのレビュー用辞書をディスクから読むため、Nodeが必要です。コードがブラウザーで動くバインディング（Cypress）は、@surea11y/core/review/<locale>からインポートした辞書を使って@surea11y/core/how-to-checkのapplyHowToCheck(result, { en, fr })を呼び、同じ手順を得ます（バインディングでの方法はBINDING_AUTHORS_GUIDE.mdにあります）。HTMLレポート（renderHtmlReport）は、手順を持たない結果にNodeで追加します。ブラウザー（surea11y.report.js）では、結果が持っている手順を表示します。スキャンとは別の言語で結果を表示するツールは、addHowToCheckまたはapplyHowToCheckに{ locale }を渡します（addHowToCheck(result, { locale: 'de' })、または優先度の高い順のロケールのリスト。renderHtmlReportは受け取りません）。手順は、すでにあるものも含めてその言語で示され、そのロケールにない手順は英語になります。

手順は、ブラウザー、その開発者ツール（アクセシビリティツリー）、キーボード、場合によってはスクリーンリーダーを前提としています。問いに決着をつけるには何が必要かを1文で述べるuncertainty.neededと違い、どう決着をつけるかを述べます。傾きと同じく助言であって検出結果の同一性の一部ではなく、文言はどのリリースでも改善されることがあります。

複合ルールの結果（rulesResults[i]）

複合ルールは、複数のアトミックルールを1つのWCAG達成基準に集約します（例：wcag-1.1.1-non-text-contentは21件のアトミックルールを集約します）。独自の集約を持つ規格のプロファイルでは、それらの集約もあり、規格の文言がtitleに、規格の名前がmeta.standardに入ります。形はチェック結果と同じ外枠で、data.detailsが複合ルール固有の内容になります。

{
  ruleId: string,              // e.g. "wcag-1.1.1-non-text-content"
  outcome: "pass" | "fail" | "cantTell" | "notApplicable",
  severity, confidence, type, title, description, meta, engineOptions, schemaVersion,  // as on a check result, except that
                                // meta.normativeMappings names the criterion in a shorter form:
                                // { standard, requirement, level }
  occurrences: [],              // always empty — composites are rollups, not element-level findings
  data: {
    details: {
      reasonCode: string,       // e.g. "composite.rollup.fail.anyFail"
      standard?: string,        // a standard's own rollup only, with version and criterion
      version?: string,
      criterion?: string,
      checksIds: string[],      // every atomic ruleId it rolls up, custom rules mapped to its criteria included
      customChecksIds?: string[], // the custom rules among them; absent when none
      restatesWcag?: string[],  // a standard's rollup that restates WCAG criteria (applicability: 'wcag'): those criteria
      partial?: true,           // a standard's requirement its rules don't check in full (partial: true)
      contributors: Array<{ testId: string, outcome: string, severity?: string | null, custom?: true, notSelected?: true,
                            byReasonCode?: true, checkOutcome?: string, requirements?: string[] }>,
      metrics: { failCount, cantTellCount, notApplicableCount, passCount, missingCount }
    }
  }
}

集約の優先順位（決定論的で、この順に適用されます）：構成ルールにfailが1つでもあれば、複合ルールはfail。そうでなくcantTellが1つでもある（または構成ルールのいずれかがまったく実行されなかった、つまりmissingCount > 0）なら、複合ルールはcantTell。そうでなく構成ルールがすべてnotApplicableなら、複合ルールはnotApplicable。ただし、ルールが達成基準の当てはまるすべてのケースを見つける場合に限り、それ以外はcantTell（partialCoverage）です。それ以外はpassです。ただし、ルールが達成基準の求めることをすべてチェックする場合に限り、それ以外はcantTell（partialCheck）です。すべてをチェックするとされたWCAGの達成基準はまだないため、現時点でWCAGの集約がpassになることはありません。これが全体としての適合表明にとって何を意味するかはWCAG適合性との対応を参照してください。

規格独自の集約は、ルールを全体としてではなく検出結果ごとに判断することがあります（パックを参照）。その場合、構成ルールはbyReasonCode: trueを示し、outcomeはこの集約でのルールの判定結果（検出結果がすべて別の集約に属するfailは、ここではpass）、checkOutcomeはルール自身の判定結果です。集約に数えられる検出結果が、その集約のどの要件に属するかを示している場合、requirementsがそれらを列挙し、集約のmeta.normativeMappingsは、そのルールがチェックするすべての要件ではなく、それらの要件を示します。

WCAGの集約のルールは、それ自身のリストに加えて、実行されて（meta.wcagScまたはmeta.normativeMappingsのWCAGのエントリーを通じて）その達成基準のいずれかに対応するengineOptions.customRulesのすべてのルールです。それらは貢献したルールの中でcustom: trueが付き、customChecksIdsに列挙されるため、カスタムルールが判定結果を決めたことが読み手に分かります。規格独自の集約は、それ自身のリストを保ちます。

一部だけチェックされた達成基準。達成基準ではなくルールを指定するスキャン（includeRuleIds: ['link-name-present']）は、選択がその達成基準自体を選んでいない場合でも、それらのルールがチェックする達成基準の集約を受け取ります（スキャンが報告する達成基準を参照）。上の優先順位はほかと同じようにこれを決めるため、failのルールがあれば達成基準もfailになり、スキャンが選ばなかったルールがあるとpassにはなりません。そうしたルールはそれぞれoutcome: "missing"とnotSelected: trueを持つ構成ルールで、これまでどおりmissingCountに数えられます。それらが原因で集約がcantTellになる場合、そのreasonCodeはcomposite.rollup.cantTell.notSelectedChildで、HTMLレポートには「一部のみ確認」と、選択されなかったチェックの数が表示されます。composite.rollup.cantTell.missingChildは引き続き、プロファイルが除外したルール（engine.profileExcludes）のように、別の理由で実行されなかったルールを意味し、それにnotSelectedが付くことはありません。

判定結果の値

コアの組み込みルールでは、failは意図的に最も範囲が狭く、最も基準の高い判定結果にしてあります。決定論的で規範的な違反のためだけにあり、ルールのカバー範囲を広げるためにこれを薄めてはなりません。

重大度と確度の値

• severity：minor < moderate < serious < critical。ユーザーへの影響についてのルール作成者の評価で、confidenceとは独立しています。プロファイルはルールに別の重大度を与えることができます（規格やパックのチェックリストにあるプロファイルのseverity）。その場合、結果にはプロファイルの重大度が表示され、ルール自身の重大度はruleSeverityとして保持され（このときだけ含まれます）、集約はプロファイルの重大度を使います。
• confidence：low < medium < high。fail/cantTellの判定が正しいことに、エンジンがどれだけ確信を持っているかを示します。どちらも優先順位付けのための情報としてのメタデータで、outcomeの意味を変えることはありません。

failが常にconfidence: "high"とは限りませんが、それは矛盾ではありません。判定結果が表すのは判定の手順（推測せずに問いを解決したこと）であり、confidenceが表すのは、その判定の拠り所となったモデルです。いくつかの自動ルールは、それ自体が近似であるもの（厳選したWAI-ARIAのロールの表、ネイティブ要素のロールの対応、静的なマークアップから推定したアクセシビリティツリー）に対して決定論的に判定し、mediumを報告します。aria-required-children、aria-prohibited-children、aria-required-parent、aria-allowed-attr、form-control-programmatic-label-present、identical-iframes-same-purpose、svg-image-text-alternative-present、video-poster-text-alternative-present、target-size-minimum、text-spacing-content-lossです。confidenceはすべての結果に含まれるので、最も確実な不合格だけが欲しい利用側はこれで直接ゲートできます。policy.allowedConfidenceではこれはできません。許可されていない値は、判定結果を変えるのではなく、ルール自身のdefaultConfidenceに置き換えられるからです（POLICY.mdを参照）。

実例

<img src="logo.png">（altなし）と<button></button>（アクセシブルな名前なし）を、runOnly: { includeRuleIds: [...] }でこの2つのルールだけに絞ってスキャンします（エンジンオプションを参照。1.10.0以降は、ルールIDの配列をそのまま渡しても同じです）。

const result = runDomRulesInPage(
  'https://example.test/',
  null,
  {},
  { includeRuleIds: ['img-alt-present', 'button-name-present'] }
);

{
  "engine": {
    "tag": "a11ycore",
    "version": "1.14.0",
    "schemaVersion": "1.0.0",
    "locale": { "requested": "en", "resolved": "en", "reason": "ok" },
    "wcagVersion": "2.2",
    "environment": { "layout": false }
  },
  "url": "https://example.test/",
  "title": "Example",
  "timestamp": null,
  "perfStats": null,
  "contextSelector": null,
  "contextMatch": null,
  "checksResults": [
    {
      "ruleId": "button-name-present",
      "outcome": "fail",
      "severity": "serious",
      "confidence": "high",
      "type": "automatic",
      "occurrences": [
        {
          "selector": "html > body > button",
          "html": "<button></button>",
          "structuralPath": [1, 1],
          "summary": "This button has no accessible name.",
          "hint": "Give the button visible text, or name it with aria-label, so screen reader users know what it does.",
          "data": {
            "visibilityFilter": { "eligible": true, "reasons": [], "targetSet": "acc", "accEligible": true },
            "details": { "reasonCode": "name_missing" }
          }
        }
      ]
    },
    {
      "ruleId": "img-alt-present",
      "outcome": "fail",
      "severity": "serious",
      "confidence": "high",
      "type": "automatic",
      "occurrences": [
        {
          "selector": "html > body > img",
          "html": "<img src=\"logo.png\">",
          "structuralPath": [1, 0],
          "summary": "This <img> has no alt attribute.",
          "hint": "Add an alt attribute that says what the image shows, or alt=\"\" if the image is purely decorative.",
          "data": {
            "details": { "reasonCode": "TEXT_ALTERNATIVE_MISSING" },
            "visibilityFilter": { "eligible": true, "reasons": [], "targetSet": "acc", "accEligible": true }
          }
        }
      ]
    }
  ],
  "rulesResults": [
    {
      "ruleId": "wcag-1.1.1-non-text-content",
      "outcome": "fail",
      "severity": "serious",
      "title": "Non-text content: text alternatives",
      "occurrences": [],
      "data": {
        "details": {
          "reasonCode": "composite.rollup.fail.anyFail",
          "checksIds": ["area-alt-present", "img-alt-decorative", "img-alt-quality", "..."],
          "contributors": [
            { "testId": "area-alt-present", "outcome": "missing", "notSelected": true },
            "...",
            { "testId": "img-alt-present", "outcome": "fail", "severity": "serious" },
            "..."
          ],
          "metrics": { "failCount": 1, "cantTellCount": 0, "notApplicableCount": 0, "passCount": 0, "missingCount": 20 }
        }
      }
    },
    {
      "ruleId": "wcag-4.1.2-name",
      "outcome": "fail",
      "severity": "serious",
      "title": "Name, role, value: accessible name",
      "occurrences": [],
      "data": {
        "details": {
          "reasonCode": "composite.rollup.fail.anyFail",
          "metrics": { "failCount": 1, "cantTellCount": 0, "notApplicableCount": 0, "passCount": 0, "missingCount": 23 }
        }
      }
    }
  ],
  "overriddenBuiltinIds": [],
  "skippedCustomRules": []
}

（読みやすさのために省略しています。実際の結果では、上に示した完全な形のとおり、すべてのエントリにtitle/description/i18n/meta/engineOptions/schemaVersionも含まれ、各集約のすべての構成ルールも含まれます。rulesResultsには、指定した2つのルールがチェックする達成基準が入ります。img-alt-presentの1.1.1とbutton-name-presentの4.1.2で、どちらもそのルールがfailなのでfailです。それらの達成基準のほかのルールは選ばれていないため、notSelected: true付きのmissingになります。failのルールがなければ、その達成基準はcantTell（notSelectedChild）、つまり一部だけチェックされた状態になります。各チェック結果のrollupIdsは、その集約を示します。）