Diagnostics & verification

CNA snapshot c1c316b9  ·  Deep Dives › Diagnostics & verification  ·  source links pinned to c1c316b9

✓

Evidence basis: source-verified at the pinned commit. Claims on this page were checked by reading the CNA source at commit c1c316b9; unless a sentence says otherwise, nothing here was built or executed.

Diagnostics and the Inspector, the test architecture, counting discipline, oracles, hostile environments, continuous integration and how evidence is graded.

Pages in this group

  • Test populations, counts and structural gates — Which test layer produced a CNA result, what each static count at c1c316b9 counts, why no CTest total exists, and how identity, containment, inventory and mutation gates work.
  • Oracles, tolerances and engagement gates — The oracles CNA uses (real XNA, FNA, derived tables, cross-renderer controls, own goldens), their authority and tolerances, and the gates that prove a Wine or browser run engaged.