From 355ab38c2b54f4d6f662912682cb34748ca075ce Mon Sep 17 00:00:00 2001 From: PJ Date: Sun, 16 Aug 2026 01:10:19 +0530 Subject: [PATCH] docs(ci): three of the replay-ui properties are cross-panel --- docs/development/ci.md | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/docs/development/ci.md b/docs/development/ci.md index e43414a..17ec926 100644 --- a/docs/development/ci.md +++ b/docs/development/ci.md @@ -186,11 +186,13 @@ from `test/browser/testdata/throwing` (violations and uncaught exceptions, so every panel has something to render), serves it with `sanderling replay`, and fuzzes that UI with `replay-ui/sanderling/spec.ts`. -Six of the seven properties there are cross-panel agreements - two panels -deriving the same fact by different paths have to say the same thing - so they -hold for any trace and need no recalibrating when the fixture changes. The -seventh is the stock `noUncaughtExceptions`, which asks nothing of the panels -and only fails if the UI throws. Any violation fails the job. +Three of the seven properties there are cross-panel agreements - two panels +deriving the same fact by different paths have to say the same thing. The other +four are a range invariant on the step in the URL, a count of selected rows +inside the list, a no-effect property across a tab switch, and the stock +`noUncaughtExceptions`, which asks nothing of the panels and only fails if the +UI throws. All seven hold for any trace and need no recalibrating when the +fixture changes. Any violation fails the job. So does a run that judged nothing. Exit 0 says no property returned false, which is not the same as any property having been evaluated: each one declines to