Open source · Engineering labs

Public claims should have a path back to evidence.

Start with the anonymized operating case and synthetic roster demo for service evidence. Public source and engineering experiments below support only the scope stated for each item.

Anonymized operating case · Synthetic screens Synthetic CSV roster demo

Open source · MIT

browser-action-receipt

A small library that binds browser approval to a target fingerprint and refuses execution if the page changes. Its privacy-minimal receipt records the decision and resulting ArtifactRef without copying page content or URL query data.

GitHub ↗npm ↗Actions ↗

Engineering labs

Research and experimental work.

These are not commercial products. Their public descriptions are limited to what can be inspected in source or a linked external record.

Formal methods

bpf-verifier-rs

A Rust model of Linux BPF verifier scalar logic with 22 Kani proof targets and a pinned Linux C differential harness.

Source and Actions ↗

Interactive fiction

SCALAR: NODE ZERO

A trilingual browser narrative and its integrity checks, published as an engineering and storytelling experiment.

Source ↗Public build ↗

Patent status: Two Korean patent applications have been filed: 10-2026-0105850 and 10-2026-0084899. A filing is not represented as a granted patent or proof of product performance.