browser-action-receipt
승인된 브라우저 동작을 대상 상태와 결속하고, 실행 후 개인정보를 최소화한 영수증을 남기는 작은 TypeScript 패키지입니다.
Open source · Public evidence
주장보다 소스와 재현 경로를 먼저 둡니다.
제품과 연구를 섞지 않고, 외부에서 실제 구현과 검증 경로를 확인할 수 있는 작업만 공개합니다.
bpf-verifier-rs
Linux BPF verifier scalar domain의 Rust 모델, 22개 Kani proof target, 고정된 Linux C differential harness를 제공합니다.
소스와 Actions 영수증 ↗SCALAR: NODE ZERO
한국어·영어·일본어 구조 패리티와 오프라인 브라우저 검사를 갖춘 결정론적 인터랙티브 노벨입니다.
Filed, not granted
한국 특허 출원 2건
출원번호 10-2026-0105850, 10-2026-0084899. 출원은 등록이나 권리 확정을 뜻하지 않으며, 등록된 특허로 표현하지 않습니다.