Showcase

Checked cases, each tied to one program.

These notes describe published checks. A match on one binary is not a rate you can apply to the next file.

Native

Windows Calculator percent

Two branches, 0x5b and 0x5c, land in the same place. The constant 100 is visible. After +, 200 + 10% is 220: percent takes a share of the first number. After ×, it scales the product.

A checked path in calc.exe. Not a promise about every percent button.

Native

DX-Ball sound pan

One published reconstruction checked 3,205 raw x86 cases and matched 63 compiled function bytes.

Project notes, and the GBHackers report dated 12 Oct 2026.

Electron

Notion clipboard

The packaged script shows the renderer asking the main process to write text and HTML to the system clipboard.

A feature trace. Not a copy of Notion’s product.

Measured

Electron API Demos

A 12 Oct 2026 run of REA 6.4.0 against commit 26b3d1d recorded 30 of 30 file:line checks. The same write-up listed replies the summary missed. Those misses stay on the record.

systemdesign.academy, 12 Oct 2026. Missing findings do not establish absence.