Diagnostics & verification

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

✓

Evidence basis: source-verified at the pinned commit. Claims on this page were checked by reading the CNA source at commit 3b43bd86; 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 3b43bd86 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.