@sedum-dev/core exports verify(page, judge, claim, options?) and measure(page, judge, claim, options?). Both read one settled, complete page digest and send the claim to Judge.holds once. The Judge returns holds and contradicted probabilities from one provider request.
The engine waits for domcontentloaded and a quiet page, then compares the digest’s document, revision, and route with the quiet signal and a fresh page version. An empty page can be read again within the observation deadline. Incomplete, ambiguous, or oversized extraction produces a typed operational error before the Judge call. If the page changes while the Judge is answering, the result is a stale-observation error, never a claim verdict. The default observation budget is 4 seconds; callers can provide observationTimeoutMs and signal.
verify uses the policy defaults minP = 0.75, band = 0.15, and contradiction cutoff 0.50. A verify call can override minP. A score below minP - band fails; support in the band passes with low_confidence; support at or above minP passes. A passing result also gets contradiction when its contradiction score reaches 0.50. A failed result retains its scores but has no flags. Comparisons use the unrounded scores. The result records both scores, effective policy, provider call metadata, and elapsed time.
measure returns both scores, call metadata, and elapsed time without a verdict or roll-up flags. It cannot gate a run. Every measure and every flagged or failed verify includes an excerpt of the exact digest sent to Judge, capped at 1,500 Unicode code points including the truncation marker. Clean verifies omit it. This excerpt is allowed page text and is not redacted.
AssertionEngineError.code distinguishes missing, ambiguous, incomplete, oversized, stale, timed-out, canceled, browser, and provider failures. These are operational errors rather than failed assertions. Its JSON form carries only the code and a safe message.
The digest is the visible page text in document order. Control text is excluded, except that a select-only control (a native <select>, or a combobox with no text entry inside it) contributes its rendered selection, prefixed with its accessible name, as in Cabin: Economy. When the name repeats the value (Sort by Newest), only the rest is kept (Sort by: Newest); a name that is only the value gives the bare selection. Option lists nested inside the control are ignored. Editable fields, including editable comboboxes, never contribute their values. Checkbox, radio, and tab state are not yet included.
The page digest is limited to 4,096 Unicode code points, and the TypeSafe adapter limits each serialized request to 64 KiB. Long pages that exceed these limits, such as a long Wikipedia article, cannot be judged yet and fail with an operational error.
