Open source · Engineering labs

Public claims should have a path back to evidence.

Product status, service demonstrations, and engineering experiments are labeled separately. A repository is listed here only when its source and checks support the stated scope.

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.