Public evidence

apps.notepad

Machine-checked verification for runtime version 2.0.0.

Open app Download JSON Review policy

Verification

9/9 runtime tests

Golden tests 8 / 8
Boundary tests 1 / 1
Published UI cases 6 documented
Runtime tested Yes
Source checked Yes

Fingerprint sha256:a07725d334ad30a00fdf0ecb4b3925e591f6231b975553fe3a3d25591cb1622e

Build & scope

Engine identity and declared limitations.

Tool: notepad
Engine: notepad-runtime
Engine build: —
Evidence core: 2026-08-19T15:54:07.001Z
Rendered: 2026-08-19T15:54:07.001Z
Last reviewed: 2026-08-19

Assumptions

Word counting is whitespace-based and is not language-aware.
Character count is JavaScript string length (UTF-16 code units).

Limitations

CJK without spaces counts as 1 word.
Some emoji count as 2+ UTF-16 units.
Large drafts may exceed localStorage quota and stop auto-save.

Sources

Standards and references supporting this runtime specification. Methods are listed separately — they are algorithms, not bibliographic sources.

WHATWG HTML Living Standard — Web storage
Supports: localStorage persistence
ECMAScript Language Specification — String type
Supports: UTF-16 code-unit character count
W3C File API — Blob
Supports: UTF-8 .txt download

Verification disclosure

Aggregate outcomes, scope and artifact commitments are public. Complete test inputs, expected values, execution records and oracle infrastructure are retained privately. This summary does not independently reproduce the full verification run.