diff --git a/docs/dav1dprometheus-update-2026-05-09.md b/docs/dav1dprometheus-update-2026-05-09.md index bd965d9..6fa7d87 100644 --- a/docs/dav1dprometheus-update-2026-05-09.md +++ b/docs/dav1dprometheus-update-2026-05-09.md @@ -281,8 +281,8 @@ A new kernel landed today: tighter sibling of result that isn't a non-negative `sp.Integer` raises `PiStarError`. Plain decimal output (`b"10"`); composes with `arithmetic@v1` for byte-identical agreement (`b"10/1"`) so the -multi-modality witness can pin equivalence-class agreement when -both routes fire on the same question. +multi-witness canonical-agreement pipeline can pin equivalence- +class agreement when both kernel routes fire on the same question. The 16-kernel registry now covers: text → claim_lattice → code → arithmetic → logic → time-series → tabular → symbolic-algebra →